Results for All of the systems that competed in CASC-16 passed the soundness testing that was performed before the competition. However, in August 1999, i.e., about a month after the competition, E 0.5 and E-SETHEO(-FLOTTER) 99csp were found to be unsound in certain rare circumstances. The unsoundness was due to a bug in E, which was also used as a component of E-SETHEO. Unsoundness is unacceptable, and the competition panel retrospectively disqualified the two systems from being ranked in the competition. It must be noted that the unsoundness was entirely accidental, and that there was no attempt to deceive. The circumstances in which the two systems are unsound did not occur in the competition, and therefore the performance of these systems in the competition was not affected. Subsequent testing of the repaired systems verified that the same problems could be solved. The results of these two unranked systems are therefore still of interest, and are presented here.

Results for MIXProblems

E-SETHEO 99csp Vampire 0.0 SPASS 1.00T E 0.5 Gandalf c-1.8c Gandalf c-2.0 Bliksem 1.10 SCOTT 4.6.4 OtterMACE 437 FDP 0.9
ANA002-3 timeout 178.50 97.10 timeout timeout unknown timeout timeout timeout timeout
ANA002-4 9.30 108.80 37.00 timeout 76.80 163.50 timeout timeout timeout 214.10
CAT005-3 108.40 0.00 0.10 0.00 115.10 37.60 0.00 timeout timeout 0.70
CID003-1 timeout timeout 37.80 12.60 45.40 63.80 timeout 95.60 36.50 timeout
CID003-2 89.90 timeout 36.80 13.40 39.00 55.50 timeout 47.10 0.80 unknown
COL003-7 24.20 41.80 timeout 103.50 timeout unknown timeout unknown unknown timeout
COL003-8 157.20 34.40 timeout 79.40 timeout unknown timeout unknown unknown timeout
COL003-9 29.40 37.80 timeout 79.90 timeout unknown timeout unknown unknown timeout
COL003-10 160.40 37.80 timeout 79.70 timeout unknown timeout unknown unknown unknown
COL006-2 181.00 timeout timeout 136.10 timeout unknown timeout 136.40 timeout timeout
COL042-2 138.60 9.90 80.60 60.90 timeout timeout timeout 90.10 timeout timeout
COL042-3 250.00 13.60 86.80 165.30 timeout timeout timeout 89.70 timeout timeout
COL044-3 timeout timeout timeout 3.50 timeout unknown timeout 91.40 timeout timeout
COL044-4 timeout timeout timeout 83.20 timeout unknown timeout 87.00 timeout timeout
COL044-5 timeout timeout timeout 83.40 timeout unknown timeout 102.80 timeout timeout
COL078-1 timeout timeout timeout timeout timeout unknown timeout unknown timeout unknown
COL081-1 27.90 68.00 10.60 2.10 44.60 38.40 timeout 6.60 0.70 timeout
GEO010-1 112.90 12.80 4.40 1.80 108.70 108.40 timeout 85.50 126.70 timeout
GEO065-2 110.70 0.00 0.20 0.10 5.20 5.90 2.20 111.70 21.50 unknown
GRP050-1 45.70 3.00 26.00 99.10 9.10 11.30 5.70 105.10 29.40 unknown
GRP051-1 72.10 3.00 15.00 178.00 108.20 unknown 83.80 no_soln timeout unknown
GRP052-1 44.80 8.70 180.60 271.40 13.10 17.60 6.20 no_soln unknown unknown
GRP056-1 98.20 1.20 timeout 7.10 timeout unknown 3.90 no_soln unknown unknown
GRP062-1 41.80 3.40 timeout 2.00 30.10 38.90 4.50 no_soln unknown timeout
GRP071-1 41.40 3.40 15.90 0.90 timeout unknown 3.30 timeout unknown timeout
GRP072-1 45.80 2.90 18.40 15.60 timeout unknown 3.80 timeout timeout unknown
GRP077-1 42.70 2.40 15.90 2.10 113.60 152.60 1.00 no_soln 98.30 unknown
GRP078-1 41.20 0.30 1.90 0.10 3.70 5.20 0.10 201.60 38.20 unknown
GRP083-1 45.00 3.70 72.30 7.30 266.90 timeout 8.50 timeout unknown unknown
GRP105-1 41.80 41.30 11.40 0.10 6.10 8.30 6.90 timeout timeout timeout
GRP108-1 41.30 timeout 3.20 0.20 17.90 24.80 26.80 timeout timeout unknown
LAT005-3 timeout timeout timeout timeout timeout unknown timeout timeout timeout timeout
LAT005-6 179.20 61.30 35.50 timeout 55.50 unknown timeout timeout 209.90 timeout
LAT030-1 42.90 no_soln timeout 80.40 36.50 unknown 6.80 unknown unknown timeout
LCL002-1 timeout timeout timeout timeout 173.90 186.40 timeout timeout timeout timeout
LCL017-1 107.70 38.50 64.10 32.40 239.70 257.60 192.80 timeout timeout unknown
LCL021-1 timeout 67.10 timeout 236.00 timeout unknown unknown timeout timeout unknown
LCL064-1 7.90 52.30 19.10 timeout 2.00 1.90 timeout timeout timeout unknown
LCL105-1 261.10 timeout timeout 195.70 timeout unknown timeout timeout timeout unknown
LCL109-4 103.70 45.00 timeout 36.70 timeout unknown timeout timeout timeout unknown
LCL121-1 75.90 33.60 47.20 1.30 22.50 24.80 4.20 timeout 134.30 timeout
LCL124-1 76.90 timeout timeout 1.90 timeout unknown timeout timeout timeout unknown
LCL128-1 102.20 no_soln 8.40 26.80 33.40 36.40 3.10 timeout 146.80 unknown
LCL191-1 timeout 31.40 timeout timeout timeout unknown 26.00 timeout 274.00 timeout
LCL222-1 timeout 66.80 timeout timeout timeout unknown timeout 187.60 timeout timeout
LCL223-1 timeout 53.20 timeout timeout timeout 53.40 timeout 101.50 timeout timeout
NUM094-1 timeout timeout timeout timeout 69.20 99.10 timeout timeout timeout unknown
PLA009-1 1.90 0.00 0.70 11.50 54.80 37.20 timeout timeout timeout timeout
PLA015-1 33.30 0.80 3.50 37.50 58.80 123.40 timeout timeout timeout timeout
PLA018-1 33.20 0.30 0.60 1.20 36.10 51.00 timeout timeout timeout timeout
PLA023-1 33.40 0.60 1.50 1.20 36.90 39.00 timeout timeout timeout timeout
PRV008-1 8.50 timeout 0.20 0.00 0.40 0.30 0.10 51.40 1.10 timeout
PUZ017-1 timeout 0.10 3.70 timeout timeout unknown timeout timeout timeout timeout
RNG041-1 1.00 0.00 0.70 0.00 0.80 0.80 0.50 80.90 24.70 timeout
SET012-1 0.90 timeout 2.40 2.80 44.40 38.30 1.60 timeout timeout timeout
SET013-2 timeout timeout 174.50 timeout 0.50 0.40 timeout timeout timeout 6.40
SET031-4 4.40 timeout 10.90 timeout 47.60 39.10 timeout timeout timeout timeout
SET095-6 44.60 10.50 1.40 0.50 58.80 39.20 0.00 198.70 53.30 timeout
SET130-6 191.80 21.60 27.90 79.30 64.10 40.00 timeout timeout timeout unknown
SET135-6 timeout 23.00 64.90 timeout timeout 46.90 timeout timeout timeout unknown
SET186-6 timeout timeout timeout timeout 69.30 unknown timeout timeout timeout unknown
SET189-6 timeout timeout 132.50 timeout 58.90 41.10 timeout timeout 6.70 timeout
SET236-6 3.40 timeout 100.00 timeout 58.80 39.30 timeout timeout timeout unknown
SET287-6 timeout 61.30 timeout 14.80 113.10 115.30 timeout timeout timeout timeout
SYN015-1 109.30 0.30 0.50 0.20 unknown unknown 1.80 timeout timeout timeout
SYN067-1 timeout timeout 99.00 timeout unknown unknown timeout timeout timeout timeout
SYN067-2 timeout timeout timeout timeout unknown timeout timeout timeout timeout 145.70
SYN436-1 16.40 166.00 54.10 timeout unknown unknown timeout timeout timeout timeout
SYN448-1 21.60 13.60 37.30 timeout unknown unknown timeout timeout timeout 217.30
SYN461-1 22.00 284.80 61.80 timeout unknown unknown timeout timeout timeout 219.10
SYN469-1 45.20 17.00 86.90 timeout unknown unknown timeout timeout timeout 211.00
SYN477-1 115.40 8.10 95.20 timeout unknown unknown timeout timeout timeout timeout
SYN486-1 49.70 16.90 56.00 timeout unknown unknown timeout timeout timeout timeout
SYN489-1 50.50 18.10 44.40 timeout unknown unknown timeout timeout timeout 211.00
SYN500-1 52.10 7.90 60.80 timeout unknown unknown timeout timeout timeout timeout
Attempted 75 75 75 75 75 75 75 75 75 75
Solved 54 51 50 47 39 36 24 18 16 8
Av. Time 70.33 33.66 40.95 47.85 59.99 56.74 16.40 103.93 75.18 153.16

