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	JOIN CTRSs from COPS
Timeout	120s
Date	03.09.22

Examples	confident-1.4.6
265.trs	0.006
269.trs	55.023
270.trs	0.001
273.trs	61.095
274.trs	76.029
275.trs	64.024
276.trs	20.036
277.trs	0.001
280.trs	0.002
281.trs	0.002
283.trs	85.006
295.trs	42.017
296.trs	0.002
297.trs	0.003
298.trs	85.061
300.trs	0.001
301.trs	65.012
304.trs	0.004
306.trs	0.002
331.trs	21.07
402.trs	65.097
	confident-1.4.6
Time	639.494
#YES	8
#MAYBE	8
#NO	5
Avg.YES	15.88
Avg.NO	4.22