Content-type: text/html SPC Results
Results for

Note: Although Bliksem 1.00 passed the soundness testing and ran on the day of the competition, in testing after the competition it was discovered that Bliksem 1.00 is unsound. Bliksem 1.00 was hence disqualified, and therefore the Bliksem 1.00 results do not appear here.

Results for MIXProblems

Gandalf c-1.1 SPASS 1.0.0a AI-SETHEO C-15 p-SETHEO C-15 Otter 3.0.5 TGTP C-15 SCOTT v3.1.0 HERBY 1.0 E 0.1
CID002-1 265.70 timeout no_soln 25.70 0.20 timeout 130.10 no_soln 0.50
LCL131-1 26.00 timeout no_soln 17.20 68.40 timeout unknown unknown timeout
SET183-6 181.10 timeout 13.50 27.70 timeout 60.80 timeout timeout timeout
SYN476-1 unknown timeout 55.20 38.80 timeout timeout timeout timeout timeout
GRP062-1 47.00 timeout 15.80 12.90 no_soln timeout timeout unknown 11.00
RNG039-1 300.00 0.70 16.00 12.50 12.50 5.70 82.60 no_soln unknown
LCL207-1 59.80 2.30 4.00 1.50 0.30 0.60 63.20 0.30 timeout
SYN072-1 0.60 1.00 7.80 4.20 no_soln 2.40 1.20 0.20 unknown
SYN480-1 unknown 129.00 62.80 38.00 timeout timeout timeout no_soln timeout
GRP082-1 27.80 timeout 36.60 29.20 no_soln timeout timeout unknown timeout
HEN010-3 272.70 26.70 no_soln no_soln 0.40 timeout timeout unknown timeout
PLA014-1 35.50 0.30 5.90 2.50 timeout 114.70 timeout timeout timeout
CAT018-3 137.90 8.30 no_soln no_soln timeout 196.30 timeout timeout unknown
CIV006-2 0.50 0.90 no_soln no_soln 0.30 7.10 70.50 unknown timeout
GRP080-1 26.20 1.40 5.70 3.50 no_soln timeout unknown unknown 2.00
BOO009-1 45.40 16.70 7.30 5.60 0.50 11.90 110.60 1.70 timeout
LCL010-1 0.10 0.30 4.00 1.60 0.50 0.70 87.40 unknown timeout
SET261-6 159.00 18.40 no_soln no_soln 6.60 timeout timeout unknown timeout
SYN510-1 unknown 149.80 61.40 25.10 timeout timeout timeout timeout timeout
GRP050-1 15.80 timeout 11.30 7.30 14.90 timeout 128.30 unknown 3.50
ROB011-1 47.30 0.30 no_soln 11.40 0.10 timeout 67.80 timeout timeout
LCL211-1 0.30 13.40 4.90 1.40 4.70 0.40 79.80 0.30 timeout
SET515-6 155.00 111.80 no_soln no_soln 94.00 timeout timeout timeout timeout
PUZ005-1 0.40 0.50 14.40 2.50 0.10 5.00 83.60 35.50 timeout
SYN071-1 0.10 0.20 4.90 1.50 no_soln 0.50 0.60 0.10 0.00
RNG005-1 4.40 21.60 157.60 6.40 0.50 30.50 155.50 6.20 timeout
PLA013-1 34.50 0.20 6.00 2.00 timeout 118.80 timeout timeout timeout
SET012-3 111.90 2.30 32.90 22.20 timeout timeout timeout no_soln timeout
SYN067-3 unknown timeout no_soln no_soln timeout timeout timeout unknown timeout
GRP104-1 28.00 30.20 16.30 13.70 timeout timeout unknown unknown timeout
COL044-2 timeout 220.60 4.90 2.50 timeout timeout unknown unknown timeout
LCL115-1 1.70 18.90 163.40 no_soln 1.40 timeout 71.70 unknown timeout
GEO006-2 103.10 1.10 no_soln no_soln timeout timeout timeout timeout timeout
PUZ032-1 0.00 0.20 4.60 1.40 0.00 0.40 4.10 0.10 0.00
CAT004-2 0.30 timeout no_soln no_soln no_soln 157.40 timeout timeout timeout
COL003-4 timeout 88.80 48.00 113.10 2.30 timeout 176.90 unknown timeout
LCL093-1 5.10 timeout no_soln no_soln 43.20 timeout unknown unknown timeout
GEO048-2 151.50 0.40 no_soln no_soln 7.20 timeout timeout timeout timeout
PUZ028-6 unknown 2.00 5.20 3.00 timeout timeout timeout unknown timeout
RNG034-1 timeout 268.20 no_soln no_soln 69.50 timeout timeout unknown timeout
GRP002-1 timeout timeout no_soln no_soln 55.40 timeout 271.20 timeout timeout
LCL075-1 0.50 1.90 15.40 10.40 2.20 261.90 timeout unknown timeout
GEO030-2 21.20 26.10 179.30 23.50 0.80 18.30 timeout unknown timeout
SYN036-1 106.60 2.40 no_soln no_soln timeout timeout timeout timeout timeout
GRP106-1 32.40 14.50 6.90 4.90 timeout timeout unknown unknown timeout
BOO017-1 timeout 271.90 8.20 11.60 0.20 12.80 95.40 timeout timeout
LCL018-1 timeout timeout no_soln no_soln 125.70 timeout unknown timeout timeout
SYN014-1 unknown 0.30 85.60 no_soln timeout timeout timeout unknown timeout
SYN486-1 unknown 153.00 69.50 36.20 timeout timeout timeout no_soln timeout
GRP053-1 110.00 timeout 18.60 13.50 no_soln timeout unknown timeout 10.30
HEN003-3 0.00 0.20 6.20 3.20 0.10 0.50 66.70 105.10 timeout
LCL033-1 0.00 0.20 131.90 1.90 0.00 1.60 55.20 unknown timeout
SET189-6 59.40 243.30 no_soln no_soln 1.00 timeout timeout unknown timeout
CAT004-4 0.10 18.70 5.30 1.80 0.00 0.70 timeout 1.20 timeout
LCL129-1 timeout 262.90 no_soln no_soln timeout timeout unknown unknown timeout
GEO012-1 167.30 timeout no_soln no_soln 180.60 timeout timeout unknown timeout
COL003-9 timeout timeout 191.90 no_soln unknown timeout unknown timeout timeout
SYN192-1 1.60 0.70 19.00 5.50 0.50 257.50 81.20 42.20 timeout
SET138-6 174.30 timeout 130.50 no_soln timeout timeout timeout unknown timeout
LDA003-1 0.10 0.20 4.40 1.60 0.10 1.20 32.20 1.20 0.00
PLA018-1 37.20 1.00 5.10 2.60 timeout timeout timeout timeout timeout
PUZ006-1 0.10 0.20 12.70 7.20 0.10 1.00 46.10 1.60 1.00
CAT002-1 14.50 29.50 132.60 no_soln 0.80 126.60 timeout unknown timeout
LCL011-1 0.20 1.40 7.30 1.80 39.30 5.90 unknown unknown timeout
CAT009-3 34.00 4.70 no_soln no_soln timeout 293.30 timeout unknown timeout
CAT018-4 44.90 1.10 no_soln no_soln timeout 95.60 timeout timeout unknown
PLA012-1 38.70 2.60 5.50 3.30 timeout timeout timeout timeout timeout
CAT005-3 115.60 0.30 58.00 64.00 timeout 2.40 198.00 timeout unknown
BOO006-1 35.90 17.60 6.00 1.90 0.60 0.60 timeout 0.40 timeout
LCL009-1 1.00 0.40 5.30 2.30 0.20 1.80 72.60 unknown timeout
NUM094-1 72.00 timeout no_soln no_soln 89.10 timeout timeout timeout unknown
COL003-5 timeout 90.70 32.20 no_soln 2.60 timeout 175.80 unknown timeout
SYN310-1 0.00 0.20 113.50 197.80 0.00 0.60 30.20 11.50 timeout
SET191-6 timeout timeout no_soln no_soln timeout timeout timeout timeout timeout
COL003-7 timeout timeout 9.60 6.60 unknown timeout unknown unknown timeout
LCL051-1 3.10 timeout no_soln no_soln 7.90 timeout unknown unknown timeout
SET235-6 59.40 170.80 23.60 7.90 timeout 24.20 timeout 0.40 timeout
RNG008-1 timeout timeout no_soln no_soln 14.20 timeout 274.60 unknown timeout
SYN190-1 2.10 1.40 22.80 5.70 0.50 193.40 89.20 unknown timeout
SET074-6 59.60 2.30 no_soln no_soln 0.60 timeout timeout timeout unknown
Attempted 80 80 80 80 80 80 80 80 80
Solved 61 59 53 50 45 35 29 16 9
Av. Time 56.34 41.64 39.19 16.99 18.89 57.52 96.63 13.00 3.14

