Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for MIX

E 0.6 E-SETHEO 2000csp Gandalf c-2.1 Vampire 1.0 Vampire 0.0 SCOTT 5.0.0 Bliksem 1.10 Otter 3.1b
CID003-1 9.70 122.70 79.50 timeout timeout unknown timeout timeout
LCL122-1 31.10 144.40 no_soln timeout timeout timeout unknown timeout
SET454-6 29.90 421.80 90.50 timeout 6.50 timeout timeout timeout
SET014-2 timeout 1.60 59.00 0.60 timeout 109.70 timeout timeout
COL078-1 361.60 timeout 364.00 timeout timeout 67.30 timeout timeout
LCL341-3 83.30 196.30 no_soln 86.10 timeout timeout 158.10 timeout
LCL394-1 316.50 428.70 no_soln timeout timeout timeout timeout timeout
GEO028-2 timeout timeout no_soln timeout timeout timeout timeout timeout
ANA002-4 timeout 14.70 112.00 37.90 227.30 timeout timeout timeout
GRP055-1 16.80 254.60 39.40 72.70 8.00 185.60 17.90 no_soln
LAT002-1 timeout timeout no_soln timeout timeout timeout timeout timeout
LCL123-1 23.60 53.70 82.30 174.20 80.10 205.60 16.80 79.00
GEO066-2 0.20 208.90 10.60 0.40 0.20 206.90 1.50 timeout
SYN067-1 timeout timeout unknown 1.20 timeout no_soln timeout timeout
CAT003-2 1.10 66.90 0.50 0.70 0.90 no_soln 74.90 timeout
ANA003-1 timeout timeout timeout timeout timeout timeout timeout timeout
PLA011-2 0.10 2.00 66.90 0.40 0.20 timeout timeout timeout
GEO009-1 32.00 215.20 46.60 177.10 146.80 timeout timeout timeout
SET015-2 121.50 272.80 7.50 timeout timeout timeout timeout timeout
COL077-1 228.20 449.80 61.30 timeout timeout 47.10 timeout timeout
CAT002-4 1.70 2.70 0.20 259.40 79.40 10.10 timeout 8.00
PLA012-1 0.50 50.30 83.20 0.70 0.90 timeout timeout timeout
GEO012-1 81.20 370.40 243.50 65.20 21.10 427.50 timeout timeout
SYN067-3 59.20 214.90 unknown 1.10 timeout timeout timeout timeout
GRP052-1 106.00 226.40 26.50 12.20 15.50 224.80 18.60 no_soln
LCL269-3 timeout timeout no_soln timeout timeout timeout timeout timeout
LCL368-1 62.00 174.50 3.70 232.50 timeout timeout timeout timeout
SET347-6 timeout timeout 230.10 timeout timeout timeout timeout timeout
SET013-2 143.00 294.20 0.80 timeout 412.40 timeout timeout timeout
COL075-1 2.80 6.80 132.60 0.50 11.30 timeout 76.70 timeout
LAT005-6 64.20 179.30 69.50 timeout 174.20 225.30 timeout 31.40
LCL020-1 195.50 309.40 timeout timeout timeout timeout unknown timeout
SET497-6 289.40 timeout 186.90 348.80 22.10 timeout timeout timeout
SET015-1 99.20 3.30 161.60 timeout timeout timeout timeout timeout
BOO020-1 393.50 timeout unknown 4.10 timeout 360.40 timeout timeout
LCL302-3 timeout timeout no_soln timeout timeout timeout timeout timeout
PLA014-1 0.10 50.20 68.50 0.50 0.20 timeout timeout timeout
GEO010-2 26.20 212.30 159.50 timeout timeout timeout timeout timeout
SET012-1 2.00 2.10 67.30 2.50 timeout timeout timeout timeout
GRP057-1 19.30 155.30 7.40 6.60 12.00 207.90 8.40 no_soln
LCL306-3 timeout timeout no_soln timeout timeout timeout timeout timeout
PLA019-1 0.10 50.40 66.60 0.40 0.10 timeout timeout timeout
NUM049-1 timeout timeout 125.20 timeout timeout no_soln timeout timeout
SET013-1 16.80 2.50 126.80 4.50 timeout timeout timeout timeout
GRP072-1 99.70 347.90 132.30 4.80 15.70 timeout 60.80 no_soln
LCL109-4 177.60 290.80 no_soln 112.10 timeout timeout timeout timeout
PLA004-2 0.10 2.30 67.70 0.50 0.20 timeout timeout timeout
SET230-6 timeout timeout 210.80 timeout unknown timeout timeout timeout
SYN067-2 143.20 262.40 unknown 0.80 timeout no_soln timeout timeout
GRP053-1 69.40 205.20 149.90 7.20 9.90 270.00 44.20 no_soln
COL044-2 2.90 115.10 45.90 timeout timeout 58.80 timeout timeout
SYN312-1 0.20 10.70 67.60 0.40 0.10 timeout 357.10 no_soln
GEO060-2 34.60 335.40 410.50 timeout 56.10 timeout timeout timeout
COM003-1 timeout timeout 164.20 17.30 281.10 timeout timeout timeout
COL080-1 timeout 42.40 116.00 timeout timeout 127.10 timeout timeout
LCL193-3 timeout timeout no_soln 1.00 timeout 93.20 timeout timeout
SYN311-1 0.10 14.30 67.70 0.30 0.20 timeout timeout no_soln
CAT005-3 0.00 251.90 176.40 0.40 0.30 timeout 0.00 0.20
ANA002-3 timeout timeout 101.10 timeout timeout timeout timeout timeout
GRP086-1 0.50 64.80 2.90 0.80 54.90 166.00 1.30 0.40
HEN011-1 75.00 186.70 timeout 4.60 5.00 timeout timeout 52.70
PLA009-2 3.80 3.60 64.00 0.60 1.00 timeout timeout timeout
GEO002-2 0.10 17.30 6.60 0.40 0.00 198.40 0.20 274.90
CIV006-1 0.50 152.90 1.10 0.80 0.20 176.50 0.50 0.30
LAT015-1 296.60 timeout timeout 167.40 no_soln timeout timeout no_soln
COL006-2 250.50 363.70 47.10 timeout timeout 252.40 timeout timeout
PLA005-2 0.20 2.20 69.20 0.50 0.60 timeout timeout timeout
MSC007-2.005 9.60 231.20 unknown timeout timeout no_soln timeout timeout
ANA002-1 timeout timeout 233.90 55.20 223.50 timeout timeout timeout
GRP051-1 124.80 355.70 74.70 33.00 5.20 no_soln 173.60 timeout
COL044-4 162.20 276.00 46.00 timeout timeout timeout timeout timeout
LCL129-1 2.10 114.80 354.20 timeout timeout timeout 165.20 timeout
GEO001-1 0.10 172.90 7.60 0.40 0.00 182.30 0.10 timeout
ANA002-2 timeout 25.50 80.80 263.80 151.50 timeout timeout timeout
ALG004-1 248.40 145.30 unknown timeout timeout 114.50 timeout timeout
Attempted 75 75 75 75 75 75 75 75
Solved 57 57 55 45 37 22 18 8
Av. Time 79.31 160.53 99.60 48.06 54.72 178.06 65.33 55.86

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for UEQ

Waldmeister 600 Waldmeister 799 SCOTT 5.0.0 E 0.6 E-SETHEO 2000csp Vampire 1.0 Otter 3.1b Gandalf c-2.1 Bliksem 1.10
ROB026-1 342.10 timeout timeout timeout timeout timeout timeout timeout timeout
LCL138-1 3.20 3.00 432.80 11.10 160.00 timeout 23.60 40.00 8.30
COL020-1 0.30 0.30 249.00 144.70 2.10 2.90 0.10 0.10 5.20
LAT023-1 12.50 22.00 304.40 108.00 256.80 timeout 137.10 timeout timeout
RNG028-8 41.50 46.50 timeout timeout timeout timeout timeout no_soln timeout
RNG025-4 2.10 2.30 timeout timeout timeout timeout timeout no_soln timeout
GRP164-1 300.90 416.50 timeout timeout timeout timeout timeout no_soln timeout
RNG019-6 0.20 0.20 timeout timeout timeout 0.60 1.10 no_soln timeout
RNG029-5 29.90 32.80 timeout timeout timeout timeout timeout no_soln timeout
COL044-8 0.10 0.10 79.00 timeout timeout 173.90 timeout no_soln timeout
GRP185-3 0.40 0.40 timeout timeout timeout timeout timeout 39.90 timeout
COL044-6 0.10 0.00 34.00 timeout timeout timeout timeout no_soln timeout
COL044-9 0.00 0.10 130.90 timeout timeout 174.20 timeout no_soln timeout
RNG025-6 0.30 0.40 166.10 67.50 216.80 timeout 26.60 no_soln timeout
COL044-7 0.10 0.10 89.00 timeout timeout timeout timeout no_soln timeout
RNG020-6 0.20 0.20 132.50 timeout timeout 0.60 timeout no_soln timeout
RNG026-6 0.20 0.20 timeout timeout timeout timeout timeout no_soln timeout
COL006-1 3.80 3.70 timeout timeout timeout timeout timeout 163.50 timeout
RNG028-5 41.60 46.70 timeout timeout timeout timeout timeout no_soln timeout
GRP024-5 26.70 26.80 timeout 207.40 355.10 timeout timeout timeout timeout
GRP205-1 3.60 3.60 no_soln 6.40 155.80 149.80 no_soln no_soln 7.00
GRP164-2 301.40 416.30 timeout timeout timeout timeout timeout no_soln timeout
ROB005-1 39.70 4.80 361.70 timeout timeout timeout 12.00 timeout timeout
COL006-6 0.10 0.10 timeout timeout timeout timeout timeout no_soln timeout
GRP185-1 0.90 0.90 147.60 timeout timeout timeout timeout 99.80 timeout
COL003-1 9.00 2.70 timeout 63.10 211.70 timeout no_soln timeout timeout
LCL109-2 4.60 3.80 timeout 14.60 163.10 121.40 timeout 261.50 91.70
GRP187-1 138.00 208.90 timeout timeout timeout timeout timeout timeout timeout
COL043-3 0.10 0.10 108.20 timeout timeout timeout timeout no_soln timeout
COL006-7 0.00 0.10 timeout timeout timeout timeout timeout no_soln timeout
Attempted 30 30 30 30 30 30 30 30 30
Solved 30 29 12 8 8 7 6 6 4
Av. Time 43.45 42.88 186.27 77.85 190.18 89.06 33.42 100.80 28.05

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for SAT

GandalfSat 1.0 SCOTTSat 5.0.0 MACE 1.4b OtterMACE 437 Bliksem 1.10
LCL280-3 107.80 0.60 timeout unknown timeout
BOO019-1 107.70 0.30 0.70 0.90 timeout
SYN335-1 92.90 timeout timeout unknown 0.00
BOO030-1 0.10 0.30 0.20 0.50 timeout
LCL291-3 52.00 0.30 0.20 0.50 timeout
COL005-1 0.00 0.30 1.00 1.00 timeout
LAT024-1 0.20 0.30 0.20 0.40 timeout
SYN330-1 105.60 timeout timeout unknown 0.00
CAT002-2 unknown no_soln 6.50 5.50 timeout
RNG025-8 unknown 5.10 1.00 1.10 timeout
COL047-1 unknown 0.60 2.90 2.60 timeout
CAT015-4 0.10 no_soln no_soln unknown 0.00
GRP027-1 152.40 1.40 23.70 unknown timeout
LCL288-3 32.80 0.40 0.20 0.40 timeout
COL073-1 unknown 2.50 145.50 unknown timeout
NUM059-1 unknown timeout no_soln unknown timeout
SYN303-1 90.90 no_soln timeout unknown 0.00
BOO032-1 124.30 69.40 1.90 1.80 timeout
CAT019-5 68.80 0.40 0.30 0.50 timeout
LCL267-3 107.00 0.40 0.30 0.40 timeout
LCL142-1 2.60 0.40 0.20 0.40 timeout
ALG008-1 77.10 0.90 0.50 0.80 timeout
LCL078-1 1.00 0.40 0.20 0.40 timeout
CAT019-4 0.10 0.40 0.20 0.50 timeout
KRS007-1 0.20 0.70 0.30 0.60 0.00
KRS011-1 0.80 1.40 0.70 0.90 241.00
ROB015-1 0.70 0.40 0.30 0.50 timeout
LCL206-3 0.50 0.30 0.20 0.50 timeout
KRS008-1 0.30 25.80 timeout unknown 6.60
LCL137-1 0.10 0.30 9.00 6.60 timeout
Attempted 30 30 30 30 30
Solved 25 24 23 21 7
Av. Time 45.04 4.72 8.53 1.28 35.37

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for FOF

VampireFOF 1.0 SPASS 1.00T E-SETHEO 2000csp GandalfFOF 1.0 Bliksem 1.10 Otter 3.1b SCOTT 5.0.0 MUSCADET 2.2
SET748+4 timeout timeout timeout timeout timeout timeout timeout 3.30
SYN347+1 0.70 0.30 2.40 0.20 0.00 0.10 35.90 no_soln
SET754+4 timeout 24.80 timeout no_soln timeout timeout timeout 2.80
SYN460+1 365.70 timeout 258.90 timeout timeout no_soln unknown timeout
SET753+4 timeout 24.50 timeout timeout timeout timeout timeout 3.00
SYN353+1 1.10 0.60 84.00 2.50 0.30 timeout timeout no_soln
SET739+4 timeout timeout timeout timeout timeout timeout timeout 3.70
SYN501+1 13.50 timeout 100.60 timeout timeout no_soln unknown timeout
SET751+4 112.10 21.90 timeout timeout timeout timeout timeout 2.80
PUZ031+1 0.90 0.50 3.30 0.30 0.10 0.10 51.30 no_soln
MGT005+2 1.90 12.10 99.40 4.90 timeout 17.80 40.80 1.70
SYN352+1 3.40 0.40 3.30 0.20 0.00 0.10 24.90 no_soln
SET690+4 timeout 1.30 timeout no_soln timeout timeout timeout 1.70
SYN470+1 52.40 timeout 96.80 255.20 timeout timeout unknown timeout
SET697+4 timeout 0.70 timeout no_soln timeout timeout timeout 1.60
SYN339+1 0.70 0.30 3.00 0.10 0.00 0.10 2.30 no_soln
SET738+4 timeout timeout timeout timeout timeout timeout timeout 13.70
SYN508+1 52.20 237.90 102.50 timeout timeout no_soln unknown timeout
SET083+1 1.50 0.90 175.90 6.00 10.40 6.30 timeout unknown
SYN369+1 0.70 0.20 3.10 0.10 0.00 0.00 0.50 no_soln
SET095+1 3.40 136.10 247.10 95.10 163.60 timeout timeout unknown
SYN061+1 0.70 0.20 3.10 0.10 0.00 0.10 0.40 no_soln
SYN074+1 0.70 0.50 3.70 0.30 72.20 0.20 55.00 no_soln
SYN475+1 16.60 403.90 97.70 timeout timeout no_soln unknown timeout
SET101+1 1.70 23.50 80.50 280.00 1.00 1.00 timeout unknown
COM003+3 1.10 0.50 14.30 71.50 0.20 timeout timeout no_soln
SET076+1 401.40 timeout 30.80 no_soln timeout timeout timeout unknown
SYN439+1 147.90 timeout 230.90 unknown timeout timeout unknown timeout
MGT039+2 1.50 timeout timeout 105.60 timeout timeout no_soln no_soln
SYN549+1 1.20 0.80 6.90 7.00 timeout 5.60 132.40 no_soln
MGT035+1 9.40 44.60 317.40 unknown timeout timeout no_soln no_soln
SYN327+1 0.70 0.20 unknown 0.20 0.00 0.00 1.10 no_soln
SET067+1 333.60 1.80 78.50 89.80 28.80 timeout timeout 15.10
SYN404+1 0.70 0.20 2.40 0.20 0.00 0.00 0.30 no_soln
SET071+1 348.20 1.80 49.00 no_soln timeout timeout timeout 5.30
SYN383+1 0.60 0.30 3.30 0.20 0.00 0.00 0.30 no_soln
MGT021+1 0.80 0.30 15.70 0.10 1.60 0.10 20.10 1.30
SYN331+1 0.70 0.30 2.90 0.10 0.00 0.00 13.60 no_soln
MGT024+1 0.90 0.50 177.70 0.30 0.10 0.10 47.00 no_soln
SYN051+1 0.60 0.20 3.00 0.20 0.00 0.00 0.40 no_soln
MGT029+1 5.50 5.10 306.20 unknown timeout timeout no_soln no_soln
SYN064+1 0.60 0.20 3.00 0.10 0.00 0.00 0.80 no_soln
SET102+1 1.80 43.00 7.70 270.60 3.00 2.20 timeout unknown
SYN398+1 0.60 0.20 3.00 0.10 0.00 0.00 0.20 no_soln
SET079+1 1.40 0.90 95.80 2.80 0.80 7.80 timeout unknown
SYN036+1 1.00 0.50 14.40 159.00 7.30 timeout timeout no_soln
SYN075+1 0.80 0.50 3.50 0.20 67.20 0.20 40.40 no_soln
SYN036+2 1.10 0.50 14.60 159.00 8.90 timeout timeout no_soln
MGT005+1 1.50 6.50 181.70 timeout timeout timeout 249.70 4.10
SYN066+1 0.60 0.20 3.10 0.10 0.00 0.00 3.20 unknown
MGT027+1 0.90 1.10 173.40 22.30 2.30 232.40 60.80 timeout
SYN382+1 0.60 0.30 2.90 0.10 0.00 0.00 0.80 timeout
PUZ001+1 0.70 0.40 103.10 2.10 0.10 0.10 no_soln timeout
SYN371+1 0.80 0.30 3.00 0.10 0.00 0.00 0.30 no_soln
SYN080+1 0.80 0.20 3.10 0.10 0.00 0.00 3.30 no_soln
SYN070+1 0.70 0.30 3.20 0.20 0.00 0.10 4.80 no_soln
MGT037+1 1.30 1.50 175.90 35.40 1.00 313.70 no_soln timeout
SYN063+1 0.80 0.20 2.90 0.10 0.00 0.00 0.50 no_soln
MGT026+1 0.80 0.80 173.20 5.80 0.10 0.20 no_soln no_soln
SYN379+1 0.60 0.20 2.80 0.20 0.00 0.00 0.60 no_soln
Attempted 60 60 60 60 60 60 60 60
Solved 53 51 50 42 38 34 28 13
Av. Time 35.89 19.71 71.49 37.58 9.71 17.30 28.27 4.62

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for SEM

E-SETHEO 2000csp VampireFOF 1.0 Bliksem 1.10 GandalfFOF 1.0 Otter 3.1b SCOTT 5.0.0 MUSCADET 2.2
SET017+1 242.10 2.50 1.30 15.10 timeout timeout unknown
SET071+1 48.90 355.10 timeout no_soln timeout timeout 5.30
SET101+1 79.90 1.70 1.00 287.40 2.40 156.10 unknown
SET076+1 30.70 385.60 timeout no_soln timeout timeout unknown
SET081+1 7.50 1.40 0.30 4.20 0.40 62.40 unknown
SET079+1 96.00 1.40 1.00 3.00 5.40 timeout unknown
SET086+1 7.30 1.50 0.80 1.20 timeout timeout unknown
SET094+1 172.00 1.60 0.60 207.00 timeout timeout unknown
SET061+1 7.00 1.20 0.30 0.30 0.10 6.50 unknown
SET083+1 176.10 1.40 1.40 6.40 7.20 timeout unknown
SET065+1 7.00 1.40 0.50 0.30 0.20 135.70 unknown
SET069+1 timeout timeout timeout no_soln timeout timeout 5.10
SET108+1 7.40 1.40 0.80 52.60 timeout timeout unknown
SET096+1 timeout timeout 337.80 101.40 timeout timeout unknown
SET082+1 194.60 77.30 0.70 69.60 286.30 403.30 unknown
SET084+1 175.50 1.50 1.10 7.90 153.30 timeout unknown
SET055+1 7.00 timeout timeout 1.90 0.20 50.50 unknown
SET103+1 177.10 78.70 3.20 timeout timeout timeout 6.90
SET067+1 78.50 306.20 33.80 90.10 timeout timeout 13.60
SET095+1 246.50 3.50 93.60 96.80 timeout timeout unknown
Attempted 20 20 20 20 20 20 20
Solved 18 17 16 16 9 6 4
Av. Time 97.84 71.96 29.89 59.07 50.61 135.75 7.72

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for HEQ

E 0.6 E-SETHEO 2000csp Gandalf c-2.1 Vampire 1.0 SCOTT 5.0.0 Otter 3.1b Vampire 0.0 Bliksem 1.10
CID003-1 9.70 122.70 79.50 timeout unknown timeout timeout timeout
LCL341-3 83.30 196.30 no_soln 86.10 timeout timeout timeout 158.10
LAT002-1 timeout timeout no_soln timeout timeout timeout timeout timeout
ANA003-1 timeout timeout timeout timeout timeout timeout timeout timeout
CAT002-4 1.70 2.70 0.20 259.40 10.10 8.00 79.40 timeout
LCL269-3 timeout timeout no_soln timeout timeout timeout timeout timeout
LAT005-6 64.20 179.30 69.50 timeout 225.30 31.40 174.20 timeout
LCL302-3 timeout timeout no_soln timeout timeout timeout timeout timeout
LCL306-3 timeout timeout no_soln timeout timeout timeout timeout timeout
LCL109-4 177.60 290.80 no_soln 112.10 timeout timeout timeout timeout
COL044-2 2.90 115.10 45.90 timeout 58.80 timeout timeout timeout
LCL193-3 timeout timeout no_soln 1.00 93.20 timeout timeout timeout
HEN011-1 75.00 186.70 timeout 4.60 timeout 52.70 5.00 timeout
COL006-2 250.50 363.70 47.10 timeout 252.40 timeout timeout timeout
COL044-4 162.20 276.00 46.00 timeout timeout timeout timeout timeout
Attempted 15 15 15 15 15 15 15 15
Solved 9 9 6 5 5 3 3 1
Av. Time 91.90 192.59 48.03 92.64 127.96 30.70 86.20 158.10

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for HNE

E 0.6 E-SETHEO 2000csp Gandalf c-2.1 Vampire 1.0 Vampire 0.0 Bliksem 1.10 Otter 3.1b SCOTT 5.0.0
LCL122-1 31.10 144.40 no_soln timeout timeout unknown timeout timeout
LCL394-1 316.50 428.70 no_soln timeout timeout timeout timeout timeout
LCL123-1 23.60 53.70 82.30 174.20 80.10 16.80 79.00 205.60
PLA011-2 0.10 2.00 66.90 0.40 0.20 timeout timeout timeout
PLA012-1 0.50 50.30 83.20 0.70 0.90 timeout timeout timeout
LCL368-1 62.00 174.50 3.70 232.50 timeout timeout timeout timeout
LCL020-1 195.50 309.40 timeout timeout timeout unknown timeout timeout
PLA014-1 0.10 50.20 68.50 0.50 0.20 timeout timeout timeout
PLA019-1 0.10 50.40 66.60 0.40 0.10 timeout timeout timeout
PLA004-2 0.10 2.30 67.70 0.50 0.20 timeout timeout timeout
SYN312-1 0.20 10.70 67.60 0.40 0.10 357.10 no_soln timeout
SYN311-1 0.10 14.30 67.70 0.30 0.20 timeout no_soln timeout
PLA009-2 3.80 3.60 64.00 0.60 1.00 timeout timeout timeout
PLA005-2 0.20 2.20 69.20 0.50 0.60 timeout timeout timeout
LCL129-1 2.10 114.80 354.20 timeout timeout 165.20 timeout timeout
Attempted 15 15 15 15 15 15 15 15
Solved 15 15 12 11 10 3 1 1
Av. Time 42.40 94.10 88.47 37.36 8.36 179.70 79.00 205.60

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for NEQ

Gandalf c-2.1 E 0.6 E-SETHEO 2000csp Vampire 0.0 Vampire 1.0 Bliksem 1.10 SCOTT 5.0.0 Otter 3.1b
SET454-6 90.50 29.90 421.80 6.50 timeout timeout timeout timeout
GEO028-2 no_soln timeout timeout timeout timeout timeout timeout timeout
GEO066-2 10.60 0.20 208.90 0.20 0.40 1.50 206.90 timeout
GEO009-1 46.60 32.00 215.20 146.80 177.10 timeout timeout timeout
GEO012-1 243.50 81.20 370.40 21.10 65.20 timeout 427.50 timeout
SET347-6 230.10 timeout timeout timeout timeout timeout timeout timeout
SET497-6 186.90 289.40 timeout 22.10 348.80 timeout timeout timeout
GEO010-2 159.50 26.20 212.30 timeout timeout timeout timeout timeout
NUM049-1 125.20 timeout timeout timeout timeout timeout no_soln timeout
SET230-6 210.80 timeout timeout unknown timeout timeout timeout timeout
GEO060-2 410.50 34.60 335.40 56.10 timeout timeout timeout timeout
CAT005-3 176.40 0.00 251.90 0.30 0.40 0.00 timeout 0.20
GEO002-2 6.60 0.10 17.30 0.00 0.40 0.20 198.40 274.90
MSC007-2.005 unknown 9.60 231.20 timeout timeout timeout no_soln timeout
GEO001-1 7.60 0.10 172.90 0.00 0.40 0.10 182.30 timeout
Attempted 15 15 15 15 15 15 15 15
Solved 13 11 10 9 7 4 4 2
Av. Time 146.52 45.75 243.73 28.12 84.67 0.45 253.77 137.55

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for NNE

Gandalf c-2.1 Vampire 1.0 E-SETHEO 2000csp E 0.6 Vampire 0.0 SCOTT 5.0.0 Otter 3.1b Bliksem 1.10
SET014-2 59.00 0.60 1.60 timeout timeout 109.70 timeout timeout
ANA002-4 112.00 37.90 14.70 timeout 227.30 timeout timeout timeout
SYN067-1 unknown 1.20 timeout timeout timeout no_soln timeout timeout
SET015-2 7.50 timeout 272.80 121.50 timeout timeout timeout timeout
SYN067-3 unknown 1.10 214.90 59.20 timeout timeout timeout timeout
SET013-2 0.80 timeout 294.20 143.00 412.40 timeout timeout timeout
SET015-1 161.60 timeout 3.30 99.20 timeout timeout timeout timeout
SET012-1 67.30 2.50 2.10 2.00 timeout timeout timeout timeout
SET013-1 126.80 4.50 2.50 16.80 timeout timeout timeout timeout
SYN067-2 unknown 0.80 262.40 143.20 timeout no_soln timeout timeout
COM003-1 164.20 17.30 timeout timeout 281.10 timeout timeout timeout
ANA002-3 101.10 timeout timeout timeout timeout timeout timeout timeout
CIV006-1 1.10 0.80 152.90 0.50 0.20 176.50 0.30 0.50
ANA002-1 233.90 55.20 timeout timeout 223.50 timeout timeout timeout
ANA002-2 80.80 263.80 25.50 timeout 151.50 timeout timeout timeout
Attempted 15 15 15 15 15 15 15 15
Solved 12 11 11 8 6 2 1 1
Av. Time 93.01 35.06 113.35 73.17 216.00 143.10 0.30 0.50

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for PEQ

