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) |