Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FOF

FOF Vampire
8.1
E
0.99
EP
0.99
Vampire
8.0
Theo
2006
Geo
2006i
Darwin
1.3
Otter
3.3
Muscadet
2.6
Equinox
1.0a
Faust
1.0
AGT005+2 +3.70 0.30 +0.40 +0.10 +0.90 Timeout 0.20 +0.20 Timeout GaveUp WCout
AGT007+2 +167.80 Timeout Timeout Timeout Timeout Timeout Timeout Unknown Timeout GaveUp WCout
AGT015+1 +0.00 1.40 +1.90 +0.00 +5.30 Timeout 0.10 +0.20 Timeout GaveUp +2.00
AGT018+1 +14.80 Timeout Timeout +95.10 Timeout Timeout Timeout GaveUp Timeout GaveUp Timeout
AGT024+2 +29.90 Timeout Timeout Timeout +264.50 Timeout Timeout Timeout Timeout GaveUp Timeout
ALG074+1 +55.20 1.80 +3.40 +118.30 Timeout +1.30 227.90 +0.20 Timeout GaveUp Timeout
ALG211+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 Timeout 0.00 +0.10
CSR001+1 +357.30 75.50 87.10 Timeout Timeout Timeout Timeout Timeout GaveUp Unknown WCout
CSR002+1 +95.00 26.80 28.20 Timeout Timeout Timeout Timeout Timeout GaveUp GaveUp WCout
CSR005+2 +76.50 34.30 35.70 Unknown Timeout Timeout Timeout Timeout GaveUp GaveUp WCout
CSR007+1 +1.10 46.80 51.60 +2.20 Timeout Timeout Timeout Timeout GaveUp GaveUp WCout
CSR019+1 +0.00 0.30 0.40 Unknown +1.00 Timeout 0.20 Timeout GaveUp GaveUp WCout
CSR021+1 +0.00 0.20 0.40 Unknown +0.50 +31.80 0.30 Timeout GaveUp 0.10 WCout
CSR022+1 +0.00 0.40 0.60 Unknown +0.50 +20.20 0.20 Timeout GaveUp 0.20 WCout
CSR024+1.009 +0.60 0.40 +0.70 Unknown Unknown Timeout Timeout +101.80 Timeout GaveUp Timeout
GEO085+1 +0.00 0.00 +0.10 +0.00 +0.20 +0.70 Timeout +0.60 Timeout 0.00 +0.20
GEO088+1 +115.10 Timeout Timeout +34.80 Timeout Timeout Timeout Timeout Timeout GaveUp Unknown
GEO109+1 +120.60 Timeout Timeout +32.10 Timeout Timeout Timeout Timeout Timeout GaveUp Unknown
GRA002+1* Timeout Timeout Timeout Unknown Timeout +13.60 Timeout Unknown Timeout GaveUp Unknown
GRA002+2* +49.90 Timeout Timeout Unknown Timeout +15.90 Timeout Unknown Timeout GaveUp Timeout
GRA002+4* +0.00 0.00 +0.10 Unknown +0.20 +0.90 0.00 Unknown Timeout GaveUp +0.30
GRA004+1* +0.10 0.00 0.10 Unknown +3.30 +4.10 0.00 Unknown Timeout 0.30 Timeout
GRA006+1* +12.00 0.50 0.70 Unknown Timeout +7.00 Timeout Unknown Timeout GaveUp Timeout
GRA007+1* +15.00 0.30 0.40 Unknown Timeout +3.00 Timeout Unknown Timeout GaveUp Timeout
GRA007+2* +14.90 0.50 0.60 Unknown Timeout +12.90 Timeout Unknown Timeout 3.60 Timeout
GRA008+1* +23.40 3.60 4.10 Unknown Timeout +5.40 Timeout Unknown Timeout GaveUp Timeout
GRA009+2* +139.70 4.80 5.80 Unknown Timeout +4.30 Timeout Unknown Timeout GaveUp Timeout
GRA010+1* +0.00 0.10 0.10 Unknown +0.90 +1.50 0.00 Unknown Timeout GaveUp Timeout
GRA011+1* Timeout Timeout Timeout Unknown Timeout +15.00 Timeout Unknown Timeout GaveUp Timeout
GRA012+1* Timeout Timeout Timeout Unknown Timeout +13.30 Timeout Unknown Timeout GaveUp Timeout
GRP001+6 +0.30 0.40 +0.70 +1.80 +0.60 +0.20 0.00 +0.00 0.00 GaveUp Timeout
GRP012+5 +3.60 0.10 +0.20 +19.80 +0.10 +10.20 0.20 +0.10 0.00 GaveUp Timeout
LCL414+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.60 0.00 +0.00 Timeout GaveUp +0.20
MGT022+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.10 0.00 +0.00 0.00 GaveUp +0.10
MGT022+2 +0.00 0.00 +0.10 +0.00 +0.00 +0.10 0.00 +0.00 0.00 GaveUp +0.10
MGT028+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 Timeout 0.00 +1.70
MGT036+1 +0.00 0.00 +0.10 +0.00 +0.00 +1.00 0.00 +0.00 Timeout 0.00 +4.20
MGT036+3 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +0.10
MGT042+1 +22.90 Timeout Timeout +84.40 +131.00 +3.20 0.00 Timeout Timeout GaveUp Timeout
MGT060+1 +8.90 0.00 +0.10 +0.60 +0.20 +0.40 0.00 +0.10 Timeout 0.00 WCout
MSC010+1 +2.70 GaveUp GaveUp +0.00 Unknown Timeout WCout Unknown Timeout GaveUp Timeout
NUM310+1 +11.70 Timeout Timeout +79.90 19.00 Timeout Timeout Unknown Timeout Timeout WCout
NUM327+1 +11.00 Timeout Timeout +79.70 +25.70 Timeout 0.50 Unknown Timeout 367.70 WCout
NUM329+1 +10.80 Timeout Timeout +83.60 +26.30 Timeout 0.60 Timeout Timeout 369.10 WCout
NUM334+1 +10.70 Timeout Timeout +79.60 +5.90 Timeout Timeout Unknown Timeout Timeout Timeout
NUM398+1* +0.00 0.10 +0.20 +0.00 +4.00 +0.20 8.10 Timeout Timeout GaveUp WCout
NUM400+1* +81.10 0.10 +0.20 +0.70 +53.10 +149.70 Timeout Timeout Timeout GaveUp Unknown
PUZ047+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.10 0.00 +0.00 GaveUp GaveUp Timeout
SET008+3 +0.00 0.10 +0.20 +0.00 +0.10 +63.00 Timeout +4.50 0.00 GaveUp Timeout
SET009+3 +0.00 0.00 +0.10 +0.00 +0.50 +43.00 0.00 +0.10 0.00 GaveUp +0.10
SET014+3 +0.10 0.00 +0.20 +0.10 +0.10 +1.80 1.40 Timeout 0.00 GaveUp Unknown
SET067+1 +0.00 0.10 +0.20 +0.10 +0.60 Timeout Timeout Timeout 0.90 GaveUp Unknown
SET094+1 +0.00 0.00 +0.10 +0.00 +1.50 Timeout Timeout +55.90 0.80 0.10 Timeout
SET099+1 Timeout 57.40 62.90 +182.30 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SET144+3 +173.00 Timeout Timeout +103.60 +15.90 +285.80 Timeout Timeout 0.10 GaveUp Unknown
SET171+3 +12.20 Timeout Timeout +102.60 +42.00 Timeout Timeout Timeout 0.10 GaveUp Timeout
SET200+3 +2.00 0.10 +0.20 +0.20 +0.10 +12.40 Timeout Timeout 0.00 GaveUp Unknown
SET577+3 +0.10 0.20 +0.50 +0.20 +0.10 +5.40 4.00 Timeout 0.00 GaveUp Unknown
SET579+3 +0.10 0.00 +0.10 +0.10 +6.30 +48.10 52.00 Timeout 0.00 GaveUp Timeout
SET582+3 +145.90 36.90 +49.90 +115.60 Timeout Timeout Timeout Timeout WCout GaveUp Timeout
SET584+3 +1.50 0.00 +0.20 +0.00 +0.00 +7.10 122.00 Timeout 0.00 GaveUp Unknown
SET587+3 +0.10 0.00 +0.10 +0.00 +7.20 +7.60 209.30 Timeout 0.00 GaveUp Timeout
SET588+3 +0.00 0.00 +0.10 +0.00 +0.40 +18.00 0.00 +0.20 0.00 GaveUp +0.10
SET589+3 +0.20 0.00 +0.10 +0.00 +0.00 +0.30 0.00 +0.00 0.20 GaveUp Unknown
SET590+3 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 0.00 GaveUp +0.00
SET593+3 +0.10 0.10 +0.20 +0.60 +7.70 +60.90 361.00 Timeout 0.00 0.10 Unknown
SET594+3 +0.60 1.10 +2.40 +0.00 +0.70 +100.10 2.00 Timeout 0.00 GaveUp Unknown
SET595+3 +22.10 26.60 +39.70 +16.80 +1.40 +318.50 Timeout Timeout 0.00 GaveUp Timeout
SET603+3 +0.00 0.00 +0.10 +0.00 +0.00 +0.20 1.30 +38.40 0.00 GaveUp Timeout
SET623+3 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp GaveUp Timeout
SET624+3 +4.90 0.00 +0.10 +1.40 +1.30 +232.60 62.60 Timeout GaveUp GaveUp Unknown
SET631+3 +0.00 0.00 +0.10 +0.00 +0.00 +0.50 0.00 +0.10 0.00 GaveUp +0.10
SET655+3 +1.50 0.40 +0.60 +204.10 +6.90 Timeout 0.40 Timeout Timeout Timeout Timeout
SET656+3 +3.90 38.40 +49.80 +12.70 +0.10 Timeout Timeout +35.80 Timeout Timeout Timeout
SET657+3 +140.90 0.10 +0.20 +16.80 +0.70 Timeout Timeout Timeout Timeout Timeout Unknown
SET669+3 +6.70 0.90 +1.30 +0.20 +3.80 Timeout Timeout Timeout Timeout Timeout Timeout
SET680+3 +0.10 0.00 +0.10 +0.50 +1.90 Timeout Timeout Timeout Timeout WCout Unknown
SET795+4* +18.00 Timeout Timeout +0.10 Timeout Timeout Timeout Timeout 0.10 GaveUp Unknown
SET796+4* Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout 0.10 GaveUp Unknown
SET798+4* +11.90 0.10 +0.20 +39.60 +0.20 Timeout 0.30 Timeout 0.00 GaveUp Unknown
SET802+4* +109.50 4.10 +5.30 +25.80 Timeout Timeout Timeout Timeout 0.10 1.30 Unknown
SET805+4* Timeout Timeout Timeout +343.60 Timeout Timeout Timeout Timeout 0.10 2.80 Timeout
SET806+4* Timeout Timeout Timeout +208.60 Timeout Timeout Timeout Timeout 0.10 GaveUp Timeout
SET808+4* Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout 0.10 GaveUp Timeout
SET811+4* Timeout Timeout Timeout +207.10 Timeout Timeout Timeout Timeout 0.10 GaveUp Timeout
SET812+4* Timeout Timeout Timeout +104.10 Timeout Timeout Timeout Timeout 0.10 GaveUp WCout
SET814+4* Timeout 2.90 +4.10 +10.90 +0.20 Timeout Timeout Timeout 0.10 GaveUp Timeout
SET815+4* Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout 0.20 GaveUp Unknown
SET816+4* Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout 0.10 GaveUp Timeout
SET896+1* +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 0.00 GaveUp +0.10
SET899+1* +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +0.10
SET913+1* +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +0.10
SET915+1* +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +0.10
SET919+1* Timeout Timeout Timeout Timeout +21.20 Timeout Timeout Timeout GaveUp GaveUp Timeout
SET935+1* +0.10 0.10 +0.30 +0.20 +1.90 Timeout Timeout +37.20 Timeout GaveUp Timeout
SET939+1* +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 0.00 GaveUp +0.10
SET942+1* +0.00 0.00 +0.10 +5.90 +0.10 +6.30 Timeout +10.10 0.00 GaveUp Unknown
SET951+1* +0.10 Timeout Timeout +0.00 Timeout Timeout Timeout Timeout GaveUp GaveUp Unknown
SET966+1* +0.00 0.00 +0.10 +0.00 +0.10 +0.10 0.00 +0.00 0.10 GaveUp +0.10
SET982+1* +0.10 95.50 +99.90 +18.70 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SEU003+1* +35.70 145.60 164.20 +149.90 GaveUp Timeout Timeout Timeout 57.70 GaveUp Unknown
SEU009+1* +0.20 0.00 +0.10 +0.00 +5.90 +69.10 Timeout Timeout 0.50 GaveUp Unknown
SEU014+1* Timeout Timeout Timeout +204.50 Timeout +26.10 Timeout Timeout 47.10 GaveUp Unknown
SEU075+1* Timeout Timeout Timeout +106.80 GaveUp Timeout Timeout Timeout 297.10 GaveUp Timeout
SEU086+1* Timeout Timeout Timeout Timeout Timeout +16.50 Timeout Timeout Timeout GaveUp Unknown
SWC078+1 Timeout 95.70 118.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWC231+1 +21.50 2.20 2.50 +60.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWC239+1 +11.20 0.10 0.20 +1.30 +159.20 Timeout Timeout Timeout Timeout WCout Timeout
SWV011+1 +0.00 0.00 +0.10 +0.00 +0.00 +20.50 0.00 +0.00 0.60 0.00 +0.10
SWV014+1 +0.00 0.00 +0.10 +0.10 +0.70 Timeout Timeout Timeout Timeout Timeout Unknown
SWV026+1 +22.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV030+1 +20.10 0.10 +0.20 Timeout +376.60 Timeout Timeout Timeout Timeout Timeout Timeout
SWV033+1 +54.00 5.40 +8.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV036+1 +78.60 Timeout Timeout Timeout Unknown Timeout Timeout Unknown Timeout Timeout Timeout
SWV038+1 +22.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV039+1 +21.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SWV041+1 +0.00 0.10 +0.20 +0.10 +2.00 Timeout 0.00 +178.30 Timeout 15.50 Unknown
SWV048+1 +4.90 0.10 +0.20 +0.20 +124.50 Timeout Timeout +358.10 Timeout Timeout Unknown
SWV050+1 +4.90 0.00 +0.10 +0.20 Timeout Timeout Timeout +315.20 Timeout 171.40 Unknown
SWV053+1 +62.50 13.40 +17.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV090+1 Timeout 2.00 +3.60 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV092+1 +5.30 0.10 +0.20 +0.20 +2.60 Timeout 0.00 +118.20 Timeout 0.80 Timeout
SWV094+1 +21.00 12.70 +15.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SWV096+1 +6.60 2.00 +4.50 +12.20 +6.70 Timeout Timeout Timeout Timeout Timeout Timeout
SWV098+1 +6.50 0.10 +0.20 +0.50 +64.20 Timeout Timeout +32.70 Timeout Timeout Unknown
SWV103+1 Timeout 2.40 +3.90 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SWV117+1 +15.40 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SWV161+1 +17.30 0.10 +0.20 +129.60 +3.40 Timeout Timeout Timeout Timeout 0.40 Unknown
SWV173+1 +5.20 0.00 +0.10 +0.10 +1.20 +1.30 0.00 Timeout Timeout Timeout Timeout
SWV177+1 +5.20 0.00 +0.10 +0.00 +2.90 Timeout 0.00 Timeout Timeout Timeout Timeout
SWV200+1 +6.00 0.40 +0.90 +0.30 +1.50 Timeout 0.10 Timeout Timeout 0.50 Unknown
SWV209+1 +52.70 0.10 +0.20 +162.70 +4.30 Timeout Timeout Timeout Timeout 2.10 Timeout
SWV233+1* +130.10 0.20 0.30 Timeout Timeout Timeout Timeout Timeout GaveUp GaveUp WCout
SWV234+1* Timeout Timeout Timeout +255.60 Timeout Timeout Timeout Timeout GaveUp GaveUp WCout
SWV234+2* +0.80 0.00 +0.20 +49.40 Timeout Timeout Timeout Timeout GaveUp GaveUp WCout
SWV235+1* +0.20 0.20 +0.30 +4.20 +1.60 Timeout Timeout Timeout GaveUp Timeout WCout
SWV236+1* +0.10 0.00 +0.10 +0.90 +2.00 Timeout 118.70 +14.90 GaveUp GaveUp WCout
SWV237+1* +0.00 0.00 +0.10 +12.40 +0.90 +3.80 Timeout +1.10 358.90 WCout WCout
SYN081+1 +0.00 0.00 +0.10 +0.00 +0.10 +0.00 0.00 +0.00 GaveUp 0.00 +0.10
SYN084+1 +0.00 0.00 +0.10 +0.00 +0.10 +0.00 0.00 +0.10 GaveUp GaveUp Timeout
SYN364+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 Timeout GaveUp Timeout
SYN365+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 Timeout 0.00 Timeout
SYN728+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 Timeout GaveUp Timeout
SYN730+1 +0.00 0.00 +0.10 +0.00 +0.10 +0.00 0.00 +0.00 GaveUp GaveUp +0.10
SYN938+1 +0.00 2.10 +3.00 +0.10 Unknown +2.60 Timeout Unknown Timeout GaveUp Timeout
SYN939+1 +0.00 0.00 +0.10 +0.00 +0.10 +0.00 0.00 +0.00 GaveUp GaveUp +0.20
SYN940+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 GaveUp 0.00 +0.10
SYN941+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 GaveUp GaveUp +0.10
SYN943+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.10 GaveUp 0.00 Timeout
SYN980+1 +0.00 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 GaveUp 0.00 +0.20
Attempted 150 150 150 150 150 150 150 150 150 150 150
Solved 128 112 112 109 94 73 64 52 50 31 27
Av. Time 21.44 6.69 7.97 32.90 15.14 22.85 18.33 25.08 15.31 30.19 0.40
Solutions 128 0 92 109 94 73 0 52 0 0 27
New Attempted 48 48 48 48 48 48 48 48 48 48 48
New Solved 31 29 29 29 20 25 12 10 24 7 7
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for CNF

CNF Vampire
8.1
Vampire
8.0
E
0.99
EP
0.99
Theo
2006
Otter
3.3
Darwin
1.3
iProver
0.1
Geo
2006i
Faust
1.0
Equinox
1.0a
ANA002-1 +3.30 +2.30 19.20 +29.80 +231.90 Timeout Timeout Timeout Timeout Unknown GaveUp
ANA003-2 +161.80 +23.20 10.10 +13.10 +228.30 Timeout Timeout Timeout Timeout WCout GaveUp
ANA004-5 +7.00 Timeout Timeout Timeout +279.80 Timeout Timeout Timeout Timeout WCout GaveUp
ANA008-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.00 0.00 0.20 +0.00 Unknown GaveUp
ANA014-2* +0.00 +0.00 0.00 +0.10 Timeout +12.70 Timeout Timeout +10.90 Timeout GaveUp
ANA016-2* +0.00 +0.00 0.00 +0.10 +9.40 +0.00 Timeout 75.70 +0.10 +1.80 GaveUp
ANA017-2* +0.00 +0.00 0.00 +0.10 +20.40 +0.00 4.30 Timeout +125.40 Unknown GaveUp
ANA022-1* +211.10 Timeout Timeout Timeout Unknown GaveUp Timeout WCout Timeout Timeout Timeout
ANA030-2* +0.20 +0.00 0.00 +0.10 Timeout +0.10 Timeout Timeout +27.70 Timeout GaveUp
ANA037-1* +6.70 +41.20 180.10 182.90 Unknown GaveUp Timeout Timeout Timeout Timeout Timeout
ANA040-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.00 0.00 0.20 +0.00 Unknown GaveUp
ANA044-2* +0.00 +0.00 0.00 +0.10 +0.20 +0.00 0.10 311.60 +0.10 +0.20 GaveUp
ANA045-2* +0.00 +0.00 0.00 +0.10 +0.10 +0.10 0.00 0.50 +0.00 Unknown GaveUp
BOO020-1 +11.40 +1.20 9.90 +19.80 Timeout Timeout Timeout Timeout Timeout Unknown GaveUp
COL003-10 +40.50 +11.40 25.20 +29.70 Timeout Unknown Timeout Timeout Timeout WCout GaveUp
COL003-2 +0.80 +1.40 0.40 +0.80 Timeout Unknown Timeout Timeout Timeout WCout GaveUp
COL042-3 +39.00 +6.90 5.70 +9.90 Timeout GaveUp Timeout Timeout Timeout WCout GaveUp
COL093-2 Timeout Timeout 0.20 +0.40 Timeout Timeout Timeout Timeout Timeout WCout Timeout
COL112-1* +0.10 +0.10 0.80 +1.10 +2.80 +2.60 0.30 29.50 Timeout Unknown Timeout
COL119-1* +0.10 +0.10 0.90 +1.10 +2.90 +4.30 0.30 27.00 Timeout Unknown Timeout
COM005-1 +183.60 +6.40 19.70 +29.80 Timeout Timeout Timeout 72.90 Timeout Unknown GaveUp
COM009-1* +0.10 +0.10 0.90 +1.10 +64.70 +4.50 Timeout Timeout +261.80 +4.30 Timeout
FLD013-1 +2.00 +2.50 22.80 +29.80 +1.20 Timeout 2.70 2.40 +10.70 WCout GaveUp
FLD060-3 +0.20 +1.00 Timeout Timeout +1.10 Timeout 29.50 Timeout +93.70 Unknown GaveUp
GEO006-1 +1.20 +0.20 0.00 +0.10 +14.30 +271.20 Timeout Timeout Timeout Timeout GaveUp
GEO007-1 +1.30 +58.80 152.10 179.50 +308.70 Timeout Timeout Timeout Timeout Unknown GaveUp
GEO011-1 +1.10 +0.10 0.50 +1.10 +83.50 Timeout Timeout Timeout Timeout Timeout GaveUp
GEO051-3 +1.20 +14.70 0.50 +0.90 +2.90 +7.80 Timeout 2.20 +4.00 WCout GaveUp
GEO076-4 +0.10 +11.90 0.00 +0.10 Timeout Timeout 0.20 269.60 +0.20 Timeout GaveUp
GEO083-1 +0.00 +7.50 25.80 +29.20 +0.50 Timeout Timeout 1.90 Timeout Unknown GaveUp
GEO089-1 +66.40 +1.80 Timeout Timeout Timeout Timeout Timeout Timeout +23.20 Unknown GaveUp
GRP039-5 +0.10 +0.10 0.00 +0.10 +274.70 Timeout Timeout Timeout Timeout Timeout GaveUp
GRP061-1 +15.10 +13.20 0.60 +1.30 Timeout GaveUp Timeout Timeout Timeout Unknown GaveUp
GRP070-1 +11.20 +0.20 0.00 +0.10 Timeout +1.00 Timeout Timeout Timeout Unknown GaveUp
GRP074-1 +0.10 +3.90 0.10 +0.30 Timeout GaveUp Timeout Timeout Timeout Unknown GaveUp
GRP082-1 +0.20 +11.10 0.10 +0.30 Timeout GaveUp Timeout Timeout Timeout Unknown GaveUp
GRP085-1 +0.00 +0.10 0.10 +0.40 Timeout +0.10 1.10 Timeout Timeout Unknown GaveUp
GRP086-1 +0.00 +0.00 0.10 +0.20 Timeout +0.10 150.80 Timeout Timeout Unknown GaveUp
GRP102-1 +1.60 +0.20 0.00 +0.10 Timeout +2.50 Timeout Timeout Timeout Timeout GaveUp
GRP103-1 +2.60 +0.50 0.90 +2.90 Timeout +8.40 Timeout Timeout Timeout Timeout GaveUp
GRP110-1 +0.00 +0.10 0.10 +0.50 Timeout +17.70 109.40 Timeout Timeout Unknown GaveUp
GRP311-1 +1.10 +2.90 2.10 2.70 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
HWV002-1 +26.00 +42.60 37.30 +49.60 Timeout GaveUp Timeout Timeout Timeout Unknown GaveUp
HWV003-2 +4.20 +40.00 86.70 109.40 Timeout GaveUp Timeout Timeout Timeout WCout GaveUp
HWV016-1 +0.00 +0.20 0.10 0.20 +109.20 Timeout Timeout 95.40 +9.60 Timeout 0.10
LAT003-1 Timeout Timeout 72.80 89.50 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT005-4 +21.80 +12.20 1.20 +3.50 Timeout +140.50 Timeout Timeout Timeout Timeout GaveUp
LAT198-1 +55.50 +332.00 3.80 +9.40 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT201-1 Timeout Timeout 7.00 +9.90 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT209-1 +22.60 +31.40 3.30 +8.60 Timeout GaveUp Timeout Timeout Timeout Timeout GaveUp
LAT219-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT263-2* +0.00 +0.00 0.00 +0.10 +0.80 +0.00 0.10 0.20 +0.10 +0.10 GaveUp
LAT273-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.00 0.00 0.00 +0.10 +0.10 GaveUp
LAT277-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.00 0.00 0.00 +0.00 +0.10 GaveUp
LCL028-1 +1.00 +197.30 Timeout Timeout Timeout Timeout Unknown Timeout Timeout Timeout GaveUp
LCL109-4 +25.80 +33.50 6.00 +9.80 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL124-1 +3.40 +23.20 0.20 +0.40 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL125-1 +99.70 +68.10 Timeout Timeout Timeout +161.30 Timeout Timeout Timeout Timeout GaveUp
LCL145-1 +0.00 +0.00 0.00 +0.10 GaveUp Timeout Timeout Timeout Timeout Timeout GaveUp
LCL151-1 +169.20 +89.50 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL185-3 +0.00 +0.00 2.00 +3.30 +0.20 +0.30 0.10 Timeout Timeout Timeout GaveUp
LCL222-3 +30.10 +21.70 52.00 +68.70 Timeout GaveUp Timeout Timeout Timeout Timeout GaveUp
LCL230-1 +3.90 +0.40 3.00 +4.10 +2.10 GaveUp Timeout Timeout Timeout Timeout GaveUp
LCL237-3 +0.10 +0.00 0.40 +0.80 +86.10 +1.50 79.80 Timeout Timeout Timeout GaveUp
LCL249-1 +1.70 +14.60 Timeout Timeout Timeout GaveUp Timeout Timeout Timeout Timeout GaveUp
LCL253-1 +27.50 +125.10 Timeout Timeout Timeout GaveUp Timeout Timeout Timeout Timeout GaveUp
LCL423-1 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout Unknown GaveUp
LCL434-2* +0.00 +0.00 0.00 +0.10 +0.10 +0.00 0.00 34.00 +0.20 +0.10 GaveUp
LCL439-1* +26.90 +23.80 Timeout Timeout +18.00 Timeout Timeout Timeout Timeout Unknown Timeout
LCL442-2* +0.10 +0.00 0.00 +0.10 +0.30 +14.60 0.00 0.30 +328.80 +0.30 GaveUp
LCL444-2* +80.00 +47.40 Timeout Timeout GaveUp GaveUp Timeout Timeout Timeout WCout GaveUp
MGT034-2 +0.20 +0.00 0.40 +0.50 +2.00 +81.90 Timeout 0.20 +13.20 Timeout GaveUp
NLP080-1 +0.00 +0.00 0.00 +0.10 GaveUp +0.00 0.00 0.00 +1.80 Timeout 0.10
NUM010-1 +74.40 +9.70 Timeout Timeout +125.30 Timeout Timeout Timeout Timeout WCout WCout
NUM017-1 +76.20 +21.40 10.90 +14.20 +88.30 +47.20 Timeout Timeout Timeout Timeout GaveUp
NUM058-1 +77.50 +92.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout WCout GaveUp
PLA010-1 +0.20 +0.10 0.10 +0.20 Timeout Timeout Timeout Timeout Timeout WCout GaveUp
PLA014-1 +0.10 +0.00 0.00 +0.10 +58.50 Timeout Timeout Timeout Timeout WCout GaveUp
PLA016-1 +0.10 +0.00 0.00 +0.10 Timeout Timeout 0.50 Timeout Timeout WCout GaveUp
PLA018-1 +0.10 +0.00 0.00 +0.10 Timeout Timeout Timeout Timeout Timeout WCout GaveUp
PUZ035-4 +0.00 +0.00 0.00 +0.10 +4.50 +0.00 0.00 0.00 +0.30 +0.30 0.00
RNG004-3 +175.40 +144.50 6.80 +9.90 +2.20 +34.20 Timeout Timeout +129.50 WCout GaveUp
RNG027-2 Timeout +75.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
RNG029-3 +0.70 +2.00 6.70 +9.90 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET013-1 +1.20 +0.00 0.60 +0.90 +125.50 Timeout 47.70 Timeout Timeout Timeout GaveUp
SET016-3 +0.00 +47.80 0.20 +0.40 Timeout Timeout Timeout Timeout Timeout WCout WCout
SET018-3 +0.00 +4.90 126.60 156.60 Timeout Timeout Timeout WCout Timeout WCout WCout
SET018-4 +0.10 +56.10 118.60 139.40 Timeout Timeout Timeout Timeout Timeout WCout WCout
SET022-3 +0.80 +0.40 8.90 +13.00 +1.30 Timeout Timeout Timeout +0.30 WCout WCout
SET027-3 +0.00 +0.10 0.10 +0.20 +0.60 +224.00 318.60 WCout Timeout Unknown WCout
SET028-3 +35.60 +124.90 Timeout Timeout Timeout Timeout Timeout WCout Timeout Unknown Timeout
SET035-3 +117.90 +113.80 Timeout Timeout Timeout Timeout Timeout WCout Timeout Unknown WCout
SET208-6 +3.40 +18.00 Timeout Timeout +214.10 Timeout Timeout Timeout Timeout Timeout GaveUp
SET787-2 +261.10 +101.40 0.10 +0.20 Timeout Timeout Timeout WCout Timeout WCout 0.30
SET820-2* +0.00 +0.00 0.00 +0.10 +0.10 +0.00 0.00 Timeout +0.00 Timeout GaveUp
SET823-1* +0.10 +0.10 2.10 +2.60 +3.00 Timeout Timeout Timeout Timeout Unknown Timeout
SET827-1* +0.10 +0.10 1.00 +1.20 +1.20 +2.50 0.20 2.90 +275.00 +5.10 Timeout
SET830-2* +0.10 +5.80 0.00 +0.10 +0.40 Timeout 2.80 0.60 +1.00 +0.80 GaveUp
SET831-2* +0.40 +74.50 0.10 +0.20 Timeout +0.40 Timeout 313.20 +352.20 Unknown GaveUp
SET834-1* +62.10 +243.00 9.10 10.50 Timeout Timeout Timeout Timeout Timeout Unknown Timeout
SET834-2* +0.00 +3.20 0.00 +0.10 +0.70 GaveUp 2.80 41.00 +38.50 +0.80 GaveUp
SET838-2* +0.00 +0.00 0.00 +0.10 +0.10 +0.00 0.00 0.70 +0.00 +0.10 GaveUp
SET841-1* +0.10 +5.20 0.90 +1.10 +159.80 +3.30 16.60 Timeout Timeout Unknown Timeout
SET853-1* +0.30 +75.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown 5.30
SET861-2* +12.60 +12.30 Timeout Timeout Timeout GaveUp Timeout Timeout Timeout Unknown GaveUp
SET863-2* +0.00 +0.20 0.00 +0.10 +0.10 +4.20 0.10 0.10 +20.80 Unknown GaveUp
SWC169-1 Timeout Timeout 299.00 307.40 Timeout Timeout Timeout Timeout Timeout Unknown WCout
SWC225-1 +49.60 +22.80 0.10 0.20 Timeout Timeout Timeout Timeout Timeout WCout Timeout
SWV014-1 +6.70 +0.10 0.00 +0.10 +0.90 Timeout Timeout Timeout Timeout Unknown Timeout
SWV239-1* +14.90 +88.60 2.30 +2.70 Timeout Timeout Timeout Timeout Timeout Unknown Timeout
SWV242-1* +1.20 +0.80 3.50 +4.10 +262.50 Timeout Timeout Timeout Timeout Unknown Timeout
SWV243-1* +1.10 +1.60 6.20 6.70 Unknown GaveUp Timeout Timeout Timeout Unknown Timeout
SWV247-1* +52.60 +162.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown Timeout
SWV248-2* +1.20 +0.00 0.00 +0.10 Timeout GaveUp 0.10 Timeout +202.30 Timeout GaveUp
SWV249-2* +4.00 +18.90 Timeout Timeout Timeout +1.20 Timeout Timeout Timeout Timeout GaveUp
SWV251-2* +0.00 +0.00 0.10 +0.30 +8.70 +0.80 Timeout Timeout +6.70 Unknown GaveUp
SWV254-1* +1.40 +2.40 6.90 7.40 Unknown GaveUp Timeout Timeout Timeout Unknown Timeout
SWV256-1* +0.80 +0.90 0.60 +0.80 Unknown GaveUp 3.60 Timeout Timeout Timeout Timeout
SWV264-1* +0.10 +0.10 0.60 +0.70 +6.20 +3.80 0.20 0.40 Timeout Unknown Timeout
SWV267-1* +1.40 +15.90 7.20 7.80 Unknown GaveUp 3.50 96.40 Timeout Unknown Timeout
SWV270-1* +1.60 +36.00 6.30 6.60 Unknown GaveUp Timeout Timeout Timeout Unknown 28.40
SWV273-1* +1.30 +4.00 6.30 6.90 Unknown GaveUp Timeout Timeout Timeout WCout Timeout
SWV274-2* +0.00 +0.00 0.00 +0.10 +0.20 +7.90 0.00 0.20 +0.90 Timeout GaveUp
SWV275-2* +1.20 +2.90 2.30 +3.60 +0.30 Timeout 0.00 150.50 +221.50 Unknown GaveUp
SWV281-2* +0.00 +0.00 0.00 +0.10 +0.10 Timeout Timeout Timeout +0.20 +0.10 GaveUp
SWV282-2* +0.00 +0.20 0.60 +1.10 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SWV291-2* +0.00 +0.00 0.00 +0.10 +0.10 +0.00 0.00 0.00 +71.70 +1.50 GaveUp
SWV302-1* +1.00 +0.40 1.00 +1.20 +14.20 GaveUp Timeout Timeout Timeout Unknown 3.50
SWV305-2* +0.00 +0.00 0.00 +0.10 +0.20 +0.00 Timeout 0.00 +91.00 +1.70 GaveUp
SWV315-1* +2.00 +36.30 7.00 7.50 Unknown GaveUp Timeout Timeout Timeout Timeout Timeout
SWV317-1* +1.40 +3.00 6.70 7.30 Unknown GaveUp Timeout Timeout Timeout Timeout Timeout
SWV319-2* +0.00 +0.00 0.00 +0.10 +0.50 +0.00 Timeout 0.10 Timeout +4.60 GaveUp
SWV323-2* +0.80 +0.00 0.00 +0.10 +0.50 +6.60 0.10 56.20 Timeout Timeout GaveUp
SWV325-2* +0.00 +0.00 0.00 +0.10 +0.60 +0.00 2.00 0.10 +58.80 Timeout GaveUp
SWV329-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.00 0.00 0.00 +1.70 +0.20 GaveUp
SWV341-1* +1.40 +18.60 8.00 8.50 Unknown GaveUp Timeout 3.70 Timeout Timeout 5.50
SWV342-1* +84.70 Timeout 11.40 12.40 Unknown GaveUp Timeout Timeout Timeout Timeout Timeout
SWV343-1* +82.80 Timeout 12.50 13.10 Unknown GaveUp Timeout Timeout Timeout Timeout Timeout
SWV349-1* +0.20 +0.30 0.20 +0.40 Unknown +0.90 4.90 2.30 Timeout Timeout 2.50
SWV354-1* Timeout Timeout 393.00 Timeout Unknown GaveUp Timeout Timeout Timeout Timeout 6.30
SWV354-2* +0.00 +0.00 0.00 +0.10 Timeout +9.30 Timeout 6.20 Timeout Unknown 0.00
SWV355-1* +83.60 Timeout 8.90 9.50 Unknown GaveUp Timeout Timeout Timeout Timeout Timeout
SYN014-1 +0.00 +0.00 0.00 +0.10 Timeout Timeout 0.00 0.90 +0.10 Timeout GaveUp
SYN015-1 +0.00 +0.10 0.00 +0.10 Timeout Timeout 0.00 4.80 +0.20 Timeout GaveUp
SYN036-3 +0.00 +0.00 0.00 +0.10 Timeout +0.10 0.00 0.00 +11.60 +10.30 GaveUp
SYN067-3 +0.80 +8.10 4.00 +6.10 Timeout Timeout 0.10 Timeout Timeout Timeout 0.80
SYN600-1 +25.20 +5.40 6.50 +9.60 +0.50 +4.90 Timeout 0.10 +2.70 Unknown GaveUp
SYN640-1 +2.00 +0.60 Timeout Timeout +9.90 +1.60 Timeout 0.10 Timeout Timeout GaveUp
SYN707-1 +25.60 +3.60 0.10 +0.10 +2.20 Timeout Timeout 0.80 Timeout Unknown GaveUp
SYN708-1 +25.60 +3.50 1.50 +1.90 +2.80 Timeout Timeout 0.80 Timeout Unknown GaveUp
Attempted 150 150 150 150 150 150 150 150 150 150 150
Solved 142 138 126 125 66 55 47 47 45 19 12
Av. Time 19.35 21.72 14.69 13.88 43.07 19.75 16.65 34.17 53.30 1.71 4.40
Solutions 142 138 0 103 66 55 0 0 45 19 0
New Attempted 65 65 65 65 65 65 65 65 65 65 65
New Solved 64 60 58 57 36 34 30 31 30 17 7
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for SAT

