Features
Processor	Intel(R) Core(TM) i5-7300U CPU @ 2.60GHz 2.71GHz
RAM	8.00 GB
OS	Linux 4.4.0-17134-Microsoft
Program Versions	Mace4 (64) version 2009-11A, November 2009 Prover9 (64) version 2009-11A, November 2009 AGES, version 1.0 Barcelogic 2016 infChecker, version 1.0 muTerm, version 5.0
Database	ORIENTED CTRSs from COPS
Timeout	120s
Date	03.09.22

Examples	confident-1.4.6
262.trs	35.032
263.trs	49.08
264.trs	0.005
266.trs	0.001
267.trs	0.001
268.trs	0.001
271.trs	20.018
272.trs	120
278.trs	120
279.trs	120
284.trs	120
285.trs	61.025
286.trs	85.018
287.trs	0.001
288.trs	20.037
289.trs	85.085
292.trs	120
293.trs	0.009
294.trs	0.001
307.trs	0.001
308.trs	20.032
309.trs	42.046
310.trs	20.011
311.trs	21.045
312.trs	21.042
313.trs	0.04
314.trs	21.033
315.trs	0.015
316.trs	20.082
317.trs	20.021
318.trs	21.063
319.trs	0.003
320.trs	21.011
321.trs	0.047
322.trs	66
323.trs	20.024
324.trs	41.042
325.trs	0.018
326.trs	20.017
327.trs	120
328.trs	101.018
329.trs	120
330.trs	20.094
332.trs	41.042
333.trs	0.001
334.trs	0.001
335.trs	60.044
336.trs	40.01
337.trs	88.098
339.trs	0.009
340.trs	20.096
341.trs	0.001
342.trs	120
343.trs	0.001
344.trs	0.001
345.trs	0.006
346.trs	0.009
347.trs	0.006
348.trs	0.007
349.trs	0.047
350.trs	0.006
351.trs	0.003
352.trs	20.035
353.trs	20.048
354.trs	0.001
355.trs	0.001
356.trs	0.001
357.trs	5.013
358.trs	0.014
359.trs	0.001
360.trs	20.017
361.trs	60.027
362.trs	26.01
363.trs	0.02
364.trs	0.001
365.trs	120
366.trs	20.021
367.trs	20.033
368.trs	0.017
369.trs	0.013
370.trs	1.052
371.trs	0.015
372.trs	0.017
373.trs	0.011
374.trs	0.015
375.trs	0.005
376.trs	0.001
377.trs	0.013
378.trs	120
379.trs	20.038
380.trs	0.001
381.trs	22.003
382.trs	0.003
383.trs	0.012
384.trs	20.045
385.trs	0.014
386.trs	0.001
387.trs	120
388.trs	0.001
Examples 99%	confident-1.4.6
389.trs	55.024
390.trs	0.001
391.trs	81.023
403.trs	20.043
404.trs	41.024
405.trs	93.087
406.trs	120
407.trs	120
408.trs	20.051
409.trs	20.045
410.trs	20.048
411.trs	20.033
439.trs	21.009
440.trs	40.039
441.trs	45.027
488.trs	0.001
489.trs	41.045
490.trs	0.001
491.trs	20.075
492.trs	20.041
493.trs	105.023
494.trs	20.031
495.trs	20.029
499.trs	120
522.trs	41.032
523.trs	0.016
524.trs	0.006
527.trs	0.001
528.trs	0.001
529.trs	120
546.trs	0.002
547.trs	20.036
548.trs	0.001
549.trs	20.035
550.trs	0.03
551.trs	41.008
552.trs	61.033
553.trs	2.007
790.trs	20.034
791.trs	20.032
792.trs	25.033
793.trs	20.006
794.trs	21.009
796.trs	20.012
798.trs	110.039
799.trs	0.001
805.trs	85.024
806.trs	5.006
807.trs	2.021
1123.trs	62.021
1138.trs	41.064
1139.trs	20.019
1140.trs	21.044
1158.trs	20.009
1159.trs	20.066
	confident-1.4.6
Time	2755.275
#YES	65
#MAYBE	33
#NO	41
Avg.YES	10.88
Avg.NO	14.2