| benchmark | AProVE | JamboxGoesOut | TrafO | TTT2 |
|---|---|---|---|---|
| tpdb-8.0/TRS/Mixed_outermost/afbg.xml | TIMEOUT 60478 | YES 9064 | TIMEOUT 60344 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Mixed_outermost/even.xml | TIMEOUT 60398 | TIMEOUT 60112 | TIMEOUT 60203 | NO 47 |
| tpdb-8.0/TRS/Mixed_outermost/ex1.xml | YES 2411 | YES 620 | YES 2228 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Mixed_outermost/ex2.xml | TIMEOUT 60200 | YES 785 | YES 4239 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Mixed_outermost/ex3.xml | TIMEOUT 60182 | YES 628 | YES 5703 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Mixed_outermost/ex4.xml | TIMEOUT 60160 | YES 362 | YES 1715 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Mixed_outermost/ex5.xml | YES 2052 | YES 423 | YES 1264 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Mixed_outermost/ex6.xml | TIMEOUT 60207 | YES 1302 | YES 2013 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Mixed_outermost/gfb.xml | TIMEOUT 61845 | YES 464 | YES 1730 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml | TIMEOUT 60164 | YES 996 | YES 1672 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml | TIMEOUT 60158 | YES 1294 | MAYBE 295 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml | TIMEOUT 60156 | TIMEOUT 60110 | MAYBE 300 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Mixed_outermost/odd.xml | TIMEOUT 60485 | YES 497 | YES 1867 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Mixed_outermost/patterns1.xml | TIMEOUT 60190 | YES 6814 | TIMEOUT 60218 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Mixed_outermost/patterns2.xml | TIMEOUT 60337 | YES 2391 | TIMEOUT 60247 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml | TIMEOUT 60238 | TIMEOUT 60110 | TIMEOUT 60242 | MAYBE 2691 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/003.xml | TIMEOUT 60502 | TIMEOUT 60215 | TIMEOUT 60259 | NO 393 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml | TIMEOUT 60207 | TIMEOUT 60248 | MAYBE 321 | NO 1819 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.06.xml | TIMEOUT 61067 | TIMEOUT 60167 | NO 33506 | NO 92 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.12a.xml | TIMEOUT 60326 | TIMEOUT 60220 | TIMEOUT 60281 | MAYBE 2691 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.13.xml | TIMEOUT 60210 | YES 1259 | MAYBE 321 | MAYBE 3216 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.14.xml | TIMEOUT 60351 | TIMEOUT 60264 | TIMEOUT 60276 | NO 50 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml | TIMEOUT 60405 | TIMEOUT 60216 | TIMEOUT 60353 | NO 374 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.16.xml | TIMEOUT 60247 | TIMEOUT 60117 | NO 17609 | NO 48 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.17.xml | TIMEOUT 60623 | TIMEOUT 60275 | TIMEOUT 60262 | NO 74 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml | TIMEOUT 60347 | TIMEOUT 60272 | TIMEOUT 60283 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.2.xml | TIMEOUT 60429 | TIMEOUT 60254 | TIMEOUT 60273 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.34.xml | TIMEOUT 60187 | TIMEOUT 60219 | TIMEOUT 60257 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.3.xml | TIMEOUT 60215 | TIMEOUT 60117 | MAYBE 300 | MAYBE 3229 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.40.xml | TIMEOUT 60874 | TIMEOUT 60260 | TIMEOUT 60480 | NO 30040 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.49.xml | TIMEOUT 60189 | TIMEOUT 60221 | NO 5921 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.4.xml | TIMEOUT 60259 | TIMEOUT 60118 | MAYBE 301 | NO 187 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.54.xml | TIMEOUT 60254 | TIMEOUT 60242 | TIMEOUT 60496 | TIMEOUT 60215 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.7.xml | TIMEOUT 60147 | TIMEOUT 60242 | TIMEOUT 60293 | NO 49 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml | TIMEOUT 60507 | TIMEOUT 60274 | TIMEOUT 60326 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml | TIMEOUT 60487 | TIMEOUT 60219 | TIMEOUT 60309 | MAYBE 2697 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml | MAYBE 899 | MAYBE 284 | MAYBE 308 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03.xml | TIMEOUT 60693 | TIMEOUT 60222 | TIMEOUT 60359 | NO 53 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml | MAYBE 905 | MAYBE 154 | MAYBE 298 | MAYBE 2698 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml | TIMEOUT 60294 | TIMEOUT 61068 | TIMEOUT 60245 | NO 49 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml | TIMEOUT 60510 | TIMEOUT 60269 | TIMEOUT 60348 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_L.xml | TIMEOUT 60186 | TIMEOUT 60121 | TIMEOUT 60234 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02.xml | TIMEOUT 60256 | TIMEOUT 60121 | TIMEOUT 60250 | NO 49 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml | TIMEOUT 60484 | TIMEOUT 60271 | TIMEOUT 60345 | NO 69 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml | TIMEOUT 60221 | TIMEOUT 60120 | MAYBE 302 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_GM.xml | TIMEOUT 60252 | YES 6201 | YES 9666 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml | NO 4606 | TIMEOUT 60114 | NO 3580 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_Z.xml | TIMEOUT 60236 | TIMEOUT 60115 | MAYBE 302 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml | NO 2710 | TIMEOUT 60110 | NO 2218 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98_L.xml | MAYBE 898 | MAYBE 154 | MAYBE 300 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98.xml | TIMEOUT 60488 | TIMEOUT 60193 | TIMEOUT 60312 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml | NO 2615 | TIMEOUT 60107 | NO 2265 | NO 49 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml | TIMEOUT 60229 | TIMEOUT 60117 | NO 10396 | NO 53 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a.xml | TIMEOUT 60539 | TIMEOUT 60980 | TIMEOUT 60354 | NO 49 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml | TIMEOUT 60274 | YES 1456 | YES 15434 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03_L.xml | MAYBE 889 | MAYBE 153 | MAYBE 301 | NO 49 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03.xml | TIMEOUT 60476 | TIMEOUT 60172 | TIMEOUT 60347 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03_Z.xml | TIMEOUT 60432 | TIMEOUT 60169 | TIMEOUT 60302 | NO 72 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_FR.xml | TIMEOUT 60385 | TIMEOUT 60123 | TIMEOUT 60310 | NO 4344 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml | TIMEOUT 60231 | YES 7014 | TIMEOUT 60283 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml | TIMEOUT 61124 | TIMEOUT 60259 | TIMEOUT 60456 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_L.xml | NO 2651 | TIMEOUT 60110 | NO 2431 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99.xml | TIMEOUT 60289 | TIMEOUT 60117 | TIMEOUT 60277 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_Z.xml | TIMEOUT 60365 | TIMEOUT 60122 | TIMEOUT 60290 | NO 4374 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b_L.xml | MAYBE 898 | MAYBE 158 | MAYBE 301 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b.xml | TIMEOUT 60457 | TIMEOUT 60262 | TIMEOUT 60297 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml | TIMEOUT 62149 | YES 2503 | YES 7259 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_L.xml | MAYBE 904 | MAYBE 156 | MAYBE 305 | MAYBE 2698 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml | TIMEOUT 60472 | TIMEOUT 60123 | TIMEOUT 60249 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml | NO 8497 | TIMEOUT 60114 | NO 9430 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_L.xml | NO 2848 | TIMEOUT 60112 | NO 2441 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97.xml | NO 4068 | TIMEOUT 60106 | NO 3150 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_Z.xml | NO 7660 | TIMEOUT 60113 | NO 9299 | NO 55 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_GM.xml | TIMEOUT 60254 | TIMEOUT 60174 | TIMEOUT 60306 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml | NO 2951 | TIMEOUT 60109 | NO 2725 | NO 50 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04.xml | TIMEOUT 60275 | YES 3356 | MAYBE 301 | MAYBE 2699 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_FR.xml | TIMEOUT 60305 | TIMEOUT 60193 | TIMEOUT 60288 | NO 13899 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_GM.xml | TIMEOUT 60244 | YES 1598 | YES 3332 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml | TIMEOUT 60421 | TIMEOUT 60251 | TIMEOUT 60282 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_L.xml | NO 2642 | TIMEOUT 60112 | NO 2262 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_Z.xml | TIMEOUT 60265 | TIMEOUT 60199 | TIMEOUT 60285 | NO 13824 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex26_Luc03b.xml | TIMEOUT 60461 | TIMEOUT 60697 | TIMEOUT 60399 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml | TIMEOUT 60482 | TIMEOUT 60211 | NO 16791 | NO 1040 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml | TIMEOUT 60518 | TIMEOUT 60221 | TIMEOUT 60307 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml | MAYBE 898 | MAYBE 161 | MAYBE 303 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a.xml | TIMEOUT 60420 | TIMEOUT 60119 | TIMEOUT 60285 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml | MAYBE 897 | MAYBE 155 | MAYBE 301 | NO 99 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97.xml | TIMEOUT 60796 | TIMEOUT 60887 | TIMEOUT 60336 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml | TIMEOUT 60704 | TIMEOUT 60218 | TIMEOUT 60314 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml | TIMEOUT 60341 | TIMEOUT 60122 | TIMEOUT 60295 | NO 422 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml | TIMEOUT 60246 | TIMEOUT 60275 | YES 2941 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b.xml | TIMEOUT 60227 | TIMEOUT 60121 | TIMEOUT 60401 | NO 53 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml | TIMEOUT 60235 | TIMEOUT 60273 | TIMEOUT 60303 | NO 4734 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_15_Bor03.xml | TIMEOUT 60739 | TIMEOUT 60116 | TIMEOUT 60238 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml | MAYBE 895 | MAYBE 161 | MAYBE 307 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml | TIMEOUT 60590 | TIMEOUT 60200 | TIMEOUT 60300 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml | MAYBE 902 | MAYBE 157 | MAYBE 305 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml | TIMEOUT 60275 | TIMEOUT 60119 | TIMEOUT 60239 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml | MAYBE 907 | MAYBE 155 | MAYBE 300 | MAYBE 3215 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml | TIMEOUT 60195 | TIMEOUT 60115 | TIMEOUT 60270 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex49_GM04_L.xml | MAYBE 906 | MAYBE 153 | MAYBE 302 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml | TIMEOUT 60561 | TIMEOUT 60198 | TIMEOUT 60296 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml | MAYBE 905 | MAYBE 155 | MAYBE 303 | NO 76 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml | TIMEOUT 60933 | TIMEOUT 60225 | TIMEOUT 60305 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97_L.xml | MAYBE 900 | MAYBE 158 | MAYBE 307 | NO 53 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97.xml | TIMEOUT 60534 | TIMEOUT 60218 | TIMEOUT 60307 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml | MAYBE 899 | MAYBE 156 | MAYBE 303 | NO 752 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97.xml | TIMEOUT 60544 | TIMEOUT 60218 | TIMEOUT 60293 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml | TIMEOUT 60496 | YES 42698 | TIMEOUT 60346 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml | MAYBE 906 | MAYBE 157 | MAYBE 308 | MAYBE 2702 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml | TIMEOUT 60560 | TIMEOUT 60230 | TIMEOUT 60295 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_Zan97_L.xml | MAYBE 909 | MAYBE 169 | MAYBE 311 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_Zan97.xml | TIMEOUT 60324 | YES 1007 | YES 4443 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml | MAYBE 908 | MAYBE 161 | MAYBE 306 | NO 64 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02.xml | TIMEOUT 60553 | TIMEOUT 60194 | TIMEOUT 60293 | NO 129 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml | TIMEOUT 61097 | TIMEOUT 60516 | TIMEOUT 60306 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml | MAYBE 907 | MAYBE 164 | MAYBE 321 | NO 55 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_9_Luc02c.xml | TIMEOUT 60490 | TIMEOUT 60170 | TIMEOUT 60277 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04_FR.xml | TIMEOUT 60281 | TIMEOUT 60130 | TIMEOUT 60295 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04.xml | TIMEOUT 60185 | TIMEOUT 60116 | TIMEOUT 60282 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04_Z.xml | TIMEOUT 60300 | TIMEOUT 60132 | TIMEOUT 60304 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml | TIMEOUT 60585 | TIMEOUT 60166 | TIMEOUT 60342 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ex6.xml | TIMEOUT 60235 | YES 1504 | YES 1921 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02_L.xml | MAYBE 906 | MAYBE 156 | MAYBE 305 | NO 55 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02.xml | TIMEOUT 60849 | TIMEOUT 60330 | TIMEOUT 60382 | NO 52 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02_L.xml | MAYBE 903 | MAYBE 156 | MAYBE 306 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02.xml | TIMEOUT 60519 | TIMEOUT 60232 | TIMEOUT 60393 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml | TIMEOUT 60393 | TIMEOUT 60194 | TIMEOUT 60296 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_FR.xml | TIMEOUT 60405 | TIMEOUT 60129 | TIMEOUT 60317 | NO 870 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_GM.xml | TIMEOUT 60230 | YES 6675 | TIMEOUT 60434 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_L.xml | TIMEOUT 60185 | TIMEOUT 60133 | NO 7944 | NO 55 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml | TIMEOUT 60362 | TIMEOUT 60139 | TIMEOUT 60309 | NO 885 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_FR.xml | TIMEOUT 60228 | TIMEOUT 60287 | MAYBE 308 | NO 64 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_L.xml | NO 2660 | TIMEOUT 60134 | NO 2269 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_Z.xml | TIMEOUT 60218 | TIMEOUT 60286 | MAYBE 310 | NO 65 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml | MAYBE 925 | MAYBE 167 | MAYBE 316 | NO 64 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03.xml | TIMEOUT 60510 | TIMEOUT 60660 | TIMEOUT 60297 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97.xml | TIMEOUT 60177 | TIMEOUT 60120 | TIMEOUT 60241 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97_Z.xml | TIMEOUT 60280 | TIMEOUT 60137 | TIMEOUT 60239 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml | TIMEOUT 60578 | YES 2988 | YES 10822 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_L.xml | MAYBE 901 | MAYBE 163 | MAYBE 313 | MAYBE 2701 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01.xml | TIMEOUT 61811 | TIMEOUT 60244 | TIMEOUT 60290 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml | TIMEOUT 60490 | TIMEOUT 60297 | YES 22836 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml | TIMEOUT 60565 | YES 3192 | YES 17575 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_L.xml | MAYBE 922 | MAYBE 168 | MAYBE 323 | NO 77 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml | TIMEOUT 61490 | TIMEOUT 60122 | TIMEOUT 60293 | NO 53 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml | TIMEOUT 61658 | TIMEOUT 60293 | YES 15178 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_L.xml | MAYBE 915 | MAYBE 173 | MAYBE 316 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99.xml | TIMEOUT 60566 | TIMEOUT 60196 | TIMEOUT 60310 | NO 54 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml | TIMEOUT 60735 | TIMEOUT 60244 | TIMEOUT 60322 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml | MAYBE 917 | MAYBE 166 | MAYBE 312 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97.xml | TIMEOUT 60566 | TIMEOUT 60222 | TIMEOUT 60427 | NO 73 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml | TIMEOUT 60573 | TIMEOUT 60250 | TIMEOUT 60363 | NO 90 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml | TIMEOUT 60532 | TIMEOUT 60221 | TIMEOUT 60322 | NO 70 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml | MAYBE 919 | MAYBE 188 | MAYBE 311 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/gkg.xml | TIMEOUT 60204 | TIMEOUT 60119 | MAYBE 317 | NO 50 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Hamming.xml | TIMEOUT 60405 | TIMEOUT 60166 | MAYBE 355 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno1.xml | TIMEOUT 60647 | TIMEOUT 60258 | TIMEOUT 60313 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno4.xml | TIMEOUT 60258 | TIMEOUT 60260 | TIMEOUT 60333 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno6.xml | TIMEOUT 60270 | TIMEOUT 60259 | TIMEOUT 60317 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml | TIMEOUT 60309 | TIMEOUT 60260 | TIMEOUT 60426 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml | MAYBE 921 | MAYBE 166 | MAYBE 313 | NO 72 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_FR.xml | TIMEOUT 60781 | TIMEOUT 60585 | TIMEOUT 60248 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 920 | MAYBE 186 | MAYBE 311 | NO 84 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml | TIMEOUT 61232 | TIMEOUT 60215 | TIMEOUT 60242 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml | TIMEOUT 61770 | TIMEOUT 60297 | TIMEOUT 60321 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml | MAYBE 913 | MAYBE 197 | MAYBE 329 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml | TIMEOUT 60829 | TIMEOUT 60244 | TIMEOUT 60322 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 921 | MAYBE 171 | MAYBE 318 | NO 67 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml | TIMEOUT 61482 | TIMEOUT 60244 | TIMEOUT 60320 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml | TIMEOUT 60559 | TIMEOUT 60295 | TIMEOUT 60347 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_FR.xml | TIMEOUT 62015 | TIMEOUT 60142 | TIMEOUT 60325 | NO 65 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml | TIMEOUT 60300 | YES 11552 | YES 8006 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60528 | TIMEOUT 60241 | TIMEOUT 60338 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml | MAYBE 915 | MAYBE 171 | MAYBE 335 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_FR.xml | TIMEOUT 60622 | TIMEOUT 60215 | TIMEOUT 60281 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml | TIMEOUT 60347 | YES 24870 | YES 14591 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml | MAYBE 912 | MAYBE 168 | MAYBE 312 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml | TIMEOUT 60699 | TIMEOUT 60214 | TIMEOUT 60349 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml | TIMEOUT 60534 | TIMEOUT 60138 | TIMEOUT 60302 | NO 64 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml | MAYBE 963 | MAYBE 218 | MAYBE 356 | NO 470 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml | MAYBE 963 | MAYBE 218 | MAYBE 377 | NO 4339 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml | MAYBE 915 | MAYBE 164 | MAYBE 310 | NO 95 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 960 | MAYBE 164 | MAYBE 307 | NO 599 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml | MAYBE 906 | MAYBE 165 | MAYBE 311 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 907 | MAYBE 166 | MAYBE 313 | NO 67 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/muladd.xml | TIMEOUT 60399 | TIMEOUT 60245 | TIMEOUT 60272 | NO 50 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete_L.xml | MAYBE 906 | MAYBE 164 | MAYBE 309 | NO 80 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml | MAYBE 911 | MAYBE 163 | MAYBE 312 | NO 202 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds_L.xml | MAYBE 908 | MAYBE 162 | MAYBE 312 | NO 65 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml | MAYBE 913 | MAYBE 162 | MAYBE 310 | NO 81 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts_L.xml | MAYBE 903 | MAYBE 164 | MAYBE 311 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml | MAYBE 908 | MAYBE 162 | MAYBE 311 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n001.xml | NO 6221 | TIMEOUT 60108 | NO 16107 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n002.xml | NO 2586 | TIMEOUT 60105 | NO 2327 | NO 48 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n003.xml | NO 2585 | TIMEOUT 60105 | NO 2252 | NO 48 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n004.xml | NO 3121 | TIMEOUT 60105 | NO 2345 | NO 47 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n005.xml | NO 3027 | TIMEOUT 60102 | NO 2496 | NO 48 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n006.xml | NO 3278 | TIMEOUT 60108 | NO 2608 | NO 49 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n007.xml | NO 3038 | TIMEOUT 60106 | NO 2143 | NO 48 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n008.xml | NO 3294 | TIMEOUT 60107 | NO 2397 | NO 48 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonTermF.xml | TIMEOUT 60206 | TIMEOUT 60193 | MAYBE 299 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonterm.xml | TIMEOUT 61062 | TIMEOUT 60269 | MAYBE 306 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete_L.xml | MAYBE 904 | MAYBE 162 | MAYBE 313 | NO 79 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml | MAYBE 965 | MAYBE 216 | MAYBE 310 | NO 148 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds_L.xml | MAYBE 902 | MAYBE 163 | MAYBE 310 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml | TIMEOUT 60641 | TIMEOUT 60918 | TIMEOUT 60250 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml | MAYBE 909 | MAYBE 186 | MAYBE 313 | NO 75 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml | TIMEOUT 60508 | TIMEOUT 60216 | TIMEOUT 60250 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml | TIMEOUT 60414 | TIMEOUT 60137 | TIMEOUT 60293 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml | TIMEOUT 60364 | TIMEOUT 60279 | YES 31661 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml | MAYBE 911 | MAYBE 191 | MAYBE 319 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml | TIMEOUT 60938 | TIMEOUT 60246 | TIMEOUT 60314 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml | TIMEOUT 61042 | TIMEOUT 60215 | YES 27075 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml | MAYBE 905 | MAYBE 254 | MAYBE 314 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml | TIMEOUT 60524 | TIMEOUT 60624 | TIMEOUT 60318 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml | TIMEOUT 60547 | TIMEOUT 60140 | TIMEOUT 60366 | NO 86 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_complete_L.xml | MAYBE 914 | MAYBE 167 | MAYBE 313 | NO 12360 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml | TIMEOUT 60993 | TIMEOUT 60299 | TIMEOUT 60225 | NO 134 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds_L.xml | MAYBE 915 | MAYBE 172 | MAYBE 312 | NO 173 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml | TIMEOUT 60553 | TIMEOUT 60267 | TIMEOUT 60320 | NO 64 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nosorts_L.xml | MAYBE 896 | MAYBE 180 | MAYBE 313 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete_L.xml | MAYBE 898 | MAYBE 164 | MAYBE 308 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete-noand_L.xml | MAYBE 905 | MAYBE 164 | MAYBE 308 | NO 78 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds_L.xml | MAYBE 915 | MAYBE 163 | MAYBE 309 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml | MAYBE 912 | MAYBE 163 | MAYBE 310 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts_L.xml | MAYBE 904 | MAYBE 162 | MAYBE 309 | NO 152 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml | MAYBE 919 | MAYBE 162 | MAYBE 308 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/round_nonterm.xml | TIMEOUT 60239 | TIMEOUT 60163 | MAYBE 292 | NO 44 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/termMonTypes.xml | TIMEOUT 60506 | TIMEOUT 60215 | TIMEOUT 60257 | NO 50 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test10.xml | TIMEOUT 60394 | TIMEOUT 60120 | MAYBE 317 | NO 51 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test75.xml | TIMEOUT 60335 | TIMEOUT 60224 | TIMEOUT 60281 | MAYBE 2695 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test76.xml | TIMEOUT 60521 | TIMEOUT 60223 | TIMEOUT 60353 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test77.xml | TIMEOUT 60416 | TIMEOUT 60987 | TIMEOUT 60305 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test9.xml | TIMEOUT 60428 | TIMEOUT 60219 | TIMEOUT 60244 | MAYBE 3257 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/thiemann28.xml | TIMEOUT 60307 | TIMEOUT 60222 | TIMEOUT 60309 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/toyama.xml | TIMEOUT 60353 | TIMEOUT 60222 | TIMEOUT 60262 | MAYBE 2695 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt1.xml | TIMEOUT 60416 | TIMEOUT 60216 | TIMEOUT 60302 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt2.xml | TIMEOUT 60171 | TIMEOUT 60275 | NO 9185 | NO 53 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/TypeEx3.xml | TIMEOUT 60535 | TIMEOUT 60180 | TIMEOUT 60300 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/TypeEx5.xml | TIMEOUT 60293 | TIMEOUT 60110 | NO 9724 | NO 45 |
| tpdb-8.0/TRS/Zantema_08/assoc_c_rhs.xml | TIMEOUT 60230 | YES 1169 | YES 3034 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Zantema_08/assoc_f_rhs.xml | TIMEOUT 60233 | YES 2738 | YES 4254 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Zantema_08/bintree.xml | YES 5018 | YES 633 | YES 2917 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add1.xml | TIMEOUT 60301 | YES 1570 | MAYBE 308 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add2a.xml | TIMEOUT 60198 | YES 486 | YES 575 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add2.xml | TIMEOUT 60184 | YES 474 | YES 989 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add3.xml | TIMEOUT 60299 | YES 526 | YES 58631 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml | TIMEOUT 60280 | YES 4585 | TIMEOUT 60299 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_1.xml | TIMEOUT 60194 | YES 1567 | MAYBE 308 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_2.xml | TIMEOUT 60347 | YES 1320 | MAYBE 309 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_3.xml | TIMEOUT 60275 | YES 1673 | MAYBE 308 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_4.xml | TIMEOUT 60234 | YES 479 | MAYBE 308 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_5.xml | TIMEOUT 60186 | YES 382 | MAYBE 310 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_6.xml | TIMEOUT 60210 | YES 1422 | MAYBE 308 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Zantema_08/countbin.xml | TIMEOUT 60240 | YES 1772 | TIMEOUT 60379 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Zantema_08/countter.xml | TIMEOUT 60227 | YES 1619 | TIMEOUT 60278 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Zantema_08/dupl_rhs.xml | TIMEOUT 60293 | YES 579 | YES 3373 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Zantema_08/ex0.xml | TIMEOUT 60249 | YES 1541 | YES 28551 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Zantema_08/ex1.xml | TIMEOUT 60270 | TIMEOUT 60257 | TIMEOUT 60314 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Zantema_08/ex2.xml | TIMEOUT 60189 | YES 1156 | MAYBE 310 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Zantema_08/ex3.xml | TIMEOUT 60229 | YES 909 | YES 4041 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Zantema_08/ex4.xml | TIMEOUT 60224 | YES 1577 | TIMEOUT 60246 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Zantema_08/ex5.xml | TIMEOUT 60238 | YES 691 | YES 2974 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Zantema_08/ex6.xml | TIMEOUT 60228 | YES 577 | TIMEOUT 60280 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_08/ex7.xml | TIMEOUT 60247 | YES 999 | TIMEOUT 60297 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_08/ex8.xml | YES 2141 | YES 472 | YES 601 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Zantema_08/ex9.xml | TIMEOUT 60213 | YES 1516 | YES 3205 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Zantema_08/f_2_1.xml | TIMEOUT 60191 | YES 733 | YES 4877 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Zantema_08/f_2_2.xml | TIMEOUT 60190 | YES 1006 | YES 5241 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Zantema_08/f_5_1.xml | TIMEOUT 60328 | YES 1983 | TIMEOUT 60273 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Zantema_08/f_5_2.xml | TIMEOUT 60317 | YES 4789 | TIMEOUT 60282 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Zantema_08/f_5.xml | YES 5291 | YES 693 | YES 2336 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Zantema_08/ffb_SL.xml | NO 3833 | TIMEOUT 60124 | NO 2922 | NO 57 |
| tpdb-8.0/TRS/Zantema_08/ffg.xml | TIMEOUT 60218 | YES 642 | YES 6786 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Zantema_08/fg.xml | TIMEOUT 60230 | YES 471 | YES 1208 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Zantema_08/from_one_a.xml | TIMEOUT 60262 | YES 590 | YES 23417 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Zantema_08/from_one.xml | TIMEOUT 60244 | YES 785 | YES 2221 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Zantema_08/from_three.xml | TIMEOUT 60261 | YES 1304 | YES 40958 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Zantema_08/g_2_const.xml | YES 2123 | YES 524 | YES 1829 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Zantema_08/g_2_f_var.xml | TIMEOUT 60198 | YES 576 | YES 2256 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Zantema_08/inn_out.xml | NO 4260 | TIMEOUT 60124 | NO 6207 | NO 57 |
| tpdb-8.0/TRS/Zantema_08/morse.xml | TIMEOUT 60235 | YES 5575 | TIMEOUT 60251 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Zantema_08/outermost_gr.xml | TIMEOUT 60168 | TIMEOUT 60132 | NO 3502 | NO 57 |
| tpdb-8.0/TRS/Zantema_08/toyama_out.xml | TIMEOUT 60333 | TIMEOUT 60311 | TIMEOUT 60279 | MAYBE 2703 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop2.xml | TIMEOUT 60552 | TIMEOUT 60238 | TIMEOUT 60322 | MAYBE 3215 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop.xml | TIMEOUT 60261 | YES 1204 | YES 6916 | MAYBE 3223 |
| tpdb-8.0/TRS/Zantema_08/yoyo_2.xml | TIMEOUT 60232 | YES 5006 | TIMEOUT 60361 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3a.xml | TIMEOUT 60268 | YES 37403 | TIMEOUT 60354 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3b.xml | TIMEOUT 60280 | YES 33420 | TIMEOUT 60360 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3.xml | TIMEOUT 60248 | YES 22443 | TIMEOUT 60323 | TIMEOUT 60129 | 27 | 72 | 77 | 158 |