E 0.6 Gandalf c-2.1 E-SETHEO 2000csp Vampire 1.0 SCOTT 5.0.0 Vampire 0.0 Bliksem 1.10 Otter 3.1b
COL078-1 361.60 364.00 timeout timeout 67.30 timeout timeout timeout
GRP055-1 16.80 39.40 254.60 72.70 185.60 8.00 17.90 no_soln
CAT003-2 1.10 0.50 66.90 0.70 no_soln 0.90 74.90 timeout
COL077-1 228.20 61.30 449.80 timeout 47.10 timeout timeout timeout
GRP052-1 106.00 26.50 226.40 12.20 224.80 15.50 18.60 no_soln
COL075-1 2.80 132.60 6.80 0.50 timeout 11.30 76.70 timeout
BOO020-1 393.50 unknown timeout 4.10 360.40 timeout timeout timeout
GRP057-1 19.30 7.40 155.30 6.60 207.90 12.00 8.40 no_soln
GRP072-1 99.70 132.30 347.90 4.80 timeout 15.70 60.80 no_soln
GRP053-1 69.40 149.90 205.20 7.20 270.00 9.90 44.20 no_soln
COL080-1 timeout 116.00 42.40 timeout 127.10 timeout timeout timeout
GRP086-1 0.50 2.90 64.80 0.80 166.00 54.90 1.30 0.40
LAT015-1 296.60 timeout timeout 167.40 timeout no_soln timeout no_soln
GRP051-1 124.80 74.70 355.70 33.00 no_soln 5.20 173.60 timeout
ALG004-1 248.40 unknown 145.30 timeout 114.50 timeout timeout timeout
Attempted 15 15 15 15 15 15 15 15
Solved 14 12 12 11 10 9 9 1
Av. Time 140.62 92.29 193.42 28.18 177.07 14.82 52.93 0.40

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for FEQ

SPASS 1.00T VampireFOF 1.0 E-SETHEO 2000csp GandalfFOF 1.0 Bliksem 1.10 Otter 3.1b MUSCADET 2.2 SCOTT 5.0.0
SET748+4 timeout timeout timeout timeout timeout timeout 3.30 timeout
SET754+4 24.80 timeout timeout no_soln timeout timeout 2.80 timeout
SET753+4 24.50 timeout timeout timeout timeout timeout 3.00 timeout
SET739+4 timeout timeout timeout timeout timeout timeout 3.70 timeout
SET751+4 21.90 112.10 timeout timeout timeout timeout 2.80 timeout
MGT005+2 12.10 1.90 99.40 4.90 timeout 17.80 1.70 40.80
SET690+4 1.30 timeout timeout no_soln timeout timeout 1.70 timeout
SET697+4 0.70 timeout timeout no_soln timeout timeout 1.60 timeout
SET738+4 timeout timeout timeout timeout timeout timeout 13.70 timeout
SET083+1 0.90 1.50 175.90 6.00 10.40 6.30 unknown timeout
SET095+1 136.10 3.40 247.10 95.10 163.60 timeout unknown timeout
SYN074+1 0.50 0.70 3.70 0.30 72.20 0.20 no_soln 55.00
SET101+1 23.50 1.70 80.50 280.00 1.00 1.00 unknown timeout
SET076+1 timeout 401.40 30.80 no_soln timeout timeout unknown timeout
MGT039+2 timeout 1.50 timeout 105.60 timeout timeout no_soln no_soln
MGT035+1 44.60 9.40 317.40 unknown timeout timeout no_soln no_soln
SET067+1 1.80 333.60 78.50 89.80 28.80 timeout 15.10 timeout
SET071+1 1.80 348.20 49.00 no_soln timeout timeout 5.30 timeout
MGT021+1 0.30 0.80 15.70 0.10 1.60 0.10 1.30 20.10
MGT024+1 0.50 0.90 177.70 0.30 0.10 0.10 no_soln 47.00
MGT029+1 5.10 5.50 306.20 unknown timeout timeout no_soln no_soln
SET102+1 43.00 1.80 7.70 270.60 3.00 2.20 unknown timeout
SET079+1 0.90 1.40 95.80 2.80 0.80 7.80 unknown timeout
SYN075+1 0.50 0.80 3.50 0.20 67.20 0.20 no_soln 40.40
MGT005+1 6.50 1.50 181.70 timeout timeout timeout 4.10 249.70
MGT027+1 1.10 0.90 173.40 22.30 2.30 232.40 timeout 60.80
PUZ001+1 0.40 0.70 103.10 2.10 0.10 0.10 timeout no_soln
SYN080+1 0.20 0.80 3.10 0.10 0.00 0.00 no_soln 3.30
MGT037+1 1.50 1.30 175.90 35.40 1.00 313.70 timeout no_soln
MGT026+1 0.80 0.80 173.20 5.80 0.10 0.20 no_soln no_soln
Attempted 30 30 30 30 30 30 30 30
Solved 25 23 21 17 15 14 13 8
Av. Time 14.21 53.59 119.01 54.20 23.48 41.58 4.62 64.64

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE

Results for FNE

VampireFOF 1.0 E-SETHEO 2000csp SPASS 1.00T GandalfFOF 1.0 Bliksem 1.10 Otter 3.1b SCOTT 5.0.0 MUSCADET 2.2
SYN347+1 0.70 2.40 0.30 0.20 0.00 0.10 35.90 no_soln
SYN460+1 365.70 258.90 timeout timeout timeout no_soln unknown timeout
SYN353+1 1.10 84.00 0.60 2.50 0.30 timeout timeout no_soln
SYN501+1 13.50 100.60 timeout timeout timeout no_soln unknown timeout
PUZ031+1 0.90 3.30 0.50 0.30 0.10 0.10 51.30 no_soln
SYN352+1 3.40 3.30 0.40 0.20 0.00 0.10 24.90 no_soln
SYN470+1 52.40 96.80 timeout 255.20 timeout timeout unknown timeout
SYN339+1 0.70 3.00 0.30 0.10 0.00 0.10 2.30 no_soln
SYN508+1 52.20 102.50 237.90 timeout timeout no_soln unknown timeout
SYN369+1 0.70 3.10 0.20 0.10 0.00 0.00 0.50 no_soln
SYN061+1 0.70 3.10 0.20 0.10 0.00 0.10 0.40 no_soln
SYN475+1 16.60 97.70 403.90 timeout timeout no_soln unknown timeout
COM003+3 1.10 14.30 0.50 71.50 0.20 timeout timeout no_soln
SYN439+1 147.90 230.90 timeout unknown timeout timeout unknown timeout
SYN549+1 1.20 6.90 0.80 7.00 timeout 5.60 132.40 no_soln
SYN327+1 0.70 unknown 0.20 0.20 0.00 0.00 1.10 no_soln
SYN404+1 0.70 2.40 0.20 0.20 0.00 0.00 0.30 no_soln
SYN383+1 0.60 3.30 0.30 0.20 0.00 0.00 0.30 no_soln
SYN331+1 0.70 2.90 0.30 0.10 0.00 0.00 13.60 no_soln
SYN051+1 0.60 3.00 0.20 0.20 0.00 0.00 0.40 no_soln
SYN064+1 0.60 3.00 0.20 0.10 0.00 0.00 0.80 no_soln
SYN398+1 0.60 3.00 0.20 0.10 0.00 0.00 0.20 no_soln
SYN036+1 1.00 14.40 0.50 159.00 7.30 timeout timeout no_soln
SYN036+2 1.10 14.60 0.50 159.00 8.90 timeout timeout no_soln
SYN066+1 0.60 3.10 0.20 0.10 0.00 0.00 3.20 unknown
SYN382+1 0.60 2.90 0.30 0.10 0.00 0.00 0.80 timeout
SYN371+1 0.80 3.00 0.30 0.10 0.00 0.00 0.30 no_soln
SYN070+1 0.70 3.20 0.30 0.20 0.00 0.10 4.80 no_soln
SYN063+1 0.80 2.90 0.20 0.10 0.00 0.00 0.50 no_soln
SYN379+1 0.60 2.80 0.20 0.20 0.00 0.00 0.60 no_soln
Attempted 30 30 30 30 30 30 30 30
Solved 30 29 26 25 23 20 20 0
Av. Time 22.32 37.08 24.99 26.28 0.73 0.31 13.73 -

Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE