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