SAT Paradox
1.3
Paradox
2.0a
DarwinFM
1.3
Geo
2006i
Darwin
1.3
E
0.99
ALG008-1 +0.00 +0.00 +0.30 +0.10 Timeout Timeout
ANA006-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
BOO019-1 +0.00 +0.00 +38.10 +0.50 Timeout Timeout
BOO030-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
BOO033-1 +0.00 +0.00 +0.10 +0.00 Timeout Timeout
BOO057-1 +2.50 +2.20 Timeout Timeout Timeout Timeout
BOO058-1 +1.80 +3.20 Timeout Timeout Timeout Timeout
BOO061-1 +12.80 +0.90 Timeout Timeout Timeout Timeout
CAT019-4 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
CAT019-5 +0.00 +0.00 +0.10 +0.10 Timeout Timeout
COL005-1 +0.00 +0.00 +0.30 +0.10 Timeout Timeout
COL073-1 +0.10 +0.10 +8.10 Timeout Timeout Timeout
GEO078-6 +0.10 +0.20 +1.00 +88.90 Timeout Timeout
GEO163-1 +0.00 +0.00 +0.90 +36.90 Timeout Timeout
GRP025-2 +0.10 +0.20 +146.10 +7.80 Timeout Timeout
GRP025-3 +0.30 +0.50 +2.10 +0.80 Timeout Timeout
GRP026-2 +0.30 +0.50 +60.00 +70.90 Timeout Timeout
GRP026-4 +0.30 +0.50 +13.80 +82.50 Timeout Timeout
GRP027-2 +0.10 +0.20 +4.40 +0.50 Timeout Timeout
GRP081-1 +0.00 +0.00 +0.10 Timeout Timeout Timeout
GRP112-1 +0.00 +0.00 +0.10 +0.10 Timeout Timeout
GRP207-1 +0.00 +0.00 +0.10 +0.00 Timeout Timeout
GRP394-2 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
LAT046-1 +0.30 +0.80 +52.00 +269.60 Timeout Unknown
LAT047-1 +0.10 +0.10 +2.70 +2.60 Timeout Timeout
LAT048-1 +0.20 +0.80 +21.70 Timeout Timeout Timeout
LAT049-1 +0.50 +2.50 +212.00 +101.80 Timeout Timeout
LAT051-1 +0.10 +0.40 +7.00 +3.00 Timeout Timeout
LAT053-1 Timeout Timeout Timeout Timeout Timeout Timeout
LAT106-1 GaveUp Timeout Timeout Timeout Timeout Timeout
LAT112-1 +83.50 Timeout Timeout Timeout Timeout Unknown
LAT117-1 GaveUp Timeout Timeout Timeout Timeout Timeout
LAT118-1 GaveUp Timeout Timeout Timeout Timeout Timeout
LAT121-1 +3.60 +38.60 Timeout +188.70 Timeout Timeout
LAT129-1 +3.50 +49.20 Timeout Timeout Timeout Timeout
LAT133-1 +2.70 +38.40 Timeout Timeout Timeout Timeout
LCL078-1 +0.00 +0.00 +0.00 +0.10 Timeout Timeout
LCL165-1 +0.10 +0.20 +7.60 Timeout Timeout Timeout
LCL168-1 +0.10 +0.10 Timeout Timeout Timeout Timeout
LCL179-1 +0.60 +4.40 +8.40 Timeout Timeout Timeout
LCL183-1 +3.00 +24.20 +170.90 Timeout Timeout Timeout
LCL245-1 +12.80 +34.00 Timeout Timeout Timeout Timeout
LCL246-1 +4.00 +5.20 Timeout Timeout Timeout Timeout
LCL247-1 +9.90 +60.70 Timeout Timeout Timeout Timeout
LCL252-1 +13.20 +70.40 Timeout Timeout Timeout Timeout
LCL267-3 +0.00 +0.00 +0.10 Timeout Timeout Timeout
LCL280-3 +0.00 +0.00 +0.20 Timeout Timeout Timeout
LCL292-3 +0.00 +0.00 +0.00 Timeout Timeout Timeout
LCL411-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
MGT038-2 +0.10 +0.10 +0.10 +0.10 Timeout Timeout
NLP028-1 +0.10 +0.10 +0.00 +0.20 +0.00 Timeout
NLP034-1 +0.10 +0.10 +0.00 +0.20 +0.00 Timeout
NLP052-1 GaveUp WCout Timeout Timeout +174.00 0.00
NLP069-1 GaveUp WCout Timeout Timeout Timeout 0.00
NLP071-1 GaveUp WCout Timeout Timeout Timeout 0.00
NLP072-1 GaveUp WCout Timeout Timeout Timeout 0.00
NLP087-1 GaveUp WCout Timeout Timeout Timeout 0.00
NLP164-1 +0.10 +0.20 +0.50 +6.00 +0.00 Timeout
NLP167-1 +0.10 +0.20 +0.10 +3.80 +0.00 Timeout
NLP193-1 +0.10 +0.20 +0.10 +5.20 +0.00 Timeout
NLP196-1 +0.10 +0.20 +0.10 +7.50 +0.00 Timeout
NLP211-1 +0.40 +1.20 +0.50 Timeout Timeout Timeout
NUM287-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
NUM288-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
PUZ015-3 +2.00 +8.00 Timeout Timeout Timeout Timeout
PUZ059-1 +3.80 +38.60 +109.90 Timeout WCout Timeout
PUZ070-1* +3.30 +134.60 Timeout Timeout +25.40 Timeout
PUZ071-1* +3.50 +135.20 Timeout Timeout +28.00 Timeout
PUZ072-1* +3.50 +136.10 Timeout Timeout +329.50 Timeout
RNG031-6 +181.80 +194.90 Timeout Timeout Timeout Timeout
ROB012-2 +0.10 +0.20 +36.00 Timeout Timeout Timeout
SWV018-1 +0.10 +0.10 +0.10 +27.20 Timeout 0.00
SYN305-1 Timeout Timeout Timeout Timeout Timeout 0.00
SYN316-1 +0.00 +0.00 +0.00 +0.00 Timeout 0.00
SYN324-1 +0.00 +0.00 +0.00 +0.00 Timeout 0.00
SYN330-1 +0.50 +0.50 Timeout Timeout Timeout 0.00
SYN335-1 +137.00 +159.90 Timeout Timeout Timeout 0.00
SYN751-1 +0.10 +0.10 +0.00 +0.00 +0.00 11.90
SYN754-1 +0.10 +0.10 +0.00 +0.00 +0.00 0.20
SYN765-1 +0.10 +0.10 +0.10 +0.10 +2.50 Timeout
SYN779-1 +0.00 +0.10 +0.00 +0.00 +8.90 Timeout
SYN780-1 +0.00 +0.10 +0.00 +0.00 +0.10 Timeout
SYN783-1 +0.00 +0.10 +0.00 +0.00 +0.00 Timeout
SYN790-1 +0.00 +0.10 +0.00 +0.00 +0.00 41.80
SYN792-1 +0.10 +0.10 +0.00 +0.00 Timeout Timeout
SYN810-1 +0.10 +0.20 +0.00 +0.00 +1.40 Timeout
SYN904-1 +1.50 +1.70 +0.60 +201.00 Timeout Timeout
SYN905-1 +1.80 +2.20 +0.90 Timeout Timeout Timeout
SYN906-1 +1.10 +1.50 +0.90 Timeout Timeout Timeout
SYN908-1 +3.90 +3.90 +1.80 Timeout Timeout Timeout
SYN910-1 +5.70 +5.60 +7.30 Timeout Timeout Timeout
SYN911-1 +8.00 +8.10 Timeout Timeout Timeout Timeout
TOP005-1 +0.40 +1.10 +0.60 Timeout Timeout Timeout
TOP007-1 +0.60 +1.30 +32.20 Timeout Timeout Timeout
TOP008-1 +0.20 +0.30 +0.50 Timeout Timeout Timeout
TOP010-1 +0.20 +0.30 +0.30 +3.70 Timeout Timeout
TOP012-1 +0.20 +0.30 +1.40 +117.90 Timeout Timeout
TOP013-1 +0.20 +0.30 +0.70 +100.30 Timeout Timeout
TOP014-1 +0.20 +0.30 +0.30 +89.90 Timeout Timeout
TOP018-1 +0.20 +0.30 +0.60 Timeout Timeout Timeout
Attempted 100 100 100 100 100 100
Solved 90 89 70 51 18 14
Av. Time 5.76 13.23 13.63 27.81 31.66 3.85
Solutions 90 89 70 51 18 0
New Attempted 3 3 3 3 3 3
New Solved 3 3 0 0 3 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for EPR

