MIX | Vampire 6.0 | E-SETHEO csp03 | E 0.8 | Vampire 5.0 | EP 0.8 | Gandalf c-2.6 | Gandalf c-2.6-PRF | DCTP 10.2p | DCTP 1.3 | THEO J2003 | Otter 3.2 | CARINE 0.72 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Attempted | 140 | 140 | 140 | 140 | 140 | 140 | 140 | 140 | 140 | 140 | 140 | 140 |
Solved | 120 | 119 | 113 | 113 | 113 | 102 | 79 | 72 | 55 | 49 | 34 | 7 |
Av. Time | 65.64 | 34.65 | 20.91 | 23.08 | 25.35 | 67.75 | 30.94 | 43.28 | 18.15 | 45.59 | 99.12 | 104.86 |
Solutions | 120 | 0 | 0 | 113 | 110 | 0 | 79 | 0 | 0 | 47 | 34 | 7 |
New Attempted | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 |
New Solved | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 0 | 2 | 0 |
FOF | Vampire 5.0 | Vampire 6.0 | E-SETHEO csp03 | DCTP 10.2p | Otter 3.2 | MUSCADET 2.4 |
---|---|---|---|---|---|---|
Attempted | 70 | 70 | 70 | 70 | 70 | 70 |
Solved | 57 | 56 | 48 | 42 | 14 | 13 |
Av. Time | 15.18 | 56.50 | 66.12 | 74.00 | 72.00 | 0.46 |
Solutions | 57 | 56 | 0 | 0 | 14 | 0 |
New Attempted | 4 | 4 | 4 | 4 | 4 | 4 |
New Solved | 1 | 1 | 3 | 1 | 1 | 0 |
SAT | Gandalf c-2.6-SAT | Paradox 1.0-casc | Gandalf c-2.5-SAT | E-SETHEO csp03-SAT | DCTP 10.2p-SAT | DCTP 1.3-SAT |
---|---|---|---|---|---|---|
Attempted | 70 | 70 | 70 | 70 | 70 | 70 |
Solved | 63 | 60 | 49 | 31 | 22 | 19 |
Av. Time | 142.16 | 6.52 | 93.94 | 14.16 | 27.95 | 2.47 |
Solutions | 40 | 60 | 0 | 0 | 0 | 0 |
New Attempted | 2 | 2 | 2 | 2 | 2 | 2 |
New Solved | 1 | 1 | 0 | 0 | 2 | 1 |
EPR | DCTP 1.3-EPR | Gandalf c-2.6-SAT | E-SETHEO csp02 | E-SETHEO csp03 | DCTP 10.2p | Paradox 1.0-casc | Vampire 6.0 | E 0.8 |
---|---|---|---|---|---|---|---|---|
Attempted | 70 | 70 | 70 | 70 | 70 | 70 | 70 | 70 |
Solved | 66 | 61 | 57 | 57 | 55 | 48 | 47 | 47 |
Av. Time | 95.83 | 248.13 | 24.95 | 71.19 | 47.36 | 60.71 | 49.70 | 80.74 |
Solutions | 0 | 0 | 0 | 0 | 0 | 26 | 32 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
UEQ | Waldmeister 702 | Waldmeister 703 | E 0.8 | E-SETHEO csp03 | Vampire 6.0 | Gandalf c-2.6 | CiME 2.01 | Otter 3.2 |
---|---|---|---|---|---|---|---|---|
Attempted | 70 | 70 | 70 | 70 | 70 | 70 | 70 | 70 |
Solved | 56 | 56 | 53 | 52 | 48 | 45 | 21 | 11 |
Av. Time | 6.89 | 6.95 | 26.36 | 45.73 | 52.58 | 73.29 | 93.86 | 44.09 |
Solutions | 56 | 56 | 0 | 0 | 48 | 0 | 0 | 11 |
New Attempted | 33 | 33 | 33 | 33 | 33 | 33 | 33 | 33 |
New Solved | 19 | 19 | 28 | 25 | 31 | 24 | 12 | 4 |
HNE | Vampire 5.0 | Gandalf c-2.6 | Vampire 6.0 | E-SETHEO csp03 | DCTP 10.2p | E 0.8 | EP 0.8 | Gandalf c-2.6-PRF | THEO J2003 | DCTP 1.3 | Otter 3.2 | CARINE 0.72 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Attempted | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 |
Solved | 18 | 18 | 18 | 17 | 15 | 14 | 14 | 12 | 9 | 9 | 8 | 0 |
Av. Time | 50.00 | 51.50 | 92.78 | 80.24 | 75.73 | 13.14 | 15.64 | 23.58 | 18.89 | 26.33 | 40.50 | - |
Solutions | 18 | 0 | 18 | 0 | 0 | 0 | 14 | 12 | 7 | 0 | 8 | 0 |
New Attempted | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 |
New Solved | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 0 | 2 | 2 | 0 |
HEQ | E 0.8 | EP 0.8 | E-SETHEO csp03 | Vampire 6.0 | Vampire 5.0 | Gandalf c-2.6-PRF | Gandalf c-2.6 | DCTP 1.3 | DCTP 10.2p | Otter 3.2 | CARINE 0.72 | THEO J2003 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Attempted | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 |
Solved | 18 | 18 | 17 | 14 | 11 | 10 | 10 | 2 | 2 | 2 | 0 | 0 |
Av. Time | 34.50 | 44.28 | 41.76 | 189.43 | 45.64 | 54.40 | 58.30 | 14.50 | 16.50 | 28.00 | - | - |
Solutions | 0 | 17 | 0 | 14 | 11 | 10 | 0 | 0 | 0 | 2 | 0 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
NNE | Vampire 5.0 | Vampire 6.0 | E-SETHEO csp03 | E 0.8 | EP 0.8 | DCTP 10.2p | Gandalf c-2.6 | DCTP 1.3 | Gandalf c-2.6-PRF | THEO J2003 | Otter 3.2 | CARINE 0.72 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Attempted | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 |
Solved | 18 | 18 | 15 | 15 | 15 | 13 | 13 | 9 | 8 | 7 | 3 | 0 |
Av. Time | 10.72 | 36.56 | 28.20 | 79.40 | 89.93 | 24.85 | 187.77 | 28.44 | 100.88 | 67.86 | 2.67 | - |
Solutions | 18 | 18 | 0 | 0 | 13 | 0 | 0 | 0 | 8 | 7 | 3 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
NEQ | Vampire 6.0 | E-SETHEO csp03 | Vampire 5.0 | E 0.8 | EP 0.8 | Gandalf c-2.6 | Gandalf c-2.6-PRF | DCTP 10.2p | THEO J2003 | DCTP 1.3 | Otter 3.2 | CARINE 0.72 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Attempted | 60 | 60 | 60 | 60 | 60 | 60 | 60 | 60 | 60 | 60 | 60 | 60 |
Solved | 54 | 53 | 51 | 49 | 49 | 48 | 37 | 36 | 32 | 29 | 17 | 7 |
Av. Time | 46.26 | 20.15 | 14.22 | 5.73 | 7.78 | 55.38 | 15.35 | 45.11 | 49.28 | 16.41 | 175.24 | 104.86 |
Solutions | 54 | 0 | 51 | 0 | 49 | 0 | 37 | 0 | 32 | 0 | 17 | 7 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
PEQ | E 0.8 | EP 0.8 | E-SETHEO csp03 | Vampire 6.0 | Vampire 5.0 | Gandalf c-2.6 | Gandalf c-2.6-PRF | DCTP 10.2p | DCTP 1.3 | Otter 3.2 | THEO J2003 | CARINE 0.72 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
Attempted | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 |
Solved | 17 | 17 | 17 | 16 | 15 | 13 | 12 | 6 | 6 | 4 | 1 | 0 |
Av. Time | 5.06 | 6.94 | 32.82 | 24.94 | 19.20 | 23.15 | 20.17 | 0.00 | 0.00 | 0.75 | 12.00 | - |
Solutions | 0 | 17 | 0 | 16 | 15 | 0 | 12 | 0 | 0 | 4 | 1 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
FNE | Vampire 5.0 | Vampire 6.0 | DCTP 10.2p | E-SETHEO csp03 | Otter 3.2 | MUSCADET 2.4 |
---|---|---|---|---|---|---|
Attempted | 15 | 15 | 15 | 15 | 15 | 15 |
Solved | 14 | 14 | 14 | 11 | 1 | 0 |
Av. Time | 17.29 | 42.71 | 103.14 | 77.45 | 241.00 | - |
Solutions | 14 | 14 | 0 | 0 | 1 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 |
FEQ | Vampire 5.0 | Vampire 6.0 | E-SETHEO csp03 | DCTP 10.2p | MUSCADET 2.4 | Otter 3.2 |
---|---|---|---|---|---|---|
Attempted | 55 | 55 | 55 | 55 | 55 | 55 |
Solved | 43 | 42 | 37 | 28 | 13 | 13 |
Av. Time | 14.49 | 61.10 | 62.76 | 59.43 | 0.46 | 59.00 |
Solutions | 43 | 42 | 0 | 0 | 0 | 13 |
New Attempted | 4 | 4 | 4 | 4 | 4 | 4 |
New Solved | 1 | 1 | 3 | 1 | 0 | 1 |
SNE | Paradox 1.0-casc | Gandalf c-2.6-SAT | Gandalf c-2.5-SAT | E-SETHEO csp03-SAT | DCTP 10.2p-SAT | DCTP 1.3-SAT |
---|---|---|---|---|---|---|
Attempted | 35 | 35 | 35 | 35 | 35 | 35 |
Solved | 34 | 34 | 27 | 20 | 17 | 14 |
Av. Time | 3.50 | 178.76 | 145.15 | 20.40 | 32.41 | 3.36 |
Solutions | 34 | 19 | 0 | 0 | 0 | 0 |
New Attempted | 2 | 2 | 2 | 2 | 2 | 2 |
New Solved | 1 | 1 | 0 | 0 | 2 | 1 |
SEQ | Gandalf c-2.6-SAT | Paradox 1.0-casc | Gandalf c-2.5-SAT | E-SETHEO csp03-SAT | DCTP 1.3-SAT | DCTP 10.2p-SAT |
---|---|---|---|---|---|---|
Attempted | 35 | 35 | 35 | 35 | 35 | 35 |
Solved | 29 | 26 | 22 | 11 | 5 | 5 |
Av. Time | 99.24 | 10.46 | 31.09 | 2.82 | 0.00 | 12.80 |
Solutions | 21 | 26 | 0 | 0 | 0 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 |
EPT | Gandalf c-2.6-SAT | Vampire 6.0 | DCTP 1.3-EPR | E-SETHEO csp02 | E-SETHEO csp03 | DCTP 10.2p | E 0.8 | Paradox 1.0-casc |
---|---|---|---|---|---|---|---|---|
Attempted | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 |
Solved | 33 | 32 | 32 | 31 | 31 | 30 | 30 | 22 |
Av. Time | 236.91 | 21.16 | 102.16 | 24.65 | 103.06 | 71.30 | 102.33 | 118.45 |
Solutions | 0 | 32 | 0 | 0 | 0 | 0 | 0 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
EPS | DCTP 1.3-EPR | Gandalf c-2.6-SAT | Paradox 1.0-casc | E-SETHEO csp02 | E-SETHEO csp03 | DCTP 10.2p | E 0.8 | Vampire 6.0 |
---|---|---|---|---|---|---|---|---|
Attempted | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 |
Solved | 34 | 28 | 26 | 26 | 26 | 25 | 17 | 15 |
Av. Time | 89.88 | 261.36 | 11.85 | 25.31 | 33.19 | 18.64 | 42.65 | 110.60 |
Solutions | 0 | 0 | 26 | 0 | 0 | 0 | 0 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |