Divisions
- The co-winners of the MIX division Assurance class are E-SETHEO csp01 and
VampireJC 2.0.
- The winner of the MIX division Proof class is VampireJC 2.0.
| MIX | E-SETHEO csp01 | VampireJC 2.0 | E 0.62 | E 0.6 | Vampire 2.0 | EP 0.62 | Gandalf c-2.3 | Otter 3.2 | SCOTT 6.0.0 | Bliksem 1.12 | DCTP 0.1
|
|---|
| Attempted
| 120 | 120 | 120 | 120 | 120 | 120 | 120 | 120 | 120 | 120 | 120
|
|---|
| Solved
| 93 | 93 | 84 | 81 | 76 | 73 | 61 | 31 | 30 | 29 | 14
|
|---|
| Av. Time
| 38.67 | 43.35 | 36.60 | 34.70 | 40.48 | 36.23 | 56.15 | 34.21 | 77.74 | 66.87 | 18.77
|
|---|
| New Attempted
| 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19 | 19
|
|---|
| New Solved
| 15 | 13 | 14 | 13 | 13 | 12 | 14 | 10 | 8 | 7 | 7
|
|---|
- The winner of the UEQ division is Waldmeister 601.
| UEQ | Waldmeister 601 | Waldmeister 600 | E 0.62 | SCOTT 6.0.0 | Otter 3.2 | Bliksem 1.12 | Vampire 2.0 | Gandalf c-2.3
|
|---|
| Attempted
| 90 | 90 | 90 | 90 | 90 | 90 | 90 | 90
|
|---|
| Solved
| 69 | 69 | 43 | 23 | 22 | 13 | 8 | 7
|
|---|
| Av. Time
| 9.59 | 12.02 | 34.28 | 93.46 | 22.15 | 40.78 | 66.84 | 108.11
|
|---|
| New Attempted
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1
|
|---|
| New Solved
| 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0
|
|---|
- There is no winner of the SAT division, because last year's winner,
GandalfSat 1.0, solved the most problems.
| SAT | GandalfSat 1.0 | GandalfSat 1.1 | E-SETHEO csp01 | SCOTT 6.0.0 | MACE 2.0 | DCTP 0.1
|
|---|
| Attempted
| 90 | 90 | 90 | 90 | 90 | 90
|
|---|
| Solved
| 48 | 46 | 44 | 41 | 25 | 20
|
|---|
| Av. Time
| 15.93 | 26.66 | 35.54 | 1.52 | 20.44 | 10.12
|
|---|
| New Attempted
| 56 | 56 | 56 | 56 | 56 | 56
|
|---|
| New Solved
| 27 | 23 | 39 | 15 | 9 | 19
|
|---|
- The winner of the FOF division is E-SETHEO csp01.
| FOF | E-SETHEO csp01 | VampireFOF 1.0 | VampireFOF 2.0 | GandalfFOF c-2.3 | Otter 3.2 | SCOTT 6.0.0 | Bliksem 1.12 | MUSCADET 2.3
|
|---|
| Attempted
| 90 | 90 | 90 | 90 | 90 | 90 | 90 | 90
|
|---|
| Solved
| 75 | 72 | 71 | 68 | 43 | 39 | 34 | 18
|
|---|
| Av. Time
| 17.60 | 8.55 | 27.28 | 32.46 | 21.63 | 17.56 | 9.38 | 0.87
|
|---|
| New Attempted
| 17 | 17 | 17 | 17 | 17 | 17 | 17 | 17
|
|---|
| New Solved
| 12 | 15 | 13 | 12 | 3 | 3 | 2 | 0
|
|---|
- The winner of the EPR division is E-SETHEO csp01.
| EPR | E-SETHEO csp01 | PizEAndSATO 0.2 | Otter-MACE 3.2-2.0 | VampireEPR 2.0 | DCTP 0.1 | E 0.62 | SCOTT 6.0.0 | Gandalf c-2.3
|
|---|
| Attempted
| 50 | 50 | 50 | 50 | 50 | 50 | 50 | 50
|
|---|
| Solved
| 49 | 41 | 28 | 27 | 20 | 17 | 15 | 14
|
|---|
| Av. Time
| 20.51 | 4.80 | 25.85 | 35.89 | 14.42 | 24.72 | 10.71 | 67.91
|
|---|
| New Attempted
| 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5
|
|---|
| New Solved
| 5 | 5 | 5 | 0 | 5 | 5 | 5 | 0
|
|---|
Categories (within the divisions)
| HEQ | E 0.62 | E 0.6 | E-SETHEO csp01 | VampireJC 2.0 | EP 0.62 | Vampire 2.0 | Gandalf c-2.3 | SCOTT 6.0.0 | Otter 3.2 | Bliksem 1.12 | DCTP 0.1
|
|---|
| Attempted
| 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30
|
|---|
| Solved
| 20 | 20 | 19 | 19 | 18 | 13 | 9 | 8 | 7 | 1 | 0
|
|---|
| Av. Time
| 40.21 | 47.08 | 38.88 | 49.22 | 51.87 | 57.47 | 15.27 | 114.09 | 12.14 | 224.40 | -
|
|---|
| New Attempted
| 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4
|
|---|
| New Solved
| 4 | 4 | 4 | 0 | 4 | 0 | 4 | 4 | 4 | 0 | 0
|
|---|
| HNE | E-SETHEO csp01 | VampireJC 2.0 | E 0.62 | E 0.6 | EP 0.62 | Vampire 2.0 | Gandalf c-2.3 | Bliksem 1.12 | DCTP 0.1 | Otter 3.2 | SCOTT 6.0.0
|
|---|
| Attempted
| 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20
|
|---|
| Solved
| 18 | 17 | 16 | 15 | 15 | 15 | 15 | 5 | 2 | 2 | 2
|
|---|
| Av. Time
| 47.41 | 56.57 | 29.92 | 38.69 | 46.39 | 55.97 | 92.02 | 143.88 | 1.75 | 14.50 | 217.30
|
|---|
| New Attempted
| 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2
|
|---|
| New Solved
| 1 | 2 | 1 | 1 | 1 | 2 | 2 | 1 | 0 | 1 | 0
|
|---|
| NEQ | VampireJC 2.0 | E-SETHEO csp01 | Gandalf c-2.3 | Vampire 2.0 | E 0.62 | E 0.6 | EP 0.62 | Otter 3.2 | DCTP 0.1 | SCOTT 6.0.0 | Bliksem 1.12
|
|---|
| Attempted
| 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30
|
|---|
| Solved
| 25 | 22 | 22 | 21 | 19 | 18 | 17 | 8 | 7 | 6 | 6
|
|---|
| Av. Time
| 33.32 | 22.77 | 42.69 | 29.25 | 24.92 | 19.37 | 20.54 | 64.72 | 33.66 | 43.32 | 51.63
|
|---|
| New Attempted
| 10 | 10 | 10 | 10 | 10 | 10 | 10 | 10 | 10 | 10 | 10
|
|---|
| New Solved
| 8 | 7 | 8 | 8 | 6 | 5 | 4 | 2 | 4 | 1 | 3
|
|---|
| NNE | E-SETHEO csp01 | VampireJC 2.0 | E 0.62 | Vampire 2.0 | E 0.6 | Gandalf c-2.3 | EP 0.62 | SCOTT 6.0.0 | Otter 3.2 | DCTP 0.1 | Bliksem 1.12
|
|---|
| Attempted
| 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20
|
|---|
| Solved
| 15 | 13 | 11 | 10 | 10 | 10 | 8 | 7 | 6 | 5 | 4
|
|---|
| Av. Time
| 37.99 | 26.68 | 69.53 | 33.15 | 47.56 | 80.37 | 62.31 | 46.20 | 24.12 | 4.74 | 1.38
|
|---|
| New Attempted
| 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3
|
|---|
| New Solved
| 3 | 3 | 3 | 3 | 3 | 0 | 3 | 3 | 3 | 3 | 3
|
|---|
| PEQ | E-SETHEO csp01 | VampireJC 2.0 | E 0.6 | E 0.62 | Vampire 2.0 | EP 0.62 | Bliksem 1.12 | Otter 3.2 | SCOTT 6.0.0 | Gandalf c-2.3 | DCTP 0.1
|
|---|
| Attempted
| 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20
|
|---|
| Solved
| 19 | 19 | 18 | 18 | 17 | 15 | 13 | 8 | 7 | 5 | 0
|
|---|
| Av. Time
| 49.14 | 50.24 | 25.80 | 30.72 | 32.01 | 11.17 | 52.31 | 35.51 | 57.36 | 32.98 | -
|
|---|
| New Attempted
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0
|
|---|
| New Solved
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0
|
|---|
| SEQ | SCOTT 6.0.0 | GandalfSat 1.1 | E-SETHEO csp01 | GandalfSat 1.0 | MACE 2.0 | DCTP 0.1
|
|---|
| Attempted
| 50 | 50 | 50 | 50 | 50 | 50
|
|---|
| Solved
| 24 | 24 | 23 | 21 | 17 | 1
|
|---|
| Av. Time
| 1.15 | 38.26 | 18.01 | 22.51 | 7.79 | 0.00
|
|---|
| New Attempted
| 31 | 31 | 31 | 31 | 31 | 31
|
|---|
| New Solved
| 8 | 8 | 21 | 7 | 4 | 0
|
|---|
| SNE | GandalfSat 1.0 | GandalfSat 1.1 | E-SETHEO csp01 | DCTP 0.1 | SCOTT 6.0.0 | MACE 2.0
|
|---|
| Attempted
| 40 | 40 | 40 | 40 | 40 | 40
|
|---|
| Solved
| 27 | 22 | 21 | 19 | 17 | 8
|
|---|
| Av. Time
| 10.81 | 14.00 | 54.74 | 10.65 | 2.05 | 47.34
|
|---|
| New Attempted
| 25 | 25 | 25 | 25 | 25 | 25
|
|---|
| New Solved
| 20 | 15 | 18 | 19 | 7 | 5
|
|---|
| FEQ | GandalfFOF c-2.3 | E-SETHEO csp01 | VampireFOF 1.0 | VampireFOF 2.0 | MUSCADET 2.3 | Otter 3.2 | SCOTT 6.0.0 | Bliksem 1.12
|
|---|
| Attempted
| 50 | 50 | 50 | 50 | 50 | 50 | 50 | 50
|
|---|
| Solved
| 38 | 35 | 33 | 32 | 16 | 16 | 11 | 8
|
|---|
| Av. Time
| 52.43 | 34.68 | 13.98 | 45.45 | 0.95 | 58.01 | 29.18 | 37.67
|
|---|
| New Attempted
| 16 | 16 | 16 | 16 | 16 | 16 | 16 | 16
|
|---|
| New Solved
| 11 | 11 | 15 | 12 | 0 | 3 | 3 | 2
|
|---|
| FNE | E-SETHEO csp01 | VampireFOF 1.0 | VampireFOF 2.0 | GandalfFOF c-2.3 | SCOTT 6.0.0 | Otter 3.2 | Bliksem 1.12 | MUSCADET 2.3
|
|---|
| Attempted
| 40 | 40 | 40 | 40 | 40 | 40 | 40 | 40
|
|---|
| Solved
| 40 | 39 | 39 | 30 | 28 | 27 | 26 | 2
|
|---|
| Av. Time
| 2.65 | 3.95 | 12.36 | 7.16 | 12.99 | 0.07 | 0.68 | 0.25
|
|---|
| New Attempted
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1
|
|---|
| New Solved
| 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0
|
|---|
| EPT | E-SETHEO csp01 | PizEAndSATO 0.2 | VampireEPR 2.0 | Gandalf c-2.3 | Otter-MACE 3.2-2.0 | SCOTT 6.0.0 | E 0.62 | DCTP 0.1
|
|---|
| Attempted
| 25 | 25 | 25 | 25 | 25 | 25 | 25 | 25
|
|---|
| Solved
| 24 | 19 | 19 | 14 | 11 | 8 | 8 | 4
|
|---|
| Av. Time
| 32.44 | 1.75 | 26.28 | 67.91 | 57.13 | 19.37 | 38.48 | 28.55
|
|---|
| New Attempted
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0
|
|---|
| New Solved
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0
|
|---|
| EPS | E-SETHEO csp01 | PizEAndSATO 0.2 | Otter-MACE 3.2-2.0 | DCTP 0.1 | E 0.62 | VampireEPR 2.0 | SCOTT 6.0.0 | Gandalf c-2.3
|
|---|
| Attempted
| 25 | 25 | 25 | 25 | 25 | 25 | 25 | 25
|
|---|
| Solved
| 25 | 22 | 17 | 16 | 9 | 8 | 7 | 0
|
|---|
| Av. Time
| 9.05 | 7.43 | 5.61 | 10.89 | 12.50 | 58.70 | 0.80 | -
|
|---|
| New Attempted
| 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5
|
|---|
| New Solved
| 5 | 5 | 5 | 5 | 5 | 0 | 5 | 0
|
|---|