Return to top of page

Results for HEQProblems

E 0.5 E-SETHEO 99csp Vampire 0.0 SCOTT 4.6.4 SPASS 1.00T Gandalf c-1.8c OtterMACE 437 Gandalf c-2.0 Bliksem 1.10 FDP 0.9
CID003-1 12.60 timeout timeout 95.60 37.80 45.40 36.50 63.80 timeout timeout
CID003-2 13.40 89.90 timeout 47.10 36.80 39.00 0.80 55.50 timeout unknown
COL003-7 103.50 24.20 41.80 unknown timeout timeout unknown unknown timeout timeout
COL003-8 79.40 157.20 34.40 unknown timeout timeout unknown unknown timeout timeout
COL003-9 79.90 29.40 37.80 unknown timeout timeout unknown unknown timeout timeout
COL003-10 79.70 160.40 37.80 unknown timeout timeout unknown unknown timeout unknown
COL006-2 136.10 181.00 timeout 136.40 timeout timeout timeout unknown timeout timeout
COL042-2 60.90 138.60 9.90 90.10 80.60 timeout timeout timeout timeout timeout
COL042-3 165.30 250.00 13.60 89.70 86.80 timeout timeout timeout timeout timeout
COL044-3 3.50 timeout timeout 91.40 timeout timeout timeout unknown timeout timeout
COL044-4 83.20 timeout timeout 87.00 timeout timeout timeout unknown timeout timeout
COL044-5 83.40 timeout timeout 102.80 timeout timeout timeout unknown timeout timeout
LAT005-3 timeout timeout timeout timeout timeout timeout timeout unknown timeout timeout
LAT005-6 timeout 179.20 61.30 timeout 35.50 55.50 209.90 unknown timeout timeout
LCL109-4 36.70 103.70 45.00 timeout timeout timeout timeout unknown timeout unknown
Attempted 15 15 15 15 15 15 15 15 15 15
Solved 13 10 8 8 5 3 3 2 0 0
Av. Time 72.12 131.36 35.20 92.51 55.50 46.63 82.40 59.65 - -

Return to top of page

Results for HNEProblems

Vampire 0.0 E 0.5 E-SETHEO 99csp Gandalf c-2.0 Gandalf c-1.8c SPASS 1.00T Bliksem 1.10 OtterMACE 437 SCOTT 4.6.4 FDP 0.9
LCL002-1 timeout timeout timeout 186.40 173.90 timeout timeout timeout timeout timeout
LCL017-1 38.50 32.40 107.70 257.60 239.70 64.10 192.80 timeout timeout unknown
LCL021-1 67.10 236.00 timeout unknown timeout timeout unknown timeout timeout unknown
LCL064-1 52.30 timeout 7.90 1.90 2.00 19.10 timeout timeout timeout unknown
LCL105-1 timeout 195.70 261.10 unknown timeout timeout timeout timeout timeout unknown
LCL121-1 33.60 1.30 75.90 24.80 22.50 47.20 4.20 134.30 timeout timeout
LCL124-1 timeout 1.90 76.90 unknown timeout timeout timeout timeout timeout unknown
LCL128-1 no_soln 26.80 102.20 36.40 33.40 8.40 3.10 146.80 timeout unknown
LCL191-1 31.40 timeout timeout unknown timeout timeout 26.00 274.00 timeout timeout
LCL222-1 66.80 timeout timeout unknown timeout timeout timeout timeout 187.60 timeout
LCL223-1 53.20 timeout timeout 53.40 timeout timeout timeout timeout 101.50 timeout
PLA009-1 0.00 11.50 1.90 37.20 54.80 0.70 timeout timeout timeout timeout
PLA015-1 0.80 37.50 33.30 123.40 58.80 3.50 timeout timeout timeout timeout
PLA018-1 0.30 1.20 33.20 51.00 36.10 0.60 timeout timeout timeout timeout
PLA023-1 0.60 1.20 33.40 39.00 36.90 1.50 timeout timeout timeout timeout
Attempted 15 15 15 15 15 15 15 15 15 15
Solved 11 10 10 10 9 8 4 3 2 0
Av. Time 31.33 54.55 73.35 81.11 73.12 18.14 56.52 185.03 144.55 -

