| Program | Exit Code | Execution Time | Line Count |
|---|---|---|---|
| 1993-ant | 134 | 2.133 | 0 |
| 1993-ejb | 0 | 0.330 | 252 |
| 1993-leo | 0 | 0.696 | 727 |
| 1993-plummer | 0 | 0.182 | 104 |
| 1993-schnitzi | 0 | 0.275 | 211 |
| 1994-dodsond1 | 0 | 0.462 | 490 |
| 1994-dodsond2 | 0 | 1.226 | 1361 |
| 1994-horton | 0 | 0.263 | 164 |
| 1994-imc | 0 | 0.943 | 996 |
| 1994-ldb | 0 | 0.204 | 93 |
| 1994-schnitzi | 0 | 0.223 | 137 |
| 1994-shapiro | 0 | 0.183 | 90 |
| 1995-cdua | 0 | 0.328 | 286 |
| 1995-dodsond1 | 0 | 0.277 | 274 |
| 1995-esde | 134 | 0.305 | 0 |
| 1995-garry | 0 | 0.266 | 262 |
| 1995-heathbar | 0 | 0.232 | 156 |
| 1995-makarios | 0 | 0.188 | 149 |
| 1995-savastio | 0 | 0.263 | 269 |
| 1995-schnitzi | 0 | 0.171 | 66 |
| 1995-spinellis | 0 | 0.200 | 115 |
| 1995-vanschnitz | 0 | 0.257 | 60 |
| 1996-dalbec | 0 | 0.230 | 139 |
| 1996-eldby | 134 | 0.273 | 0 |
| 1996-huffman | 0 | 0.377 | 243 |
| 1996-schweikh2 | 0 | 0.325 | 376 |
| 1996-schweikh3 | 0 | 0.249 | 177 |
| 1996-westley | 0 | 0.173 | 68 |
| abnormal | 0 | 0.112 | 38 |
| bkp2017-hiddensc | 0 | 1.170 | 322 |
| ceffectpp | 0 | 0.707 | 980 |
| conditionals | 0 | 0.229 | 169 |