| E 0.6 | E-SETHEO 2000csp | Gandalf c-2.1 | Vampire 1.0 | Vampire 0.0 | SCOTT 5.0.0 | Bliksem 1.10 | Otter 3.1b | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 75 | 75 | 75 | 75 | 75 | 75 | 75 | 75 |
| Solved | 57 | 57 | 55 | 45 | 37 | 22 | 18 | 8 |
| Av. Time | 79.31 | 160.53 | 99.60 | 48.06 | 54.72 | 178.06 | 65.33 | 55.86 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| Waldmeister 600 | Waldmeister 799 | SCOTT 5.0.0 | E 0.6 | E-SETHEO 2000csp | Vampire 1.0 | Otter 3.1b | Gandalf c-2.1 | Bliksem 1.10 | |
|---|---|---|---|---|---|---|---|---|---|
| Attempted | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 |
| Solved | 30 | 29 | 12 | 8 | 8 | 7 | 6 | 6 | 4 |
| Av. Time | 43.45 | 42.88 | 186.27 | 77.85 | 190.18 | 89.06 | 33.42 | 100.80 | 28.05 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| GandalfSat 1.0 | SCOTTSat 5.0.0 | MACE 1.4b | OtterMACE 437 | Bliksem 1.10 | |
|---|---|---|---|---|---|
| Attempted | 30 | 30 | 30 | 30 | 30 |
| Solved | 25 | 24 | 23 | 21 | 7 |
| Av. Time | 45.04 | 4.72 | 8.53 | 1.28 | 35.37 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| VampireFOF 1.0 | SPASS 1.00T | E-SETHEO 2000csp | GandalfFOF 1.0 | Bliksem 1.10 | Otter 3.1b | SCOTT 5.0.0 | MUSCADET 2.2 | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 60 | 60 | 60 | 60 | 60 | 60 | 60 | 60 |
| Solved | 53 | 51 | 50 | 42 | 38 | 34 | 28 | 13 |
| Av. Time | 35.89 | 19.71 | 71.49 | 37.58 | 9.71 | 17.30 | 28.27 | 4.62 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| E-SETHEO 2000csp | VampireFOF 1.0 | Bliksem 1.10 | GandalfFOF 1.0 | Otter 3.1b | SCOTT 5.0.0 | MUSCADET 2.2 | |
|---|---|---|---|---|---|---|---|
| Attempted | 20 | 20 | 20 | 20 | 20 | 20 | 20 |
| Solved | 18 | 17 | 16 | 16 | 9 | 6 | 4 |
| Av. Time | 97.84 | 71.96 | 29.89 | 59.07 | 50.61 | 135.75 | 7.72 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| E 0.6 | E-SETHEO 2000csp | Gandalf c-2.1 | Vampire 1.0 | SCOTT 5.0.0 | Otter 3.1b | Vampire 0.0 | Bliksem 1.10 | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 15 | 15 | 15 | 15 | 15 | 15 | 15 | 15 |
| Solved | 9 | 9 | 6 | 5 | 5 | 3 | 3 | 1 |
| Av. Time | 91.90 | 192.59 | 48.03 | 92.64 | 127.96 | 30.70 | 86.20 | 158.10 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| E 0.6 | E-SETHEO 2000csp | Gandalf c-2.1 | Vampire 1.0 | Vampire 0.0 | Bliksem 1.10 | Otter 3.1b | SCOTT 5.0.0 | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 15 | 15 | 15 | 15 | 15 | 15 | 15 | 15 |
| Solved | 15 | 15 | 12 | 11 | 10 | 3 | 1 | 1 |
| Av. Time | 42.40 | 94.10 | 88.47 | 37.36 | 8.36 | 179.70 | 79.00 | 205.60 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| Gandalf c-2.1 | E 0.6 | E-SETHEO 2000csp | Vampire 0.0 | Vampire 1.0 | Bliksem 1.10 | SCOTT 5.0.0 | Otter 3.1b | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 15 | 15 | 15 | 15 | 15 | 15 | 15 | 15 |
| Solved | 13 | 11 | 10 | 9 | 7 | 4 | 4 | 2 |
| Av. Time | 146.52 | 45.75 | 243.73 | 28.12 | 84.67 | 0.45 | 253.77 | 137.55 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| Gandalf c-2.1 | Vampire 1.0 | E-SETHEO 2000csp | E 0.6 | Vampire 0.0 | SCOTT 5.0.0 | Otter 3.1b | Bliksem 1.10 | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 15 | 15 | 15 | 15 | 15 | 15 | 15 | 15 |
| Solved | 12 | 11 | 11 | 8 | 6 | 2 | 1 | 1 |
| Av. Time | 93.01 | 35.06 | 113.35 | 73.17 | 216.00 | 143.10 | 0.30 | 0.50 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| E 0.6 | Gandalf c-2.1 | E-SETHEO 2000csp | Vampire 1.0 | SCOTT 5.0.0 | Vampire 0.0 | Bliksem 1.10 | Otter 3.1b | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 15 | 15 | 15 | 15 | 15 | 15 | 15 | 15 |
| Solved | 14 | 12 | 12 | 11 | 10 | 9 | 9 | 1 |
| Av. Time | 140.62 | 92.29 | 193.42 | 28.18 | 177.07 | 14.82 | 52.93 | 0.40 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| SPASS 1.00T | VampireFOF 1.0 | E-SETHEO 2000csp | GandalfFOF 1.0 | Bliksem 1.10 | Otter 3.1b | MUSCADET 2.2 | SCOTT 5.0.0 | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 |
| Solved | 25 | 23 | 21 | 17 | 15 | 14 | 13 | 8 |
| Av. Time | 14.21 | 53.59 | 119.01 | 54.20 | 23.48 | 41.58 | 4.62 | 64.64 |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
| VampireFOF 1.0 | E-SETHEO 2000csp | SPASS 1.00T | GandalfFOF 1.0 | Bliksem 1.10 | Otter 3.1b | SCOTT 5.0.0 | MUSCADET 2.2 | |
|---|---|---|---|---|---|---|---|---|
| Attempted | 30 | 30 | 30 | 30 | 30 | 30 | 30 | 30 |
| Solved | 30 | 29 | 26 | 25 | 23 | 20 | 20 | 0 |
| Av. Time | 22.32 | 37.08 | 24.99 | 26.28 | 0.73 | 0.31 | 13.73 | - |
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE