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