THF LEO‑II
 1.2
Satallax
 1.4
IsabelleP
 2009‑2
TPS
 3.20080227G1d
Solved 125/200 120/200 101/200 80/200
Av. CPU Time 16.65 55.24 100.75 36.15
Solutions 125/200 120/200 0/200 0/200
FOF Vampire
 0.6
E
 1.2pre
EP
 1.2pre
Vampire
 11.0
iProver
 0.8
Equinox
 5.0
iProver‑Eq
 0.6
E‑Darwin
 1.3
leanCoP
 2.2
Zenon
 0.6.3
LEO‑II
 1.2
Geo
 2010C
Metis
 2.2
E‑KRHyper
 1.1.4
Otter
 3.3
Muscadet
 4.0
Ayane
 2
Solved 178/200 143/200 143/200 125/200 117/200 108/200 90/200 81/200 54/200 46/200 45/200 42/200 36/200 32/200 18/200 15/200 0/200
Av. CPU Time 14.16 10.20 14.77 44.92 25.55 17.40 18.09 25.29 42.61 36.03 45.01 22.74 32.68 24.27 9.30 3.89 -
Solutions 178/200 0/200 143/200 125/200 0/200 0/200 0/200 0/200 54/200 45/200 45/200 42/200 36/200 0/200 18/200 15/200 0/200
FNT Paradox
 3.0
Paradox
 4.0
iProver‑SAT
 0.8
Geo
 2010C
Equinox
 5.0
E
 1.2pre
EP
 1.2pre
iProver‑Eq
 0.6
E‑Darwin
 1.3
E‑KRHyper
 1.1.4
Metis
 2.2
Ayane
 2
Solved 168/200 167/200 165/200 144/200 111/200 80/200 80/200 78/200 71/200 59/200 48/200 0/200
Av. CPU Time 3.34 2.96 39.22 14.30 12.21 3.08 3.37 17.85 13.52 68.35 7.83 -
Solutions 168/200 167/200 136/200 144/200 0/200 0/200 80/200 0/200 71/200 0/200 48/200 0/200
CNF Vampire
 0.6
Vampire
 10.0
E
 1.2pre
iProver
 0.8
Equinox
 5.0
E‑Darwin
 1.3
iProver‑Eq
 0.6
E‑KRHyper
 1.1.4
LEO‑II
 1.2
Otter
 3.3
Geo
 2010C
Metis
 2.2
Ayane
 2
Solved 170/200 168/200 161/200 92/200 77/200 69/200 66/200 58/200 52/200 42/200 41/200 39/200 1/200
Av. CPU Time 15.05 15.69 14.87 16.40 26.23 20.79 19.78 37.99 54.89 11.21 30.79 27.37 26.40
Solutions 170/200 168/200 0/200 0/200 0/200 0/200 0/200 0/200 52/200 42/200 41/200 39/200 1/200
EPR iProver
 0.8
iProver
 0.7
Darwin
 1.4.5
iProver‑Eq
 0.6
E‑Darwin
 1.3
Paradox
 4.0
Equinox
 5.0
E‑KRHyper
 1.1.4
Geo
 2010C
E
 1.2pre
Vampire
 0.6
Metis
 2.2
Ayane
 2
Solved 95/100 84/100 72/100 59/100 52/100 51/100 44/100 30/100 25/100 15/100 13/100 8/100 0/100
Av. CPU Time 26.43 27.14 19.41 44.01 8.35 4.53 24.28 16.54 2.76 22.52 86.65 157.85 -
Solutions 43/100 0/100 50/100 0/100 41/100 43/100 0/100 0/100 25/100 0/100 13/100 8/100 0/100
UEQ Waldmeister
 710
Waldmeister
 C09a
Vampire
 0.6
E
 1.2pre
Metis
 2.2
Otter
 3.3
omkbTT
 1.0
Equinox
 5.0
Ayane
 2
iProver‑Eq
 0.6
iProver
 0.8
Geo
 2010C
Solved 95/100 95/100 72/100 70/100 26/100 25/100 9/100 7/100 6/100 3/100 3/100 2/100
Av. CPU Time 12.82 15.23 20.73 10.24 72.66 0.77 47.44 35.70 67.48 4.83 47.13 38.05
Solutions 95/100 95/100 72/100 0/100 25/100 25/100 9/100 0/100 6/100 0/100 0/100 2/100
LTB Vampire‑LTB
 0.6
Currahee
 0.1
iProver‑SInE
 0.8
Vampire‑LTB
 11.0
iProver‑Eq‑SInE
 0.6
E‑LTB
 1.2pre
leanCoP‑SInE
 2.2
Solved 104/150 87/150 87/150 58/150 52/150 40/150 3/150
Av. WC Time 6.38 23.00 30.29 22.94 38.83 6.83 2.00
Solutions 94/150 0/150 0/150 58/150 0/150 0/150 3/150
TFA leanCoP‑Omega
 0.1
SPASS+T
 2.2.12
SPASS‑XDB
 3.01X0.6
MetiTarski
 1.4
SNARK
 20080805r027
Solved 64/75 62/75 46/75 39/75 35/75
Av. CPU Time 21.77 15.82 32.87 11.07 0.55
Solutions 64/75 62/75 46/75 39/75 35/75
 Special awards