EPR Darwin
1.3
DCTP
10.21p
DarwinFM
1.3
E
0.99
Paradox
2.0a
Vampire
8.1
iProver
0.1
Geo
2006i
Equinox
1.0a
GRP123-3.004 +0.00 0.20 +0.10 1.50 +0.10 Timeout 0.20 +0.90 GaveUp
GRP123-8.004 +0.00 0.30 +0.20 86.80 +0.10 Timeout 0.10 +2.50 GaveUp
GRP124-4.005 +0.10 0.10 +0.20 Timeout +0.10 Timeout Timeout +0.30 GaveUp
GRP126-1.005 +0.00 0.10 +0.10 Timeout +0.00 Timeout 0.60 +0.20 GaveUp
GRP127-1.005 +0.00 0.10 +0.10 Timeout +0.00 Timeout 0.30 +0.60 GaveUp
GRP128-1.004 +0.00 0.30 +0.10 12.00 +0.00 Timeout 0.10 +0.30 GaveUp
GRP128-2.004 +0.00 0.10 +0.10 349.30 +0.00 Timeout 0.10 +0.50 GaveUp
GRP129-3.004 0.00 0.60 0.60 2.50 0.10 +227.10 0.10 +2.10 GaveUp
GRP133-1.004 +0.00 0.10 +0.10 Timeout +0.00 Timeout 0.20 +0.10 GaveUp
GRP135-2.005 +0.20 0.40 +0.30 Timeout +0.10 Timeout 0.40 +120.30 GaveUp
KRS004-1 0.00 0.00 0.00 0.00 0.00 +0.00 0.00 +0.00 0.00
LAT005-1 0.30 0.70 Timeout 1.40 Timeout Timeout Timeout Timeout GaveUp
LAT005-2 0.20 0.50 Timeout 1.40 Timeout Timeout Timeout Timeout GaveUp
LAT267-2* 0.00 0.00 0.00 0.00 0.00 +0.00 0.00 +0.00 0.00
MGT014-1 0.00 0.00 0.50 0.00 0.10 +0.00 0.00 +0.10 0.00
MGT066-1 +0.00 0.00 +0.00 Timeout +0.00 Timeout 0.00 +0.00 GaveUp
NLP005-1 +0.00 0.10 +0.00 0.00 +0.10 0.00 0.00 +0.30 GaveUp
NLP006-1 +0.00 0.10 +0.10 0.00 +0.10 0.00 0.00 +1.20 GaveUp
NLP012-1 +0.00 0.10 +0.00 0.00 +0.10 0.00 0.00 +0.30 GaveUp
NLP013-1 +0.00 0.10 +0.00 0.00 +0.10 0.00 0.00 +0.30 GaveUp
NLP023-1 +0.00 0.10 +0.10 0.00 +0.10 0.00 0.10 +0.30 GaveUp
NLP115-1 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.00 +0.20 GaveUp
NLP116-1 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.00 +0.20 GaveUp
NLP118-1 +0.00 0.00 +0.10 0.00 +0.00 0.00 0.00 +0.20 GaveUp
NLP120-1 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.00 +0.20 GaveUp
NLP129-1 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.00 +0.10 GaveUp
PUZ001-3 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.00 +0.00 GaveUp
PUZ018-1 0.00 0.10 0.10 0.00 0.00 +0.10 0.00 +10.20 0.30
PUZ018-2 +0.00 0.10 +0.10 Timeout +0.00 Timeout 0.00 +3.40 GaveUp
PUZ028-1 +0.00 0.00 +0.10 0.00 +0.00 0.00 0.00 +0.20 GaveUp
PUZ028-2 +0.00 0.10 +0.10 0.10 +0.00 0.50 0.00 +0.20 GaveUp
PUZ028-3 +0.00 0.40 +0.60 0.10 +0.80 2.10 0.10 +5.60 GaveUp
PUZ028-4 +0.00 0.40 +0.20 0.00 +0.40 2.00 0.10 +0.30 GaveUp
PUZ035-1 0.00 0.10 0.00 0.00 0.00 +0.00 0.00 +0.00 0.00
PUZ036-1.005 0.10 171.50 Timeout 0.00 Timeout +0.00 0.50 +0.60 GaveUp
PUZ037-1 0.10 0.10 0.90 0.00 GaveUp +0.00 0.00 +0.10 GaveUp
PUZ037-2 0.20 1.20 6.30 0.00 GaveUp +0.10 0.20 +95.90 GaveUp
PUZ037-3 78.50 Timeout 182.10 52.40 GaveUp +68.20 Timeout Timeout GaveUp
SYN052-1 0.00 0.00 0.00 0.00 0.00 +0.00 0.00 +0.00 GaveUp
SYN056-1 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.00 +0.00 GaveUp
SYN059-1 +0.00 0.10 +0.00 0.00 +0.00 0.00 0.00 +0.10 GaveUp
SYN071-1 0.00 0.00 0.00 0.00 0.00 +0.00 0.00 +0.00 GaveUp
SYN113-1 0.10 1.00 0.20 0.10 0.40 +0.10 0.20 +1.00 GaveUp
SYN121-1 0.10 1.00 1.90 0.10 0.40 +0.10 0.10 +1.50 GaveUp
SYN138-1 0.10 0.80 0.30 0.20 0.60 +0.10 0.20 +9.10 GaveUp
SYN144-1 0.10 0.80 0.50 0.10 0.60 +0.10 0.10 +10.20 GaveUp
SYN168-1 0.10 0.70 0.40 0.10 0.50 +0.10 0.00 +0.40 0.90
SYN170-1 0.10 0.80 0.30 0.10 0.60 +0.10 0.10 +0.30 0.70
SYN193-1 0.10 0.80 0.70 0.20 0.50 +0.10 0.10 +1.10 GaveUp
SYN201-1 0.10 0.80 0.60 0.10 0.40 +0.10 0.00 +0.80 GaveUp
SYN203-1 0.10 0.90 0.70 0.20 0.50 +0.10 0.10 +1.10 GaveUp
SYN226-1 0.10 0.70 0.40 0.10 0.50 +0.10 0.00 +1.90 GaveUp
SYN227-1 0.10 0.80 0.90 0.10 0.70 +0.10 0.10 +1.20 GaveUp
SYN232-1 0.10 0.70 0.20 0.10 0.40 +0.10 0.00 +1.00 GaveUp
SYN233-1 0.10 0.70 0.20 0.10 0.50 +0.10 0.00 +0.30 0.60
SYN260-1 0.10 0.80 0.10 0.00 0.40 +0.10 0.00 +0.30 0.60
SYN268-1 0.10 0.60 0.30 0.10 0.50 +0.10 0.10 +0.50 0.60
SYN269-1 0.10 0.70 2.60 0.40 0.60 +0.10 0.20 +8.80 GaveUp
SYN291-1 0.00 0.20 0.00 0.00 0.40 +0.10 0.00 +0.20 0.40
SYN297-1 0.10 0.10 0.20 0.00 0.40 +0.10 0.00 +0.30 GaveUp
SYN307-1 +0.00 0.00 +0.00 Timeout +0.00 Timeout 0.00 +0.00 GaveUp
SYN317-1 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.00 +0.00 GaveUp
SYN322-1 +0.00 0.00 +0.00 0.00 +0.00 0.00 0.00 +0.00 GaveUp
SYN419-1 +0.10 1.10 +0.10 1.10 +0.60 Timeout Timeout +59.10 GaveUp
SYN423-1 +0.10 1.90 +11.20 Timeout +1.10 Timeout Timeout Timeout GaveUp
SYN433-1 +0.00 2.00 +0.00 0.00 +0.10 0.40 109.50 +0.40 GaveUp
SYN440-1 0.70 217.10 Timeout Timeout Timeout +1.40 66.50 Timeout Timeout
SYN464-1 +0.30 55.20 +210.90 Timeout +0.30 4.40 15.80 Timeout Timeout
SYN473-1 0.90 18.60 Timeout 243.50 88.80 +0.40 17.00 Timeout 109.20
SYN474-1 0.40 22.60 Timeout 50.40 92.10 +0.40 13.50 Timeout 23.50
SYN485-1 0.40 11.70 Timeout 12.00 14.50 +0.30 7.70 Timeout 22.40
SYN494-1 +0.00 0.10 +0.00 0.00 +0.00 0.00 0.00 +0.00 GaveUp
SYN501-1 0.20 13.70 Timeout 32.00 4.80 +0.20 2.60 Timeout 9.10
SYN521-1 +0.00 0.10 +0.00 0.00 +0.10 0.00 0.00 +0.50 GaveUp
SYN534-1 +0.00 0.10 +0.00 0.00 +0.10 0.00 0.00 +0.10 GaveUp
SYN539-1 +0.00 0.20 +0.00 1.20 +0.20 1.50 0.00 +0.50 GaveUp
SYN541-1 +0.00 0.10 +0.00 Timeout +0.20 0.20 0.00 +0.50 GaveUp
SYN720-1 +0.10 0.70 +0.10 2.00 +0.30 0.30 0.40 +0.30 GaveUp
SYN823-1 +0.50 1.60 +0.70 0.20 +15.00 0.40 284.40 Timeout GaveUp
SYN830-1 +19.30 91.10 +37.80 14.70 Timeout Unknown Timeout Timeout Timeout
SYN831-1 +18.50 75.90 +35.70 14.40 Timeout Unknown Timeout Timeout Timeout
SYN832-1 +23.20 60.30 +37.10 11.60 Timeout Unknown Timeout Timeout Timeout
SYN834-1 0.90 4.00 1.20 0.40 19.40 +0.70 Timeout Timeout GaveUp
SYN840-1 +21.00 97.90 +41.70 18.00 Timeout Unknown Timeout Timeout Timeout
SYN845-1 0.60 6.20 1.10 0.40 20.40 +0.70 214.60 Timeout GaveUp
SYN847-1 2.80 18.60 4.90 1.50 136.10 +3.00 Timeout Timeout GaveUp
SYN852-1 +75.70 129.10 +98.80 22.80 Timeout Unknown Timeout Timeout Timeout
SYN854-1 +219.80 123.50 +256.20 24.90 Timeout Unknown Timeout Timeout Timeout
SYN856-1 0.90 7.80 1.40 0.50 21.90 +0.80 Timeout Timeout GaveUp
SYN857-1 0.80 8.30 1.10 0.60 22.50 +0.90 Timeout Timeout GaveUp
SYN872-1 +0.50 0.60 +1.20 0.30 +179.80 0.50 Timeout Timeout GaveUp
SYN874-1 0.10 0.30 0.20 0.10 3.50 +0.20 5.40 Timeout GaveUp
SYN875-1 0.10 0.30 0.10 0.00 2.70 +0.20 22.20 Timeout GaveUp
SYN882-1 0.20 1.00 0.30 0.10 12.60 +0.70 Timeout Timeout GaveUp
SYN886-1 0.30 1.30 0.60 0.20 58.90 +1.80 Timeout Timeout GaveUp
SYN888-1 +0.80 1.80 +1.90 0.40 +281.70 0.60 Timeout Timeout GaveUp
SYN892-1 0.10 0.60 0.20 0.10 5.00 +0.30 3.10 Timeout GaveUp
SYN894-1 0.20 0.80 0.40 0.10 19.60 +0.40 Timeout Timeout GaveUp
SYN897-1 0.40 1.80 0.80 0.20 78.70 +2.10 Timeout Timeout GaveUp
SYN898-1 0.40 2.80 0.80 0.20 78.90 +2.20 Timeout Timeout GaveUp
Attempted 100 100 100 100 100 100 100 100 100
Solved 100 99 92 88 87 78 77 68 15
Av. Time 4.72 11.84 10.33 10.95 13.46 4.19 9.96 5.14 11.22
Solutions 50 0 50 0 44 48 0 68 0
New Attempted 1 1 1 1 1 1 1 1 1
New Solved 1 1 1 1 1 1 1 1 1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for UEQ

UEQ Waldmeister
806
Waldmeister
704
Vampire
8.1
E
0.99
Otter
3.3
Geo
2006i
Equinox
1.0a
BOO023-1 +0.30 +0.30 +5.90 0.90 GaveUp Timeout GaveUp
BOO067-1 +30.90 +32.70 +0.90 35.00 GaveUp Timeout GaveUp
BOO073-1 +1.30 +1.50 +38.60 5.20 GaveUp Timeout GaveUp
COL002-5 +0.00 GaveUp Timeout Timeout +0.90 Timeout GaveUp
COL003-1 +0.30 +0.30 +391.20 10.80 Unknown Timeout GaveUp
COL004-3 +0.00 +0.00 +0.00 0.00 +0.10 Timeout GaveUp
COL006-1 +0.20 +0.20 +216.80 Timeout Timeout Timeout GaveUp
COL006-5 +0.00 +0.00 Timeout 4.20 Timeout Timeout GaveUp
COL006-7 +0.00 +0.00 +39.20 Timeout Timeout Timeout GaveUp
COL034-1 +0.00 +0.00 +0.10 10.40 +0.10 Timeout GaveUp
COL035-1 +0.00 +0.00 +42.00 0.00 +0.60 Timeout GaveUp
COL036-1 +0.10 +0.10 +160.50 2.00 +0.10 Timeout GaveUp
COL041-1 +0.10 +0.10 +0.00 0.20 +0.10 Timeout GaveUp
COL042-1 +0.20 +0.20 Timeout 56.10 GaveUp Timeout GaveUp
COL043-3 +0.00 +0.00 Timeout Timeout Timeout Timeout GaveUp
COL044-1 +0.00 +0.00 +5.80 0.20 +0.50 Timeout GaveUp
COL044-8 +0.00 +0.00 +155.50 Timeout Timeout Timeout GaveUp
COL044-9 +0.00 +0.00 +157.40 Timeout Timeout Timeout GaveUp
COL046-1 +0.20 +0.20 +27.20 11.00 Timeout Timeout GaveUp
COL057-1 +0.00 +0.00 +5.20 2.00 +0.30 Timeout GaveUp
COL062-1 +0.00 +0.00 +0.20 0.30 Timeout Timeout GaveUp
COL063-1 +0.00 +0.00 +0.40 0.50 Timeout Timeout GaveUp
COL065-1 +0.90 +0.90 +6.30 9.40 Timeout Timeout GaveUp
GRP164-1 +14.10 +23.00 Timeout Timeout GaveUp Timeout GaveUp
GRP164-2 +14.10 +22.70 Timeout Timeout GaveUp Timeout GaveUp
GRP167-2 +0.60 +0.60 +135.70 50.50 +51.20 Timeout GaveUp
GRP167-3 +4.90 +5.40 +7.40 2.00 GaveUp Timeout GaveUp
GRP178-1 +0.20 +0.20 +105.30 2.50 GaveUp Timeout GaveUp
GRP179-1 +2.70 +2.90 +5.60 4.10 GaveUp Timeout GaveUp
GRP179-3 +0.40 +0.40 +5.60 3.30 GaveUp Timeout GaveUp
GRP180-2 +0.50 +0.60 +5.40 6.80 GaveUp Timeout GaveUp
GRP181-1 +3.80 +3.90 +12.70 21.70 GaveUp Timeout GaveUp
GRP181-3 +4.60 +4.80 +0.80 11.10 GaveUp Timeout GaveUp
GRP181-4 +4.80 +4.70 +0.80 1.00 +6.50 Timeout GaveUp
GRP183-4 +0.40 +0.40 +153.10 6.50 GaveUp Timeout GaveUp
GRP184-1 +0.00 +0.00 +119.30 4.00 GaveUp Timeout GaveUp
GRP185-2 +0.00 +0.00 Timeout Timeout GaveUp Timeout GaveUp
GRP185-3 +0.00 +0.00 Timeout Timeout +145.10 Timeout GaveUp
GRP186-1 +0.40 +0.50 +5.50 2.50 GaveUp Timeout GaveUp
GRP186-2 +0.40 +0.50 +5.60 4.20 GaveUp Timeout GaveUp
GRP196-1 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
GRP202-1 +0.20 +0.20 +8.50 2.00 +3.30 Timeout GaveUp
GRP404-1 +0.10 +0.10 +12.00 6.20 +158.50 Timeout GaveUp
GRP411-1 +0.30 +0.30 +3.30 12.00 GaveUp Timeout GaveUp
GRP419-1 +0.40 +0.40 +16.20 2.00 +142.20 Timeout GaveUp
GRP420-1 +0.00 +0.00 +19.90 1.40 +123.50 Timeout GaveUp
GRP423-1 +0.10 +0.10 +19.70 0.20 GaveUp Timeout GaveUp
GRP440-1 +0.10 +0.10 +6.40 0.40 +1.30 Timeout GaveUp
GRP441-1 +0.10 +0.10 +7.50 0.60 GaveUp Timeout GaveUp
GRP444-1 +0.00 +0.00 +7.30 0.20 GaveUp Timeout GaveUp
GRP453-1 +0.00 +0.00 +0.00 3.60 GaveUp Timeout GaveUp
GRP470-1 +0.20 +0.20 +0.70 0.20 +108.70 Timeout GaveUp
GRP476-1 +0.10 +0.10 +0.90 0.00 Timeout Timeout GaveUp
GRP477-1 +0.10 +0.10 +1.10 0.00 Timeout Timeout GaveUp
GRP478-1 +0.10 +0.10 +1.70 0.10 +15.00 Timeout GaveUp
GRP480-1 +0.10 +0.10 +1.80 0.10 GaveUp Timeout GaveUp
LAT007-1 +0.00 +0.00 +6.30 0.80 +2.90 Timeout GaveUp
LAT018-1 Timeout Timeout Timeout Timeout GaveUp Timeout GaveUp
LAT020-1 +18.00 +19.40 +112.70 17.90 GaveUp Timeout GaveUp
LAT023-1 +1.00 +1.10 +21.90 12.00 +5.10 Timeout GaveUp
LAT038-1 +0.80 +0.80 +54.20 2.20 +0.40 Timeout GaveUp
LAT080-1 +3.50 +3.70 +0.70 1.50 Unknown Timeout GaveUp
LAT086-1 +3.70 +3.80 +1.00 0.90 Unknown Timeout GaveUp
LAT087-1 +3.50 +3.80 +0.90 0.90 Unknown Timeout GaveUp
LAT096-1 +1.90 +2.00 +0.70 0.40 Unknown Timeout GaveUp
LAT143-1 +0.20 +0.20 +1.30 5.60 Timeout +311.40 GaveUp
LAT145-1 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT146-1 +160.40 +170.50 Timeout Timeout Timeout Timeout GaveUp
LAT147-1 +4.80 +5.20 Timeout Timeout Timeout Timeout GaveUp
LAT148-1 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT155-1 +235.60 +249.10 Timeout Timeout Timeout Timeout GaveUp
LAT156-1 Timeout Timeout Timeout Timeout +70.80 Timeout GaveUp
LAT157-1 +227.30 +238.70 Timeout Timeout Timeout Timeout GaveUp
LAT158-1 +252.00 +267.00 Timeout Timeout Timeout Timeout GaveUp
LAT160-1 +5.10 +5.60 Timeout Timeout Timeout Timeout GaveUp
LAT166-1 +297.40 +311.90 Timeout Timeout Timeout Timeout GaveUp
LAT168-1 +0.20 +0.20 +0.30 Timeout +0.10 Timeout GaveUp
LAT170-1 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT171-1 +35.80 +38.30 Timeout Timeout +0.30 +137.90 GaveUp
LAT172-1 +194.70 +206.40 Timeout Timeout Timeout Timeout GaveUp
LAT174-1 +355.20 +377.40 Timeout Timeout Timeout Timeout GaveUp
LAT175-1 +191.00 +203.70 Timeout Timeout Timeout Timeout GaveUp
LAT176-1 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL109-2 +0.30 +0.30 +42.00 0.90 Timeout Timeout GaveUp
LCL138-1 +0.20 +0.20 +7.10 0.60 +3.30 Timeout GaveUp
RNG009-5 +0.70 +0.80 +129.80 5.40 GaveUp Timeout GaveUp
RNG020-6 +0.00 +0.00 +0.00 0.00 Timeout Timeout WCout
RNG025-4 +0.20 +0.30 Timeout Timeout +6.40 Timeout GaveUp
RNG025-5 +0.20 +0.30 Timeout Timeout +16.30 Timeout Timeout
RNG025-6 +0.00 +0.00 +296.10 2.10 +0.10 Timeout WCout
RNG025-7 +0.00 +0.00 +175.40 3.80 Timeout Timeout WCout
RNG026-6 +0.00 +0.00 +0.00 0.10 GaveUp Timeout Timeout
RNG027-5 +1.20 +1.90 Timeout Timeout GaveUp Timeout Timeout
RNG027-7 +1.50 +1.90 Timeout Timeout Timeout Timeout WCout
RNG027-8 +1.80 +2.80 Timeout Timeout GaveUp Timeout GaveUp
RNG027-9 +2.50 +2.90 Timeout Timeout GaveUp Timeout Timeout
RNG028-5 +0.90 +1.70 Timeout Timeout GaveUp Timeout WCout
RNG028-9 +1.40 +2.50 Timeout Timeout Timeout Timeout Timeout
RNG035-7 +2.40 +2.50 Timeout 27.00 Timeout Timeout GaveUp
ROB026-1 +6.80 +7.50 Timeout Timeout GaveUp Timeout GaveUp
Attempted 100 100 100 100 100 100 100
Solved 93 92 64 62 28 2 0
Av. Time 22.59 24.38 43.33 6.12 30.85 224.65 -
Solutions 93 92 64 0 28 2 0
New Attempted 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FNE

FNE E
0.99
Vampire
8.1
EP
0.99
Vampire
8.0
Theo
2006
Geo
2006i
Darwin
1.3
Otter
3.3
Faust
1.0
Muscadet
2.6
Equinox
1.0a
ALG211+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 Timeout 0.00
GRP001+6 0.40 +0.30 +0.70 +1.80 +0.60 +0.20 0.00 +0.00 Timeout 0.00 GaveUp
GRP012+5 0.10 +3.60 +0.20 +19.80 +0.10 +10.20 0.20 +0.10 Timeout 0.00 GaveUp
LCL414+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.60 0.00 +0.00 +0.20 Timeout GaveUp
MGT022+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.10 0.00 +0.00 +0.10 0.00 GaveUp
MGT022+2 0.00 +0.00 +0.10 +0.00 +0.00 +0.10 0.00 +0.00 +0.10 0.00 GaveUp
MGT028+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +1.70 Timeout 0.00
MGT036+1 0.00 +0.00 +0.10 +0.00 +0.00 +1.00 0.00 +0.00 +4.20 Timeout 0.00
MGT036+3 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 0.00 0.00
PUZ047+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.10 0.00 +0.00 Timeout GaveUp GaveUp
SET009+3 0.00 +0.00 +0.10 +0.00 +0.50 +43.00 0.00 +0.10 +0.10 0.00 GaveUp
SET588+3 0.00 +0.00 +0.10 +0.00 +0.40 +18.00 0.00 +0.20 +0.10 0.00 GaveUp
SET589+3 0.00 +0.20 +0.10 +0.00 +0.00 +0.30 0.00 +0.00 Unknown 0.20 GaveUp
SET590+3 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.00 0.00 GaveUp
SET631+3 0.00 +0.00 +0.10 +0.00 +0.00 +0.50 0.00 +0.10 +0.10 0.00 GaveUp
SET896+1* 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 0.00 GaveUp
SET899+1* 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 0.00 0.00
SET913+1* 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 0.00 0.00
SET915+1* 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 0.00 0.00
SET939+1* 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 0.00 GaveUp
SET966+1* 0.00 +0.00 +0.10 +0.00 +0.10 +0.10 0.00 +0.00 +0.10 0.10 GaveUp
SWV011+1 0.00 +0.00 +0.10 +0.00 +0.00 +20.50 0.00 +0.00 +0.10 0.60 0.00
SWV014+1 0.00 +0.00 +0.10 +0.10 +0.70 Timeout Timeout Timeout Unknown Timeout Timeout
SYN081+1 0.00 +0.00 +0.10 +0.00 +0.10 +0.00 0.00 +0.00 +0.10 GaveUp 0.00
SYN084+1 0.00 +0.00 +0.10 +0.00 +0.10 +0.00 0.00 +0.10 Timeout GaveUp GaveUp
SYN364+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 Timeout Timeout GaveUp
SYN365+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 Timeout Timeout 0.00
SYN728+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 Timeout Timeout GaveUp
SYN730+1 0.00 +0.00 +0.10 +0.00 +0.10 +0.00 0.00 +0.00 +0.10 GaveUp GaveUp
SYN938+1 2.10 +0.00 +3.00 +0.10 Unknown +2.60 Timeout Unknown Timeout Timeout GaveUp
SYN939+1 0.00 +0.00 +0.10 +0.00 +0.10 +0.00 0.00 +0.00 +0.20 GaveUp GaveUp
SYN940+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 GaveUp 0.00
SYN941+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 GaveUp GaveUp
SYN943+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.10 Timeout GaveUp 0.00
SYN980+1 0.00 +0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.20 GaveUp 0.00
Attempted 35 35 35 35 35 35 35 35 35 35 35
Solved 35 35 35 35 34 34 33 33 24 17 13
Av. Time 0.07 0.12 0.20 0.62 0.08 2.86 0.01 0.02 0.35 0.05 0.00
Solutions 0 35 35 35 34 34 0 33 24 0 0
New Attempted 6 6 6 6 6 6 6 6 6 6 6
New Solved 6 6 6 6 6 6 6 6 6 6 3
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for FEQ

FEQ Vampire
8.1
E
0.99
EP
0.99
Vampire
8.0
Theo
2006
Geo
2006i
Muscadet
2.6
Darwin
1.3
Otter
3.3
Equinox
1.0a
Faust
1.0
AGT005+2 +3.70 0.30 +0.40 +0.10 +0.90 Timeout Timeout 0.20 +0.20 GaveUp WCout
AGT007+2 +167.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown GaveUp WCout
AGT015+1 +0.00 1.40 +1.90 +0.00 +5.30 Timeout Timeout 0.10 +0.20 GaveUp +2.00
AGT018+1 +14.80 Timeout Timeout +95.10 Timeout Timeout Timeout Timeout GaveUp GaveUp Timeout
AGT024+2 +29.90 Timeout Timeout Timeout +264.50 Timeout Timeout Timeout Timeout GaveUp Timeout
ALG074+1 +55.20 1.80 +3.40 +118.30 Timeout +1.30 Timeout 227.90 +0.20 GaveUp Timeout
CSR001+1 +357.30 75.50 87.10 Timeout Timeout Timeout GaveUp Timeout Timeout Unknown WCout
CSR002+1 +95.00 26.80 28.20 Timeout Timeout Timeout GaveUp Timeout Timeout GaveUp WCout
CSR005+2 +76.50 34.30 35.70 Unknown Timeout Timeout GaveUp Timeout Timeout GaveUp WCout
CSR007+1 +1.10 46.80 51.60 +2.20 Timeout Timeout GaveUp Timeout Timeout GaveUp WCout
CSR019+1 +0.00 0.30 0.40 Unknown +1.00 Timeout GaveUp 0.20 Timeout GaveUp WCout
CSR021+1 +0.00 0.20 0.40 Unknown +0.50 +31.80 GaveUp 0.30 Timeout 0.10 WCout
CSR022+1 +0.00 0.40 0.60 Unknown +0.50 +20.20 GaveUp 0.20 Timeout 0.20 WCout
CSR024+1.009 +0.60 0.40 +0.70 Unknown Unknown Timeout Timeout Timeout +101.80 GaveUp Timeout
GEO085+1 +0.00 0.00 +0.10 +0.00 +0.20 +0.70 Timeout Timeout +0.60 0.00 +0.20
GEO088+1 +115.10 Timeout Timeout +34.80 Timeout Timeout Timeout Timeout Timeout GaveUp Unknown
GEO109+1 +120.60 Timeout Timeout +32.10 Timeout Timeout Timeout Timeout Timeout GaveUp Unknown
GRA002+1* Timeout Timeout Timeout Unknown Timeout +13.60 Timeout Timeout Unknown GaveUp Unknown
GRA002+2* +49.90 Timeout Timeout Unknown Timeout +15.90 Timeout Timeout Unknown GaveUp Timeout
GRA002+4* +0.00 0.00 +0.10 Unknown +0.20 +0.90 Timeout 0.00 Unknown GaveUp +0.30
GRA004+1* +0.10 0.00 0.10 Unknown +3.30 +4.10 Timeout 0.00 Unknown 0.30 Timeout
GRA006+1* +12.00 0.50 0.70 Unknown Timeout +7.00 Timeout Timeout Unknown GaveUp Timeout
GRA007+1* +15.00 0.30 0.40 Unknown Timeout +3.00 Timeout Timeout Unknown GaveUp Timeout
GRA007+2* +14.90 0.50 0.60 Unknown Timeout +12.90 Timeout Timeout Unknown 3.60 Timeout
GRA008+1* +23.40 3.60 4.10 Unknown Timeout +5.40 Timeout Timeout Unknown GaveUp Timeout
GRA009+2* +139.70 4.80 5.80 Unknown Timeout +4.30 Timeout Timeout Unknown GaveUp Timeout
GRA010+1* +0.00 0.10 0.10 Unknown +0.90 +1.50 Timeout 0.00 Unknown GaveUp Timeout
GRA011+1* Timeout Timeout Timeout Unknown Timeout +15.00 Timeout Timeout Unknown GaveUp Timeout
GRA012+1* Timeout Timeout Timeout Unknown Timeout +13.30 Timeout Timeout Unknown GaveUp Timeout
MGT042+1 +22.90 Timeout Timeout +84.40 +131.00 +3.20 Timeout 0.00 Timeout GaveUp Timeout
MGT060+1 +8.90 0.00 +0.10 +0.60 +0.20 +0.40 Timeout 0.00 +0.10 0.00 WCout
MSC010+1 +2.70 GaveUp GaveUp +0.00 Unknown Timeout Timeout WCout Unknown GaveUp Timeout
NUM310+1 +11.70 Timeout Timeout +79.90 19.00 Timeout Timeout Timeout Unknown Timeout WCout
NUM327+1 +11.00 Timeout Timeout +79.70 +25.70 Timeout Timeout 0.50 Unknown 367.70 WCout
NUM329+1 +10.80 Timeout Timeout +83.60 +26.30 Timeout Timeout 0.60 Timeout 369.10 WCout
NUM334+1 +10.70 Timeout Timeout +79.60 +5.90 Timeout Timeout Timeout Unknown Timeout Timeout
NUM398+1* +0.00 0.10 +0.20 +0.00 +4.00 +0.20 Timeout 8.10 Timeout GaveUp WCout
NUM400+1* +81.10 0.10 +0.20 +0.70 +53.10 +149.70 Timeout Timeout Timeout GaveUp Unknown
SET008+3 +0.00 0.10 +0.20 +0.00 +0.10 +63.00 0.00 Timeout +4.50 GaveUp Timeout
SET014+3 +0.10 0.00 +0.20 +0.10 +0.10 +1.80 0.00 1.40 Timeout GaveUp Unknown
SET067+1 +0.00 0.10 +0.20 +0.10 +0.60 Timeout 0.90 Timeout Timeout GaveUp Unknown
SET094+1 +0.00 0.00 +0.10 +0.00 +1.50 Timeout 0.80 Timeout +55.90 0.10 Timeout
SET099+1 Timeout 57.40 62.90 +182.30 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SET144+3 +173.00 Timeout Timeout +103.60 +15.90 +285.80 0.10 Timeout Timeout GaveUp Unknown
SET171+3 +12.20 Timeout Timeout +102.60 +42.00 Timeout 0.10 Timeout Timeout GaveUp Timeout
SET200+3 +2.00 0.10 +0.20 +0.20 +0.10 +12.40 0.00 Timeout Timeout GaveUp Unknown
SET577+3 +0.10 0.20 +0.50 +0.20 +0.10 +5.40 0.00 4.00 Timeout GaveUp Unknown
SET579+3 +0.10 0.00 +0.10 +0.10 +6.30 +48.10 0.00 52.00 Timeout GaveUp Timeout
SET582+3 +145.90 36.90 +49.90 +115.60 Timeout Timeout WCout Timeout Timeout GaveUp Timeout
SET584+3 +1.50 0.00 +0.20 +0.00 +0.00 +7.10 0.00 122.00 Timeout GaveUp Unknown
SET587+3 +0.10 0.00 +0.10 +0.00 +7.20 +7.60 0.00 209.30 Timeout GaveUp Timeout
SET593+3 +0.10 0.10 +0.20 +0.60 +7.70 +60.90 0.00 361.00 Timeout 0.10 Unknown
SET594+3 +0.60 1.10 +2.40 +0.00 +0.70 +100.10 0.00 2.00 Timeout GaveUp Unknown
SET595+3 +22.10 26.60 +39.70 +16.80 +1.40 +318.50 0.00 Timeout Timeout GaveUp Timeout
SET603+3 +0.00 0.00 +0.10 +0.00 +0.00 +0.20 0.00 1.30 +38.40 GaveUp Timeout
SET623+3 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout GaveUp Timeout
SET624+3 +4.90 0.00 +0.10 +1.40 +1.30 +232.60 GaveUp 62.60 Timeout GaveUp Unknown
SET655+3 +1.50 0.40 +0.60 +204.10 +6.90 Timeout Timeout 0.40 Timeout Timeout Timeout
SET656+3 +3.90 38.40 +49.80 +12.70 +0.10 Timeout Timeout Timeout +35.80 Timeout Timeout
SET657+3 +140.90 0.10 +0.20 +16.80 +0.70 Timeout Timeout Timeout Timeout Timeout Unknown
SET669+3 +6.70 0.90 +1.30 +0.20 +3.80 Timeout Timeout Timeout Timeout Timeout Timeout
SET680+3 +0.10 0.00 +0.10 +0.50 +1.90 Timeout Timeout Timeout Timeout WCout Unknown
SET795+4* +18.00 Timeout Timeout +0.10 Timeout Timeout 0.10 Timeout Timeout GaveUp Unknown
SET796+4* Timeout Timeout Timeout Timeout Timeout Timeout 0.10 Timeout Timeout GaveUp Unknown
SET798+4* +11.90 0.10 +0.20 +39.60 +0.20 Timeout 0.00 0.30 Timeout GaveUp Unknown
SET802+4* +109.50 4.10 +5.30 +25.80 Timeout Timeout 0.10 Timeout Timeout 1.30 Unknown
SET805+4* Timeout Timeout Timeout +343.60 Timeout Timeout 0.10 Timeout Timeout 2.80 Timeout
SET806+4* Timeout Timeout Timeout +208.60 Timeout Timeout 0.10 Timeout Timeout GaveUp Timeout
SET808+4* Timeout Timeout Timeout Timeout Timeout Timeout 0.10 Timeout Timeout GaveUp Timeout
SET811+4* Timeout Timeout Timeout +207.10 Timeout Timeout 0.10 Timeout Timeout GaveUp Timeout
SET812+4* Timeout Timeout Timeout +104.10 Timeout Timeout 0.10 Timeout Timeout GaveUp WCout
SET814+4* Timeout 2.90 +4.10 +10.90 +0.20 Timeout 0.10 Timeout Timeout GaveUp Timeout
SET815+4* Timeout Timeout Timeout Timeout GaveUp Timeout 0.20 Timeout Timeout GaveUp Unknown
SET816+4* Timeout Timeout Timeout Timeout Timeout Timeout 0.10 Timeout Timeout GaveUp Timeout
SET919+1* Timeout Timeout Timeout Timeout +21.20 Timeout GaveUp Timeout Timeout GaveUp Timeout
SET935+1* +0.10 0.10 +0.30 +0.20 +1.90 Timeout Timeout Timeout +37.20 GaveUp Timeout
SET942+1* +0.00 0.00 +0.10 +5.90 +0.10 +6.30 0.00 Timeout +10.10 GaveUp Unknown
SET951+1* +0.10 Timeout Timeout +0.00 Timeout Timeout GaveUp Timeout Timeout GaveUp Unknown
SET982+1* +0.10 95.50 +99.90 +18.70 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SEU003+1* +35.70 145.60 164.20 +149.90 GaveUp Timeout 57.70 Timeout Timeout GaveUp Unknown
SEU009+1* +0.20 0.00 +0.10 +0.00 +5.90 +69.10 0.50 Timeout Timeout GaveUp Unknown
SEU014+1* Timeout Timeout Timeout +204.50 Timeout +26.10 47.10 Timeout Timeout GaveUp Unknown
SEU075+1* Timeout Timeout Timeout +106.80 GaveUp Timeout 297.10 Timeout Timeout GaveUp Timeout
SEU086+1* Timeout Timeout Timeout Timeout Timeout +16.50 Timeout Timeout Timeout GaveUp Unknown
SWC078+1 Timeout 95.70 118.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWC231+1 +21.50 2.20 2.50 +60.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWC239+1 +11.20 0.10 0.20 +1.30 +159.20 Timeout Timeout Timeout Timeout WCout Timeout
SWV026+1 +22.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV030+1 +20.10 0.10 +0.20 Timeout +376.60 Timeout Timeout Timeout Timeout Timeout Timeout
SWV033+1 +54.00 5.40 +8.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV036+1 +78.60 Timeout Timeout Timeout Unknown Timeout Timeout Timeout Unknown Timeout Timeout
SWV038+1 +22.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV039+1 +21.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SWV041+1 +0.00 0.10 +0.20 +0.10 +2.00 Timeout Timeout 0.00 +178.30 15.50 Unknown
SWV048+1 +4.90 0.10 +0.20 +0.20 +124.50 Timeout Timeout Timeout +358.10 Timeout Unknown
SWV050+1 +4.90 0.00 +0.10 +0.20 Timeout Timeout Timeout Timeout +315.20 171.40 Unknown
SWV053+1 +62.50 13.40 +17.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV090+1 Timeout 2.00 +3.60 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWV092+1 +5.30 0.10 +0.20 +0.20 +2.60 Timeout Timeout 0.00 +118.20 0.80 Timeout
SWV094+1 +21.00 12.70 +15.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SWV096+1 +6.60 2.00 +4.50 +12.20 +6.70 Timeout Timeout Timeout Timeout Timeout Timeout
SWV098+1 +6.50 0.10 +0.20 +0.50 +64.20 Timeout Timeout Timeout +32.70 Timeout Unknown
SWV103+1 Timeout 2.40 +3.90 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SWV117+1 +15.40 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SWV161+1 +17.30 0.10 +0.20 +129.60 +3.40 Timeout Timeout Timeout Timeout 0.40 Unknown
SWV173+1 +5.20 0.00 +0.10 +0.10 +1.20 +1.30 Timeout 0.00 Timeout Timeout Timeout
SWV177+1 +5.20 0.00 +0.10 +0.00 +2.90 Timeout Timeout 0.00 Timeout Timeout Timeout
SWV200+1 +6.00 0.40 +0.90 +0.30 +1.50 Timeout Timeout 0.10 Timeout 0.50 Unknown
SWV209+1 +52.70 0.10 +0.20 +162.70 +4.30 Timeout Timeout Timeout Timeout 2.10 Timeout
SWV233+1* +130.10 0.20 0.30 Timeout Timeout Timeout GaveUp Timeout Timeout GaveUp WCout
SWV234+1* Timeout Timeout Timeout +255.60 Timeout Timeout GaveUp Timeout Timeout GaveUp WCout
SWV234+2* +0.80 0.00 +0.20 +49.40 Timeout Timeout GaveUp Timeout Timeout GaveUp WCout
SWV235+1* +0.20 0.20 +0.30 +4.20 +1.60 Timeout GaveUp Timeout Timeout Timeout WCout
SWV236+1* +0.10 0.00 +0.10 +0.90 +2.00 Timeout GaveUp 118.70 +14.90 GaveUp WCout
SWV237+1* +0.00 0.00 +0.10 +12.40 +0.90 +3.80 358.90 Timeout +1.10 WCout WCout
Attempted 115 115 115 115 115 115 115 115 115 115 115
Solved 93 77 77 74 60 39 33 31 19 18 3
Av. Time 29.46 9.69 11.50 48.17 23.81 40.28 23.16 37.85 68.61 52.00 0.83
Solutions 93 0 57 74 60 39 0 0 19 0 3
New Attempted 42 42 42 42 42 42 42 42 42 42 42
New Solved 25 23 23 23 14 19 18 6 4 4 1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for HNE

