| 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
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for: MIX UEQ SAT FOF SEM HEQ HNE NEQ NNE PEQ FEQ FNE
Results for UEQ
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 SAT
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 FOF
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 SEM
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 HEQ
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 HNE
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 NEQ
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 NNE
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 PEQ
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 FEQ
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 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 -