Return to top of page

Results for NEQProblems

Gandalf c-2.0 Gandalf c-1.8c SPASS 1.00T E-SETHEO 99csp E 0.5 Vampire 0.0 Bliksem 1.10 OtterMACE 437 SCOTT 4.6.4 FDP 0.9
CAT005-3 37.60 115.10 0.10 108.40 0.00 0.00 0.00 timeout timeout 0.70
GEO010-1 108.40 108.70 4.40 112.90 1.80 12.80 timeout 126.70 85.50 timeout
GEO065-2 5.90 5.20 0.20 110.70 0.10 0.00 2.20 21.50 111.70 unknown
NUM094-1 99.10 69.20 timeout timeout timeout timeout timeout timeout timeout unknown
PRV008-1 0.30 0.40 0.20 8.50 0.00 timeout 0.10 1.10 51.40 timeout
RNG041-1 0.80 0.80 0.70 1.00 0.00 0.00 0.50 24.70 80.90 timeout
SET031-4 39.10 47.60 10.90 4.40 timeout timeout timeout timeout timeout timeout
SET095-6 39.20 58.80 1.40 44.60 0.50 10.50 0.00 53.30 198.70 timeout
SET130-6 40.00 64.10 27.90 191.80 79.30 21.60 timeout timeout timeout unknown
SET135-6 46.90 timeout 64.90 timeout timeout 23.00 timeout timeout timeout unknown
SET186-6 unknown 69.30 timeout timeout timeout timeout timeout timeout timeout unknown
SET189-6 41.10 58.90 132.50 timeout timeout timeout timeout 6.70 timeout timeout
SET236-6 39.30 58.80 100.00 3.40 timeout timeout timeout timeout timeout unknown
SET287-6 115.30 113.10 timeout timeout 14.80 61.30 timeout timeout timeout timeout
SYN015-1 unknown unknown 0.50 109.30 0.20 0.30 1.80 timeout timeout timeout
Attempted 15 15 15 15 15 15 15 15 15 15
Solved 13 13 12 10 9 9 6 6 5 1
Av. Time 47.15 59.23 28.64 69.50 10.74 14.39 0.77 39.00 105.64 0.70

Return to top of page

Results for NNEProblems

