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
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
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
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
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