| benchmark | TcT | TcT-certify |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 38 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 59648 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.41.xml | MAYBE 29 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.42.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.49.xml | n^0 - n^2 59098 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 31 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 35051 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | MAYBE 28 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 29 | MAYBE 60037 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | MAYBE 35 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.6.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | MAYBE 59 | MAYBE 60029 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 59330 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 75 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 42 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | MAYBE 59277 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^2 59075 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 59100 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | MAYBE 60107 | n^0 - n^3 58482 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 59104 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 38 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 59083 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 59481 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | MAYBE 55 | MAYBE 60048 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | MAYBE 35 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 39 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 30 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | MAYBE 31 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 42 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 38 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 39 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 59239 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 59338 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 36 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 33 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 39 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/andIsNat.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/double.xml | MAYBE 29 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_10/downfrom.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/ex2.xml | MAYBE 29 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/ex3.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | n^0 - n^1 5418 | n^0 - n^1 153 |
| tpdb-8.0/TRS/AProVE_10/halfdouble.xml | MAYBE 32 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | MAYBE 29 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/isNat.xml | MAYBE 28 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | MAYBE 28 | MAYBE 60028 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 37 | MAYBE 60031 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 29 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 32 | MAYBE 60031 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | MAYBE 59539 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 32 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 75 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 59105 | MAYBE 60033 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 40 | MAYBE 60029 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 273 | MAYBE 60031 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 44 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 58 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 59374 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 59042 | n^0 - n^2 388 |
| tpdb-8.0/TRS/Der95/08.xml | MAYBE 30 | MAYBE 60032 |
| tpdb-8.0/TRS/Der95/11.xml | MAYBE 35 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/18.xml | MAYBE 29 | MAYBE 60031 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 59630 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 21005 | n^0 - n^2 194 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 27679 | n^0 - n^3 3190 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 32 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 31 | MAYBE 60031 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 30 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 105 | MAYBE 60029 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 39 | MAYBE 60030 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 15525 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 14644 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 28 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 38 | MAYBE 60033 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 59309 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 59473 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 21217 | n^0 - n^2 219 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 59567 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 34 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/211471.xml | n^0 - n^1 59680 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/211857.xml | MAYBE 59427 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212480.xml | MAYBE 59481 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/213281.xml | MAYBE 60271 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/213437.xml | MAYBE 59490 | MAYBE 60033 |
| tpdb-8.0/TRS/ICFP_2010/214011.xml | MAYBE 59511 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/230780.xml | MAYBE 60029 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/230948.xml | n^0 - n^1 59932 | MAYBE 60062 |
| tpdb-8.0/TRS/ICFP_2010/247992.xml | MAYBE 60105 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/249386.xml | MAYBE 60103 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26069.xml | n^0 - n^1 59543 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/26226.xml | n^0 - n^1 59609 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/26291.xml | n^0 - n^1 59724 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/264370.xml | n^0 - n^1 59375 | n^0 - n^2 5299 |
| tpdb-8.0/TRS/ICFP_2010/28464.xml | MAYBE 59801 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/28643.xml | MAYBE 59809 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/40093.xml | MAYBE 60164 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/40708.xml | n^0 - n^1 59617 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/45757.xml | MAYBE 59819 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/48262.xml | MAYBE 60184 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/58301.xml | MAYBE 59894 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | n^0 - n^2 59113 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | MAYBE 59069 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | MAYBE 59092 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | n^0 - n^1 3915 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | MAYBE 59379 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | MAYBE 59229 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | n^0 - n^2 59148 | n^0 - n^2 1550 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | MAYBE 59589 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | MAYBE 59457 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 59072 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/fossacs.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 33 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 18897 | n^0 - n^2 257 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 5882 | n^0 - n^1 131 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 26466 | n^0 - n^2 491 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 28 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 30 | MAYBE 60031 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | MAYBE 3129 | MAYBE 60031 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | MAYBE 42 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 25650 | n^0 - n^2 533 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | MAYBE 29 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 8049 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | MAYBE 46 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 10634 | n^0 - n^2 159 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 14392 | n^0 - n^2 257 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | MAYBE 59473 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | MAYBE 59705 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | MAYBE 59346 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | n^0 - n^1 4768 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | n^0 - n^1 1522 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | n^0 - n^1 59207 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 59609 | n^0 - n^3 15013 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | MAYBE 59528 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | n^0 - n^1 6360 | n^0 - n^2 1418 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | MAYBE 59080 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 34 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 33 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 34 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 42 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 30 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 68 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 31 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 29 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/10.xml | MAYBE 59385 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | MAYBE 59073 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | MAYBE 59122 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | MAYBE 60180 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | MAYBE 59604 | MAYBE 60033 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | MAYBE 59637 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | MAYBE 59649 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml | MAYBE 59648 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | MAYBE 59102 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/secr5.xml | n^0 - n^1 45072 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | MAYBE 59377 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 5655 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^1 2979 | n^0 - n^3 3464 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 29 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | MAYBE 59167 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | MAYBE 59118 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | MAYBE 59087 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | MAYBE 59176 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | MAYBE 59130 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 59688 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | MAYBE 59170 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 59447 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | n^0 - n^1 3746 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | MAYBE 59168 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | n^0 - n^1 5151 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 44 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 41 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 53 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 43 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 40 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 38 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^2 24528 | n^0 - n^2 282 |
| tpdb-8.0/TRS/SK90/2.07.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.20.xml | MAYBE 29 | MAYBE 60032 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 28 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.30.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^2 20508 | n^0 - n^2 529 |
| tpdb-8.0/TRS/SK90/2.39.xml | n^0 - n^6 59191 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^2 31207 | n^0 - n^2 532 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^2 14635 | n^0 - n^2 160 |
| tpdb-8.0/TRS/SK90/2.59.xml | MAYBE 28 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^2 15150 | n^0 - n^2 230 |
| tpdb-8.0/TRS/SK90/4.10.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 30 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.24.xml | MAYBE 30 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 19744 | n^0 - n^2 331 |
| tpdb-8.0/TRS/SK90/4.30.xml | MAYBE 59162 | n^0 - n^3 2446 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 5762 | n^0 - n^2 129 |
| tpdb-8.0/TRS/SK90/4.53.xml | MAYBE 30 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/4.61.xml | MAYBE 36 | MAYBE 60031 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 33 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | MAYBE 53 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | MAYBE 37 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | MAYBE 31 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | MAYBE 34 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | MAYBE 41 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 32 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 23290 | n^0 - n^2 1242 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | MAYBE 29 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | MAYBE 59 | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | MAYBE 31 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | MAYBE 58 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 56 | MAYBE 60028 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | MAYBE 36 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | MAYBE 71 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | MAYBE 43 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | MAYBE 32 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 59103 | MAYBE 60034 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | MAYBE 38 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 61 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 28 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml | MAYBE 187 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | MAYBE 84 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml | MAYBE 99 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 35 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | MAYBE 43 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | MAYBE 59199 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | MAYBE 59694 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 59266 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml | MAYBE 45 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | MAYBE 35 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | MAYBE 59574 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 42 | MAYBE 60036 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 47 | MAYBE 60045 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 37 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 29 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 33 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 37 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 61 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^3 59453 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 30 | MAYBE 60030 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 23983 | n^0 - n^2 451 |
| tpdb-8.0/TRS/Various_04/24.xml | MAYBE 59488 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 59073 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 59155 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | n^0 - n^1 59098 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | MAYBE 59088 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | n^0 - n^1 59078 | n^0 - n^3 13654 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | n^0 - n^1 2422 | MAYBE 60034 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | n^0 - n^1 2403 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | n^0 - n^1 1290 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml | MAYBE 59162 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | MAYBE 59464 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | n^0 - n^1 6036 | MAYBE 60033 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | MAYBE 59301 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | n^0 - n^1 1975 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | n^0 - n^1 1464 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml | n^0 - n^1 1487 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | MAYBE 59255 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml | n^0 - n^1 3095 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml | MAYBE 59539 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml | n^0 - n^1 4526 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | MAYBE 59499 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml | MAYBE 59504 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml | MAYBE 59525 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml | n^0 - n^1 12945 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml | MAYBE 59304 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml | MAYBE 59504 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml | MAYBE 59439 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml | MAYBE 59438 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml | MAYBE 59435 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml | MAYBE 59262 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml | MAYBE 59349 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml | MAYBE 59678 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml | MAYBE 59663 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml | n^0 - n^1 4417 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml | MAYBE 59354 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml | MAYBE 60027 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml | MAYBE 59319 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml | n^0 - n^1 2804 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | MAYBE 59353 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml | n^0 - n^1 2843 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | n^0 - n^1 3460 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml | n^0 - n^1 5657 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml | MAYBE 59290 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml | MAYBE 59060 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml | MAYBE 59240 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml | MAYBE 59453 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml | MAYBE 59366 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | MAYBE 59639 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml | MAYBE 59739 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | MAYBE 59510 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml | MAYBE 59422 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml | MAYBE 59211 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z002.xml | n^0 - n^1 59549 | n^0 - n^4 17486 |
| tpdb-8.0/TRS/Zantema_04/z003.xml | n^0 - n^1 59189 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | n^0 - n^1 11298 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | n^0 - n^1 7581 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | MAYBE 59064 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z018.xml | MAYBE 59049 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z044.xml | MAYBE 59343 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | MAYBE 59528 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z072.xml | MAYBE 59258 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | MAYBE 59650 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z105.xml | n^0 - n^2 45623 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z107.xml | n^0 - n^1 4679 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z118.xml | n^0 - n^1 16392 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | MAYBE 59074 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 32 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 59332 | MAYBE 60053 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 59081 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 59078 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 59473 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 59069 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 59200 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 59078 | MAYBE 60033 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 59673 | n^0 - n^2 1206 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 30 | MAYBE 60028 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 29 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/02.xml | MAYBE 59064 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/03.xml | MAYBE 59605 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/05.xml | MAYBE 60102 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/06.xml | MAYBE 59527 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/08.xml | MAYBE 59466 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/15.xml | n^0 - n^1 59097 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | n^0 - n^4 59275 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | MAYBE 59110 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | MAYBE 59116 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | MAYBE 59073 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/while2.xml | MAYBE 59165 | n^0 - n^4 6415 | 146 | 54 |