| FOF | Vampire 8.1 | E.99 | EP.99 | Vampire 8.0 | Octopus 2006 | Theo | Geo 2000i |
| AGT005+2 | 3.7 | 0.3 | 0.4 | 0.1 | 4/4 | 0.9 | Timeout |
| AGT007+2 | 167.8 | Timeout | Timeout | Timeout | 154/271 | Timeout | Timeout |
| AGT015+1 | 0 | 1.4 | 1.9 | 0 | 4/4 | 5.3 | Timeout |
| AGT018+1 | 14.8 | Timeout | Timeout | 95.1 | Fail | Timeout | Timeout |
| AGT024+2 | 29.9 | Timeout | Timeout | Timeout | 52/93 | 264.5 | Timeout |
| ALG074+1 | 55.2 | 1.8 | 3.4 | 118.3 | 3/4 | Timeout | 1.3 |
| ALG211+1 | 0 | 0 | 0.1 | 0 | 5/5 | 0 | 0 |
| CSR001+1 | 357.3 | 75.5 | 87.1 | Timeout | Fail | Timeout | Timeout |
| CSR002+1 | 95 | 26.8 | 28.2 | Timeout | Fail | Timeout | Timeout |
| CSR005+2 | 76.5 | 34.3 | 35.7 | Unknown | Fail | Timeout | Timeout |
| CSR007+1 | 1.1 | 46.8 | 51.6 | 2.2 | 110/128 | Timeout | Timeout |
| CSR019+1 | 0 | 0.3 | 0.4 | Unknown | 5/5 | 1 | Timeout |
| CSR021+1 | 0 | 0.2 | 0.4 | Unknown | 6/6 | 0.5 | 31.8 |
| CSR022+1 | 0 | 0.4 | 0.6 | Unknown | 6/6 | 0.5 | 20.2 |
| CSR024+1.009 | 0.6 | 0.4 | 0.7 | Unknown | Fail!!! | Unknown | Timeout |
| GEO085+1 | 0 | 0 | 0.1 | 0 | 6/6 | 0.2 | 0.7 |
| GEO088+1 | 115.1 | Timeout | Timeout | 34.8 | 4/5 | Timeout | Timeout |
| GEO109+1 | 120.6 | Timeout | Timeout | 32.1 | Fail | Timeout | Timeout |
| GRA002+1* | Timeout | Timeout | Timeout | Unknown | Fail | Timeout | 13.6 |
| GRA002+2* | 49.9 | Timeout | Timeout | Unknown | Fail | Timeout | 15.9 |
| GRA002+4* | 0 | 0 | 0.1 | Unknown | 5/5 | 0.2 | 0.9 |
| GRA004+1* | 0.1 | 0 | 0.1 | Unknown | 10/10 | 3.3 | 4.1 |
| GRA006+1* | 12 | 0.5 | 0.7 | Unknown | Fail | Timeout | 7 |
| GRA007+1* | 15 | 0.3 | 0.4 | Unknown | 302/354 | Timeout | 3 |
| GRA007+2* | 14.9 | 0.5 | 0.6 | Unknown | 270/550 | Timeout | 12.9 |
| GRA008+1* | 23.4 | 3.6 | 4.1 | Unknown | Fail | Timeout | 5.4 |
| GRA009+2* | 139.7 | 4.8 | 5.8 | Unknown | Fail | Timeout | 4.3 |
| GRA010+1* | 0 | 0.1 | 0.1 | Unknown | 1/1 | 0.9 | 1.5 |
| GRA011+1* | Timeout | Timeout | Timeout | Unknown | Fail | Timeout | 15 |
| GRA012+1* | Timeout | Timeout | Timeout | Unknown | Fail | Timeout | 13.3 |
| GRP001+6 | 0.3 | 0.4 | 0.7 | 1.8 | 5/5 | 0.6 | 0.2 |
| GRP012+5 | 3.6 | 0.1 | 0.2 | 19.8 | 3/3 | 0.1 | 10.2 |
| LCL414+1 | 0 | 0 | 0.1 | 0 | 7/7 | 0 | 0.6 |
| MGT022+1 | 0 | 0 | 0.1 | 0 | 9/9 | 0 | 0.1 |
| MGT022+2 | 0 | 0 | 0.1 | 0 | 4/4 | 0 | 0.1 |
| MGT028+1 | 0 | 0 | 0.1 | 0 | 5/5 | 0 | 0 |
| MGT036+1 | 0 | 0 | 0.1 | 0 | 6/6 | 0 | 1 |
| MGT036+3 | 0 | 0 | 0.1 | 0 | 6/6 | 0 | 0 |
| MGT042+1 | 22.9 | Timeout | Timeout | 84.4 | 12/12 | 131 | 3.2 |
| MGT060+1 | 8.9 | 0 | 0.1 | 0.6 | 2/2 | 0.2 | 0.4 |
| MSC010+1 | 2.7 | GaveUp | GaveUp | 0 | Fail!!! | Unknown | Timeout |
| NUM310+1 | 11.7 | Timeout | Timeout | 79.9 | 13/30 | 19 | Timeout |
| NUM327+1 | 11 | Timeout | Timeout | 79.7 | 7/7 | 25.7 | Timeout |
| NUM329+1 | 10.8 | Timeout | Timeout | 83.6 | 8/8 | 26.3 | Timeout |
| NUM334+1 | 10.7 | Timeout | Timeout | 79.6 | 7/8 | 5.9 | Timeout |
| NUM398+1* | 0 | 0.1 | 0.2 | 0 | 2/2 | 4 | 0.2 |
| NUM400+1* | 81.1 | 0.1 | 0.2 | 0.7 | 30/47 | 53.1 | 149.7 |
| PUZ047+1 | 0 | 0 | 0.1 | 0 | 8/8 | 0 | 0.1 |
| SET008+3 | 0 | 0.1 | 0.2 | 0 | 6/6 | 0.1 | 63 |
| SET009+3 | 0 | 0 | 0.1 | 0 | 6/6 | 0.5 | 43 |
| SET014+3 | 0.1 | 0 | 0.2 | 0.1 | 6/6 | 0.1 | 1.8 |
| SET067+1 | 0 | 0.1 | 0.2 | 0.1 | 5/5 | 0.6 | Timeout |
| SET094+1 | 0 | 0 | 0.1 | 0 | 1/2 | 1.5 | Timeout |
| SET099+1 | Timeout | 57.4 | 62.9 | 182.3 | Fail | Timeout | Timeout |
| SET144+3 | 173 | Timeout | Timeout | 103.6 | 4/8 | 15.9 | 285.8 |
| SET171+3 | 12.2 | Timeout | Timeout | 102.6 | 5/20 | 42 | Timeout |
| SET200+3 | 2 | 0.1 | 0.2 | 0.2 | 6/6 | 0.1 | 12.4 |
| SET577+3 | 0.1 | 0.2 | 0.5 | 0.2 | 3/4 | 0.1 | 5.4 |
| SET579+3 | 0.1 | 0 | 0.1 | 0.1 | 1/1 | 6.3 | 48.1 |
| SET582+3 | 145.9 | 36.9 | 49.9 | 115.6 | 7/21 | Timeout | Timeout |
| SET584+3 | 1.5 | 0 | 0.2 | 0 | 6/6 | 0 | 7.1 |
| SET587+3 | 0.1 | 0 | 0.1 | 0 | 4/6 | 7.2 | 7.6 |
| SET588+3 | 0 | 0 | 0.1 | 0 | 8/8 | 0.4 | 18 |
| SET589+3 | 0.2 | 0 | 0.1 | 0 | 5/5 | 0 | 0.3 |
| SET590+3 | 0 | 0 | 0.1 | 0 | 5/5 | 0 | 0 |
| SET593+3 | 0.1 | 0.1 | 0.2 | 0.6 | 8/8 | 7.7 | 60.9 |
| SET594+3 | 0.6 | 1.1 | 2.4 | 0 | 10/10 | 0.7 | 100.1 |
| SET595+3 | 22.1 | 26.6 | 39.7 | 16.8 | 2/2 | 1.4 | 318.5 |
| SET603+3 | 0 | 0 | 0.1 | 0 | 6/7 | 0 | 0.2 |
| SET623+3 | Timeout | Timeout | Timeout | Timeout | Fail | Timeout | Timeout |
| SET624+3 | 4.9 | 0 | 0.1 | 1.4 | 3/3 | 1.3 | 232.6 |
| SET631+3 | 0 | 0 | 0.1 | 0 | 6/6 | 0 | 0.5 |
| SET655+3 | 1.5 | 0.4 | 0.6 | 204.1 | 1/1 | 6.9 | Timeout |
| SET656+3 | 3.9 | 38.4 | 49.8 | 12.7 | 4/4 | 0.1 | Timeout |
| SET657+3 | 140.9 | 0.1 | 0.2 | 16.8 | 2/2 | 0.7 | Timeout |
| SET669+3 | 6.7 | 0.9 | 1.3 | 0.2 | 6/7 | 3.8 | Timeout |
| SET680+3 | 0.1 | 0 | 0.1 | 0.5 | 9/10 | 1.9 | Timeout |
| SET795+4* | 18 | Timeout | Timeout | 0.1 | 18/22 | Timeout | Timeout |
| SET796+4* | Timeout | Timeout | Timeout | Timeout | Fail | Timeout | Timeout |
| SET798+4* | 11.9 | 0.1 | 0.2 | 39.6 | 7/7 | 0.2 | Timeout |
| SET802+4* | 109.5 | 4.1 | 5.3 | 25.8 | 20/20 | Timeout | Timeout |
| SET805+4* | Timeout | Timeout | Timeout | 343.6 | Fail | Timeout | Timeout |
| SET806+4* | Timeout | Timeout | Timeout | 208.6 | Fail | Timeout | Timeout |
| SET808+4* | Timeout | Timeout | Timeout | Timeout | Fail | Timeout | Timeout |
| SET811+4* | Timeout | Timeout | Timeout | 207.1 | 24/46 | Timeout | Timeout |
| SET812+4* | Timeout | Timeout | Timeout | 104.1 | 17/38 | Timeout | Timeout |
| SET814+4* | Timeout | 2.9 | 4.1 | 10.9 | 1/1 | 0.2 | Timeout |
| SET815+4* | Timeout | Timeout | Timeout | Timeout | Fail | GaveUp | Timeout |
| SET816+4* | Timeout | Timeout | Timeout | Timeout | Fail | Timeout | Timeout |
| SET896+1* | 0 | 0 | 0.1 | 0 | 6/6 | 0 | 0 |
| SET899+1* | 0 | 0 | 0.1 | 0 | 6/6 | 0 | 0 |
| SET913+1* | 0 | 0 | 0.1 | 0 | 5/5 | 0 | 0 |
| SET915+1* | 0 | 0 | 0.1 | 0 | 5/5 | 0 | 0 |
| SET919+1* | Timeout | Timeout | Timeout | Timeout | 3/6 | 21.2 | Timeout |
| SET935+1* | 0.1 | 0.1 | 0.3 | 0.2 | 2/3 | 1.9 | Timeout |
| SET939+1* | 0 | 0 | 0.1 | 0 | 6/6 | 0 | 0 |
| SET942+1* | 0 | 0 | 0.1 | 5.9 | 5/5 | 0.1 | 6.3 |
| SET951+1* | 0.1 | Timeout | Timeout | 0 | 30/41 | Timeout | Timeout |
| SET966+1* | 0 | 0 | 0.1 | 0 | 6/6 | 0.1 | 0.1 |
| SET982+1* | 0.1 | 95.5 | 99.9 | 18.7 | Fail | Timeout | Timeout |
| SEU003+1* | 35.7 | 145.6 | 164.2 | 149.9 | 78/78 | GaveUp | Timeout |
| SEU009+1* | 0.2 | 0 | 0.1 | 0 | 10/10 | 5.9 | 69.1 |
| SEU014+1* | Timeout | Timeout | Timeout | 204.5 | Fail | Timeout | 26.1 |
| SEU075+1* | Timeout | Timeout | Timeout | 106.8 | Fail | GaveUp | Timeout |
| SEU086+1* | Timeout | Timeout | Timeout | Timeout | Fail | Timeout | 16.5 |
| SWC078+1 | Timeout | 95.7 | 118.2 | Timeout | Fail | Timeout | Timeout |
| SWC231+1 | 21.5 | 2.2 | 2.5 | 60 | Fail | Timeout | Timeout |
| SWC239+1 | 11.2 | 0.1 | 0.2 | 1.3 | 39/39 | 159.2 | Timeout |
| SWV011+1 | 0 | 0 | 0.1 | 0 | 5/5 | 0 | 20.5 |
| SWV014+1 | 0 | 0 | 0.1 | 0.1 | 1/1 | 0.7 | Timeout |
| SWV026+1 | 22 | Timeout | Timeout | Timeout | Fail | Timeout | Timeout |
| SWV030+1 | 20.1 | 0.1 | 0.2 | Timeout | 15/15 | 376.6 | Timeout |
| SWV033+1 | 54 | 5.4 | 8.7 | Timeout | Fail | Timeout | Timeout |
| SWV036+1 | 78.6 | Timeout | Timeout | Timeout | Fail!!! | Unknown | Timeout |
| SWV038+1 | 22.2 | Timeout | Timeout | Timeout | Fail!!! | Timeout | Timeout |
| SWV039+1 | 21.9 | Timeout | Timeout | Timeout | Fail | Timeout | Timeout |
| SWV041+1 | 0 | 0.1 | 0.2 | 0.1 | 2/3 | 2 | Timeout |
| SWV048+1 | 4.9 | 0.1 | 0.2 | 0.2 | 6/7 | 124.5 | Timeout |
| SWV050+1 | 4.9 | 0 | 0.1 | 0.2 | 159/159 | Timeout | Timeout |
| SWV053+1 | 62.5 | 13.4 | 17.9 | Timeout | Fail | Timeout | Timeout |
| SWV090+1 | Timeout | 2 | 3.6 | Timeout | Fail | Timeout | Timeout |
| SWV092+1 | 5.3 | 0.1 | 0.2 | 0.2 | 2/2 | 2.6 | Timeout |
| SWV094+1 | 21 | 12.7 | 15.9 | Timeout | Fail | Timeout | Timeout |
| SWV096+1 | 6.6 | 2 | 4.5 | 12.2 | 2/2 | 6.7 | Timeout |
| SWV098+1 | 6.5 | 0.1 | 0.2 | 0.5 | 8/8 | 64.2 | Timeout |
| SWV103+1 | Timeout | 2.4 | 3.9 | Timeout | Fail | Timeout | Timeout |
| SWV117+1 | 15.4 | Timeout | Timeout | Timeout | Fail | Timeout | Timeout |
| SWV161+1 | 17.3 | 0.1 | 0.2 | 129.6 | 4/5 | 3.4 | Timeout |
| SWV173+1 | 5.2 | 0 | 0.1 | 0.1 | 1/1 | 1.2 | 1.3 |
| SWV177+1 | 5.2 | 0 | 0.1 | 0 | 2/2 | 2.9 | Timeout |
| SWV200+1 | 6 | 0.4 | 0.9 | 0.3 | 6/6 | 1.5 | Timeout |
| SWV209+1 | 52.7 | 0.1 | 0.2 | 162.7 | 2/3 | 4.3 | Timeout |
| SWV233+1* | 130.1 | 0.2 | 0.3 | Timeout | Fail | Timeout | Timeout |
| SWV234+1* | Timeout | Timeout | Timeout | 255.6 | Fail | Timeout | Timeout |
| SWV234+2* | 0.8 | 0 | 0.2 | 49.4 | Fail | Timeout | Timeout |
| SWV235+1* | 0.2 | 0.2 | 0.3 | 4.2 | 1/1 | 1.6 | Timeout |
| SWV236+1* | 0.1 | 0 | 0.1 | 0.9 | 2/3 | 2 | Timeout |
| SWV237+1* | 0 | 0 | 0.1 | 12.4 | 5/5 | 0.9 | 3.8 |
| SYN081+1 | 0 | 0 | 0.1 | 0 | 6/6 | 0.1 | 0 |
| SYN084+1 | 0 | 0 | 0.1 | 0 | 1/2 | 0.1 | 0 |
| SYN364+1 | 0 | 0 | 0.1 | 0 | 6/6 | 0 | 0 |
| SYN365+1 | 0 | 0 | 0.1 | 0 | 7/7 | 0 | 0 |
| SYN728+1 | 0 | 0 | 0.1 | 0 | 5/5 | 0 | 0 |
| SYN730+1 | 0 | 0 | 0.1 | 0 | 7/7 | 0.1 | 0 |
| SYN938+1 | 0 | 2.1 | 3 | 0.1 | Fail!!! | Unknown | 2.6 |
| SYN939+1 | 0 | 0 | 0.1 | 0 | 8/8 | 0.1 | 0 |
| SYN940+1 | 0 | 0 | 0.1 | 0 | 8/8 | 0 | 0 |
| SYN941+1 | 0 | 0 | 0.1 | 0 | 7/7 | 0 | 0 |
| SYN943+1 | 0 | 0 | 0.1 | 0 | 5/5 | 0 | 0 |
| SYN980+1 | 0 | 0 | 0.1 | 0 | 7/7 | 0 | 0 |
| FOF | Vampire 8.1 | E.99 | EP.99 | Vampire 8.0 | Octopus Run 2 | Theo | Geo 2000i |
| Attempted | 150 | 150 | 150 | 150 | 150 | 150 | 150 |
| Solved | 128 | 112 | 112 | 109 | 108 | 94 | 73 |
| Solutions | 128 | 0 | 92 | 109 | 107 | 94 | 73 |
| New | 48 | 48 | 48 | 48 | 48 | 48 | 48 |
| New | 31 | 29 | 29 | 29 | 28 | 20 | 25 |
| CNF | Vampire 8.1 | Vampire 8.0 | E.99 | EP.99 | Octopus | Theo | Otter 3.3 | Darwin 1.3 |
| ANA002-1 | 3.3 | 2.3 | 19.2 | 29.8 | 3/7 | +231.90 | Timeout | Timeout |
| ANA003-2 | 161.8 | 23.2 | 10.1 | 13.1 | 4/10 | +228.30 | Timeout | Timeout |
| ANA004-5 | 7 | Timeout | Timeout | Timeout | 4/4 | +279.80 | Timeout | Timeout |
| ANA008-2* | 0 | 0 | 0 | 0.1 | 7/7 | +0.00 | 0 | 0 |
| ANA014-2* | 0 | 0 | 0 | 0.1 | Fail | Timeout | 12.7 | Timeout |
| ANA016-2* | 0 | 0 | 0 | 0.1 | 1/1 | +9.40 | 0 | Timeout |
| ANA017-2* | 0 | 0 | 0 | 0.1 | 3/3 | +20.40 | 0 | 4.3 |
| ANA030-2* | 0.2 | 0 | 0 | 0.1 | Fail | Timeout | 0.1 | Timeout |
| ANA040-2* | 0 | 0 | 0 | 0.1 | 3/3 | +0.00 | 0 | 0 |
| ANA044-2* | 0 | 0 | 0 | 0.1 | 5/5 | +0.20 | 0 | 0.1 |
| ANA045-2* | 0 | 0 | 0 | 0.1 | 4/4 | +0.10 | 0.1 | 0 |
| BOO020-1 | 11.4 | 1.2 | 9.9 | 19.8 | Fail | Timeout | Timeout | Timeout |
| COL003-10 | 40.5 | 11.4 | 25.2 | 29.7 | Fail | Timeout | Unknown | Timeout |
| COL003-2 | 0.8 | 1.4 | 0.4 | 0.8 | 51/93 | Timeout | Unknown | Timeout |
| COL042-3 | 39 | 6.9 | 5.7 | 9.9 | Fail | Timeout | GaveUp | Timeout |
| COL093-2 | Timeout | Timeout | 0.2 | 0.4 | 114/114 | Timeout | Timeout | Timeout |
| COL112-1* | 0.1 | 0.1 | 0.8 | 1.1 | 5/5 | +2.80 | 2.6 | 0.3 |
| COL119-1* | 0.1 | 0.1 | 0.9 | 1.1 | 5/5 | +2.90 | 4.3 | 0.3 |
| COM005-1 | 183.6 | 6.4 | 19.7 | 29.8 | Fail | Timeout | Timeout | Timeout |
| COM009-1* | 0.1 | 0.1 | 0.9 | 1.1 | 23/23 | +64.70 | 4.5 | Timeout |
| FLD013-1 | 2 | 2.5 | 22.8 | 29.8 | 4/4 | +1.20 | Timeout | 2.7 |
| FLD060-3 | 0.2 | 1 | Timeout | Timeout | 1/1 | +1.10 | Timeout | 29.5 |
| GEO006-1 | 1.2 | 0.2 | 0 | 0.1 | 4/4 | +14.30 | 271.2 | Timeout |
| GEO007-1 | 1.3 | 58.8 | 152.1 | 179.5 | 11/19 | +308.70 | Timeout | Timeout |
| GEO011-1 | 1.1 | 0.1 | 0.5 | 1.1 | 2/4 | +83.50 | Timeout | Timeout |
| GEO051-3 | 1.2 | 14.7 | 0.5 | 0.9 | 1/1 | +2.90 | 7.8 | Timeout |
| GEO076-4 | 0.1 | 11.9 | 0 | 0.1 | 8/12 | Timeout | Timeout | 0.2 |
| GEO083-1 | 0 | 7.5 | 25.8 | 29.2 | 1/1 | +0.50 | Timeout | Timeout |
| GEO089-1 | 66.4 | 1.8 | Timeout | Timeout | 36/37 | Timeout | Timeout | Timeout |
| GRP039-5 | 0.1 | 0.1 | 0 | 0.1 | 18/45 | +274.70 | Timeout | Timeout |
| GRP061-1 | 15.1 | 13.2 | 0.6 | 1.3 | Fail | Timeout | GaveUp | Timeout |
| GRP070-1 | 11.2 | 0.2 | 0 | 0.1 | Fail | Timeout | 1 | Timeout |
| GRP074-1 | 0.1 | 3.9 | 0.1 | 0.3 | Fail | Timeout | GaveUp | Timeout |
| GRP082-1 | 0.2 | 11.1 | 0.1 | 0.3 | Fail | Timeout | GaveUp | Timeout |
| GRP085-1 | 0 | 0.1 | 0.1 | 0.4 | Fail | Timeout | 0.1 | 1.1 |
| GRP086-1 | 0 | 0 | 0.1 | 0.2 | Fail | Timeout | 0.1 | 150.8 |
| GRP102-1 | 1.6 | 0.2 | 0 | 0.1 | Fail | Timeout | 2.5 | Timeout |
| GRP103-1 | 2.6 | 0.5 | 0.9 | 2.9 | Fail | Timeout | 8.4 | Timeout |
| GRP110-1 | 0 | 0.1 | 0.1 | 0.5 | Fail | Timeout | 17.7 | 109.4 |
| GRP311-1 | 1.1 | 2.9 | 2.1 | 2.7 | 249/249 | Timeout | Timeout | Timeout |
| HWV002-1 | 26 | 42.6 | 37.3 | 49.6 | Fail | Timeout | GaveUp | Timeout |
| HWV003-2 | 4.2 | 40 | 86.7 | 109.4 | Fail | Timeout | GaveUp | Timeout |
| HWV016-1 | 0 | 0.2 | 0.1 | 0.2 | 4/7 | +109.20 | Timeout | Timeout |
| LAT003-1 | Timeout | Timeout | 72.8 | 89.5 | Fail | Timeout | Timeout | Timeout |
| LAT005-4 | 21.8 | 12.2 | 1.2 | 3.5 | Fail | Timeout | 140.5 | Timeout |
| LAT198-1 | 55.5 | 332 | 3.8 | 9.4 | Fail | Timeout | Timeout | Timeout |
| LAT201-1 | Timeout | Timeout | 7 | 9.9 | Fail | Timeout | Timeout | Timeout |
| LAT209-1 | 22.6 | 31.4 | 3.3 | 8.6 | Fail | Timeout | GaveUp | Timeout |
| LAT219-1 | Timeout | Timeout | Timeout | Timeout | Fail | Timeout | Timeout | Timeout |
| LAT263-2* | 0 | 0 | 0 | 0.1 | 3/3 | +0.80 | 0 | 0.1 |
| LAT273-2* | 0 | 0 | 0 | 0.1 | 6/6 | +0.00 | 0 | 0 |
| LAT277-2* | 0 | 0 | 0 | 0.1 | 5/5 | +0.00 | 0 | 0 |
| LCL028-1 | 1 | 197.3 | Timeout | Timeout | Fail | Timeout | Timeout | Unknown |
| LCL109-4 | 25.8 | 33.5 | 6 | 9.8 | Fail | Timeout | Timeout | Timeout |
| LCL124-1 | 3.4 | 23.2 | 0.2 | 0.4 | Fail | Timeout | Timeout | Timeout |
| LCL125-1 | 99.7 | 68.1 | Timeout | Timeout | Fail | Timeout | 161.3 | Timeout |
| LCL145-1 | 0 | 0 | 0 | 0.1 | Fail | GaveUp | Timeout | Timeout |
| LCL151-1 | 169.2 | 89.5 | Timeout | Timeout | Fail | Timeout | Timeout | Timeout |
| LCL185-3 | 0 | 0 | 2 | 3.3 | 3/3 | +0.20 | 0.3 | 0.1 |
| LCL222-3 | 30.1 | 21.7 | 52 | 68.7 | Fail | Timeout | GaveUp | Timeout |
| LCL230-1 | 3.9 | 0.4 | 3 | 4.1 | 1/1 | +2.10 | GaveUp | Timeout |
| LCL237-3 | 0.1 | 0 | 0.4 | 0.8 | 6/6 | +86.10 | 1.5 | 79.8 |
| LCL249-1 | 1.7 | 14.6 | Timeout | Timeout | Fail | Timeout | GaveUp | Timeout |
| LCL253-1 | 27.5 | 125.1 | Timeout | Timeout | Fail | Timeout | GaveUp | Timeout |
| LCL423-1 | Timeout | Timeout | Timeout | Timeout | Fail | Timeout | GaveUp | Timeout |
| LCL434-2* | 0 | 0 | 0 | 0.1 | 4/4 | +0.10 | 0 | 0 |
| LCL439-1* | 26.9 | 23.8 | Timeout | Timeout | 30/30 | +18.00 | Timeout | Timeout |
| LCL442-2* | 0.1 | 0 | 0 | 0.1 | 7/7 | +0.30 | 14.6 | 0 |
| LCL444-2* | 80 | 47.4 | Timeout | Timeout | Fail | GaveUp | GaveUp | Timeout |
| MGT034-2 | 0.2 | 0 | 0.4 | 0.5 | 1/1 | +2.00 | 81.9 | Timeout |
| NLP080-1 | 0 | 0 | 0 | 0.1 | Fail!! | GaveUp | 0 | 0 |
| NUM010-1 | 74.4 | 9.7 | Timeout | Timeout | 18/37 | +125.30 | Timeout | Timeout |
| NUM017-1 | 76.2 | 21.4 | 10.9 | 14.2 | 1/1 | +88.30 | 47.2 | Timeout |
| NUM058-1 | 77.5 | 92.8 | Timeout | Timeout | Fail | Timeout | Timeout | Timeout |
| PLA010-1 | 0.2 | 0.1 | 0.1 | 0.2 | 47/47 | Timeout | Timeout | Timeout |
| PLA014-1 | 0.1 | 0 | 0 | 0.1 | 2/2 | +58.50 | Timeout | Timeout |
| PLA016-1 | 0.1 | 0 | 0 | 0.1 | 1/1 | Timeout | Timeout | 0.5 |
| PLA018-1 | 0.1 | 0 | 0 | 0.1 | 46/75 | Timeout | Timeout | Timeout |
| PUZ035-4 | 0 | 0 | 0 | 0.1 | 8/8 | +4.50 | 0 | 0 |
| RNG004-3 | 175.4 | 144.5 | 6.8 | 9.9 | 1/1 | +2.20 | 34.2 | Timeout |
| RNG027-2 | Timeout | 75.1 | Timeout | Timeout | Fail | Timeout | Timeout | Timeout |
| RNG029-3 | 0.7 | 2 | 6.7 | 9.9 | Fail | Timeout | Timeout | Timeout |
| SET013-1 | 1.2 | 0 | 0.6 | 0.9 | 3/3 | +125.50 | Timeout | 47.7 |
| SET016-3 | 0 | 47.8 | 0.2 | 0.4 | Fail | Timeout | Timeout | Timeout |
| SET018-3 | 0 | 4.9 | 126.6 | 156.6 | 63/95 | Timeout | Timeout | Timeout |
| SET018-4 | 0.1 | 56.1 | 118.6 | 139.4 | Fail | Timeout | Timeout | Timeout |
| SET022-3 | 0.8 | 0.4 | 8.9 | 13 | 2/2 | +1.30 | Timeout | Timeout |
| SET027-3 | 0 | 0.1 | 0.1 | 0.2 | 7/7 | +0.60 | 224 | 318.6 |
| SET028-3 | 35.6 | 124.9 | Timeout | Timeout | 15/22 | Timeout | Timeout | Timeout |
| SET035-3 | 117.9 | 113.8 | Timeout | Timeout | Fail | Timeout | Timeout | Timeout |
| SET208-6 | 3.4 | 18 | Timeout | Timeout | 19/23 | +214.10 | Timeout | Timeout |
| SET787-2 | Unknown | 101.4 | 0.1 | 0.2 | 16/16 | Timeout | Timeout | Timeout |
| SET820-2* | 0 | 0 | 0 | 0.1 | 7/7 | +0.10 | 0 | 0 |
| SET823-1* | 0.1 | 0.1 | 2.1 | 2.6 | 3/3 | +3.00 | Timeout | Timeout |
| SET827-1* | 0.1 | 0.1 | 1 | 1.2 | 5/5 | +1.20 | 2.5 | 0.2 |
| SET830-2* | 0.1 | 5.8 | 0 | 0.1 | 1/1 | +0.40 | Timeout | 2.8 |
| SET831-2* | 0.4 | 74.5 | 0.1 | 0.2 | 92/92 | Timeout | 0.4 | Timeout |
| SET834-1* | 62.1 | 243 | 9.1 | 10.5 | Fail | Timeout | Timeout | Timeout |
| SET834-2* | 0 | 3.2 | 0 | 0.1 | 1/1 | +0.70 | GaveUp | 2.8 |
| SET838-2* | 0 | 0 | 0 | 0.1 | 3/4 | +0.10 | 0 | 0 |
| SET841-1* | 0.1 | 5.2 | 0.9 | 1.1 | 5/7 | +159.80 | 3.3 | 16.6 |
| SET853-1* | 0.3 | 75.1 | Timeout | Timeout | 22/22 | Timeout | Timeout | Timeout |
| SET861-2* | 12.6 | 12.3 | Timeout | Timeout | Fail | Timeout | GaveUp | Timeout |
| SET863-2* | 0 | 0.2 | 0 | 0.1 | 1/1 | +0.10 | 4.2 | 0.1 |
| SWC169-1 | Timeout | Timeout | 299 | 307.4 | Fail | Timeout | Timeout | Timeout |
| SWC225-1 | 49.6 | 22.8 | 0.1 | 0.2 | Fail | Timeout | Timeout | Timeout |
| SWV014-1 | 6.7 | 0.1 | 0 | 0.1 | 1/1 | +0.90 | Timeout | Timeout |
| SWV239-1* | 14.9 | 88.6 | 2.3 | 2.7 | Fail | Timeout | Timeout | Timeout |
| SWV242-1* | 1.2 | 0.8 | 3.5 | 4.1 | 11/12 | +262.50 | Timeout | Timeout |
| SWV247-1* | 52.6 | 162 | Timeout | Timeout | Fail | Timeout | Timeout | Timeout |
| SWV248-2* | 1.2 | 0 | 0 | 0.1 | 1/1 | Timeout | GaveUp | 0.1 |
| SWV249-2* | 4 | 18.9 | Timeout | Timeout | Fail | Timeout | 1.2 | Timeout |
| SWV251-2* | 0 | 0 | 0.1 | 0.3 | 7/8 | +8.70 | 0.8 | Timeout |
| SWV264-1* | 0.1 | 0.1 | 0.6 | 0.7 | 5/5 | +6.20 | 3.8 | 0.2 |
| SWV274-2* | 0 | 0 | 0 | 0.1 | 3/4 | +0.20 | 7.9 | 0 |
| SWV275-2* | 1.2 | 2.9 | 2.3 | 3.6 | 2/2 | +0.30 | Timeout | 0 |
| SWV281-2* | 0 | 0 | 0 | 0.1 | 5/5 | +0.10 | Timeout | Timeout |
| SWV282-2* | 0 | 0.2 | 0.6 | 1.1 | 3/3 | Timeout | Timeout | Timeout |
| SWV291-2* | 0 | 0 | 0 | 0.1 | 7/7 | +0.10 | 0 | 0 |
| SWV302-1* | 1 | 0.4 | 1 | 1.2 | 5/5 | +14.20 | GaveUp | Timeout |
| SWV305-2* | 0 | 0 | 0 | 0.1 | 6/7 | +0.20 | 0 | Timeout |
| SWV319-2* | 0 | 0 | 0 | 0.1 | 1/2 | +0.50 | 0 | Timeout |
| SWV323-2* | 0.8 | 0 | 0 | 0.1 | 4/5 | +0.50 | 6.6 | 0.1 |
| SWV325-2* | 0 | 0 | 0 | 0.1 | 7/7 | +0.60 | 0 | 2 |
| SWV329-2* | 0 | 0 | 0 | 0.1 | 6/6 | +0.00 | 0 | 0 |
| SWV354-2* | 0 | 0 | 0 | 0.1 | Fail | Timeout | 9.3 | Timeout |
| SYN014-1 | 0 | 0 | 0 | 0.1 | 5/5 | Timeout | Timeout | 0 |
| SYN015-1 | 0 | 0.1 | 0 | 0.1 | Fail | Timeout | Timeout | 0 |
| SYN036-3 | 0 | 0 | 0 | 0.1 | 52/52 | Timeout | 0.1 | 0 |
| SYN067-3 | 0.8 | 8.1 | 4 | 6.1 | Fail | Timeout | Timeout | 0.1 |
| SYN600-1 | 25.2 | 5.4 | 6.5 | 9.6 | 1/1 | +0.50 | 4.9 | Timeout |
| SYN640-1 | 2 | 0.6 | Timeout | Timeout | 5/5 | +9.90 | 1.6 | Timeout |
| SYN707-1 | 25.6 | 3.6 | 0.1 | 0.1 | 6/6 | +2.20 | Timeout | Timeout |
| SYN708-1 | 25.6 | 3.5 | 1.5 | 1.9 | 1/1 | +2.80 | Timeout | Timeout |
| ANA022-1* | 211.1 | Timeout | Timeout | Timeout | Fail!!! | Unknown | GaveUp | Timeout |
| ANA037-1* | 6.7 | 41.2 | 180.1 | 182.9 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV243-1* | 1.1 | 1.6 | 6.2 | 6.7 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV254-1* | 1.4 | 2.4 | 6.9 | 7.4 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV256-1* | 0.8 | 0.9 | 0.6 | 0.8 | Fail!!! | Unknown | GaveUp | 3.6 |
| SWV267-1* | 1.4 | 15.9 | 7.2 | 7.8 | Fail!!! | Unknown | GaveUp | 3.5 |
| SWV270-1* | 1.6 | 36 | 6.3 | 6.6 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV273-1* | 1.3 | 4 | 6.3 | 6.9 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV315-1* | 2 | 36.3 | 7 | 7.5 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV317-1* | 1.4 | 3 | 6.7 | 7.3 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV341-1* | 1.4 | 18.6 | 8 | 8.5 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV342-1* | 84.7 | Timeout | 11.4 | 12.4 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV343-1* | 82.8 | Timeout | 12.5 | 13.1 | Fail!!! | Unknown | GaveUp | Timeout |
| SWV349-1* | 0.2 | 0.3 | 0.2 | 0.4 | Fail!!! | Unknown | 0.9 | 4.9 |
| SWV354-1* | Timeout | Timeout | 393 | Timeout | Fail!!! | Unknown | GaveUp | Timeout |
| SWV355-1* | 83.6 | Timeout | 8.9 | 9.5 | Fail!!! | Unknown | GaveUp | Timeout |
| CNF | Vampire 8.1 | Vampire 8.0 | E.99 | EP.99 | Octopus | Theo | Otter 3.3 | Darwin 1.3 |
| Attempted | 150 | 150 | 150 | 150 | 150 | 150 | 150 | 150 |
| Solved | 141 | 138 | 126 | 125 | 83 | 66 | 55 | 47 |
| Solutions | 141 | 138 | 0 | 103 | 83 | 66 | 55 | 0 |
| New Attempted | 65 | 65 | 65 | 65 | 65 | 65 | 65 | 64 |
| New Solved | 64 | 60 | 58 | 57 | 40 | 36 | 34 | 30 |