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

Results for MIX

MIX Vampire
6.0
E-SETHEO
csp03
E
0.8
Vampire
5.0
EP
0.8
Gandalf
c-2.6
Gandalf
c-2.6-PRF
DCTP
10.2p
DCTP
1.3
THEO
J2003
Otter
3.2
CARINE
0.72
ANA002-1 +5.00 Timeout Timeout +22.00 Timeout 339.00 Unknown Timeout Timeout +221.00 Timeout Timeout
ANA002-2 +4.00 74.00 27.00 +7.00 +39.00 299.00 Unknown 244.00 Timeout +135.00 Timeout Timeout
ANA003-1 +380.00 4.00 1.00 Timeout +1.00 Timeout Unknown Timeout Timeout Timeout Timeout Timeout
ANA004-4 +20.00 0.00 0.00 +0.00 +0.00 489.00 Unknown Timeout Timeout +47.00 Timeout Timeout
BOO014-1 +117.00 10.00 7.00 +31.00 +9.00 Unknown Unknown Timeout Timeout Timeout +14.00 Timeout
CAT004-2 +1.00 0.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +12.00 Timeout Timeout
CAT005-3 +0.00 8.00 0.00 +0.00 +0.00 19.00 +19.00 0.00 0.00 +0.00 +0.00 Timeout
CAT014-3 +0.00 8.00 0.00 +0.00 +0.00 19.00 +19.00 0.00 0.00 +4.00 +254.00 +0.00
COL003-7 +86.00 20.00 16.00 +13.00 +29.00 19.00 +19.00 Timeout Timeout GaveUp Unknown Timeout
COL003-9 +86.00 20.00 16.00 +13.00 +29.00 0.00 +0.00 Timeout Timeout GaveUp Unknown Timeout
COL006-2 +232.00 7.00 5.00 +25.00 +9.00 0.00 +0.00 Timeout Timeout GaveUp Timeout Timeout
COL006-3 Timeout Timeout Timeout +8.00 Timeout 0.00 +0.00 Timeout Timeout GaveUp Timeout Timeout
COL044-5 +28.00 3.00 0.00 +8.00 +1.00 9.00 +9.00 Timeout Timeout GaveUp Timeout Timeout
COL078-2 +23.00 0.00 0.00 +1.00 +0.00 29.00 +29.00 0.00 0.00 GaveUp Timeout Timeout
COM003-1 +0.00 4.00 3.00 +1.00 +5.00 149.00 Unknown 0.00 9.00 Timeout Timeout Timeout
FLD028-1 Timeout Unknown 172.00 Timeout +189.00 Unknown Unknown Timeout Unknown GaveUp Timeout Timeout
FLD041-4 +11.00 96.00 Timeout +14.00 Timeout 0.00 +0.00 4.00 49.00 +18.00 +8.00 Timeout
FLD050-3 +124.00 Unknown Timeout +26.00 Timeout Unknown Unknown Timeout Unknown GaveUp Timeout Timeout
FLD062-3 +25.00 22.00 22.00 +109.00 +28.00 Unknown Unknown Timeout Unknown +10.00 Timeout Timeout
GEO011-1 +11.00 8.00 0.00 +1.00 +0.00 39.00 +39.00 338.00 69.00 +110.00 Timeout Timeout
GEO027-2 +26.00 8.00 1.00 +8.00 +2.00 9.00 +9.00 17.00 0.00 +0.00 +176.00 Timeout
GEO040-3 +2.00 8.00 0.00 +0.00 +0.00 109.00 +89.00 0.00 0.00 +6.00 +237.00 Timeout
GEO046-2 +39.00 Timeout Timeout +15.00 Timeout Unknown Unknown Timeout Timeout GaveUp Timeout Timeout
GEO060-2 +131.00 Timeout Timeout +92.00 Timeout 19.00 +19.00 Timeout Timeout Timeout Timeout Timeout
GEO083-1 +32.00 0.00 Timeout +4.00 Timeout 69.00 +29.00 Timeout Timeout +1.00 Timeout Timeout
GEO084-1 +32.00 0.00 Timeout +4.00 Timeout 19.00 +19.00 11.00 Timeout +1.00 Timeout +0.00
GEO089-1 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout Timeout GaveUp Timeout Timeout
GEO112-1 +124.00 0.00 4.00 +47.00 +7.00 0.00 +0.00 16.00 0.00 +0.00 +1.00 Timeout
GEO126-1 +0.00 13.00 4.00 +0.00 +7.00 29.00 +29.00 Timeout Timeout GaveUp Timeout Timeout
GRP026-1 +14.00 54.00 37.00 +93.00 +49.00 Timeout Unknown Timeout Unknown GaveUp Timeout Timeout
GRP039-1 +28.00 8.00 0.00 +0.00 +0.00 149.00 Unknown Timeout 129.00 GaveUp Timeout Timeout
GRP039-3 +54.00 8.00 0.00 +0.00 +0.00 29.00 +29.00 17.00 0.00 GaveUp Timeout Timeout
GRP039-5 +0.00 8.00 0.00 +0.00 +0.00 19.00 +19.00 16.00 0.00 GaveUp Timeout Timeout
GRP040-3 +13.00 8.00 0.00 +0.00 +0.00 0.00 +0.00 352.00 Timeout +38.00 Timeout Timeout
GRP049-1 +42.00 3.00 2.00 +9.00 +5.00 0.00 +0.00 Timeout Timeout GaveUp GaveUp Timeout
GRP054-1 +87.00 1.00 0.00 +14.00 +1.00 Unknown Unknown Timeout Timeout GaveUp GaveUp Timeout
GRP056-1 +28.00 1.00 1.00 +4.00 +2.00 0.00 +0.00 Timeout Timeout GaveUp GaveUp Timeout
GRP072-1 +30.00 0.00 0.00 +11.00 +0.00 59.00 Unknown Timeout Timeout GaveUp GaveUp Timeout
GRP073-1 +36.00 0.00 0.00 +10.00 +0.00 49.00 +49.00 Timeout Timeout GaveUp Timeout Timeout
GRP083-1 +22.00 1.00 1.00 +2.00 +2.00 9.00 +9.00 Timeout Timeout GaveUp GaveUp Timeout
GRP085-1 +0.00 0.00 0.00 +0.00 +0.00 Unknown Unknown 0.00 0.00 GaveUp +0.00 Timeout
GRP087-1 +0.00 0.00 0.00 +0.00 +0.00 Unknown Unknown 0.00 0.00 GaveUp +1.00 Timeout
GRP098-1 +0.00 0.00 0.00 +69.00 +0.00 Unknown Unknown 0.00 0.00 GaveUp +1.00 Timeout
GRP108-1 +0.00 0.00 0.00 +0.00 +0.00 Unknown Unknown 0.00 0.00 GaveUp +1.00 Timeout
GRP197-1 Timeout 504.00 Timeout Timeout Timeout 19.00 +19.00 Timeout Timeout GaveUp Timeout Timeout
GRP198-1 Timeout Timeout Timeout Timeout Timeout 19.00 +19.00 Timeout Timeout GaveUp Timeout Timeout
GRP364-1 +1.00 5.00 1.00 +3.00 +2.00 59.00 +59.00 Timeout Timeout GaveUp Timeout Timeout
HWC003-2 Timeout 3.00 0.00 Timeout +0.00 39.00 +39.00 0.00 0.00 Timeout Timeout Timeout
HWV004-1 Timeout Timeout 11.00 Timeout +19.00 219.00 Unknown Timeout Timeout Timeout GaveUp Timeout
HWV013-2 +0.00 0.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +206.00 Timeout Timeout
HWV014-2 +0.00 0.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +204.00 +417.00 Timeout
HWV016-1 +0.00 9.00 1.00 +0.00 +1.00 19.00 +19.00 Timeout Timeout +197.00 Timeout Timeout
HWV016-2 +56.00 9.00 0.00 +1.00 +0.00 119.00 Unknown Timeout Timeout Timeout Timeout Timeout
HWV018-2 +0.00 4.00 0.00 +0.00 +0.00 29.00 +29.00 16.00 0.00 +6.00 Timeout Timeout
HWV022-1 +19.00 1.00 0.00 +0.00 +0.00 0.00 +0.00 3.00 Timeout +105.00 +261.00 Timeout
HWV023-2 +0.00 8.00 0.00 +0.00 +0.00 49.00 +39.00 0.00 0.00 +298.00 Timeout Timeout
HWV033-1 +581.00 18.00 30.00 Timeout +39.00 99.00 Unknown Timeout Timeout +8.00 Timeout Timeout
LAT001-1 +105.00 6.00 191.00 Timeout 248.00 Timeout +190.00 Timeout GaveUp GaveUp Timeout Timeout
LAT005-3 +98.00 250.00 23.00 +223.00 +39.00 189.00 +189.00 Timeout Timeout GaveUp GaveUp Timeout
LAT015-1 +21.00 Timeout 40.00 +165.00 +49.00 Timeout Unknown Timeout Timeout GaveUp Unknown Timeout
LAT030-1 +10.00 21.00 19.00 +0.00 +19.00 39.00 +39.00 Timeout Timeout Timeout Unknown Timeout
LCL016-1 +8.00 10.00 0.00 +6.00 +1.00 259.00 Unknown Timeout 219.00 GaveUp +19.00 Timeout
LCL109-4 +460.00 33.00 24.00 +88.00 +39.00 79.00 +69.00 Timeout Timeout GaveUp Timeout Timeout
LCL127-1 +181.00 15.00 6.00 +101.00 +9.00 19.00 +19.00 Timeout Timeout GaveUp +35.00 Timeout
LCL219-3 +7.00 3.00 0.00 +0.00 +1.00 29.00 +29.00 33.00 29.00 GaveUp +42.00 Timeout
LCL222-1 +190.00 Timeout Timeout +105.00 Timeout Unknown Unknown 3.00 Timeout +53.00 GaveUp Timeout
LCL223-1 +169.00 Timeout Timeout +12.00 Timeout 29.00 Unknown 299.00 Timeout GaveUp GaveUp Timeout
LCL225-1 +31.00 Timeout Timeout +2.00 Timeout 129.00 Unknown 159.00 Timeout GaveUp GaveUp Timeout
LCL229-3 Timeout 13.00 9.00 Timeout +15.00 Timeout Unknown Timeout Timeout GaveUp GaveUp Timeout
LCL231-3 +62.00 0.00 1.00 +10.00 +3.00 Unknown Unknown Timeout Timeout GaveUp GaveUp Timeout
LCL255-3 Timeout 71.00 59.00 Timeout +69.00 Unknown Unknown Timeout Timeout GaveUp GaveUp Timeout
LCL256-1 +0.00 23.00 13.00 +0.00 +19.00 0.00 +0.00 40.00 0.00 GaveUp +1.00 Timeout
LCL300-3 +43.00 4.00 1.00 +83.00 +1.00 Unknown Unknown Timeout Timeout GaveUp GaveUp Timeout
LCL389-1 +263.00 24.00 14.00 +7.00 +19.00 0.00 +0.00 Timeout Timeout GaveUp Timeout Timeout
MGT020-1 +0.00 0.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +0.00 +0.00 Timeout
MGT029-1 +161.00 9.00 1.00 +27.00 +2.00 9.00 +9.00 0.00 0.00 GaveUp Timeout Timeout
MGT034-2 +53.00 8.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +5.00 +234.00 Timeout
MGT035-1 +164.00 10.00 2.00 +30.00 +3.00 19.00 +19.00 4.00 0.00 GaveUp Timeout Timeout
MGT039-2 +220.00 8.00 0.00 +41.00 +0.00 19.00 +19.00 0.00 0.00 +224.00 Timeout Timeout
MGT043-1 +0.00 6.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 +0.00 +531.00 +289.00
MGT065-1 +1.00 8.00 0.00 +0.00 +0.00 19.00 +19.00 0.00 0.00 +30.00 +240.00 +247.00
NUM007-1 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout Timeout +10.00 Timeout Timeout
NUM011-1 +23.00 2.00 4.00 +39.00 +5.00 Unknown Unknown Timeout Timeout Timeout Timeout Timeout
NUM159-1 +147.00 426.00 Timeout +41.00 Timeout Timeout Unknown Timeout Timeout Timeout Timeout Timeout
PLA009-2 +69.00 0.00 0.00 +0.00 +0.00 49.00 +49.00 0.00 0.00 +6.00 Timeout Timeout
PLA016-1 +69.00 0.00 0.00 +0.00 +0.00 49.00 +49.00 4.00 0.00 GaveUp Timeout Timeout
PLA021-1 +69.00 5.00 0.00 +0.00 +0.00 139.00 Unknown 0.00 9.00 +61.00 Timeout Timeout
PUZ039-1* +0.00 3.00 6.00 +68.00 +7.00 0.00 +0.00 33.00 0.00 Timeout +3.00 Timeout
PUZ040-1* +0.00 0.00 0.00 +67.00 +0.00 0.00 +0.00 30.00 0.00 Timeout +0.00 Timeout
PUZ042-1 +0.00 4.00 35.00 +77.00 +36.00 0.00 +0.00 34.00 0.00 Timeout +4.00 Timeout
RNG001-2 +130.00 356.00 Timeout +99.00 Timeout 59.00 +59.00 0.00 Timeout +24.00 Timeout Timeout
RNG001-5 +109.00 356.00 Timeout +29.00 Timeout 49.00 +49.00 6.00 Timeout +3.00 +235.00 Timeout
RNG004-3 +275.00 30.00 27.00 Timeout +39.00 Unknown Unknown Timeout Timeout +3.00 +27.00 Timeout
RNG025-1 Timeout 7.00 8.00 Timeout +19.00 0.00 +0.00 Timeout Timeout GaveUp Timeout Timeout
RNG029-1 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout Timeout GaveUp Timeout Timeout
RNG029-3 +98.00 15.00 14.00 Timeout +19.00 19.00 +19.00 Timeout Timeout GaveUp Timeout Timeout
RNG040-1 +6.00 0.00 0.00 +1.00 +0.00 0.00 +0.00 1.00 0.00 +0.00 +0.00 Timeout
RNG040-2 +16.00 7.00 0.00 +3.00 +0.00 0.00 +0.00 0.00 0.00 +0.00 +0.00 Timeout
ROB014-1 +569.00 25.00 21.00 Timeout +27.00 Unknown Unknown Timeout Timeout GaveUp Timeout Timeout
ROB015-2 Timeout Timeout Timeout Timeout Timeout Timeout Unknown Timeout Timeout GaveUp Timeout Timeout
ROB019-1 +379.00 238.00 236.00 Timeout +258.00 Timeout Unknown Timeout Timeout GaveUp GaveUp Timeout
SET012-2 +0.00 0.00 0.00 +7.00 +0.00 0.00 +0.00 12.00 0.00 +4.00 Timeout Timeout
SET013-3 +19.00 Timeout Timeout Timeout Timeout 369.00 Unknown Timeout Timeout Timeout Timeout Timeout
SET014-3 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout Timeout +7.00 Timeout Timeout
SET015-1 +1.00 13.00 3.00 +1.00 +5.00 349.00 Unknown Timeout Timeout +40.00 Timeout Timeout
SET016-3 +13.00 9.00 4.00 +82.00 +5.00 Timeout Unknown Timeout Timeout Timeout Timeout Timeout
SET018-1 +0.00 8.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 GaveUp +52.00 Timeout
SET019-3 +368.00 0.00 12.00 Timeout +14.00 29.00 +29.00 240.00 Timeout +4.00 +36.00 Timeout
SET022-3 +14.00 8.00 0.00 +56.00 +0.00 19.00 +19.00 Timeout Timeout +2.00 Timeout Timeout
SET023-3 +10.00 8.00 0.00 +55.00 +1.00 0.00 +0.00 Timeout Timeout +54.00 Timeout Timeout
SET027-3 +1.00 3.00 18.00 +17.00 +22.00 29.00 +29.00 3.00 0.00 +1.00 Timeout +4.00
SET027-4 +0.00 0.00 0.00 +6.00 +0.00 0.00 +0.00 1.00 0.00 +0.00 +377.00 +4.00
SET042-3 +0.00 1.00 Timeout +5.00 Timeout 0.00 +0.00 Timeout Timeout +46.00 Timeout Timeout
SET411-6 +0.00 0.00 26.00 +0.00 +39.00 19.00 +19.00 0.00 0.00 +10.00 Timeout +190.00
SET468-6 +43.00 44.00 36.00 +18.00 +49.00 79.00 Unknown Timeout Timeout Timeout +163.00 Timeout
SET473-6 +43.00 19.00 11.00 +22.00 +18.00 79.00 Unknown Timeout Timeout Timeout Timeout Timeout
SET505-6 +19.00 13.00 5.00 +12.00 +9.00 89.00 Unknown Timeout Unknown Timeout Timeout Timeout
SET508-6 Timeout 19.00 11.00 Timeout +19.00 Timeout Unknown Timeout Timeout Timeout Timeout Timeout
SWC098-1 +1.00 1.00 0.00 +0.00 +0.00 79.00 Unknown 246.00 Timeout GaveUp Timeout Timeout
SWC277-1 +4.00 0.00 0.00 +4.00 +0.00 89.00 Unknown 1.00 0.00 GaveUp Timeout Timeout
SWC345-1 Timeout 239.00 74.00 GaveUp +89.00 Timeout Unknown 16.00 Timeout Timeout Timeout Timeout
SWC407-1 +10.00 0.00 0.00 +1.00 +1.00 379.00 Unknown 0.00 269.00 GaveUp Timeout Timeout
SWV014-1 +69.00 9.00 0.00 +0.00 +0.00 69.00 Unknown Unknown Unknown +8.00 Timeout Timeout
SYN014-1 +0.00 8.00 0.00 +0.00 +0.00 490.00 Unknown 86.00 Timeout GaveUp Timeout Timeout
SYN015-1 +0.00 8.00 0.00 +0.00 +0.00 Unknown Unknown 240.00 Timeout GaveUp Timeout Timeout
SYN036-3 +0.00 0.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 Timeout +0.00 Timeout
SYN037-1 +0.00 0.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 0.00 Timeout +0.00 Timeout
SYN067-1 +14.00 109.00 537.00 +0.00 579.00 Timeout Unknown 14.00 79.00 Timeout Timeout Timeout
SYN067-2 +50.00 Timeout Timeout +2.00 Timeout Timeout Unknown 33.00 119.00 Timeout Timeout Timeout
SYN067-3 +15.00 102.00 425.00 +0.00 498.00 Timeout Unknown 4.00 0.00 GaveUp Timeout GaveUp
SYN076-1 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout Timeout GaveUp Timeout Timeout
SYN077-1 +0.00 8.00 0.00 +0.00 +0.00 0.00 +0.00 0.00 9.00 GaveUp Timeout Timeout
SYN311-1 +38.00 9.00 0.00 +0.00 +0.00 19.00 +19.00 0.00 9.00 0.00 GaveUp Timeout
SYN614-1 Timeout 156.00 83.00 Timeout +89.00 19.00 Unknown 0.00 Timeout GaveUp Timeout Timeout
SYN617-1 Timeout 364.00 Timeout +327.00 Timeout 39.00 +39.00 528.00 Timeout 12.00 GaveUp Timeout
SYN690-1 Timeout 1.00 1.00 Timeout +2.00 9.00 +9.00 0.00 0.00 GaveUp Timeout Timeout
SYN762-1 +176.00 2.00 1.00 +0.00 +3.00 199.00 +200.00 1.00 Timeout Timeout Timeout Timeout
SYN784-1 +21.00 0.00 0.00 +0.00 +1.00 299.00 +299.00 8.00 Timeout GaveUp Timeout GaveUp
SYN796-1 +4.00 0.00 0.00 +0.00 +0.00 309.00 +299.00 3.00 Timeout Timeout Timeout GaveUp
SYN802-1 +188.00 Timeout Timeout +4.00 Timeout Timeout Unknown Timeout Timeout GaveUp Timeout Timeout
Attempted 140 140 140 140 140 140 140 140 140 140 140 140
Solved 120 119 113 113 113 102 79 72 55 49 34 7
Av. Time 65.64 34.65 20.91 23.08 25.35 67.75 30.94 43.28 18.15 45.59 99.12 104.86
Solutions 120 0 0 113 110 0 79 0 0 47 34 7
New Attempted 2 2 2 2 2 2 2 2 2 2 2 2
New Solved 2 2 2 2 2 2 2 2 2 0 2 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for FOF

