[ - Count von Count Info/Benchmark - ] |
Program "Count von Count" (length 40) by "Fernandes/Gunnell" Contact: terrestris@googlemail.com ;strategy Vampire
20 | 18.0 | 76.0 | 6.0 | 60.0 | 234.0 | |
5 | 51.2 | 42.0 | 6.8 | 160.4 | 132.8 | |
2 | 35.2 | 57.6 | 7.2 | 112.8 | 180.0 | |
14 | 47.6 | 44.8 | 7.6 | 150.4 | 142.0 | |
12 | 50.8 | 40.8 | 8.4 | 160.8 | 130.8 | |
15 | 46.0 | 44.4 | 9.6 | 147.6 | 142.8 | |
6 | 46.4 | 42.4 | 11.2 | 150.4 | 138.4 | |
1 | 49.2 | 39.2 | 11.6 | 159.2 | 129.2 | |
17 | 49.6 | 38.8 | 11.6 | 160.4 | 128.0 | |
3 | 43.2 | 44.4 | 12.4 | 142.0 | 145.6 | |
16 | 42.8 | 44.8 | 12.4 | 140.8 | 146.8 | |
8 | 48.0 | 36.0 | 16.0 | 160.0 | 124.0 | |
4 | 38.4 | 42.8 | 18.8 | 134.0 | 147.2 | |
9 | 44.4 | 32.0 | 23.6 | 156.8 | 119.6 | |
11 | 38.4 | 34.0 | 27.6 | 142.8 | 129.6 | |
13 | 33.6 | 38.4 | 28.0 | 128.8 | 143.2 | |
10 | 37.2 | 33.2 | 29.6 | 141.2 | 129.2 | |
7 | 47.6 | 11.2 | 41.2 | 184.0 | 74.8 | |
19 | 37.6 | 8.0 | 54.4 | 167.2 | 78.4 | |
18 | 32.0 | 12.8 | 55.2 | 151.2 | 93.6 | |
- | 41.9 | 38.2 | 20.0 | 145.5 | 134.5 |