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

Results for MIX

MIX Vampire
7.0
E-SETHEO
csp04
E
0.82
EP
0.82
Vampire
6.0
DCTP
10.21p
THEO
J2004
DCTP
1.31
SOS
1.0
Otter
3.3
ALG004-1 +122.30 473.90 Timeout Timeout +65.40 Timeout Timeout Timeout Timeout Timeout
ALG012-1* +2.30 18.60 17.70 +25.00 +39.50 22.40 Timeout 109.60 Timeout Timeout
ANA002-1 +1.80 7.70 38.50 +50.70 +2.70 Timeout Timeout Timeout Timeout Timeout
ANA003-1 +7.10 3.30 0.20 +0.40 +333.80 Timeout Timeout Timeout Timeout GaveUp
ANA003-2 +11.70 24.70 18.10 +26.20 +209.10 Timeout Timeout WCout Timeout GaveUp
ANA003-4 +0.10 1.60 0.00 +0.10 +0.10 WCout +80.70 Timeout GaveUp GaveUp
ANA004-1 Timeout 34.50 29.60 +39.50 Timeout Timeout Timeout Timeout Timeout GaveUp
ANA004-4 +0.10 1.10 0.00 +0.10 +15.90 WCout +388.80 Timeout GaveUp GaveUp
ANA005-1 Timeout 31.80 28.50 +38.50 Timeout Timeout Timeout Timeout Timeout GaveUp
BOO038-1 +93.80 3.70 3.60 +9.00 +58.40 Timeout Timeout Timeout +9.60 GaveUp
CAT004-3 +75.10 40.80 22.70 +40.40 +22.80 Timeout +0.40 Timeout Timeout +307.10
CAT009-3 +1.80 0.30 1.20 +3.80 +0.10 Timeout +197.50 Timeout Timeout Timeout
COL003-10 +67.80 37.40 34.30 +46.60 +56.70 Timeout Timeout Timeout Timeout GaveUp
COL003-7 +67.80 37.40 34.20 +49.40 +56.80 Timeout Timeout Timeout Timeout GaveUp
COL003-9 +67.70 37.40 34.80 +45.10 +56.80 GaveUp Timeout Timeout Timeout GaveUp
COL006-2 +3.70 10.60 7.40 +9.30 +213.00 Timeout Timeout Timeout Timeout GaveUp
COL006-3 +266.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
COL006-4 +261.60 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp
COL043-2 +62.70 3.50 0.30 +0.90 +49.70 0.10 Timeout Timeout Timeout Timeout
COL044-2 +62.80 3.30 0.20 +0.60 +17.40 0.10 Timeout Timeout Timeout Timeout
COL044-3 +62.70 3.40 0.30 +0.70 +17.30 128.70 Timeout Timeout Timeout Timeout
COL044-4 +8.10 3.30 0.20 +0.60 +17.80 Timeout Timeout Timeout Timeout Timeout
COL076-2 Timeout 0.10 0.00 +0.10 Timeout Timeout Timeout Timeout Timeout GaveUp
COL078-1 Timeout 1.90 1.80 +4.70 +201.40 Timeout Timeout Timeout Timeout Timeout
COL079-2 +34.40 347.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL088-2* +64.80 280.40 Timeout Timeout +200.20 Timeout +4.40 Timeout Timeout Timeout
COL089-1* +0.00 0.50 Timeout Timeout +0.20 19.10 +0.20 9.80 Timeout Timeout
COL089-2* +64.90 281.40 Timeout Timeout Timeout Timeout +5.80 Timeout Timeout Timeout
COL090-2* Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL090-3* +28.70 0.20 143.50 +157.40 +1.90 0.10 +0.20 0.00 GaveUp GaveUp
COL091-1* +0.00 19.20 0.00 +0.10 +0.10 0.10 +0.10 0.00 Timeout Timeout
COL091-2* GaveUp 326.00 Timeout Timeout +302.60 59.50 +97.60 0.00 Timeout Timeout
COL092-1* +0.10 40.70 21.40 +27.80 +9.50 26.20 +149.60 0.00 Timeout Timeout
COL092-2* Timeout Timeout Timeout Timeout Timeout Timeout Timeout 29.90 Timeout Timeout
COL093-1* +0.00 37.40 18.20 +19.60 +21.10 26.20 +154.10 0.00 Timeout Timeout
COL093-2* GaveUp Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL098-2* +471.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL099-2* +119.20 1.80 Timeout Timeout Timeout 0.30 +2.80 0.00 Timeout Timeout
COM003-1 +0.10 2.00 0.10 +0.20 +0.20 21.70 Timeout 0.00 Timeout Timeout
COM005-1* +61.90 Timeout Timeout Timeout +82.70 Timeout Timeout Timeout Timeout Timeout
FLD007-1 +86.40 Timeout Timeout Timeout Timeout Timeout +9.90 Timeout Timeout Timeout
FLD009-1 +0.90 11.30 18.60 +28.20 +99.90 Timeout +29.10 Timeout Timeout Timeout
FLD023-1 +0.10 1.20 0.10 +0.40 +4.60 0.20 +0.10 Timeout Timeout Timeout
FLD031-1 +0.10 11.20 0.10 +0.40 +0.10 147.30 +2.00 173.60 Timeout Timeout
FLD047-4 +3.80 Timeout 309.00 +310.50 +11.00 Timeout +230.40 Unknown Timeout Timeout
FLD050-4 +5.40 56.80 23.70 +36.10 +0.60 62.10 +1.00 0.00 +450.30 +16.30
FLD060-2 +2.20 3.10 0.10 +0.30 +5.60 33.60 +8.80 0.00 Timeout Timeout
FLD062-3 +2.80 106.70 5.70 +9.10 Timeout 46.30 +1.70 Timeout Timeout Timeout
FLD063-1 +15.60 187.40 125.70 +140.20 Timeout Timeout +29.00 Timeout Timeout Timeout
GEO006-1 +2.90 0.20 0.00 +0.10 +4.50 1.20 Timeout Timeout +299.90 +254.40
GEO007-1 +40.10 0.30 0.00 +0.10 +56.30 121.00 +535.30 Timeout Timeout Timeout
GEO008-1 +183.60 19.00 0.80 +1.60 +304.80 Timeout Timeout Timeout Timeout Timeout
GEO026-2 +44.00 1.70 3.00 +5.10 +58.20 0.50 +1.00 Timeout +9.80 +0.30
GEO030-3 +0.20 40.80 34.80 +48.30 +566.30 0.30 +0.10 Timeout +0.00 +3.50
GEO036-2 +0.00 0.30 0.00 +0.10 +0.10 84.80 +2.30 Timeout +9.80 +8.50
GEO043-3 +3.70 0.40 0.00 +0.10 +1.50 0.50 +0.30 0.00 +39.00 +88.60
GEO045-2 +74.60 Timeout Timeout Timeout +29.50 Timeout Timeout Timeout Timeout Timeout
GEO083-1 +71.80 1.80 Timeout Timeout +37.10 22.60 +0.20 Timeout Timeout Timeout
GEO146-1 +0.10 0.50 0.10 +0.20 +0.20 14.90 +1.20 Timeout Timeout Timeout
GRP039-1 +0.10 0.20 0.00 +0.10 +17.30 1.80 Timeout 29.70 Timeout Timeout
GRP039-2 +0.40 0.40 0.20 +0.40 +0.00 0.70 Timeout 0.00 Timeout Timeout
GRP039-4 +0.20 0.30 0.00 +0.20 +10.50 Timeout +226.50 Unknown Timeout Timeout
GRP039-5 +0.50 1.50 0.10 +0.20 +0.00 27.50 Timeout 0.00 Timeout Timeout
GRP039-6 +0.20 32.20 0.80 +1.80 +0.60 12.80 Timeout 0.00 Timeout Timeout
GRP039-7 +0.30 1.80 0.10 +0.30 +0.00 62.80 459.70 0.00 Timeout Timeout
GRP040-3 +0.30 0.60 0.10 +0.30 +9.50 26.50 Timeout Timeout +239.30 +88.80
GRP040-4 +0.00 0.30 0.20 +0.40 +2.10 0.10 +0.90 0.00 +59.80 +96.60
GRP054-1 +181.40 0.40 0.30 +0.80 +66.80 Timeout Timeout Timeout GaveUp GaveUp
GRP084-1* +374.60 WCout Timeout Timeout +48.30 Timeout Timeout Timeout Timeout Timeout
GRP086-1* +0.00 0.10 0.00 +0.10 +0.10 3.20 Timeout 0.00 +9.90 +0.10
GRP113-1 Timeout 21.70 21.50 +34.80 Timeout Timeout Timeout Timeout Timeout Timeout
GRP197-1 +40.30 347.70 Timeout GaveUp +485.70 Timeout Timeout Timeout Timeout Timeout
GRP198-1 +40.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
GRP199-1 +122.70 WCout Timeout Timeout +532.70 Timeout Timeout Timeout Timeout Timeout
GRP273-1 +5.50 0.50 0.40 +0.80 +5.00 Timeout Timeout Timeout Timeout Timeout
GRP401-1 +34.40 27.50 26.60 +35.80 +42.20 Timeout Timeout Timeout Timeout Timeout
HWC003-1 +264.10 3.20 0.00 +0.10 Timeout 4.20 Timeout 39.50 +379.60 Timeout
HWC003-2 +262.20 3.30 0.00 +0.10 Timeout 4.10 Timeout 0.00 +9.90 GaveUp
HWV002-1 +14.30 53.90 50.40 +72.10 +100.90 Timeout Timeout Unknown GaveUp GaveUp
HWV003-1 Timeout 57.90 53.90 72.80 Timeout Timeout Timeout Unknown GaveUp GaveUp
HWV017-2 +45.20 19.50 0.80 +1.90 +54.60 58.90 +487.70 0.00 Timeout Timeout
HWV018-2 +0.10 0.60 0.10 +0.20 +0.10 26.30 +4.60 0.00 Timeout Timeout
HWV029-1 +191.60 4.90 3.10 +6.20 +274.60 Timeout Timeout Timeout Timeout Timeout
HWV033-1 Timeout 3.10 0.30 +0.80 +572.90 Timeout +6.40 Timeout Timeout Timeout
LAT001-1 +197.80 Timeout Timeout Timeout +94.80 Timeout Timeout Unknown GaveUp GaveUp
LAT002-1 +497.20 4.60 1.40 +5.00 Timeout Timeout Timeout Unknown GaveUp GaveUp
LAT003-1 Timeout 44.90 26.40 +40.00 Timeout Timeout Timeout Timeout Timeout Timeout
LAT015-1 +28.00 13.00 12.80 +27.70 +18.10 GaveUp Timeout Unknown GaveUp GaveUp
LAT036-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout +0.00 +1.80
LAT041-1 +109.70 Timeout Timeout Timeout +87.70 Timeout Timeout Timeout Timeout GaveUp
LAT066-1 +16.60 11.50 11.60 +25.70 +171.30 Timeout Timeout Timeout Timeout GaveUp
LCL012-1 +21.60 22.50 3.10 +5.80 +6.90 Timeout Timeout Timeout +189.60 +20.00
LCL018-1 +21.60 7.50 0.40 +0.90 +8.10 187.10 Timeout Timeout +411.00 +18.90
LCL052-1 +12.90 13.50 6.40 +8.60 +0.20 33.50 Timeout Timeout +9.80 +1.00
LCL068-1 +15.40 1.30 0.30 +0.70 +9.40 0.40 +430.00 0.00 +0.00 +9.20
LCL109-3 +0.70 2.90 2.70 +8.70 +23.80 Timeout +37.90 Timeout +189.70 +451.00
LCL109-4 +7.80 27.30 24.20 +33.70 +37.30 Timeout Timeout Unknown Timeout Timeout
LCL152-1 +126.80 21.00 17.80 +24.60 Timeout Timeout Timeout Unknown Timeout Timeout
LCL166-1 +22.10 8.50 0.30 +0.80 +47.00 Timeout Timeout Timeout Timeout +35.90
LCL191-1 +63.50 242.00 235.20 +233.50 +4.40 134.00 Timeout 0.00 +0.00 GaveUp
LCL195-1 +32.70 0.60 593.40 Timeout +2.50 20.40 +2.40 0.00 +0.00 GaveUp
LCL221-1 +84.80 1.80 Timeout Timeout +172.00 21.20 +420.20 Timeout GaveUp GaveUp
LCL222-3 +53.00 55.60 52.30 +63.10 Timeout Timeout Timeout Timeout GaveUp GaveUp
LCL225-1 +10.00 24.70 4.30 +6.40 +18.70 Timeout Timeout 260.20 GaveUp GaveUp
LCL227-1 +11.90 Timeout Timeout Timeout +233.50 Timeout Timeout Timeout GaveUp GaveUp
LCL237-3 +0.00 0.20 0.40 +1.00 +10.70 8.40 +15.30 0.00 +59.50 +1.10
LCL243-3 +8.60 5.60 2.50 +4.90 Timeout Timeout Timeout Timeout Timeout GaveUp
LCL249-3 +0.10 3.50 0.40 +0.80 +13.60 21.40 Timeout Timeout +169.80 +77.20
LCL253-1 +247.90 17.40 Timeout Timeout +438.30 Timeout Timeout Timeout GaveUp GaveUp
LCL253-3 +2.40 5.70 2.60 +5.00 +435.80 Timeout Timeout Timeout GaveUp GaveUp
LCL278-3 +37.10 23.10 19.90 +25.20 Timeout Timeout Timeout Timeout Timeout GaveUp
LCL324-3 +273.80 49.90 46.50 +58.60 Timeout Timeout Timeout Timeout GaveUp GaveUp
LCL341-3 +0.10 4.40 1.30 +2.80 +38.40 127.30 Timeout Timeout Timeout GaveUp
MGT029-1 +0.90 0.30 0.10 +0.30 +157.80 0.20 Timeout 0.00 Timeout Timeout
MGT035-1 +2.10 13.90 0.20 +0.50 +157.90 1.00 Timeout 0.00 Timeout Timeout
MGT039-2 +2.40 11.30 0.40 +0.70 +157.80 0.50 +299.50 0.00 GaveUp Timeout
MGT051-1 +5.40 0.80 1.20 +2.50 +23.70 345.20 +8.00 Timeout Timeout Timeout
MGT060-1 +0.00 1.70 4.90 +12.90 +1.50 0.10 +1.50 0.00 +80.00 +0.10
MGT063-1 +0.20 0.30 0.00 +0.10 +14.80 4.80 Timeout Timeout Timeout Timeout
NUM007-1 Timeout 205.30 186.40 224.50 Timeout Timeout Timeout Timeout Timeout Timeout
NUM011-1 +60.60 13.00 15.10 +19.80 +24.90 Timeout Timeout Timeout Timeout Timeout
PLA004-2 +0.00 6.20 0.00 +0.10 +67.70 0.10 +2.80 0.00 Timeout Timeout
PLA005-2 +0.00 6.20 0.00 +0.10 +67.70 0.10 +325.20 0.00 Timeout Timeout
PLA009-2 +0.10 6.20 0.00 +0.10 +67.80 0.10 +19.40 0.00 Timeout Timeout
PLA011-1 +0.00 6.20 0.00 +0.10 +67.70 0.10 +226.60 0.00 Timeout Timeout
PLA012-1 +0.00 6.40 0.10 +0.20 +68.00 4.20 Timeout Unknown Timeout Timeout
PLA021-1 +0.10 6.20 0.00 +0.10 +67.80 0.10 +411.40 9.20 Timeout Timeout
PLA023-1 +0.10 6.60 0.10 +0.20 +67.70 4.30 Timeout Timeout Timeout Timeout
PUZ035-7 +0.00 0.20 0.00 +0.10 +0.00 0.10 +0.30 0.00 +309.60 Timeout
PUZ039-1 +60.30 1.60 3.80 +4.20 +0.10 21.60 Timeout 0.00 Unknown +1.70
PUZ040-1 +60.40 0.20 0.10 +0.10 +0.10 20.10 Timeout 0.00 Unknown +0.10
PUZ042-1 +60.40 2.40 49.90 +48.40 +0.20 22.40 Timeout 0.00 Unknown +2.50
PUZ056-1* Timeout 225.80 222.20 305.00 Timeout Timeout Timeout Timeout +0.00 +0.90
RNG001-2 +17.00 584.50 Timeout Timeout +115.10 153.90 +5.80 Timeout Timeout +244.10
RNG001-5 +2.60 18.50 15.00 +23.00 +127.00 131.40 +3.00 Timeout Timeout +197.90
RNG004-3 +67.90 89.20 65.00 +77.10 +190.50 Timeout +6.90 WCout +0.00 +10.50
RNG025-1 +41.80 25.60 24.70 +34.50 Timeout Timeout Timeout Unknown Timeout Timeout
RNG029-3 +3.60 4.70 4.50 +8.80 +28.60 Timeout Timeout Timeout Timeout Timeout
ROB014-1 +221.70 15.10 12.00 +16.90 +501.10 Timeout Timeout Unknown Timeout GaveUp
ROB015-2 +128.50 5.20 2.10 +3.90 Timeout Timeout Timeout Timeout +169.60 Timeout
ROB018-1 +114.30 404.90 403.70 440.20 +339.80 Timeout Timeout Unknown Timeout GaveUp
ROB019-1 +114.20 403.90 399.80 443.30 +341.50 Timeout Timeout Unknown Timeout GaveUp
SET010-1 +5.10 2.00 25.80 +29.00 +20.10 0.10 +1.40 0.00 Timeout Timeout
SET012-3 +0.40 Timeout 293.10 +308.80 +15.10 Timeout +60.10 Timeout Timeout Timeout
SET013-1 +0.00 11.60 4.00 +7.40 +1.10 Timeout +0.90 Timeout Timeout Timeout
SET013-2 +0.10 74.10 12.90 +19.50 +4.60 35.10 Timeout 0.00 +459.80 +314.30
SET014-3 +90.00 Timeout Timeout Timeout Timeout Timeout +20.70 Timeout Timeout Timeout
SET014-4 +70.70 9.40 7.60 +11.60 +59.50 Timeout +0.20 Timeout Timeout Timeout
SET015-1 +10.80 11.10 4.80 +9.10 +1.00 Timeout +2.00 Timeout Timeout Timeout
SET016-3 +34.80 Timeout Timeout Timeout +14.60 150.10 Timeout Timeout Timeout Timeout
SET019-4 +8.70 0.40 21.30 +29.20 +186.40 205.20 +2.10 Timeout +170.10 +1.60
SET021-3 Timeout 0.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET022-3 +60.60 6.70 5.30 +7.60 +14.10 Timeout +13.20 Timeout Timeout Timeout
SET025-8 +0.10 0.40 0.10 +0.10 +0.20 0.60 +56.70 0.00 Timeout Timeout
SET031-3 +76.90 19.50 17.30 +19.30 +287.10 Timeout +3.70 Timeout Timeout Timeout
SET041-3 +7.40 0.40 27.60 +29.40 +12.80 3.70 +3.20 0.00 Timeout Timeout
SET082-6 +0.60 7.50 0.10 +0.20 +0.30 26.80 +1.00 Timeout +129.80 +2.20
SET121-7 +15.80 15.10 11.90 +24.50 +11.70 60.90 +4.00 Unknown Timeout Timeout
SET199-6 +0.10 0.40 0.70 +1.40 +14.30 110.70 +1.20 190.10 Timeout Timeout
SET215-6 +0.80 Timeout Timeout Timeout Timeout WCout Timeout Timeout Timeout Timeout
SET230-6 +2.40 Timeout Timeout Timeout +218.70 Timeout Timeout Timeout Timeout Timeout
SET235-6 +0.00 11.40 1.20 +2.50 +117.20 35.80 +10.20 119.80 Timeout Timeout
SET260-6 +21.60 Timeout Timeout Timeout +22.20 Timeout Timeout Timeout Timeout Timeout
SET386-6 +0.20 0.80 0.00 +0.20 +0.40 26.50 +1.10 10.00 Timeout +273.50
SET787-1* +67.90 0.20 Timeout Timeout +6.30 26.20 +0.10 0.00 +0.00 +0.20
SET787-2* Timeout Timeout Timeout Timeout Timeout Timeout +101.90 Timeout Timeout Timeout
SWC113-1 Timeout 9.00 8.70 +17.90 Timeout 185.10 Timeout WCout Timeout Timeout
SWC123-1 +26.00 0.80 0.60 +1.60 +187.40 Timeout Timeout WCout Timeout Timeout
SWC166-1 +7.20 44.90 44.50 +57.20 Timeout Timeout Timeout WCout Timeout Timeout
SWC286-1 +0.10 0.20 0.10 +0.20 +0.10 0.70 Timeout 0.00 +230.20 +185.10
SWC293-1 +0.10 0.20 0.10 +0.20 +0.00 1.40 Timeout 0.00 Timeout Timeout
SWC295-1 +487.10 1.80 1.60 +4.10 +546.10 Timeout Timeout WCout Timeout Timeout
SWC375-1 +0.00 0.20 0.00 +0.10 +0.00 0.30 Timeout 0.00 +0.00 +0.20
SWV014-1 +0.00 6.20 0.00 +0.10 +67.40 Timeout +10.20 WCout Timeout Timeout
SYN036-1 +0.10 0.50 14.40 +19.20 +0.10 1.40 Timeout Timeout Timeout Timeout
SYN036-4 +0.00 0.10 0.10 +0.20 +0.10 0.10 Timeout 0.00 +39.50 +19.20
SYN067-1 +60.50 6.80 6.90 +9.50 +7.50 5.70 Timeout 29.70 Timeout Timeout
SYN067-2 +61.00 83.80 22.50 +28.80 +29.20 12.00 Timeout 49.70 Timeout Timeout
SYN076-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout WCout Timeout Timeout
SYN077-1 +0.00 0.30 0.00 +0.10 +0.00 0.10 +435.30 0.00 Timeout Timeout
SYN311-1 +0.00 6.20 0.00 +0.10 +22.90 0.10 +0.10 0.00 GaveUp GaveUp
SYN312-1 +4.70 6.20 0.00 +0.10 +3.90 0.10 +1.00 0.00 GaveUp GaveUp
SYN314-1.002.001 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SYN353-1 +0.00 0.20 0.00 +0.10 +0.00 Timeout Timeout Timeout Timeout Timeout
SYN597-1 +206.90 6.20 2.10 +2.50 +68.10 0.10 +0.10 Timeout +360.00 GaveUp
SYN602-1 +34.10 0.50 3.60 +5.70 +67.70 0.10 +0.40 0.00 +9.30 +24.20
SYN603-1 +211.10 3.00 3.10 +5.50 +67.60 95.70 +0.50 70.00 +9.90 Timeout
SYN609-1 +60.50 0.20 2.40 +3.50 Timeout 22.10 +5.60 Timeout Timeout Timeout
SYN610-1 +60.50 0.20 33.00 +36.30 Timeout 22.20 +4.10 Timeout Timeout Timeout
SYN611-1 +60.60 0.20 1.80 +2.50 +249.40 22.10 +0.20 Timeout Timeout Timeout
SYN612-1 +60.60 0.20 2.90 +4.00 +16.40 22.10 +0.20 Timeout Timeout Timeout
SYN650-1 +196.60 11.20 0.90 +1.40 Timeout 8.80 Timeout Timeout Timeout Timeout
SYN653-1 +16.80 0.20 22.40 +24.50 +0.10 0.30 Timeout 0.00 Timeout Timeout
SYN704-1 +0.10 0.20 4.30 +7.00 +0.10 0.30 +0.50 0.00 +9.90 +0.10
SYN708-1 +4.50 6.20 30.40 +37.50 +0.20 2.00 +1.60 Timeout Timeout Timeout
SYN711-1 +0.10 0.30 6.80 +9.20 +0.10 0.10 Unknown 0.00 +319.80 GaveUp
SYN755-1 +0.20 0.20 0.10 +0.20 +0.20 0.10 Timeout 0.00 Timeout Timeout
SYN758-1 +60.80 1.00 8.50 +9.40 +83.30 0.50 Timeout Timeout Timeout Timeout
SYN796-1 +4.40 2.00 0.10 +0.20 +2.90 0.70 Timeout Timeout Timeout Timeout
SYN802-1 +66.20 68.50 7.20 +9.70 +197.00 Timeout Timeout Timeout Timeout Timeout
Attempted 200 200 200 200 200 200 200 200 200 200
Solved 180 174 162 161 157 103 83 66 39 37
Av. Time 51.36 36.02 26.41 27.69 80.33 33.19 73.25 17.13 124.20 74.56
Solutions 180 0 0 156 157 0 82 0 39 37
New Attempted 20 20 20 20 20 20 20 20 20 20
New Solved 14 13 7 7 12 10 11 11 3 3
* 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
7.0
Vampire
5.0
E-SETHEO
csp04
E
0.82
EP
0.82
DCTP
10.21p
Otter
3.3
Dilemma
0.1
AGT006+1* GaveUp Timeout 11.40 Timeout Timeout 0.60 +7.60 Timeout
ALG033+1* GaveUp Unknown GaveUp GaveUp GaveUp GaveUp GaveUp Timeout
ALG042+1* +0.10 +0.10 1.30 0.10 +0.20 1.30 +9.00 Timeout
ALG043+1* GaveUp Unknown GaveUp GaveUp GaveUp GaveUp GaveUp Timeout
ALG060+1* GaveUp Unknown GaveUp GaveUp GaveUp GaveUp GaveUp Timeout
ALG071+1* +1.50 +0.60 88.50 83.60 +93.80 Timeout GaveUp Timeout
ALG072+1* +49.60 +43.20 Timeout Timeout Timeout Timeout GaveUp Timeout
ALG079+1* +0.30 +0.20 9.90 0.10 +0.20 9.90 +17.50 Timeout
ALG087+1* +0.20 +0.10 11.40 0.10 +0.20 11.30 +17.00 Timeout
ALG110+1* +401.80 +560.00 15.30 0.70 +4.40 15.30 GaveUp Timeout
ALG170+1* +35.60 Timeout 125.80 2.30 +5.30 238.00 GaveUp Timeout
ALG189+1* GaveUp Unknown GaveUp GaveUp GaveUp GaveUp GaveUp Timeout
COM003+1 +0.20 +0.00 61.80 0.40 +0.90 256.30 Timeout 0.20
COM003+3 +0.30 +0.10 0.20 0.10 +0.20 0.80 Timeout 0.20
GEO082+1 +0.10 +7.70 16.00 0.20 +0.30 0.30 +0.70 Timeout
GEO087+1 +14.10 +0.10 0.30 0.00 +0.10 0.10 +0.60 Timeout
GEO093+1 +80.90 +10.40 0.20 48.30 +61.40 Timeout Timeout Timeout
GEO146+1 +0.10 +0.20 0.60 0.10 +0.20 187.90 Timeout WCout
GEO147+1 +0.00 +0.20 0.50 0.00 +0.10 0.20 +25.60 Timeout
HAL006+1 +155.60 Timeout 37.20 125.70 +144.30 Timeout +12.00 Timeout
MGT025+1 +0.10 +0.00 0.30 0.00 +0.10 0.10 Timeout Timeout
MGT039+1 +0.10 +0.00 0.20 0.00 +0.10 0.10 +0.40 0.20
MGT050+1 +0.20 +0.00 0.30 0.10 +0.20 81.30 +324.90 Timeout
MGT054+1 +0.00 +0.00 0.20 0.00 +0.10 0.10 Timeout Timeout
MGT063+1 +77.00 +8.50 0.30 0.10 +0.20 Timeout Timeout Timeout
NLP001+1 +0.10 +0.00 0.30 0.20 +0.40 0.20 Timeout 0.10
NLP079+1 +25.50 +10.90 99.90 26.80 +29.50 Timeout GaveUp Timeout
NLP080+1 +22.20 +11.10 92.60 25.40 +28.90 Timeout GaveUp Timeout
NLP094+1 +0.90 +0.20 116.90 60.70 +69.00 40.90 Timeout 0.20
NLP117+1 +0.30 +0.10 0.40 0.20 +0.50 0.40 Timeout 0.10
NLP122+1 +0.20 +0.00 0.40 0.20 +0.50 0.30 Timeout 0.10
SET009+3 +0.00 +0.00 0.20 0.00 +0.10 0.10 +0.00 0.00
SET011+3 +62.70 +2.70 29.40 11.70 +19.70 Timeout Timeout Timeout
SET056+1* +2.70 +0.00 0.50 0.10 +0.30 4.30 +2.90 Timeout
SET083+1 +0.10 +0.00 0.80 0.20 +0.60 0.20 +0.80 Timeout
SET099+1* +230.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET103+1 +0.00 +0.20 18.70 0.20 +0.50 Timeout +17.60 Timeout
SET108+1 +0.00 +0.00 0.30 0.10 +0.30 0.20 Timeout Timeout
SET144+3 +176.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET159+3 +100.00 +12.60 22.70 7.20 +17.30 Timeout Timeout Timeout
SET577+3 +18.30 +0.00 0.60 0.00 +0.10 87.00 Timeout Timeout
SET587+3 +36.60 +0.00 0.30 0.10 +0.20 Timeout Timeout Timeout
SET588+3 +0.00 +0.00 0.20 0.40 +0.90 0.10 +1.00 0.00
SET593+3 +0.00 +13.80 18.40 0.10 +0.20 0.60 Timeout Timeout
SET594+3 +0.10 +8.50 20.60 37.50 +51.60 0.60 Timeout Timeout
SET595+3 +108.60 +4.10 0.30 5.50 +9.00 Timeout Timeout Timeout
SET598+3 +0.00 +1.80 0.30 0.00 +0.10 26.20 +0.10 Timeout
SET603+3 +0.10 +0.00 0.20 0.00 +0.10 60.30 +35.90 Timeout
SET606+3 +62.20 +5.30 48.60 29.50 +36.00 Timeout Timeout Timeout
SET608+3 +82.90 +3.80 WCout 399.40 465.80 Timeout Timeout Timeout
SET609+3 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET611+3 +60.40 +0.10 22.80 22.20 +29.50 Timeout +121.20 Timeout
SET614+3 +116.00 +118.30 Timeout Timeout Timeout Timeout Timeout Timeout
SET621+3 +286.50 +191.20 0.30 0.00 +0.10 Timeout +0.10 Timeout
SET634+3 +110.60 +20.40 Timeout Timeout Timeout Timeout Timeout Timeout
SET647+3 +64.50 +4.00 19.50 0.40 +0.70 132.20 Timeout Timeout
SET648+3 +64.50 +4.00 19.30 0.40 +0.60 132.10 Timeout Timeout
SET656+3 +0.60 +62.60 0.40 0.00 +0.20 0.60 +83.50 0.20
SET660+3 +13.90 +1.20 21.10 25.50 +31.00 Timeout Timeout Timeout
SET664+3 +0.00 +0.00 0.20 0.00 +0.10 0.10 +0.10 Timeout
SET665+3 +59.60 Timeout 21.10 Timeout Timeout 86.00 Timeout Timeout
SET666+3 +0.00 +0.00 0.20 0.10 +0.10 2.10 Timeout Timeout
SET667+3 +0.10 +0.70 0.70 0.10 +0.20 Timeout Timeout Timeout
SET668+3 +0.30 +0.20 3.20 0.20 +0.40 0.20 Timeout Unknown
SET673+3 +47.10 +76.20 3.00 Timeout Timeout Timeout Timeout Timeout
SET678+3 +1.80 +5.30 7.70 3.20 +5.00 Timeout Timeout Timeout
SET684+3 +0.30 +19.00 22.30 3.60 +6.00 60.70 Timeout Timeout
SET715+4 +135.10 +127.00 Timeout Timeout Timeout WCout Timeout Timeout
SET735+4 GaveUp +0.70 Timeout Timeout Timeout WCout Timeout Timeout
SET764+4 +0.10 +0.40 0.60 0.10 +0.20 8.80 Timeout Timeout
SWC124+1 +6.30 +2.10 1.40 1.20 +2.40 0.50 Timeout Timeout
SWC170+1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWC171+1 +45.30 Timeout 23.00 22.20 +32.20 Timeout Timeout Timeout
SWC258+1 +0.30 +0.10 0.20 0.10 +0.20 0.20 Timeout Timeout
SWC339+1 +0.10 +0.00 0.30 0.10 +0.20 0.30 +1.60 Timeout
SWV014+1 +0.00 +0.00 6.20 0.00 +0.10 Timeout Timeout Timeout
SYN067+1 +5.80 +0.10 78.80 15.50 +18.10 11.60 Timeout Timeout
SYN332+1 +0.00 +0.00 0.20 0.00 +0.10 0.10 GaveUp Timeout
SYN353+1 +0.00 +0.00 0.20 0.00 +0.10 Timeout Timeout Timeout
SYN462+1 +0.70 +0.10 4.80 20.30 +29.10 4.80 Timeout Timeout
SYN471+1 +1.30 +0.30 22.00 21.20 +28.90 21.90 Timeout Timeout
SYN474+1 +2.20 +0.20 6.00 47.90 +56.80 5.90 Timeout Timeout
SYN488+1 +1.50 +0.90 57.10 57.00 +66.60 57.00 Timeout Timeout
SYN489+1 +1.70 +0.30 24.40 60.40 +80.70 24.30 Timeout Timeout
SYN499+1 +0.80 +0.40 6.30 10.20 +15.90 6.20 Timeout Timeout
SYN548+1 +0.10 +101.30 49.50 16.40 +19.10 0.20 +105.10 Timeout
SYN550+1 +0.20 +0.10 49.20 29.70 +39.30 0.40 Timeout 0.20
SYN551+2 +0.00 +0.00 5.60 12.50 +18.10 Timeout Timeout Timeout
Attempted 88 88 88 88 88 88 88 88
Solved 80 75 74 72 72 52 23 11
Av. Time 34.69 19.25 18.00 17.19 21.19 30.41 34.14 0.14
Solutions 80 75 0 0 71 0 23 0
New Attempted 14 14 14 14 14 14 14 14
New Solved 9 7 8 7 7 7 5 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
Paradox
1.1-casc
Mace4
2004-D
Mace2
2.2
E-SETHEO
csp04-SAT
DCTP
10.21p-SAT
DCTP
1.31-SAT
ANA006-1 +0.00 +0.00 +0.00 +0.00 +0.10 Timeout Timeout Timeout
ANA006-2 +0.00 +0.00 +0.00 +0.10 +0.00 34.10 0.10 0.00
BOO033-1 +0.00 +0.10 +0.00 +0.00 +0.00 Timeout Timeout Timeout
BOO061-1 +159.80 +9.70 +8.80 Timeout +161.70 WCout Timeout Timeout
CAT001-2 +0.00 +0.10 +0.10 +0.10 +0.10 Timeout Timeout Unknown
CAT002-2 +0.00 +0.20 +0.10 +0.10 +0.10 Timeout Timeout Unknown
COL047-1 +0.00 +0.10 +0.10 +0.00 +0.10 Timeout Timeout Timeout
COL071-1 +0.00 +0.10 +0.00 +0.00 +0.10 Timeout Timeout Timeout
GEO078-6* +189.80 +0.20 +0.10 Timeout Timeout Timeout Timeout Timeout
GEO078-7* +0.00 +0.20 +0.10 Timeout +63.70 Timeout Timeout Timeout
GEO162-1* +150.10 +0.20 Unknown Timeout Timeout Timeout Timeout Timeout
GEO163-1* 360.00 +0.10 +0.10 Timeout +0.10 Timeout Timeout Timeout
GRP024-4 +0.00 +0.30 +0.20 +0.10 Timeout Timeout Timeout Timeout
GRP026-4 +0.00 +0.20 +0.20 +0.10 Timeout WCout WCout Timeout
GRP027-2 +0.00 +0.10 +0.10 +0.10 +0.10 Timeout Timeout WCout
GRP392-1 +0.00 +0.00 +0.00 +0.00 +0.10 0.10 0.10 0.00
GRP394-1 +0.00 +0.00 +0.00 +0.10 +0.10 0.10 0.10 0.00
GRP395-1 +0.00 +0.00 +0.00 +0.10 +0.10 0.10 0.10 0.00
GRP397-1 +0.00 +0.00 +0.00 +0.00 +0.00 0.20 0.10 0.00
GRP398-3 +0.00 +0.00 +0.00 +0.00 +0.00 0.10 0.10 0.00
HEN013-1 +0.00 +0.00 +0.00 +0.00 +0.00 0.10 0.10 0.00
HEN013-2 +0.00 +0.00 +0.00 +0.00 +0.10 0.10 0.10 0.00
HWV035-2* +0.00 +0.00 +0.00 +0.10 +0.10 0.10 0.10 0.00
HWV036-2* +0.00 +0.10 +0.00 +0.00 +0.10 0.10 0.10 0.00
LAT046-1 +0.00 +0.60 +0.30 +0.00 +0.50 Timeout Timeout Timeout
LAT048-1 +0.00 +0.60 +0.20 +0.10 +0.10 Timeout Timeout Timeout
LAT049-1 +0.00 +1.60 +0.70 +0.10 +0.60 Timeout Timeout Unknown
LAT050-1 +0.00 +7.80 +8.70 +0.20 +100.10 Timeout Timeout Timeout
LAT052-1 +0.00 +5.70 +2.10 +0.10 +2.90 Timeout Timeout Timeout
LAT063-1 +0.00 +9.60 +3.50 +0.20 +67.40 Timeout Timeout Timeout
LCL137-1 +0.00 +0.00 +0.00 +0.10 +0.00 Timeout Timeout Timeout
LCL168-1 +0.00 +0.40 +0.60 +5.80 +13.80 Timeout Timeout Timeout
LCL180-1 +159.80 +1.20 +0.90 Timeout Timeout Timeout Timeout Timeout
LCL219-1 355.20 +13.20 +1.70 Timeout Timeout Timeout Timeout Timeout
LCL220-1 359.90 +45.60 +12.80 Timeout Timeout Timeout Timeout Timeout
LCL235-1 329.90 +1.90 +3.90 Timeout Timeout Timeout Timeout Timeout
LCL239-1 330.10 +3.60 +2.20 Timeout Timeout Timeout Timeout Timeout
LCL242-1 369.40 +7.80 +57.10 Timeout Timeout Timeout Timeout Unknown
LCL245-1 481.40 +64.60 +14.80 Timeout Timeout Timeout Timeout Unknown
LCL247-1 340.30 +23.80 +59.30 Timeout Timeout Timeout Timeout Timeout
LCL248-1 379.90 +14.90 +6.00 Timeout Timeout Timeout Timeout Unknown
LCL252-1 361.00 +90.10 +63.70 Timeout Timeout Timeout Timeout Timeout
LCL280-3 +0.00 +0.10 +0.10 +0.00 +0.10 Timeout Timeout Timeout
LCL288-3 +0.00 +0.00 +0.00 +0.00 +0.00 Timeout Timeout Timeout
LCL292-3 +0.00 +0.00 +0.00 +0.00 +0.10 Timeout Timeout Unknown
LCL411-1 +0.00 +0.00 +0.00 +0.00 +0.00 6.10 0.00 0.00
LCL411-2 +0.00 +0.00 +0.00 +0.10 +0.00 0.10 0.10 0.00
LCL415-1 Unknown Timeout Timeout Timeout Timeout 0.10 WCout Unknown
NLP030-1 +0.00 +0.10 +0.10 +0.10 GaveUp 165.00 0.10 Timeout
NLP034-1 +0.00 +0.10 +0.10 +0.00 GaveUp 0.10 14.10 Timeout
NLP050-1 231.80 WCout GaveUp Timeout GaveUp 0.10 0.10 0.00
NLP051-1 229.90 WCout GaveUp Timeout GaveUp 0.10 0.10 0.00
NLP053-1 229.90 Timeout GaveUp Timeout GaveUp 0.10 0.10 0.00
NLP057-1 Timeout +53.00 +0.80 Timeout GaveUp 0.10 0.10 0.00
NLP062-1 +0.00 +0.10 +0.10 +0.10 GaveUp 0.10 0.10 0.00
NLP063-1 +0.00 +0.10 +0.10 +0.10 GaveUp 164.70 569.30 0.00
NLP091-1 Timeout Timeout GaveUp Timeout GaveUp 0.20 0.10 0.00
NLP161-1 +180.10 +0.10 +0.10 +0.80 Timeout 0.20 0.10 0.00
NLP162-1 +159.80 +0.10 +0.10 +0.90 Timeout 0.10 0.10 0.00
NLP183-1 109.50 +0.40 +0.20 GaveUp Timeout Timeout Timeout Timeout
NLP187-1 299.50 +0.40 +0.20 GaveUp Timeout 21.30 Timeout Timeout
NLP190-1 372.20 +0.10 +0.10 +17.50 Timeout 0.20 0.20 0.00
NLP191-1 360.10 +0.10 +0.10 +17.20 Timeout 0.20 0.20 0.00
NLP211-1 229.70 +0.70 +0.40 GaveUp Timeout 76.40 18.20 WCout
NLP212-1 238.80 +1.10 +0.30 GaveUp Timeout Timeout Timeout Timeout
NLP214-1 249.90 +0.80 +0.40 GaveUp Timeout Timeout Timeout WCout
NLP216-1 200.00 +0.80 +0.30 GaveUp Timeout Timeout Timeout WCout
NLP219-1 220.30 +0.80 +0.40 GaveUp Timeout Timeout Timeout Timeout
NUM288-1 +0.00 +0.00 +0.00 +0.10 +0.10 26.10 0.10 0.00
PUZ015-1 +279.70 +17.70 +3.40 Timeout GaveUp Timeout WCout WCout
PUZ015-3* 109.80 +7.30 +2.90 Timeout GaveUp Timeout Timeout Timeout
PUZ058-1* +120.80 +0.10 +0.10 Timeout Timeout Timeout Timeout Timeout
RNG031-7 +160.00 +61.30 Timeout +0.50 Timeout Timeout Timeout Timeout
RNG043-2 +0.00 +0.00 +0.00 +0.00 +0.10 0.20 0.10 0.00
ROB029-1 +0.00 +0.00 +0.00 +0.00 +0.00 0.10 0.10 0.00
SWV012-1 +0.00 +0.10 +0.10 +0.10 GaveUp 6.10 0.10 0.00
SWV021-1* Timeout GaveUp GaveUp Timeout Timeout 0.20 Timeout Timeout
SYN750-1 +0.00 +0.10 +0.10 +0.10 +0.10 Timeout Timeout Timeout
SYN753-1 +19.60 +0.10 +0.10 +0.10 +0.10 Timeout Timeout Timeout
SYN763-1 +0.00 +0.10 +0.10 +0.10 +0.00 0.10 0.10 Timeout
SYN766-1 +0.00 +0.10 +0.10 +0.10 +0.10 GaveUp Timeout Timeout
SYN770-1 +0.00 +0.00 +0.10 +0.10 +0.00 Timeout Timeout Timeout
SYN773-1 +0.00 +0.00 +0.00 +0.10 +0.10 70.10 0.10 Timeout
SYN786-1 +200.10 +0.10 +0.10 +0.10 +0.10 0.10 0.10 0.00
SYN789-1 238.00 +0.10 +0.10 +0.90 +0.10 Timeout Timeout Timeout
SYN790-1 +0.00 +0.00 +0.00 +0.10 +0.10 151.30 32.10 Timeout
SYN903-1 350.30 +0.50 +0.40 Timeout GaveUp 1.20 1.10 0.00
SYN905-1 351.10 +1.10 +0.90 Timeout GaveUp 4.80 4.90 0.00
SYN907-1 350.20 +1.00 +0.80 Timeout GaveUp 3.00 2.90 0.00
SYN909-1 350.20 +1.50 +1.20 Timeout GaveUp 2.30 2.30 0.00
SYN910-1 Unknown +2.30 +1.80 Timeout GaveUp 5.00 5.20 0.00
SYN912-1 369.80 +3.20 +2.50 Timeout GaveUp 9.80 10.10 0.00
SYN913-1 359.30 +2.40 +1.90 Timeout GaveUp 66.40 Timeout Timeout
TOP003-2 +0.00 +0.00 +0.00 +0.10 +0.00 0.10 0.10 0.00
TOP005-1 +320.10 +4.50 +0.30 Timeout GaveUp Timeout Timeout Timeout
TOP008-1 +89.80 +0.30 +0.20 Timeout GaveUp Timeout Timeout Timeout
TOP010-1 +0.00 +0.20 +0.20 Timeout GaveUp 0.20 14.10 Timeout
TOP013-1 +89.40 +0.30 +0.20 Timeout GaveUp Timeout Timeout Timeout
TOP017-1 +90.00 +0.30 +0.20 Timeout GaveUp Timeout Timeout Timeout
TOP018-1 +89.90 +0.30 +0.20 Timeout GaveUp Timeout Timeout Timeout
Attempted 100 100 100 100 100 100 100 100
Solved 95 94 92 55 46 46 42 35
Av. Time 121.85 4.99 2.94 0.85 8.98 17.77 16.13 0.00
Solutions 65 94 92 55 46 0 0 0
New Attempted 9 9 9 9 9 9 9 9
New Solved 8 8 7 2 4 3 2 2
* 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
10.21p
E-SETHEO
csp04
DCTP
1.31-EPR
DCTP
1.3-EPR
Paradox
1.1-casc
Vampire
7.0
GRP123-1.005 0.20 0.20 0.00 0.00 +0.10 Timeout
GRP123-2.005 0.10 0.20 0.00 0.00 +0.10 Timeout
GRP123-7.005 0.10 0.20 0.00 0.00 +0.10 Timeout
GRP124-1.005 0.20 0.30 0.00 0.00 +0.00 Timeout
GRP124-7.005 0.20 0.30 0.00 0.00 +0.10 Timeout
GRP124-8.005 18.40 18.50 29.90 29.80 +0.10 Timeout
GRP126-2.005 0.10 0.10 0.00 0.00 +0.00 Timeout
GRP127-1.005 0.10 0.20 0.00 0.00 +0.00 Timeout
GRP128-2.006 0.80 0.90 0.00 0.00 0.10 Timeout
GRP128-3.005 0.40 0.50 0.00 0.00 0.10 Timeout
GRP129-2.005 0.10 0.20 0.00 0.00 +0.00 Timeout
GRP131-2.005 1.40 1.50 279.80 312.00 +0.00 Timeout
GRP132-1.005 0.60 0.60 30.00 29.80 +0.10 Timeout
GRP134-2.005 0.20 0.20 0.00 0.00 +0.00 Timeout
GRP135-1.005 1.50 1.50 19.90 19.80 +0.10 Timeout
LAT005-1 1.40 1.40 390.10 350.20 Timeout +558.30
MGT066-1 0.10 0.10 0.00 0.00 +0.00 Timeout
PUZ018-2 0.10 0.10 0.00 0.00 +0.00 Timeout
PUZ036-1.005 0.10 0.20 0.00 0.00 Timeout +0.00
PUZ037-1 0.10 0.20 0.00 0.00 GaveUp +0.00
PUZ037-2 0.90 0.90 0.00 0.00 GaveUp +0.10
PUZ037-3 7.80 7.90 0.00 0.00 GaveUp +3.60
SYN307-1 0.10 0.10 0.00 0.00 +0.00 Timeout
SYN418-1 1.80 1.80 0.00 0.00 +0.40 Timeout
SYN424-1 4.70 4.80 0.00 0.00 +0.60 Timeout
SYN427-1 3.20 3.30 0.00 0.00 +1.10 Timeout
SYN434-1 65.10 197.90 Timeout Timeout +0.20 5.50
SYN440-1 99.90 233.00 Timeout Timeout Timeout +1.10
SYN441-1 93.70 227.50 Timeout Timeout +0.30 5.40
SYN447-1 171.30 304.50 Timeout Timeout 64.00 +0.30
SYN448-1 13.40 13.50 19.80 19.70 3.10 +0.50
SYN449-1 17.00 17.00 60.00 60.00 +0.50 2.70
SYN457-1 105.10 238.40 Timeout Timeout Timeout +0.80
SYN460-1 126.30 259.20 Timeout Timeout 35.70 +0.30
SYN464-1 70.60 203.90 Timeout Timeout +0.20 5.70
SYN470-1 23.50 23.60 69.40 69.20 273.80 +0.90
SYN472-1 25.90 26.00 110.40 110.00 52.60 +0.40
SYN473-1 21.00 21.00 150.00 169.70 341.00 +0.60
SYN474-1 4.40 4.50 30.00 30.00 121.30 +0.60
SYN476-1 56.10 56.20 99.90 110.10 69.50 +1.00
SYN480-1 17.30 17.30 19.90 29.70 15.20 +0.40
SYN481-1 21.80 22.00 50.50 49.80 139.30 +0.90
SYN487-1 21.40 21.40 29.90 29.70 Timeout +4.00
SYN488-1 56.30 56.40 69.80 70.00 257.20 +1.60
SYN489-1 26.10 26.10 19.70 20.00 450.10 +1.00
SYN498-1 32.30 32.40 60.00 60.00 31.80 +0.30
SYN503-1 16.30 16.20 19.90 19.90 31.90 +3.90
SYN511-1 7.30 7.30 20.00 19.60 73.10 +0.50
SYN514-1 1.00 1.10 0.00 0.00 +0.30 Timeout
SYN518-1 1.90 1.90 0.00 0.00 +0.50 Timeout
SYN543-1 56.90 57.10 560.50 560.50 +0.20 Timeout
SYN544-1 0.70 0.70 0.00 0.00 +0.50 Timeout
SYN546-1 5.10 5.20 0.00 0.00 +0.50 Timeout
SYN815-1 28.00 28.00 20.00 220.00 GaveUp 27.00
SYN816-1 26.80 25.90 19.70 210.00 102.00 25.50
SYN817-1 31.90 32.00 18.50 290.40 GaveUp 27.50
SYN820-1 13.00 13.10 9.90 10.00 3.70 +7.00
SYN825-1 36.10 37.20 19.90 80.10 GaveUp GaveUp
SYN828-1 15.10 15.20 0.00 29.80 GaveUp 11.40
SYN829-1 69.90 70.00 39.80 160.10 Unknown GaveUp
SYN830-1 77.80 78.10 37.90 198.10 GaveUp GaveUp
SYN839-1 97.50 92.20 49.90 220.10 GaveUp GaveUp
SYN840-1 92.40 92.40 49.90 259.90 GaveUp GaveUp
SYN846-1 18.50 18.60 9.60 9.80 20.60 +5.10
SYN850-1 23.40 23.40 9.90 59.80 GaveUp +18.70
SYN851-1 21.80 21.80 9.90 49.80 GaveUp 14.50
SYN852-1 124.30 126.70 68.20 328.90 GaveUp GaveUp
SYN854-1 120.30 120.80 69.80 310.00 GaveUp GaveUp
SYN861-1 24.20 24.20 9.90 60.00 GaveUp +19.30
SYN862-1 24.80 24.90 9.90 70.00 GaveUp +19.10
SYN866-1 24.00 24.10 9.80 69.80 GaveUp +18.70
SYN885-1 1.40 1.40 0.00 0.00 19.40 +4.10
SYN886-1 1.20 1.30 0.00 0.00 19.80 +2.80
SYN887-1 1.30 1.40 0.00 0.00 10.40 +3.80
SYN897-1 1.60 1.70 0.00 0.00 24.10 +3.80
SYN898-1 2.30 2.40 0.00 0.00 23.70 +3.70
SYN899-1 2.90 3.00 0.00 0.00 23.10 +3.30
SYN900-1 2.40 2.40 0.00 0.00 21.70 +3.00
SYN901-1 4.40 4.50 0.00 0.00 GaveUp +8.50
SYN914-1* Timeout Timeout Timeout Timeout 0.00 Timeout
Attempted 80 80 80 80 80 80
Solved 79 79 72 72 56 46
Av. Time 26.45 38.28 36.14 66.75 39.90 17.98
Solutions 0 0 0 0 28 37
New Attempted 1 1 1 1 1 1
New Solved 0 0 0 0 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 UEQ