FOF Vampire
5.0
Vampire
6.0
E-SETHEO
csp03
DCTP
10.2p
Otter
3.2
MUSCADET
2.4
COM003+1 +0.00 +0.00 5.00 2.00 Timeout GaveUp
GEO084+1 +10.00 +15.00 0.00 13.00 Timeout GaveUp
GEO092+1 +22.00 Timeout Timeout Timeout Timeout GaveUp
GEO094+1 +12.00 +84.00 9.00 1.00 +147.00 GaveUp
GEO103+1 +11.00 Timeout Timeout Timeout Timeout GaveUp
GEO122+1 +0.00 Timeout Timeout Timeout Timeout GaveUp
GEO124+1 +0.00 +4.00 3.00 1.00 +65.00 GaveUp
GEO125+1 +0.00 +4.00 3.00 1.00 +56.00 GaveUp
HAL001+2* +43.00 Timeout Timeout Timeout Timeout GaveUp
HAL002+1* Timeout Timeout 39.00 37.00 Timeout GaveUp
HAL004+1* Timeout Timeout 476.00 Timeout Timeout GaveUp
HAL006+1* Timeout +177.00 580.00 Timeout +25.00 GaveUp
MGT025+1 +0.00 +0.00 8.00 0.00 Timeout GaveUp
MGT039+1 +0.00 +1.00 8.00 0.00 +0.00 GaveUp
MGT039+2 +60.00 +138.00 9.00 1.00 Timeout GaveUp
MGT062+1 +0.00 +2.00 2.00 115.00 Timeout GaveUp
MGT063+1 +11.00 +19.00 23.00 388.00 Timeout GaveUp
MGT065+1 +0.00 +0.00 9.00 9.00 +138.00 GaveUp
NLP079+1 +20.00 +26.00 Timeout 184.00 Timeout GaveUp
NLP080+1 +20.00 +25.00 Timeout 172.00 Timeout GaveUp
NLP081+1 +16.00 +21.00 GaveUp 154.00 Timeout GaveUp
NLP094+1 +0.00 +0.00 339.00 69.00 Timeout GaveUp
NLP122+1 +0.00 +0.00 9.00 9.00 Timeout GaveUp
SET011+3 +5.00 +86.00 0.00 Timeout Timeout 0.00
SET018+4 Timeout Timeout Timeout Timeout Timeout 0.00
SET020+1 +71.00 +152.00 Timeout 346.00 Timeout GaveUp
SET055+1 Timeout Timeout Unknown Unknown +0.00 Unknown
SET067+1 +0.00 +79.00 560.00 Timeout Timeout 3.00
SET076+1 +4.00 +74.00 Timeout Timeout Timeout Unknown
SET082+1 +0.00 +5.00 269.00 Timeout +98.00 3.00
SET102+1 +0.00 +71.00 12.00 17.00 +0.00 GaveUp
SET108+1 +0.00 +68.00 1.00 1.00 Timeout GaveUp
SET169+3 Timeout +400.00 Timeout Timeout Timeout 0.00
SET171+3 Timeout +530.00 Timeout Timeout Timeout 0.00
SET580+3 +0.00 +0.00 8.00 8.00 Timeout 0.00
SET594+3 +9.00 +3.00 0.00 1.00 Timeout 0.00
SET595+3 +8.00 +80.00 0.00 Timeout Timeout GaveUp
SET634+3 +33.00 +90.00 Timeout Timeout Timeout GaveUp
SET650+3 +4.00 +6.00 0.00 Timeout +2.00 GaveUp
SET651+3 +5.00 +0.00 1.00 328.00 Timeout GaveUp
SET652+3 +5.00 +1.00 1.00 88.00 Timeout GaveUp
SET656+3 +63.00 +1.00 1.00 1.00 +66.00 GaveUp
SET657+3 +9.00 +38.00 63.00 Timeout Timeout GaveUp
SET667+3 +1.00 +22.00 20.00 124.00 Timeout GaveUp
SET671+3 +87.00 +74.00 1.00 Timeout Timeout GaveUp
SET673+3 +86.00 +74.00 8.00 Timeout Timeout GaveUp
SET680+3 +0.00 +2.00 1.00 2.00 Timeout GaveUp
SET685+3 +0.00 +74.00 1.00 5.00 Timeout GaveUp
SET694+4 Timeout Timeout Timeout Timeout Timeout 0.00
SET723+4 Timeout Timeout Timeout Unknown Timeout 0.00
SET743+4 Timeout Timeout Timeout Timeout Timeout 0.00
SET750+4 Timeout Timeout Timeout Timeout Timeout 0.00
SET752+4 Timeout Timeout Timeout Timeout Timeout 0.00
SWC011+1 +0.00 +1.00 6.00 25.00 Timeout Unknown
SWC023+1 +0.00 +8.00 6.00 6.00 +108.00 Unknown
SWC106+1 +0.00 +4.00 6.00 6.00 Timeout Unknown
SWC120+1 +4.00 +74.00 182.00 Timeout Timeout GaveUp
SWC239+1 +60.00 +104.00 Timeout 132.00 Timeout Unknown
SWC259+1 +0.00 +1.00 6.00 7.00 Timeout Unknown
SYN353+1 +0.00 +0.00 0.00 426.00 Timeout GaveUp
SYN458+1 +0.00 +0.00 42.00 25.00 Timeout GaveUp
SYN475+1 +0.00 +1.00 82.00 32.00 Timeout GaveUp
SYN477+1 +0.00 +0.00 69.00 56.00 Timeout GaveUp
SYN484+1 +0.00 +1.00 7.00 7.00 Timeout GaveUp
SYN485+1 +0.00 +1.00 201.00 245.00 Timeout GaveUp
SYN548+1 +186.00 +523.00 49.00 30.00 +241.00 GaveUp
SYN550+1 +0.00 +0.00 49.00 33.00 Timeout GaveUp
SYN551+2 +0.00 +0.00 Timeout Timeout Timeout GaveUp
SYN551+3 +0.00 +0.00 0.00 1.00 +62.00 Unknown
SYN723+1 Unknown Unknown Timeout Timeout Unknown GaveUp
Attempted 70 70 70 70 70 70
Solved 57 56 48 42 14 13
Av. Time 15.18 56.50 66.12 74.00 72.00 0.46
Solutions 57 56 0 0 14 0
New Attempted 4 4 4 4 4 4
New Solved 1 1 3 1 1 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for SAT

SAT Gandalf
c-2.6-SAT
Paradox
1.0-casc
Gandalf
c-2.5-SAT
E-SETHEO
csp03-SAT
DCTP
10.2p-SAT
DCTP
1.3-SAT
ALG008-1 +0.00 +0.00 0.00 Timeout Unknown Unknown
BOO019-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
BOO056-1 +0.00 +7.00 0.00 Unknown Timeout Timeout
BOO060-1 408.00 +15.00 428.00 Timeout Timeout Timeout
BOO061-1 +189.00 +3.00 129.00 Unknown Timeout Timeout
CAT019-5 +0.00 +0.00 0.00 Timeout Timeout Timeout
COL047-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
GEO158-1 Unknown Timeout Timeout 0.00 Timeout Timeout
GEO161-1 Unknown Timeout Timeout 0.00 Timeout Timeout
GRP024-4 +9.00 +0.00 0.00 Timeout Timeout Timeout
GRP025-3 +19.00 +0.00 59.00 Timeout Timeout Timeout
GRP026-3 +0.00 +1.00 0.00 Timeout Timeout Timeout
GRP081-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
GRP207-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
GRP394-2 +0.00 +0.00 0.00 4.00 0.00 0.00
HWV037-1 Timeout Timeout Timeout 0.00 Timeout Timeout
LAT024-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
LAT025-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
LAT050-1 +0.00 +12.00 0.00 Timeout Timeout Timeout
LAT062-1 +0.00 +21.00 0.00 Timeout Timeout Timeout
LCL078-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
LCL142-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
LCL179-1 +179.00 +3.00 338.00 Timeout Timeout Timeout
LCL181-1 358.00 +22.00 528.00 Timeout Timeout Timeout
LCL183-1 349.00 +18.00 458.00 Timeout Timeout Timeout
LCL235-1 359.00 +6.00 359.00 Timeout Timeout Unknown
LCL240-1 367.00 +10.00 498.00 Timeout Timeout Timeout
LCL288-3 +0.00 +0.00 0.00 Timeout Timeout Timeout
LCL290-3 +0.00 +0.00 0.00 Timeout Timeout Timeout
LCL292-3 +0.00 +0.00 0.00 Timeout Timeout Timeout
NLP028-1 +0.00 +0.00 0.00 5.00 Timeout Timeout
NLP051-1 230.00 Timeout Timeout 0.00 16.00 0.00
NLP070-1 230.00 Timeout Timeout 1.00 16.00 0.00
NLP072-1 229.00 GaveUp Timeout 1.00 16.00 0.00
NLP082-1 229.00 Timeout Timeout 1.00 16.00 0.00
NLP162-1 340.00 +0.00 69.00 1.00 0.00 0.00
NLP167-1 340.00 +0.00 289.00 0.00 0.00 0.00
NLP187-1 228.00 +0.00 Timeout 28.00 Timeout Timeout
NLP215-1 388.00 +1.00 Timeout Timeout Timeout Timeout
NLP253-1 240.00 +0.00 Timeout 0.00 0.00 0.00
NUM287-1 +0.00 +0.00 0.00 4.00 0.00 0.00
PUZ015-1 Timeout +157.00 Timeout Timeout Timeout Unknown
PUZ048-1* Unknown +22.00 Unknown Timeout 1.00 GaveUp
PUZ049-1* 49.00 GaveUp Unknown Timeout 31.00 0.00
RNG007-5 +0.00 +0.00 0.00 Timeout Timeout Timeout
RNG031-6 +159.00 +56.00 69.00 Timeout Timeout Timeout
ROB012-1 +169.00 +0.00 29.00 Timeout Timeout Timeout
ROB012-2 +170.00 +0.00 29.00 Timeout Timeout Timeout
SET781-3 Timeout Timeout Timeout 0.00 Timeout Timeout
SET782-1 Timeout Timeout Timeout 0.00 Timeout Timeout
SWV012-1 +0.00 +0.00 0.00 4.00 0.00 0.00
SYN766-1 +19.00 +0.00 0.00 Timeout Timeout Timeout
SYN786-1 +200.00 +0.00 169.00 0.00 0.00 0.00
SYN790-1 +0.00 +0.00 0.00 0.00 358.00 Timeout
SYN806-1 +300.00 +0.00 139.00 67.00 Timeout Timeout
SYN903-1 349.00 +1.00 328.00 2.00 2.00 0.00
SYN907-1 349.00 +2.00 Timeout 11.00 7.00 0.00
SYN908-1 359.00 +4.00 Unknown 41.00 23.00 19.00
SYN909-1 349.00 +3.00 Unknown 17.00 12.00 9.00
SYN910-1 359.00 +5.00 Unknown 44.00 65.00 19.00
SYN911-1 369.00 +6.00 Unknown GaveUp Timeout Timeout
SYN913-1 359.00 +5.00 Unknown 38.00 Timeout Timeout
TOP001-1 +0.00 +0.00 0.00 0.00 Timeout 0.00
TOP003-1 +0.00 +0.00 0.00 0.00 Timeout Timeout
TOP003-2 +0.00 +0.00 0.00 0.00 0.00 0.00
TOP007-1 350.00 +11.00 289.00 Timeout Timeout Timeout
TOP008-1 +89.00 +0.00 99.00 Timeout Timeout Timeout
TOP014-1 +89.00 +0.00 99.00 85.00 26.00 Timeout
TOP016-1 +89.00 +0.00 99.00 85.00 26.00 Timeout
TOP019-1 +89.00 +0.00 99.00 Timeout Timeout Timeout
Attempted 70 70 70 70 70 70
Solved 63 60 49 31 22 19
Av. Time 142.16 6.52 93.94 14.16 27.95 2.47
Solutions 40 60 0 0 0 0
New Attempted 2 2 2 2 2 2
New Solved 1 1 0 0 2 1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for EPR

