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 110.81 63.39 77.79 -
Solutions 69 0 64 35 0 18 0
CYC iProver-SInE
0.7 		SInE-LTB
0.4 		Vampire-LTB
11.0 		leanCoP-SInE
2.1 		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 47.66 155.24 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