MIX Vampire
8.0
Vampire
7.0
E
0.9pre3
EP
0.9pre3
Prover9
0705
THEO
JN05
Darwin
1.2
Otter
3.3
Attempted 150 150 150 150 150 150 150 150
Solved 137 133 117 117 100 52 32 27
Av. Time 40.64 45.54 24.06 29.97 45.59 48.67 13.14 46.37
Solutions 137 133 0 108 100 52 0 27
New Attempted 15 15 15 15 15 15 15 15
New Solved 9 11 13 13 12 0 0 0
FOF Vampire
8.0
Vampire
7.0
E
0.9pre3
EP
0.9pre3
Prover9
0705
THEO
JN05
Otter
3.3
MUSCADET
2.5
Attempted 150 150 150 150 150 150 150 150
Solved 131 129 122 122 113 93 66 31
Av. Time 31.64 26.72 12.44 15.24 33.21 19.37 63.04 0.00
Solutions 131 129 0 117 110 93 66 0
New Attempted 69 69 69 69 69 69 69 69
New Solved 54 55 50 50 53 34 28 4
SAT Paradox
1.3
Paradox
1.0
Mace4
0705D
Mace2
2.2
Darwin
1.2
E
0.9pre3
Attempted 120 120 120 120 120 120
Solved 117 116 83 40 20 11
Av. Time 3.29 8.52 2.37 10.93 4.50 4.55
Solutions 117 116 83 40 20 0
New Attempted 30 30 30 30 30 30
New Solved 30 29 29 0 0 0
EPR DCTP
10.21p
Darwin
1.2
Paradox
1.3
E
0.9pre3
Vampire
8.0
Attempted 120 120 120 120 120
Solved 117 113 111 96 91
Av. Time 14.94 1.28 7.60 1.52 1.08
Solutions 0 54 55 0 59
New Attempted 0 0 0 0 0
New Solved 0 0 0 0 0
UEQ Waldmeister
704
Prover9
0705
Vampire
8.0
E
0.9pre3
Otter
3.3
Attempted 120 120 120 120 120
Solved 110 86 71 63 23
Av. Time 56.47 40.10 48.34 2.52 20.04
Solutions 110 86 71 0 23
New Attempted 33 33 33 33 33
New Solved 24 5 0 0 5
HNE Vampire
7.0
Vampire
8.0
Prover9
0705
E
0.9pre3
EP
0.9pre3
THEO
JN05
Otter
3.3
Darwin
1.2
Attempted 20 20 20 20 20 20 20 20
Solved 19 19 17 15 15 10 9 5
Av. Time 44.18 45.53 99.89 12.92 15.37 54.95 69.87 9.50
Solutions 19 19 17 0 15 10 9 0
New Attempted 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0
HEQ Vampire
8.0
Vampire
7.0
Prover9
0705
E
0.9pre3
EP
0.9pre3
Darwin
1.2
Otter
3.3
THEO
JN05
Attempted 20 20 20 20 20 20 20 20
Solved 18 17 13 13 13 0 0 0
Av. Time 39.14 69.25 13.79 51.02 62.72 - - -
Solutions 18 17 13 0 10 0 0 0
New Attempted 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0
NNE Vampire
7.0
Vampire
8.0
E
0.9pre3
EP
0.9pre3
THEO
JN05
Prover9
0705
Darwin
1.2
Otter
3.3
Attempted 20 20 20 20 20 20 20 20
Solved 19 19 16 16 14 10 10 3
Av. Time 11.19 12.25 9.16 12.93 47.93 5.51 36.40 0.00
Solutions 19 19 0 16 14 10 0 3
New Attempted 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0
NEQ Vampire
8.0
Vampire
7.0
E
0.9pre3
EP
0.9pre3
Prover9
0705
THEO
JN05
Darwin
1.2
Otter
3.3
Attempted 60 60 60 60 60 60 60 60
Solved 58 53 47 47 34 27 14 10
Av. Time 35.41 33.75 18.73 22.23 36.61 48.53 0.65 62.31
Solutions 58 53 0 45 34 27 0 10
New Attempted 0 0 0 0 0 0 0 0
New Solved 0 0 0 0 0 0 0 0
PEQ E
0.9pre3
EP
0.9pre3
Prover9
0705
Vampire
7.0
Vampire
8.0
Otter
3.3
Darwin
1.2
THEO
JN05
Attempted 30 30 30 30 30 30 30 30
Solved 26 26 26 25 23 5 3 1
Av. Time 35.81 46.50 53.17 81.52 74.40 0.00 0.00 0.00
Solutions 0 22 26 25 23 5 0 1
New Attempted 15 15 15 15 15 15 15 15
New Solved 13 13 12 11 9 0 0 0
FNE Vampire
8.0
E
0.9pre3
EP
0.9pre3
Prover9
0705
Vampire
7.0
Otter
3.3
THEO
JN05
MUSCADET
2.5
Attempted 35 35 35 35 35 35 35 35
Solved 35 34 34 34 34 33 33 13
Av. Time 0.29 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Solutions 35 0 34 34 34 33 33 0
New Attempted 11 11 11 11 11 11 11 11
New Solved 11 10 10 11 10 10 9 3
FEQ Vampire
8.0
Vampire
7.0
E
0.9pre3
EP
0.9pre3
Prover9
0705
THEO
JN05
Otter
3.3
MUSCADET
2.5
Attempted 115 115 115 115 115 115 115 115
Solved 96 95 88 88 79 67 33 18
Av. Time 43.07 36.29 17.24 21.12 47.51 30.04 126.08 0.00
Solutions 96 95 0 83 76 67 33 0
New Attempted 58 58 58 58 58 58 58 58
New Solved 43 45 40 40 42 32 18 1
SNE Paradox
1.3
Paradox
1.0
Mace4
0705D
Darwin
1.2
Mace2
2.2
E
0.9pre3
Attempted 60 60 60 60 60 60
Solved 58 58 29 20 16 9
Av. Time 1.36 9.19 5.47 4.50 0.59 5.56
Solutions 58 58 29 20 16 0
New Attempted 1 1 1 1 1 1
New Solved 1 1 0 0 0 0
SEQ Paradox
1.3
Paradox
1.0
Mace4
0705D
Mace2
2.2
E
0.9pre3
Darwin
1.2
Attempted 60 60 60 60 60 60
Solved 59 58 54 24 2 0
Av. Time 5.20 7.85 0.71 17.83 0.00 -
Solutions 59 58 54 24 0 0
New Attempted 29 29 29 29 29 29
New Solved 29 28 29 0 0 0
EPT Vampire
8.0
Darwin
1.2
DCTP
10.21p
E
0.9pre3
Paradox
1.3
Attempted 60 60 60 60 60
Solved 59 59 59 57 56
Av. Time 1.19 1.69 9.41 1.40 11.91
Solutions 59 0 0 0 0
New Attempted 0 0 0 0 0
New Solved 0 0 0 0 0
EPS DCTP
10.21p
Paradox
1.3
Darwin
1.2
E
0.9pre3
Vampire
8.0
Attempted 60 60 60 60 60
Solved 58 55 54 39 32
Av. Time 20.57 3.21 0.84 1.69 0.88
Solutions 0 55 54 0 0
New Attempted 0 0 0 0 0
New Solved 0 0 0 0 0