2264 | Twisted Logic 20070706 -2194 | 63 | + 13 | - 37 | = 13 | 31.0 % | perf. |
---|---|---|---|---|---|---|---|
1931 | List 5.12 - 2418 | 9 | + 2 | = 2 | - 5 | 33.3 % | 2298 |
1986 | SmarThink 0.18a r261 - 2391 | 8 | + 1 | = 1 | - 6 | 18.8 % | 2137 |
2028 | Booot 4.13.1 - 2364 | 9 | + 1 | = 0 | - 8 | 11.1 % | 2018 |
2067 | Ufim 8.02 - 2342 | 8 | + 1 | = 2 | - 5 | 25.0 % | 2150 |
2102 | AnMon 5.60 - 2321 | 10 | + 4 | = 2 | - 4 | 50.0 % | 2321 |
2151 | Yace 0.99.87 - 2293 | 8 | + 2 | = 2 | - 4 | 37.5 % | 2205 |
2187 | Pepito 1.59 - 2266 | 11 | + 2 | = 4 | - 5 | 36.4 % | 2170 |