| benchmark | CaT | CaTCert | TcT | TcT-certify |
|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 55392 | MAYBE 9840 | MAYBE 59076 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 7412 | n^0 - n^2 3643 | n^0 - n^2 29237 | n^0 - n^2 504 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 55537 | MAYBE 17753 | MAYBE 59620 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 55553 | MAYBE 17194 | MAYBE 59896 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 481 | n^0 - n^2 6712 | n^0 - n^1 7493 | n^0 - n^2 255 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 437 | n^0 - n^2 6748 | n^0 - n^1 17972 | n^0 - n^2 581 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^2 55415 | n^0 - n^2 3575 | n^0 - n^2 34778 | n^0 - n^2 258 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 55519 | MAYBE 60042 | n^0 - n^2 59088 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 479 | MAYBE 10662 | n^0 - n^1 33742 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 434 | n^0 - n^2 9961 | n^0 - n^2 59086 | n^0 - n^2 755 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^1 3362 | n^0 - n^2 6806 | n^0 - n^2 59097 | n^0 - n^2 597 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 10340 | MAYBE 5506 | MAYBE 59226 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 55575 | MAYBE 60044 | MAYBE 59066 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^2 22518 | n^0 - n^4 25848 | MAYBE 59262 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | MAYBE 55649 | MAYBE 60059 | MAYBE 59119 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 55656 | MAYBE 60047 | MAYBE 59093 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^2 56227 | MAYBE 60039 | MAYBE 59112 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^2 24836 | n^0 - n^3 33516 | MAYBE 59605 | n^0 - n^3 58581 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 55500 | MAYBE 60041 | MAYBE 59097 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 55379 | MAYBE 24330 | MAYBE 59093 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 55415 | MAYBE 35451 | MAYBE 60147 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 55496 | MAYBE 23252 | MAYBE 59073 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 28944 | MAYBE 7283 | MAYBE 59292 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 15445 | MAYBE 8092 | MAYBE 59089 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | n^0 - n^1 407 | n^0 - n^1 430 | n^0 - n^1 5451 | n^0 - n^1 148 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | n^0 - n^1 2907 | MAYBE 7776 | MAYBE 59470 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 442 | MAYBE 10343 | n^0 - n^1 23159 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 55494 | MAYBE 60044 | MAYBE 59133 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 55616 | MAYBE 60045 | MAYBE 59171 | MAYBE 60031 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 55391 | MAYBE 8088 | MAYBE 59445 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 55440 | n^0 - n^2 6638 | n^0 - n^2 59041 | n^0 - n^2 374 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 29879 | MAYBE 5753 | MAYBE 59530 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 44949 | n^0 - n^2 6590 | n^0 - n^2 20762 | n^0 - n^2 193 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 544 | n^0 - n^3 10897 | n^0 - n^1 33905 | n^0 - n^3 3035 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 10334 | MAYBE 5335 | MAYBE 15724 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 10337 | MAYBE 5349 | MAYBE 15703 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 10339 | MAYBE 5338 | MAYBE 15641 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 10334 | MAYBE 5365 | MAYBE 14732 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 10337 | MAYBE 5363 | MAYBE 19624 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 24949 | MAYBE 5760 | MAYBE 59462 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 56112 | MAYBE 60050 | MAYBE 59528 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 6108 | n^0 - n^2 6621 | n^0 - n^2 20155 | n^0 - n^2 219 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 55486 | MAYBE 5880 | MAYBE 59581 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/158152.xml | MAYBE 56732 | MAYBE 60091 | MAYBE 59754 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/211960.xml | MAYBE 56742 | MAYBE 60141 | MAYBE 59587 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212421.xml | MAYBE 57235 | MAYBE 60046 | MAYBE 59550 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/212480.xml | MAYBE 56150 | MAYBE 60049 | MAYBE 59719 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212693.xml | MAYBE 56581 | n^0 - n^2 33242 | MAYBE 59590 | n^0 - n^2 57437 |
| tpdb-8.0/TRS/ICFP_2010/213437.xml | MAYBE 56270 | MAYBE 60046 | MAYBE 60207 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/213560.xml | MAYBE 57461 | MAYBE 60138 | MAYBE 59616 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/230780.xml | MAYBE 60242 | MAYBE 60104 | MAYBE 60035 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231378.xml | MAYBE 60327 | MAYBE 60189 | MAYBE 59944 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/231604.xml | MAYBE 60393 | MAYBE 60066 | MAYBE 60102 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/247254.xml | MAYBE 60376 | MAYBE 60148 | MAYBE 60023 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/249663.xml | MAYBE 60186 | MAYBE 60107 | MAYBE 60021 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26069.xml | n^0 - n^1 871 | MAYBE 60042 | n^0 - n^1 60029 | MAYBE 60032 |
| tpdb-8.0/TRS/ICFP_2010/26130.xml | n^0 - n^1 1324 | MAYBE 60055 | MAYBE 60182 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/26291.xml | n^0 - n^1 1979 | MAYBE 60052 | n^0 - n^1 59615 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/27030.xml | n^0 - n^1 2450 | MAYBE 60049 | n^0 - n^1 60134 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/27134.xml | n^0 - n^1 3079 | MAYBE 60057 | n^0 - n^1 59683 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/28293.xml | n^0 - n^1 4627 | MAYBE 60068 | MAYBE 59675 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/28838.xml | n^0 - n^1 6248 | MAYBE 60069 | MAYBE 59947 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/40708.xml | n^0 - n^1 1609 | MAYBE 60056 | MAYBE 60180 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/45720.xml | MAYBE 56977 | MAYBE 60130 | MAYBE 59721 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | MAYBE 55563 | MAYBE 60046 | MAYBE 59107 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | MAYBE 55532 | MAYBE 60037 | MAYBE 59072 | MAYBE 60032 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | MAYBE 55534 | MAYBE 60041 | MAYBE 59091 | MAYBE 60032 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | MAYBE 55396 | MAYBE 7646 | MAYBE 59297 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | MAYBE 55487 | MAYBE 60041 | MAYBE 59460 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | MAYBE 55397 | MAYBE 25656 | MAYBE 59055 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | n^0 - n^2 43450 | n^0 - n^2 16737 | n^0 - n^2 59147 | n^0 - n^2 1535 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | MAYBE 55991 | MAYBE 60077 | MAYBE 59541 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | MAYBE 56103 | MAYBE 60096 | MAYBE 59476 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 55555 | MAYBE 60043 | MAYBE 59078 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 6113 | n^0 - n^2 3528 | n^0 - n^2 18795 | n^0 - n^2 255 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 402 | n^0 - n^1 431 | n^0 - n^1 5692 | n^0 - n^1 132 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 6923 | n^0 - n^2 6796 | n^0 - n^2 24848 | n^0 - n^2 473 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 6580 | n^0 - n^2 3723 | n^0 - n^2 27273 | n^0 - n^2 545 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 452 | MAYBE 56117 | n^0 - n^1 45252 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 496 | n^0 - n^1 508 | n^0 - n^1 8369 | n^0 - n^1 134 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 414 | n^0 - n^2 3447 | n^0 - n^1 10853 | n^0 - n^2 162 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 55383 | MAYBE 7392 | MAYBE 59334 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 531 | n^0 - n^2 6708 | n^0 - n^1 12884 | n^0 - n^2 243 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 422 | n^0 - n^2 12991 | n^0 - n^1 3866 | n^0 - n^2 715 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 491 | n^0 - n^2 3533 | n^0 - n^1 12095 | n^0 - n^2 267 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | MAYBE 55431 | MAYBE 7372 | MAYBE 59308 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | MAYBE 55508 | MAYBE 22295 | MAYBE 59471 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | MAYBE 55412 | MAYBE 56744 | MAYBE 59319 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | MAYBE 55526 | MAYBE 60041 | MAYBE 59532 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | MAYBE 55400 | MAYBE 38027 | MAYBE 59085 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | MAYBE 55363 | MAYBE 10337 | MAYBE 59555 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | MAYBE 55366 | MAYBE 5930 | MAYBE 59486 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 1144 | n^0 - n^3 32876 | n^0 - n^1 59374 | n^0 - n^3 17113 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | MAYBE 55461 | MAYBE 16060 | MAYBE 59497 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | n^0 - n^1 4534 | n^0 - n^2 16883 | n^0 - n^1 28880 | n^0 - n^2 1369 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | MAYBE 55498 | MAYBE 19481 | MAYBE 59272 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 10334 | MAYBE 5754 | MAYBE 59295 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/10.xml | MAYBE 55418 | MAYBE 24910 | MAYBE 59573 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | MAYBE 55442 | MAYBE 38777 | MAYBE 59076 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml | MAYBE 55529 | MAYBE 11398 | MAYBE 59848 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | MAYBE 55796 | MAYBE 14069 | MAYBE 59545 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | MAYBE 55672 | MAYBE 17932 | MAYBE 59551 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | MAYBE 55574 | MAYBE 9142 | MAYBE 59576 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml | MAYBE 55544 | MAYBE 12319 | MAYBE 60165 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | MAYBE 55391 | MAYBE 52245 | MAYBE 59103 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | MAYBE 55415 | MAYBE 9752 | MAYBE 59192 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/secr5.xml | MAYBE 55415 | MAYBE 60042 | MAYBE 59164 | MAYBE 60033 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | MAYBE 55406 | MAYBE 8206 | MAYBE 59420 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 450 | MAYBE 33103 | n^0 - n^1 59235 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 55389 | MAYBE 17777 | MAYBE 59098 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^3 55458 | n^0 - n^3 16470 | n^0 - n^2 59192 | n^0 - n^3 3430 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | MAYBE 55456 | MAYBE 60039 | MAYBE 59136 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | MAYBE 55470 | MAYBE 45934 | MAYBE 59119 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | MAYBE 55392 | MAYBE 10865 | MAYBE 59311 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | MAYBE 55468 | MAYBE 60040 | MAYBE 59466 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | MAYBE 55416 | MAYBE 47531 | MAYBE 59151 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | MAYBE 55425 | MAYBE 55410 | MAYBE 59130 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | MAYBE 55414 | MAYBE 55218 | MAYBE 59167 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | MAYBE 55396 | MAYBE 19626 | MAYBE 59168 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 12301 | MAYBE 5653 | MAYBE 59392 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | MAYBE 26675 | MAYBE 5754 | MAYBE 59504 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | MAYBE 38005 | MAYBE 5809 | MAYBE 59438 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 55507 | MAYBE 32786 | MAYBE 59393 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^2 6794 | n^0 - n^2 9809 | n^0 - n^2 25131 | n^0 - n^2 288 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^2 6651 | n^0 - n^2 3517 | n^0 - n^2 17350 | n^0 - n^2 201 |
| tpdb-8.0/TRS/SK90/2.14.xml | MAYBE 55473 | MAYBE 6132 | MAYBE 59253 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.50.xml | MAYBE 55381 | MAYBE 6871 | MAYBE 35740 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 841 | n^0 - n^1 940 | n^0 - n^1 47978 | n^0 - n^1 1056 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 405 | n^0 - n^2 3431 | n^0 - n^1 5246 | n^0 - n^2 130 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^2 7028 | n^0 - n^2 6728 | n^0 - n^2 59638 | n^0 - n^2 402 |
| tpdb-8.0/TRS/SK90/4.43.xml | MAYBE 13917 | MAYBE 13075 | n^0 - n^5 59251 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 420 | n^0 - n^1 417 | n^0 - n^1 4445 | n^0 - n^1 96 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 498 | n^0 - n^2 3664 | n^0 - n^1 59157 | n^0 - n^2 1005 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^1 431 | n^0 - n^1 442 | n^0 - n^1 12250 | n^0 - n^1 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^1 2097 | n^0 - n^2 6884 | n^0 - n^1 16367 | n^0 - n^2 425 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 55632 | MAYBE 60049 | MAYBE 59090 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^2 40631 | n^0 - n^2 9902 | n^0 - n^2 25040 | n^0 - n^2 472 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 55874 | MAYBE 60058 | MAYBE 59201 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^2 55430 | n^0 - n^2 23113 | n^0 - n^2 59082 | n^0 - n^2 1814 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 12143 | n^0 - n^2 13411 | n^0 - n^2 33481 | n^0 - n^2 1245 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 435 | n^0 - n^2 3813 | n^0 - n^1 38882 | n^0 - n^2 605 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | MAYBE 55622 | MAYBE 60048 | MAYBE 59091 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 310 | MAYBE 267 | MAYBE 27 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | MAYBE 311 | MAYBE 279 | MAYBE 30 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | MAYBE 326 | MAYBE 316 | MAYBE 38 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | MAYBE 309 | MAYBE 275 | MAYBE 29 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | MAYBE 10344 | MAYBE 8963 | MAYBE 59494 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 323 | MAYBE 296 | MAYBE 39 | MAYBE 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | MAYBE 309 | MAYBE 271 | MAYBE 28 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 401 | n^0 - n^1 500 | n^0 - n^1 5896 | n^0 - n^1 87 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 44895 | n^0 - n^2 13191 | n^0 - n^2 26683 | n^0 - n^2 929 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^2 56656 | n^0 - n^2 34140 | n^0 - n^3 59116 | n^0 - n^2 4822 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 55909 | MAYBE 60056 | MAYBE 59232 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | MAYBE 315 | MAYBE 285 | MAYBE 33 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 55521 | MAYBE 60039 | MAYBE 59096 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^1 442 | MAYBE 6226 | n^0 - n^1 59081 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | MAYBE 325 | MAYBE 295 | MAYBE 40 | MAYBE 48 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 338 | MAYBE 311 | MAYBE 54 | MAYBE 59 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | MAYBE 55786 | MAYBE 60052 | MAYBE 59166 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 309 | MAYBE 273 | MAYBE 29 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 317 | MAYBE 291 | MAYBE 36 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 378 | MAYBE 303 | MAYBE 44 | MAYBE 49 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 329 | MAYBE 327 | MAYBE 39 | MAYBE 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | MAYBE 319 | MAYBE 291 | MAYBE 39 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | MAYBE 162051 | MAYBE 60061 | MAYBE 59284 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | MAYBE 25335 | MAYBE 14517 | MAYBE 59101 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | MAYBE 56385 | MAYBE 60081 | MAYBE 59602 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | MAYBE 55773 | MAYBE 60052 | MAYBE 59164 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | MAYBE 322 | MAYBE 283 | MAYBE 35 | MAYBE 41 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 13207 | MAYBE 5915 | MAYBE 59318 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 55496 | MAYBE 8640 | n^0 - n^3 59900 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 6514 | n^0 - n^2 3633 | n^0 - n^2 24009 | n^0 - n^2 451 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 2129 | MAYBE 30012 | MAYBE 59479 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 55397 | MAYBE 6243 | MAYBE 59187 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 55398 | MAYBE 6092 | MAYBE 59137 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | n^0 - n^1 6442 | MAYBE 60038 | MAYBE 59119 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | MAYBE 55545 | MAYBE 60042 | MAYBE 59089 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | n^0 - n^2 55545 | n^0 - n^4 59718 | n^0 - n^3 59503 | n^0 - n^3 13601 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | MAYBE 10717 | MAYBE 5642 | MAYBE 59458 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml | MAYBE 55359 | MAYBE 9057 | MAYBE 59158 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | MAYBE 55356 | MAYBE 9589 | MAYBE 59064 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | MAYBE 53038 | MAYBE 5747 | MAYBE 59859 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | MAYBE 14319 | MAYBE 5607 | MAYBE 59457 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | MAYBE 55364 | MAYBE 7890 | MAYBE 59294 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | MAYBE 55362 | MAYBE 7994 | MAYBE 59481 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | MAYBE 55363 | MAYBE 10455 | MAYBE 59519 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | MAYBE 17233 | MAYBE 5662 | MAYBE 59268 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | MAYBE 10690 | MAYBE 5636 | MAYBE 59290 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | MAYBE 29120 | MAYBE 5589 | MAYBE 59255 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml | MAYBE 33065 | MAYBE 5644 | MAYBE 59294 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml | MAYBE 29134 | MAYBE 6479 | MAYBE 59436 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml | MAYBE 24889 | MAYBE 5887 | MAYBE 59386 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | MAYBE 55358 | MAYBE 12069 | MAYBE 59484 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml | MAYBE 17167 | MAYBE 5546 | MAYBE 59586 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml | MAYBE 11321 | MAYBE 5635 | MAYBE 59279 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml | MAYBE 27783 | MAYBE 5693 | MAYBE 59438 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml | MAYBE 55361 | MAYBE 6791 | MAYBE 59760 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml | MAYBE 55365 | MAYBE 7997 | MAYBE 59287 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml | MAYBE 55358 | MAYBE 6073 | MAYBE 59509 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml | MAYBE 55357 | MAYBE 9805 | MAYBE 59667 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml | MAYBE 18765 | MAYBE 5616 | MAYBE 59296 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml | MAYBE 27273 | MAYBE 5675 | MAYBE 59539 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | MAYBE 55429 | MAYBE 8773 | MAYBE 59292 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml | MAYBE 33718 | MAYBE 5656 | MAYBE 59124 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml | MAYBE 55389 | MAYBE 7992 | MAYBE 59690 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml | MAYBE 55544 | MAYBE 34197 | MAYBE 59465 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml | MAYBE 55404 | MAYBE 46287 | MAYBE 59627 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml | MAYBE 55398 | MAYBE 60038 | MAYBE 59608 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | MAYBE 55403 | MAYBE 9807 | MAYBE 60051 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml | MAYBE 55402 | MAYBE 14006 | MAYBE 59592 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml | MAYBE 54945 | MAYBE 6484 | MAYBE 60045 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml | MAYBE 11955 | MAYBE 5834 | MAYBE 59302 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml | MAYBE 55361 | MAYBE 7347 | MAYBE 59639 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml | MAYBE 55393 | MAYBE 6750 | MAYBE 59089 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | MAYBE 55422 | MAYBE 60039 | MAYBE 59410 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml | MAYBE 55390 | MAYBE 29075 | MAYBE 59526 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml | MAYBE 55395 | MAYBE 29077 | MAYBE 59137 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | MAYBE 18492 | MAYBE 5613 | MAYBE 59748 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml | MAYBE 19673 | MAYBE 5592 | MAYBE 59909 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml | MAYBE 18884 | MAYBE 5640 | MAYBE 59563 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | MAYBE 16755 | MAYBE 5694 | MAYBE 59439 | MAYBE 60034 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml | MAYBE 37869 | MAYBE 5665 | MAYBE 59264 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml | MAYBE 10443 | MAYBE 5565 | MAYBE 59536 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml | MAYBE 55352 | MAYBE 6132 | MAYBE 59514 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z008.xml | MAYBE 55485 | MAYBE 60039 | MAYBE 59188 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z010.xml | MAYBE 55393 | MAYBE 11866 | MAYBE 59056 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | MAYBE 55400 | MAYBE 9249 | MAYBE 59464 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | MAYBE 55393 | MAYBE 11259 | MAYBE 59056 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | n^0 - n^1 507 | MAYBE 60039 | n^0 - n^1 59486 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z072.xml | MAYBE 55473 | MAYBE 60042 | MAYBE 59063 | MAYBE 60034 |
| tpdb-8.0/TRS/Zantema_04/z074.xml | MAYBE 55715 | MAYBE 60050 | MAYBE 59185 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | MAYBE 32665 | MAYBE 6270 | MAYBE 59306 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | MAYBE 55435 | MAYBE 13578 | MAYBE 59425 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z078.xml | MAYBE 55371 | MAYBE 6801 | MAYBE 59616 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z082.xml | MAYBE 55409 | MAYBE 13572 | MAYBE 59139 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | MAYBE 55426 | MAYBE 60048 | MAYBE 59088 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z105.xml | MAYBE 55400 | MAYBE 8851 | MAYBE 59162 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | MAYBE 55437 | MAYBE 20333 | MAYBE 59146 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 55485 | MAYBE 60041 | MAYBE 59342 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 55525 | MAYBE 60038 | MAYBE 59129 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 55450 | MAYBE 60037 | MAYBE 59096 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 55437 | MAYBE 60036 | MAYBE 59057 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55515 | MAYBE 60038 | MAYBE 59111 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 55565 | MAYBE 60041 | MAYBE 59063 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55479 | MAYBE 60039 | MAYBE 59075 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 55438 | MAYBE 60046 | MAYBE 59183 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55556 | MAYBE 60041 | MAYBE 59092 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 14620 | n^0 - n^2 10109 | n^0 - n^2 59520 | n^0 - n^2 1196 |
| tpdb-8.0/TRS/Zantema_06/04.xml | MAYBE 55399 | MAYBE 10491 | MAYBE 59099 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/05.xml | MAYBE 55478 | MAYBE 60039 | MAYBE 59622 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_06/06.xml | MAYBE 55477 | MAYBE 60042 | MAYBE 59075 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/15.xml | MAYBE 55596 | MAYBE 60046 | MAYBE 59541 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | MAYBE 55656 | MAYBE 60045 | n^0 - n^4 59281 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | MAYBE 55511 | MAYBE 60040 | MAYBE 59092 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | MAYBE 55588 | MAYBE 60044 | MAYBE 59104 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | MAYBE 55482 | MAYBE 60038 | MAYBE 59131 | MAYBE 60034 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | MAYBE 55394 | MAYBE 7148 | MAYBE 59607 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/while1.xml | MAYBE 55703 | MAYBE 60048 | MAYBE 59150 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/while2.xml | n^0 - n^2 11996 | n^0 - n^4 25093 | MAYBE 59207 | n^0 - n^4 5998 | 253 | 132 | 217 | 130 |