| benchmark | CaT | CaTCert | TcT | TcT-certify |
|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 6455 | n^0 - n^2 3606 | n^0 - n^2 23447 | n^0 - n^2 511 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 55501 | MAYBE 17701 | MAYBE 59171 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 55451 | MAYBE 16908 | MAYBE 59129 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 413 | n^0 - n^2 6721 | n^0 - n^1 13898 | n^0 - n^2 580 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^2 55371 | n^0 - n^2 3522 | n^0 - n^2 59066 | n^0 - n^2 260 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 473 | n^0 - n^2 13021 | n^0 - n^1 2457 | n^0 - n^2 731 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 55491 | MAYBE 60041 | n^0 - n^2 59116 | MAYBE 60032 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 458 | MAYBE 14434 | n^0 - n^1 24467 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 430 | n^0 - n^2 9914 | n^0 - n^2 59128 | n^0 - n^2 778 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 10333 | MAYBE 5497 | MAYBE 38377 | MAYBE 60033 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 55526 | MAYBE 60044 | MAYBE 59088 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^2 56050 | n^0 - n^4 25665 | MAYBE 59099 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | MAYBE 55674 | MAYBE 60049 | MAYBE 59151 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 55615 | MAYBE 60047 | MAYBE 59173 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^2 56211 | MAYBE 60042 | n^0 - n^3 59130 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^2 22964 | n^0 - n^3 33478 | MAYBE 59314 | n^0 - n^3 59216 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 55509 | MAYBE 60045 | MAYBE 59127 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 55361 | MAYBE 24074 | MAYBE 59962 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 55395 | MAYBE 33924 | MAYBE 59282 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 55460 | MAYBE 23017 | MAYBE 59124 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 22632 | MAYBE 7160 | MAYBE 59075 | MAYBE 60033 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 12961 | MAYBE 7967 | MAYBE 59066 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | n^0 - n^1 394 | n^0 - n^1 411 | n^0 - n^1 4553 | n^0 - n^1 147 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | n^0 - n^1 2139 | MAYBE 7759 | MAYBE 59045 | MAYBE 60033 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 435 | MAYBE 10376 | n^0 - n^1 17213 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 55437 | MAYBE 60044 | MAYBE 59159 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 55603 | MAYBE 60042 | MAYBE 59206 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 55373 | MAYBE 8135 | MAYBE 47774 | MAYBE 60033 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 55386 | n^0 - n^2 6612 | n^0 - n^2 59061 | n^0 - n^2 376 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 32031 | MAYBE 5726 | MAYBE 59138 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 47544 | n^0 - n^2 6572 | n^0 - n^2 14991 | n^0 - n^2 196 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 513 | n^0 - n^4 10922 | n^0 - n^1 22233 | n^0 - n^3 3018 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 10329 | MAYBE 5332 | MAYBE 10334 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 10324 | MAYBE 5343 | MAYBE 10037 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 10327 | MAYBE 5328 | MAYBE 10044 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 10327 | MAYBE 5354 | MAYBE 10520 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 10330 | MAYBE 5357 | MAYBE 11362 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 26196 | MAYBE 5751 | MAYBE 60034 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 56033 | MAYBE 60050 | MAYBE 59213 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 6043 | n^0 - n^2 6582 | n^0 - n^2 17623 | n^0 - n^2 221 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 55428 | MAYBE 5867 | MAYBE 59136 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/158152.xml | MAYBE 56743 | MAYBE 60080 | MAYBE 59717 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212117.xml | MAYBE 56225 | MAYBE 60084 | MAYBE 59645 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/214011.xml | MAYBE 56973 | MAYBE 60074 | MAYBE 59625 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/230948.xml | MAYBE 60188 | MAYBE 60127 | MAYBE 60033 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/231230.xml | MAYBE 60112 | MAYBE 60090 | MAYBE 60288 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231300.xml | MAYBE 60201 | MAYBE 60113 | MAYBE 59509 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231378.xml | MAYBE 60166 | MAYBE 60100 | MAYBE 60213 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/231480.xml | MAYBE 60142 | MAYBE 60062 | MAYBE 60118 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/247504.xml | MAYBE 60211 | MAYBE 60119 | MAYBE 60116 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26226.xml | n^0 - n^1 1680 | MAYBE 60046 | n^0 - n^1 59480 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/26291.xml | n^0 - n^1 1898 | MAYBE 60054 | n^0 - n^1 59478 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/28643.xml | n^0 - n^1 5974 | MAYBE 60060 | n^0 - n^1 59579 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | MAYBE 55536 | MAYBE 60043 | MAYBE 59170 | MAYBE 60032 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | MAYBE 55435 | MAYBE 60036 | MAYBE 59063 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | MAYBE 55499 | MAYBE 60040 | MAYBE 59087 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | MAYBE 55390 | MAYBE 7424 | MAYBE 59111 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | MAYBE 55437 | MAYBE 60038 | MAYBE 59226 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | MAYBE 55381 | MAYBE 28066 | MAYBE 59081 | MAYBE 60028 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | n^0 - n^2 43378 | n^0 - n^2 16613 | n^0 - n^2 59178 | n^0 - n^2 1556 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | MAYBE 55896 | MAYBE 60058 | MAYBE 59192 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | MAYBE 56113 | MAYBE 60055 | MAYBE 59347 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 55529 | MAYBE 60046 | MAYBE 59129 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 6102 | n^0 - n^2 3511 | n^0 - n^2 17157 | n^0 - n^2 258 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 397 | n^0 - n^1 416 | n^0 - n^1 5202 | n^0 - n^1 131 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 6803 | n^0 - n^2 6760 | n^0 - n^2 17877 | n^0 - n^2 497 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 6473 | n^0 - n^2 3715 | n^0 - n^2 19611 | n^0 - n^2 529 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 433 | MAYBE 60038 | n^0 - n^1 25935 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 481 | n^0 - n^1 495 | n^0 - n^1 7240 | n^0 - n^1 131 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 430 | n^0 - n^2 3525 | n^0 - n^1 9974 | n^0 - n^2 161 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 55423 | MAYBE 7329 | MAYBE 59075 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 486 | n^0 - n^2 6680 | n^0 - n^1 13544 | n^0 - n^2 265 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 411 | n^0 - n^2 12918 | n^0 - n^1 1006 | n^0 - n^2 692 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 481 | n^0 - n^2 3515 | n^0 - n^1 10367 | n^0 - n^2 265 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | MAYBE 55459 | MAYBE 7506 | MAYBE 59213 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | MAYBE 55467 | MAYBE 18672 | MAYBE 59110 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | MAYBE 55427 | MAYBE 48327 | MAYBE 59147 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | MAYBE 55382 | MAYBE 43972 | MAYBE 59128 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | MAYBE 55360 | MAYBE 11631 | MAYBE 59093 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | MAYBE 55351 | MAYBE 5864 | MAYBE 59064 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 1871 | n^0 - n^3 32856 | n^0 - n^1 59261 | n^0 - n^3 16346 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | MAYBE 55448 | MAYBE 19401 | MAYBE 59118 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | n^0 - n^1 5274 | n^0 - n^2 16797 | n^0 - n^1 54064 | n^0 - n^2 1365 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 10330 | MAYBE 5745 | MAYBE 45746 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/10.xml | MAYBE 55380 | MAYBE 25922 | MAYBE 59602 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | MAYBE 55445 | MAYBE 60036 | MAYBE 59156 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | MAYBE 55430 | MAYBE 36771 | MAYBE 59146 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | MAYBE 55396 | MAYBE 14536 | MAYBE 59162 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | MAYBE 55611 | MAYBE 23594 | MAYBE 59309 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | MAYBE 55649 | MAYBE 14056 | MAYBE 59373 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml | MAYBE 55716 | MAYBE 10999 | MAYBE 59415 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | MAYBE 55630 | MAYBE 12551 | MAYBE 60249 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | MAYBE 55406 | MAYBE 10648 | MAYBE 59056 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 430 | MAYBE 36912 | n^0 - n^1 59090 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 55371 | MAYBE 14029 | MAYBE 59133 | MAYBE 60033 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^3 55446 | n^0 - n^3 16459 | n^0 - n^3 59098 | n^0 - n^3 3441 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | MAYBE 55385 | MAYBE 7791 | MAYBE 59195 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | MAYBE 55381 | MAYBE 9093 | MAYBE 59513 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | MAYBE 55441 | MAYBE 60038 | MAYBE 59134 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | MAYBE 55418 | MAYBE 60037 | MAYBE 59203 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 55412 | MAYBE 8974 | MAYBE 59148 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | MAYBE 55376 | MAYBE 20475 | MAYBE 59232 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 10839 | MAYBE 5640 | MAYBE 59785 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | MAYBE 25739 | MAYBE 5704 | MAYBE 48582 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | MAYBE 55386 | MAYBE 9004 | MAYBE 59560 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 55457 | MAYBE 31256 | MAYBE 59227 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^2 6210 | n^0 - n^2 3677 | n^0 - n^2 14596 | n^0 - n^2 333 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^2 6004 | n^0 - n^2 3493 | n^0 - n^2 10660 | n^0 - n^2 166 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 410 | n^0 - n^1 513 | n^0 - n^1 9580 | n^0 - n^1 219 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^2 55347 | n^0 - n^2 6596 | n^0 - n^2 59056 | n^0 - n^2 166 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^2 6151 | n^0 - n^2 6660 | n^0 - n^2 22471 | n^0 - n^2 359 |
| tpdb-8.0/TRS/SK90/4.26.xml | MAYBE 10337 | MAYBE 15443 | n^0 - n^10 59062 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^2 7101 | n^0 - n^2 6725 | n^0 - n^2 59106 | n^0 - n^2 650 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^2 6906 | n^0 - n^2 6706 | n^0 - n^2 59076 | n^0 - n^2 402 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^1 418 | n^0 - n^1 426 | n^0 - n^1 10111 | n^0 - n^1 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | MAYBE 305 | MAYBE 279 | MAYBE 34 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | n^0 - n^3 56115 | n^0 - n^4 44146 | n^0 - n^3 59134 | n^0 - n^3 18282 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^1 586 | n^0 - n^1 351 | n^0 - n^1 10753 | n^0 - n^1 138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | MAYBE 320 | MAYBE 285 | MAYBE 39 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | MAYBE 10334 | MAYBE 8946 | MAYBE 48425 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 502 | n^0 - n^1 587 | n^0 - n^1 1020 | n^0 - n^1 223 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 52230 | n^0 - n^2 13145 | n^0 - n^2 32301 | n^0 - n^2 933 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | n^0 - n^2 14162 | MAYBE 18957 | n^0 - n^2 59115 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^1 419 | MAYBE 6246 | n^0 - n^1 33774 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | MAYBE 324 | MAYBE 297 | MAYBE 55 | MAYBE 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 315 | MAYBE 286 | MAYBE 44 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 329 | MAYBE 303 | MAYBE 48 | MAYBE 51 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | MAYBE 31041 | MAYBE 17334 | MAYBE 59118 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | n^0 - n^2 10680 | n^0 - n^2 6503 | n^0 - n^2 30229 | n^0 - n^2 8419 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | MAYBE 55717 | MAYBE 60047 | MAYBE 59209 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | MAYBE 15468 | MAYBE 10358 | MAYBE 59073 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | MAYBE 320 | MAYBE 291 | MAYBE 50 | MAYBE 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^2 6017 | n^0 - n^2 3649 | n^0 - n^2 18879 | n^0 - n^2 285 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | MAYBE 305 | MAYBE 275 | MAYBE 34 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 8092 | n^0 - n^2 9911 | n^0 - n^2 24947 | n^0 - n^2 972 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 15590 | MAYBE 5893 | MAYBE 59149 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 55400 | MAYBE 8727 | n^0 - n^3 59124 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 7888 | n^0 - n^2 3696 | n^0 - n^2 19806 | n^0 - n^2 456 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 1952 | MAYBE 29470 | MAYBE 59100 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 55383 | MAYBE 6199 | MAYBE 59288 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 55381 | MAYBE 6157 | MAYBE 59110 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | n^0 - n^1 4108 | MAYBE 60037 | MAYBE 59160 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | MAYBE 55499 | MAYBE 60041 | MAYBE 59132 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | n^0 - n^2 55522 | n^0 - n^4 59259 | n^0 - n^3 59468 | n^0 - n^3 13748 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | MAYBE 55351 | MAYBE 15067 | MAYBE 59142 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | MAYBE 55385 | MAYBE 12443 | MAYBE 59138 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | MAYBE 10669 | MAYBE 5626 | MAYBE 59201 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml | MAYBE 55350 | MAYBE 8534 | MAYBE 59053 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | MAYBE 55382 | MAYBE 6353 | MAYBE 59105 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | MAYBE 15639 | MAYBE 5584 | MAYBE 39572 | MAYBE 60033 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | MAYBE 55351 | MAYBE 8011 | MAYBE 59099 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | MAYBE 55351 | MAYBE 7861 | MAYBE 59047 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml | MAYBE 12324 | MAYBE 5620 | MAYBE 60150 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml | MAYBE 17080 | MAYBE 5618 | MAYBE 59348 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml | MAYBE 10695 | MAYBE 5981 | MAYBE 60123 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml | MAYBE 10589 | MAYBE 5509 | MAYBE 49362 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml | MAYBE 10665 | MAYBE 5588 | MAYBE 59207 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml | MAYBE 18606 | MAYBE 5911 | MAYBE 59103 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml | MAYBE 55353 | MAYBE 7853 | MAYBE 59294 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml | MAYBE 19194 | MAYBE 5571 | MAYBE 59135 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml | MAYBE 17458 | MAYBE 5639 | MAYBE 59133 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml | MAYBE 55382 | MAYBE 36704 | MAYBE 59139 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml | MAYBE 55376 | MAYBE 8095 | MAYBE 59089 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | MAYBE 55344 | MAYBE 8405 | MAYBE 59512 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | MAYBE 55383 | MAYBE 10628 | MAYBE 59183 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml | MAYBE 31376 | MAYBE 5572 | MAYBE 45861 | MAYBE 60033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml | MAYBE 55350 | MAYBE 5838 | MAYBE 58391 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml | MAYBE 15839 | MAYBE 5594 | MAYBE 59316 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml | MAYBE 13226 | MAYBE 5621 | MAYBE 56919 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml | MAYBE 15261 | MAYBE 5547 | MAYBE 55884 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | MAYBE 10628 | MAYBE 5596 | MAYBE 59193 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml | MAYBE 10612 | MAYBE 5492 | MAYBE 53147 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml | MAYBE 13025 | MAYBE 5597 | MAYBE 59207 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z003.xml | n^0 - n^1 671 | MAYBE 29237 | n^0 - n^1 59637 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | n^0 - n^4 55809 | n^0 - n^4 17342 | n^0 - n^3 59058 | n^0 - n^4 1750 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | MAYBE 55376 | MAYBE 11479 | MAYBE 59064 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | MAYBE 55491 | MAYBE 60040 | MAYBE 60203 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | n^0 - n^1 527 | MAYBE 60039 | n^0 - n^1 59374 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z073.xml | MAYBE 55519 | MAYBE 60041 | MAYBE 59091 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | MAYBE 55413 | MAYBE 12815 | MAYBE 59080 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z117.xml | MAYBE 55357 | MAYBE 45491 | MAYBE 60169 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z118.xml | MAYBE 55385 | MAYBE 8376 | MAYBE 59104 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 55463 | MAYBE 60041 | MAYBE 59212 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 55498 | MAYBE 60040 | MAYBE 59090 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 55434 | MAYBE 60035 | MAYBE 59085 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 55407 | MAYBE 60036 | MAYBE 59077 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55497 | MAYBE 60040 | MAYBE 59105 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 55518 | MAYBE 60037 | MAYBE 59079 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55449 | MAYBE 60037 | MAYBE 59093 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55535 | MAYBE 60039 | MAYBE 59121 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 13179 | n^0 - n^2 10015 | n^0 - n^2 59087 | n^0 - n^2 1196 |
| tpdb-8.0/TRS/Zantema_06/04.xml | MAYBE 55384 | MAYBE 11193 | MAYBE 59069 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/05.xml | MAYBE 55449 | MAYBE 60038 | MAYBE 59140 | MAYBE 60033 |
| tpdb-8.0/TRS/Zantema_06/08.xml | MAYBE 55348 | MAYBE 6344 | MAYBE 59083 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/09.xml | MAYBE 55464 | MAYBE 60042 | MAYBE 60187 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/10.xml | MAYBE 21239 | MAYBE 5965 | MAYBE 59140 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/15.xml | MAYBE 55543 | MAYBE 60042 | MAYBE 59240 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | MAYBE 55550 | MAYBE 60048 | MAYBE 59151 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | MAYBE 55379 | MAYBE 7340 | MAYBE 59109 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/while2.xml | n^0 - n^2 11684 | n^0 - n^4 24855 | MAYBE 59204 | n^0 - n^4 5993 | 237 | 136 | 222 | 138 |