MIX Vampire
8.0
Vampire
7.0
E
0.9pre3
EP
0.9pre3
Prover9
0705
THEO
JN05
Darwin
1.2
Otter
3.3
Attempted 150 150 150 150 150 150 150 150
Solved 137 133 117 117 100 52 32 27
Av. Time 40.64 45.54 24.06 29.97 45.59 48.67 13.14 46.37
Solutions 137 133 0 108 100 52 0 27
FOF Vampire
8.0
Vampire
7.0
E
0.9pre3
EP
0.9pre3
Prover9
0705
THEO
JN05
Otter
3.3
MUSCADET
2.5
Attempted 150 150 150 150 150 150 150 150
Solved 131 129 122 122 113 100 66 31
Av. Time 31.64 26.72 12.44 15.24 33.21 26.21 63.04 0.00
Solutions 131 129 0 117 110 100 66 0
SAT Paradox
1.3
Paradox
1.0
Mace4
0705D
Mace2
2.2
Darwin
1.2
E
0.9pre3
Attempted 120 120 120 120 120 120
Solved 117 116 83 40 20 11
Av. Time 3.29 8.52 2.37 10.93 4.50 4.55
Solutions 117 116 83 40 20 0
EPR DCTP
10.21p
Darwin
1.2
Paradox
1.3
E
0.9pre3
Vampire
8.0
Attempted 120 120 120 120 120
Solved 117 113 111 96 91
Av. Time 14.94 1.28 7.60 1.52 1.08
Solutions 0 54 55 0 59
UEQ Waldmeister
704
Prover9
0705
Vampire
8.0
E
0.9pre3
Otter
3.3
Attempted 120 120 120 120 120
Solved 110 86 71 63 23
Av. Time 56.47 40.10 48.34 2.52 20.04
Solutions 110 86 71 0 23