| benchmark | CaT | TcT | TcT-certify |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 328 | MAYBE 58407 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 55465 | MAYBE 58449 | MAYBE 60032 |
| tpdb-8.0/TRS/AG01/#3.23.xml | MAYBE 301 | n^0 - n^1 906 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^1 395 | n^0 - n^1 257 | n^0 - n^1 215 |
| tpdb-8.0/TRS/AG01/#3.41.xml | MAYBE 305 | n^0 - n^1 20296 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 322 | MAYBE 58183 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 320 | MAYBE 58431 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 313 | MAYBE 58231 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | MAYBE 321 | MAYBE 58344 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 336 | MAYBE 60291 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 305 | n^0 - n^1 28760 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 338 | MAYBE 58212 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 329 | MAYBE 58198 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 479 | n^0 - n^1 58099 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 55601 | MAYBE 58114 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 527 | n^0 - n^1 58198 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 55507 | MAYBE 58135 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 304 | MAYBE 58092 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 318 | MAYBE 59022 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 318 | MAYBE 58218 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 325 | MAYBE 58310 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 317 | MAYBE 58154 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 55398 | MAYBE 58169 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 334 | MAYBE 58253 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 316 | MAYBE 58094 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 55473 | MAYBE 58132 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 319 | MAYBE 58422 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | MAYBE 353 | MAYBE 58199 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 324 | MAYBE 58283 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 322 | MAYBE 58239 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 328 | MAYBE 58449 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 329 | MAYBE 58242 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 310 | MAYBE 58536 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 318 | MAYBE 58254 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MAYBE 314 | MAYBE 58395 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MAYBE 321 | MAYBE 58205 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 320 | MAYBE 58227 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | MAYBE 319 | MAYBE 58236 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 316 | MAYBE 58165 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 318 | MAYBE 58197 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 321 | MAYBE 58324 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 321 | MAYBE 58207 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 325 | MAYBE 58283 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 332 | MAYBE 58311 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 325 | MAYBE 58210 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 27254 | MAYBE 58122 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 311 | MAYBE 58137 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 323 | MAYBE 58167 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 324 | MAYBE 58156 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 319 | MAYBE 58241 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 318 | MAYBE 58156 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 315 | MAYBE 58407 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 332 | MAYBE 58278 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 328 | MAYBE 58238 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 374 | MAYBE 58614 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 316 | MAYBE 58170 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MAYBE 332 | MAYBE 58153 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 320 | MAYBE 58329 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 322 | MAYBE 58973 | MAYBE 60033 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 310 | MAYBE 58485 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 308 | MAYBE 58118 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 319 | MAYBE 58471 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 309 | MAYBE 58137 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 358 | MAYBE 60226 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 315 | MAYBE 58456 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 310 | MAYBE 58141 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 312 | MAYBE 58134 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 394 | MAYBE 58412 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 326 | MAYBE 58175 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 319 | MAYBE 58125 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 322 | MAYBE 58359 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 315 | MAYBE 58117 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 340 | MAYBE 58263 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 740 | MAYBE 59844 | MAYBE 60032 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 390 | n^0 - n^1 155 | n^0 - n^1 115 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 410 | n^0 - n^1 1338 | n^0 - n^1 200 |
| tpdb-8.0/TRS/Der95/08.xml | MAYBE 312 | n^0 - n^1 1740 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/11.xml | MAYBE 324 | n^0 - n^1 58309 | MAYBE 60034 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 307 | MAYBE 58130 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 390 | n^0 - n^1 319 | n^0 - n^1 113 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 310 | n^0 - n^2 58257 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 319 | MAYBE 58174 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 318 | MAYBE 59210 | MAYBE 60029 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 1122 | n^0 - n^1 8135 | n^0 - n^3 14297 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 310 | MAYBE 58128 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 312 | MAYBE 58147 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 317 | MAYBE 58417 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 310 | MAYBE 59202 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 311 | MAYBE 58188 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 317 | MAYBE 58437 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 319 | MAYBE 58187 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 312 | MAYBE 58175 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 320 | MAYBE 58162 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 10322 | MAYBE 5972 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 10325 | MAYBE 6453 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 10328 | MAYBE 7035 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 10331 | MAYBE 58159 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 349 | MAYBE 59025 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 56001 | MAYBE 58501 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 41157 | MAYBE 58222 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 312 | MAYBE 58189 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 318 | MAYBE 58288 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 318 | MAYBE 58168 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 323 | MAYBE 58280 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 310 | n^0 - n^2 58157 | MAYBE 60099 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | MAYBE 303 | n^0 - n^1 1433 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 400 | n^0 - n^1 451 | n^0 - n^1 205 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 325 | MAYBE 58156 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 472 | n^0 - n^1 1128 | n^0 - n^1 335 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 323 | MAYBE 58268 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 303 | MAYBE 58127 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^1 1253 | n^0 - n^1 1547 | n^0 - n^2 908 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | MAYBE 319 | MAYBE 58167 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 312 | n^0 - n^2 44548 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 399 | n^0 - n^1 4693 | n^0 - n^2 990 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | MAYBE 321 | n^0 - n^1 58217 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | MAYBE 302 | n^0 - n^1 2194 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 312 | MAYBE 58220 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 310 | MAYBE 58254 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 465 | n^0 - n^1 2787 | n^0 - n^2 815 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 315 | MAYBE 58243 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 318 | MAYBE 58220 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 316 | MAYBE 58307 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 321 | MAYBE 58271 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 311 | n^0 - n^1 18379 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 395 | MAYBE 58649 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 308 | MAYBE 58338 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 316 | MAYBE 58637 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 317 | MAYBE 58302 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | n^0 - n^1 408 | n^0 - n^1 58122 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^1 414 | n^0 - n^1 27457 | n^0 - n^2 4839 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 318 | MAYBE 58172 | MAYBE 60033 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 317 | MAYBE 58299 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 327 | MAYBE 58342 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 323 | MAYBE 59121 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 324 | MAYBE 58274 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 311 | MAYBE 58386 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 319 | MAYBE 58387 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | n^0 - n^1 526 | MAYBE 58404 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 350 | MAYBE 58394 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 334 | MAYBE 58630 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 335 | MAYBE 58251 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 336 | MAYBE 58313 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 331 | MAYBE 58184 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 332 | MAYBE 58365 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 326 | MAYBE 58315 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 327 | MAYBE 58304 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.02.xml | n^0 - n^1 411 | n^0 - n^1 58297 | MAYBE 60032 |
| tpdb-8.0/TRS/SK90/2.07.xml | MAYBE 310 | n^0 - n^2 58268 | MAYBE 60032 |
| tpdb-8.0/TRS/SK90/2.13.xml | MAYBE 309 | n^0 - n^1 1336 | n^0 - n^1 271 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 306 | MAYBE 58178 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.18.xml | MAYBE 305 | n^0 - n^2 11146 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 307 | MAYBE 58281 | MAYBE 60032 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 321 | MAYBE 58584 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 304 | MAYBE 58120 | MAYBE 60032 |
| tpdb-8.0/TRS/SK90/2.29.xml | MAYBE 317 | n^0 - n^1 3655 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.40.xml | MAYBE 307 | n^0 - n^1 1950 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^2 5977 | n^0 - n^1 285 | n^0 - n^1 121 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 380 | n^0 - n^1 176 | n^0 - n^1 104 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 1029 | n^0 - n^1 2098 | n^0 - n^2 2215 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 314 | MAYBE 58150 | MAYBE 60030 |
| tpdb-8.0/TRS/TCT_12/polycounter-10.xml | MAYBE 345 | MAYBE 58430 | MAYBE 60030 |
| tpdb-8.0/TRS/TCT_12/polycounter-5.xml | MAYBE 312 | MAYBE 58121 | MAYBE 60029 |
| tpdb-8.0/TRS/TCT_12/recursion-10.xml | MAYBE 335 | MAYBE 58529 | MAYBE 60030 |
| tpdb-8.0/TRS/TCT_12/recursion-5.xml | MAYBE 316 | n^0 - n^5 48408 | MAYBE 60028 |
| tpdb-8.0/TRS/TCT_12/sat.xml | MAYBE 327 | MAYBE 58182 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 347 | MAYBE 58247 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^1 501 | n^0 - n^1 52998 | n^0 - n^1 459 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 311 | MAYBE 58200 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | MAYBE 312 | MAYBE 58126 | MAYBE 60032 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | MAYBE 320 | MAYBE 58321 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 340 | MAYBE 58424 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | MAYBE 312 | n^0 - n^1 4483 | n^0 - n^1 465 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | MAYBE 313 | MAYBE 59737 | MAYBE 60036 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 363 | MAYBE 58424 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | MAYBE 389 | MAYBE 58633 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 319 | MAYBE 58206 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | MAYBE 325 | MAYBE 58179 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 366 | MAYBE 58423 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | MAYBE 325 | MAYBE 59143 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 390 | MAYBE 58563 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | MAYBE 312 | n^0 - n^2 58133 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml | MAYBE 321 | MAYBE 58298 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | MAYBE 481 | MAYBE 58467 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | MAYBE 405 | MAYBE 58914 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | n^0 - n^1 587 | n^0 - n^1 58191 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 343 | MAYBE 58279 | MAYBE 60032 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 326 | MAYBE 58408 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 314 | MAYBE 58438 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 377 | MAYBE 58285 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 412 | n^0 - n^1 59061 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 410 | n^0 - n^1 58316 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 307 | MAYBE 58133 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 7844 | n^0 - n^1 1475 | n^0 - n^1 317 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 2330 | MAYBE 58189 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 402 | n^0 - n^1 20512 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 404 | n^0 - n^1 13382 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 316 | MAYBE 58113 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 55504 | MAYBE 58235 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 55443 | MAYBE 58083 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55484 | MAYBE 58078 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 55526 | MAYBE 58087 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55490 | MAYBE 58127 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 55423 | MAYBE 58114 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55529 | MAYBE 58084 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 303 | MAYBE 58188 | MAYBE 60031 | 77 | 135 | 42 |