CASC Fixed Points

CASC

CASC-15 to CASC-17

SPC Division winner
Problems/Solved by winner/Previous winner (Place)
   
CASC-15 CASC-16 CASC-17   CASC-JC
MIX Gandalf c-1.1
80/61/-
Vampire 0.0
75/51/39 (4th)
E 0.6
75/57/37 (5th)
  E-SETHEO csp01
120/93/81 (4th)
UEQ Waldmeister 798
30/30/--
Waldmeister 799
30/30/19 (2nd)
Waldmeister 600
30/30/29 (2nd)
  Waldmeister 601
90/69/69 (2nd)
SAT SPASS 0.95T
30/22/--
OtterMACE 437
30/16/9 (3rd)
GandalfSat 1.0
30/25/21 (4th)
  GandalfSat 1.0
30/48/48 (1st)
FOF SPASS 0.95T
40/39/--
SPASS 1.00T
30/22/19 (3rd)
VampireFOF 1.0
60/53/51 (2nd)
  E-SETHEO csp01
90/75/72 (2nd)