EPR DCTP
1.3-EPR
Gandalf
c-2.6-SAT
E-SETHEO
csp02
E-SETHEO
csp03
DCTP
10.2p
Paradox
1.0-casc
Vampire
6.0
E
0.8
GRP124-6.005 9.00 259.00 0.00 6.00 6.00 +0.00 Timeout Timeout
GRP124-7.005 0.00 259.00 1.00 1.00 1.00 +0.00 Timeout Timeout
GRP125-1.004 0.00 109.00 0.00 0.00 0.00 +0.00 136.00 0.00
GRP126-2.005 0.00 259.00 0.00 0.00 0.00 +0.00 156.00 Timeout
GRP127-2.005 0.00 139.00 0.00 1.00 1.00 +0.00 138.00 0.00
GRP127-2.006 0.00 79.00 0.00 19.00 62.00 0.00 Timeout 2.00
GRP128-1.004 0.00 139.00 2.00 0.00 0.00 +0.00 139.00 4.00
GRP128-2.006 9.00 39.00 15.00 23.00 66.00 0.00 Timeout 193.00
GRP130-2.005 0.00 139.00 8.00 17.00 60.00 +0.00 Timeout 26.00
GRP131-2.005 0.00 259.00 5.00 17.00 60.00 +0.00 Timeout Timeout
GRP132-2.005 9.00 260.00 0.00 59.00 102.00 +0.00 Timeout Timeout
GRP133-2.004 0.00 139.00 0.00 0.00 0.00 +0.00 148.00 32.00
GRP134-2.005 0.00 259.00 1.00 5.00 5.00 +0.00 Timeout Timeout
MGT066-1 0.00 189.00 0.00 0.00 0.00 +0.00 136.00 Timeout
PUZ018-2 0.00 209.00 0.00 0.00 0.00 +0.00 GaveUp Timeout
PUZ037-3 Timeout 29.00 317.00 596.00 Timeout GaveUp Timeout 7.00
SYN307-1 0.00 419.00 0.00 0.00 0.00 +0.00 Timeout Timeout
SYN418-1 0.00 378.00 0.00 3.00 3.00 +1.00 Timeout Timeout
SYN420-1 0.00 378.00 1.00 1.00 1.00 +1.00 Timeout 418.00
SYN423-1 0.00 378.00 1.00 3.00 3.00 +1.00 Timeout Timeout
SYN426-1 0.00 259.00 3.00 5.00 5.00 +2.00 Timeout Timeout
SYN434-1 0.00 259.00 15.00 17.00 60.00 +0.00 120.00 Timeout
SYN435-1 19.00 259.00 15.00 0.00 0.00 +0.00 130.00 Timeout
SYN436-1 139.00 259.00 15.00 114.00 158.00 Timeout +21.00 Timeout
SYN442-1 139.00 259.00 15.00 57.00 58.00 Timeout +3.00 76.00
SYN447-1 Timeout 259.00 16.00 174.00 215.00 Timeout +2.00 Timeout
SYN448-1 89.00 259.00 15.00 16.00 17.00 70.00 +5.00 34.00
SYN449-1 249.00 259.00 15.00 69.00 112.00 +2.00 22.00 Timeout
SYN450-1 39.00 259.00 15.00 88.00 22.00 31.00 +1.00 248.00
SYN451-1 49.00 259.00 15.00 70.00 19.00 52.00 +6.00 14.00
SYN452-1 49.00 259.00 15.00 48.00 23.00 66.00 +36.00 94.00
SYN454-1 49.00 259.00 15.00 5.00 5.00 131.00 +5.00 Timeout
SYN456-1 19.00 259.00 18.00 61.00 44.00 +0.00 32.00 Timeout
SYN457-1 Timeout 259.00 19.00 337.00 384.00 Timeout +11.00 Timeout
SYN465-1 129.00 259.00 15.00 108.00 153.00 15.00 +2.00 96.00
SYN466-1 69.00 259.00 16.00 110.00 154.00 Timeout +1.00 172.00
SYN467-1 169.00 259.00 16.00 136.00 22.00 95.00 +5.00 262.00
SYN469-1 49.00 259.00 15.00 11.00 11.00 114.00 +13.00 55.00
SYN473-1 149.00 269.00 16.00 93.00 23.00 Timeout +4.00 310.00
SYN476-1 299.00 259.00 16.00 125.00 168.00 510.00 +25.00 285.00
SYN478-1 49.00 259.00 15.00 13.00 13.00 4.00 +2.00 122.00
SYN483-1 99.00 259.00 15.00 10.00 10.00 22.00 +3.00 70.00
SYN485-1 219.00 259.00 15.00 70.00 31.00 149.00 +2.00 33.00
SYN486-1 49.00 259.00 15.00 77.00 36.00 7.00 +19.00 54.00
SYN488-1 219.00 259.00 16.00 275.00 315.00 414.00 +11.00 118.00
SYN489-1 99.00 259.00 16.00 138.00 30.00 Timeout +8.00 176.00
SYN498-1 89.00 259.00 15.00 14.00 14.00 210.00 +1.00 41.00
SYN499-1 29.00 259.00 15.00 139.00 22.00 109.00 +1.00 70.00
SYN500-1 169.00 260.00 16.00 141.00 37.00 112.00 +2.00 124.00
SYN503-1 39.00 259.00 15.00 76.00 18.00 116.00 +2.00 Timeout
SYN506-1 49.00 259.00 15.00 36.00 26.00 139.00 +2.00 23.00
SYN507-1 239.00 259.00 15.00 6.00 6.00 Timeout +19.00 157.00
SYN508-1 19.00 259.00 15.00 70.00 21.00 240.00 +4.00 189.00
SYN513-1 0.00 379.00 0.00 1.00 1.00 +0.00 Timeout Timeout
SYN544-1 0.00 318.00 1.00 1.00 1.00 +1.00 Timeout Timeout
SYN545-1 0.00 368.00 1.00 1.00 1.00 +1.00 Timeout 33.00
SYN812-1 Timeout 359.00 Timeout Timeout Timeout GaveUp 188.00 22.00
SYN814-1 129.00 259.00 571.00 595.00 Timeout +299.00 40.00 6.00
SYN817-1 539.00 169.00 Timeout Timeout Timeout GaveUp 36.00 13.00
SYN829-1 319.00 Timeout Timeout Timeout Timeout Timeout Timeout 26.00
SYN830-1 369.00 Timeout Timeout Timeout Timeout Timeout Timeout 29.00
SYN832-1 229.00 Timeout Timeout Timeout Timeout GaveUp Timeout 23.00
SYN841-1 409.00 Timeout Timeout Timeout Timeout Timeout GaveUp 32.00
SYN850-1 99.00 299.00 Timeout Timeout Timeout GaveUp +91.00 11.00
SYN851-1 109.00 Timeout Timeout Timeout Timeout GaveUp 53.00 11.00
SYN854-1 549.00 Timeout Timeout Timeout Timeout Timeout GaveUp 39.00
SYN861-1 119.00 Timeout Timeout Timeout Timeout GaveUp +123.00 11.00
SYN864-1 99.00 Timeout Timeout Timeout Timeout GaveUp 185.00 11.00
SYN865-1 119.00 109.00 Timeout Timeout Timeout GaveUp +125.00 12.00
SYN866-1 139.00 Timeout Timeout Timeout Timeout GaveUp +122.00 11.00
Attempted 70 70 70 70 70 70 70 70
Solved 66 61 57 57 55 48 47 47
Av. Time 95.83 248.13 24.95 71.19 47.36 60.71 49.70 80.74
Solutions 0 0 0 0 0 26 32 0
New Attempted 0 0 0 0 0 0 0 0
New Solved 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for UEQ

UEQ Waldmeister
702
Waldmeister
703
E
0.8
E-SETHEO
csp03
Vampire
6.0
Gandalf
c-2.6
CiME
2.01
Otter
3.2
BOO067-1* +9.00 +8.00 221.00 Timeout +0.00 79.00 Timeout GaveUp
BOO073-1* +1.00 +1.00 12.00 10.00 +87.00 Unknown Timeout GaveUp
BOO076-1* +65.00 +63.00 Timeout Timeout Timeout Unknown Timeout Timeout
COL002-5 +0.00 +0.00 Timeout Timeout Timeout 0.00 Timeout +0.00
COL003-1 +0.00 +0.00 2.00 2.00 Timeout Timeout Timeout Unknown
COL003-20 +0.00 +0.00 0.00 0.00 +15.00 Timeout 506.00 +3.00
COL004-1 +0.00 +0.00 0.00 0.00 Timeout 119.00 Timeout Timeout
COL006-6 +0.00 +0.00 Timeout Timeout Timeout 0.00 Timeout Timeout
COL011-1 +0.00 +0.00 Timeout 439.00 Timeout 299.00 Timeout +0.00
COL034-1 +0.00 +0.00 13.00 14.00 Timeout 79.00 Timeout +0.00
COL037-1 +0.00 +0.00 0.00 1.00 Timeout 119.00 Timeout +1.00
COL038-1 +0.00 +0.00 Timeout 503.00 Timeout 329.00 Timeout Timeout
COL042-1 +0.00 +0.00 Timeout Timeout Timeout Unknown Timeout GaveUp
COL060-1 +0.00 +0.00 0.00 0.00 +0.00 0.00 11.00 Timeout
COL062-1 +0.00 +0.00 0.00 0.00 +0.00 0.00 Timeout Timeout
COL063-1 +0.00 +0.00 0.00 1.00 +1.00 0.00 Timeout Timeout
GRP114-1 +0.00 +0.00 4.00 9.00 +2.00 0.00 439.00 GaveUp
GRP164-1 +44.00 +48.00 Timeout Timeout Timeout Unknown Timeout GaveUp
GRP167-4 +1.00 +1.00 4.00 12.00 +98.00 Unknown Timeout GaveUp
GRP178-1 +0.00 +0.00 4.00 22.00 Timeout 59.00 8.00 GaveUp
GRP178-2 +0.00 +0.00 3.00 18.00 Timeout 69.00 5.00 GaveUp
GRP179-1 +0.00 +0.00 5.00 12.00 +107.00 Unknown Timeout GaveUp
GRP179-2 +0.00 +0.00 3.00 10.00 +101.00 29.00 Timeout GaveUp
GRP181-1 +9.00 +8.00 11.00 17.00 +120.00 540.00 Timeout GaveUp
GRP181-2 +10.00 +9.00 17.00 18.00 +118.00 Timeout Timeout GaveUp
GRP183-1 +0.00 +0.00 4.00 13.00 +101.00 Unknown Timeout GaveUp
GRP183-2 +0.00 +0.00 4.00 14.00 +103.00 Unknown Timeout GaveUp
GRP185-2 +0.00 +0.00 Timeout Timeout +258.00 0.00 0.00 GaveUp
GRP186-2 +1.00 +0.00 4.00 12.00 +98.00 Unknown Timeout GaveUp
GRP187-1 +24.00 +21.00 13.00 34.00 +117.00 Unknown Timeout GaveUp
GRP404-1* +0.00 +0.00 9.00 Timeout +11.00 0.00 Timeout +270.00
GRP405-1* +0.00 +0.00 9.00 341.00 +12.00 0.00 Timeout +4.00
GRP411-1* +0.00 +0.00 265.00 Timeout +2.00 0.00 17.00 GaveUp
GRP420-1* +1.00 +1.00 1.00 3.00 +32.00 9.00 Timeout +187.00
GRP422-1* +0.00 +0.00 3.00 11.00 +25.00 9.00 Timeout +11.00
GRP423-1* +0.00 +0.00 2.00 4.00 +27.00 0.00 Timeout GaveUp
GRP444-1* +0.00 +0.00 0.00 0.00 +5.00 0.00 172.00 GaveUp
GRP453-1* +0.00 +0.00 0.00 0.00 +0.00 0.00 109.00 GaveUp
GRP475-1* +0.00 +0.00 0.00 0.00 +8.00 99.00 14.00 Timeout
GRP476-1* +0.00 +0.00 0.00 0.00 +6.00 59.00 9.00 Timeout
GRP477-1* +0.00 +0.00 0.00 0.00 +6.00 59.00 18.00 Timeout
GRP480-1* +0.00 +0.00 0.00 0.00 +1.00 89.00 Timeout GaveUp
GRP505-1* +5.00 +5.00 Timeout Timeout +223.00 Unknown Timeout Timeout
GRP506-1* +5.00 +5.00 Timeout Timeout +210.00 Unknown Timeout Timeout
GRP507-1* +6.00 +6.00 Timeout Timeout +216.00 Unknown Timeout Timeout
LAT070-1* +170.00 +168.00 Timeout Timeout Timeout Unknown Timeout GaveUp
LAT080-1* Timeout Timeout 59.00 66.00 +1.00 0.00 21.00 Unknown
LAT081-1* Timeout Timeout 60.00 67.00 +2.00 410.00 Timeout Unknown
LAT082-1* Timeout Timeout 69.00 79.00 +29.00 Unknown Timeout Unknown
LAT083-1* Timeout Timeout 59.00 66.00 +1.00 0.00 13.00 Unknown
LAT084-1* Timeout Timeout 62.00 69.00 +2.00 Unknown Timeout Unknown
LAT085-1* Timeout Timeout 67.00 74.00 +15.00 Timeout Timeout Unknown
LAT086-1* Timeout Timeout 60.00 67.00 +1.00 0.00 Timeout Unknown
LAT087-1* Timeout Timeout 60.00 68.00 +1.00 0.00 Timeout Unknown
LAT092-1* Unknown Unknown 36.00 40.00 +0.00 0.00 39.00 Unknown
LAT093-1* Unknown Unknown 36.00 41.00 +0.00 9.00 Timeout Unknown
LAT094-1* Unknown Unknown 36.00 40.00 +0.00 0.00 40.00 Unknown
LAT095-1* Unknown Unknown 36.00 40.00 +0.00 19.00 Timeout Unknown
LAT096-1* Unknown Unknown 36.00 41.00 +0.00 0.00 101.00 Unknown
LAT097-1* Unknown Unknown 36.00 40.00 +0.00 0.00 168.00 Unknown
RNG009-5 +1.00 +1.00 7.00 9.00 +358.00 99.00 Timeout Timeout
RNG009-7 +1.00 +1.00 5.00 1.00 +4.00 119.00 Timeout GaveUp
RNG019-7 +0.00 +0.00 0.00 0.00 Timeout 269.00 0.00 +0.00
RNG025-5 +0.00 +0.00 Timeout Timeout Timeout 269.00 281.00 +9.00
RNG026-6 +0.00 +0.00 0.00 0.00 Timeout 59.00 0.00 Timeout
RNG027-5 +3.00 +1.00 Timeout Timeout Timeout Timeout Timeout GaveUp
RNG028-9 +3.00 +1.00 Timeout Timeout Timeout Unknown Timeout GaveUp
RNG029-6 +2.00 +1.00 Timeout Timeout Timeout Unknown Timeout Timeout
RNG035-7 +6.00 +6.00 60.00 50.00 Timeout Unknown Timeout Timeout
ROB006-1 +19.00 +34.00 Timeout Timeout Timeout Unknown Timeout GaveUp
Attempted 70 70 70 70 70 70 70 70
Solved 56 56 53 52 48 45 21 11
Av. Time 6.89 6.95 26.36 45.73 52.58 73.29 93.86 44.09
Solutions 56 56 0 0 48 0 0 11
New Attempted 33 33 33 33 33 33 33 33
New Solved 19 19 28 25 31 24 12 4
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for HNE

HNE Vampire
5.0
Gandalf
c-2.6
Vampire
6.0
E-SETHEO
csp03
DCTP
10.2p
E
0.8
EP
0.8
Gandalf
c-2.6-PRF
THEO
J2003
DCTP
1.3
Otter
3.2
CARINE
0.72
LCL016-1 +6.00 259.00 +8.00 10.00 Timeout 0.00 +1.00 Unknown GaveUp 219.00 +19.00 Timeout
LCL127-1 +101.00 19.00 +181.00 15.00 Timeout 6.00 +9.00 +19.00 GaveUp Timeout +35.00 Timeout
LCL222-1 +105.00 Unknown +190.00 Timeout 3.00 Timeout Timeout Unknown +53.00 Timeout GaveUp Timeout
LCL223-1 +12.00 29.00 +169.00 Timeout 299.00 Timeout Timeout Unknown GaveUp Timeout GaveUp Timeout
LCL225-1 +2.00 129.00 +31.00 Timeout 159.00 Timeout Timeout Unknown GaveUp Timeout GaveUp Timeout
LCL256-1 +0.00 0.00 +0.00 23.00 40.00 13.00 +19.00 +0.00 GaveUp 0.00 +1.00 Timeout
LCL389-1 +7.00 0.00 +263.00 24.00 Timeout 14.00 +19.00 +0.00 GaveUp Timeout Timeout Timeout
PLA009-2 +0.00 49.00 +69.00 0.00 0.00 0.00 +0.00 +49.00 +6.00 0.00 Timeout Timeout
PLA016-1 +0.00 49.00 +69.00 0.00 4.00 0.00 +0.00 +49.00 GaveUp 0.00 Timeout Timeout
PLA021-1 +0.00 139.00 +69.00 5.00 0.00 0.00 +0.00 Unknown +61.00 9.00 Timeout Timeout
PUZ039-1* +68.00 0.00 +0.00 3.00 33.00 6.00 +7.00 +0.00 Timeout 0.00 +3.00 Timeout
PUZ040-1* +67.00 0.00 +0.00 0.00 30.00 0.00 +0.00 +0.00 Timeout 0.00 +0.00 Timeout
PUZ042-1 +77.00 0.00 +0.00 4.00 34.00 35.00 +36.00 +0.00 Timeout 0.00 +4.00 Timeout
RNG001-2 +99.00 59.00 +130.00 356.00 0.00 Timeout Timeout +59.00 +24.00 Timeout Timeout Timeout
RNG001-5 +29.00 49.00 +109.00 356.00 6.00 Timeout Timeout +49.00 +3.00 Timeout +235.00 Timeout
RNG004-3 Timeout Unknown +275.00 30.00 Timeout 27.00 +39.00 Unknown +3.00 Timeout +27.00 Timeout
SWV014-1 +0.00 69.00 +69.00 9.00 Unknown 0.00 +0.00 Unknown +8.00 Unknown Timeout Timeout
SYN311-1 +0.00 19.00 +38.00 9.00 0.00 0.00 +0.00 +19.00 0.00 9.00 GaveUp Timeout
SYN614-1 Timeout 19.00 Timeout 156.00 0.00 83.00 +89.00 Unknown GaveUp Timeout Timeout Timeout
SYN617-1 +327.00 39.00 Timeout 364.00 528.00 Timeout Timeout +39.00 12.00 Timeout GaveUp Timeout
Attempted 20 20 20 20 20 20 20 20 20 20 20 20
Solved 18 18 18 17 15 14 14 12 9 9 8 0
Av. Time 50.00 51.50 92.78 80.24 75.73 13.14 15.64 23.58 18.89 26.33 40.50 -
Solutions 18 0 18 0 0 0 14 12 7 0 8 0
New Attempted 2 2 2 2 2 2 2 2 2 2 2 2
New Solved 2 2 2 2 2 2 2 2 0 2 2 0
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for HEQ

HEQ E
0.8
EP
0.8
E-SETHEO
csp03
Vampire
6.0
Vampire
5.0
Gandalf
c-2.6-PRF
Gandalf
c-2.6
DCTP
1.3
DCTP
10.2p
Otter
3.2
CARINE
0.72
THEO
J2003
ANA003-1 1.00 +1.00 4.00 +380.00 Timeout Unknown Timeout Timeout Timeout Timeout Timeout Timeout
BOO014-1 7.00 +9.00 10.00 +117.00 +31.00 Unknown Unknown Timeout Timeout +14.00 Timeout Timeout
COL003-7 16.00 +29.00 20.00 +86.00 +13.00 +19.00 19.00 Timeout Timeout Unknown Timeout GaveUp
COL003-9 16.00 +29.00 20.00 +86.00 +13.00 +0.00 0.00 Timeout Timeout Unknown Timeout GaveUp
COL006-2 5.00 +9.00 7.00 +232.00 +25.00 +0.00 0.00 Timeout Timeout Timeout Timeout GaveUp
COL006-3 Timeout Timeout Timeout Timeout +8.00 +0.00 0.00 Timeout Timeout Timeout Timeout GaveUp
COL044-5 0.00 +1.00 3.00 +28.00 +8.00 +9.00 9.00 Timeout Timeout Timeout Timeout GaveUp
HWC003-2 0.00 +0.00 3.00 Timeout Timeout +39.00 39.00 0.00 0.00 Timeout Timeout Timeout
HWV004-1 11.00 +19.00 Timeout Timeout Timeout Unknown 219.00 Timeout Timeout GaveUp Timeout Timeout
LAT001-1 191.00 248.00 6.00 +105.00 Timeout +190.00 Timeout GaveUp Timeout Timeout Timeout GaveUp
LAT005-3 23.00 +39.00 250.00 +98.00 +223.00 +189.00 189.00 Timeout Timeout GaveUp Timeout GaveUp
LCL109-4 24.00 +39.00 33.00 +460.00 +88.00 +69.00 79.00 Timeout Timeout Timeout Timeout GaveUp
LCL219-3 0.00 +1.00 3.00 +7.00 +0.00 +29.00 29.00 29.00 33.00 +42.00 Timeout GaveUp
LCL229-3 9.00 +15.00 13.00 Timeout Timeout Unknown Timeout Timeout Timeout GaveUp Timeout GaveUp
LCL231-3 1.00 +3.00 0.00 +62.00 +10.00 Unknown Unknown Timeout Timeout GaveUp Timeout GaveUp
LCL255-3 59.00 +69.00 71.00 Timeout Timeout Unknown Unknown Timeout Timeout GaveUp Timeout GaveUp
LCL300-3 1.00 +1.00 4.00 +43.00 +83.00 Unknown Unknown Timeout Timeout GaveUp Timeout GaveUp
ROB014-1 21.00 +27.00 25.00 +569.00 Timeout Unknown Unknown Timeout Timeout Timeout Timeout GaveUp
ROB015-2 Timeout Timeout Timeout Timeout Timeout Unknown Timeout Timeout Timeout Timeout Timeout GaveUp
ROB019-1 236.00 +258.00 238.00 +379.00 Timeout Unknown Timeout Timeout Timeout GaveUp Timeout GaveUp
Attempted 20 20 20 20 20 20 20 20 20 20 20 20
Solved 18 18 17 14 11 10 10 2 2 2 0 0
Av. Time 34.50 44.28 41.76 189.43 45.64 54.40 58.30 14.50 16.50 28.00 - -
Solutions 0 17 0 14 11 10 0 0 0 2 0 0
New Attempted 0 0 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for NNE

NNE Vampire
5.0
Vampire
6.0
E-SETHEO
csp03
E
0.8
EP
0.8
DCTP
10.2p
Gandalf
c-2.6
DCTP
1.3
Gandalf
c-2.6-PRF
THEO
J2003
Otter
3.2
CARINE
0.72
ANA002-1 +22.00 +5.00 Timeout Timeout Timeout Timeout 339.00 Timeout Unknown +221.00 Timeout Timeout
ANA002-2 +7.00 +4.00 74.00 27.00 +39.00 244.00 299.00 Timeout Unknown +135.00 Timeout Timeout
ANA004-4 +0.00 +20.00 0.00 0.00 +0.00 Timeout 489.00 Timeout Unknown +47.00 Timeout Timeout
COM003-1 +1.00 +0.00 4.00 3.00 +5.00 0.00 149.00 9.00 Unknown Timeout Timeout Timeout
FLD028-1 Timeout Timeout Unknown 172.00 +189.00 Timeout Unknown Unknown Unknown GaveUp Timeout Timeout
FLD041-4 +14.00 +11.00 96.00 Timeout Timeout 4.00 0.00 49.00 +0.00 +18.00 +8.00 Timeout
FLD050-3 +26.00 +124.00 Unknown Timeout Timeout Timeout Unknown Unknown Unknown GaveUp Timeout Timeout
FLD062-3 +109.00 +25.00 22.00 22.00 +28.00 Timeout Unknown Unknown Unknown +10.00 Timeout Timeout
SET012-2 +7.00 +0.00 0.00 0.00 +0.00 12.00 0.00 0.00 +0.00 +4.00 Timeout Timeout
SET015-1 +1.00 +1.00 13.00 3.00 +5.00 Timeout 349.00 Timeout Unknown +40.00 Timeout Timeout
SYN036-3 +0.00 +0.00 0.00 0.00 +0.00 0.00 0.00 0.00 +0.00 Timeout +0.00 Timeout
SYN037-1 +0.00 +0.00 0.00 0.00 +0.00 0.00 0.00 0.00 +0.00 Timeout +0.00 Timeout
SYN067-1 +0.00 +14.00 109.00 537.00 579.00 14.00 Timeout 79.00 Unknown Timeout Timeout Timeout
SYN067-2 +2.00 +50.00 Timeout Timeout Timeout 33.00 Timeout 119.00 Unknown Timeout Timeout Timeout
SYN067-3 +0.00 +15.00 102.00 425.00 498.00 4.00 Timeout 0.00 Unknown GaveUp Timeout GaveUp
SYN690-1 Timeout Timeout 1.00 1.00 +2.00 0.00 9.00 0.00 +9.00 GaveUp Timeout Timeout
SYN762-1 +0.00 +176.00 2.00 1.00 +3.00 1.00 199.00 Timeout +200.00 Timeout Timeout Timeout
SYN784-1 +0.00 +21.00 0.00 0.00 +1.00 8.00 299.00 Timeout +299.00 GaveUp Timeout GaveUp
SYN796-1 +0.00 +4.00 0.00 0.00 +0.00 3.00 309.00 Timeout +299.00 Timeout Timeout GaveUp
SYN802-1 +4.00 +188.00 Timeout Timeout Timeout Timeout Timeout Timeout Unknown GaveUp Timeout Timeout
Attempted 20 20 20 20 20 20 20 20 20 20 20 20
Solved 18 18 15 15 15 13 13 9 8 7 3 0
Av. Time 10.72 36.56 28.20 79.40 89.93 24.85 187.77 28.44 100.88 67.86 2.67 -
Solutions 18 18 0 0 13 0 0 0 8 7 3 0
New Attempted 0 0 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for NEQ

