| benchmark | CaT | TcT | TcT-certify |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 331 | MAYBE 58412 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 310 | MAYBE 58138 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 55555 | MAYBE 58380 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.41.xml | MAYBE 307 | n^0 - n^2 14764 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.42.xml | MAYBE 314 | MAYBE 58597 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 319 | MAYBE 58547 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 55510 | MAYBE 58144 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 315 | MAYBE 58189 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 473 | n^0 - n^1 2475 | n^0 - n^2 2226 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | MAYBE 307 | n^0 - n^0 262 | n^0 - n^1 125 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 309 | MAYBE 58067 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | MAYBE 322 | MAYBE 58251 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.6.xml | MAYBE 319 | MAYBE 58573 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 319 | MAYBE 58454 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 396 | MAYBE 58564 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 313 | MAYBE 58256 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 319 | MAYBE 58128 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 310 | n^0 - n^1 15990 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 343 | MAYBE 58658 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 324 | MAYBE 58716 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 55553 | MAYBE 58126 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^2 56212 | MAYBE 58097 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 560 | n^0 - n^1 58804 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^1 530 | n^0 - n^1 58559 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 317 | MAYBE 58262 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 329 | MAYBE 58519 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 371 | MAYBE 59070 | MAYBE 60027 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 320 | MAYBE 58257 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 55376 | MAYBE 58152 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 319 | MAYBE 58128 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 55416 | MAYBE 58640 | MAYBE 60155 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 337 | MAYBE 58640 | MAYBE 60060 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 321 | MAYBE 58180 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 317 | MAYBE 58060 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 55514 | MAYBE 59078 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 319 | MAYBE 58453 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 319 | MAYBE 58207 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 326 | MAYBE 58192 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MAYBE 329 | MAYBE 58622 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 314 | MAYBE 58183 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 323 | MAYBE 58253 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | MAYBE 321 | MAYBE 58234 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 326 | MAYBE 58541 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 344 | MAYBE 58443 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | MAYBE 319 | MAYBE 58366 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 316 | MAYBE 58109 | MAYBE 60033 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | MAYBE 319 | MAYBE 58303 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 344 | MAYBE 58565 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | MAYBE 320 | MAYBE 58142 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 322 | MAYBE 58265 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 347 | MAYBE 58476 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 369 | MAYBE 58446 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 332 | MAYBE 59398 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 332 | MAYBE 58532 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 351 | MAYBE 58416 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | MAYBE 364 | MAYBE 58544 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 318 | MAYBE 58252 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 323 | MAYBE 58944 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 327 | MAYBE 58372 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 323 | MAYBE 58533 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 330 | MAYBE 58353 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 338 | MAYBE 59602 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 335 | MAYBE 58416 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 27149 | MAYBE 58103 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 14844 | MAYBE 58308 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 353 | MAYBE 58152 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 325 | MAYBE 58381 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 325 | MAYBE 59015 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 320 | MAYBE 58386 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 379 | MAYBE 58477 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 328 | MAYBE 58897 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 332 | MAYBE 58439 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 330 | MAYBE 58421 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 321 | MAYBE 58376 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | MAYBE 351 | MAYBE 58388 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 327 | MAYBE 58575 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 323 | MAYBE 58116 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 318 | MAYBE 58108 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 359 | MAYBE 58681 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 329 | MAYBE 58241 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 324 | MAYBE 58293 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 313 | MAYBE 58195 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 315 | MAYBE 58131 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 328 | MAYBE 58268 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | MAYBE 310 | MAYBE 58141 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 321 | MAYBE 58286 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 310 | MAYBE 58118 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 321 | MAYBE 58228 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 313 | MAYBE 58128 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/append.xml | MAYBE 309 | n^0 - n^1 731 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 390 | MAYBE 58615 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 55494 | MAYBE 58227 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 326 | MAYBE 58625 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 338 | MAYBE 58507 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 330 | MAYBE 58447 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 328 | MAYBE 58472 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 348 | MAYBE 58538 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 344 | MAYBE 58902 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 342 | MAYBE 58600 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 407 | n^0 - n^1 136 | n^0 - n^1 114 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 428 | n^0 - n^1 807 | n^0 - n^1 200 |
| tpdb-8.0/TRS/Der95/08.xml | MAYBE 314 | n^0 - n^1 3692 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/11.xml | MAYBE 325 | n^0 - n^2 58652 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 314 | MAYBE 58102 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/18.xml | MAYBE 304 | n^0 - n^1 244 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 31745 | MAYBE 58628 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 401 | n^0 - n^1 274 | n^0 - n^1 113 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 314 | n^0 - n^2 22104 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 316 | MAYBE 58301 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 322 | MAYBE 58334 | MAYBE 60029 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 1104 | n^0 - n^1 2642 | n^0 - n^3 15859 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 312 | MAYBE 58141 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 313 | MAYBE 58187 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 317 | MAYBE 58227 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 315 | MAYBE 58391 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 319 | MAYBE 58121 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 309 | MAYBE 58114 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 317 | MAYBE 58986 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 319 | MAYBE 58223 | MAYBE 60028 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 318 | MAYBE 58320 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 329 | MAYBE 58546 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 313 | MAYBE 58675 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 10336 | MAYBE 8481 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 10333 | MAYBE 17702 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 10336 | MAYBE 11090 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 306 | MAYBE 7903 | MAYBE 60032 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 330 | MAYBE 58430 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | MAYBE 317 | MAYBE 59054 | MAYBE 60028 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 324 | MAYBE 58588 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 23761 | MAYBE 60134 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 56023 | MAYBE 58683 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 45692 | MAYBE 58282 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 310 | MAYBE 58295 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 320 | MAYBE 58252 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 325 | MAYBE 58222 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 315 | MAYBE 58718 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | MAYBE 317 | MAYBE 58387 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 407 | n^0 - n^1 288 | n^0 - n^1 198 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | MAYBE 309 | n^0 - n^1 3226 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 310 | MAYBE 12990 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 488 | n^0 - n^1 1266 | n^0 - n^1 348 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 323 | MAYBE 58247 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | MAYBE 318 | n^0 - n^1 2091 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 307 | MAYBE 58540 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | MAYBE 321 | n^0 - n^2 19789 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 330 | MAYBE 58140 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 534 | n^0 - n^1 500 | n^0 - n^1 153 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | MAYBE 352 | MAYBE 58771 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 55384 | MAYBE 58053 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 407 | n^0 - n^1 1461 | n^0 - n^2 969 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | MAYBE 308 | n^0 - n^1 680 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 329 | MAYBE 58436 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 313 | MAYBE 58105 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 314 | MAYBE 58839 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 342 | MAYBE 58441 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 320 | MAYBE 58259 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 318 | MAYBE 58083 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 341 | MAYBE 58733 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 323 | n^0 - n^2 58443 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 340 | MAYBE 58641 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 311 | n^0 - n^1 16439 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 396 | MAYBE 58701 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 316 | MAYBE 58552 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 318 | MAYBE 58342 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 319 | MAYBE 58281 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 310 | MAYBE 58108 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | n^0 - n^1 426 | n^0 - n^1 58189 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^1 425 | n^0 - n^1 14884 | n^0 - n^2 4824 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 340 | MAYBE 58636 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 317 | MAYBE 58355 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 323 | MAYBE 58159 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 315 | MAYBE 58295 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 308 | n^0 - n^1 7201 | n^0 - n^2 2622 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 325 | MAYBE 58677 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 325 | MAYBE 58697 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | MAYBE 324 | MAYBE 58584 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 324 | MAYBE 59852 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 337 | MAYBE 58372 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 335 | MAYBE 58535 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 356 | MAYBE 59087 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 337 | MAYBE 58339 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 333 | MAYBE 58636 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 327 | MAYBE 58412 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 334 | MAYBE 58468 | MAYBE 60060 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 334 | MAYBE 58370 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 331 | MAYBE 58632 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 330 | MAYBE 58483 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 325 | MAYBE 58573 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 312 | MAYBE 58146 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.18.xml | MAYBE 307 | n^0 - n^2 6237 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.20.xml | MAYBE 312 | n^0 - n^1 1004 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 309 | MAYBE 58202 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 323 | MAYBE 59474 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 320 | MAYBE 58294 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 303 | MAYBE 58053 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.29.xml | MAYBE 316 | n^0 - n^1 1844 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.37.xml | MAYBE 307 | n^0 - n^1 330 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^1 414 | n^0 - n^1 1033 | n^0 - n^1 260 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^1 441 | n^0 - n^1 29028 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 314 | MAYBE 59011 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^1 429 | n^0 - n^1 119 | n^0 - n^1 111 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 333 | MAYBE 58613 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^1 400 | n^0 - n^1 336 | n^0 - n^1 94 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^1 1273 | n^0 - n^1 5211 | n^0 - n^1 175 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 442 | n^0 - n^1 1842 | n^0 - n^1 265 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 308 | MAYBE 58556 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.18.xml | MAYBE 310 | n^0 - n^1 1069 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^1 469 | n^0 - n^1 3871 | n^0 - n^2 1383 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 401 | n^0 - n^0 235 | n^0 - n^2 174 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 311 | MAYBE 58208 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 398 | n^0 - n^1 127 | n^0 - n^1 100 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 319 | MAYBE 58194 | MAYBE 60029 |
| tpdb-8.0/TRS/TCT_12/polycounter-10.xml | MAYBE 347 | MAYBE 58240 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/polycounter-5.xml | MAYBE 318 | MAYBE 25298 | MAYBE 60030 |
| tpdb-8.0/TRS/TCT_12/recursion-10.xml | MAYBE 336 | MAYBE 58457 | MAYBE 60029 |
| tpdb-8.0/TRS/TCT_12/recursion-5.xml | MAYBE 320 | n^0 - n^5 45075 | MAYBE 60029 |
| tpdb-8.0/TRS/TCT_12/sat.xml | MAYBE 334 | MAYBE 59050 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | MAYBE 329 | MAYBE 58529 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | MAYBE 365 | MAYBE 58741 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 323 | MAYBE 58535 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | MAYBE 317 | MAYBE 58137 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | MAYBE 318 | MAYBE 58120 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | n^0 - n^1 517 | n^0 - n^1 58294 | n^0 - n^2 29990 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 333 | MAYBE 58527 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | MAYBE 325 | MAYBE 58554 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 315 | MAYBE 58239 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | MAYBE 310 | MAYBE 58186 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^1 570 | n^0 - n^1 6244 | n^0 - n^2 3363 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | MAYBE 311 | n^0 - n^1 1305 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | MAYBE 317 | MAYBE 36 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | MAYBE 348 | MAYBE 58435 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | MAYBE 308 | MAYBE 29 | MAYBE 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 322 | MAYBE 40 | MAYBE 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 344 | MAYBE 58629 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | MAYBE 319 | MAYBE 58524 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | MAYBE 317 | MAYBE 58372 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 361 | MAYBE 58550 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 318 | MAYBE 31 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 367 | MAYBE 58334 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 55646 | MAYBE 58216 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 309 | MAYBE 29 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml | MAYBE 427 | MAYBE 58444 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 436 | MAYBE 58451 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 319 | MAYBE 36 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | MAYBE 369 | MAYBE 58289 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 390 | MAYBE 58586 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | MAYBE 360 | MAYBE 67 | MAYBE 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | MAYBE 55657 | MAYBE 58557 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | MAYBE 315 | MAYBE 33 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml | MAYBE 387 | MAYBE 58798 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | MAYBE 314 | MAYBE 32 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | n^0 - n^1 596 | n^0 - n^1 58364 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 334 | MAYBE 60092 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 343 | MAYBE 60081 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 329 | MAYBE 58616 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 307 | MAYBE 58151 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 319 | MAYBE 58390 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 331 | MAYBE 58497 | MAYBE 60028 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 379 | MAYBE 59203 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 412 | n^0 - n^1 58144 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 423 | n^0 - n^1 58605 | MAYBE 60032 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 8099 | n^0 - n^1 1622 | n^0 - n^1 316 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 2475 | n^0 - n^2 58419 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 412 | n^0 - n^1 6152 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 408 | n^0 - n^1 4432 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 315 | MAYBE 58505 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 55484 | MAYBE 58309 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 55455 | MAYBE 58158 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 55423 | MAYBE 58133 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55509 | MAYBE 58147 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 55559 | MAYBE 58137 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55503 | MAYBE 58133 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 55435 | MAYBE 58143 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55554 | MAYBE 58146 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 311 | MAYBE 13879 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 306 | MAYBE 58141 | MAYBE 60030 | 93 | 158 | 51 |