FOF Vampire
11.0 		E
1.1pre 		Vampire
10.0 		EP
1.1pre 		iProver
0.7 		Equinox
4.1 		leanCoP
2.1 		iProver-Eq
0.5 		Metis
2.2 		E-KRHyper
1.1.3 		Otter
3.3 		OSHL-S
0.6 		Infinox
1.0
Attempted 300 300 300 300 300 300 300 300 300 300 300 300 300
Solved 233 219 219 218 174 119 113 88 84 81 58 40 0
Av. Time 33.00 23.89 35.06 26.83 24.79 24.08 37.02 26.58 24.73 21.96 12.90 33.83 -
Solutions 233 0 219 217 0 0 113 0 84 0 58 0 0
FNT Paradox
3.0 		iProver-SAT
0.7 		E
1.1pre 		EP
1.1pre 		E-KRHyper
1.1.3 		Metis
2.2 		OSHL-S
0.6 		Infinox
1.0
Attempted 100 100 100 100 100 100 100 100
Solved 93 68 30 30 24 21 11 0
Av. Time 5.01 39.24 5.72 6.48 24.91 12.13 43.83 -
Solutions 93 0 0 30 0 21 0 0
CNF Vampire
10.0 		Vampire
11.0 		E
1.1pre 		iProver
0.7 		E-Darwin
1.2 		iProver-Eq
0.5 		Equinox
4.1 		Metis
2.2 		E-KRHyper
1.1.3 		Otter
3.3 		OSHL-S
0.6 		Infinox
1.0
Attempted 200 200 200 200 200 200 200 200 200 200 200 200
Solved 181 175 159 91 53 53 52 38 35 31 16 0
Av. Time 22.20 26.16 6.92 15.86 26.70 39.93 19.22 20.10 32.74 9.05 34.12 -
Solutions 181 175 0 0 0 0 0 38 0 31 0 0
SAT Paradox
3.0 		iProver-SAT
0.7 		E
1.1pre 		Metis
2.2 		E-KRHyper
1.1.3 		OSHL-S
0.6 		Infinox
1.0
Attempted 100 100 100 100 100 100 100
Solved 70 54 28 6 1 1 0
Av. Time 7.26 60.95 2.34 0.18 0.00 0.10 -
Solutions 70 0 0 6 0 0 0
EPR iProver
0.7 		Darwin
1.4.4 		iProver
0.5c 		E-Darwin
1.2 		E
1.1pre 		OSHL-S
0.6 		Metis
2.2 		E-KRHyper
1.1.3 		Infinox
1.0
Attempted 100 100 100 100 100 100 100 100 100
Solved 92 92 91 85 57 54 44 41 0
Av. Time 14.83 18.97 16.66 20.49 15.27 13.48 15.82 3.43 -
Solutions 0 50 0 0 0 0 44 0 0
UEQ Waldmeister
C09a 		E
1.1pre 		Vampire
11.0 		Waldmeister
806 		Matita
1.0 		Metis
2.2 		iProver-Eq
0.5 		Otter
3.3 		Equinox
4.1 		Infinox
1.0
Attempted 200 200 200 200 200 200 200 200 200 200
Solved 186 127 124 70 67 48 34 29 6 0
Av. Time 17.85 3.63 32.36 19.91 39.28 35.33 88.42 0.59 50.45 -
Solutions 186 0 124 70 67 48 0 29 0 0
THF TPS
3.20080227G1d 		LEO-II
1.0 		LEO-IIP
1.0 		IsabelleP
2009
Attempted 200 200 200 200
Solved 170 146 146 124
Av. Time 23.18 2.27 3.44 55.92
Solutions 0 0 146 124
LTB Vampire-LTB
11.0 		iProver-SInE
0.7 		SInE-LTB
0.4 		leanCoP-SInE
2.1 		E-LTB
1.1pre 		EP-LTB
1.1pre 		E-KRHyper-LTB
1.1.3
Attempted 100 100 100 100 100 100 100
Solved 69 67 64 35 18 18 0
Av. Time 24.53 76.46 75.33 8.80 63.39 77.79 -
Solutions 69 0 64 35 0 18 0
CYC iProver-SInE
0.7 		SInE-LTB
0.4 		leanCoP-SInE
2.1 		Vampire-LTB
11.0 		E-LTB
1.1pre 		EP-LTB
1.1pre 		E-KRHyper-LTB
1.1.3
Attempted 35 35 35 35 35 35 35
Solved 28 26 23 23 7 7 0
Av. Time 99.70 133.89 0.00 47.66 31.49 55.74 -
Solutions 0 26 23 23 0 7 0
MZR Vampire-LTB
11.0 		iProver-SInE
0.7 		SInE-LTB
0.4 		E-LTB
1.1pre 		EP-LTB
1.1pre 		leanCoP-SInE
2.1 		E-KRHyper-LTB
1.1.3
Attempted 40 40 40 40 40 40 40
Solved 22 14 13 9 9 1 0
Av. Time 21.39 65.79 31.54 97.83 105.56 54.60 -
Solutions 22 0 13 0 9 1 0
SMO SInE-LTB
0.4 		iProver-SInE
0.7 		Vampire-LTB
11.0 		leanCoP-SInE
2.1 		E-LTB
1.1pre 		EP-LTB
1.1pre 		E-KRHyper-LTB
1.1.3
Attempted 25 25 25 25 25 25 25
Solved 25 25 24 11 2 2 0
Av. Time 37.19 56.40 5.25 23.03 20.10 30.05 -
Solutions 25 0 24 11 0 2 0