NEQ Vampire
6.0
E-SETHEO
csp03
Vampire
5.0
E
0.8
EP
0.8
Gandalf
c-2.6
Gandalf
c-2.6-PRF
DCTP
10.2p
THEO
J2003
DCTP
1.3
Otter
3.2
CARINE
0.72
CAT005-3 +0.00 8.00 +0.00 0.00 +0.00 19.00 +19.00 0.00 +0.00 0.00 +0.00 Timeout
CAT014-3 +0.00 8.00 +0.00 0.00 +0.00 19.00 +19.00 0.00 +4.00 0.00 +254.00 +0.00
GEO011-1 +11.00 8.00 +1.00 0.00 +0.00 39.00 +39.00 338.00 +110.00 69.00 Timeout Timeout
GEO027-2 +26.00 8.00 +8.00 1.00 +2.00 9.00 +9.00 17.00 +0.00 0.00 +176.00 Timeout
GEO040-3 +2.00 8.00 +0.00 0.00 +0.00 109.00 +89.00 0.00 +6.00 0.00 +237.00 Timeout
GEO046-2 +39.00 Timeout +15.00 Timeout Timeout Unknown Unknown Timeout GaveUp Timeout Timeout Timeout
GEO060-2 +131.00 Timeout +92.00 Timeout Timeout 19.00 +19.00 Timeout Timeout Timeout Timeout Timeout
GEO083-1 +32.00 0.00 +4.00 Timeout Timeout 69.00 +29.00 Timeout +1.00 Timeout Timeout Timeout
GEO084-1 +32.00 0.00 +4.00 Timeout Timeout 19.00 +19.00 11.00 +1.00 Timeout Timeout +0.00
GEO089-1 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout GaveUp Timeout Timeout Timeout
GEO112-1 +124.00 0.00 +47.00 4.00 +7.00 0.00 +0.00 16.00 +0.00 0.00 +1.00 Timeout
GEO126-1 +0.00 13.00 +0.00 4.00 +7.00 29.00 +29.00 Timeout GaveUp Timeout Timeout Timeout
GRP026-1 +14.00 54.00 +93.00 37.00 +49.00 Timeout Unknown Timeout GaveUp Unknown Timeout Timeout
GRP039-1 +28.00 8.00 +0.00 0.00 +0.00 149.00 Unknown Timeout GaveUp 129.00 Timeout Timeout
GRP039-3 +54.00 8.00 +0.00 0.00 +0.00 29.00 +29.00 17.00 GaveUp 0.00 Timeout Timeout
GRP039-5 +0.00 8.00 +0.00 0.00 +0.00 19.00 +19.00 16.00 GaveUp 0.00 Timeout Timeout
GRP040-3 +13.00 8.00 +0.00 0.00 +0.00 0.00 +0.00 352.00 +38.00 Timeout Timeout Timeout
HWV013-2 +0.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 +206.00 0.00 Timeout Timeout
HWV014-2 +0.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 +204.00 0.00 +417.00 Timeout
HWV016-1 +0.00 9.00 +0.00 1.00 +1.00 19.00 +19.00 Timeout +197.00 Timeout Timeout Timeout
HWV016-2 +56.00 9.00 +1.00 0.00 +0.00 119.00 Unknown Timeout Timeout Timeout Timeout Timeout
HWV018-2 +0.00 4.00 +0.00 0.00 +0.00 29.00 +29.00 16.00 +6.00 0.00 Timeout Timeout
HWV022-1 +19.00 1.00 +0.00 0.00 +0.00 0.00 +0.00 3.00 +105.00 Timeout +261.00 Timeout
HWV023-2 +0.00 8.00 +0.00 0.00 +0.00 49.00 +39.00 0.00 +298.00 0.00 Timeout Timeout
HWV033-1 +581.00 18.00 Timeout 30.00 +39.00 99.00 Unknown Timeout +8.00 Timeout Timeout Timeout
MGT020-1 +0.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 Timeout
MGT029-1 +161.00 9.00 +27.00 1.00 +2.00 9.00 +9.00 0.00 GaveUp 0.00 Timeout Timeout
MGT034-2 +53.00 8.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 +5.00 0.00 +234.00 Timeout
MGT035-1 +164.00 10.00 +30.00 2.00 +3.00 19.00 +19.00 4.00 GaveUp 0.00 Timeout Timeout
MGT039-2 +220.00 8.00 +41.00 0.00 +0.00 19.00 +19.00 0.00 +224.00 0.00 Timeout Timeout
MGT043-1 +0.00 6.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 +531.00 +289.00
MGT065-1 +1.00 8.00 +0.00 0.00 +0.00 19.00 +19.00 0.00 +30.00 0.00 +240.00 +247.00
NUM007-1 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout +10.00 Timeout Timeout Timeout
NUM011-1 +23.00 2.00 +39.00 4.00 +5.00 Unknown Unknown Timeout Timeout Timeout Timeout Timeout
NUM159-1 +147.00 426.00 +41.00 Timeout Timeout Timeout Unknown Timeout Timeout Timeout Timeout Timeout
RNG040-1 +6.00 0.00 +1.00 0.00 +0.00 0.00 +0.00 1.00 +0.00 0.00 +0.00 Timeout
RNG040-2 +16.00 7.00 +3.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 +0.00 Timeout
SET013-3 +19.00 Timeout Timeout Timeout Timeout 369.00 Unknown Timeout Timeout Timeout Timeout Timeout
SET014-3 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout +7.00 Timeout Timeout Timeout
SET016-3 +13.00 9.00 +82.00 4.00 +5.00 Timeout Unknown Timeout Timeout Timeout Timeout Timeout
SET018-1 +0.00 8.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 GaveUp 0.00 +52.00 Timeout
SET019-3 +368.00 0.00 Timeout 12.00 +14.00 29.00 +29.00 240.00 +4.00 Timeout +36.00 Timeout
SET022-3 +14.00 8.00 +56.00 0.00 +0.00 19.00 +19.00 Timeout +2.00 Timeout Timeout Timeout
SET023-3 +10.00 8.00 +55.00 0.00 +1.00 0.00 +0.00 Timeout +54.00 Timeout Timeout Timeout
SET027-3 +1.00 3.00 +17.00 18.00 +22.00 29.00 +29.00 3.00 +1.00 0.00 Timeout +4.00
SET027-4 +0.00 0.00 +6.00 0.00 +0.00 0.00 +0.00 1.00 +0.00 0.00 +377.00 +4.00
SET042-3 +0.00 1.00 +5.00 Timeout Timeout 0.00 +0.00 Timeout +46.00 Timeout Timeout Timeout
SET411-6 +0.00 0.00 +0.00 26.00 +39.00 19.00 +19.00 0.00 +10.00 0.00 Timeout +190.00
SET468-6 +43.00 44.00 +18.00 36.00 +49.00 79.00 Unknown Timeout Timeout Timeout +163.00 Timeout
SET473-6 +43.00 19.00 +22.00 11.00 +18.00 79.00 Unknown Timeout Timeout Timeout Timeout Timeout
SET505-6 +19.00 13.00 +12.00 5.00 +9.00 89.00 Unknown Timeout Timeout Unknown Timeout Timeout
SET508-6 Timeout 19.00 Timeout 11.00 +19.00 Timeout Unknown Timeout Timeout Timeout Timeout Timeout
SWC098-1 +1.00 1.00 +0.00 0.00 +0.00 79.00 Unknown 246.00 GaveUp Timeout Timeout Timeout
SWC277-1 +4.00 0.00 +4.00 0.00 +0.00 89.00 Unknown 1.00 GaveUp 0.00 Timeout Timeout
SWC345-1 Timeout 239.00 GaveUp 74.00 +89.00 Timeout Unknown 16.00 Timeout Timeout Timeout Timeout
SWC407-1 +10.00 0.00 +1.00 0.00 +1.00 379.00 Unknown 0.00 GaveUp 269.00 Timeout Timeout
SYN014-1 +0.00 8.00 +0.00 0.00 +0.00 490.00 Unknown 86.00 GaveUp Timeout Timeout Timeout
SYN015-1 +0.00 8.00 +0.00 0.00 +0.00 Unknown Unknown 240.00 GaveUp Timeout Timeout Timeout
SYN076-1 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout GaveUp Timeout Timeout Timeout
SYN077-1 +0.00 8.00 +0.00 0.00 +0.00 0.00 +0.00 0.00 GaveUp 9.00 Timeout Timeout
Attempted 60 60 60 60 60 60 60 60 60 60 60 60
Solved 54 53 51 49 49 48 37 36 32 29 17 7
Av. Time 46.26 20.15 14.22 5.73 7.78 55.38 15.35 45.11 49.28 16.41 175.24 104.86
Solutions 54 0 51 0 49 0 37 0 32 0 17 7
New Attempted 0 0 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for PEQ

PEQ E
0.8
EP
0.8
E-SETHEO
csp03
Vampire
6.0
Vampire
5.0
Gandalf
c-2.6
Gandalf
c-2.6-PRF
DCTP
10.2p
DCTP
1.3
Otter
3.2
THEO
J2003
CARINE
0.72
CAT004-2 0.00 +0.00 0.00 +1.00 +0.00 0.00 +0.00 0.00 0.00 Timeout +12.00 Timeout
COL078-2 0.00 +0.00 0.00 +23.00 +1.00 29.00 +29.00 0.00 0.00 Timeout GaveUp Timeout
GRP049-1 2.00 +5.00 3.00 +42.00 +9.00 0.00 +0.00 Timeout Timeout GaveUp GaveUp Timeout
GRP054-1 0.00 +1.00 1.00 +87.00 +14.00 Unknown Unknown Timeout Timeout GaveUp GaveUp Timeout
GRP056-1 1.00 +2.00 1.00 +28.00 +4.00 0.00 +0.00 Timeout Timeout GaveUp GaveUp Timeout
GRP072-1 0.00 +0.00 0.00 +30.00 +11.00 59.00 Unknown Timeout Timeout GaveUp GaveUp Timeout
GRP073-1 0.00 +0.00 0.00 +36.00 +10.00 49.00 +49.00 Timeout Timeout Timeout GaveUp Timeout
GRP083-1 1.00 +2.00 1.00 +22.00 +2.00 9.00 +9.00 Timeout Timeout GaveUp GaveUp Timeout
GRP085-1 0.00 +0.00 0.00 +0.00 +0.00 Unknown Unknown 0.00 0.00 +0.00 GaveUp Timeout
GRP087-1 0.00 +0.00 0.00 +0.00 +0.00 Unknown Unknown 0.00 0.00 +1.00 GaveUp Timeout
GRP098-1 0.00 +0.00 0.00 +0.00 +69.00 Unknown Unknown 0.00 0.00 +1.00 GaveUp Timeout
GRP108-1 0.00 +0.00 0.00 +0.00 +0.00 Unknown Unknown 0.00 0.00 +1.00 GaveUp Timeout
GRP197-1 Timeout Timeout 504.00 Timeout Timeout 19.00 +19.00 Timeout Timeout Timeout GaveUp Timeout
GRP198-1 Timeout Timeout Timeout Timeout Timeout 19.00 +19.00 Timeout Timeout Timeout GaveUp Timeout
GRP364-1 1.00 +2.00 5.00 +1.00 +3.00 59.00 +59.00 Timeout Timeout Timeout GaveUp Timeout
LAT015-1 40.00 +49.00 Timeout +21.00 +165.00 Timeout Unknown Timeout Timeout Unknown GaveUp Timeout
LAT030-1 19.00 +19.00 21.00 +10.00 +0.00 39.00 +39.00 Timeout Timeout Unknown Timeout Timeout
RNG025-1 8.00 +19.00 7.00 Timeout Timeout 0.00 +0.00 Timeout Timeout Timeout GaveUp Timeout
RNG029-1 Timeout Timeout Timeout Timeout Timeout Unknown Unknown Timeout Timeout Timeout GaveUp Timeout
RNG029-3 14.00 +19.00 15.00 +98.00 Timeout 19.00 +19.00 Timeout Timeout Timeout GaveUp Timeout
Attempted 20 20 20 20 20 20 20 20 20 20 20 20
Solved 17 17 17 16 15 13 12 6 6 4 1 0
Av. Time 5.06 6.94 32.82 24.94 19.20 23.15 20.17 0.00 0.00 0.75 12.00 -
Solutions 0 17 0 16 15 0 12 0 0 4 1 0
New Attempted 0 0 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for FNE

FNE Vampire
5.0
Vampire
6.0
DCTP
10.2p
E-SETHEO
csp03
Otter
3.2
MUSCADET
2.4
COM003+1 +0.00 +0.00 2.00 5.00 Timeout GaveUp
NLP079+1 +20.00 +26.00 184.00 Timeout Timeout GaveUp
NLP080+1 +20.00 +25.00 172.00 Timeout Timeout GaveUp
NLP081+1 +16.00 +21.00 154.00 GaveUp Timeout GaveUp
NLP094+1 +0.00 +0.00 69.00 339.00 Timeout GaveUp
NLP122+1 +0.00 +0.00 9.00 9.00 Timeout GaveUp
SYN353+1 +0.00 +0.00 426.00 0.00 Timeout GaveUp
SYN458+1 +0.00 +0.00 25.00 42.00 Timeout GaveUp
SYN475+1 +0.00 +1.00 32.00 82.00 Timeout GaveUp
SYN477+1 +0.00 +0.00 56.00 69.00 Timeout GaveUp
SYN484+1 +0.00 +1.00 7.00 7.00 Timeout GaveUp
SYN485+1 +0.00 +1.00 245.00 201.00 Timeout GaveUp
SYN548+1 +186.00 +523.00 30.00 49.00 +241.00 GaveUp
SYN550+1 +0.00 +0.00 33.00 49.00 Timeout GaveUp
SYN723+1 Unknown Unknown Timeout Timeout Unknown GaveUp
Attempted 15 15 15 15 15 15
Solved 14 14 14 11 1 0
Av. Time 17.29 42.71 103.14 77.45 241.00 -
Solutions 14 14 0 0 1 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for FEQ

FEQ Vampire
5.0
Vampire
6.0
E-SETHEO
csp03
DCTP
10.2p
MUSCADET
2.4
Otter
3.2
GEO084+1 +10.00 +15.00 0.00 13.00 GaveUp Timeout
GEO092+1 +22.00 Timeout Timeout Timeout GaveUp Timeout
GEO094+1 +12.00 +84.00 9.00 1.00 GaveUp +147.00
GEO103+1 +11.00 Timeout Timeout Timeout GaveUp Timeout
GEO122+1 +0.00 Timeout Timeout Timeout GaveUp Timeout
GEO124+1 +0.00 +4.00 3.00 1.00 GaveUp +65.00
GEO125+1 +0.00 +4.00 3.00 1.00 GaveUp +56.00
HAL001+2* +43.00 Timeout Timeout Timeout GaveUp Timeout
HAL002+1* Timeout Timeout 39.00 37.00 GaveUp Timeout
HAL004+1* Timeout Timeout 476.00 Timeout GaveUp Timeout
HAL006+1* Timeout +177.00 580.00 Timeout GaveUp +25.00
MGT025+1 +0.00 +0.00 8.00 0.00 GaveUp Timeout
MGT039+1 +0.00 +1.00 8.00 0.00 GaveUp +0.00
MGT039+2 +60.00 +138.00 9.00 1.00 GaveUp Timeout
MGT062+1 +0.00 +2.00 2.00 115.00 GaveUp Timeout
MGT063+1 +11.00 +19.00 23.00 388.00 GaveUp Timeout
MGT065+1 +0.00 +0.00 9.00 9.00 GaveUp +138.00
SET011+3 +5.00 +86.00 0.00 Timeout 0.00 Timeout
SET018+4 Timeout Timeout Timeout Timeout 0.00 Timeout
SET020+1 +71.00 +152.00 Timeout 346.00 GaveUp Timeout
SET055+1 Timeout Timeout Unknown Unknown Unknown +0.00
SET067+1 +0.00 +79.00 560.00 Timeout 3.00 Timeout
SET076+1 +4.00 +74.00 Timeout Timeout Unknown Timeout
SET082+1 +0.00 +5.00 269.00 Timeout 3.00 +98.00
SET102+1 +0.00 +71.00 12.00 17.00 GaveUp +0.00
SET108+1 +0.00 +68.00 1.00 1.00 GaveUp Timeout
SET169+3 Timeout +400.00 Timeout Timeout 0.00 Timeout
SET171+3 Timeout +530.00 Timeout Timeout 0.00 Timeout
SET580+3 +0.00 +0.00 8.00 8.00 0.00 Timeout
SET594+3 +9.00 +3.00 0.00 1.00 0.00 Timeout
SET595+3 +8.00 +80.00 0.00 Timeout GaveUp Timeout
SET634+3 +33.00 +90.00 Timeout Timeout GaveUp Timeout
SET650+3 +4.00 +6.00 0.00 Timeout GaveUp +2.00
SET651+3 +5.00 +0.00 1.00 328.00 GaveUp Timeout
SET652+3 +5.00 +1.00 1.00 88.00 GaveUp Timeout
SET656+3 +63.00 +1.00 1.00 1.00 GaveUp +66.00
SET657+3 +9.00 +38.00 63.00 Timeout GaveUp Timeout
SET667+3 +1.00 +22.00 20.00 124.00 GaveUp Timeout
SET671+3 +87.00 +74.00 1.00 Timeout GaveUp Timeout
SET673+3 +86.00 +74.00 8.00 Timeout GaveUp Timeout
SET680+3 +0.00 +2.00 1.00 2.00 GaveUp Timeout
SET685+3 +0.00 +74.00 1.00 5.00 GaveUp Timeout
SET694+4 Timeout Timeout Timeout Timeout 0.00 Timeout
SET723+4 Timeout Timeout Timeout Unknown 0.00 Timeout
SET743+4 Timeout Timeout Timeout Timeout 0.00 Timeout
SET750+4 Timeout Timeout Timeout Timeout 0.00 Timeout
SET752+4 Timeout Timeout Timeout Timeout 0.00 Timeout
SWC011+1 +0.00 +1.00 6.00 25.00 Unknown Timeout
SWC023+1 +0.00 +8.00 6.00 6.00 Unknown +108.00
SWC106+1 +0.00 +4.00 6.00 6.00 Unknown Timeout
SWC120+1 +4.00 +74.00 182.00 Timeout GaveUp Timeout
SWC239+1 +60.00 +104.00 Timeout 132.00 Unknown Timeout
SWC259+1 +0.00 +1.00 6.00 7.00 Unknown Timeout
SYN551+2 +0.00 +0.00 Timeout Timeout GaveUp Timeout
SYN551+3 +0.00 +0.00 0.00 1.00 Unknown +62.00
Attempted 55 55 55 55 55 55
Solved 43 42 37 28 13 13
Av. Time 14.49 61.10 62.76 59.43 0.46 59.00
Solutions 43 42 0 0 0 13
New Attempted 4 4 4 4 4 4
New Solved 1 1 3 1 0 1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for SNE

SNE Paradox
1.0-casc
Gandalf
c-2.6-SAT
Gandalf
c-2.5-SAT
E-SETHEO
csp03-SAT
DCTP
10.2p-SAT
DCTP
1.3-SAT
GRP025-3 +0.00 +19.00 59.00 Timeout Timeout Timeout
GRP026-3 +1.00 +0.00 0.00 Timeout Timeout Timeout
GRP394-2 +0.00 +0.00 0.00 4.00 0.00 0.00
LCL078-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
LCL179-1 +3.00 +179.00 338.00 Timeout Timeout Timeout
LCL181-1 +22.00 358.00 528.00 Timeout Timeout Timeout
LCL183-1 +18.00 349.00 458.00 Timeout Timeout Timeout
LCL235-1 +6.00 359.00 359.00 Timeout Timeout Unknown
LCL240-1 +10.00 367.00 498.00 Timeout Timeout Timeout
NLP028-1 +0.00 +0.00 0.00 5.00 Timeout Timeout
NLP162-1 +0.00 340.00 69.00 1.00 0.00 0.00
NLP167-1 +0.00 340.00 289.00 0.00 0.00 0.00
NUM287-1 +0.00 +0.00 0.00 4.00 0.00 0.00
PUZ048-1* +22.00 Unknown Unknown Timeout 1.00 GaveUp
PUZ049-1* GaveUp 49.00 Unknown Timeout 31.00 0.00
SWV012-1 +0.00 +0.00 0.00 4.00 0.00 0.00
SYN766-1 +0.00 +19.00 0.00 Timeout Timeout Timeout
SYN786-1 +0.00 +200.00 169.00 0.00 0.00 0.00
SYN790-1 +0.00 +0.00 0.00 0.00 358.00 Timeout
SYN806-1 +0.00 +300.00 139.00 67.00 Timeout Timeout
SYN903-1 +1.00 349.00 328.00 2.00 2.00 0.00
SYN907-1 +2.00 349.00 Timeout 11.00 7.00 0.00
SYN908-1 +4.00 359.00 Unknown 41.00 23.00 19.00
SYN909-1 +3.00 349.00 Unknown 17.00 12.00 9.00
SYN910-1 +5.00 359.00 Unknown 44.00 65.00 19.00
SYN911-1 +6.00 369.00 Unknown GaveUp Timeout Timeout
SYN913-1 +5.00 359.00 Unknown 38.00 Timeout Timeout
TOP001-1 +0.00 +0.00 0.00 0.00 Timeout 0.00
TOP003-1 +0.00 +0.00 0.00 0.00 Timeout Timeout
TOP003-2 +0.00 +0.00 0.00 0.00 0.00 0.00
TOP007-1 +11.00 350.00 289.00 Timeout Timeout Timeout
TOP008-1 +0.00 +89.00 99.00 Timeout Timeout Timeout
TOP014-1 +0.00 +89.00 99.00 85.00 26.00 Timeout
TOP016-1 +0.00 +89.00 99.00 85.00 26.00 Timeout
TOP019-1 +0.00 +89.00 99.00 Timeout Timeout Timeout
Attempted 35 35 35 35 35 35
Solved 34 34 27 20 17 14
Av. Time 3.50 178.76 145.15 20.40 32.41 3.36
Solutions 34 19 0 0 0 0
New Attempted 2 2 2 2 2 2
New Solved 1 1 0 0 2 1
* indicates a problem not previously seen by the systems. + indicates a solution was output by the system.

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

Results for SEQ

SEQ Gandalf
c-2.6-SAT
Paradox
1.0-casc
Gandalf
c-2.5-SAT
E-SETHEO
csp03-SAT
DCTP
1.3-SAT
DCTP
10.2p-SAT
ALG008-1 +0.00 +0.00 0.00 Timeout Unknown Unknown
BOO019-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
BOO056-1 +0.00 +7.00 0.00 Unknown Timeout Timeout
BOO060-1 408.00 +15.00 428.00 Timeout Timeout Timeout
BOO061-1 +189.00 +3.00 129.00 Unknown Timeout Timeout
CAT019-5 +0.00 +0.00 0.00 Timeout Timeout Timeout
COL047-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
GEO158-1 Unknown Timeout Timeout 0.00 Timeout Timeout
GEO161-1 Unknown Timeout Timeout 0.00 Timeout Timeout
GRP024-4 +9.00 +0.00 0.00 Timeout Timeout Timeout
GRP081-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
GRP207-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
HWV037-1 Timeout Timeout Timeout 0.00 Timeout Timeout
LAT024-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
LAT025-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
LAT050-1 +0.00 +12.00 0.00 Timeout Timeout Timeout
LAT062-1 +0.00 +21.00 0.00 Timeout Timeout Timeout
LCL142-1 +0.00 +0.00 0.00 Timeout Timeout Timeout
LCL288-3 +0.00 +0.00 0.00 Timeout Timeout Timeout
LCL290-3 +0.00 +0.00 0.00 Timeout Timeout Timeout
LCL292-3 +0.00 +0.00 0.00 Timeout Timeout Timeout
NLP051-1 230.00 Timeout Timeout 0.00 0.00 16.00
NLP070-1 230.00 Timeout Timeout 1.00 0.00 16.00
NLP072-1 229.00 GaveUp Timeout 1.00 0.00 16.00
NLP082-1 229.00 Timeout Timeout 1.00 0.00 16.00
NLP187-1 228.00 +0.00 Timeout 28.00 Timeout Timeout
NLP215-1 388.00 +1.00 Timeout Timeout Timeout Timeout
NLP253-1 240.00 +0.00 Timeout 0.00 0.00 0.00
PUZ015-1 Timeout +157.00 Timeout Timeout Unknown Timeout
RNG007-5 +0.00 +0.00 0.00 Timeout Timeout Timeout
RNG031-6 +159.00 +56.00 69.00 Timeout Timeout Timeout
ROB012-1 +169.00 +0.00 29.00 Timeout Timeout Timeout
ROB012-2 +170.00 +0.00 29.00 Timeout Timeout Timeout
SET781-3 Timeout Timeout Timeout 0.00 Timeout Timeout
SET782-1 Timeout Timeout Timeout 0.00 Timeout Timeout
Attempted 35 35 35 35 35 35
Solved 29 26 22 11 5 5
Av. Time 99.24 10.46 31.09 2.82 0.00 12.80
Solutions 21 26 0 0 0 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for EPT

EPT Gandalf
c-2.6-SAT
Vampire
6.0
DCTP
1.3-EPR
E-SETHEO
csp02
E-SETHEO
csp03
DCTP
10.2p
E
0.8
Paradox
1.0-casc
GRP127-2.006 79.00 Timeout 0.00 0.00 19.00 62.00 2.00 0.00
GRP128-2.006 39.00 Timeout 9.00 15.00 23.00 66.00 193.00 0.00
PUZ037-3 29.00 Timeout Timeout 317.00 596.00 Timeout 7.00 GaveUp
SYN436-1 259.00 +21.00 139.00 15.00 114.00 158.00 Timeout Timeout
SYN442-1 259.00 +3.00 139.00 15.00 57.00 58.00 76.00 Timeout
SYN447-1 259.00 +2.00 Timeout 16.00 174.00 215.00 Timeout Timeout
SYN448-1 259.00 +5.00 89.00 15.00 16.00 17.00 34.00 70.00
SYN450-1 259.00 +1.00 39.00 15.00 88.00 22.00 248.00 31.00
SYN451-1 259.00 +6.00 49.00 15.00 70.00 19.00 14.00 52.00
SYN452-1 259.00 +36.00 49.00 15.00 48.00 23.00 94.00 66.00
SYN454-1 259.00 +5.00 49.00 15.00 5.00 5.00 Timeout 131.00
SYN457-1 259.00 +11.00 Timeout 19.00 337.00 384.00 Timeout Timeout
SYN465-1 259.00 +2.00 129.00 15.00 108.00 153.00 96.00 15.00
SYN466-1 259.00 +1.00 69.00 16.00 110.00 154.00 172.00 Timeout
SYN467-1 259.00 +5.00 169.00 16.00 136.00 22.00 262.00 95.00
SYN469-1 259.00 +13.00 49.00 15.00 11.00 11.00 55.00 114.00
SYN473-1 269.00 +4.00 149.00 16.00 93.00 23.00 310.00 Timeout
SYN476-1 259.00 +25.00 299.00 16.00 125.00 168.00 285.00 510.00
SYN478-1 259.00 +2.00 49.00 15.00 13.00 13.00 122.00 4.00
SYN483-1 259.00 +3.00 99.00 15.00 10.00 10.00 70.00 22.00
SYN485-1 259.00 +2.00 219.00 15.00 70.00 31.00 33.00 149.00
SYN486-1 259.00 +19.00 49.00 15.00 77.00 36.00 54.00 7.00
SYN488-1 259.00 +11.00 219.00 16.00 275.00 315.00 118.00 414.00
SYN489-1 259.00 +8.00 99.00 16.00 138.00 30.00 176.00 Timeout
SYN498-1 259.00 +1.00 89.00 15.00 14.00 14.00 41.00 210.00
SYN499-1 259.00 +1.00 29.00 15.00 139.00 22.00 70.00 109.00
SYN500-1 260.00 +2.00 169.00 16.00 141.00 37.00 124.00 112.00
SYN503-1 259.00 +2.00 39.00 15.00 76.00 18.00 Timeout 116.00
SYN506-1 259.00 +2.00 49.00 15.00 36.00 26.00 23.00 139.00
SYN507-1 259.00 +19.00 239.00 15.00 6.00 6.00 157.00 Timeout
SYN508-1 259.00 +4.00 19.00 15.00 70.00 21.00 189.00 240.00
SYN850-1 299.00 +91.00 99.00 Timeout Timeout Timeout 11.00 GaveUp
SYN861-1 Timeout +123.00 119.00 Timeout Timeout Timeout 11.00 GaveUp
SYN865-1 109.00 +125.00 119.00 Timeout Timeout Timeout 12.00 GaveUp
SYN866-1 Timeout +122.00 139.00 Timeout Timeout Timeout 11.00 GaveUp
Attempted 35 35 35 35 35 35 35 35
Solved 33 32 32 31 31 30 30 22
Av. Time 236.91 21.16 102.16 24.65 103.06 71.30 102.33 118.45
Solutions 0 32 0 0 0 0 0 0
New Attempted 0 0 0 0 0 0 0 0
New Solved 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for EPS

EPS DCTP
1.3-EPR
Gandalf
c-2.6-SAT
Paradox
1.0-casc
E-SETHEO
csp02
E-SETHEO
csp03
DCTP
10.2p
E
0.8
Vampire
6.0
GRP124-6.005 9.00 259.00 +0.00 0.00 6.00 6.00 Timeout Timeout
GRP124-7.005 0.00 259.00 +0.00 1.00 1.00 1.00 Timeout Timeout
GRP125-1.004 0.00 109.00 +0.00 0.00 0.00 0.00 0.00 136.00
GRP126-2.005 0.00 259.00 +0.00 0.00 0.00 0.00 Timeout 156.00
GRP127-2.005 0.00 139.00 +0.00 0.00 1.00 1.00 0.00 138.00
GRP128-1.004 0.00 139.00 +0.00 2.00 0.00 0.00 4.00 139.00
GRP130-2.005 0.00 139.00 +0.00 8.00 17.00 60.00 26.00 Timeout
GRP131-2.005 0.00 259.00 +0.00 5.00 17.00 60.00 Timeout Timeout
GRP132-2.005 9.00 260.00 +0.00 0.00 59.00 102.00 Timeout Timeout
GRP133-2.004 0.00 139.00 +0.00 0.00 0.00 0.00 32.00 148.00
GRP134-2.005 0.00 259.00 +0.00 1.00 5.00 5.00 Timeout Timeout
MGT066-1 0.00 189.00 +0.00 0.00 0.00 0.00 Timeout 136.00
PUZ018-2 0.00 209.00 +0.00 0.00 0.00 0.00 Timeout GaveUp
SYN307-1 0.00 419.00 +0.00 0.00 0.00 0.00 Timeout Timeout
SYN418-1 0.00 378.00 +1.00 0.00 3.00 3.00 Timeout Timeout
SYN420-1 0.00 378.00 +1.00 1.00 1.00 1.00 418.00 Timeout
SYN423-1 0.00 378.00 +1.00 1.00 3.00 3.00 Timeout Timeout
SYN426-1 0.00 259.00 +2.00 3.00 5.00 5.00 Timeout Timeout
SYN434-1 0.00 259.00 +0.00 15.00 17.00 60.00 Timeout 120.00
SYN435-1 19.00 259.00 +0.00 15.00 0.00 0.00 Timeout 130.00
SYN449-1 249.00 259.00 +2.00 15.00 69.00 112.00 Timeout 22.00
SYN456-1 19.00 259.00 +0.00 18.00 61.00 44.00 Timeout 32.00
SYN513-1 0.00 379.00 +0.00 0.00 1.00 1.00 Timeout Timeout
SYN544-1 0.00 318.00 +1.00 1.00 1.00 1.00 Timeout Timeout
SYN545-1 0.00 368.00 +1.00 1.00 1.00 1.00 33.00 Timeout
SYN812-1 Timeout 359.00 GaveUp Timeout Timeout Timeout 22.00 188.00
SYN814-1 129.00 259.00 +299.00 571.00 595.00 Timeout 6.00 40.00
SYN817-1 539.00 169.00 GaveUp Timeout Timeout Timeout 13.00 36.00
SYN829-1 319.00 Timeout Timeout Timeout Timeout Timeout 26.00 Timeout
SYN830-1 369.00 Timeout Timeout Timeout Timeout Timeout 29.00 Timeout
SYN832-1 229.00 Timeout GaveUp Timeout Timeout Timeout 23.00 Timeout
SYN841-1 409.00 Timeout Timeout Timeout Timeout Timeout 32.00 GaveUp
SYN851-1 109.00 Timeout GaveUp Timeout Timeout Timeout 11.00 53.00
SYN854-1 549.00 Timeout Timeout Timeout Timeout Timeout 39.00 GaveUp
SYN864-1 99.00 Timeout GaveUp Timeout Timeout Timeout 11.00 185.00
Attempted 35 35 35 35 35 35 35 35
Solved 34 28 26 26 26 25 17 15
Av. Time 89.88 261.36 11.85 25.31 33.19 18.64 42.65 110.60
Solutions 0 0 26 0 0 0 0 0
New Attempted 0 0 0 0 0 0 0 0
New Solved 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS