Features
ProcessorIntel(R) Core(TM) i5-7300U CPU @ 2.60GHz 2.71GHz
RAM8.00 GB
OSLinux 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
DatabaseSEMI-EQUATIONAL CTRSs from COPS
Timeout120s
Date03.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