Return to top of page

Results for UEQProblems

Waldmeister 798 Otter 3.0.5 DISCOUNT-TSM 2.1 Gandalf c-1.1 SPASS 1.0.0a E 0.1 SCOTT v3.1.0
RNG016-6 0.00 2.60 69.30 19.20 0.50 195.20 48.70
COL038-1 1.70 timeout timeout 138.80 timeout timeout 86.00
COL011-1 0.50 1.00 78.60 59.40 timeout timeout 162.30
GRP169-2 0.70 0.20 11.30 69.80 5.50 31.60 unknown
COL003-17 0.00 36.20 137.70 timeout timeout timeout unknown
COL062-2 0.00 0.00 0.80 66.10 0.20 0.00 1.20
LCL153-1 0.20 0.30 7.90 19.70 0.70 21.20 87.40
GRP121-1 0.80 unknown 2.80 156.80 243.40 9.00 unknown
LCL160-1 7.50 timeout 8.10 timeout timeout timeout 70.70
GRP170-3 0.00 110.10 timeout 75.20 186.20 timeout unknown
BOO010-2 0.00 0.30 0.80 1.70 0.30 1.70 74.10
GRP117-1 0.10 0.10 0.80 10.80 0.20 0.00 125.60
GRP190-2 0.60 3.40 21.60 80.70 1.10 47.20 unknown
RNG007-4 0.00 0.00 0.70 0.10 0.20 0.00 22.90
COL064-7 0.00 0.00 0.80 65.90 0.10 0.00 62.50
COL003-19 0.00 31.80 162.30 timeout timeout timeout unknown
GRP170-1 0.00 52.70 timeout 59.50 196.70 timeout unknown
LCL110-2 0.00 0.20 0.80 0.80 0.50 0.20 142.40
COL006-5 4.00 timeout timeout timeout timeout timeout unknown
COL042-8 0.00 0.30 6.80 48.30 timeout timeout 63.80
COL064-11 0.00 0.00 0.60 66.40 0.10 0.00 112.50
COL064-6 0.00 0.00 0.70 66.30 0.20 0.00 7.10
BOO008-4 1.70 24.50 30.00 99.30 75.80 timeout 84.10
LCL141-1 0.00 0.20 0.90 2.20 1.60 0.70 112.90
LCL135-1 0.00 0.00 0.90 0.30 0.30 0.00 40.60
COL060-1 0.20 timeout 2.90 121.60 22.10 1.10 unknown
RNG019-6 0.10 0.10 timeout timeout 0.60 timeout unknown
BOO015-2 0.40 2.70 10.20 269.00 34.90 139.80 unknown
GRP175-3 0.00 0.10 149.70 9.90 4.20 153.70 62.10
GRP116-1 0.00 0.20 0.90 16.20 0.30 0.00 125.90
Attempted 30 30 30 30 30 30 30
Solved 30 25 25 25 23 19 19
Av. Time 0.62 10.68 28.32 60.96 33.73 31.65 78.57

