MIX | Vampire 7.0 | E-SETHEO csp04 | E 0.82 | EP 0.82 | Vampire 6.0 | DCTP 10.21p | THEO J2004 | DCTP 1.31 | SOS 1.0 | Otter 3.3 |
---|---|---|---|---|---|---|---|---|---|---|
Attempted | 200 | 200 | 200 | 200 | 200 | 200 | 200 | 200 | 200 | 200 |
Solved | 180 | 174 | 162 | 161 | 157 | 103 | 83 | 66 | 39 | 37 |
Av. Time | 51.36 | 36.02 | 26.41 | 27.69 | 80.33 | 33.19 | 73.25 | 17.13 | 124.20 | 74.56 |
Solutions | 180 | 0 | 0 | 156 | 157 | 0 | 82 | 0 | 39 | 37 |
New Attempted | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 |
New Solved | 14 | 13 | 7 | 7 | 12 | 10 | 11 | 11 | 3 | 3 |
FOF | Vampire 7.0 | Vampire 5.0 | E-SETHEO csp04 | E 0.82 | EP 0.82 | DCTP 10.21p | Otter 3.3 | Dilemma 0.1 |
---|---|---|---|---|---|---|---|---|
Attempted | 88 | 88 | 88 | 88 | 88 | 88 | 88 | 88 |
Solved | 80 | 75 | 74 | 72 | 72 | 52 | 23 | 11 |
Av. Time | 34.69 | 19.25 | 18.00 | 17.19 | 21.19 | 30.41 | 34.14 | 0.14 |
Solutions | 80 | 75 | 0 | 0 | 71 | 0 | 23 | 0 |
New Attempted | 14 | 14 | 14 | 14 | 14 | 14 | 14 | 14 |
New Solved | 9 | 7 | 8 | 7 | 7 | 7 | 5 | 0 |
SAT | Gandalf c-2.6-SAT | Paradox 1.0 | Paradox 1.1-casc | Mace4 2004-D | Mace2 2.2 | E-SETHEO csp04-SAT | DCTP 10.21p-SAT | DCTP 1.31-SAT |
---|---|---|---|---|---|---|---|---|
Attempted | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 |
Solved | 95 | 94 | 92 | 55 | 46 | 46 | 42 | 35 |
Av. Time | 121.85 | 4.99 | 2.94 | 0.85 | 8.98 | 17.77 | 16.13 | 0.00 |
Solutions | 65 | 94 | 92 | 55 | 46 | 0 | 0 | 0 |
New Attempted | 9 | 9 | 9 | 9 | 9 | 9 | 9 | 9 |
New Solved | 8 | 8 | 7 | 2 | 4 | 3 | 2 | 2 |
EPR | DCTP 10.21p | E-SETHEO csp04 | DCTP 1.31-EPR | DCTP 1.3-EPR | Paradox 1.1-casc | Vampire 7.0 |
---|---|---|---|---|---|---|
Attempted | 80 | 80 | 80 | 80 | 80 | 80 |
Solved | 79 | 79 | 72 | 72 | 56 | 46 |
Av. Time | 26.45 | 38.28 | 36.14 | 66.75 | 39.90 | 17.98 |
Solutions | 0 | 0 | 0 | 0 | 28 | 37 |
New Attempted | 1 | 1 | 1 | 1 | 1 | 1 |
New Solved | 0 | 0 | 0 | 0 | 1 | 0 |
UEQ | Waldmeister 704 | Waldmeister 702 | E-SETHEO csp04 | Vampire 7.0 | E 0.82 | SOS 1.0 | Otter 3.3 |
---|---|---|---|---|---|---|---|
Attempted | 100 | 100 | 100 | 100 | 100 | 100 | 100 |
Solved | 100 | 94 | 74 | 73 | 72 | 58 | 31 |
Av. Time | 2.35 | 1.56 | 21.93 | 54.11 | 9.29 | 45.79 | 17.71 |
Solutions | 100 | 94 | 0 | 73 | 0 | 58 | 31 |
New Attempted | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
New Solved | 1 | 1 | 0 | 1 | 0 | 0 | 0 |
HNE | Vampire 7.0 | Vampire 6.0 | E-SETHEO csp04 | E 0.82 | EP 0.82 | DCTP 10.21p | DCTP 1.31 | THEO J2004 | Otter 3.3 | SOS 1.0 |
---|---|---|---|---|---|---|---|---|---|---|
Attempted | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 |
Solved | 35 | 35 | 34 | 31 | 30 | 27 | 19 | 19 | 13 | 12 |
Av. Time | 37.24 | 67.30 | 33.53 | 34.46 | 17.63 | 31.62 | 17.86 | 98.32 | 43.55 | 109.94 |
Solutions | 35 | 35 | 0 | 0 | 30 | 0 | 0 | 19 | 13 | 12 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
HEQ | E 0.82 | E-SETHEO csp04 | EP 0.82 | Vampire 7.0 | Vampire 6.0 | DCTP 10.21p | SOS 1.0 | DCTP 1.31 | Otter 3.3 | THEO J2004 |
---|---|---|---|---|---|---|---|---|---|---|
Attempted | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 |
Solved | 31 | 31 | 31 | 31 | 20 | 8 | 6 | 3 | 3 | 1 |
Av. Time | 47.85 | 50.97 | 58.41 | 108.76 | 141.05 | 36.79 | 131.40 | 13.17 | 26.40 | 15.30 |
Solutions | 0 | 0 | 27 | 31 | 20 | 0 | 6 | 0 | 3 | 1 |
New Attempted | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
New Solved | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |
NNE | Vampire 7.0 | E 0.82 | EP 0.82 | E-SETHEO csp04 | Vampire 6.0 | DCTP 10.21p | THEO J2004 | DCTP 1.31 | SOS 1.0 | Otter 3.3 |
---|---|---|---|---|---|---|---|---|---|---|
Attempted | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 | 35 |
Solved | 34 | 32 | 32 | 31 | 28 | 22 | 19 | 12 | 4 | 3 |
Av. Time | 26.16 | 20.96 | 24.01 | 22.46 | 29.89 | 21.69 | 41.91 | 21.08 | 314.80 | 116.60 |
Solutions | 34 | 0 | 32 | 0 | 28 | 0 | 19 | 0 | 4 | 3 |
New Attempted | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
New Solved | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
NEQ | Vampire 7.0 | E-SETHEO csp04 | Vampire 6.0 | E 0.82 | EP 0.82 | DCTP 10.21p | THEO J2004 | DCTP 1.31 | Otter 3.3 | SOS 1.0 |
---|---|---|---|---|---|---|---|---|---|---|
Attempted | 75 | 75 | 75 | 75 | 75 | 75 | 75 | 75 | 75 | 75 |
Solved | 64 | 62 | 60 | 55 | 55 | 45 | 43 | 31 | 15 | 13 |
Av. Time | 39.68 | 25.28 | 80.85 | 17.18 | 21.06 | 39.78 | 78.20 | 16.09 | 87.38 | 97.52 |
Solutions | 64 | 0 | 60 | 0 | 54 | 0 | 42 | 0 | 15 | 13 |
New Attempted | 16 | 16 | 16 | 16 | 16 | 16 | 16 | 16 | 16 | 16 |
New Solved | 11 | 11 | 9 | 5 | 5 | 9 | 11 | 10 | 1 | 1 |
PEQ | Vampire 7.0 | E-SETHEO csp04 | Vampire 6.0 | E 0.82 | EP 0.82 | SOS 1.0 | Otter 3.3 | DCTP 1.31 | DCTP 10.21p | THEO J2004 |
---|---|---|---|---|---|---|---|---|---|---|
Attempted | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 |
Solved | 16 | 16 | 14 | 13 | 13 | 4 | 3 | 1 | 1 | 1 |
Av. Time | 71.30 | 80.19 | 124.84 | 8.50 | 14.73 | 52.30 | 150.97 | 0.00 | 3.20 | 37.90 |
Solutions | 16 | 0 | 14 | 0 | 13 | 4 | 3 | 0 | 0 | 1 |
New Attempted | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 |
New Solved | 2 | 1 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | 0 |
FNE | E-SETHEO csp04 | Vampire 7.0 | Vampire 5.0 | E 0.82 | EP 0.82 | DCTP 10.21p | Dilemma 0.1 | Otter 3.3 |
---|---|---|---|---|---|---|---|---|
Attempted | 23 | 23 | 23 | 23 | 23 | 23 | 23 | 23 |
Solved | 23 | 22 | 22 | 22 | 22 | 19 | 9 | 4 |
Av. Time | 29.96 | 2.91 | 5.73 | 17.86 | 22.08 | 22.74 | 0.12 | 28.42 |
Solutions | 0 | 22 | 22 | 0 | 22 | 0 | 0 | 4 |
New Attempted | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
New Solved | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 |
FEQ | Vampire 7.0 | Vampire 5.0 | E-SETHEO csp04 | E 0.82 | EP 0.82 | DCTP 10.21p | Otter 3.3 | Dilemma 0.1 |
---|---|---|---|---|---|---|---|---|
Attempted | 65 | 65 | 65 | 65 | 65 | 65 | 65 | 65 |
Solved | 58 | 53 | 51 | 50 | 50 | 33 | 19 | 2 |
Av. Time | 46.74 | 24.86 | 12.61 | 16.90 | 20.80 | 34.82 | 35.34 | 0.20 |
Solutions | 58 | 53 | 0 | 0 | 49 | 0 | 19 | 0 |
New Attempted | 13 | 13 | 13 | 13 | 13 | 13 | 13 | 13 |
New Solved | 9 | 7 | 7 | 7 | 7 | 6 | 4 | 0 |
SNE | Paradox 1.1-casc | Paradox 1.0 | Gandalf c-2.6-SAT | E-SETHEO csp04-SAT | Mace4 2004-D | DCTP 10.21p-SAT | DCTP 1.31-SAT | Mace2 2.2 |
---|---|---|---|---|---|---|---|---|
Attempted | 50 | 50 | 50 | 50 | 50 | 50 | 50 | 50 |
Solved | 49 | 49 | 48 | 27 | 25 | 25 | 19 | 16 |
Av. Time | 4.87 | 6.00 | 164.93 | 25.32 | 1.79 | 26.31 | 0.00 | 0.93 |
Solutions | 49 | 49 | 29 | 0 | 25 | 0 | 0 | 16 |
New Attempted | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 |
New Solved | 3 | 3 | 3 | 2 | 2 | 2 | 2 | 2 |
SEQ | Gandalf c-2.6-SAT | Paradox 1.0 | Paradox 1.1-casc | Mace4 2004-D | Mace2 2.2 | E-SETHEO csp04-SAT | DCTP 10.21p-SAT | DCTP 1.31-SAT |
---|---|---|---|---|---|---|---|---|
Attempted | 50 | 50 | 50 | 50 | 50 | 50 | 50 | 50 |
Solved | 47 | 45 | 43 | 30 | 30 | 19 | 17 | 16 |
Av. Time | 77.86 | 3.88 | 0.74 | 0.07 | 13.28 | 7.04 | 1.16 | 0.00 |
Solutions | 36 | 45 | 43 | 30 | 30 | 0 | 0 | 0 |
New Attempted | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 |
New Solved | 5 | 5 | 4 | 0 | 2 | 1 | 0 | 0 |
EPT | DCTP 10.21p | E-SETHEO csp04 | Vampire 7.0 | DCTP 1.31-EPR | DCTP 1.3-EPR | Paradox 1.1-casc |
---|---|---|---|---|---|---|
Attempted | 40 | 40 | 40 | 40 | 40 | 40 |
Solved | 39 | 39 | 37 | 35 | 35 | 27 |
Av. Time | 25.71 | 39.42 | 18.97 | 34.81 | 41.06 | 78.75 |
Solutions | 0 | 0 | 37 | 0 | 0 | 0 |
New Attempted | 1 | 1 | 1 | 1 | 1 | 1 |
New Solved | 0 | 0 | 0 | 0 | 0 | 1 |
EPS | DCTP 10.21p | E-SETHEO csp04 | DCTP 1.31-EPR | DCTP 1.3-EPR | Paradox 1.1-casc | Vampire 7.0 |
---|---|---|---|---|---|---|
Attempted | 40 | 40 | 40 | 40 | 40 | 40 |
Solved | 40 | 40 | 37 | 37 | 29 | 9 |
Av. Time | 27.18 | 37.17 | 37.39 | 91.06 | 3.72 | 13.91 |
Solutions | 0 | 0 | 0 | 0 | 28 | 0 |
New Attempted | 0 | 0 | 0 | 0 | 0 | 0 |
New Solved | 0 | 0 | 0 | 0 | 0 | 0 |