| benchmark | CaT | matchbox-poly | TCT |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 55379 | n^1 - INF 50291 | TIMEOUT 60037 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 6481 | n^1 - n^2 50097 | n^0 - n^2 334 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 55515 | n^1 - INF 50482 | TIMEOUT 60131 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 467 | n^1 - n^1 196 | n^0 - n^1 55 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 55381 | n^2 - INF 50135 | TIMEOUT 60071 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 429 | n^1 - n^1 213 | n^0 - n^1 67 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 473 | n^1 - n^1 202 | n^0 - n^1 59 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 55491 | n^1 - INF 50433 | TIMEOUT 60110 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 462 | n^1 - n^1 835 | n^0 - n^1 43 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 428 | n^1 - n^2 50089 | n^0 - n^2 313 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^1 3186 | n^1 - n^2 50127 | n^0 - n^2 248 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 10331 | n^1 - INF 50983 | TIMEOUT 60033 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 55550 | n^1 - INF 51145 | TIMEOUT 60095 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^2 18421 | n^1 - INF 56537 | n^0 - n^3 43722 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | MAYBE 55606 | n^1 - INF 50804 | TIMEOUT 60131 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 55620 | n^1 - INF 51206 | TIMEOUT 60142 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^2 56049 | n^1 - INF 50170 | n^0 - n^3 7015 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^2 23500 | n^1 - n^2 50247 | n^0 - n^3 48873 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 55467 | n^1 - INF 50840 | TIMEOUT 60111 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 55369 | n^1 - INF 50436 | TIMEOUT 60063 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 55406 | n^1 - INF 50555 | TIMEOUT 60145 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 55462 | n^1 - INF 50462 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 27704 | n^1 - INF 50248 | TIMEOUT 60039 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 10738 | n^1 - INF 50269 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | n^0 - n^1 389 | n^1 - n^1 142 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | n^0 - n^1 2522 | n^1 - INF 56702 | TIMEOUT 60096 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 438 | n^1 - n^1 677 | n^0 - n^1 44 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 55471 | n^1 - INF 50335 | TIMEOUT 60129 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 55596 | n^1 - INF 51665 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 55382 | EXP - INF 88 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 55395 | n^2 - n^2 236 | n^0 - n^2 152 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 29264 | n^1 - INF 50597 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 51958 | n^1 - n^2 50125 | n^0 - n^2 91 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 523 | n^1 - n^1 730 | n^0 - n^1 63 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 10342 | INF - INF 54 | TIMEOUT 60033 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 10326 | n^1 - INF 51334 | TIMEOUT 60032 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 10324 | n^1 - INF 50078 | TIMEOUT 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 10328 | INF - INF 78 | TIMEOUT 60040 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 10332 | INF - INF 66 | TIMEOUT 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 24219 | TIMEOUT 60045 | TIMEOUT 60032 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 56070 | n^1 - INF 51623 | TIMEOUT 60331 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 5969 | n^1 - n^2 50074 | n^0 - n^2 100 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 55441 | n^1 - INF 51136 | TIMEOUT 60058 |
| tpdb-8.0/TRS/ICFP_2010/157388.xml | MAYBE 57137 | n^1 - INF 56559 | TIMEOUT 60326 |
| tpdb-8.0/TRS/ICFP_2010/214011.xml | MAYBE 56624 | n^1 - INF 52702 | TIMEOUT 60250 |
| tpdb-8.0/TRS/ICFP_2010/230780.xml | TIMEOUT 60208 | n^1 - INF 52296 | TIMEOUT 60276 |
| tpdb-8.0/TRS/ICFP_2010/230948.xml | TIMEOUT 60117 | n^1 - INF 52789 | TIMEOUT 60301 |
| tpdb-8.0/TRS/ICFP_2010/231604.xml | TIMEOUT 60195 | n^1 - INF 56023 | TIMEOUT 60290 |
| tpdb-8.0/TRS/ICFP_2010/247020.xml | TIMEOUT 60111 | n^1 - INF 55553 | TIMEOUT 60305 |
| tpdb-8.0/TRS/ICFP_2010/247254.xml | TIMEOUT 60107 | n^1 - INF 52303 | TIMEOUT 60271 |
| tpdb-8.0/TRS/ICFP_2010/247906.xml | TIMEOUT 60208 | n^1 - INF 51353 | TIMEOUT 60266 |
| tpdb-8.0/TRS/ICFP_2010/247992.xml | TIMEOUT 60130 | n^1 - INF 51454 | TIMEOUT 60305 |
| tpdb-8.0/TRS/ICFP_2010/25192.xml | n^0 - n^1 450 | n^1 - n^1 273 | n^0 - n^1 60 |
| tpdb-8.0/TRS/ICFP_2010/25731.xml | n^0 - n^1 626 | TIMEOUT 60043 | n^0 - n^1 67 |
| tpdb-8.0/TRS/ICFP_2010/26069.xml | n^0 - n^1 871 | n^1 - INF 50191 | n^0 - n^1 129 |
| tpdb-8.0/TRS/ICFP_2010/26186.xml | n^0 - n^1 1513 | TIMEOUT 60052 | n^0 - n^1 303 |
| tpdb-8.0/TRS/ICFP_2010/26226.xml | n^0 - n^1 1692 | TIMEOUT 60116 | n^0 - n^1 397 |
| tpdb-8.0/TRS/ICFP_2010/26683.xml | n^0 - n^1 2252 | n^1 - INF 51469 | n^0 - n^1 564 |
| tpdb-8.0/TRS/ICFP_2010/27131.xml | n^0 - n^1 2737 | n^1 - INF 50820 | n^0 - n^1 790 |
| tpdb-8.0/TRS/ICFP_2010/27235.xml | n^0 - n^1 3929 | n^1 - INF 52452 | n^0 - n^1 1280 |
| tpdb-8.0/TRS/ICFP_2010/28464.xml | n^0 - n^1 5411 | n^1 - INF 51427 | n^0 - n^1 1872 |
| tpdb-8.0/TRS/ICFP_2010/28838.xml | n^0 - n^1 6378 | TIMEOUT 60044 | n^0 - n^1 2298 |
| tpdb-8.0/TRS/ICFP_2010/40093.xml | n^0 - n^1 849 | n^1 - INF 50747 | n^0 - n^1 118 |
| tpdb-8.0/TRS/ICFP_2010/45757.xml | MAYBE 56861 | n^1 - INF 51268 | TIMEOUT 60224 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | MAYBE 55541 | n^1 - INF 51629 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | MAYBE 55452 | n^2 - INF 51652 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | MAYBE 55562 | n^2 - INF 50827 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | MAYBE 55385 | EXP - INF 80 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | MAYBE 55470 | n^2 - INF 50238 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | MAYBE 55382 | n^1 - INF 50433 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | n^0 - n^2 42044 | n^2 - n^2 1136 | n^0 - n^2 544 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | MAYBE 55926 | INF - INF 265 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | MAYBE 56140 | INF - INF 384 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 55568 | n^1 - INF 50230 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 6129 | n^1 - n^2 50114 | n^0 - n^2 106 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 400 | n^1 - n^1 170 | n^0 - n^1 59 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 8336 | n^1 - n^2 50093 | n^0 - n^2 184 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 6564 | n^1 - n^2 50139 | n^0 - n^2 215 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 423 | n^1 - INF 50367 | n^0 - n^1 47 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 481 | n^1 - n^1 127 | n^0 - n^1 76 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 403 | n^1 - n^1 158 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 55381 | EXP - INF 116 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 485 | n^1 - n^1 221 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 420 | n^1 - n^1 233 | n^0 - n^1 44 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 480 | n^1 - n^1 613 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | MAYBE 55466 | EXP - INF 215 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | MAYBE 55472 | n^2 - INF 50267 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | MAYBE 55431 | TIMEOUT 60043 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | MAYBE 55513 | EXP - INF 147 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | MAYBE 55392 | n^1 - INF 50551 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | MAYBE 55354 | n^1 - INF 59573 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | MAYBE 55356 | n^1 - INF 50323 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 1713 | n^1 - INF 50352 | n^0 - n^1 79 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | MAYBE 55443 | TIMEOUT 60042 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | n^0 - n^1 4560 | n^1 - INF 50387 | n^0 - n^2 1270 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | MAYBE 55528 | TIMEOUT 60040 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 10327 | n^1 - INF 50212 | TIMEOUT 60033 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | MAYBE 55352 | TIMEOUT 60077 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml | MAYBE 55444 | n^1 - INF 50301 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml | MAYBE 55806 | n^1 - INF 50628 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | MAYBE 55626 | n^1 - INF 50345 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | MAYBE 55631 | n^1 - INF 50905 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml | MAYBE 55576 | n^1 - INF 50364 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | MAYBE 55532 | n^1 - INF 51054 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml | MAYBE 55530 | n^1 - INF 51060 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | MAYBE 55385 | n^2 - INF 50170 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | MAYBE 55409 | n^1 - INF 50295 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | MAYBE 55390 | EXP - INF 2526 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 438 | n^1 - INF 50859 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 55378 | n^1 - INF 50423 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^3 55442 | TIMEOUT 60050 | n^0 - n^3 1814 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | MAYBE 55446 | TIMEOUT 60038 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | MAYBE 55447 | n^1 - INF 50152 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | MAYBE 55379 | n^1 - INF 50217 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | MAYBE 55459 | TIMEOUT 60040 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | MAYBE 55377 | TIMEOUT 60038 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | MAYBE 55402 | TIMEOUT 60039 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | MAYBE 55430 | TIMEOUT 60038 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 55391 | n^1 - INF 50212 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 11008 | EXP - INF 121 | TIMEOUT 60040 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | MAYBE 55398 | n^2 - INF 52347 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | MAYBE 55389 | EXP - INF 1491 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 55505 | n^1 - INF 50559 | TIMEOUT 60104 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^2 6616 | n^1 - n^2 50108 | n^0 - n^2 114 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^2 6241 | n^1 - n^2 50130 | n^0 - n^2 148 |
| tpdb-8.0/TRS/SK90/2.14.xml | MAYBE 42804 | n^1 - INF 50341 | TIMEOUT 60040 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^2 5988 | n^1 - n^1 363 | n^0 - n^2 91 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 940 | n^1 - n^1 258 | n^0 - n^1 74 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 511 | n^1 - n^1 640 | n^0 - n^1 57 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^2 8749 | n^1 - n^2 50165 | n^0 - n^2 344 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^3 56232 | n^1 - n^2 50220 | n^0 - n^3 6353 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 55377 | INF - INF 80 | TIMEOUT 60071 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 490 | n^1 - n^1 527 | n^0 - n^1 65 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^1 1611 | n^1 - n^1 652 | n^0 - n^1 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | NO 302 | INF - INF 80 | ERROR 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^1 2062 | n^1 - n^1 231 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 55612 | n^1 - INF 50538 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^2 6405 | n^1 - n^2 50148 | n^0 - n^2 174 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^1 578 | n^1 - n^1 243 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | NO 307 | INF - INF 100 | ERROR 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 55806 | n^1 - INF 51389 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | NO 304 | INF - INF 99 | ERROR 31 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 555 | n^1 - n^1 164 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^1 583 | n^1 - n^1 157 | n^0 - n^1 48 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | n^0 - n^2 10211 | n^2 - n^2 966 | n^0 - n^2 809 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^3 56482 | n^1 - n^2 50147 | n^0 - n^3 1354 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | NO 303 | INF - INF 76 | ERROR 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | NO 309 | INF - INF 130 | ERROR 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | NO 307 | INF - INF 98 | ERROR 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | MAYBE 55653 | n^1 - INF 50462 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | NO 304 | INF - INF 84 | ERROR 28 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 393 | n^1 - n^1 111 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 55345 | n^1 - n^2 50090 | n^0 - n^2 217 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 55858 | n^1 - INF 50925 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | NO 332 | INF - INF 343 | ERROR 81 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 55635 | TIMEOUT 60054 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | MAYBE 55815 | TIMEOUT 60047 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | NO 334 | INF - INF 198 | ERROR 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | NO 330 | INF - INF 340 | ERROR 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | NO 318 | INF - INF 149 | ERROR 48 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | NO 304 | INF - INF 94 | ERROR 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | MAYBE 24937 | n^1 - INF 54207 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | NO 310 | INF - INF 171 | ERROR 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | MAYBE 14513 | n^1 - INF 50578 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | NO 341 | INF - INF 121 | ERROR 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | MAYBE 55751 | TIMEOUT 60044 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | NO 327 | INF - INF 178 | ERROR 58 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 303 | INF - INF 91 | ERROR 28 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 8005 | n^1 - n^2 50173 | n^0 - n^2 230 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 17401 | n^1 - INF 50222 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 55422 | n^1 - INF 51424 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 7978 | n^1 - n^2 50179 | n^0 - n^2 234 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 1964 | n^1 - INF 50304 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 55383 | n^1 - INF 50723 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 55381 | n^1 - INF 51241 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | n^0 - n^1 4730 | n^1 - INF 52824 | n^0 - n^2 6203 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | MAYBE 55520 | EXP - INF 172 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | n^0 - n^2 55601 | n^2 - n^3 50214 | ERROR 2915 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | MAYBE 55353 | EXP - INF 87 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | MAYBE 10673 | EXP - INF 90 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | MAYBE 55348 | EXP - INF 66 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | MAYBE 53203 | n^1 - INF 51640 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | MAYBE 18005 | n^1 - INF 50195 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | MAYBE 55357 | EXP - INF 413 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | MAYBE 55353 | n^1 - INF 50191 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | MAYBE 55351 | n^1 - INF 50234 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | MAYBE 12809 | EXP - INF 78 | TIMEOUT 60039 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml | MAYBE 12028 | EXP - INF 79 | TIMEOUT 60040 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | MAYBE 11452 | EXP - INF 118 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml | MAYBE 22194 | EXP - INF 139 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml | MAYBE 10706 | EXP - INF 77 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml | MAYBE 10609 | n^1 - INF 50286 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml | MAYBE 55351 | EXP - INF 97 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | MAYBE 10632 | EXP - INF 107 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | MAYBE 10624 | EXP - INF 113 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml | MAYBE 10666 | EXP - INF 99 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml | MAYBE 26553 | n^1 - INF 50395 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml | MAYBE 18018 | n^1 - INF 50328 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml | MAYBE 10636 | n^2 - INF 50195 | TIMEOUT 60036 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml | MAYBE 55349 | EXP - INF 84 | TIMEOUT 60037 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml | MAYBE 22463 | n^2 - INF 50628 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml | MAYBE 26515 | EXP - INF 85 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml | MAYBE 55391 | n^1 - INF 50313 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml | MAYBE 10615 | n^1 - INF 50284 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | MAYBE 55355 | n^1 - INF 50351 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | MAYBE 55389 | n^1 - INF 56987 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml | MAYBE 55388 | n^1 - INF 50186 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml | MAYBE 10693 | n^2 - INF 56062 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml | MAYBE 14103 | n^2 - INF 50324 | TIMEOUT 60036 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml | MAYBE 55361 | n^1 - INF 50602 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml | MAYBE 55387 | n^2 - INF 50150 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml | MAYBE 55373 | TIMEOUT 60048 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml | MAYBE 13324 | n^2 - INF 50215 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml | MAYBE 55348 | EXP - INF 178 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml | MAYBE 55382 | n^1 - INF 50143 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml | MAYBE 55374 | TIMEOUT 60041 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | MAYBE 55383 | n^1 - INF 51844 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml | MAYBE 55386 | EXP - INF 135 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | MAYBE 17737 | n^2 - INF 50980 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml | MAYBE 14993 | n^2 - INF 50572 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml | MAYBE 26227 | n^1 - INF 50521 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml | MAYBE 10623 | n^1 - INF 50182 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml | MAYBE 17219 | n^1 - INF 50510 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml | MAYBE 10673 | EXP - INF 128 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | MAYBE 55498 | INF - INF 112 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | n^0 - n^1 491 | TIMEOUT 60046 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | MAYBE 55462 | INF - INF 106 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Zantema_04/z073.xml | MAYBE 55522 | n^2 - INF 50737 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | MAYBE 24453 | EXP - INF 82 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | MAYBE 55421 | EXP - INF 80 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Zantema_04/z079.xml | MAYBE 55549 | EXP - INF 112 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Zantema_04/z082.xml | MAYBE 55395 | EXP - INF 87 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | MAYBE 55462 | n^2 - INF 50247 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Zantema_04/z103.xml | MAYBE 55431 | EXP - INF 92 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Zantema_04/z105.xml | MAYBE 55386 | n^2 - INF 52628 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Zantema_04/z118.xml | MAYBE 55383 | n^1 - INF 50218 | n^0 - n^4 48069 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | MAYBE 55403 | n^2 - INF 50230 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Zantema_04/z125.xml | MAYBE 55439 | EXP - INF 109 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 55449 | n^1 - INF 50250 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 55511 | n^1 - INF 50978 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 55434 | n^1 - INF 53921 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 55431 | n^1 - INF 50377 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55492 | n^1 - INF 50817 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 55536 | n^1 - INF 51130 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55487 | n^1 - INF 51415 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 55432 | n^1 - INF 50954 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55535 | n^1 - INF 51030 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 11335 | n^1 - n^1 16507 | n^0 - n^2 1202 |
| tpdb-8.0/TRS/Zantema_06/01.xml | MAYBE 55355 | EXP - INF 118 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Zantema_06/02.xml | MAYBE 55415 | EXP - INF 175 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Zantema_06/03.xml | MAYBE 55462 | n^2 - INF 50837 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Zantema_06/04.xml | MAYBE 55390 | n^2 - INF 50150 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Zantema_06/05.xml | MAYBE 55460 | n^2 - INF 50140 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Zantema_06/07.xml | MAYBE 55355 | EXP - INF 81 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Zantema_06/08.xml | MAYBE 55355 | EXP - INF 83 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Zantema_06/15.xml | MAYBE 55548 | n^1 - INF 50729 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | MAYBE 55633 | n^2 - n^2 3450 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | MAYBE 55452 | n^2 - INF 50288 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | MAYBE 55384 | EXP - INF 70 | TIMEOUT 60101 | 196 | 139 | 180 |