SPASS 1.00T Vampire 0.0 E-SETHEO 99csp FDP 0.9 Gandalf c-1.8c Gandalf c-2.0 Bliksem 1.10 E 0.5 OtterMACE 437 SCOTT 4.6.4
ANA002-3 97.10 178.50 timeout timeout timeout unknown timeout timeout timeout timeout
ANA002-4 37.00 108.80 9.30 214.10 76.80 163.50 timeout timeout timeout timeout
PUZ017-1 3.70 0.10 timeout timeout timeout unknown timeout timeout timeout timeout
SET012-1 2.40 timeout 0.90 timeout 44.40 38.30 1.60 2.80 timeout timeout
SET013-2 174.50 timeout timeout 6.40 0.50 0.40 timeout timeout timeout timeout
SYN067-1 99.00 timeout timeout timeout unknown unknown timeout timeout timeout timeout
SYN067-2 timeout timeout timeout 145.70 unknown timeout timeout timeout timeout timeout
SYN436-1 54.10 166.00 16.40 timeout unknown unknown timeout timeout timeout timeout
SYN448-1 37.30 13.60 21.60 217.30 unknown unknown timeout timeout timeout timeout
SYN461-1 61.80 284.80 22.00 219.10 unknown unknown timeout timeout timeout timeout
SYN469-1 86.90 17.00 45.20 211.00 unknown unknown timeout timeout timeout timeout
SYN477-1 95.20 8.10 115.40 timeout unknown unknown timeout timeout timeout timeout
SYN486-1 56.00 16.90 49.70 timeout unknown unknown timeout timeout timeout timeout
SYN489-1 44.40 18.10 50.50 211.00 unknown unknown timeout timeout timeout timeout
SYN500-1 60.80 7.90 52.10 timeout unknown unknown timeout timeout timeout timeout
Attempted 15 15 15 15 15 15 15 15 15 15
Solved 14 11 10 7 3 3 1 1 0 0
Av. Time 65.01 74.53 38.31 174.94 40.57 67.40 1.60 2.80 - -

Return to top of page

Results for PEQProblems

E 0.5 E-SETHEO 99csp Bliksem 1.10 Vampire 0.0 SPASS 1.00T Gandalf c-1.8c Gandalf c-2.0 OtterMACE 437 SCOTT 4.6.4 FDP 0.9
COL078-1 timeout timeout timeout timeout timeout timeout unknown timeout unknown unknown
COL081-1 2.10 27.90 timeout 68.00 10.60 44.60 38.40 0.70 6.60 timeout
GRP050-1 99.10 45.70 5.70 3.00 26.00 9.10 11.30 29.40 105.10 unknown
GRP051-1 178.00 72.10 83.80 3.00 15.00 108.20 unknown timeout no_soln unknown
GRP052-1 271.40 44.80 6.20 8.70 180.60 13.10 17.60 unknown no_soln unknown
GRP056-1 7.10 98.20 3.90 1.20 timeout timeout unknown unknown no_soln unknown
GRP062-1 2.00 41.80 4.50 3.40 timeout 30.10 38.90 unknown no_soln timeout
GRP071-1 0.90 41.40 3.30 3.40 15.90 timeout unknown unknown timeout timeout
GRP072-1 15.60 45.80 3.80 2.90 18.40 timeout unknown timeout timeout unknown
GRP077-1 2.10 42.70 1.00 2.40 15.90 113.60 152.60 98.30 no_soln unknown
GRP078-1 0.10 41.20 0.10 0.30 1.90 3.70 5.20 38.20 201.60 unknown
GRP083-1 7.30 45.00 8.50 3.70 72.30 266.90 timeout unknown timeout unknown
GRP105-1 0.10 41.80 6.90 41.30 11.40 6.10 8.30 timeout timeout timeout
GRP108-1 0.20 41.30 26.80 timeout 3.20 17.90 24.80 timeout timeout unknown
LAT030-1 80.40 42.90 6.80 no_soln timeout 36.50 unknown unknown unknown timeout
Attempted 15 15 15 15 15 15 15 15 15 15
Solved 14 14 13 12 11 11 8 4 3 0
Av. Time 47.60 48.04 12.41 11.78 33.75 59.07 37.14 41.65 104.43 -

