| benchmark | AProVE | JamboxGoesOut | TrafO | TTT2 |
|---|---|---|---|---|
| tpdb-8.0/TRS/Mixed_outermost/afbg.xml | TIMEOUT 60428 | YES 8776 | TIMEOUT 60292 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Mixed_outermost/even.xml | TIMEOUT 60855 | TIMEOUT 60123 | TIMEOUT 60229 | NO 59 |
| tpdb-8.0/TRS/Mixed_outermost/ex1.xml | YES 2839 | YES 632 | YES 2224 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Mixed_outermost/ex2.xml | TIMEOUT 60332 | YES 797 | YES 4245 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Mixed_outermost/ex3.xml | TIMEOUT 60271 | YES 701 | YES 7270 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Mixed_outermost/ex4.xml | YES 3348 | YES 388 | YES 1811 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Mixed_outermost/ex5.xml | YES 2350 | YES 449 | YES 1271 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Mixed_outermost/ex6.xml | YES 16243 | YES 1317 | YES 1910 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Mixed_outermost/gfb.xml | TIMEOUT 60505 | YES 477 | YES 1681 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml | YES 2439 | YES 1012 | YES 1709 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin2.xml | TIMEOUT 60231 | YES 1314 | MAYBE 308 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Mixed_outermost/non-lin3.xml | TIMEOUT 60267 | TIMEOUT 60133 | MAYBE 307 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Mixed_outermost/odd.xml | TIMEOUT 60701 | YES 522 | YES 1891 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Mixed_outermost/patterns1.xml | TIMEOUT 60422 | YES 6730 | TIMEOUT 60295 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Mixed_outermost/patterns2.xml | TIMEOUT 60454 | YES 2455 | TIMEOUT 60262 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml | TIMEOUT 60403 | TIMEOUT 60124 | TIMEOUT 60278 | MAYBE 3267 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/003.xml | TIMEOUT 60561 | TIMEOUT 60227 | TIMEOUT 60266 | NO 411 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml | NO 10710 | TIMEOUT 60252 | MAYBE 309 | NO 1820 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.06.xml | NO 10656 | TIMEOUT 60180 | NO 37031 | NO 99 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.12a.xml | TIMEOUT 60462 | TIMEOUT 60225 | TIMEOUT 60303 | MAYBE 2704 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.13.xml | YES 22323 | YES 1174 | MAYBE 313 | MAYBE 2707 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.14.xml | TIMEOUT 60531 | TIMEOUT 60270 | TIMEOUT 60323 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml | TIMEOUT 60449 | TIMEOUT 60228 | TIMEOUT 60311 | NO 391 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.16.xml | NO 5817 | TIMEOUT 60124 | NO 18313 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.17.xml | TIMEOUT 60421 | TIMEOUT 60273 | TIMEOUT 60268 | NO 88 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml | TIMEOUT 60394 | TIMEOUT 60261 | TIMEOUT 60294 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.2.xml | TIMEOUT 60522 | TIMEOUT 60244 | TIMEOUT 60292 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.34.xml | TIMEOUT 60302 | TIMEOUT 60250 | TIMEOUT 60264 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.3.xml | TIMEOUT 60222 | TIMEOUT 60125 | MAYBE 310 | MAYBE 3233 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.40.xml | NO 24166 | TIMEOUT 60229 | TIMEOUT 60315 | NO 30349 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.49.xml | NO 4937 | TIMEOUT 60224 | NO 5299 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.4.xml | TIMEOUT 60254 | TIMEOUT 60124 | MAYBE 306 | NO 192 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/4.54.xml | TIMEOUT 60374 | TIMEOUT 60261 | TIMEOUT 60308 | TIMEOUT 60231 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/#4.7.xml | TIMEOUT 60592 | TIMEOUT 60276 | TIMEOUT 60306 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml | TIMEOUT 60863 | TIMEOUT 60219 | TIMEOUT 60367 | NO 64 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml | TIMEOUT 60465 | TIMEOUT 60248 | TIMEOUT 60548 | MAYBE 2712 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml | MAYBE 900 | MAYBE 302 | MAYBE 308 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03.xml | TIMEOUT 60768 | TIMEOUT 60225 | TIMEOUT 60308 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml | MAYBE 907 | MAYBE 162 | MAYBE 309 | MAYBE 2720 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml | TIMEOUT 60427 | TIMEOUT 60849 | TIMEOUT 60262 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml | TIMEOUT 60416 | TIMEOUT 60284 | TIMEOUT 60341 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_L.xml | TIMEOUT 60252 | TIMEOUT 60122 | TIMEOUT 60230 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02.xml | TIMEOUT 60354 | TIMEOUT 60123 | TIMEOUT 60261 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml | TIMEOUT 60369 | TIMEOUT 60284 | TIMEOUT 60345 | NO 78 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml | TIMEOUT 60245 | TIMEOUT 60134 | MAYBE 317 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_GM.xml | TIMEOUT 60493 | YES 6372 | YES 10541 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml | NO 5649 | TIMEOUT 60124 | NO 3526 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_Z.xml | TIMEOUT 60274 | TIMEOUT 60134 | MAYBE 312 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml | NO 2699 | TIMEOUT 60123 | NO 2269 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98_L.xml | MAYBE 919 | MAYBE 161 | MAYBE 308 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98.xml | TIMEOUT 60492 | TIMEOUT 60198 | TIMEOUT 60347 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml | NO 2818 | TIMEOUT 60124 | NO 2316 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml | NO 5485 | TIMEOUT 60129 | NO 10152 | NO 291 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a.xml | TIMEOUT 60422 | TIMEOUT 60281 | TIMEOUT 60315 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml | TIMEOUT 60384 | YES 1415 | YES 15725 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03_L.xml | MAYBE 902 | MAYBE 160 | MAYBE 309 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03.xml | TIMEOUT 60440 | TIMEOUT 60188 | TIMEOUT 60347 | NO 66 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM03_Z.xml | TIMEOUT 61274 | TIMEOUT 60174 | TIMEOUT 60320 | NO 80 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_FR.xml | TIMEOUT 60603 | TIMEOUT 60125 | TIMEOUT 60429 | NO 4333 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml | TIMEOUT 60296 | YES 7243 | TIMEOUT 60256 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml | TIMEOUT 60655 | TIMEOUT 61706 | TIMEOUT 60302 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_L.xml | NO 2923 | TIMEOUT 60123 | NO 2382 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99.xml | NO 6863 | TIMEOUT 60122 | TIMEOUT 60267 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_Z.xml | TIMEOUT 61090 | TIMEOUT 60127 | TIMEOUT 60284 | NO 4384 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b_L.xml | MAYBE 906 | MAYBE 166 | MAYBE 309 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc02b.xml | TIMEOUT 60687 | TIMEOUT 60220 | TIMEOUT 60354 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml | YES 47663 | YES 2458 | YES 6677 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_L.xml | MAYBE 908 | MAYBE 161 | MAYBE 311 | MAYBE 3272 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml | TIMEOUT 60405 | TIMEOUT 60123 | TIMEOUT 60255 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml | MAYBE 10357 | TIMEOUT 60124 | NO 9752 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_L.xml | NO 3086 | TIMEOUT 60122 | NO 2524 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97.xml | NO 6798 | TIMEOUT 60134 | NO 3094 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_Z.xml | MAYBE 10492 | TIMEOUT 60125 | NO 9606 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_GM.xml | TIMEOUT 60309 | TIMEOUT 60184 | TIMEOUT 60277 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml | NO 3708 | TIMEOUT 60125 | NO 2543 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04.xml | TIMEOUT 60211 | YES 3369 | MAYBE 317 | MAYBE 2719 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_FR.xml | TIMEOUT 60453 | TIMEOUT 60124 | TIMEOUT 60291 | NO 13868 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_GM.xml | YES 5000 | YES 1648 | YES 3276 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml | TIMEOUT 60533 | TIMEOUT 60280 | TIMEOUT 60342 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_L.xml | NO 2874 | TIMEOUT 60121 | NO 2320 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_Z.xml | TIMEOUT 60524 | TIMEOUT 60127 | TIMEOUT 60291 | NO 13808 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex26_Luc03b.xml | TIMEOUT 60434 | TIMEOUT 61316 | TIMEOUT 60398 | NO 66 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml | NO 11423 | TIMEOUT 60230 | NO 16200 | NO 1042 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml | TIMEOUT 60440 | TIMEOUT 60221 | TIMEOUT 60410 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml | MAYBE 899 | MAYBE 169 | MAYBE 317 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a.xml | TIMEOUT 60329 | TIMEOUT 60126 | TIMEOUT 60353 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml | MAYBE 912 | MAYBE 161 | MAYBE 310 | NO 104 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_2_Luc97.xml | TIMEOUT 60454 | TIMEOUT 60307 | TIMEOUT 60339 | NO 65 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml | TIMEOUT 60480 | TIMEOUT 60226 | TIMEOUT 60326 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml | TIMEOUT 60363 | TIMEOUT 60123 | TIMEOUT 60345 | NO 434 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml | TIMEOUT 60358 | TIMEOUT 60283 | YES 3194 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b.xml | TIMEOUT 60356 | TIMEOUT 60122 | TIMEOUT 60290 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml | TIMEOUT 60365 | TIMEOUT 60272 | TIMEOUT 60336 | NO 4666 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_15_Bor03.xml | TIMEOUT 60365 | TIMEOUT 60128 | TIMEOUT 60272 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml | MAYBE 918 | MAYBE 167 | MAYBE 315 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml | TIMEOUT 60496 | TIMEOUT 60199 | TIMEOUT 60394 | NO 65 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml | MAYBE 917 | MAYBE 162 | MAYBE 315 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml | TIMEOUT 60451 | TIMEOUT 60123 | TIMEOUT 60255 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml | MAYBE 910 | MAYBE 163 | MAYBE 310 | MAYBE 3218 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml | TIMEOUT 60351 | TIMEOUT 60125 | TIMEOUT 60302 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex49_GM04_L.xml | MAYBE 913 | MAYBE 164 | MAYBE 313 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml | TIMEOUT 60456 | TIMEOUT 60207 | TIMEOUT 60313 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml | MAYBE 905 | MAYBE 162 | MAYBE 330 | NO 84 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml | TIMEOUT 60394 | TIMEOUT 60208 | TIMEOUT 60314 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97_L.xml | MAYBE 911 | MAYBE 161 | MAYBE 312 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_Zan97.xml | TIMEOUT 60430 | TIMEOUT 60248 | TIMEOUT 60311 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml | MAYBE 905 | MAYBE 162 | MAYBE 311 | NO 762 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97.xml | TIMEOUT 60558 | TIMEOUT 60222 | TIMEOUT 60356 | NO 68 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml | TIMEOUT 60975 | YES 42232 | TIMEOUT 60315 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml | MAYBE 913 | MAYBE 162 | MAYBE 323 | MAYBE 3224 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml | TIMEOUT 60405 | TIMEOUT 60239 | TIMEOUT 60308 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_Zan97_L.xml | MAYBE 913 | MAYBE 173 | MAYBE 312 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_Zan97.xml | TIMEOUT 60470 | YES 1014 | YES 4273 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml | MAYBE 914 | MAYBE 163 | MAYBE 313 | NO 70 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02.xml | TIMEOUT 62484 | TIMEOUT 60199 | TIMEOUT 60316 | NO 134 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml | TIMEOUT 60475 | TIMEOUT 60212 | TIMEOUT 60304 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml | MAYBE 917 | MAYBE 168 | MAYBE 314 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_9_Luc02c.xml | TIMEOUT 60436 | TIMEOUT 60256 | TIMEOUT 60247 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04_FR.xml | TIMEOUT 60351 | TIMEOUT 60129 | TIMEOUT 60293 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04.xml | TIMEOUT 60311 | TIMEOUT 60124 | TIMEOUT 60305 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04_Z.xml | TIMEOUT 60322 | TIMEOUT 60128 | TIMEOUT 60306 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml | TIMEOUT 60341 | TIMEOUT 60177 | TIMEOUT 60304 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ex6.xml | YES 16225 | YES 1455 | YES 1973 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02_L.xml | MAYBE 913 | MAYBE 163 | MAYBE 311 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02.xml | TIMEOUT 60684 | TIMEOUT 60226 | TIMEOUT 60315 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02_L.xml | MAYBE 910 | MAYBE 163 | MAYBE 321 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02.xml | TIMEOUT 60369 | TIMEOUT 60227 | TIMEOUT 60314 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml | TIMEOUT 60428 | TIMEOUT 60194 | TIMEOUT 60327 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_FR.xml | TIMEOUT 60411 | TIMEOUT 60131 | TIMEOUT 60287 | NO 883 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_GM.xml | TIMEOUT 60386 | YES 6302 | TIMEOUT 60434 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_L.xml | NO 3654 | TIMEOUT 60130 | NO 8923 | NO 62 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml | TIMEOUT 60372 | TIMEOUT 60129 | TIMEOUT 60291 | NO 865 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_FR.xml | TIMEOUT 60276 | TIMEOUT 60281 | MAYBE 313 | NO 66 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_L.xml | NO 2774 | TIMEOUT 60132 | NO 2259 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_Z.xml | TIMEOUT 60273 | TIMEOUT 60293 | MAYBE 315 | NO 71 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml | MAYBE 916 | MAYBE 171 | MAYBE 313 | NO 67 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExAppendixB_AEL03.xml | TIMEOUT 60667 | TIMEOUT 60919 | TIMEOUT 60312 | NO 67 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97.xml | TIMEOUT 60234 | TIMEOUT 60124 | TIMEOUT 60231 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExConc_Zan97_Z.xml | TIMEOUT 60287 | TIMEOUT 60137 | TIMEOUT 60226 | NO 64 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml | TIMEOUT 60347 | YES 2981 | YES 10906 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_L.xml | MAYBE 910 | MAYBE 164 | MAYBE 316 | MAYBE 2713 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01.xml | TIMEOUT 60411 | TIMEOUT 60278 | TIMEOUT 60302 | NO 60 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml | TIMEOUT 60559 | TIMEOUT 60245 | YES 23814 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml | TIMEOUT 60397 | YES 3246 | YES 18303 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_L.xml | MAYBE 909 | MAYBE 167 | MAYBE 314 | NO 77 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml | TIMEOUT 60396 | TIMEOUT 60126 | TIMEOUT 60302 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml | TIMEOUT 60546 | TIMEOUT 60347 | YES 15014 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_L.xml | MAYBE 906 | MAYBE 173 | MAYBE 317 | NO 65 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99.xml | TIMEOUT 60493 | TIMEOUT 60204 | TIMEOUT 60321 | NO 66 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml | TIMEOUT 60514 | TIMEOUT 60253 | TIMEOUT 60309 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml | MAYBE 923 | MAYBE 170 | MAYBE 319 | NO 67 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97.xml | TIMEOUT 60479 | TIMEOUT 60226 | TIMEOUT 60522 | NO 79 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml | TIMEOUT 60427 | TIMEOUT 60284 | TIMEOUT 60360 | NO 92 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml | TIMEOUT 60416 | TIMEOUT 60211 | TIMEOUT 60322 | NO 74 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml | MAYBE 922 | MAYBE 209 | MAYBE 315 | NO 68 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/gkg.xml | NO 6669 | TIMEOUT 60123 | MAYBE 311 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/Hamming.xml | TIMEOUT 60347 | TIMEOUT 60181 | MAYBE 366 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno1.xml | TIMEOUT 60374 | TIMEOUT 60245 | TIMEOUT 60308 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno4.xml | TIMEOUT 60314 | TIMEOUT 60301 | TIMEOUT 60317 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno6.xml | TIMEOUT 60362 | TIMEOUT 60289 | TIMEOUT 60321 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml | TIMEOUT 60381 | TIMEOUT 60271 | TIMEOUT 60337 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml | MAYBE 918 | MAYBE 170 | MAYBE 314 | NO 74 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_FR.xml | TIMEOUT 60514 | TIMEOUT 60225 | TIMEOUT 60251 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 922 | MAYBE 192 | MAYBE 316 | NO 92 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml | TIMEOUT 60639 | TIMEOUT 60223 | TIMEOUT 60241 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml | TIMEOUT 60479 | TIMEOUT 60300 | TIMEOUT 60465 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml | MAYBE 914 | MAYBE 198 | MAYBE 317 | NO 66 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml | TIMEOUT 60902 | TIMEOUT 60367 | TIMEOUT 60336 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 912 | MAYBE 180 | MAYBE 320 | NO 70 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml | TIMEOUT 60933 | TIMEOUT 60245 | TIMEOUT 60321 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml | TIMEOUT 60650 | TIMEOUT 60300 | TIMEOUT 60375 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_FR.xml | TIMEOUT 60395 | TIMEOUT 60135 | TIMEOUT 60362 | NO 67 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml | YES 46126 | YES 11529 | YES 8202 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60569 | TIMEOUT 60280 | TIMEOUT 60337 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml | MAYBE 922 | MAYBE 171 | MAYBE 317 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_FR.xml | TIMEOUT 61123 | TIMEOUT 60217 | TIMEOUT 60279 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml | TIMEOUT 60380 | YES 26493 | YES 14741 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml | MAYBE 913 | MAYBE 169 | MAYBE 319 | NO 66 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml | TIMEOUT 60629 | TIMEOUT 60254 | TIMEOUT 60276 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml | TIMEOUT 60422 | TIMEOUT 60139 | TIMEOUT 60326 | NO 69 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml | MAYBE 969 | MAYBE 225 | MAYBE 370 | NO 473 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml | MAYBE 971 | MAYBE 235 | MAYBE 392 | NO 4358 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml | MAYBE 918 | MAYBE 170 | MAYBE 321 | NO 103 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 965 | MAYBE 173 | MAYBE 321 | NO 611 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml | MAYBE 913 | MAYBE 171 | MAYBE 321 | NO 69 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 913 | MAYBE 172 | MAYBE 323 | NO 72 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/muladd.xml | TIMEOUT 60563 | TIMEOUT 60247 | TIMEOUT 60260 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete_L.xml | MAYBE 918 | MAYBE 171 | MAYBE 322 | NO 89 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml | MAYBE 922 | MAYBE 172 | MAYBE 321 | NO 211 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds_L.xml | MAYBE 921 | MAYBE 170 | MAYBE 319 | NO 70 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml | MAYBE 926 | MAYBE 170 | MAYBE 318 | NO 90 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts_L.xml | MAYBE 915 | MAYBE 171 | MAYBE 321 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml | MAYBE 913 | MAYBE 171 | MAYBE 322 | NO 68 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n001.xml | NO 14807 | TIMEOUT 60122 | NO 16626 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n002.xml | NO 2702 | TIMEOUT 60126 | NO 2446 | NO 57 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n003.xml | NO 2804 | TIMEOUT 60122 | NO 2384 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n004.xml | NO 4194 | TIMEOUT 60123 | NO 2308 | NO 55 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n005.xml | NO 3206 | TIMEOUT 60125 | NO 2449 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n006.xml | NO 3545 | TIMEOUT 60123 | NO 2675 | NO 56 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n007.xml | NO 3090 | TIMEOUT 60123 | NO 2216 | NO 58 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/n008.xml | NO 4429 | TIMEOUT 60123 | NO 2411 | NO 55 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonTermF.xml | NO 10120 | TIMEOUT 60208 | MAYBE 311 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/nonterm.xml | TIMEOUT 60442 | TIMEOUT 60277 | MAYBE 313 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete_L.xml | MAYBE 904 | MAYBE 171 | MAYBE 319 | NO 86 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml | MAYBE 973 | MAYBE 225 | MAYBE 319 | NO 158 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds_L.xml | MAYBE 929 | MAYBE 171 | MAYBE 321 | NO 71 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml | TIMEOUT 60523 | TIMEOUT 61123 | TIMEOUT 60267 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml | MAYBE 921 | MAYBE 172 | MAYBE 321 | NO 82 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml | TIMEOUT 60787 | TIMEOUT 62202 | TIMEOUT 60262 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml | TIMEOUT 60405 | TIMEOUT 60149 | TIMEOUT 60293 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml | TIMEOUT 60514 | TIMEOUT 60248 | YES 31913 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml | MAYBE 918 | MAYBE 180 | MAYBE 321 | NO 68 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml | TIMEOUT 60426 | TIMEOUT 60428 | TIMEOUT 60322 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml | TIMEOUT 60530 | TIMEOUT 60354 | YES 27517 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml | MAYBE 927 | MAYBE 173 | MAYBE 321 | NO 69 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml | TIMEOUT 60402 | TIMEOUT 60260 | TIMEOUT 60344 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml | TIMEOUT 60565 | TIMEOUT 60139 | TIMEOUT 60397 | NO 93 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_complete_L.xml | MAYBE 934 | MAYBE 175 | MAYBE 319 | NO 12134 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml | TIMEOUT 60482 | TIMEOUT 60244 | TIMEOUT 60239 | NO 137 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds_L.xml | MAYBE 918 | MAYBE 181 | MAYBE 322 | NO 177 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml | TIMEOUT 60427 | TIMEOUT 60319 | TIMEOUT 60482 | NO 72 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nosorts_L.xml | MAYBE 917 | MAYBE 184 | MAYBE 323 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete_L.xml | MAYBE 907 | MAYBE 178 | MAYBE 317 | NO 70 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete-noand_L.xml | MAYBE 919 | MAYBE 170 | MAYBE 320 | NO 83 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds_L.xml | MAYBE 911 | MAYBE 169 | MAYBE 322 | NO 68 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml | MAYBE 914 | MAYBE 168 | MAYBE 322 | NO 67 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts_L.xml | MAYBE 910 | MAYBE 169 | MAYBE 339 | NO 159 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml | MAYBE 913 | MAYBE 169 | MAYBE 322 | NO 65 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/round_nonterm.xml | NO 11030 | TIMEOUT 60250 | MAYBE 308 | NO 61 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/termMonTypes.xml | NO 15335 | TIMEOUT 60242 | TIMEOUT 60280 | NO 63 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test10.xml | NO 10271 | TIMEOUT 60125 | MAYBE 311 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test75.xml | TIMEOUT 60374 | TIMEOUT 60223 | TIMEOUT 60282 | MAYBE 3219 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test76.xml | TIMEOUT 60442 | TIMEOUT 60266 | TIMEOUT 60413 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test77.xml | TIMEOUT 60416 | TIMEOUT 60240 | TIMEOUT 60384 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/test9.xml | TIMEOUT 60474 | TIMEOUT 60224 | TIMEOUT 60295 | MAYBE 2707 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/thiemann28.xml | TIMEOUT 62425 | TIMEOUT 60235 | TIMEOUT 60315 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/toyama.xml | NO 10537 | TIMEOUT 60250 | TIMEOUT 60263 | MAYBE 2710 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt1.xml | TIMEOUT 60455 | TIMEOUT 60230 | TIMEOUT 60307 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/ttt2.xml | NO 5293 | TIMEOUT 60278 | NO 8946 | NO 59 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/TypeEx3.xml | TIMEOUT 60518 | TIMEOUT 60216 | TIMEOUT 60318 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_outermost_added_08/TypeEx5.xml | NO 6500 | TIMEOUT 60122 | NO 9830 | NO 56 |
| tpdb-8.0/TRS/Zantema_08/assoc_c_rhs.xml | YES 4832 | YES 1177 | YES 3148 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Zantema_08/assoc_f_rhs.xml | YES 6417 | YES 2588 | YES 4541 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Zantema_08/bintree.xml | YES 3158 | YES 640 | YES 2928 | TIMEOUT 60386 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add1.xml | TIMEOUT 60233 | YES 1522 | MAYBE 318 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add2a.xml | YES 3009 | YES 545 | YES 583 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add2.xml | YES 2973 | YES 437 | YES 1037 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Zantema_08/cariboo_add3.xml | TIMEOUT 60403 | YES 528 | TIMEOUT 60361 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml | TIMEOUT 60308 | YES 5074 | TIMEOUT 60287 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_1.xml | TIMEOUT 60241 | YES 1523 | MAYBE 319 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_2.xml | TIMEOUT 60271 | YES 1387 | MAYBE 318 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_3.xml | TIMEOUT 60219 | YES 1696 | MAYBE 314 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_4.xml | TIMEOUT 60293 | YES 437 | MAYBE 328 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_5.xml | YES 2950 | YES 388 | MAYBE 318 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Zantema_08/cariboo_nl_6.xml | YES 36200 | YES 1378 | MAYBE 314 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Zantema_08/countbin.xml | TIMEOUT 60415 | YES 1846 | TIMEOUT 60347 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Zantema_08/countter.xml | TIMEOUT 60838 | YES 1625 | TIMEOUT 60308 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Zantema_08/dupl_rhs.xml | TIMEOUT 60415 | YES 586 | YES 3643 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Zantema_08/ex0.xml | TIMEOUT 60281 | YES 1534 | YES 28491 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Zantema_08/ex1.xml | TIMEOUT 60676 | TIMEOUT 60268 | TIMEOUT 60340 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Zantema_08/ex2.xml | TIMEOUT 60210 | YES 1060 | MAYBE 312 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Zantema_08/ex3.xml | TIMEOUT 60447 | YES 958 | YES 3963 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Zantema_08/ex4.xml | TIMEOUT 60299 | YES 1522 | TIMEOUT 60265 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Zantema_08/ex5.xml | YES 3426 | YES 741 | YES 3367 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Zantema_08/ex6.xml | TIMEOUT 60340 | YES 599 | TIMEOUT 60398 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Zantema_08/ex7.xml | TIMEOUT 60316 | YES 1001 | TIMEOUT 60306 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Zantema_08/ex8.xml | YES 2410 | YES 484 | YES 617 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Zantema_08/ex9.xml | YES 4303 | YES 1533 | YES 3195 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Zantema_08/f_2_1.xml | YES 5002 | YES 739 | YES 5071 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Zantema_08/f_2_2.xml | YES 6375 | YES 1105 | YES 5024 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Zantema_08/f_5_1.xml | TIMEOUT 60985 | YES 2095 | TIMEOUT 60293 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Zantema_08/f_5_2.xml | TIMEOUT 60348 | YES 4708 | TIMEOUT 60299 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Zantema_08/f_5.xml | YES 5527 | YES 704 | YES 2418 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Zantema_08/ffb_SL.xml | NO 4224 | TIMEOUT 60137 | NO 2864 | NO 65 |
| tpdb-8.0/TRS/Zantema_08/ffg.xml | YES 32767 | YES 636 | YES 6583 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Zantema_08/fg.xml | YES 2796 | YES 485 | YES 1227 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Zantema_08/from_one_a.xml | TIMEOUT 60352 | YES 596 | YES 24127 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Zantema_08/from_one.xml | TIMEOUT 60399 | YES 807 | YES 2459 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Zantema_08/from_three.xml | TIMEOUT 60393 | YES 1366 | YES 40652 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Zantema_08/g_2_const.xml | YES 2313 | YES 503 | YES 1797 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Zantema_08/g_2_f_var.xml | YES 2796 | YES 599 | YES 2185 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Zantema_08/inn_out.xml | NO 7610 | TIMEOUT 60139 | NO 6282 | NO 64 |
| tpdb-8.0/TRS/Zantema_08/morse.xml | TIMEOUT 60360 | YES 5424 | TIMEOUT 60254 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Zantema_08/outermost_gr.xml | NO 4093 | TIMEOUT 60132 | NO 3229 | NO 66 |
| tpdb-8.0/TRS/Zantema_08/toyama_out.xml | TIMEOUT 60544 | TIMEOUT 60234 | TIMEOUT 60263 | MAYBE 3228 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop2.xml | TIMEOUT 60564 | TIMEOUT 60908 | TIMEOUT 60328 | MAYBE 3225 |
| tpdb-8.0/TRS/Zantema_08/toyama_stop.xml | TIMEOUT 60438 | YES 1215 | YES 6607 | MAYBE 2708 |
| tpdb-8.0/TRS/Zantema_08/yoyo_2.xml | TIMEOUT 60446 | YES 4908 | TIMEOUT 60384 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3a.xml | TIMEOUT 60542 | YES 38251 | TIMEOUT 60405 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3b.xml | TIMEOUT 60476 | YES 37652 | TIMEOUT 60365 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Zantema_08/yoyo_3.xml | TIMEOUT 60677 | YES 18182 | TIMEOUT 60366 | TIMEOUT 60141 | 64 | 72 | 76 | 158 |