HNE Vampire
8.0
Vampire
8.1
E
0.99
EP
0.99
Theo
2006
Otter
3.3
iProver
0.1
Geo
2006i
Darwin
1.3
Equinox
1.0a
Faust
1.0
ANA003-2 +23.20 +161.80 10.10 +13.10 +228.30 Timeout Timeout Timeout Timeout GaveUp WCout
LCL028-1 +197.30 +1.00 Timeout Timeout Timeout Timeout Timeout Timeout Unknown GaveUp Timeout
LCL124-1 +23.20 +3.40 0.20 +0.40 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
LCL125-1 +68.10 +99.70 Timeout Timeout Timeout +161.30 Timeout Timeout Timeout GaveUp Timeout
LCL230-1 +0.40 +3.90 3.00 +4.10 +2.10 GaveUp Timeout Timeout Timeout GaveUp Timeout
LCL249-1 +14.60 +1.70 Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp Timeout
LCL253-1 +125.10 +27.50 Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp Timeout
LCL423-1 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout Timeout Timeout GaveUp Unknown
LCL444-2* +47.40 +80.00 Timeout Timeout GaveUp GaveUp Timeout Timeout Timeout GaveUp WCout
NUM017-1 +21.40 +76.20 10.90 +14.20 +88.30 +47.20 Timeout Timeout Timeout GaveUp Timeout
PLA010-1 +0.10 +0.20 0.10 +0.20 Timeout Timeout Timeout Timeout Timeout GaveUp WCout
PLA014-1 +0.00 +0.10 0.00 +0.10 +58.50 Timeout Timeout Timeout Timeout GaveUp WCout
PLA016-1 +0.00 +0.10 0.00 +0.10 Timeout Timeout Timeout Timeout 0.50 GaveUp WCout
PLA018-1 +0.00 +0.10 0.00 +0.10 Timeout Timeout Timeout Timeout Timeout GaveUp WCout
RNG004-3 +144.50 +175.40 6.80 +9.90 +2.20 +34.20 Timeout +129.50 Timeout GaveUp WCout
SWV014-1 +0.10 +6.70 0.00 +0.10 +0.90 Timeout Timeout Timeout Timeout Timeout Unknown
SYN600-1 +5.40 +25.20 6.50 +9.60 +0.50 +4.90 0.10 +2.70 Timeout GaveUp Unknown
SYN640-1 +0.60 +2.00 Timeout Timeout +9.90 +1.60 0.10 Timeout Timeout GaveUp Timeout
SYN707-1 +3.60 +25.60 0.10 +0.10 +2.20 Timeout 0.80 Timeout Timeout GaveUp Unknown
SYN708-1 +3.50 +25.60 1.50 +1.90 +2.80 Timeout 0.80 Timeout Timeout GaveUp Unknown
Attempted 20 20 20 20 20 20 20 20 20 20 20
Solved 19 19 13 13 10 5 4 2 1 0 0
Av. Time 35.71 37.69 3.02 4.15 39.57 49.84 0.45 66.10 0.50 - -
Solutions 19 19 0 13 10 5 0 2 0 0 0
New Attempted 1 1 1 1 1 1 1 1 1 1 1
New Solved 1 1 0 0 0 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for HEQ

HEQ Vampire
8.0
Vampire
8.1
E
0.99
EP
0.99
Otter
3.3
Theo
2006
Darwin
1.3
Geo
2006i
iProver
0.1
Faust
1.0
Equinox
1.0a
ANA008-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.00 0.00 +0.00 0.20 Unknown GaveUp
ANA017-2* +0.00 +0.00 0.00 +0.10 +0.00 +20.40 4.30 +125.40 Timeout Unknown GaveUp
ANA030-2* +0.00 +0.20 0.00 +0.10 +0.10 Timeout Timeout +27.70 Timeout Timeout GaveUp
ANA040-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.00 0.00 +0.00 0.20 Unknown GaveUp
ANA044-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.20 0.10 +0.10 311.60 +0.20 GaveUp
ANA045-2* +0.00 +0.00 0.00 +0.10 +0.10 +0.10 0.00 +0.00 0.50 Unknown GaveUp
COL003-10 +11.40 +40.50 25.20 +29.70 Unknown Timeout Timeout Timeout Timeout WCout GaveUp
COL003-2 +1.40 +0.80 0.40 +0.80 Unknown Timeout Timeout Timeout Timeout WCout GaveUp
COL042-3 +6.90 +39.00 5.70 +9.90 GaveUp Timeout Timeout Timeout Timeout WCout GaveUp
HWV002-1 +42.60 +26.00 37.30 +49.60 GaveUp Timeout Timeout Timeout Timeout Unknown GaveUp
LAT263-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.80 0.10 +0.10 0.20 +0.10 GaveUp
LAT277-2* +0.00 +0.00 0.00 +0.10 +0.00 +0.00 0.00 +0.00 0.00 +0.10 GaveUp
LCL109-4 +33.50 +25.80 6.00 +9.80 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL145-1 +0.00 +0.00 0.00 +0.10 Timeout GaveUp Timeout Timeout Timeout Timeout GaveUp
LCL151-1 +89.50 +169.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LCL185-3 +0.00 +0.00 2.00 +3.30 +0.30 +0.20 0.10 Timeout Timeout Timeout GaveUp
LCL222-3 +21.70 +30.10 52.00 +68.70 GaveUp Timeout Timeout Timeout Timeout Timeout GaveUp
LCL237-3 +0.00 +0.10 0.40 +0.80 +1.50 +86.10 79.80 Timeout Timeout Timeout GaveUp
SWV249-2* +18.90 +4.00 Timeout Timeout +1.20 Timeout Timeout Timeout Timeout Timeout GaveUp
SWV251-2* +0.00 +0.00 0.10 +0.30 +0.80 +8.70 Timeout +6.70 Timeout Unknown GaveUp
Attempted 20 20 20 20 20 20 20 20 20 20 20
Solved 20 20 18 18 12 10 9 9 6 3 0
Av. Time 11.29 16.79 7.17 9.66 0.33 11.65 9.38 17.78 52.12 0.13 -
Solutions 20 20 0 18 12 10 0 9 0 3 0
New Attempted 10 10 10 10 10 10 10 10 10 10 10
New Solved 10 10 9 9 10 8 7 9 6 3 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for NNE

NNE Vampire
8.1
Vampire
8.0
E
0.99
EP
0.99
Darwin
1.3
Theo
2006
iProver
0.1
Geo
2006i
Otter
3.3
Faust
1.0
Equinox
1.0a
ANA002-1 +3.30 +2.30 19.20 +29.80 Timeout +231.90 Timeout Timeout Timeout Unknown GaveUp
ANA004-5 +7.00 Timeout Timeout Timeout Timeout +279.80 Timeout Timeout Timeout WCout GaveUp
COM005-1 +183.60 +6.40 19.70 +29.80 Timeout Timeout 72.90 Timeout Timeout Unknown GaveUp
FLD013-1 +2.00 +2.50 22.80 +29.80 2.70 +1.20 2.40 +10.70 Timeout WCout GaveUp
FLD060-3 +0.20 +1.00 Timeout Timeout 29.50 +1.10 Timeout +93.70 Timeout Unknown GaveUp
LAT273-2* +0.00 +0.00 0.00 +0.10 0.00 +0.00 0.00 +0.10 +0.00 +0.10 GaveUp
LCL442-2* +0.10 +0.00 0.00 +0.10 0.00 +0.30 0.30 +328.80 +14.60 +0.30 GaveUp
NLP080-1 +0.00 +0.00 0.00 +0.10 0.00 GaveUp 0.00 +1.80 +0.00 Timeout 0.10
PUZ035-4 +0.00 +0.00 0.00 +0.10 0.00 +4.50 0.00 +0.30 +0.00 +0.30 0.00
SET013-1 +1.20 +0.00 0.60 +0.90 47.70 +125.50 Timeout Timeout Timeout Timeout GaveUp
SET830-2* +0.10 +5.80 0.00 +0.10 2.80 +0.40 0.60 +1.00 Timeout +0.80 GaveUp
SET834-2* +0.00 +3.20 0.00 +0.10 2.80 +0.70 41.00 +38.50 GaveUp +0.80 GaveUp
SET863-2* +0.00 +0.20 0.00 +0.10 0.10 +0.10 0.10 +20.80 +4.20 Unknown GaveUp
SWV248-2* +1.20 +0.00 0.00 +0.10 0.10 Timeout Timeout +202.30 GaveUp Timeout GaveUp
SWV291-2* +0.00 +0.00 0.00 +0.10 0.00 +0.10 0.00 +71.70 +0.00 +1.50 GaveUp
SWV305-2* +0.00 +0.00 0.00 +0.10 Timeout +0.20 0.00 +91.00 +0.00 +1.70 GaveUp
SWV323-2* +0.80 +0.00 0.00 +0.10 0.10 +0.50 56.20 Timeout +6.60 Timeout GaveUp
SWV329-2* +0.00 +0.00 0.00 +0.10 0.00 +0.00 0.00 +1.70 +0.00 +0.20 GaveUp
SYN036-3 +0.00 +0.00 0.00 +0.10 0.00 Timeout 0.00 +11.60 +0.10 +10.30 GaveUp
SYN067-3 +0.80 +8.10 4.00 +6.10 0.10 Timeout Timeout Timeout Timeout Timeout 0.80
Attempted 20 20 20 20 20 20 20 20 20 20 20
Solved 20 19 18 18 16 15 14 14 10 9 3
Av. Time 10.01 1.55 3.68 5.43 5.37 43.09 12.39 62.43 2.55 1.78 0.30
Solutions 20 19 0 18 0 15 0 14 10 9 0
New Attempted 10 10 10 10 10 10 10 10 10 10 10
New Solved 10 10 10 10 9 9 9 9 7 7 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for NEQ