Return to top of page

Results for SATProblems

SPASS 1.0.0a MACE 1.3.2 Satchmo Functional
SYN522-1 0.50 no_soln 1.00
SYN544-1 33.30 no_soln unknown
SYN518-1 15.10 no_soln no_soln
SYN423-1 12.60 no_soln no_soln
SYN490-1 0.30 0.20 0.10
SYN431-1 1.10 no_soln 0.20
KRS009-1 0.50 0.20 no_soln
SYN513-1 timeout no_soln timeout
LCL245-1 timeout 0.30 timeout
SYN534-1 0.40 0.50 unknown
SYN316-1 0.10 0.10 timeout
LCL232-1 timeout 0.30 timeout
SYN528-1 0.40 no_soln 153.00
CAT015-3 0.10 no_soln no_soln
SYN432-1 0.50 no_soln 0.30
SYN531-1 0.40 0.50 0.60
SYN517-1 0.30 0.40 7.90
SYN529-1 0.40 no_soln 3.10
SYN453-1 29.20 no_soln timeout
SYN533-1 0.20 no_soln 0.40
SYN426-1 224.00 no_soln timeout
SYN497-1 0.30 0.30 0.10
SYN441-1 timeout no_soln unknown
KRS014-1 0.20 0.20 0.00
LCL253-1 timeout 0.40 timeout
LCL238-1 timeout 0.10 timeout
SYN446-1 235.50 no_soln timeout
COL005-1 timeout 0.80 timeout
SYN538-1 0.60 no_soln timeout
CAT019-4 timeout 0.10 timeout
Attempted 30 30 30
Solved 22 14 11
Av. Time 25.27 0.31 15.15