UEQ Waldmeister
704
Waldmeister
702
E-SETHEO
csp04
Vampire
7.0
E
0.82
SOS
1.0
Otter
3.3
BOO022-1 +0.10 +0.10 1.30 +7.10 1.20 +9.40 +4.20
BOO023-1 +0.30 +0.30 0.70 +8.20 0.60 GaveUp GaveUp
BOO067-1 +32.10 +4.40 27.60 +24.30 27.00 +493.90 GaveUp
BOO073-1 +1.40 +0.90 3.90 +28.80 3.80 +9.00 GaveUp
BOO076-1 +44.90 +32.30 Timeout Timeout Timeout Timeout Timeout
COL003-12 +0.00 +0.00 0.30 +1.20 0.10 +0.00 +0.30
COL006-1 +0.20 +1.10 Timeout Timeout Timeout +19.90 GaveUp
COL006-5 +0.00 +0.00 26.30 Timeout 26.30 Timeout Timeout
COL006-6 +0.00 +0.00 Timeout Timeout Timeout +209.90 GaveUp
COL006-7 +0.00 +0.00 Timeout Timeout Timeout +69.90 Timeout
COL011-1 +0.10 +0.10 472.50 Timeout Timeout +0.00 +0.40
COL034-1 +0.10 +0.00 8.20 Timeout 8.00 +0.00 +0.10
COL035-1 +0.00 +0.00 0.20 +25.10 0.00 +0.00 +0.60
COL036-1 +0.10 +0.10 158.00 Timeout 158.00 +0.00 +0.10
COL037-1 +0.10 +0.20 0.70 +572.40 0.50 +0.00 +0.90
COL038-1 +0.30 +0.10 470.00 Timeout Timeout Timeout GaveUp
COL041-1 +0.20 +0.00 2.00 +450.40 1.80 +0.00 +0.10
COL042-1 +0.20 +0.00 Timeout Timeout Timeout Timeout GaveUp
COL044-6 +0.00 +0.00 Timeout Timeout Timeout Timeout Timeout
COL044-7 +0.00 +0.00 Timeout Timeout Timeout +550.50 Timeout
COL044-9 +0.00 +0.00 Timeout Timeout Timeout Timeout Timeout
COL046-1 +0.20 +0.00 13.60 Timeout 13.40 Timeout Timeout
COL049-1 +0.10 +0.20 0.20 +3.80 0.10 +0.00 +0.10
COL057-1 +0.00 +0.10 2.60 Timeout 2.40 +0.00 +0.20
COL060-1 +0.00 +0.00 0.20 +0.10 0.10 +0.00 Timeout
COL061-1 +0.20 +0.30 0.20 +0.10 0.10 +0.00 GaveUp
COL062-1 +0.00 +0.00 0.30 +0.70 0.20 Timeout GaveUp
COL063-1 +0.00 +0.00 0.60 +1.40 0.40 Timeout Timeout
COL064-1 +0.20 +0.20 2.20 +9.10 2.00 Timeout Timeout
COL065-1 +0.90 +1.40 9.90 +70.00 9.20 Timeout Timeout
GRP114-1 +0.10 +0.10 6.50 +18.20 6.70 +29.90 GaveUp
GRP122-1 +0.10 +0.00 0.20 +7.10 0.10 +0.00 +31.00
GRP164-1 +22.20 +22.10 Timeout Timeout Timeout Timeout GaveUp
GRP167-4 +5.20 +0.60 4.00 +15.10 3.90 +9.60 GaveUp
GRP177-2 +2.50 +1.50 Timeout Timeout Timeout +0.00 GaveUp
GRP179-1 +2.80 +0.40 2.10 +15.50 2.30 GaveUp GaveUp
GRP179-2 +0.40 +0.40 2.10 +15.40 2.00 +10.00 GaveUp
GRP179-3 +0.40 +0.40 4.00 +15.00 3.80 +110.10 GaveUp
GRP180-1 +0.60 +0.60 16.50 +19.40 16.40 +60.00 GaveUp
GRP181-1 +3.70 +4.80 10.40 +23.30 10.20 +20.00 GaveUp
GRP181-4 +4.60 +3.20 11.90 +4.10 11.70 +0.00 +3.40
GRP183-1 +1.50 +0.40 2.60 +188.40 2.50 +9.90 GaveUp
GRP183-2 +1.60 +0.40 3.70 +189.30 3.60 +59.80 GaveUp
GRP183-4 +0.40 +0.40 5.00 +189.10 3.90 +9.90 GaveUp
GRP185-2 +0.10 +0.10 Timeout +332.70 Timeout Timeout GaveUp
GRP185-4 +0.00 +0.00 Timeout Timeout Timeout +9.90 +114.20
GRP186-1 +0.50 +0.50 2.40 +15.40 1.90 +129.20 GaveUp
GRP187-1 +10.00 +12.20 8.90 +395.70 8.60 GaveUp GaveUp
GRP200-1 +0.20 +0.10 1.60 +4.70 1.30 +30.00 GaveUp
GRP201-1 +0.10 +0.10 1.70 +7.20 1.60 Timeout GaveUp
GRP202-1 +0.20 +0.20 2.10 +7.30 1.90 Timeout GaveUp
GRP205-1 +0.20 +0.20 2.20 +7.20 2.10 Timeout GaveUp
GRP404-1 +0.10 +0.10 0.50 +7.70 0.40 +60.00 +152.90
GRP410-1 +0.50 +0.40 1.10 +4.10 0.90 +0.00 GaveUp
GRP411-1 +0.30 +0.20 1.80 +5.30 1.60 +0.00 GaveUp
GRP420-1 +0.00 +0.90 0.40 +5.90 0.30 +39.80 +124.60
GRP421-1 +0.00 +0.10 0.20 +1.00 0.10 +20.00 +0.40
GRP422-1 +0.20 +0.30 0.40 +4.40 0.20 +40.00 +5.10
GRP423-1 +0.10 +0.20 0.30 +4.40 0.20 +39.90 GaveUp
GRP441-1 +0.10 +0.10 0.50 +3.20 0.40 +110.00 GaveUp
GRP444-1 +0.10 +0.10 0.30 +4.10 0.20 +39.80 GaveUp
GRP505-1 +6.00 +2.70 Timeout +20.00 Timeout Timeout Timeout
GRP506-1 +6.30 +2.90 Timeout +19.50 Timeout Timeout Timeout
GRP507-1 +6.50 +3.40 Timeout +25.40 Timeout Timeout Timeout
GRP508-1* +6.20 +2.80 Timeout +21.30 Timeout Timeout Timeout
LAT006-1 +0.00 +0.00 0.50 +1.40 0.30 +0.00 +1.50
LAT007-1 +0.00 +0.10 1.00 +7.00 0.80 +19.90 GaveUp
LAT020-1 +19.00 +8.40 72.10 +454.50 74.60 Timeout +15.70
LAT022-1 +0.90 +4.30 11.40 +10.50 11.30 +9.90 +15.60
LAT023-1 +1.10 +3.50 1.90 +9.60 1.70 +0.00 +12.70
LAT081-1 +3.80 Unknown 0.60 +16.30 0.40 GaveUp GaveUp
LAT082-1 +4.00 Unknown 1.50 +36.40 1.40 GaveUp GaveUp
LAT084-1 +4.50 Unknown 2.30 +16.70 2.20 GaveUp GaveUp
LAT085-1 +4.80 Unknown 13.20 +40.30 12.90 GaveUp GaveUp
LAT086-1 +3.70 Unknown 0.50 +5.90 0.40 GaveUp GaveUp
LAT095-1 +2.00 Unknown 0.40 +20.40 0.20 GaveUp GaveUp
LCL109-2 +0.30 +0.30 0.80 +24.20 0.70 +49.80 GaveUp
LCL111-2 +0.20 +0.20 0.70 +2.00 0.60 +0.00 +0.40
LCL138-1 +0.20 +0.20 0.70 +2.30 0.60 +0.00 +3.10
LCL162-1 +0.00 +0.10 Timeout +11.20 Timeout +0.00 +22.30
LCL163-1 +0.00 +0.10 200.90 +0.40 199.00 +19.80 GaveUp
RNG009-5 +0.70 +0.70 4.50 +12.50 4.40 Timeout GaveUp
RNG009-7 +0.70 +0.70 2.80 +4.80 2.70 Timeout GaveUp
RNG020-6 +0.00 +0.00 0.20 +0.00 0.00 +19.80 +0.10
RNG020-7 +0.00 +0.00 0.20 +0.00 0.00 +19.90 +0.10
RNG021-6 +0.00 +0.00 0.20 +0.00 0.10 +28.90 +2.50
RNG021-7 +0.00 +0.00 0.20 +0.00 0.10 +9.90 +0.10
RNG025-4 +0.30 +0.10 Timeout Timeout Timeout +47.60 +2.60
RNG025-5 +0.30 +0.10 Timeout Timeout Timeout +179.90 +11.60
RNG025-6 +0.00 +0.00 4.90 +262.60 4.70 GaveUp +22.10
RNG025-7 +0.00 +0.00 6.00 +212.00 5.90 +50.00 GaveUp
RNG026-6 +0.00 +0.00 0.20 +0.00 0.10 Timeout GaveUp
RNG026-7 +0.00 +0.00 0.20 +0.00 0.10 Timeout GaveUp
RNG027-5 +1.90 +1.50 Timeout Timeout Timeout Timeout GaveUp
RNG027-9 +2.90 +1.90 Timeout Timeout Timeout Timeout GaveUp
RNG029-5 +1.00 +1.10 Timeout Timeout Timeout Timeout GaveUp
RNG029-6 +2.30 +1.10 Timeout Timeout Timeout Timeout GaveUp
RNG029-7 +2.30 +1.10 Timeout Timeout Timeout Timeout GaveUp
ROB006-1 +7.20 +9.70 Timeout Timeout Timeout Timeout GaveUp
ROB006-2 +5.70 +7.20 Timeout Timeout Timeout Timeout GaveUp
Attempted 100 100 100 100 100 100 100
Solved 100 94 74 73 72 58 31
Av. Time 2.35 1.56 21.93 54.11 9.29 45.79 17.71
Solutions 100 94 0 73 0 58 31
New Attempted 1 1 1 1 1 1 1
New Solved 1 1 0 1 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 HNE

