FOF Vampire
9.0
Vampire
8.1
Fampire
1.3
E
0.999
EP
0.999
iProver
0.2
Equinox
1.2
leanCoP
2.0
Otter
3.3
Metis
2.0
Geo
2007f
ileanCoP
1.2
Muscadet
2.7
Attempted 300 300 300 300 300 300 300 300 300 300 300 300 300
Solved 270 266 262 248 225 201 173 160 138 117 104 103 37
Av. Time 20.84 16.37 12.19 13.36 13.10 9.57 14.92 39.50 25.04 16.06 29.42 44.23 0.76
Solutions 270 266 0 0 221 0 0 0 138 89 104 0 0
SOTAC 0.14 0.15 0.14 0.14 0.12 0.11 0.12 0.11 0.11 0.10 0.12 0.10 0.19
New Attempted 120 120 120 120 120 120 120 120 120 120 120 120 120
New Solved 104 100 99 97 95 85 88 70 65 42 21 64 1
CNF Vampire
8.1
Vampire
9.0
E
0.999
EP
0.999
iProver
0.2
Equinox
1.2
Otter
3.3
Geo
2007f
E-KRHyper
1.0
Metis
2.0
Attempted 200 200 200 200 200 200 200 200 200 200
Solved 182 181 156 125 76 57 41 41 38 27
Av. Time 27.66 29.64 19.73 20.07 30.72 23.83 13.10 60.77 42.54 8.09
Solutions 182 181 0 122 0 0 41 41 38 27
SOTAC 0.25 0.24 0.23 0.19 0.16 0.16 0.17 0.15 0.16 0.12
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
FNT Paradox
2.2
Geo
2007f
DarwinFM
1.4.1
E
0.999
iProver
0.2
Metis
2.0
Attempted 100 100 100 100 100 100
Solved 85 81 79 63 53 47
Av. Time 2.64 12.70 20.82 6.03 18.55 2.44
Solutions 85 81 79 0 0 0
SOTAC 0.28 0.23 0.24 0.23 0.27 0.20
New Attempted 2 2 2 2 2 2
New Solved 2 2 2 0 0 0
SAT Paradox
1.3
Paradox
2.2
DarwinFM
1.4.1
Geo
2007f
iProver
0.2
E
0.999
Metis
2.0
Attempted 100 100 100 100 100 100 100
Solved 96 94 79 54 28 15 7
Av. Time 2.53 8.67 14.23 32.32 43.34 3.83 1.87
Solutions 96 94 79 54 0 0 0
SOTAC 0.31 0.29 0.25 0.22 0.21 0.24 0.25
New Attempted 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0
EPR Darwin
1.3
Darwin
1.4.1
iProver
0.2
Paradox
2.2
E
0.999
Geo
2007f
Vampire
9.0
E-KRHyper
1.0
Metis
2.0
Equinox
1.2
Attempted 100 100 100 100 100 100 100 100 100 100
Solved 98 98 97 88 80 76 75 74 73 46
Av. Time 1.87 1.93 4.66 2.69 4.31 2.90 2.10 1.79 8.68 13.07
Solutions 48 48 0 40 0 76 49 43 45 0
SOTAC 0.13 0.13 0.13 0.12 0.12 0.11 0.12 0.11 0.11 0.11
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
UEQ Waldmeister
806
Vampire
9.0
E
0.999
Otter
3.3
Metis
2.0
Equinox
1.2
Geo
2007f
Attempted 100 100 100 100 100 100 100
Solved 91 63 59 27 15 2 2
Av. Time 18.22 42.30 16.73 21.61 38.33 13.35 255.75
Solutions 91 63 0 27 15 0 2
SOTAC 0.47 0.30 0.30 0.30 0.23 0.38 0.67
New Attempted 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0
FNE Fampire
1.3
Vampire
9.0
E
0.999
Vampire
8.1
iProver
0.2
EP
0.999
Equinox
1.2
Geo
2007f
leanCoP
2.0
Metis
2.0
Otter
3.3
ileanCoP
1.2
Muscadet
2.7
Attempted 60 60 60 60 60 60 60 60 60 60 60 60 60
Solved 59 59 58 57 56 55 50 44 42 34 33 17 2
Av. Time 0.44 2.49 15.65 1.15 3.70 16.17 43.90 7.76 50.63 3.43 12.70 20.31 0.10
Solutions 0 59 0 57 0 54 0 44 0 31 33 0 0
SOTAC 0.11 0.11 0.11 0.11 0.11 0.11 0.11 0.12 0.10 0.09 0.09 0.09 0.12
New Attempted 0 0 0 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0 0 0 0
FEQ Vampire
9.0
Vampire
8.1
Fampire
1.3
E
0.999
EP
0.999
iProver
0.2
Equinox
1.2
leanCoP
2.0
Otter
3.3
ileanCoP
1.2
Metis
2.0
Geo
2007f
Muscadet
2.7
Attempted 240 240 240 240 240 240 240 240 240 240 240 240 240
Solved 211 209 203 190 170 145 123 118 105 86 83 60 35
Av. Time 25.97 20.52 15.60 12.67 12.11 11.83 3.14 35.54 28.91 48.96 21.23 45.30 0.79
Solutions 211 209 0 0 167 0 0 0 105 0 58 60 0
SOTAC 0.15 0.16 0.15 0.14 0.13 0.12 0.13 0.11 0.11 0.10 0.10 0.12 0.20
New Attempted 120 120 120 120 120 120 120 120 120 120 120 120 120
New Solved 104 100 99 97 95 85 88 70 65 64 42 21 1
HNE Vampire
8.1
Vampire
9.0
E
0.999
iProver
0.2
EP
0.999
E-KRHyper
1.0
Geo
2007f
Otter
3.3
Metis
2.0
Equinox
1.2
Attempted 30 30 30 30 30 30 30 30 30 30
Solved 28 28 18 17 17 7 6 4 2 2
Av. Time 27.45 34.30 14.15 1.92 20.42 73.81 105.22 3.40 29.20 146.75
Solutions 28 28 0 0 16 7 6 4 2 0
SOTAC 0.25 0.25 0.24 0.19 0.19 0.27 0.17 0.15 0.13 0.14
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
HEQ Vampire
8.1
Vampire
9.0
E
0.999
EP
0.999
Equinox
1.2
Otter
3.3
Geo
2007f
iProver
0.2
E-KRHyper
1.0
Metis
2.0
Attempted 30 30 30 30 30 30 30 30 30 30
Solved 28 28 21 14 5 3 2 1 1 0
Av. Time 28.33 33.46 13.38 6.08 1.22 3.20 162.15 53.50 213.00 -
Solutions 28 28 0 14 0 3 2 0 1 0
SOTAC 0.31 0.31 0.29 0.22 0.20 0.22 0.27 0.20 0.25 -
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
NNE Vampire
8.1
Vampire
9.0
E
0.999
EP
0.999
iProver
0.2
Equinox
1.2
Geo
2007f
E-KRHyper
1.0
Metis
2.0
Otter
3.3
Attempted 30 30 30 30 30 30 30 30 30 30
Solved 29 28 27 25 25 18 15 13 12 9
Av. Time 8.53 6.51 12.48 10.74 14.44 17.33 52.48 26.48 5.85 0.10
Solutions 29 28 0 25 0 0 15 13 12 9
SOTAC 0.16 0.16 0.15 0.15 0.15 0.13 0.15 0.12 0.12 0.11
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
NEQ Vampire
9.0
Vampire
8.1
E
0.999
EP
0.999
iProver
0.2
Equinox
1.2
Otter
3.3
E-KRHyper
1.0
Geo
2007f
Metis
2.0
Attempted 80 80 80 80 80 80 80 80 80 80
Solved 73 72 66 56 33 29 18 17 17 13
Av. Time 34.48 29.06 32.21 29.80 57.20 14.08 26.35 31.92 36.91 6.90
Solutions 73 72 0 54 0 0 18 17 17 13
SOTAC 0.23 0.23 0.20 0.18 0.15 0.17 0.13 0.13 0.13 0.12
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
PEQ Vampire
8.1
E
0.999
Vampire
9.0
EP
0.999
Otter
3.3
Equinox
1.2
Geo
2007f
E-KRHyper
1.0
iProver
0.2
Metis
2.0
Attempted 30 30 30 30 30 30 30 30 30 30
Solved 25 24 24 13 7 3 1 0 0 0
Av. Time 45.33 3.29 32.01 10.69 5.50 112.87 121.20 - - -
Solutions 25 0 24 13 7 0 1 0 0 0
SOTAC 0.32 0.34 0.29 0.22 0.31 0.20 0.25 - - -
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
FNN Paradox
2.2
iProver
0.2
Geo
2007f
DarwinFM
1.4.1
E
0.999
Metis
2.0
Attempted 50 50 50 50 50 50
Solved 47 44 34 30 20 12
Av. Time 4.44 21.96 22.16 33.24 0.60 2.24
Solutions 47 0 34 30 0 0
SOTAC 0.32 0.29 0.24 0.25 0.21 0.18
New Attempted 2 2 2 2 2 2
New Solved 2 0 2 2 0 0
FNQ DarwinFM
1.4.1
Geo
2007f
E
0.999
Paradox
2.2
Metis
2.0
iProver
0.2
Attempted 50 50 50 50 50 50
Solved 49 47 43 38 35 9
Av. Time 13.22 5.86 8.55 0.41 2.51 1.90
Solutions 49 47 0 38 0 0
SOTAC 0.24 0.23 0.23 0.23 0.21 0.18
New Attempted 0 0 0 0 0 0
New Solved 0 0 0 0 0 0
SNE Paradox
1.3
Paradox
2.2
DarwinFM
1.4.1
Geo
2007f
iProver
0.2
E
0.999
Metis
2.0
Attempted 50 50 50 50 50 50 50
Solved 47 47 43 30 19 10 4
Av. Time 1.55 8.74 15.05 44.83 46.45 5.28 2.83
Solutions 47 47 43 30 0 0 0
SOTAC 0.27 0.27 0.25 0.22 0.22 0.23 0.24
New Attempted 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0
SEQ Paradox
1.3
Paradox
2.2
DarwinFM
1.4.1
Geo
2007f
iProver
0.2
E
0.999
Metis
2.0
Attempted 50 50 50 50 50 50 50
Solved 49 47 36 24 9 5 3
Av. Time 3.48 8.60 13.25 16.68 36.77 0.92 0.60
Solutions 49 47 36 24 0 0 0
SOTAC 0.34 0.31 0.26 0.23 0.19 0.26 0.27
New Attempted 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0
EPT Darwin
1.3
Darwin
1.4.1
iProver
0.2
Vampire
9.0
E
0.999
Paradox
2.2
Equinox
1.2
Metis
2.0
E-KRHyper
1.0
Geo
2007f
Attempted 50 50 50 50 50 50 50 50 50 50
Solved 50 50 49 49 48 48 46 45 43 43
Av. Time 1.13 1.14 0.72 1.71 0.78 4.53 13.07 2.36 2.74 3.15
Solutions 0 0 0 49 0 0 0 45 43 43
SOTAC 0.11 0.11 0.11 0.11 0.10 0.10 0.11 0.10 0.10 0.10
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0
EPS Darwin
1.3
Darwin
1.4.1
iProver
0.2
Paradox
2.2
Geo
2007f
E
0.999
E-KRHyper
1.0
Metis
2.0
Vampire
9.0
Equinox
1.2
Attempted 50 50 50 50 50 50 50 50 50 50
Solved 48 48 48 40 33 32 31 28 26 0
Av. Time 2.65 2.75 8.69 0.47 2.58 9.59 0.47 18.82 2.85 -
Solutions 48 48 0 40 33 0 0 0 0 0
SOTAC 0.16 0.16 0.16 0.15 0.13 0.13 0.13 0.13 0.13 -
New Attempted 0 0 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0 0 0