Return to top of page

Results for UEQProblems

Waldmeister 799 Waldmeister 798 SCOTT 4.6.4 E 0.5 SPASS 1.00T Fiesta 2 OtterMACE 437 E-SETHEO 99csp Gandalf c-2.0 Vampire 0.0 Bliksem 1.10
COL003-1 1.40 timeout 90.20 31.30 timeout timeout unknown timeout unknown timeout timeout
COL006-5 0.00 2.10 104.50 296.90 timeout timeout timeout timeout unknown timeout timeout
COL006-6 0.00 0.00 timeout timeout timeout timeout timeout timeout unknown timeout timeout
COL006-7 0.00 0.50 timeout timeout timeout timeout timeout timeout unknown timeout timeout
COL042-1 16.60 timeout timeout 2.90 timeout timeout timeout 108.50 unknown timeout timeout
COL044-6 0.00 0.00 11.10 timeout timeout timeout timeout timeout unknown timeout timeout
COL044-7 0.00 0.00 103.40 timeout timeout timeout timeout timeout unknown timeout timeout
COL044-8 0.00 0.00 115.20 timeout timeout timeout timeout timeout unknown timeout timeout
COL044-9 0.00 0.00 102.90 timeout timeout timeout timeout timeout unknown timeout timeout
COL066-1 1.30 1.20 timeout 155.40 timeout timeout timeout 41.20 unknown timeout timeout
GRP024-5 15.00 54.50 timeout timeout timeout timeout timeout timeout unknown timeout timeout
GRP164-1 236.00 timeout unknown timeout timeout timeout timeout timeout unknown timeout timeout
GRP164-2 236.00 timeout timeout timeout timeout timeout timeout timeout unknown timeout timeout
GRP185-1 0.60 0.60 unknown timeout 0.20 timeout timeout timeout 76.30 timeout timeout
GRP185-3 0.10 0.10 104.70 timeout 0.90 0.00 timeout timeout 53.60 timeout timeout
LAT022-1 11.60 106.60 185.90 246.30 timeout 175.00 timeout timeout unknown timeout timeout
LAT023-1 11.90 48.70 150.50 86.30 timeout timeout timeout 149.60 unknown timeout timeout
LCL109-2 2.00 2.10 timeout 283.90 timeout 91.30 timeout timeout 188.50 27.80 61.90
RNG019-6 0.00 0.00 2.90 timeout 0.60 63.60 0.90 timeout unknown timeout timeout
RNG021-6 0.00 0.00 53.20 timeout 0.70 timeout 2.10 timeout unknown timeout timeout
RNG025-4 1.20 timeout 98.80 timeout 1.60 timeout 32.20 timeout unknown timeout timeout
RNG025-6 0.10 3.10 timeout 42.30 1.10 timeout timeout timeout unknown timeout timeout
RNG026-6 0.00 9.70 timeout timeout timeout timeout timeout timeout unknown timeout timeout
RNG027-8 22.00 timeout timeout timeout timeout timeout timeout timeout unknown timeout timeout
RNG028-5 25.60 timeout unknown timeout timeout timeout timeout timeout unknown timeout timeout
RNG028-8 25.50 timeout timeout timeout timeout timeout timeout timeout unknown timeout timeout
RNG029-5 17.90 timeout timeout timeout timeout timeout timeout timeout unknown timeout timeout
RNG029-6 18.00 timeout timeout timeout timeout timeout timeout timeout unknown timeout timeout
RNG035-7 36.10 timeout timeout 288.60 timeout timeout timeout timeout unknown timeout timeout
ROB005-1 2.50 3.00 114.50 163.90 219.40 60.00 143.40 timeout unknown timeout timeout
Attempted 30 30 30 30 30 30 30 30 30 30 30
Solved 30 19 13 10 7 5 4 3 3 1 1
Av. Time 22.71 12.22 95.22 159.78 32.07 77.98 44.65 99.77 106.13 27.80 61.90

