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