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 6.0
Database
CoCo
Timeout
60s
Date
07.28.21
Examples
confident-1.0.4
confident-NoECPs
Ex14_AEGL02.trs
0.001
0.001
Ex14_Luc06.trs
0.001
0.001
Ex15_Luc06.trs
0.001
0.001
Ex15_Luc98.trs
0.001
0.001
Ex16_Luc06.trs
0.001
0.001
Ex18_Luc06.trs
0.001
0.001
Ex1_2_AEL03.trs
0.001
0.001
Ex1_2_Luc02c.trs
0.001
0.001
Ex1_GL02a.trs
0.001
0.001
Ex1_GM03.trs
0.001
0.001
Ex1_GM99.trs
0.001
0.001
Ex1_Luc02b.trs
0.001
0.001
Ex1_Luc04b.trs
0.001
0.001
Ex1_Zan97.trs
0.001
0.001
Ex23_Luc06.trs
0.001
0.001
Ex24_GM04.trs
0.001
0.001
Ex24_Luc06.trs
0.001
0.001
Ex25_Luc06.trs
0.001
0.001
Ex26_Luc03b.trs
0.001
0.001
Ex2_Luc02a.trs
0.001
0.001
Ex2_Luc03b.trs
0.002
0.001
Ex3_12_Luc96a.trs
0.001
0.001
Ex3_2_Luc97.trs
0.001
0.001
Ex3_3_25_Bor03.trs
0.002
0.001
Ex49_GM04.trs
0.002
0.001
Ex4_4_Luc96b.trs
0.001
0.001
Ex4_7_15_Bor03.trs
0.001
0.001
Ex4_7_37_Bor03.trs
0.001
0.001
Ex4_7_56_Bor03.trs
0.001
0.001
Ex4_7_77_Bor03.trs
0.001
0.001
Ex4_DLMMU04.trs
0.001
0.001
Ex4_Zan97.trs
0.001
0.001
Ex5_7_Luc97.trs
0.001
0.001
Ex5_DLMMU04.trs
0.002
0.001
Ex5_Zan97.trs
0.001
0.001
Ex6_15_AEL02.trs
0.003
0.001
Ex6_9_Luc02c.trs
0.001
0.001
Ex6_GM04.trs
0.001
0.001
Ex6_Luc98.trs
0.001
0.001
Ex7_BLR02.trs
0.001
0.001
Ex8_BLR02.trs
0.001
0.001
Ex9_BLR02.trs
0.002
0.001
Ex9_Luc04.trs
0.001
0.001
Ex9_Luc06.trs
0.001
0.001
ExAppendixB_AEL03.trs
0.002
0.001
ExConc_Zan97.trs
0.001
0.001
ExIntrod_GM01.trs
0.001
0.001
ExIntrod_GM04.trs
0.001
0.001
ExIntrod_GM99.trs
0.002
0.001
ExIntrod_Zan97.trs
0.001
0.001
ExProp7_Luc06.trs
0.001
0.001
ExSec11_1_Luc02a.trs
0.001
0.01
ExSec4_2_DLMMU04.trs
0.002
0.001
LISTUTILITIES_complete-noand.trs
0.016
0.004
LISTUTILITIES_complete.trs
0.014
0.002
LISTUTILITIES_nokinds-noand.trs
0.008
0.002
LISTUTILITIES_nokinds.trs
0.008
0.001
LISTUTILITIES_nosorts-noand.trs
0.003
0.001
LISTUTILITIES_nosorts.trs
0.002
0.001
LengthOfFiniteLists_complete-noand.trs
0.002
0.002
LengthOfFiniteLists_complete.trs
0.001
0.001
LengthOfFiniteLists_nokinds-noand.trs
0.001
0.001
LengthOfFiniteLists_nokinds.trs
0.001
0.001
LengthOfFiniteLists_nosorts-noand.trs
0.001
0.001
LengthOfFiniteLists_nosorts.trs
0.001
0.001
MYNAT_complete-noand-peanoSimple.trs
0.002
0.001
MYNAT_complete-noand.trs
0.002
0.001
MYNAT_complete-peanoSimple.trs
0.001
0.001
MYNAT_complete.trs
0.002
0.001
MYNAT_nokinds-noand-peanoSimple.trs
0.001
0.001
MYNAT_nokinds-noand.trs
0.002
0.001
MYNAT_nokinds-peanoSimple.trs
0.001
0.001
MYNAT_nokinds.trs
0.002
0.001
MYNAT_nosorts-noand-peanoSimple.trs
0.004
0.001
MYNAT_nosorts-noand.trs
0.034
0.001
MYNAT_nosorts-peanoSimple.trs
0.001
0.001
MYNAT_nosorts.trs
0.001
0.001
OvConsOS_complete-noand.trs
0.002
0.003
OvConsOS_complete.trs
0.002
0.002
OvConsOS_nokinds-noand.trs
0.001
0.001
OvConsOS_nokinds.trs
0.001
0.001
OvConsOS_nosorts-noand.trs
0.001
0.001
OvConsOS_nosorts.trs
0.001
0.001
PALINDROME_complete-noand.trs
0.003
0.003
PALINDROME_complete.trs
0.002
0.002
PALINDROME_nokinds-noand.trs
0.002
0.002
PALINDROME_nokinds.trs
0.001
0.001
PALINDROME_nosorts-noand.trs
0.001
0.001
PALINDROME_nosorts.trs
0.001
0.001
cariboo_ex1.trs
0.001
0.001
cariboo_ex2.trs
0.001
0.001
cariboo_ex3.trs
0.002
0.001
cariboo_ex4.trs
0.013
0.016
cariboo_ex5.trs
0.001
0.001
cariboo_ex6.trs
0.001
0.001
csrdiv.trs
0.001
0.001
emmes.trs
0.001
0.001
ex5.3.trs
0.001
0.001
ex5.4.trs
0.009
0.01
ex5.5.trs
9.077
9.091
ex5.6.trs
0.001
0.001
ex5.7.trs
0.001
0.001
ex5.8.trs
0.001
0.001
f20.trs
60.004
60
f30.trs
60.002
60
f4.trs
0.002
0.001
f40.trs
3.046
60
morse.trs
0.003
0.004
confident-1.0.4
confident-NoECPs
Time
12.354
9.244
#YES
21
20
#MAYBE
5
55
#NO
82
33
Avg.YES
0.15
0
Avg.NO
0.11
0.28