Results
| 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
|
|---|
| 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
|
|---|
| 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.11
|
|---|
| 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
|
|---|
| 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
|
|---|