HNE Vampire
7.0
Vampire
6.0
E-SETHEO
csp04
E
0.82
EP
0.82
DCTP
10.21p
DCTP
1.31
THEO
J2004
Otter
3.3
SOS
1.0
ANA003-2 +11.70 +209.10 24.70 18.10 +26.20 Timeout WCout Timeout GaveUp Timeout
LCL012-1 +21.60 +6.90 22.50 3.10 +5.80 Timeout Timeout Timeout +20.00 +189.60
LCL018-1 +21.60 +8.10 7.50 0.40 +0.90 187.10 Timeout Timeout +18.90 +411.00
LCL052-1 +12.90 +0.20 13.50 6.40 +8.60 33.50 Timeout Timeout +1.00 +9.80
LCL068-1 +15.40 +9.40 1.30 0.30 +0.70 0.40 0.00 +430.00 +9.20 +0.00
LCL166-1 +22.10 +47.00 8.50 0.30 +0.80 Timeout Timeout Timeout +35.90 Timeout
LCL191-1 +63.50 +4.40 242.00 235.20 +233.50 134.00 0.00 Timeout GaveUp +0.00
LCL195-1 +32.70 +2.50 0.60 593.40 Timeout 20.40 0.00 +2.40 GaveUp +0.00
LCL221-1 +84.80 +172.00 1.80 Timeout Timeout 21.20 Timeout +420.20 GaveUp GaveUp
LCL225-1 +10.00 +18.70 24.70 4.30 +6.40 Timeout 260.20 Timeout GaveUp GaveUp
LCL227-1 +11.90 +233.50 Timeout Timeout Timeout Timeout Timeout Timeout GaveUp GaveUp
LCL253-1 +247.90 +438.30 17.40 Timeout Timeout Timeout Timeout Timeout GaveUp GaveUp
PLA004-2 +0.00 +67.70 6.20 0.00 +0.10 0.10 0.00 +2.80 Timeout Timeout
PLA005-2 +0.00 +67.70 6.20 0.00 +0.10 0.10 0.00 +325.20 Timeout Timeout
PLA009-2 +0.10 +67.80 6.20 0.00 +0.10 0.10 0.00 +19.40 Timeout Timeout
PLA011-1 +0.00 +67.70 6.20 0.00 +0.10 0.10 0.00 +226.60 Timeout Timeout
PLA012-1 +0.00 +68.00 6.40 0.10 +0.20 4.20 Unknown Timeout Timeout Timeout
PLA021-1 +0.10 +67.80 6.20 0.00 +0.10 0.10 9.20 +411.40 Timeout Timeout
PLA023-1 +0.10 +67.70 6.60 0.10 +0.20 4.30 Timeout Timeout Timeout Timeout
PUZ039-1 +60.30 +0.10 1.60 3.80 +4.20 21.60 0.00 Timeout +1.70 Unknown
PUZ040-1 +60.40 +0.10 0.20 0.10 +0.10 20.10 0.00 Timeout +0.10 Unknown
PUZ042-1 +60.40 +0.20 2.40 49.90 +48.40 22.40 0.00 Timeout +2.50 Unknown
RNG001-2 +17.00 +115.10 584.50 Timeout Timeout 153.90 Timeout +5.80 +244.10 Timeout
RNG001-5 +2.60 +127.00 18.50 15.00 +23.00 131.40 Timeout +3.00 +197.90 Timeout
RNG004-3 +67.90 +190.50 89.20 65.00 +77.10 Timeout WCout +6.90 +10.50 +0.00
SWV014-1 +0.00 +67.40 6.20 0.00 +0.10 Timeout WCout +10.20 Timeout Timeout
SYN311-1 +0.00 +22.90 6.20 0.00 +0.10 0.10 0.00 +0.10 GaveUp GaveUp
SYN312-1 +4.70 +3.90 6.20 0.00 +0.10 0.10 0.00 +1.00 GaveUp GaveUp
SYN597-1 +206.90 +68.10 6.20 2.10 +2.50 0.10 Timeout +0.10 GaveUp +360.00
SYN602-1 +34.10 +67.70 0.50 3.60 +5.70 0.10 0.00 +0.40 +24.20 +9.30
SYN603-1 +211.10 +67.60 3.00 3.10 +5.50 95.70 70.00 +0.50 Timeout +9.90
SYN653-1 +16.80 +0.10 0.20 22.40 +24.50 0.30 0.00 Timeout Timeout Timeout
SYN704-1 +0.10 +0.10 0.20 4.30 +7.00 0.30 0.00 +0.50 +0.10 +9.90
SYN708-1 +4.50 +0.20 6.20 30.40 +37.50 2.00 Timeout +1.60 Timeout Timeout
SYN711-1 +0.10 +0.10 0.30 6.80 +9.20 0.10 0.00 Unknown GaveUp +319.80
Attempted 35 35 35 35 35 35 35 35 35 35
Solved 35 35 34 31 30 27 19 19 13 12
Av. Time 37.24 67.30 33.53 34.46 17.63 31.62 17.86 98.32 43.55 109.94
Solutions 35 35 0 0 30 0 0 19 13 12
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 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 HEQ