NEQ Vampire
8.1
Vampire
8.0
E
0.99
EP
0.99
Theo
2006
iProver
0.1
Otter
3.3
Geo
2006i
Darwin
1.3
Equinox
1.0a
Faust
1.0
ANA014-2* +0.00 +0.00 0.00 +0.10 Timeout Timeout +12.70 +10.90 Timeout GaveUp Timeout
ANA016-2* +0.00 +0.00 0.00 +0.10 +9.40 75.70 +0.00 +0.10 Timeout GaveUp +1.80
ANA022-1* +211.10 Timeout Timeout Timeout Unknown WCout GaveUp Timeout Timeout Timeout Timeout
ANA037-1* +6.70 +41.20 180.10 182.90 Unknown Timeout GaveUp Timeout Timeout Timeout Timeout
COL093-2 Timeout Timeout 0.20 +0.40 Timeout Timeout Timeout Timeout Timeout Timeout WCout
COL112-1* +0.10 +0.10 0.80 +1.10 +2.80 29.50 +2.60 Timeout 0.30 Timeout Unknown
COL119-1* +0.10 +0.10 0.90 +1.10 +2.90 27.00 +4.30 Timeout 0.30 Timeout Unknown
COM009-1* +0.10 +0.10 0.90 +1.10 +64.70 Timeout +4.50 +261.80 Timeout Timeout +4.30
GEO006-1 +1.20 +0.20 0.00 +0.10 +14.30 Timeout +271.20 Timeout Timeout GaveUp Timeout
GEO007-1 +1.30 +58.80 152.10 179.50 +308.70 Timeout Timeout Timeout Timeout GaveUp Unknown
GEO011-1 +1.10 +0.10 0.50 +1.10 +83.50 Timeout Timeout Timeout Timeout GaveUp Timeout
GEO051-3 +1.20 +14.70 0.50 +0.90 +2.90 2.20 +7.80 +4.00 Timeout GaveUp WCout
GEO076-4 +0.10 +11.90 0.00 +0.10 Timeout 269.60 Timeout +0.20 0.20 GaveUp Timeout
GEO083-1 +0.00 +7.50 25.80 +29.20 +0.50 1.90 Timeout Timeout Timeout GaveUp Unknown
GEO089-1 +66.40 +1.80 Timeout Timeout Timeout Timeout Timeout +23.20 Timeout GaveUp Unknown
GRP039-5 +0.10 +0.10 0.00 +0.10 +274.70 Timeout Timeout Timeout Timeout GaveUp Timeout
HWV016-1 +0.00 +0.20 0.10 0.20 +109.20 95.40 Timeout +9.60 Timeout 0.10 Timeout
LAT003-1 Timeout Timeout 72.80 89.50 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
LCL434-2* +0.00 +0.00 0.00 +0.10 +0.10 34.00 +0.00 +0.20 0.00 GaveUp +0.10
LCL439-1* +26.90 +23.80 Timeout Timeout +18.00 Timeout Timeout Timeout Timeout Timeout Unknown
MGT034-2 +0.20 +0.00 0.40 +0.50 +2.00 0.20 +81.90 +13.20 Timeout GaveUp Timeout
NUM010-1 +74.40 +9.70 Timeout Timeout +125.30 Timeout Timeout Timeout Timeout WCout WCout
NUM058-1 +77.50 +92.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp WCout
SET016-3 +0.00 +47.80 0.20 +0.40 Timeout Timeout Timeout Timeout Timeout WCout WCout
SET018-3 +0.00 +4.90 126.60 156.60 Timeout WCout Timeout Timeout Timeout WCout WCout
SET018-4 +0.10 +56.10 118.60 139.40 Timeout Timeout Timeout Timeout Timeout WCout WCout
SET022-3 +0.80 +0.40 8.90 +13.00 +1.30 Timeout Timeout +0.30 Timeout WCout WCout
SET027-3 +0.00 +0.10 0.10 +0.20 +0.60 WCout +224.00 Timeout 318.60 WCout Unknown
SET028-3 +35.60 +124.90 Timeout Timeout Timeout WCout Timeout Timeout Timeout Timeout Unknown
SET035-3 +117.90 +113.80 Timeout Timeout Timeout WCout Timeout Timeout Timeout WCout Unknown
SET208-6 +3.40 +18.00 Timeout Timeout +214.10 Timeout Timeout Timeout Timeout GaveUp Timeout
SET787-2 +261.10 +101.40 0.10 +0.20 Timeout WCout Timeout Timeout Timeout 0.30 WCout
SET820-2* +0.00 +0.00 0.00 +0.10 +0.10 Timeout +0.00 +0.00 0.00 GaveUp Timeout
SET823-1* +0.10 +0.10 2.10 +2.60 +3.00 Timeout Timeout Timeout Timeout Timeout Unknown
SET827-1* +0.10 +0.10 1.00 +1.20 +1.20 2.90 +2.50 +275.00 0.20 Timeout +5.10
SET831-2* +0.40 +74.50 0.10 +0.20 Timeout 313.20 +0.40 +352.20 Timeout GaveUp Unknown
SET834-1* +62.10 +243.00 9.10 10.50 Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SET841-1* +0.10 +5.20 0.90 +1.10 +159.80 Timeout +3.30 Timeout 16.60 Timeout Unknown
SET853-1* +0.30 +75.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout 5.30 Unknown
SET861-2* +12.60 +12.30 Timeout Timeout Timeout Timeout GaveUp Timeout Timeout GaveUp Unknown
SWC169-1 Timeout Timeout 299.00 307.40 Timeout Timeout Timeout Timeout Timeout WCout Unknown
SWC225-1 +49.60 +22.80 0.10 0.20 Timeout Timeout Timeout Timeout Timeout Timeout WCout
SWV239-1* +14.90 +88.60 2.30 +2.70 Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SWV242-1* +1.20 +0.80 3.50 +4.10 +262.50 Timeout Timeout Timeout Timeout Timeout Unknown
SWV243-1* +1.10 +1.60 6.20 6.70 Unknown Timeout GaveUp Timeout Timeout Timeout Unknown
SWV247-1* +52.60 +162.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Unknown
SWV254-1* +1.40 +2.40 6.90 7.40 Unknown Timeout GaveUp Timeout Timeout Timeout Unknown
SWV256-1* +0.80 +0.90 0.60 +0.80 Unknown Timeout GaveUp Timeout 3.60 Timeout Timeout
SWV264-1* +0.10 +0.10 0.60 +0.70 +6.20 0.40 +3.80 Timeout 0.20 Timeout Unknown
SWV267-1* +1.40 +15.90 7.20 7.80 Unknown 96.40 GaveUp Timeout 3.50 Timeout Unknown
SWV270-1* +1.60 +36.00 6.30 6.60 Unknown Timeout GaveUp Timeout Timeout 28.40 Unknown
SWV273-1* +1.30 +4.00 6.30 6.90 Unknown Timeout GaveUp Timeout Timeout Timeout WCout
SWV274-2* +0.00 +0.00 0.00 +0.10 +0.20 0.20 +7.90 +0.90 0.00 GaveUp Timeout
SWV275-2* +1.20 +2.90 2.30 +3.60 +0.30 150.50 Timeout +221.50 0.00 GaveUp Unknown
SWV281-2* +0.00 +0.00 0.00 +0.10 +0.10 Timeout Timeout +0.20 Timeout GaveUp +0.10
SWV282-2* +0.00 +0.20 0.60 +1.10 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SWV302-1* +1.00 +0.40 1.00 +1.20 +14.20 Timeout GaveUp Timeout Timeout 3.50 Unknown
SWV315-1* +2.00 +36.30 7.00 7.50 Unknown Timeout GaveUp Timeout Timeout Timeout Timeout
SWV317-1* +1.40 +3.00 6.70 7.30 Unknown Timeout GaveUp Timeout Timeout Timeout Timeout
SWV319-2* +0.00 +0.00 0.00 +0.10 +0.50 0.10 +0.00 Timeout Timeout GaveUp +4.60
SWV325-2* +0.00 +0.00 0.00 +0.10 +0.60 0.10 +0.00 +58.80 2.00 GaveUp Timeout
SWV341-1* +1.40 +18.60 8.00 8.50 Unknown 3.70 GaveUp Timeout Timeout 5.50 Timeout
SWV342-1* +84.70 Timeout 11.40 12.40 Unknown Timeout GaveUp Timeout Timeout Timeout Timeout
SWV343-1* +82.80 Timeout 12.50 13.10 Unknown Timeout GaveUp Timeout Timeout Timeout Timeout
SWV349-1* +0.20 +0.30 0.20 +0.40 Unknown 2.30 +0.90 Timeout 4.90 2.50 Timeout
SWV354-1* Timeout Timeout 393.00 Timeout Unknown Timeout GaveUp Timeout Timeout 6.30 Timeout
SWV354-2* +0.00 +0.00 0.00 +0.10 Timeout 6.20 +9.30 Timeout Timeout 0.00 Unknown
SWV355-1* +83.60 Timeout 8.90 9.50 Unknown Timeout GaveUp Timeout Timeout Timeout Timeout
SYN014-1 +0.00 +0.00 0.00 +0.10 Timeout 0.90 Timeout +0.10 0.00 GaveUp Timeout
SYN015-1 +0.00 +0.10 0.00 +0.10 Timeout 4.80 Timeout +0.20 0.00 GaveUp Timeout
Attempted 70 70 70 70 70 70 70 70 70 70 70
Solved 66 62 59 58 30 22 20 19 17 9 6
Av. Time 20.42 24.80 25.31 21.21 56.12 50.78 31.85 64.86 20.61 5.77 2.67
Solutions 66 62 0 38 30 0 20 19 0 0 6
New Attempted 43 43 43 43 43 43 43 43 43 43 43
New Solved 42 38 38 37 18 15 16 11 13 7 6
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for PEQ

PEQ E
0.99
EP
0.99
Vampire
8.0
Vampire
8.1
Otter
3.3
Darwin
1.3
Geo
2006i
Faust
1.0
Theo
2006
iProver
0.1
Equinox
1.0a
BOO020-1 9.90 +19.80 +1.20 +11.40 Timeout Timeout Timeout Unknown Timeout Timeout GaveUp
GRP061-1 0.60 +1.30 +13.20 +15.10 GaveUp Timeout Timeout Unknown Timeout Timeout GaveUp
GRP070-1 0.00 +0.10 +0.20 +11.20 +1.00 Timeout Timeout Unknown Timeout Timeout GaveUp
GRP074-1 0.10 +0.30 +3.90 +0.10 GaveUp Timeout Timeout Unknown Timeout Timeout GaveUp
GRP082-1 0.10 +0.30 +11.10 +0.20 GaveUp Timeout Timeout Unknown Timeout Timeout GaveUp
GRP085-1 0.10 +0.40 +0.10 +0.00 +0.10 1.10 Timeout Unknown Timeout Timeout GaveUp
GRP086-1 0.10 +0.20 +0.00 +0.00 +0.10 150.80 Timeout Unknown Timeout Timeout GaveUp
GRP102-1 0.00 +0.10 +0.20 +1.60 +2.50 Timeout Timeout Timeout Timeout Timeout GaveUp
GRP103-1 0.90 +2.90 +0.50 +2.60 +8.40 Timeout Timeout Timeout Timeout Timeout GaveUp
GRP110-1 0.10 +0.50 +0.10 +0.00 +17.70 109.40 Timeout Unknown Timeout Timeout GaveUp
GRP311-1 2.10 2.70 +2.90 +1.10 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
HWV003-2 86.70 109.40 +40.00 +4.20 GaveUp Timeout Timeout WCout Timeout Timeout GaveUp
LAT005-4 1.20 +3.50 +12.20 +21.80 +140.50 Timeout Timeout Timeout Timeout Timeout GaveUp
LAT198-1 3.80 +9.40 +332.00 +55.50 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT201-1 7.00 +9.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
LAT209-1 3.30 +8.60 +31.40 +22.60 GaveUp Timeout Timeout Timeout Timeout Timeout GaveUp
LAT219-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
RNG027-2 Timeout Timeout +75.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
RNG029-3 6.70 +9.90 +2.00 +0.70 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
SET838-2* 0.00 +0.10 +0.00 +0.00 +0.00 0.00 +0.00 +0.10 +0.10 0.70 GaveUp
Attempted 20 20 20 20 20 20 20 20 20 20 20
Solved 18 18 18 17 8 4 1 1 1 1 0
Av. Time 6.82 9.97 29.23 8.71 21.29 65.33 0.00 0.10 0.10 0.70 -
Solutions 0 16 18 17 8 0 1 1 1 0 0
New Attempted 1 1 1 1 1 1 1 1 1 1 1
New Solved 1 1 1 1 1 1 1 1 1 1 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for SNE

SNE Paradox
1.3
Paradox
2.0a
DarwinFM
1.3
Geo
2006i
Darwin
1.3
E
0.99
GRP025-3 +0.30 +0.50 +2.10 +0.80 Timeout Timeout
GRP027-2 +0.10 +0.20 +4.40 +0.50 Timeout Timeout
GRP394-2 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
LCL078-1 +0.00 +0.00 +0.00 +0.10 Timeout Timeout
LCL168-1 +0.10 +0.10 Timeout Timeout Timeout Timeout
LCL179-1 +0.60 +4.40 +8.40 Timeout Timeout Timeout
LCL183-1 +3.00 +24.20 +170.90 Timeout Timeout Timeout
LCL245-1 +12.80 +34.00 Timeout Timeout Timeout Timeout
LCL246-1 +4.00 +5.20 Timeout Timeout Timeout Timeout
LCL247-1 +9.90 +60.70 Timeout Timeout Timeout Timeout
LCL252-1 +13.20 +70.40 Timeout Timeout Timeout Timeout
LCL411-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
NLP028-1 +0.10 +0.10 +0.00 +0.20 +0.00 Timeout
NLP034-1 +0.10 +0.10 +0.00 +0.20 +0.00 Timeout
NLP164-1 +0.10 +0.20 +0.50 +6.00 +0.00 Timeout
NLP167-1 +0.10 +0.20 +0.10 +3.80 +0.00 Timeout
NLP193-1 +0.10 +0.20 +0.10 +5.20 +0.00 Timeout
NLP196-1 +0.10 +0.20 +0.10 +7.50 +0.00 Timeout
NUM287-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
NUM288-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
PUZ015-3 +2.00 +8.00 Timeout Timeout Timeout Timeout
PUZ059-1 +3.80 +38.60 +109.90 Timeout WCout Timeout
SWV018-1 +0.10 +0.10 +0.10 +27.20 Timeout 0.00
SYN316-1 +0.00 +0.00 +0.00 +0.00 Timeout 0.00
SYN324-1 +0.00 +0.00 +0.00 +0.00 Timeout 0.00
SYN330-1 +0.50 +0.50 Timeout Timeout Timeout 0.00
SYN335-1 +137.00 +159.90 Timeout Timeout Timeout 0.00
SYN751-1 +0.10 +0.10 +0.00 +0.00 +0.00 11.90
SYN754-1 +0.10 +0.10 +0.00 +0.00 +0.00 0.20
SYN765-1 +0.10 +0.10 +0.10 +0.10 +2.50 Timeout
SYN779-1 +0.00 +0.10 +0.00 +0.00 +8.90 Timeout
SYN780-1 +0.00 +0.10 +0.00 +0.00 +0.10 Timeout
SYN783-1 +0.00 +0.10 +0.00 +0.00 +0.00 Timeout
SYN790-1 +0.00 +0.10 +0.00 +0.00 +0.00 41.80
SYN792-1 +0.10 +0.10 +0.00 +0.00 Timeout Timeout
SYN810-1 +0.10 +0.20 +0.00 +0.00 +1.40 Timeout
SYN904-1 +1.50 +1.70 +0.60 +201.00 Timeout Timeout
SYN905-1 +1.80 +2.20 +0.90 Timeout Timeout Timeout
SYN906-1 +1.10 +1.50 +0.90 Timeout Timeout Timeout
SYN908-1 +3.90 +3.90 +1.80 Timeout Timeout Timeout
SYN910-1 +5.70 +5.60 +7.30 Timeout Timeout Timeout
SYN911-1 +8.00 +8.10 Timeout Timeout Timeout Timeout
TOP005-1 +0.40 +1.10 +0.60 Timeout Timeout Timeout
TOP007-1 +0.60 +1.30 +32.20 Timeout Timeout Timeout
TOP008-1 +0.20 +0.30 +0.50 Timeout Timeout Timeout
TOP010-1 +0.20 +0.30 +0.30 +3.70 Timeout Timeout
TOP012-1 +0.20 +0.30 +1.40 +117.90 Timeout Timeout
TOP013-1 +0.20 +0.30 +0.70 +100.30 Timeout Timeout
TOP014-1 +0.20 +0.30 +0.30 +89.90 Timeout Timeout
TOP018-1 +0.20 +0.30 +0.60 Timeout Timeout Timeout
Attempted 50 50 50 50 50 50
Solved 50 50 41 30 14 8
Av. Time 4.25 8.72 8.41 18.81 0.92 6.74
Solutions 50 50 41 30 14 0
New Attempted 0 0 0 0 0 0
New Solved 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for SEQ

SEQ Paradox
1.3
Paradox
2.0a
DarwinFM
1.3
Geo
2006i
E
0.99
Darwin
1.3
ALG008-1 +0.00 +0.00 +0.30 +0.10 Timeout Timeout
ANA006-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
BOO019-1 +0.00 +0.00 +38.10 +0.50 Timeout Timeout
BOO030-1 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
BOO033-1 +0.00 +0.00 +0.10 +0.00 Timeout Timeout
BOO057-1 +2.50 +2.20 Timeout Timeout Timeout Timeout
BOO058-1 +1.80 +3.20 Timeout Timeout Timeout Timeout
BOO061-1 +12.80 +0.90 Timeout Timeout Timeout Timeout
CAT019-4 +0.00 +0.00 +0.00 +0.00 Timeout Timeout
CAT019-5 +0.00 +0.00 +0.10 +0.10 Timeout Timeout
COL005-1 +0.00 +0.00 +0.30 +0.10 Timeout Timeout
COL073-1 +0.10 +0.10 +8.10 Timeout Timeout Timeout
GEO078-6 +0.10 +0.20 +1.00 +88.90 Timeout Timeout
GEO163-1 +0.00 +0.00 +0.90 +36.90 Timeout Timeout
GRP025-2 +0.10 +0.20 +146.10 +7.80 Timeout Timeout
GRP026-2 +0.30 +0.50 +60.00 +70.90 Timeout Timeout
GRP026-4 +0.30 +0.50 +13.80 +82.50 Timeout Timeout
GRP081-1 +0.00 +0.00 +0.10 Timeout Timeout Timeout
GRP112-1 +0.00 +0.00 +0.10 +0.10 Timeout Timeout
GRP207-1 +0.00 +0.00 +0.10 +0.00 Timeout Timeout
LAT046-1 +0.30 +0.80 +52.00 +269.60 Unknown Timeout
LAT047-1 +0.10 +0.10 +2.70 +2.60 Timeout Timeout
LAT048-1 +0.20 +0.80 +21.70 Timeout Timeout Timeout
LAT049-1 +0.50 +2.50 +212.00 +101.80 Timeout Timeout
LAT051-1 +0.10 +0.40 +7.00 +3.00 Timeout Timeout
LAT053-1 Timeout Timeout Timeout Timeout Timeout Timeout
LAT106-1 GaveUp Timeout Timeout Timeout Timeout Timeout
LAT112-1 +83.50 Timeout Timeout Timeout Unknown Timeout
LAT117-1 GaveUp Timeout Timeout Timeout Timeout Timeout
LAT118-1 GaveUp Timeout Timeout Timeout Timeout Timeout
LAT121-1 +3.60 +38.60 Timeout +188.70 Timeout Timeout
LAT129-1 +3.50 +49.20 Timeout Timeout Timeout Timeout
LAT133-1 +2.70 +38.40 Timeout Timeout Timeout Timeout
LCL165-1 +0.10 +0.20 +7.60 Timeout Timeout Timeout
LCL267-3 +0.00 +0.00 +0.10 Timeout Timeout Timeout
LCL280-3 +0.00 +0.00 +0.20 Timeout Timeout Timeout
LCL292-3 +0.00 +0.00 +0.00 Timeout Timeout Timeout
MGT038-2 +0.10 +0.10 +0.10 +0.10 Timeout Timeout
NLP052-1 GaveUp WCout Timeout Timeout 0.00 +174.00
NLP069-1 GaveUp WCout Timeout Timeout 0.00 Timeout
NLP071-1 GaveUp WCout Timeout Timeout 0.00 Timeout
NLP072-1 GaveUp WCout Timeout Timeout 0.00 Timeout
NLP087-1 GaveUp WCout Timeout Timeout 0.00 Timeout
NLP211-1 +0.40 +1.20 +0.50 Timeout Timeout Timeout
PUZ070-1* +3.30 +134.60 Timeout Timeout Timeout +25.40
PUZ071-1* +3.50 +135.20 Timeout Timeout Timeout +28.00
PUZ072-1* +3.50 +136.10 Timeout Timeout Timeout +329.50
RNG031-6 +181.80 +194.90 Timeout Timeout Timeout Timeout
ROB012-2 +0.10 +0.20 +36.00 Timeout Timeout Timeout
SYN305-1 Timeout Timeout Timeout Timeout 0.00 Timeout
Attempted 50 50 50 50 50 50
Solved 40 39 29 21 6 4
Av. Time 7.63 19.00 21.00 40.65 0.00 139.22
Solutions 40 39 29 21 0 4
New Attempted 3 3 3 3 3 3
New Solved 3 3 0 0 0 3
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for EPT

EPT Darwin
1.3
E
0.99
DCTP
10.21p
Vampire
8.1
Paradox
2.0a
DarwinFM
1.3
iProver
0.1
Geo
2006i
Equinox
1.0a
GRP129-3.004 0.00 2.50 0.60 +227.10 0.10 0.60 0.10 +2.10 GaveUp
KRS004-1 0.00 0.00 0.00 +0.00 0.00 0.00 0.00 +0.00 0.00
LAT005-1 0.30 1.40 0.70 Timeout Timeout Timeout Timeout Timeout GaveUp
LAT005-2 0.20 1.40 0.50 Timeout Timeout Timeout Timeout Timeout GaveUp
LAT267-2* 0.00 0.00 0.00 +0.00 0.00 0.00 0.00 +0.00 0.00
MGT014-1 0.00 0.00 0.00 +0.00 0.10 0.50 0.00 +0.10 0.00
PUZ018-1 0.00 0.00 0.10 +0.10 0.00 0.10 0.00 +10.20 0.30
PUZ035-1 0.00 0.00 0.10 +0.00 0.00 0.00 0.00 +0.00 0.00
PUZ036-1.005 0.10 0.00 171.50 +0.00 Timeout Timeout 0.50 +0.60 GaveUp
PUZ037-1 0.10 0.00 0.10 +0.00 GaveUp 0.90 0.00 +0.10 GaveUp
PUZ037-2 0.20 0.00 1.20 +0.10 GaveUp 6.30 0.20 +95.90 GaveUp
PUZ037-3 78.50 52.40 Timeout +68.20 GaveUp 182.10 Timeout Timeout GaveUp
SYN052-1 0.00 0.00 0.00 +0.00 0.00 0.00 0.00 +0.00 GaveUp
SYN071-1 0.00 0.00 0.00 +0.00 0.00 0.00 0.00 +0.00 GaveUp
SYN113-1 0.10 0.10 1.00 +0.10 0.40 0.20 0.20 +1.00 GaveUp
SYN121-1 0.10 0.10 1.00 +0.10 0.40 1.90 0.10 +1.50 GaveUp
SYN138-1 0.10 0.20 0.80 +0.10 0.60 0.30 0.20 +9.10 GaveUp
SYN144-1 0.10 0.10 0.80 +0.10 0.60 0.50 0.10 +10.20 GaveUp
SYN168-1 0.10 0.10 0.70 +0.10 0.50 0.40 0.00 +0.40 0.90
SYN170-1 0.10 0.10 0.80 +0.10 0.60 0.30 0.10 +0.30 0.70
SYN193-1 0.10 0.20 0.80 +0.10 0.50 0.70 0.10 +1.10 GaveUp
SYN201-1 0.10 0.10 0.80 +0.10 0.40 0.60 0.00 +0.80 GaveUp
SYN203-1 0.10 0.20 0.90 +0.10 0.50 0.70 0.10 +1.10 GaveUp
SYN226-1 0.10 0.10 0.70 +0.10 0.50 0.40 0.00 +1.90 GaveUp
SYN227-1 0.10 0.10 0.80 +0.10 0.70 0.90 0.10 +1.20 GaveUp
SYN232-1 0.10 0.10 0.70 +0.10 0.40 0.20 0.00 +1.00 GaveUp
SYN233-1 0.10 0.10 0.70 +0.10 0.50 0.20 0.00 +0.30 0.60
SYN260-1 0.10 0.00 0.80 +0.10 0.40 0.10 0.00 +0.30 0.60
SYN268-1 0.10 0.10 0.60 +0.10 0.50 0.30 0.10 +0.50 0.60
SYN269-1 0.10 0.40 0.70 +0.10 0.60 2.60 0.20 +8.80 GaveUp
SYN291-1 0.00 0.00 0.20 +0.10 0.40 0.00 0.00 +0.20 0.40
SYN297-1 0.10 0.00 0.10 +0.10 0.40 0.20 0.00 +0.30 GaveUp
SYN440-1 0.70 Timeout 217.10 +1.40 Timeout Timeout 66.50 Timeout Timeout
SYN473-1 0.90 243.50 18.60 +0.40 88.80 Timeout 17.00 Timeout 109.20
SYN474-1 0.40 50.40 22.60 +0.40 92.10 Timeout 13.50 Timeout 23.50
SYN485-1 0.40 12.00 11.70 +0.30 14.50 Timeout 7.70 Timeout 22.40
SYN501-1 0.20 32.00 13.70 +0.20 4.80 Timeout 2.60 Timeout 9.10
SYN834-1 0.90 0.40 4.00 +0.70 19.40 1.20 Timeout Timeout GaveUp
SYN845-1 0.60 0.40 6.20 +0.70 20.40 1.10 214.60 Timeout GaveUp
SYN847-1 2.80 1.50 18.60 +3.00 136.10 4.90 Timeout Timeout GaveUp
SYN856-1 0.90 0.50 7.80 +0.80 21.90 1.40 Timeout Timeout GaveUp
SYN857-1 0.80 0.60 8.30 +0.90 22.50 1.10 Timeout Timeout GaveUp
SYN874-1 0.10 0.10 0.30 +0.20 3.50 0.20 5.40 Timeout GaveUp
SYN875-1 0.10 0.00 0.30 +0.20 2.70 0.10 22.20 Timeout GaveUp
SYN882-1 0.20 0.10 1.00 +0.70 12.60 0.30 Timeout Timeout GaveUp
SYN886-1 0.30 0.20 1.30 +1.80 58.90 0.60 Timeout Timeout GaveUp
SYN892-1 0.10 0.10 0.60 +0.30 5.00 0.20 3.10 Timeout GaveUp
SYN894-1 0.20 0.10 0.80 +0.40 19.60 0.40 Timeout Timeout GaveUp
SYN897-1 0.40 0.20 1.80 +2.10 78.70 0.80 Timeout Timeout GaveUp
SYN898-1 0.40 0.20 2.80 +2.20 78.90 0.80 Timeout Timeout GaveUp
Attempted 50 50 50 50 50 50 50 50 50
Solved 50 49 49 48 43 42 38 29 15
Av. Time 1.83 8.21 10.72 6.54 16.03 5.10 9.33 5.14 11.22
Solutions 0 0 0 48 0 0 0 29 0
New Attempted 1 1 1 1 1 1 1 1 1
New Solved 1 1 1 1 1 1 1 1 1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS

Results for EPS

EPS Darwin
1.3
DCTP
10.21p
DarwinFM
1.3
Paradox
2.0a
Geo
2006i
iProver
0.1
E
0.99
Vampire
8.1
Equinox
1.0a
GRP123-3.004 +0.00 0.20 +0.10 +0.10 +0.90 0.20 1.50 Timeout GaveUp
GRP123-8.004 +0.00 0.30 +0.20 +0.10 +2.50 0.10 86.80 Timeout GaveUp
GRP124-4.005 +0.10 0.10 +0.20 +0.10 +0.30 Timeout Timeout Timeout GaveUp
GRP126-1.005 +0.00 0.10 +0.10 +0.00 +0.20 0.60 Timeout Timeout GaveUp
GRP127-1.005 +0.00 0.10 +0.10 +0.00 +0.60 0.30 Timeout Timeout GaveUp
GRP128-1.004 +0.00 0.30 +0.10 +0.00 +0.30 0.10 12.00 Timeout GaveUp
GRP128-2.004 +0.00 0.10 +0.10 +0.00 +0.50 0.10 349.30 Timeout GaveUp
GRP133-1.004 +0.00 0.10 +0.10 +0.00 +0.10 0.20 Timeout Timeout GaveUp
GRP135-2.005 +0.20 0.40 +0.30 +0.10 +120.30 0.40 Timeout Timeout GaveUp
MGT066-1 +0.00 0.00 +0.00 +0.00 +0.00 0.00 Timeout Timeout GaveUp
NLP005-1 +0.00 0.10 +0.00 +0.10 +0.30 0.00 0.00 0.00 GaveUp
NLP006-1 +0.00 0.10 +0.10 +0.10 +1.20 0.00 0.00 0.00 GaveUp
NLP012-1 +0.00 0.10 +0.00 +0.10 +0.30 0.00 0.00 0.00 GaveUp
NLP013-1 +0.00 0.10 +0.00 +0.10 +0.30 0.00 0.00 0.00 GaveUp
NLP023-1 +0.00 0.10 +0.10 +0.10 +0.30 0.10 0.00 0.00 GaveUp
NLP115-1 +0.00 0.00 +0.00 +0.00 +0.20 0.00 0.00 0.00 GaveUp
NLP116-1 +0.00 0.00 +0.00 +0.00 +0.20 0.00 0.00 0.00 GaveUp
NLP118-1 +0.00 0.00 +0.10 +0.00 +0.20 0.00 0.00 0.00 GaveUp
NLP120-1 +0.00 0.00 +0.00 +0.00 +0.20 0.00 0.00 0.00 GaveUp
NLP129-1 +0.00 0.00 +0.00 +0.00 +0.10 0.00 0.00 0.00 GaveUp
PUZ001-3 +0.00 0.00 +0.00 +0.00 +0.00 0.00 0.00 0.00 GaveUp
PUZ018-2 +0.00 0.10 +0.10 +0.00 +3.40 0.00 Timeout Timeout GaveUp
PUZ028-1 +0.00 0.00 +0.10 +0.00 +0.20 0.00 0.00 0.00 GaveUp
PUZ028-2 +0.00 0.10 +0.10 +0.00 +0.20 0.00 0.10 0.50 GaveUp
PUZ028-3 +0.00 0.40 +0.60 +0.80 +5.60 0.10 0.10 2.10 GaveUp
PUZ028-4 +0.00 0.40 +0.20 +0.40 +0.30 0.10 0.00 2.00 GaveUp
SYN056-1 +0.00 0.00 +0.00 +0.00 +0.00 0.00 0.00 0.00 GaveUp
SYN059-1 +0.00 0.10 +0.00 +0.00 +0.10 0.00 0.00 0.00 GaveUp
SYN307-1 +0.00 0.00 +0.00 +0.00 +0.00 0.00 Timeout Timeout GaveUp
SYN317-1 +0.00 0.00 +0.00 +0.00 +0.00 0.00 0.00 0.00 GaveUp
SYN322-1 +0.00 0.00 +0.00 +0.00 +0.00 0.00 0.00 0.00 GaveUp
SYN419-1 +0.10 1.10 +0.10 +0.60 +59.10 Timeout 1.10 Timeout GaveUp
SYN423-1 +0.10 1.90 +11.20 +1.10 Timeout Timeout Timeout Timeout GaveUp
SYN433-1 +0.00 2.00 +0.00 +0.10 +0.40 109.50 0.00 0.40 GaveUp
SYN464-1 +0.30 55.20 +210.90 +0.30 Timeout 15.80 Timeout 4.40 Timeout
SYN494-1 +0.00 0.10 +0.00 +0.00 +0.00 0.00 0.00 0.00 GaveUp
SYN521-1 +0.00 0.10 +0.00 +0.10 +0.50 0.00 0.00 0.00 GaveUp
SYN534-1 +0.00 0.10 +0.00 +0.10 +0.10 0.00 0.00 0.00 GaveUp
SYN539-1 +0.00 0.20 +0.00 +0.20 +0.50 0.00 1.20 1.50 GaveUp
SYN541-1 +0.00 0.10 +0.00 +0.20 +0.50 0.00 Timeout 0.20 GaveUp
SYN720-1 +0.10 0.70 +0.10 +0.30 +0.30 0.40 2.00 0.30 GaveUp
SYN823-1 +0.50 1.60 +0.70 +15.00 Timeout 284.40 0.20 0.40 GaveUp
SYN830-1 +19.30 91.10 +37.80 Timeout Timeout Timeout 14.70 Unknown Timeout
SYN831-1 +18.50 75.90 +35.70 Timeout Timeout Timeout 14.40 Unknown Timeout
SYN832-1 +23.20 60.30 +37.10 Timeout Timeout Timeout 11.60 Unknown Timeout
SYN840-1 +21.00 97.90 +41.70 Timeout Timeout Timeout 18.00 Unknown Timeout
SYN852-1 +75.70 129.10 +98.80 Timeout Timeout Timeout 22.80 Unknown Timeout
SYN854-1 +219.80 123.50 +256.20 Timeout Timeout Timeout 24.90 Unknown Timeout
SYN872-1 +0.50 0.60 +1.20 +179.80 Timeout Timeout 0.30 0.50 GaveUp
SYN888-1 +0.80 1.80 +1.90 +281.70 Timeout Timeout 0.40 0.60 GaveUp
Attempted 50 50 50 50 50 50 50 50 50
Solved 50 50 50 44 39 39 39 30 0
Av. Time 7.60 12.93 14.72 10.95 5.13 10.57 14.39 0.43 -
Solutions 50 0 50 44 39 0 0 0 0
New Attempted 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

Results for: FOF CNF SAT EPR UEQ FNE FEQ HNE HEQ NNE NEQ PEQ SNE SEQ EPT EPS