| 2467 | Twisted Logic 20070706 -2192 | 63 | + 13 | - 37 | = 13 | 31.0 % | perf. |
|---|---|---|---|---|---|---|---|
| 2134 | List 5.12 - 2417 | 9 | + 2 | = 2 | - 5 | 33.3 % | 2297 |
| 2189 | SmarThink 0.18a r261 - 2389 | 8 | + 1 | = 1 | - 6 | 18.8 % | 2135 |
| 2231 | Booot 4.13.1 - 2362 | 9 | + 1 | = 0 | - 8 | 11.1 % | 2016 |
| 2271 | Ufim 8.02 - 2341 | 8 | + 1 | = 2 | - 5 | 25.0 % | 2149 |
| 2305 | AnMon 5.60 - 2320 | 10 | + 4 | = 2 | - 4 | 50.0 % | 2320 |
| 2354 | Yace 0.99.87 - 2292 | 8 | + 2 | = 2 | - 4 | 37.5 % | 2204 |
| 2390 | Pepito 1.59 - 2265 | 11 | + 2 | = 4 | - 5 | 36.4 % | 2169 |