HEQ E
0.82
E-SETHEO
csp04
EP
0.82
Vampire
7.0
Vampire
6.0
DCTP
10.21p
SOS
1.0
DCTP
1.31
Otter
3.3
THEO
J2004
ANA003-1 0.20 3.30 +0.40 +7.10 +333.80 Timeout Timeout Timeout GaveUp Timeout
ANA004-1 29.60 34.50 +39.50 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
ANA005-1 28.50 31.80 +38.50 Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
COL003-10 34.30 37.40 +46.60 +67.80 +56.70 Timeout Timeout Timeout GaveUp Timeout
COL003-7 34.20 37.40 +49.40 +67.80 +56.80 Timeout Timeout Timeout GaveUp Timeout
COL003-9 34.80 37.40 +45.10 +67.70 +56.80 GaveUp Timeout Timeout GaveUp Timeout
COL006-2 7.40 10.60 +9.30 +3.70 +213.00 Timeout Timeout Timeout GaveUp Timeout
COL006-3 Timeout Timeout Timeout +266.00 Timeout Timeout Timeout Timeout GaveUp Timeout
COL006-4 Timeout Timeout Timeout +261.60 Timeout Timeout Timeout Timeout GaveUp Timeout
COL043-2 0.30 3.50 +0.90 +62.70 +49.70 0.10 Timeout Timeout Timeout Timeout
COL044-2 0.20 3.30 +0.60 +62.80 +17.40 0.10 Timeout Timeout Timeout Timeout
COL044-3 0.30 3.40 +0.70 +62.70 +17.30 128.70 Timeout Timeout Timeout Timeout
COL044-4 0.20 3.30 +0.60 +8.10 +17.80 Timeout Timeout Timeout Timeout Timeout
HWC003-1 0.00 3.20 +0.10 +264.10 Timeout 4.20 +379.60 39.50 Timeout Timeout
HWC003-2 0.00 3.30 +0.10 +262.20 Timeout 4.10 +9.90 0.00 GaveUp Timeout
HWV002-1 50.40 53.90 +72.10 +14.30 +100.90 Timeout GaveUp Unknown GaveUp Timeout
HWV003-1 53.90 57.90 72.80 Timeout Timeout Timeout GaveUp Unknown GaveUp Timeout
LAT001-1 Timeout Timeout Timeout +197.80 +94.80 Timeout GaveUp Unknown GaveUp Timeout
LAT002-1 1.40 4.60 +5.00 +497.20 Timeout Timeout GaveUp Unknown GaveUp Timeout
LAT041-1 Timeout Timeout Timeout +109.70 +87.70 Timeout Timeout Timeout GaveUp Timeout
LCL109-4 24.20 27.30 +33.70 +7.80 +37.30 Timeout Timeout Unknown Timeout Timeout
LCL152-1 17.80 21.00 +24.60 +126.80 Timeout Timeout Timeout Unknown Timeout Timeout
LCL222-3 52.30 55.60 +63.10 +53.00 Timeout Timeout GaveUp Timeout GaveUp Timeout
LCL237-3 0.40 0.20 +1.00 +0.00 +10.70 8.40 +59.50 0.00 +1.10 +15.30
LCL243-3 2.50 5.60 +4.90 +8.60 Timeout Timeout Timeout Timeout GaveUp Timeout
LCL249-3 0.40 3.50 +0.80 +0.10 +13.60 21.40 +169.80 Timeout +77.20 Timeout
LCL253-3 2.60 5.70 +5.00 +2.40 +435.80 Timeout GaveUp Timeout GaveUp Timeout
LCL278-3 19.90 23.10 +25.20 +37.10 Timeout Timeout Timeout Timeout GaveUp Timeout
LCL324-3 46.50 49.90 +58.60 +273.80 Timeout Timeout GaveUp Timeout GaveUp Timeout
LCL341-3 1.30 4.40 +2.80 +0.10 +38.40 127.30 Timeout Timeout GaveUp Timeout
PUZ056-1* 222.20 225.80 305.00 Timeout Timeout Timeout +0.00 Timeout +0.90 Timeout
ROB014-1 12.00 15.10 +16.90 +221.70 +501.10 Timeout Timeout Unknown GaveUp Timeout
ROB015-2 2.10 5.20 +3.90 +128.50 Timeout Timeout +169.60 Timeout Timeout Timeout
ROB018-1 403.70 404.90 440.20 +114.30 +339.80 Timeout Timeout Unknown GaveUp Timeout
ROB019-1 399.80 403.90 443.30 +114.20 +341.50 Timeout Timeout Unknown GaveUp Timeout
Attempted 35 35 35 35 35 35 35 35 35 35
Solved 31 31 31 31 20 8 6 3 3 1
Av. Time 47.85 50.97 58.41 108.76 141.05 36.79 131.40 13.17 26.40 15.30
Solutions 0 0 27 31 20 0 6 0 3 1
New Attempted 1 1 1 1 1 1 1 1 1 1
New Solved 1 1 1 0 0 0 1 0 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 NNE

NNE Vampire
7.0
E
0.82
EP
0.82
E-SETHEO
csp04
Vampire
6.0
DCTP
10.21p
THEO
J2004
DCTP
1.31
SOS
1.0
Otter
3.3
ANA002-1 +1.80 38.50 +50.70 7.70 +2.70 Timeout Timeout Timeout Timeout Timeout
ANA003-4 +0.10 0.00 +0.10 1.60 +0.10 WCout +80.70 Timeout GaveUp GaveUp
ANA004-4 +0.10 0.00 +0.10 1.10 +15.90 WCout +388.80 Timeout GaveUp GaveUp
COM003-1 +0.10 0.10 +0.20 2.00 +0.20 21.70 Timeout 0.00 Timeout Timeout
COM005-1* +61.90 Timeout Timeout Timeout +82.70 Timeout Timeout Timeout Timeout Timeout
FLD007-1 +86.40 Timeout Timeout Timeout Timeout Timeout +9.90 Timeout Timeout Timeout
FLD009-1 +0.90 18.60 +28.20 11.30 +99.90 Timeout +29.10 Timeout Timeout Timeout
FLD023-1 +0.10 0.10 +0.40 1.20 +4.60 0.20 +0.10 Timeout Timeout Timeout
FLD031-1 +0.10 0.10 +0.40 11.20 +0.10 147.30 +2.00 173.60 Timeout Timeout
FLD047-4 +3.80 309.00 +310.50 Timeout +11.00 Timeout +230.40 Unknown Timeout Timeout
FLD050-4 +5.40 23.70 +36.10 56.80 +0.60 62.10 +1.00 0.00 +450.30 +16.30
FLD060-2 +2.20 0.10 +0.30 3.10 +5.60 33.60 +8.80 0.00 Timeout Timeout
FLD062-3 +2.80 5.70 +9.10 106.70 Timeout 46.30 +1.70 Timeout Timeout Timeout
FLD063-1 +15.60 125.70 +140.20 187.40 Timeout Timeout +29.00 Timeout Timeout Timeout
GRP039-6 +0.20 0.80 +1.80 32.20 +0.60 12.80 Timeout 0.00 Timeout Timeout
PUZ035-7 +0.00 0.00 +0.10 0.20 +0.00 0.10 +0.30 0.00 +309.60 Timeout
SET010-1 +5.10 25.80 +29.00 2.00 +20.10 0.10 +1.40 0.00 Timeout Timeout
SET013-1 +0.00 4.00 +7.40 11.60 +1.10 Timeout +0.90 Timeout Timeout Timeout
SET013-2 +0.10 12.90 +19.50 74.10 +4.60 35.10 Timeout 0.00 +459.80 +314.30
SET015-1 +10.80 4.80 +9.10 11.10 +1.00 Timeout +2.00 Timeout Timeout Timeout
SYN036-1 +0.10 14.40 +19.20 0.50 +0.10 1.40 Timeout Timeout Timeout Timeout
SYN036-4 +0.00 0.10 +0.20 0.10 +0.10 0.10 Timeout 0.00 +39.50 +19.20
SYN067-1 +60.50 6.90 +9.50 6.80 +7.50 5.70 Timeout 29.70 Timeout Timeout
SYN067-2 +61.00 22.50 +28.80 83.80 +29.20 12.00 Timeout 49.70 Timeout Timeout
SYN314-1.002.001 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout GaveUp Timeout
SYN353-1 +0.00 0.00 +0.10 0.20 +0.00 Timeout Timeout Timeout Timeout Timeout
SYN609-1 +60.50 2.40 +3.50 0.20 Timeout 22.10 +5.60 Timeout Timeout Timeout
SYN610-1 +60.50 33.00 +36.30 0.20 Timeout 22.20 +4.10 Timeout Timeout Timeout
SYN611-1 +60.60 1.80 +2.50 0.20 +249.40 22.10 +0.20 Timeout Timeout Timeout
SYN612-1 +60.60 2.90 +4.00 0.20 +16.40 22.10 +0.20 Timeout Timeout Timeout
SYN650-1 +196.60 0.90 +1.40 11.20 Timeout 8.80 Timeout Timeout Timeout Timeout
SYN755-1 +0.20 0.10 +0.20 0.20 +0.20 0.10 Timeout 0.00 Timeout Timeout
SYN758-1 +60.80 8.50 +9.40 1.00 +83.30 0.50 Timeout Timeout Timeout Timeout
SYN796-1 +4.40 0.10 +0.20 2.00 +2.90 0.70 Timeout Timeout Timeout Timeout
SYN802-1 +66.20 7.20 +9.70 68.50 +197.00 Timeout Timeout Timeout Timeout Timeout
Attempted 35 35 35 35 35 35 35 35 35 35
Solved 34 32 32 31 28 22 19 12 4 3
Av. Time 26.16 20.96 24.01 22.46 29.89 21.69 41.91 21.08 314.80 116.60
Solutions 34 0 32 0 28 0 19 0 4 3
New Attempted 1 1 1 1 1 1 1 1 1 1
New Solved 1 0 0 0 1 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
7.0
E-SETHEO
csp04
Vampire
6.0
E
0.82
EP
0.82
DCTP
10.21p
THEO
J2004
DCTP
1.31
Otter
3.3
SOS
1.0
ALG012-1* +2.30 18.60 +39.50 17.70 +25.00 22.40 Timeout 109.60 Timeout Timeout
CAT004-3 +75.10 40.80 +22.80 22.70 +40.40 Timeout +0.40 Timeout +307.10 Timeout
CAT009-3 +1.80 0.30 +0.10 1.20 +3.80 Timeout +197.50 Timeout Timeout Timeout
COL088-2* +64.80 280.40 +200.20 Timeout Timeout Timeout +4.40 Timeout Timeout Timeout
COL089-1* +0.00 0.50 +0.20 Timeout Timeout 19.10 +0.20 9.80 Timeout Timeout
COL089-2* +64.90 281.40 Timeout Timeout Timeout Timeout +5.80 Timeout Timeout Timeout
COL090-2* Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL090-3* +28.70 0.20 +1.90 143.50 +157.40 0.10 +0.20 0.00 GaveUp GaveUp
COL091-1* +0.00 19.20 +0.10 0.00 +0.10 0.10 +0.10 0.00 Timeout Timeout
COL091-2* GaveUp 326.00 +302.60 Timeout Timeout 59.50 +97.60 0.00 Timeout Timeout
COL092-1* +0.10 40.70 +9.50 21.40 +27.80 26.20 +149.60 0.00 Timeout Timeout
COL092-2* Timeout Timeout Timeout Timeout Timeout Timeout Timeout 29.90 Timeout Timeout
COL093-1* +0.00 37.40 +21.10 18.20 +19.60 26.20 +154.10 0.00 Timeout Timeout
COL093-2* GaveUp Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL098-2* +471.90 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
COL099-2* +119.20 1.80 Timeout Timeout Timeout 0.30 +2.80 0.00 Timeout Timeout
GEO006-1 +2.90 0.20 +4.50 0.00 +0.10 1.20 Timeout Timeout +254.40 +299.90
GEO007-1 +40.10 0.30 +56.30 0.00 +0.10 121.00 +535.30 Timeout Timeout Timeout
GEO008-1 +183.60 19.00 +304.80 0.80 +1.60 Timeout Timeout Timeout Timeout Timeout
GEO026-2 +44.00 1.70 +58.20 3.00 +5.10 0.50 +1.00 Timeout +0.30 +9.80
GEO030-3 +0.20 40.80 +566.30 34.80 +48.30 0.30 +0.10 Timeout +3.50 +0.00
GEO036-2 +0.00 0.30 +0.10 0.00 +0.10 84.80 +2.30 Timeout +8.50 +9.80
GEO043-3 +3.70 0.40 +1.50 0.00 +0.10 0.50 +0.30 0.00 +88.60 +39.00
GEO045-2 +74.60 Timeout +29.50 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
GEO083-1 +71.80 1.80 +37.10 Timeout Timeout 22.60 +0.20 Timeout Timeout Timeout
GEO146-1 +0.10 0.50 +0.20 0.10 +0.20 14.90 +1.20 Timeout Timeout Timeout
GRP039-1 +0.10 0.20 +17.30 0.00 +0.10 1.80 Timeout 29.70 Timeout Timeout
GRP039-2 +0.40 0.40 +0.00 0.20 +0.40 0.70 Timeout 0.00 Timeout Timeout
GRP039-4 +0.20 0.30 +10.50 0.00 +0.20 Timeout +226.50 Unknown Timeout Timeout
GRP039-5 +0.50 1.50 +0.00 0.10 +0.20 27.50 Timeout 0.00 Timeout Timeout
GRP039-7 +0.30 1.80 +0.00 0.10 +0.30 62.80 459.70 0.00 Timeout Timeout
GRP040-3 +0.30 0.60 +9.50 0.10 +0.30 26.50 Timeout Timeout +88.80 +239.30
GRP040-4 +0.00 0.30 +2.10 0.20 +0.40 0.10 +0.90 0.00 +96.60 +59.80
HWV017-2 +45.20 19.50 +54.60 0.80 +1.90 58.90 +487.70 0.00 Timeout Timeout
HWV018-2 +0.10 0.60 +0.10 0.10 +0.20 26.30 +4.60 0.00 Timeout Timeout
HWV029-1 +191.60 4.90 +274.60 3.10 +6.20 Timeout Timeout Timeout Timeout Timeout
HWV033-1 Timeout 3.10 +572.90 0.30 +0.80 Timeout +6.40 Timeout Timeout Timeout
LAT003-1 Timeout 44.90 Timeout 26.40 +40.00 Timeout Timeout Timeout Timeout Timeout
MGT029-1 +0.90 0.30 +157.80 0.10 +0.30 0.20 Timeout 0.00 Timeout Timeout
MGT035-1 +2.10 13.90 +157.90 0.20 +0.50 1.00 Timeout 0.00 Timeout Timeout
MGT039-2 +2.40 11.30 +157.80 0.40 +0.70 0.50 +299.50 0.00 Timeout GaveUp
MGT051-1 +5.40 0.80 +23.70 1.20 +2.50 345.20 +8.00 Timeout Timeout Timeout
MGT060-1 +0.00 1.70 +1.50 4.90 +12.90 0.10 +1.50 0.00 +0.10 +80.00
MGT063-1 +0.20 0.30 +14.80 0.00 +0.10 4.80 Timeout Timeout Timeout Timeout
NUM007-1 Timeout 205.30 Timeout 186.40 224.50 Timeout Timeout Timeout Timeout Timeout
NUM011-1 +60.60 13.00 +24.90 15.10 +19.80 Timeout Timeout Timeout Timeout Timeout
SET012-3 +0.40 Timeout +15.10 293.10 +308.80 Timeout +60.10 Timeout Timeout Timeout
SET014-3 +90.00 Timeout Timeout Timeout Timeout Timeout +20.70 Timeout Timeout Timeout
SET014-4 +70.70 9.40 +59.50 7.60 +11.60 Timeout +0.20 Timeout Timeout Timeout
SET016-3 +34.80 Timeout +14.60 Timeout Timeout 150.10 Timeout Timeout Timeout Timeout
SET019-4 +8.70 0.40 +186.40 21.30 +29.20 205.20 +2.10 Timeout +1.60 +170.10
SET021-3 Timeout 0.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET022-3 +60.60 6.70 +14.10 5.30 +7.60 Timeout +13.20 Timeout Timeout Timeout
SET025-8 +0.10 0.40 +0.20 0.10 +0.10 0.60 +56.70 0.00 Timeout Timeout
SET031-3 +76.90 19.50 +287.10 17.30 +19.30 Timeout +3.70 Timeout Timeout Timeout
SET041-3 +7.40 0.40 +12.80 27.60 +29.40 3.70 +3.20 0.00 Timeout Timeout
SET082-6 +0.60 7.50 +0.30 0.10 +0.20 26.80 +1.00 Timeout +2.20 +129.80
SET121-7 +15.80 15.10 +11.70 11.90 +24.50 60.90 +4.00 Unknown Timeout Timeout
SET199-6 +0.10 0.40 +14.30 0.70 +1.40 110.70 +1.20 190.10 Timeout Timeout
SET215-6 +0.80 Timeout Timeout Timeout Timeout WCout Timeout Timeout Timeout Timeout
SET230-6 +2.40 Timeout +218.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET235-6 +0.00 11.40 +117.20 1.20 +2.50 35.80 +10.20 119.80 Timeout Timeout
SET260-6 +21.60 Timeout +22.20 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET386-6 +0.20 0.80 +0.40 0.00 +0.20 26.50 +1.10 10.00 +273.50 Timeout
SET787-1* +67.90 0.20 +6.30 Timeout Timeout 26.20 +0.10 0.00 +0.20 +0.00
SET787-2* Timeout Timeout Timeout Timeout Timeout Timeout +101.90 Timeout Timeout Timeout
SWC113-1 Timeout 9.00 Timeout 8.70 +17.90 185.10 Timeout WCout Timeout Timeout
SWC123-1 +26.00 0.80 +187.40 0.60 +1.60 Timeout Timeout WCout Timeout Timeout
SWC166-1 +7.20 44.90 Timeout 44.50 +57.20 Timeout Timeout WCout Timeout Timeout
SWC286-1 +0.10 0.20 +0.10 0.10 +0.20 0.70 Timeout 0.00 +185.10 +230.20
SWC293-1 +0.10 0.20 +0.00 0.10 +0.20 1.40 Timeout 0.00 Timeout Timeout
SWC295-1 +487.10 1.80 +546.10 1.60 +4.10 Timeout Timeout WCout Timeout Timeout
SWC375-1 +0.00 0.20 +0.00 0.00 +0.10 0.30 Timeout 0.00 +0.20 +0.00
SYN076-1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout WCout Timeout Timeout
SYN077-1 +0.00 0.30 +0.00 0.00 +0.10 0.10 +435.30 0.00 Timeout Timeout
Attempted 75 75 75 75 75 75 75 75 75 75
Solved 64 62 60 55 55 45 43 31 15 13
Av. Time 39.68 25.28 80.85 17.18 21.06 39.78 78.20 16.09 87.38 97.52
Solutions 64 0 60 0 54 0 42 0 15 13
New Attempted 16 16 16 16 16 16 16 16 16 16
New Solved 11 11 9 5 5 9 11 10 1 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 PEQ