Return to top of page

Results for FOFProblems

SPASS 1.0.0a Otter 3.0.5
MGT023+1 0.40 no_soln
SYN462+1 122.50 timeout
MGT039+1 1.40 no_soln
SYN459+1 79.50 timeout
MGT037+1 0.90 no_soln
SYN436+1 160.30 timeout
MGT005+2 11.50 1.40
SYN067+1 97.40 timeout
MGT020+1 0.70 no_soln
SYN488+1 102.40 timeout
MGT026+1 0.40 no_soln
SYN507+1 150.90 timeout
SYN072+1 0.20 no_soln
SYN484+1 113.10 timeout
SYN077+1 0.50 timeout
SYN473+1 154.60 timeout
MGT035+1 62.30 no_soln
COM003+3 0.30 timeout
SYN071+1 0.10 no_soln
SYN443+1 77.30 timeout
PUZ001+1 0.20 no_soln
SYN036+1 0.20 timeout
MGT027+1 0.70 0.10
SYN487+1 200.30 timeout
SYN076+1 261.70 no_soln
SYN452+1 66.00 timeout
MGT025+1 0.50 no_soln
SYN353+1 0.30 timeout
SYN417+1 0.30 no_soln
SYN500+1 163.10 timeout
MGT023+2 0.30 no_soln
SYN504+1 78.20 timeout
MGT029+1 7.70 no_soln
SYN480+1 145.70 timeout
MGT039+2 timeout no_soln
SYN445+1 17.70 timeout
SYN415+1 0.20 timeout
SYN461+1 62.50 timeout
MGT034+2 94.30 no_soln
SYN442+1 122.70 timeout
Attempted 40 40
Solved 39 2
Av. Time 60.49 0.75

Return to top of page

Results for HEQProblems

