CASC-16 Results
Results from CASC-16, the
CADE ATP System Competition
SSCPA in Eager mode, three systems chosen from
Bliksem 0.01
E 0.32
Gandalf c-1.8c
OtterMACE 437
S-SETHEO 0.0
SPASS 0.98
Waldmeister 798
Full
results on the WWW
MIX Division (75)
System
Solved
Time
SSCPA 1999.06
55
43.4
E-SETHEO 99
*
54
70.3
Vampire 0.0
51
33.7
SPASS 1.00T
50
41.0
UEQ Division (30)
System
Solved
Time
Waldmeister 799
30
22.7
SSCPA 1999.06
20
22.9
Waldmeister 798
19
12.2
SCOTT 4.6.4
13
95.2
FOF Division (30)
System
Solved
Time
SPASS 1.00T
22
25.5
E-SETHEO 99
*
22
32.3
SPASS 0.95T
19
28.4
SSCPA 1999.06
15
22.3
SAT Division (30)
System
Solved
Time
SSCPA 1999.06
24
37.0
OtterMACE 437
16
8.5
SPASS 1.00T
11
22.2
SPASS 0.95T
9
16.7