PEQ Vampire
7.0
E-SETHEO
csp04
Vampire
6.0
E
0.82
EP
0.82
SOS
1.0
Otter
3.3
DCTP
1.31
DCTP
10.21p
THEO
J2004
ALG004-1 +122.30 473.90 +65.40 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
BOO038-1 +93.80 3.70 +58.40 3.60 +9.00 +9.60 GaveUp Timeout Timeout Timeout
COL076-2 Timeout 0.10 Timeout 0.00 +0.10 Timeout GaveUp Timeout Timeout Timeout
COL078-1 Timeout 1.90 +201.40 1.80 +4.70 Timeout Timeout Timeout Timeout Timeout
COL079-2 +34.40 347.80 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
GRP054-1 +181.40 0.40 +66.80 0.30 +0.80 GaveUp GaveUp Timeout Timeout Timeout
GRP084-1* +374.60 WCout +48.30 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
GRP086-1* +0.00 0.10 +0.10 0.00 +0.10 +9.90 +0.10 0.00 3.20 Timeout
GRP113-1 Timeout 21.70 Timeout 21.50 +34.80 Timeout Timeout Timeout Timeout Timeout
GRP197-1 +40.30 347.70 +485.70 Timeout GaveUp Timeout Timeout Timeout Timeout Timeout
GRP198-1 +40.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
GRP199-1 +122.70 WCout +532.70 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
GRP273-1 +5.50 0.50 +5.00 0.40 +0.80 Timeout Timeout Timeout Timeout Timeout
GRP401-1 +34.40 27.50 +42.20 26.60 +35.80 Timeout Timeout Timeout Timeout Timeout
LAT015-1 +28.00 13.00 +18.10 12.80 +27.70 GaveUp GaveUp Unknown GaveUp Timeout
LAT036-1 Timeout Timeout Timeout Timeout Timeout +0.00 +1.80 Timeout Timeout Timeout
LAT066-1 +16.60 11.50 +171.30 11.60 +25.70 Timeout GaveUp Timeout Timeout Timeout
LCL109-3 +0.70 2.90 +23.80 2.70 +8.70 +189.70 +451.00 Timeout Timeout +37.90
RNG025-1 +41.80 25.60 Timeout 24.70 +34.50 Timeout Timeout Unknown Timeout Timeout
RNG029-3 +3.60 4.70 +28.60 4.50 +8.80 Timeout Timeout Timeout Timeout Timeout
Attempted 20 20 20 20 20 20 20 20 20 20
Solved 16 16 14 13 13 4 3 1 1 1
Av. Time 71.30 80.19 124.84 8.50 14.73 52.30 150.97 0.00 3.20 37.90
Solutions 16 0 14 0 13 4 3 0 0 1
New Attempted 2 2 2 2 2 2 2 2 2 2
New Solved 2 1 2 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: MIX FOF SAT EPR UEQ HNE HEQ NNE NEQ PEQ FNE FEQ SNE SEQ EPT EPS

Results for FNE

FNE E-SETHEO
csp04
Vampire
7.0
Vampire
5.0
E
0.82
EP
0.82
DCTP
10.21p
Dilemma
0.1
Otter
3.3
AGT006+1* 11.40 GaveUp Timeout Timeout Timeout 0.60 Timeout +7.60
COM003+1 61.80 +0.20 +0.00 0.40 +0.90 256.30 0.20 Timeout
COM003+3 0.20 +0.30 +0.10 0.10 +0.20 0.80 0.20 Timeout
NLP001+1 0.30 +0.10 +0.00 0.20 +0.40 0.20 0.10 Timeout
NLP079+1 99.90 +25.50 +10.90 26.80 +29.50 Timeout Timeout GaveUp
NLP080+1 92.60 +22.20 +11.10 25.40 +28.90 Timeout Timeout GaveUp
NLP094+1 116.90 +0.90 +0.20 60.70 +69.00 40.90 0.20 Timeout
NLP117+1 0.40 +0.30 +0.10 0.20 +0.50 0.40 0.10 Timeout
NLP122+1 0.40 +0.20 +0.00 0.20 +0.50 0.30 0.10 Timeout
SET009+3 0.20 +0.00 +0.00 0.00 +0.10 0.10 0.00 +0.00
SET588+3 0.20 +0.00 +0.00 0.40 +0.90 0.10 0.00 +1.00
SWV014+1 6.20 +0.00 +0.00 0.00 +0.10 Timeout Timeout Timeout
SYN067+1 78.80 +5.80 +0.10 15.50 +18.10 11.60 Timeout Timeout
SYN332+1 0.20 +0.00 +0.00 0.00 +0.10 0.10 Timeout GaveUp
SYN353+1 0.20 +0.00 +0.00 0.00 +0.10 Timeout Timeout Timeout
SYN462+1 4.80 +0.70 +0.10 20.30 +29.10 4.80 Timeout Timeout
SYN471+1 22.00 +1.30 +0.30 21.20 +28.90 21.90 Timeout Timeout
SYN474+1 6.00 +2.20 +0.20 47.90 +56.80 5.90 Timeout Timeout
SYN488+1 57.10 +1.50 +0.90 57.00 +66.60 57.00 Timeout Timeout
SYN489+1 24.40 +1.70 +0.30 60.40 +80.70 24.30 Timeout Timeout
SYN499+1 6.30 +0.80 +0.40 10.20 +15.90 6.20 Timeout Timeout
SYN548+1 49.50 +0.10 +101.30 16.40 +19.10 0.20 Timeout +105.10
SYN550+1 49.20 +0.20 +0.10 29.70 +39.30 0.40 0.20 Timeout
Attempted 23 23 23 23 23 23 23 23
Solved 23 22 22 22 22 19 9 4
Av. Time 29.96 2.91 5.73 17.86 22.08 22.74 0.12 28.42
Solutions 0 22 22 0 22 0 0 4
New Attempted 1 1 1 1 1 1 1 1
New Solved 1 0 0 0 0 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 FEQ

FEQ Vampire
7.0
Vampire
5.0
E-SETHEO
csp04
E
0.82
EP
0.82
DCTP
10.21p
Otter
3.3
Dilemma
0.1
ALG033+1* GaveUp Unknown GaveUp GaveUp GaveUp GaveUp GaveUp Timeout
ALG042+1* +0.10 +0.10 1.30 0.10 +0.20 1.30 +9.00 Timeout
ALG043+1* GaveUp Unknown GaveUp GaveUp GaveUp GaveUp GaveUp Timeout
ALG060+1* GaveUp Unknown GaveUp GaveUp GaveUp GaveUp GaveUp Timeout
ALG071+1* +1.50 +0.60 88.50 83.60 +93.80 Timeout GaveUp Timeout
ALG072+1* +49.60 +43.20 Timeout Timeout Timeout Timeout GaveUp Timeout
ALG079+1* +0.30 +0.20 9.90 0.10 +0.20 9.90 +17.50 Timeout
ALG087+1* +0.20 +0.10 11.40 0.10 +0.20 11.30 +17.00 Timeout
ALG110+1* +401.80 +560.00 15.30 0.70 +4.40 15.30 GaveUp Timeout
ALG170+1* +35.60 Timeout 125.80 2.30 +5.30 238.00 GaveUp Timeout
ALG189+1* GaveUp Unknown GaveUp GaveUp GaveUp GaveUp GaveUp Timeout
GEO082+1 +0.10 +7.70 16.00 0.20 +0.30 0.30 +0.70 Timeout
GEO087+1 +14.10 +0.10 0.30 0.00 +0.10 0.10 +0.60 Timeout
GEO093+1 +80.90 +10.40 0.20 48.30 +61.40 Timeout Timeout Timeout
GEO146+1 +0.10 +0.20 0.60 0.10 +0.20 187.90 Timeout WCout
GEO147+1 +0.00 +0.20 0.50 0.00 +0.10 0.20 +25.60 Timeout
HAL006+1 +155.60 Timeout 37.20 125.70 +144.30 Timeout +12.00 Timeout
MGT025+1 +0.10 +0.00 0.30 0.00 +0.10 0.10 Timeout Timeout
MGT039+1 +0.10 +0.00 0.20 0.00 +0.10 0.10 +0.40 0.20
MGT050+1 +0.20 +0.00 0.30 0.10 +0.20 81.30 +324.90 Timeout
MGT054+1 +0.00 +0.00 0.20 0.00 +0.10 0.10 Timeout Timeout
MGT063+1 +77.00 +8.50 0.30 0.10 +0.20 Timeout Timeout Timeout
SET011+3 +62.70 +2.70 29.40 11.70 +19.70 Timeout Timeout Timeout
SET056+1* +2.70 +0.00 0.50 0.10 +0.30 4.30 +2.90 Timeout
SET083+1 +0.10 +0.00 0.80 0.20 +0.60 0.20 +0.80 Timeout
SET099+1* +230.10 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET103+1 +0.00 +0.20 18.70 0.20 +0.50 Timeout +17.60 Timeout
SET108+1 +0.00 +0.00 0.30 0.10 +0.30 0.20 Timeout Timeout
SET144+3 +176.00 Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET159+3 +100.00 +12.60 22.70 7.20 +17.30 Timeout Timeout Timeout
SET577+3 +18.30 +0.00 0.60 0.00 +0.10 87.00 Timeout Timeout
SET587+3 +36.60 +0.00 0.30 0.10 +0.20 Timeout Timeout Timeout
SET593+3 +0.00 +13.80 18.40 0.10 +0.20 0.60 Timeout Timeout
SET594+3 +0.10 +8.50 20.60 37.50 +51.60 0.60 Timeout Timeout
SET595+3 +108.60 +4.10 0.30 5.50 +9.00 Timeout Timeout Timeout
SET598+3 +0.00 +1.80 0.30 0.00 +0.10 26.20 +0.10 Timeout
SET603+3 +0.10 +0.00 0.20 0.00 +0.10 60.30 +35.90 Timeout
SET606+3 +62.20 +5.30 48.60 29.50 +36.00 Timeout Timeout Timeout
SET608+3 +82.90 +3.80 WCout 399.40 465.80 Timeout Timeout Timeout
SET609+3 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SET611+3 +60.40 +0.10 22.80 22.20 +29.50 Timeout +121.20 Timeout
SET614+3 +116.00 +118.30 Timeout Timeout Timeout Timeout Timeout Timeout
SET621+3 +286.50 +191.20 0.30 0.00 +0.10 Timeout +0.10 Timeout
SET634+3 +110.60 +20.40 Timeout Timeout Timeout Timeout Timeout Timeout
SET647+3 +64.50 +4.00 19.50 0.40 +0.70 132.20 Timeout Timeout
SET648+3 +64.50 +4.00 19.30 0.40 +0.60 132.10 Timeout Timeout
SET656+3 +0.60 +62.60 0.40 0.00 +0.20 0.60 +83.50 0.20
SET660+3 +13.90 +1.20 21.10 25.50 +31.00 Timeout Timeout Timeout
SET664+3 +0.00 +0.00 0.20 0.00 +0.10 0.10 +0.10 Timeout
SET665+3 +59.60 Timeout 21.10 Timeout Timeout 86.00 Timeout Timeout
SET666+3 +0.00 +0.00 0.20 0.10 +0.10 2.10 Timeout Timeout
SET667+3 +0.10 +0.70 0.70 0.10 +0.20 Timeout Timeout Timeout
SET668+3 +0.30 +0.20 3.20 0.20 +0.40 0.20 Timeout Unknown
SET673+3 +47.10 +76.20 3.00 Timeout Timeout Timeout Timeout Timeout
SET678+3 +1.80 +5.30 7.70 3.20 +5.00 Timeout Timeout Timeout
SET684+3 +0.30 +19.00 22.30 3.60 +6.00 60.70 Timeout Timeout
SET715+4 +135.10 +127.00 Timeout Timeout Timeout WCout Timeout Timeout
SET735+4 GaveUp +0.70 Timeout Timeout Timeout WCout Timeout Timeout
SET764+4 +0.10 +0.40 0.60 0.10 +0.20 8.80 Timeout Timeout
SWC124+1 +6.30 +2.10 1.40 1.20 +2.40 0.50 Timeout Timeout
SWC170+1 Timeout Timeout Timeout Timeout Timeout Timeout Timeout Timeout
SWC171+1 +45.30 Timeout 23.00 22.20 +32.20 Timeout Timeout Timeout
SWC258+1 +0.30 +0.10 0.20 0.10 +0.20 0.20 Timeout Timeout
SWC339+1 +0.10 +0.00 0.30 0.10 +0.20 0.30 +1.60 Timeout
SYN551+2 +0.00 +0.00 5.60 12.50 +18.10 Timeout Timeout Timeout
Attempted 65 65 65 65 65 65 65 65
Solved 58 53 51 50 50 33 19 2
Av. Time 46.74 24.86 12.61 16.90 20.80 34.82 35.34 0.20
Solutions 58 53 0 0 49 0 19 0
New Attempted 13 13 13 13 13 13 13 13
New Solved 9 7 7 7 7 6 4 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 SNE

SNE Paradox
1.1-casc
Paradox
1.0
Gandalf
c-2.6-SAT
E-SETHEO
csp04-SAT
Mace4
2004-D
DCTP
10.21p-SAT
DCTP
1.31-SAT
Mace2
2.2
GRP027-2 +0.10 +0.10 +0.00 Timeout +0.10 Timeout WCout +0.10
HWV035-2* +0.00 +0.00 +0.00 0.10 +0.10 0.10 0.00 +0.10
HWV036-2* +0.00 +0.10 +0.00 0.10 +0.00 0.10 0.00 +0.10
LCL168-1 +0.60 +0.40 +0.00 Timeout +5.80 Timeout Timeout +13.80
LCL180-1 +0.90 +1.20 +159.80 Timeout Timeout Timeout Timeout Timeout
LCL219-1 +1.70 +13.20 355.20 Timeout Timeout Timeout Timeout Timeout
LCL220-1 +12.80 +45.60 359.90 Timeout Timeout Timeout Timeout Timeout
LCL235-1 +3.90 +1.90 329.90 Timeout Timeout Timeout Timeout Timeout
LCL239-1 +2.20 +3.60 330.10 Timeout Timeout Timeout Timeout Timeout
LCL242-1 +57.10 +7.80 369.40 Timeout Timeout Timeout Unknown Timeout
LCL245-1 +14.80 +64.60 481.40 Timeout Timeout Timeout Unknown Timeout
LCL247-1 +59.30 +23.80 340.30 Timeout Timeout Timeout Timeout Timeout
LCL248-1 +6.00 +14.90 379.90 Timeout Timeout Timeout Unknown Timeout
LCL252-1 +63.70 +90.10 361.00 Timeout Timeout Timeout Timeout Timeout
LCL411-1 +0.00 +0.00 +0.00 6.10 +0.00 0.00 0.00 +0.00
LCL415-1 Timeout Timeout Unknown 0.10 Timeout WCout Unknown Timeout
NLP030-1 +0.10 +0.10 +0.00 165.00 +0.10 0.10 Timeout GaveUp
NLP034-1 +0.10 +0.10 +0.00 0.10 +0.00 14.10 Timeout GaveUp
NLP062-1 +0.10 +0.10 +0.00 0.10 +0.10 0.10 0.00 GaveUp
NLP063-1 +0.10 +0.10 +0.00 164.70 +0.10 569.30 0.00 GaveUp
NLP161-1 +0.10 +0.10 +180.10 0.20 +0.80 0.10 0.00 Timeout
NLP162-1 +0.10 +0.10 +159.80 0.10 +0.90 0.10 0.00 Timeout
NLP190-1 +0.10 +0.10 372.20 0.20 +17.50 0.20 0.00 Timeout
NLP191-1 +0.10 +0.10 360.10 0.20 +17.20 0.20 0.00 Timeout
NUM288-1 +0.00 +0.00 +0.00 26.10 +0.10 0.10 0.00 +0.10
PUZ015-3* +2.90 +7.30 109.80 Timeout Timeout Timeout Timeout GaveUp
SWV012-1 +0.10 +0.10 +0.00 6.10 +0.10 0.10 0.00 GaveUp
SYN750-1 +0.10 +0.10 +0.00 Timeout +0.10 Timeout Timeout +0.10
SYN753-1 +0.10 +0.10 +19.60 Timeout +0.10 Timeout Timeout +0.10
SYN763-1 +0.10 +0.10 +0.00 0.10 +0.10 0.10 Timeout +0.00
SYN766-1 +0.10 +0.10 +0.00 GaveUp +0.10 Timeout Timeout +0.10
SYN770-1 +0.10 +0.00 +0.00 Timeout +0.10 Timeout Timeout +0.00
SYN773-1 +0.00 +0.00 +0.00 70.10 +0.10 0.10 Timeout +0.10
SYN786-1 +0.10 +0.10 +200.10 0.10 +0.10 0.10 0.00 +0.10
SYN789-1 +0.10 +0.10 238.00 Timeout +0.90 Timeout Timeout +0.10
SYN790-1 +0.00 +0.00 +0.00 151.30 +0.10 32.10 Timeout +0.10
SYN903-1 +0.40 +0.50 350.30 1.20 Timeout 1.10 0.00 GaveUp
SYN905-1 +0.90 +1.10 351.10 4.80 Timeout 4.90 0.00 GaveUp
SYN907-1 +0.80 +1.00 350.20 3.00 Timeout 2.90 0.00 GaveUp
SYN909-1 +1.20 +1.50 350.20 2.30 Timeout 2.30 0.00 GaveUp
SYN910-1 +1.80 +2.30 Unknown 5.00 Timeout 5.20 0.00 GaveUp
SYN912-1 +2.50 +3.20 369.80 9.80 Timeout 10.10 0.00 GaveUp
SYN913-1 +1.90 +2.40 359.30 66.40 Timeout Timeout Timeout GaveUp
TOP003-2 +0.00 +0.00 +0.00 0.10 +0.10 0.10 0.00 +0.00
TOP005-1 +0.30 +4.50 +320.10 Timeout Timeout Timeout Timeout GaveUp
TOP008-1 +0.20 +0.30 +89.80 Timeout Timeout Timeout Timeout GaveUp
TOP010-1 +0.20 +0.20 +0.00 0.20 Timeout 14.10 Timeout GaveUp
TOP013-1 +0.20 +0.30 +89.40 Timeout Timeout Timeout Timeout GaveUp
TOP017-1 +0.20 +0.30 +90.00 Timeout Timeout Timeout Timeout GaveUp
TOP018-1 +0.20 +0.30 +89.90 Timeout Timeout Timeout Timeout GaveUp
Attempted 50 50 50 50 50 50 50 50
Solved 49 49 48 27 25 25 19 16
Av. Time 4.87 6.00 164.93 25.32 1.79 26.31 0.00 0.93
Solutions 49 49 29 0 25 0 0 16
New Attempted 3 3 3 3 3 3 3 3
New Solved 3 3 3 2 2 2 2 2
* 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
Paradox
1.1-casc
Mace4
2004-D
Mace2
2.2
E-SETHEO
csp04-SAT
DCTP
10.21p-SAT
DCTP
1.31-SAT
ANA006-1 +0.00 +0.00 +0.00 +0.00 +0.10 Timeout Timeout Timeout
ANA006-2 +0.00 +0.00 +0.00 +0.10 +0.00 34.10 0.10 0.00
BOO033-1 +0.00 +0.10 +0.00 +0.00 +0.00 Timeout Timeout Timeout
BOO061-1 +159.80 +9.70 +8.80 Timeout +161.70 WCout Timeout Timeout
CAT001-2 +0.00 +0.10 +0.10 +0.10 +0.10 Timeout Timeout Unknown
CAT002-2 +0.00 +0.20 +0.10 +0.10 +0.10 Timeout Timeout Unknown
COL047-1 +0.00 +0.10 +0.10 +0.00 +0.10 Timeout Timeout Timeout
COL071-1 +0.00 +0.10 +0.00 +0.00 +0.10 Timeout Timeout Timeout
GEO078-6* +189.80 +0.20 +0.10 Timeout Timeout Timeout Timeout Timeout
GEO078-7* +0.00 +0.20 +0.10 Timeout +63.70 Timeout Timeout Timeout
GEO162-1* +150.10 +0.20 Unknown Timeout Timeout Timeout Timeout Timeout
GEO163-1* 360.00 +0.10 +0.10 Timeout +0.10 Timeout Timeout Timeout
GRP024-4 +0.00 +0.30 +0.20 +0.10 Timeout Timeout Timeout Timeout
GRP026-4 +0.00 +0.20 +0.20 +0.10 Timeout WCout WCout Timeout
GRP392-1 +0.00 +0.00 +0.00 +0.00 +0.10 0.10 0.10 0.00
GRP394-1 +0.00 +0.00 +0.00 +0.10 +0.10 0.10 0.10 0.00
GRP395-1 +0.00 +0.00 +0.00 +0.10 +0.10 0.10 0.10 0.00
GRP397-1 +0.00 +0.00 +0.00 +0.00 +0.00 0.20 0.10 0.00
GRP398-3 +0.00 +0.00 +0.00 +0.00 +0.00 0.10 0.10 0.00
HEN013-1 +0.00 +0.00 +0.00 +0.00 +0.00 0.10 0.10 0.00
HEN013-2 +0.00 +0.00 +0.00 +0.00 +0.10 0.10 0.10 0.00
LAT046-1 +0.00 +0.60 +0.30 +0.00 +0.50 Timeout Timeout Timeout
LAT048-1 +0.00 +0.60 +0.20 +0.10 +0.10 Timeout Timeout Timeout
LAT049-1 +0.00 +1.60 +0.70 +0.10 +0.60 Timeout Timeout Unknown
LAT050-1 +0.00 +7.80 +8.70 +0.20 +100.10 Timeout Timeout Timeout
LAT052-1 +0.00 +5.70 +2.10 +0.10 +2.90 Timeout Timeout Timeout
LAT063-1 +0.00 +9.60 +3.50 +0.20 +67.40 Timeout Timeout Timeout
LCL137-1 +0.00 +0.00 +0.00 +0.10 +0.00 Timeout Timeout Timeout
LCL280-3 +0.00 +0.10 +0.10 +0.00 +0.10 Timeout Timeout Timeout
LCL288-3 +0.00 +0.00 +0.00 +0.00 +0.00 Timeout Timeout Timeout
LCL292-3 +0.00 +0.00 +0.00 +0.00 +0.10 Timeout Timeout Unknown
LCL411-2 +0.00 +0.00 +0.00 +0.10 +0.00 0.10 0.10 0.00
NLP050-1 231.80 WCout GaveUp Timeout GaveUp 0.10 0.10 0.00
NLP051-1 229.90 WCout GaveUp Timeout GaveUp 0.10 0.10 0.00
NLP053-1 229.90 Timeout GaveUp Timeout GaveUp 0.10 0.10 0.00
NLP057-1 Timeout +53.00 +0.80 Timeout GaveUp 0.10 0.10 0.00
NLP091-1 Timeout Timeout GaveUp Timeout GaveUp 0.20 0.10 0.00
NLP183-1 109.50 +0.40 +0.20 GaveUp Timeout Timeout Timeout Timeout
NLP187-1 299.50 +0.40 +0.20 GaveUp Timeout 21.30 Timeout Timeout
NLP211-1 229.70 +0.70 +0.40 GaveUp Timeout 76.40 18.20 WCout
NLP212-1 238.80 +1.10 +0.30 GaveUp Timeout Timeout Timeout Timeout
NLP214-1 249.90 +0.80 +0.40 GaveUp Timeout Timeout Timeout WCout
NLP216-1 200.00 +0.80 +0.30 GaveUp Timeout Timeout Timeout WCout
NLP219-1 220.30 +0.80 +0.40 GaveUp Timeout Timeout Timeout Timeout
PUZ015-1 +279.70 +17.70 +3.40 Timeout GaveUp Timeout WCout WCout
PUZ058-1* +120.80 +0.10 +0.10 Timeout Timeout Timeout Timeout Timeout
RNG031-7 +160.00 +61.30 Timeout +0.50 Timeout Timeout Timeout Timeout
RNG043-2 +0.00 +0.00 +0.00 +0.00 +0.10 0.20 0.10 0.00
ROB029-1 +0.00 +0.00 +0.00 +0.00 +0.00 0.10 0.10 0.00
SWV021-1* Timeout GaveUp GaveUp Timeout Timeout 0.20 Timeout Timeout
Attempted 50 50 50 50 50 50 50 50
Solved 47 45 43 30 30 19 17 16
Av. Time 77.86 3.88 0.74 0.07 13.28 7.04 1.16 0.00
Solutions 36 45 43 30 30 0 0 0
New Attempted 6 6 6 6 6 6 6 6
New Solved 5 5 4 0 2 1 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 DCTP
10.21p
E-SETHEO
csp04
Vampire
7.0
DCTP
1.31-EPR
DCTP
1.3-EPR
Paradox
1.1-casc
GRP128-2.006 0.80 0.90 Timeout 0.00 0.00 0.10
GRP128-3.005 0.40 0.50 Timeout 0.00 0.00 0.10
LAT005-1 1.40 1.40 +558.30 390.10 350.20 Timeout
PUZ036-1.005 0.10 0.20 +0.00 0.00 0.00 Timeout
PUZ037-1 0.10 0.20 +0.00 0.00 0.00 GaveUp
PUZ037-2 0.90 0.90 +0.10 0.00 0.00 GaveUp
PUZ037-3 7.80 7.90 +3.60 0.00 0.00 GaveUp
SYN440-1 99.90 233.00 +1.10 Timeout Timeout Timeout
SYN447-1 171.30 304.50 +0.30 Timeout Timeout 64.00
SYN448-1 13.40 13.50 +0.50 19.80 19.70 3.10
SYN457-1 105.10 238.40 +0.80 Timeout Timeout Timeout
SYN460-1 126.30 259.20 +0.30 Timeout Timeout 35.70
SYN470-1 23.50 23.60 +0.90 69.40 69.20 273.80
SYN472-1 25.90 26.00 +0.40 110.40 110.00 52.60
SYN473-1 21.00 21.00 +0.60 150.00 169.70 341.00
SYN474-1 4.40 4.50 +0.60 30.00 30.00 121.30
SYN476-1 56.10 56.20 +1.00 99.90 110.10 69.50
SYN480-1 17.30 17.30 +0.40 19.90 29.70 15.20
SYN481-1 21.80 22.00 +0.90 50.50 49.80 139.30
SYN487-1 21.40 21.40 +4.00 29.90 29.70 Timeout
SYN488-1 56.30 56.40 +1.60 69.80 70.00 257.20
SYN489-1 26.10 26.10 +1.00 19.70 20.00 450.10
SYN498-1 32.30 32.40 +0.30 60.00 60.00 31.80
SYN503-1 16.30 16.20 +3.90 19.90 19.90 31.90
SYN511-1 7.30 7.30 +0.50 20.00 19.60 73.10
SYN820-1 13.00 13.10 +7.00 9.90 10.00 3.70
SYN846-1 18.50 18.60 +5.10 9.60 9.80 20.60
SYN850-1 23.40 23.40 +18.70 9.90 59.80 GaveUp
SYN861-1 24.20 24.20 +19.30 9.90 60.00 GaveUp
SYN862-1 24.80 24.90 +19.10 9.90 70.00 GaveUp
SYN866-1 24.00 24.10 +18.70 9.80 69.80 GaveUp
SYN885-1 1.40 1.40 +4.10 0.00 0.00 19.40
SYN886-1 1.20 1.30 +2.80 0.00 0.00 19.80
SYN887-1 1.30 1.40 +3.80 0.00 0.00 10.40
SYN897-1 1.60 1.70 +3.80 0.00 0.00 24.10
SYN898-1 2.30 2.40 +3.70 0.00 0.00 23.70
SYN899-1 2.90 3.00 +3.30 0.00 0.00 23.10
SYN900-1 2.40 2.40 +3.00 0.00 0.00 21.70
SYN901-1 4.40 4.50 +8.50 0.00 0.00 GaveUp
SYN914-1* Timeout Timeout Timeout Timeout Timeout 0.00
Attempted 40 40 40 40 40 40
Solved 39 39 37 35 35 27
Av. Time 25.71 39.42 18.97 34.81 41.06 78.75
Solutions 0 0 37 0 0 0
New Attempted 1 1 1 1 1 1
New Solved 0 0 0 0 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 EPS

EPS DCTP
10.21p
E-SETHEO
csp04
DCTP
1.31-EPR
DCTP
1.3-EPR
Paradox
1.1-casc
Vampire
7.0
GRP123-1.005 0.20 0.20 0.00 0.00 +0.10 Timeout
GRP123-2.005 0.10 0.20 0.00 0.00 +0.10 Timeout
GRP123-7.005 0.10 0.20 0.00 0.00 +0.10 Timeout
GRP124-1.005 0.20 0.30 0.00 0.00 +0.00 Timeout
GRP124-7.005 0.20 0.30 0.00 0.00 +0.10 Timeout
GRP124-8.005 18.40 18.50 29.90 29.80 +0.10 Timeout
GRP126-2.005 0.10 0.10 0.00 0.00 +0.00 Timeout
GRP127-1.005 0.10 0.20 0.00 0.00 +0.00 Timeout
GRP129-2.005 0.10 0.20 0.00 0.00 +0.00 Timeout
GRP131-2.005 1.40 1.50 279.80 312.00 +0.00 Timeout
GRP132-1.005 0.60 0.60 30.00 29.80 +0.10 Timeout
GRP134-2.005 0.20 0.20 0.00 0.00 +0.00 Timeout
GRP135-1.005 1.50 1.50 19.90 19.80 +0.10 Timeout
MGT066-1 0.10 0.10 0.00 0.00 +0.00 Timeout
PUZ018-2 0.10 0.10 0.00 0.00 +0.00 Timeout
SYN307-1 0.10 0.10 0.00 0.00 +0.00 Timeout
SYN418-1 1.80 1.80 0.00 0.00 +0.40 Timeout
SYN424-1 4.70 4.80 0.00 0.00 +0.60 Timeout
SYN427-1 3.20 3.30 0.00 0.00 +1.10 Timeout
SYN434-1 65.10 197.90 Timeout Timeout +0.20 5.50
SYN441-1 93.70 227.50 Timeout Timeout +0.30 5.40
SYN449-1 17.00 17.00 60.00 60.00 +0.50 2.70
SYN464-1 70.60 203.90 Timeout Timeout +0.20 5.70
SYN514-1 1.00 1.10 0.00 0.00 +0.30 Timeout
SYN518-1 1.90 1.90 0.00 0.00 +0.50 Timeout
SYN543-1 56.90 57.10 560.50 560.50 +0.20 Timeout
SYN544-1 0.70 0.70 0.00 0.00 +0.50 Timeout
SYN546-1 5.10 5.20 0.00 0.00 +0.50 Timeout
SYN815-1 28.00 28.00 20.00 220.00 GaveUp 27.00
SYN816-1 26.80 25.90 19.70 210.00 102.00 25.50
SYN817-1 31.90 32.00 18.50 290.40 GaveUp 27.50
SYN825-1 36.10 37.20 19.90 80.10 GaveUp GaveUp
SYN828-1 15.10 15.20 0.00 29.80 GaveUp 11.40
SYN829-1 69.90 70.00 39.80 160.10 Unknown GaveUp
SYN830-1 77.80 78.10 37.90 198.10 GaveUp GaveUp
SYN839-1 97.50 92.20 49.90 220.10 GaveUp GaveUp
SYN840-1 92.40 92.40 49.90 259.90 GaveUp GaveUp
SYN851-1 21.80 21.80 9.90 49.80 GaveUp 14.50
SYN852-1 124.30 126.70 68.20 328.90 GaveUp GaveUp
SYN854-1 120.30 120.80 69.80 310.00 GaveUp GaveUp
Attempted 40 40 40 40 40 40
Solved 40 40 37 37 29 9
Av. Time 27.18 37.17 37.39 91.06 3.72 13.91
Solutions 0 0 0 0 28 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