| benchmark | AProVE | TcT | TcT-certify |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 60286 | MAYBE 58409 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.16.xml | n^0 - n^3 4136 | n^0 - n^3 24743 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | n^0 - n^2 2365 | n^0 - n^2 58251 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.41.xml | n^0 - n^1 1136 | n^0 - n^2 11544 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.42.xml | n^0 - n^2 1763 | n^0 - n^1 17224 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.48.xml | n^0 - n^2 1178 | n^0 - n^2 58271 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 60377 | MAYBE 58136 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 60387 | MAYBE 47306 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 1136 | n^0 - n^1 2413 | n^0 - n^2 2194 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | n^0 - n^0 761 | n^0 - n^0 175 | n^0 - n^1 124 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 60352 | MAYBE 58065 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | n^0 - n^3 14237 | n^0 - n^3 58183 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.6.xml | n^0 - n^2 3972 | n^0 - n^2 35133 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | n^0 - n^2 4482 | n^0 - n^3 58396 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 61038 | MAYBE 59383 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 60377 | MAYBE 58561 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | n^0 - n^2 2179 | n^0 - n^2 21663 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | n^0 - n^1 1382 | n^0 - n^1 17536 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 60462 | MAYBE 58721 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | n^0 - n^1 28839 | MAYBE 58437 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 60499 | MAYBE 58175 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | MAYBE 60361 | MAYBE 58171 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 46855 | n^0 - n^1 58121 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^1 24186 | n^0 - n^1 58319 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 60690 | MAYBE 58461 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 60320 | MAYBE 58362 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 60527 | MAYBE 58194 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 60744 | MAYBE 58938 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 60363 | MAYBE 58154 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 60549 | MAYBE 59159 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 60441 | MAYBE 58595 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 60475 | MAYBE 59033 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 60421 | MAYBE 58999 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | n^0 - n^2 5821 | MAYBE 58075 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 60341 | MAYBE 58937 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 60485 | MAYBE 59540 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 60401 | MAYBE 59305 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 60740 | MAYBE 59315 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MAYBE 60387 | MAYBE 58960 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 60259 | MAYBE 56563 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 60370 | MAYBE 59297 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | MAYBE 60328 | MAYBE 58186 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 60605 | MAYBE 58974 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 60872 | MAYBE 58615 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | MAYBE 60799 | MAYBE 58218 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 60233 | MAYBE 58165 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | MAYBE 60546 | MAYBE 58312 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 60383 | MAYBE 58880 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | MAYBE 60378 | MAYBE 58539 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 60318 | MAYBE 58103 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 60518 | MAYBE 58492 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 60672 | MAYBE 58427 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 60702 | MAYBE 58496 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 60661 | MAYBE 58534 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 60436 | MAYBE 59085 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | MAYBE 60861 | MAYBE 59730 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 60312 | MAYBE 58638 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 60525 | MAYBE 58335 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 60515 | MAYBE 58615 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 60354 | MAYBE 58899 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 60628 | MAYBE 59830 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 60536 | MAYBE 59088 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 60448 | MAYBE 58711 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 60250 | MAYBE 58188 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/round.xml | n^0 - n^1 48237 | MAYBE 58329 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 60201 | MAYBE 58158 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 60313 | MAYBE 58240 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 60343 | MAYBE 58221 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 60409 | MAYBE 58764 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 60462 | MAYBE 58213 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 60388 | MAYBE 59038 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 60446 | MAYBE 59562 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 60543 | MAYBE 58711 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 60393 | MAYBE 58196 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | MAYBE 60414 | MAYBE 58938 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 60448 | MAYBE 58906 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 60253 | MAYBE 58170 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 60240 | MAYBE 58174 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 60468 | MAYBE 58074 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 60393 | MAYBE 58433 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 60539 | MAYBE 59139 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 60314 | MAYBE 58164 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 60343 | MAYBE 58271 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 60463 | MAYBE 58282 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | n^0 - n^2 45888 | MAYBE 58240 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 60397 | MAYBE 59291 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | n^0 - n^3 58428 | MAYBE 42741 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 60452 | MAYBE 58454 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 13077 | MAYBE 58052 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/append.xml | n^0 - n^1 1046 | n^0 - n^1 675 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 60910 | MAYBE 60132 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 60790 | MAYBE 58560 | MAYBE 60100 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 60450 | MAYBE 58427 | MAYBE 60028 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 60516 | MAYBE 58754 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 60530 | MAYBE 58955 | MAYBE 60028 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 60443 | MAYBE 59039 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 60511 | MAYBE 59171 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 60424 | MAYBE 59356 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 60412 | MAYBE 58906 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 1009 | n^0 - n^1 137 | n^0 - n^1 116 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 1265 | n^0 - n^1 594 | n^0 - n^1 201 |
| tpdb-8.0/TRS/Der95/08.xml | n^0 - n^1 1152 | n^0 - n^1 5011 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/11.xml | n^0 - n^1 1555 | n^0 - n^1 36429 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 60386 | MAYBE 46088 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/18.xml | n^0 - n^1 1024 | n^0 - n^1 322 | MAYBE 60028 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 60650 | MAYBE 58174 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 1050 | n^0 - n^1 264 | n^0 - n^1 115 |
| tpdb-8.0/TRS/Der95/31.xml | n^0 - n^1 1837 | n^0 - n^2 41013 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/32.xml | n^0 - n^2 3362 | n^0 - n^2 49681 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/33.xml | n^0 - n^1 7572 | MAYBE 58148 | MAYBE 60030 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 46758 | n^0 - n^1 2496 | n^0 - n^3 13944 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 60298 | MAYBE 44511 | MAYBE 60032 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 60305 | MAYBE 58209 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 60410 | MAYBE 58174 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 60368 | MAYBE 59000 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 60384 | MAYBE 58159 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 60419 | MAYBE 58487 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 60522 | MAYBE 59514 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 60276 | MAYBE 58086 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 60300 | MAYBE 59360 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 60719 | MAYBE 58711 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 60424 | MAYBE 58804 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 1066 | MAYBE 8234 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 60450 | MAYBE 17289 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 60256 | MAYBE 10948 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 1210 | MAYBE 7963 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 60393 | MAYBE 58857 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | n^0 - n^2 3487 | MAYBE 59516 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 60400 | MAYBE 59240 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 60416 | MAYBE 58566 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 60482 | MAYBE 58688 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 60703 | MAYBE 58401 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 60389 | MAYBE 58337 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 60669 | MAYBE 58806 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 60745 | MAYBE 58859 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | n^0 - n^1 1110 | n^0 - n^1 448 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | n^0 - n^1 7048 | MAYBE 58493 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 1041 | n^0 - n^1 289 | n^0 - n^1 198 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | n^0 - n^1 1065 | n^0 - n^1 3333 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 60099 | MAYBE 13453 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 1164 | n^0 - n^1 1415 | n^0 - n^1 334 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 60393 | MAYBE 58725 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | n^0 - n^1 1099 | n^0 - n^1 2435 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 60337 | MAYBE 55356 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/appendAll.raml.xml | n^0 - n^1 3850 | n^0 - n^1 3813 | n^0 - n^2 2241 |
| tpdb-8.0/TRS/raML/bft_mmult.raml.xml | MAYBE 60418 | MAYBE 58950 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/bitvectors.raml.xml | MAYBE 60608 | MAYBE 60044 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/duplicates.raml.xml | n^0 - n^2 27059 | n^0 - n^2 29246 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/dyade.raml.xml | n^0 - n^2 7930 | MAYBE 58508 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/flatten.raml.xml | n^0 - n^2 13551 | n^0 - n^2 58339 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/listsort.raml.xml | MAYBE 60730 | n^0 - n^2 58366 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/minsort.raml.xml | n^0 - n^3 14219 | n^0 - n^2 49958 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/queue.raml.xml | MAYBE 60462 | MAYBE 58553 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/quicksort.raml.xml | MAYBE 60425 | MAYBE 58860 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/rationalPotential.raml.xml | n^0 - n^1 1563 | n^0 - n^1 2132 | n^0 - n^1 1192 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | n^0 - n^2 1971 | n^0 - n^1 1021 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/division.xml | n^0 - n^3 8817 | n^0 - n^3 58189 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 1048 | n^0 - n^1 1643 | n^0 - n^2 1313 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | n^0 - n^2 2000 | n^0 - n^1 1356 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^0 768 | n^0 - n^0 310 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 60415 | MAYBE 58060 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^0 785 | n^0 - n^0 1477 | n^0 - n^2 964 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | n^0 - n^1 1298 | n^0 - n^1 826 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 60355 | MAYBE 58173 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 60616 | MAYBE 58286 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 1728 | n^0 - n^1 1635 | n^0 - n^2 811 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 60403 | MAYBE 58564 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | n^0 - n^2 8813 | MAYBE 49146 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 60443 | MAYBE 58448 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | n^0 - n^1 2786 | n^0 - n^2 54067 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | n^0 - n^0 782 | n^0 - n^0 18095 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 61034 | MAYBE 58947 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | MAYBE 60446 | MAYBE 58779 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 60433 | MAYBE 58322 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | MAYBE 60449 | MAYBE 58744 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | n^0 - n^0 777 | n^0 - n^0 23919 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 1877 | MAYBE 26289 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | n^0 - n^1 10114 | n^0 - n^1 58205 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^0 793 | n^0 - n^0 205 | n^0 - n^2 4830 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 60437 | MAYBE 58837 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 60389 | MAYBE 58762 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | n^0 - n^0 786 | n^0 - n^0 58304 | MAYBE 60060 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | n^0 - n^0 775 | n^0 - n^0 132 | n^0 - n^2 2607 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | n^0 - n^0 19750 | n^0 - n^2 36523 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 60802 | MAYBE 58498 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 61061 | MAYBE 58677 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 60630 | MAYBE 59515 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 60507 | MAYBE 58697 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 60380 | MAYBE 59228 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 60351 | MAYBE 58338 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 60403 | MAYBE 60114 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 60362 | MAYBE 59250 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 60970 | MAYBE 58906 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 60844 | MAYBE 58985 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 60894 | MAYBE 58500 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 60890 | MAYBE 58604 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 60377 | MAYBE 58694 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 60571 | MAYBE 58585 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | n^0 - n^1 1737 | n^0 - n^1 2394 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 1092 | n^0 - n^1 269 | n^0 - n^1 243 |
| tpdb-8.0/TRS/SK90/2.12.xml | n^0 - n^3 7145 | n^0 - n^3 38260 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.13.xml | n^0 - n^1 1160 | n^0 - n^1 1271 | n^0 - n^1 271 |
| tpdb-8.0/TRS/SK90/2.14.xml | n^0 - n^1 1138 | n^0 - n^1 1315 | n^0 - n^1 535 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 25017 | MAYBE 18635 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.18.xml | n^0 - n^2 1447 | n^0 - n^2 1652 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 60611 | MAYBE 59339 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 60357 | MAYBE 58171 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 60442 | MAYBE 42514 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^1 1093 | n^0 - n^1 507 | n^0 - n^1 215 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 22382 | MAYBE 58368 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.44.xml | n^0 - n^1 1434 | n^0 - n^1 2603 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.45.xml | n^0 - n^1 1085 | n^0 - n^1 3126 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.59.xml | n^0 - n^1 1010 | n^0 - n^1 151 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.10.xml | n^0 - n^2 1934 | n^0 - n^2 11620 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^1 1072 | n^0 - n^1 5174 | n^0 - n^1 174 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 60127 | n^0 - n^2 16733 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.18.xml | n^0 - n^0 782 | n^0 - n^0 1069 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.28.xml | n^0 - n^1 1724 | n^0 - n^1 3585 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^1 46076 | n^0 - n^1 4006 | n^0 - n^2 1434 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 996 | n^0 - n^1 133 | n^0 - n^1 102 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^0 794 | n^0 - n^0 701 | n^0 - n^1 127 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 60372 | MAYBE 58994 | MAYBE 60030 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | n^0 - n^2 22068 | MAYBE 58133 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/polycounter-10.xml | MAYBE 60743 | n^0 - POLY 58533 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/polycounter-5.xml | MAYBE 60326 | n^0 - POLY 26246 | MAYBE 60029 |
| tpdb-8.0/TRS/TCT_12/recursion-10.xml | MAYBE 60605 | n^0 - n^10 58528 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/recursion-5.xml | MAYBE 60311 | n^0 - n^5 47008 | MAYBE 60034 |
| tpdb-8.0/TRS/TCT_12/sat.xml | n^0 - n^2 2741 | n^0 - n^2 16203 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | MAYBE 60399 | MAYBE 58221 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^0 781 | n^0 - n^0 1670 | n^0 - n^2 610 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | n^0 - n^1 2859 | n^0 - n^1 31220 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | MAYBE 60655 | MAYBE 59400 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 60553 | MAYBE 58289 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | n^0 - n^0 854 | n^0 - n^0 613 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 60942 | MAYBE 60067 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | MAYBE 60861 | MAYBE 60102 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | MAYBE 60711 | n^0 - n^2 58547 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | n^0 - n^1 58036 | MAYBE 58351 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 268 | MAYBE 28 | MAYBE 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^0 783 | n^0 - n^0 175 | n^0 - n^1 255 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | MAYBE 264 | MAYBE 31 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | n^0 - n^1 21224 | MAYBE 58173 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 263 | MAYBE 31 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | MAYBE 61078 | MAYBE 59433 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | n^0 - n^1 2602 | n^0 - n^1 7083 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | n^0 - n^1 2581 | n^0 - n^1 58460 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml | MAYBE 60975 | MAYBE 60031 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml | MAYBE 61052 | MAYBE 60031 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | n^0 - n^1 47172 | n^0 - n^1 58461 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | MAYBE 387 | MAYBE 125 | MAYBE 131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 323 | MAYBE 66 | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 282 | MAYBE 40 | MAYBE 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | MAYBE 268 | MAYBE 33 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | MAYBE 290 | MAYBE 37 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | n^0 - n^2 2014 | n^0 - n^2 1978 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | MAYBE 60772 | MAYBE 58958 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | MAYBE 60924 | MAYBE 59902 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | MAYBE 289 | MAYBE 44 | MAYBE 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | MAYBE 60686 | MAYBE 58481 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml | MAYBE 60890 | MAYBE 58764 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | MAYBE 283 | MAYBE 42 | MAYBE 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | MAYBE 268 | MAYBE 35 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | n^0 - n^1 47481 | n^0 - n^1 58247 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/04.xml | n^0 - n^0 874 | n^0 - n^0 2845 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/08.xml | n^0 - n^0 925 | n^0 - n^0 58325 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/10.xml | n^0 - n^2 16285 | MAYBE 58266 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/11.xml | n^0 - n^1 3244 | MAYBE 15513 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 60409 | MAYBE 58891 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 60402 | MAYBE 58881 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/14.xml | n^0 - n^2 20165 | MAYBE 59233 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 1141 | n^0 - n^1 58143 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 1864 | n^0 - n^1 12112 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/22.xml | n^0 - n^1 1764 | n^0 - n^1 11611 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^1 1057 | n^0 - n^1 1492 | n^0 - n^1 315 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 45941 | n^0 - n^1 5749 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 45900 | n^0 - n^1 4414 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 60667 | MAYBE 58453 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 60471 | MAYBE 58548 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 60330 | MAYBE 58171 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 60384 | MAYBE 58152 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 60322 | MAYBE 58147 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 60407 | MAYBE 58152 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 60358 | MAYBE 58138 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | n^0 - n^1 47027 | MAYBE 58083 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 60347 | MAYBE 58122 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 60489 | MAYBE 14639 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 60309 | MAYBE 58105 | MAYBE 60029 | 302 | 271 | 53 |