FOF Vampire
8.1
E
0.99
EP
0.99
Vampire
8.0
Theo
2006
Geo
2006i
Darwin
1.3
Otter
3.3
Muscadet
2.6
Equinox
1.0a
Faust
1.0
Attempted 150 150 150 150 150 150 150 150 150 150 150
Solved 128 112 112 109 93 73 64 52 50 31 27
Av. Time 21.44 6.69 7.97 32.90 15.14 22.85 18.33 25.08 15.31 30.19 0.40
Solutions 128 0 92 109 93 73 0 52 0 0 27
CNF Vampire
8.1
Vampire
8.0
E
0.99
EP
0.99
Theo
2006
Otter
3.3
Darwin
1.3
iProver
0.1
Geo
2006i
Faust
1.0
Equinox
1.0a
Attempted 150 150 150 150 150 150 150 150 150 150 150
Solved 142 138 126 125 66 55 47 47 45 19 12
Av. Time 19.35 21.72 14.69 13.88 43.07 19.75 16.65 34.17 53.30 1.71 4.40
Solutions 142 138 0 103 66 55 0 0 45 19 0
SAT Paradox
1.3
Paradox
2.0a
DarwinFM
1.3
Geo
2006i
Darwin
1.3
E
0.99
Attempted 100 100 100 100 100 100
Solved 90 89 70 51 18 14
Av. Time 5.76 13.23 13.63 27.81 31.66 3.85
Solutions 90 89 70 51 18 0
EPR Darwin
1.3
DCTP
10.21p
DarwinFM
1.3
E
0.99
Paradox
2.0a
Vampire
8.1
iProver
0.1
Geo
2006i
Equinox
1.0a
Attempted 100 100 100 100 100 100 100 100 100
Solved 100 99 92 88 87 78 77 68 15
Av. Time 4.72 11.84 10.33 10.95 13.46 4.19 9.96 5.14 11.22
Solutions 50 0 50 0 44 48 0 68 0
UEQ Waldmeister
806
Waldmeister
704
Vampire
8.1
E
0.99
Otter
3.3
Geo
2006i
Equinox
1.0a
Attempted 100 100 100 100 100 100 100
Solved 93 92 64 62 28 2 0
Av. Time 22.59 24.38 43.33 6.12 30.85 224.65 -
Solutions 93 92 64 0 28 2 0