MIX Vampire 5.0 Vampire 5.0-CASC Vampire 2.0-CASC E-SETHEO csp02 E 0.7 EP 0.7 Gandalf c-2.5 Gandalf c-2.5-PROOF Bliksem 1.12a DCTP 10.1p SCOTT 6.1 Otter 3.2 DCTP 1.2
Attempted 175 175 175 175 175 175 175 175 175 175 175 175 175
Solved 158 157 152 145 131 129 129 125 88 76 63 60 56
Av. Time 25.25 27.28 57.33 57.60 21.35 25.58 82.92 77.47 43.99 41.18 74.48 56.34 45.03
Solutions 158 157 152 0 0 129 0 125 88 0 63 60 0
New Attempted 63 63 63 63 63 63 63 63 63 63 63 63 63
New Solved 59 59 53 48 41 40 42 41 30 28 18 16 15
UEQ Waldmeister 702 Waldmeister 601 E-SETHEO csp02 E 0.7 Gandalf c-2.5 Vampire 5.0 Otter 3.2 SCOTT 6.1 CiME 2 Bliksem 1.12a
Attempted 70 70 70 70 70 70 70 70 70 70
Solved 70 70 40 36 27 25 17 17 15 11
Av. Time 3.19 4.14 23.92 15.55 78.91 76.48 45.12 130.66 36.64 104.19
Solutions 70 70 0 0 0 25 17 17 0 11
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
SAT Gandalf c-2.5-SAT ICGNS 2002b GandalfSat 1.0 SCOTT 6.1 E-SETHEO csp02-SAT DCTP 10.1p-SAT DCTP 1.2-SAT
Attempted 70 70 70 70 70 70 70
Solved 61 50 44 37 34 31 24
Av. Time 11.48 0.65 5.68 0.00 36.59 2.76 0.00
Solutions 0 0 0 0 0 0 0
New Attempted 36 36 36 36 36 36 36
New Solved 32 32 26 18 20 19 18
FOF Vampire 5.0 E-SETHEO csp02 DCTP 10.1p Bliksem 1.12a SCOTT 6.1 Otter 3.2
Attempted 70 70 70 70 70 70
Solved 55 46 25 15 15 10
Av. Time 15.86 15.25 39.14 25.35 30.68 120.11
Solutions 55 0 0 15 15 10
New Attempted 1 1 1 1 1 1
New Solved 0 0 0 0 0 0
EPR E-SETHEO csp02 Gandalf c-2.5-SAT DCTP 1.2-EPR GrAnDe 1.1 Vampire 5.0 DCTP 10.1p SCOTT 6.1
Attempted 70 70 70 70 70 70 70
Solved 60 58 44 38 32 25 9
Av. Time 22.56 86.09 36.13 0.31 14.59 68.86 11.13
Solutions 0 0 0 0 26 0 7
New Attempted 24 24 24 24 24 24 24
New Solved 15 12 18 1 10 12 5
HNE Vampire 2.0-CASC Vampire 5.0 Vampire 5.0-CASC Gandalf c-2.5-PROOF Gandalf c-2.5 E-SETHEO csp02 E 0.7 EP 0.7 Bliksem 1.12a Otter 3.2 DCTP 10.1p SCOTT 6.1 DCTP 1.2
Attempted 35 35 35 35 35 35 35 35 35 35 35 35 35
Solved 34 33 33 28 28 28 20 20 17 16 16 13 12
Av. Time 77.97 20.42 33.85 83.25 83.62 169.94 13.43 17.45 98.69 31.89 65.68 133.15 150.96
Solutions 34 33 33 28 0 0 0 20 17 16 0 13 0
New Attempted 11 11 11 11 11 11 11 11 11 11 11 11 11
New Solved 10 10 10 10 10 8 2 2 3 4 9 3 4
HEQ E-SETHEO csp02 Vampire 5.0-CASC E 0.7 Vampire 2.0-CASC Vampire 5.0 EP 0.7 Gandalf c-2.5-PROOF Gandalf c-2.5 SCOTT 6.1 Bliksem 1.12a Otter 3.2 DCTP 10.1p DCTP 1.2
Attempted 35 35 35 35 35 35 35 35 35 35 35 35 35
Solved 33 32 32 31 31 31 29 29 24 23 21 20 18
Av. Time 65.06 19.90 29.63 22.36 25.98 33.17 96.60 97.67 75.04 16.99 2.00 40.81 4.44
Solutions 0 32 0 31 31 31 29 0 24 23 21 0 0
New Attempted 0 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 0
NNE Vampire 5.0 Vampire 5.0-CASC Vampire 2.0-CASC E-SETHEO csp02 Gandalf c-2.5 Gandalf c-2.5-PROOF E 0.7 EP 0.7 DCTP 10.1p Bliksem 1.12a SCOTT 6.1 DCTP 1.2 Otter 3.2
Attempted 35 35 35 35 35 35 35 35 35 35 35 35 35
Solved 33 33 31 29 29 28 23 23 22 22 15 11 10
Av. Time 27.08 29.76 97.80 22.58 55.54 51.44 22.26 29.57 40.53 42.01 28.01 46.40 22.13
Solutions 33 33 31 0 0 28 0 23 0 22 15 0 10
New Attempted 18 18 18 18 18 18 18 18 18 18 18 18 18
New Solved 18 18 16 15 16 16 12 12 12 15 10 4 6
NEQ Vampire 5.0 Vampire 5.0-CASC Vampire 2.0-CASC E-SETHEO csp02 Gandalf c-2.5 E 0.7 EP 0.7 Gandalf c-2.5-PROOF DCTP 10.1p DCTP 1.2 Bliksem 1.12a Otter 3.2 SCOTT 6.1
Attempted 35 35 35 35 35 35 35 35 35 35 35 35 35
Solved 32 31 30 28 28 27 26 26 15 12 9 9 6
Av. Time 21.41 33.49 35.50 11.62 65.73 20.31 11.86 54.23 18.36 9.99 79.90 259.30 98.42
Solutions 32 31 30 0 0 0 26 26 0 0 9 9 6
New Attempted 16 16 16 16 16 16 16 16 16 16 16 16 16
New Solved 14 14 13 12 14 12 11 13 7 7 2 5 4
PEQ E 0.7 Vampire 5.0 EP 0.7 Vampire 5.0-CASC E-SETHEO csp02 Vampire 2.0-CASC Bliksem 1.12a Gandalf c-2.5 Gandalf c-2.5-PROOF SCOTT 6.1 Otter 3.2 DCTP 1.2 DCTP 10.1p
Attempted 35 35 35 35 35 35 35 35 35 35 35 35 35
Solved 29 29 29 28 27 26 17 15 14 5 4 3 3
Av. Time 17.94 32.13 32.20 18.16 17.29 49.01 9.39 138.12 121.49 29.98 68.33 0.00 31.73
Solutions 0 29 29 28 0 26 17 0 14 5 4 0 0
New Attempted 18 18 18 18 18 18 18 18 18 18 18 18 18
New Solved 15 17 15 17 13 14 10 2 2 1 1 0 0
SNE Gandalf c-2.5-SAT GandalfSat 1.0 ICGNS 2002b E-SETHEO csp02-SAT DCTP 10.1p-SAT SCOTT 6.1 DCTP 1.2-SAT
Attempted 35 35 35 35 35 35 35
Solved 28 23 19 19 17 15 10
Av. Time 14.29 4.34 1.28 2.39 4.94 0.00 0.00
Solutions 0 0 0 0 0 0 0
New Attempted 18 18 18 18 18 18 18
New Solved 14 14 14 10 9 7 8
SEQ Gandalf c-2.5-SAT ICGNS 2002b SCOTT 6.1 GandalfSat 1.0 E-SETHEO csp02-SAT DCTP 1.2-SAT DCTP 10.1p-SAT
Attempted 35 35 35 35 35 35 35
Solved 33 31 22 21 15 14 14
Av. Time 9.09 0.26 0.00 7.14 79.90 0.00 0.12
Solutions 0 0 0 0 0 0 0
New Attempted 18 18 18 18 18 18 18
New Solved 18 18 11 12 10 10 10
FNE E-SETHEO csp02 Vampire 5.0 DCTP 10.1p SCOTT 6.1 Otter 3.2 Bliksem 1.12a
Attempted 10 10 10 10 10 10
Solved 9 9 3 1 1 0
Av. Time 14.69 19.34 101.13 120.10 241.20 -
Solutions 0 9 0 1 1 0
New Attempted 1 1 1 1 1 1
New Solved 0 0 0 0 0 0
FEQ Vampire 5.0 E-SETHEO csp02 DCTP 10.1p Bliksem 1.12a SCOTT 6.1 Otter 3.2
Attempted 60 60 60 60 60 60
Solved 46 37 22 15 14 9
Av. Time 15.18 15.38 30.69 25.35 24.29 106.66
Solutions 46 0 0 15 14 9
New Attempted 0 0 0 0 0 0
New Solved 0 0 0 0 0 0
EPT Gandalf c-2.5-SAT E-SETHEO csp02 Vampire 5.0 DCTP 10.1p GrAnDe 1.1 DCTP 1.2-EPR SCOTT 6.1
Attempted 35 35 35 35 35 35 35
Solved 34 33 26 25 21 17 7
Av. Time 65.62 34.78 5.13 68.86 0.47 37.04 14.31
Solutions 0 0 26 0 0 0 7
New Attempted 12 12 12 12 12 12 12
New Solved 11 11 7 12 0 12 4
EPS E-SETHEO csp02 DCTP 1.2-EPR Gandalf c-2.5-SAT GrAnDe 1.1 Vampire 5.0 SCOTT 6.1 DCTP 10.1p
Attempted 35 35 35 35 35 35 35
Solved 27 27 24 17 6 2 0
Av. Time 7.63 35.56 115.08 0.11 55.58 0.00 -
Solutions 0 0 0 0 0 0 0
New Attempted 12 12 12 12 12 12 12
New Solved 4 6 1 1 3 1 0