Return to top of page

Results for SATProblems

OtterMACE 437 SPASS 1.00T SPASS 0.95T FDP 0.9 E-SETHEO 99csp Bliksem 1.10
CAT001-2 unknown 1.70 timeout unknown 49.00 timeout
CAT015-3 unknown 0.10 0.00 0.50 108.40 0.00
CAT019-4 7.10 timeout timeout timeout timeout timeout
COL071-1 12.90 timeout timeout unknown timeout timeout
GRP135-1.005 7.50 timeout timeout 142.30 13.80 timeout
KRS008-1 unknown 2.50 2.60 25.40 88.40 timeout
LCL137-1 9.40 timeout timeout timeout timeout timeout
LCL142-1 7.10 timeout timeout timeout timeout timeout
LCL232-1 6.60 timeout timeout timeout timeout timeout
LCL233-1 11.90 timeout timeout timeout timeout timeout
LCL234-1 10.70 timeout timeout timeout timeout timeout
LCL237-1 11.50 timeout timeout timeout timeout timeout
LCL239-1 6.30 timeout timeout timeout timeout timeout
LCL243-1 6.60 timeout timeout timeout timeout timeout
LCL246-1 6.40 timeout timeout timeout timeout timeout
NUM059-1 timeout timeout timeout unknown timeout timeout
PUZ018-2 timeout timeout timeout 131.30 72.90 0.00
RNG025-8 6.90 timeout timeout unknown timeout timeout
RNG028-6 11.30 timeout timeout timeout timeout timeout
ROB015-1 6.50 timeout timeout timeout timeout timeout
SYN307-1 6.80 timeout timeout 0.20 11.90 timeout
SYN330-1 timeout 0.10 0.00 timeout 22.80 0.00
SYN419-1 timeout 4.00 3.80 36.60 timeout timeout
SYN420-1 timeout 107.70 107.20 45.70 timeout timeout
SYN426-1 timeout 83.80 timeout 77.70 timeout timeout
SYN428-1 timeout 6.20 5.30 timeout timeout timeout
SYN456-1 timeout 19.80 15.10 timeout 20.90 timeout
SYN519-1 timeout timeout timeout timeout timeout timeout
SYN520-1 timeout 12.40 11.00 timeout timeout timeout
SYN546-1 timeout 5.50 5.20 46.20 timeout timeout
Attempted 30 30 30 30 30 30
Solved 16 11 9 9 8 3
Av. Time 8.47 22.16 16.69 56.21 48.51 0.00

Return to top of page

Results for FOFProblems

SPASS 1.00T E-SETHEO 99csp SPASS 0.95T Bliksem 1.10 MUSCADET 2.1 OtterMACE 437
MGT021+1 0.10 9.40 0.00 0.00 0.70 0.30
SET055+1 timeout 3.10 timeout timeout unknown 0.70
SET065+1 0.30 3.00 0.10 0.10 unknown 0.70
SET071+1 3.40 40.80 timeout timeout 1.50 timeout
SET084+1 0.40 114.30 9.40 0.70 unknown 65.40
SET094+1 1.10 18.90 1.10 0.20 unknown timeout
SET352+4 0.40 timeout timeout timeout 1.00 timeout
SET697+4 0.30 timeout timeout timeout no_soln timeout
SET723+4 timeout timeout timeout timeout 1.60 timeout
SET726+4 timeout timeout timeout timeout 1.80 timeout
SET746+4 timeout timeout timeout timeout 1.70 timeout
SET752+4 timeout timeout timeout timeout 1.60 timeout
SET757+4 timeout timeout timeout timeout 1.90 timeout
SET769+4 timeout timeout timeout timeout 1.50 timeout
SYN036+1 0.30 8.80 0.00 18.00 unknown timeout
SYN052+1 0.10 1.40 0.00 0.00 no_soln 0.20
SYN072+1 0.10 12.90 0.00 0.00 no_soln unknown
SYN332+1 0.10 8.90 0.00 0.00 unknown unknown
SYN362+1 0.10 1.40 0.00 0.00 unknown 0.20
SYN378+1 0.10 1.40 0.00 0.00 no_soln 0.10
SYN381+1 0.10 1.20 0.00 0.00 unknown 0.10
SYN411+1 0.10 1.50 0.00 0.00 unknown 0.20
SYN436+1 90.20 19.70 91.20 timeout timeout timeout
SYN439+1 timeout 136.20 timeout timeout timeout timeout
SYN448+1 37.20 27.60 37.40 timeout timeout timeout
SYN466+1 131.20 121.40 99.10 timeout timeout timeout
SYN469+1 70.60 35.40 69.90 timeout timeout timeout
SYN484+1 64.80 56.50 65.20 timeout timeout timeout
SYN487+1 106.60 30.20 114.10 timeout timeout timeout
SYN508+1 52.50 56.60 51.40 timeout timeout timeout
Attempted 30 30 30 30 30 30
Solved 22 22 19 12 9 9
Av. Time 25.46 32.30 28.36 1.58 1.48 7.54