Otter 3.0.5 SPASS 1.0.0a AI-SETHEO C-15 p-SETHEO C-15 Gandalf c-1.1 SCOTT v3.1.0 TGTP C-15 HERBY 1.0 E 0.1
CID002-1 0.20 timeout no_soln 25.70 265.70 130.10 timeout no_soln 0.50
RNG039-1 12.50 0.70 16.00 12.50 300.00 82.60 5.70 no_soln unknown
HEN010-3 0.40 26.70 no_soln no_soln 272.70 timeout timeout unknown timeout
BOO009-1 0.50 16.70 7.30 5.60 45.40 110.60 11.90 1.70 timeout
ROB011-1 0.10 0.30 no_soln 11.40 47.30 67.80 timeout timeout timeout
RNG005-1 0.50 21.60 157.60 6.40 4.40 155.50 30.50 6.20 timeout
COL044-2 timeout 220.60 4.90 2.50 timeout unknown timeout unknown timeout
COL003-4 2.30 88.80 48.00 113.10 timeout 176.90 timeout unknown timeout
GRP002-1 55.40 timeout no_soln no_soln timeout 271.20 timeout timeout timeout
BOO017-1 0.20 271.90 8.20 11.60 timeout 95.40 12.80 timeout timeout
HEN003-3 0.10 0.20 6.20 3.20 0.00 66.70 0.50 105.10 timeout
CAT004-4 0.00 18.70 5.30 1.80 0.10 timeout 0.70 1.20 timeout
COL003-9 unknown timeout 191.90 no_soln timeout unknown timeout timeout timeout
LDA003-1 0.10 0.20 4.40 1.60 0.10 32.20 1.20 1.20 0.00
CAT002-1 0.80 29.50 132.60 no_soln 14.50 timeout 126.60 unknown timeout
CAT018-4 timeout 1.10 no_soln no_soln 44.90 timeout 95.60 timeout unknown
BOO006-1 0.60 17.60 6.00 1.90 35.90 timeout 0.60 0.40 timeout
COL003-5 2.60 90.70 32.20 no_soln timeout 175.80 timeout unknown timeout
COL003-7 unknown timeout 9.60 6.60 timeout unknown timeout unknown timeout
RNG008-1 14.20 timeout no_soln no_soln timeout 274.60 timeout unknown timeout
Attempted 20 20 20 20 20 20 20 20 20
Solved 16 15 14 13 12 12 10 6 2
Av. Time 5.66 53.69 45.01 15.68 85.92 136.62 28.61 19.30 0.25

Return to top of page

Results for HNEProblems

Gandalf c-1.1 SPASS 1.0.0a p-SETHEO C-15 Otter 3.0.5 AI-SETHEO C-15 TGTP C-15 SCOTT v3.1.0 HERBY 1.0 E 0.1
LCL131-1 26.00 timeout 17.20 68.40 no_soln timeout unknown unknown timeout
LCL207-1 59.80 2.30 1.50 0.30 4.00 0.60 63.20 0.30 timeout
PLA014-1 35.50 0.30 2.50 timeout 5.90 114.70 timeout timeout timeout
LCL010-1 0.10 0.30 1.60 0.50 4.00 0.70 87.40 unknown timeout
LCL211-1 0.30 13.40 1.40 4.70 4.90 0.40 79.80 0.30 timeout
PLA013-1 34.50 0.20 2.00 timeout 6.00 118.80 timeout timeout timeout
LCL115-1 1.70 18.90 no_soln 1.40 163.40 timeout 71.70 unknown timeout
LCL093-1 5.10 timeout no_soln 43.20 no_soln timeout unknown unknown timeout
LCL075-1 0.50 1.90 10.40 2.20 15.40 261.90 timeout unknown timeout
LCL018-1 timeout timeout no_soln 125.70 no_soln timeout unknown timeout timeout
LCL033-1 0.00 0.20 1.90 0.00 131.90 1.60 55.20 unknown timeout
LCL129-1 timeout 262.90 no_soln timeout no_soln timeout unknown unknown timeout
SYN192-1 1.60 0.70 5.50 0.50 19.00 257.50 81.20 42.20 timeout
PLA018-1 37.20 1.00 2.60 timeout 5.10 timeout timeout timeout timeout
LCL011-1 0.20 1.40 1.80 39.30 7.30 5.90 unknown unknown timeout
PLA012-1 38.70 2.60 3.30 timeout 5.50 timeout timeout timeout timeout
LCL009-1 1.00 0.40 2.30 0.20 5.30 1.80 72.60 unknown timeout
SYN310-1 0.00 0.20 197.80 0.00 113.50 0.60 30.20 11.50 timeout
LCL051-1 3.10 timeout no_soln 7.90 no_soln timeout unknown unknown timeout
SYN190-1 2.10 1.40 5.70 0.50 22.80 193.40 89.20 unknown timeout
Attempted 20 20 20 20 20 20 20 20 20
Solved 18 16 15 15 15 12 9 4 0
Av. Time 13.74 19.26 17.17 19.65 34.27 79.83 70.06 13.58 -

