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

Examples	confident-1.4.6
282.trs	0.002
290.trs	0.007
291.trs	41.026
299.trs	85.048
302.trs	20.078
303.trs	0.002
305.trs	0.004
338.trs	65.082
1134.trs	0.001
1135.trs	20.024
	confident-1.4.6
Time	231.274
#YES	0
#MAYBE	3
#NO	7
Avg.YES	0
Avg.NO	5.73