| benchmark | AProVE | TcT | TcT-certify |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 60357 | MAYBE 58317 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.17.xml | n^0 - n^2 2009 | n^0 - n^2 58255 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.23.xml | n^0 - n^1 1375 | n^0 - n^1 424 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^1 1332 | n^0 - n^1 263 | n^0 - n^1 213 |
| tpdb-8.0/TRS/AG01/#3.41.xml | n^0 - n^1 1467 | n^0 - n^1 54216 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.53.xml | n^0 - n^3 8480 | n^0 - n^3 58176 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 60285 | MAYBE 58274 | MAYBE 60032 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | n^0 - n^2 5242 | n^0 - n^3 58091 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | MAYBE 60310 | n^0 - n^4 58123 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 60373 | MAYBE 60231 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | n^0 - n^1 1401 | n^0 - n^1 31425 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 60330 | MAYBE 58122 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 60361 | n^0 - n^1 58176 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 5662 | n^0 - n^1 4889 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 60416 | MAYBE 58108 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 47701 | n^0 - n^1 58100 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 60391 | MAYBE 58144 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 5149 | MAYBE 58115 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 60374 | MAYBE 58167 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 60546 | MAYBE 58229 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 60428 | MAYBE 58161 | MAYBE 60033 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 60299 | MAYBE 59025 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 60302 | MAYBE 58250 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 60397 | MAYBE 58180 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | n^0 - n^2 6110 | MAYBE 58078 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 60285 | MAYBE 58111 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 60371 | MAYBE 58162 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | n^0 - n^1 18239 | MAYBE 58531 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | n^0 - n^0 1081 | n^0 - n^0 62 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 60712 | MAYBE 58185 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 60742 | MAYBE 58895 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 60404 | MAYBE 58209 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 60240 | MAYBE 58099 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 60272 | MAYBE 58143 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MAYBE 60318 | MAYBE 58233 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MAYBE 60319 | MAYBE 58146 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 60299 | MAYBE 58670 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | MAYBE 60538 | MAYBE 58158 | MAYBE 60033 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 60296 | MAYBE 58117 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 60539 | MAYBE 58148 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 60324 | MAYBE 58224 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 60312 | MAYBE 58514 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 60755 | MAYBE 58829 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 60542 | MAYBE 58202 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 60496 | MAYBE 58191 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 60281 | MAYBE 58106 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 60196 | MAYBE 58090 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 60344 | MAYBE 58147 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 60377 | MAYBE 58102 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 60364 | MAYBE 58133 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 60272 | MAYBE 58118 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 60384 | MAYBE 58236 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 60466 | MAYBE 58243 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 60565 | MAYBE 58174 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 60336 | MAYBE 58213 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 60241 | MAYBE 58119 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MAYBE 60196 | MAYBE 58138 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 60435 | MAYBE 58178 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 60297 | MAYBE 58184 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | n^0 - n^2 59180 | MAYBE 58108 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 60357 | MAYBE 58096 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 60319 | MAYBE 58204 | MAYBE 60028 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | n^0 - n^3 58703 | MAYBE 58087 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 60287 | MAYBE 58087 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 60497 | MAYBE 58134 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 60307 | MAYBE 58130 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 12460 | MAYBE 58086 | MAYBE 60028 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 60586 | MAYBE 58434 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 60306 | MAYBE 58184 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 60375 | MAYBE 58120 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 60405 | MAYBE 59117 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 60285 | MAYBE 59118 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 60504 | MAYBE 58146 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | n^0 - n^1 19808 | MAYBE 58517 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 1287 | n^0 - n^1 155 | n^0 - n^1 115 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 1511 | n^0 - n^1 565 | n^0 - n^1 200 |
| tpdb-8.0/TRS/Der95/08.xml | n^0 - n^1 1405 | n^0 - n^1 2142 | MAYBE 60031 |
| tpdb-8.0/TRS/Der95/11.xml | n^0 - n^1 1743 | n^0 - n^1 58110 | MAYBE 60031 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 60373 | MAYBE 58083 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 1336 | n^0 - n^1 346 | n^0 - n^1 131 |
| tpdb-8.0/TRS/Der95/31.xml | n^0 - n^1 1520 | n^0 - n^1 3104 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/32.xml | n^0 - n^2 4098 | n^0 - n^2 47432 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/33.xml | n^0 - n^1 7455 | MAYBE 58133 | MAYBE 60030 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 47221 | n^0 - n^1 8678 | n^0 - n^3 14161 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 60282 | MAYBE 58125 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 60322 | MAYBE 58078 | MAYBE 60032 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 60350 | MAYBE 58166 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 60338 | MAYBE 58075 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 60366 | MAYBE 58129 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 60395 | MAYBE 59163 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 60269 | MAYBE 58135 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 60294 | MAYBE 58543 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 60345 | MAYBE 58796 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 1377 | MAYBE 6053 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 1486 | MAYBE 6314 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 1486 | MAYBE 7053 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 60403 | MAYBE 58152 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 60291 | MAYBE 58198 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 60350 | MAYBE 58247 | MAYBE 60032 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 60531 | MAYBE 58154 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 60375 | MAYBE 58170 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | n^0 - n^2 1930 | n^0 - n^2 20671 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 60521 | MAYBE 58355 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 60533 | MAYBE 58186 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | n^0 - n^1 1392 | n^0 - n^1 607 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | n^0 - n^1 1362 | n^0 - n^1 986 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 1361 | n^0 - n^1 451 | n^0 - n^1 205 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 60089 | MAYBE 58154 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 1396 | n^0 - n^1 1051 | n^0 - n^1 332 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 60893 | MAYBE 58161 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 22080 | MAYBE 58106 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/bfs.raml.xml | MAYBE 1094 | MAYBE 58339 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/bft_mmult.raml.xml | MAYBE 1105 | MAYBE 58355 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/clevermmult.raml.xml | MAYBE 1045 | n^0 - n^2 58160 | MAYBE 60031 |
| tpdb-8.0/TRS/raML/insertionsort.raml.xml | MAYBE 1073 | MAYBE 58221 | MAYBE 60030 |
| tpdb-8.0/TRS/raML/listsort.raml.xml | MAYBE 1059 | n^0 - n^2 58171 | MAYBE 60031 |
| tpdb-8.0/TRS/raML/matrix.raml.xml | MAYBE 1194 | MAYBE 58225 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/mergesort.raml.xml | MAYBE 1024 | MAYBE 58134 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/quicksort.raml.xml | MAYBE 1159 | MAYBE 58187 | MAYBE 60029 |
| tpdb-8.0/TRS/raML/splitandsort.raml.xml | MAYBE 1128 | MAYBE 58192 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/division.xml | n^0 - n^3 8626 | n^0 - n^3 58079 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 1318 | n^0 - n^1 1345 | n^0 - n^2 1337 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | n^0 - n^2 2033 | n^0 - n^1 1162 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | n^0 - n^2 3852 | n^0 - n^2 36882 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | n^0 - n^1 1649 | n^0 - n^1 1044 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 60590 | MAYBE 58155 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 60341 | MAYBE 58127 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 2086 | n^0 - n^1 2771 | n^0 - n^2 814 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 1325 | n^0 - n^1 902 | n^0 - n^2 404 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 60370 | MAYBE 58230 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | n^0 - n^2 8934 | MAYBE 58086 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 60378 | MAYBE 58779 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | n^0 - n^1 2442 | n^0 - n^1 4732 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 60463 | MAYBE 58364 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 60961 | MAYBE 58410 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 60319 | MAYBE 58216 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 60331 | MAYBE 58731 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | n^0 - n^0 1031 | n^0 - n^0 58227 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^0 1035 | n^0 - n^0 411 | n^0 - n^2 4858 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 60967 | MAYBE 58208 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 60527 | MAYBE 58263 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 60329 | MAYBE 58071 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | n^0 - n^0 1026 | n^0 - n^0 58119 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | n^0 - n^0 1050 | n^0 - n^0 175 | n^0 - n^2 2621 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 60448 | MAYBE 58107 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 60629 | MAYBE 58246 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 60782 | MAYBE 58312 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | n^0 - n^1 1956 | MAYBE 58638 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 60587 | MAYBE 58263 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 60392 | MAYBE 58148 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 60351 | MAYBE 59689 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 60429 | MAYBE 58175 | MAYBE 60034 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 60344 | MAYBE 58160 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 60665 | MAYBE 58155 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 60593 | MAYBE 58633 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 60257 | MAYBE 58219 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.13.xml | n^0 - n^1 1474 | n^0 - n^1 875 | n^0 - n^1 272 |
| tpdb-8.0/TRS/SK90/2.30.xml | n^0 - n^0 997 | n^0 - n^0 100 | n^0 - n^1 125 |
| tpdb-8.0/TRS/SK90/2.51.xml | MAYBE 60278 | MAYBE 58117 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^1 1297 | n^0 - n^1 277 | n^0 - n^1 116 |
| tpdb-8.0/TRS/SK90/2.59.xml | n^0 - n^1 1298 | n^0 - n^1 194 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 60469 | MAYBE 58341 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.10.xml | n^0 - n^2 1448 | n^0 - n^2 24893 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 1424 | n^0 - n^1 987 | n^0 - n^1 262 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 60128 | n^0 - n^2 21015 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.18.xml | n^0 - n^0 1027 | n^0 - n^0 798 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 5925 | MAYBE 58083 | MAYBE 60028 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 1290 | n^0 - n^1 172 | n^0 - n^1 113 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^0 1020 | n^0 - n^0 879 | n^0 - n^1 129 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | n^0 - n^2 21638 | MAYBE 58093 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/polycounter-10.xml | MAYBE 60546 | n^0 - POLY 58106 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/polycounter-5.xml | MAYBE 60255 | n^0 - POLY 48680 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/recursion-10.xml | MAYBE 60439 | n^0 - n^10 58125 | MAYBE 60031 |
| tpdb-8.0/TRS/TCT_12/recursion-5.xml | MAYBE 60279 | n^0 - n^5 47487 | MAYBE 60029 |
| tpdb-8.0/TRS/TCT_12/sat.xml | n^0 - n^2 2733 | n^0 - n^2 12132 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | n^0 - n^1 1591 | n^0 - n^1 1123 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | n^0 - n^1 28395 | MAYBE 58132 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | MAYBE 60643 | MAYBE 59086 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | MAYBE 305 | MAYBE 36 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | n^0 - n^1 59327 | MAYBE 58384 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^0 957 | n^0 - n^0 81 | n^0 - n^1 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | MAYBE 60489 | n^0 - n^2 58297 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | n^0 - n^1 2054 | n^0 - n^1 1681 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 60317 | MAYBE 58943 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | MAYBE 328 | MAYBE 37 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 60849 | MAYBE 58178 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 297 | MAYBE 32 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | MAYBE 60809 | MAYBE 58590 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | n^0 - n^1 2145 | n^0 - n^1 58133 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | MAYBE 60852 | MAYBE 58634 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml | MAYBE 61059 | MAYBE 58250 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | n^0 - n^1 47916 | n^0 - n^1 58149 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | n^0 - n^1 51269 | n^0 - n^1 58209 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml | MAYBE 61071 | MAYBE 58319 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | n^0 - n^1 3901 | n^0 - n^1 6580 | MAYBE 60028 |
| tpdb-8.0/TRS/Various_04/04.xml | n^0 - n^0 1147 | n^0 - n^0 2435 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/08.xml | n^0 - n^0 1199 | n^0 - n^0 58148 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/11.xml | n^0 - n^1 3910 | MAYBE 58134 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 60381 | MAYBE 58350 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/14.xml | n^0 - n^2 21040 | MAYBE 59067 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 1463 | n^0 - n^1 58851 | MAYBE 60032 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 1893 | n^0 - n^1 58292 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/22.xml | n^0 - n^1 2007 | n^0 - n^1 21591 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 46429 | MAYBE 58187 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 46286 | n^0 - n^1 17416 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 46069 | n^0 - n^1 11516 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 60388 | MAYBE 58153 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 60283 | MAYBE 58065 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 60349 | MAYBE 58086 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 60389 | MAYBE 58077 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 60284 | MAYBE 58079 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 60338 | MAYBE 58123 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^1 46383 | n^0 - n^1 58126 | n^0 - n^2 18562 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 60430 | MAYBE 58194 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 60243 | MAYBE 58144 | MAYBE 60031 | 221 | 209 | 40 |