Return to top of page

Results for NEQProblems

Gandalf c-1.1 SPASS 1.0.0a Otter 3.0.5 AI-SETHEO C-15 TGTP C-15 p-SETHEO C-15 HERBY 1.0 SCOTT v3.1.0 E 0.1
SET183-6 181.10 timeout timeout 13.50 60.80 27.70 timeout timeout timeout
SYN072-1 0.60 1.00 no_soln 7.80 2.40 4.20 0.20 1.20 unknown
CAT018-3 137.90 8.30 timeout no_soln 196.30 no_soln timeout timeout unknown
SET261-6 159.00 18.40 6.60 no_soln timeout no_soln unknown timeout timeout
SET515-6 155.00 111.80 94.00 no_soln timeout no_soln timeout timeout timeout
SET012-3 111.90 2.30 timeout 32.90 timeout 22.20 no_soln timeout timeout
GEO006-2 103.10 1.10 timeout no_soln timeout no_soln timeout timeout timeout
GEO048-2 151.50 0.40 7.20 no_soln timeout no_soln timeout timeout timeout
GEO030-2 21.20 26.10 0.80 179.30 18.30 23.50 unknown timeout timeout
SYN014-1 unknown 0.30 timeout 85.60 timeout no_soln unknown timeout timeout
SET189-6 59.40 243.30 1.00 no_soln timeout no_soln unknown timeout timeout
GEO012-1 167.30 timeout 180.60 no_soln timeout no_soln unknown timeout timeout
SET138-6 174.30 timeout timeout 130.50 timeout no_soln unknown timeout timeout
PUZ006-1 0.10 0.20 0.10 12.70 1.00 7.20 1.60 46.10 1.00
CAT009-3 34.00 4.70 timeout no_soln 293.30 no_soln unknown timeout timeout
CAT005-3 115.60 0.30 timeout 58.00 2.40 64.00 timeout 198.00 unknown
NUM094-1 72.00 timeout 89.10 no_soln timeout no_soln timeout timeout unknown
SET191-6 timeout timeout timeout no_soln timeout no_soln timeout timeout timeout
SET235-6 59.40 170.80 timeout 23.60 24.20 7.90 0.40 timeout timeout
SET074-6 59.60 2.30 0.60 no_soln timeout no_soln timeout timeout unknown
Attempted 20 20 20 20 20 20 20 20 20
Solved 18 15 9 9 8 7 3 3 1
Av. Time 97.94 39.42 42.22 60.43 74.84 22.39 0.73 81.77 1.00

Return to top of page

Results for NNEProblems

SPASS 1.0.0a p-SETHEO C-15 AI-SETHEO C-15 Gandalf c-1.1 Otter 3.0.5 TGTP C-15 SCOTT v3.1.0 HERBY 1.0 E 0.1
SYN476-1 timeout 38.80 55.20 unknown timeout timeout timeout timeout timeout
SYN480-1 129.00 38.00 62.80 unknown timeout timeout timeout no_soln timeout
CIV006-2 0.90 no_soln no_soln 0.50 0.30 7.10 70.50 unknown timeout
SYN510-1 149.80 25.10 61.40 unknown timeout timeout timeout timeout timeout
PUZ005-1 0.50 2.50 14.40 0.40 0.10 5.00 83.60 35.50 timeout
SYN067-3 timeout no_soln no_soln unknown timeout timeout timeout unknown timeout
PUZ032-1 0.20 1.40 4.60 0.00 0.00 0.40 4.10 0.10 0.00
PUZ028-6 2.00 3.00 5.20 unknown timeout timeout timeout unknown timeout
SYN036-1 2.40 no_soln no_soln 106.60 timeout timeout timeout timeout timeout
SYN486-1 153.00 36.20 69.50 unknown timeout timeout timeout no_soln timeout
Attempted 10 10 10 10 10 10 10 10 10
Solved 8 7 7 4 3 3 3 2 1
Av. Time 54.73 20.71 39.01 26.88 0.13 4.17 52.73 17.80 0.00

Return to top of page

Results for PEQProblems

Gandalf c-1.1 p-SETHEO C-15 AI-SETHEO C-15 E 0.1 SPASS 1.0.0a Otter 3.0.5 SCOTT v3.1.0 TGTP C-15 HERBY 1.0
GRP062-1 47.00 12.90 15.80 11.00 timeout no_soln timeout timeout unknown
GRP082-1 27.80 29.20 36.60 timeout timeout no_soln timeout timeout unknown
GRP080-1 26.20 3.50 5.70 2.00 1.40 no_soln unknown timeout unknown
GRP050-1 15.80 7.30 11.30 3.50 timeout 14.90 128.30 timeout unknown
SYN071-1 0.10 1.50 4.90 0.00 0.20 no_soln 0.60 0.50 0.10
GRP104-1 28.00 13.70 16.30 timeout 30.20 timeout unknown timeout unknown
CAT004-2 0.30 no_soln no_soln timeout timeout no_soln timeout 157.40 timeout
RNG034-1 timeout no_soln no_soln timeout 268.20 69.50 timeout timeout unknown
GRP106-1 32.40 4.90 6.90 timeout 14.50 timeout unknown timeout unknown
GRP053-1 110.00 13.50 18.60 10.30 timeout no_soln unknown timeout timeout
Attempted 10 10 10 10 10 10 10 10 10
Solved 9 8 8 5 5 2 2 2 1
Av. Time 31.96 10.81 14.51 5.36 62.90 42.20 64.45 78.95 0.10

Return to top of page

Results for FEQProblems

SPASS 1.0.0a Otter 3.0.5
MGT023+1 0.40 no_soln
MGT039+1 1.40 no_soln
MGT037+1 0.90 no_soln
MGT005+2 11.50 1.40
MGT020+1 0.70 no_soln
MGT026+1 0.40 no_soln
SYN072+1 0.20 no_soln
SYN077+1 0.50 timeout
MGT035+1 62.30 no_soln
SYN071+1 0.10 no_soln
PUZ001+1 0.20 no_soln
MGT027+1 0.70 0.10
SYN076+1 261.70 no_soln
MGT025+1 0.50 no_soln
SYN417+1 0.30 no_soln
MGT023+2 0.30 no_soln
MGT029+1 7.70 no_soln
MGT039+2 timeout no_soln
SYN415+1 0.20 timeout
MGT034+2 94.30 no_soln
Attempted 20 20
Solved 19 2
Av. Time 23.38 0.75

Return to top of page

Results for FNEProblems

SPASS 1.0.0a Otter 3.0.5
SYN462+1 122.50 timeout
SYN459+1 79.50 timeout
SYN436+1 160.30 timeout
SYN067+1 97.40 timeout
SYN488+1 102.40 timeout
SYN507+1 150.90 timeout
SYN484+1 113.10 timeout
SYN473+1 154.60 timeout
COM003+3 0.30 timeout
SYN443+1 77.30 timeout
SYN036+1 0.20 timeout
SYN487+1 200.30 timeout
SYN452+1 66.00 timeout
SYN353+1 0.30 timeout
SYN500+1 163.10 timeout
SYN504+1 78.20 timeout
SYN480+1 145.70 timeout
SYN445+1 17.70 timeout
SYN461+1 62.50 timeout
SYN442+1 122.70 timeout
Attempted 20 20
Solved 20 0
Av. Time 95.75 -

Return to top of page