Return to top of page

Results for FEQProblems

MUSCADET 2.1 SPASS 1.00T E-SETHEO 99csp Bliksem 1.10 SPASS 0.95T OtterMACE 437
MGT021+1 0.70 0.10 9.40 0.00 0.00 0.30
SET055+1 unknown timeout 3.10 timeout timeout 0.70
SET065+1 unknown 0.30 3.00 0.10 0.10 0.70
SET071+1 1.50 3.40 40.80 timeout timeout timeout
SET084+1 unknown 0.40 114.30 0.70 9.40 65.40
SET094+1 unknown 1.10 18.90 0.20 1.10 timeout
SET352+4 1.00 0.40 timeout timeout timeout timeout
SET697+4 no_soln 0.30 timeout timeout timeout timeout
SET723+4 1.60 timeout timeout timeout timeout timeout
SET726+4 1.80 timeout timeout timeout timeout timeout
SET746+4 1.70 timeout timeout timeout timeout timeout
SET752+4 1.60 timeout timeout timeout timeout timeout
SET757+4 1.90 timeout timeout timeout timeout timeout
SET769+4 1.50 timeout timeout timeout timeout timeout
SYN072+1 no_soln 0.10 12.90 0.00 0.00 unknown
Attempted 15 15 15 15 15 15
Solved 9 8 7 5 5 4
Av. Time 1.48 0.76 28.91 0.20 2.12 16.78

Return to top of page

Results for FNEProblems

E-SETHEO 99csp SPASS 0.95T SPASS 1.00T Bliksem 1.10 OtterMACE 437 MUSCADET 2.1
SYN036+1 8.80 0.00 0.30 18.00 timeout unknown
SYN052+1 1.40 0.00 0.10 0.00 0.20 no_soln
SYN332+1 8.90 0.00 0.10 0.00 unknown unknown
SYN362+1 1.40 0.00 0.10 0.00 0.20 unknown
SYN378+1 1.40 0.00 0.10 0.00 0.10 no_soln
SYN381+1 1.20 0.00 0.10 0.00 0.10 unknown
SYN411+1 1.50 0.00 0.10 0.00 0.20 unknown
SYN436+1 19.70 91.20 90.20 timeout timeout timeout
SYN439+1 136.20 timeout timeout timeout timeout timeout
SYN448+1 27.60 37.40 37.20 timeout timeout timeout
SYN466+1 121.40 99.10 131.20 timeout timeout timeout
SYN469+1 35.40 69.90 70.60 timeout timeout timeout
SYN484+1 56.50 65.20 64.80 timeout timeout timeout
SYN487+1 30.20 114.10 106.60 timeout timeout timeout
SYN508+1 56.60 51.40 52.50 timeout timeout timeout
Attempted 15 15 15 15 15 15
Solved 15 14 14 7 5 0
Av. Time 33.88 37.74 39.57 2.57 0.16 -

Return to top of page