| benchmark | TCT |
|---|---|
| tpdb-8.0/TRS/AG01/#3.18.xml | NO 39 |
| tpdb-8.0/TRS/AG01/#3.1.xml | NO 32 |
| tpdb-8.0/TRS/AG01/#3.23.xml | NO 28 |
| tpdb-8.0/TRS/AG01/#3.29.xml | NO 27 |
| tpdb-8.0/TRS/AG01/#3.41.xml | NO 35 |
| tpdb-8.0/TRS/AG01/#3.48.xml | NO 35 |
| tpdb-8.0/TRS/AG01/#3.49.xml | TIMEOUT 60121 |
| tpdb-8.0/TRS/AG01/#3.4.xml | NO 38 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 51 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | NO 32 |
| tpdb-8.0/TRS/AG01/#3.56.xml | MAYBE 191 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | NO 42 |
| tpdb-8.0/TRS/AG01/#3.5.xml | NO 37 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | NO 36 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | NO 90 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | TIMEOUT 60032 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | NO 101 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | NO 69 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | NO 42 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | NO 58 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | TIMEOUT 60088 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^3 48695 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^2 419 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | TIMEOUT 60142 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | ERROR 6751 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^3 47835 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | NO 35 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | NO 56 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | NO 61 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | NO 41 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | NO 56 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | NO 47 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | TIMEOUT 60141 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | NO 64 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | NO 44 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | NO 54 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | TIMEOUT 60062 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | NO 38 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | NO 79 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | NO 69 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | NO 50 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | NO 40 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | NO 47 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | NO 41 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | NO 42 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | NO 64 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | NO 58 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | NO 46 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | NO 64 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | NO 40 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | NO 43 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | NO 48 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | NO 73 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | NO 41 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | NO 56 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | NO 51 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | NO 52 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | NO 72 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | NO 41 |
| tpdb-8.0/TRS/AProVE_08/log.xml | NO 44 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | NO 45 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | NO 50 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | NO 50 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | NO 58 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | NO 53 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | TIMEOUT 60035 |
| tpdb-8.0/TRS/AProVE_08/round.xml | TIMEOUT 60045 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | NO 35 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | NO 59 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | NO 68 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | NO 74 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | NO 47 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | NO 55 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | NO 55 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | NO 51 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | NO 48 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | NO 58 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | NO 64 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | NO 37 |
| tpdb-8.0/TRS/AProVE_10/andIsNat.xml | NO 36 |
| tpdb-8.0/TRS/AProVE_10/challenge_fab.xml | NO 39 |
| tpdb-8.0/TRS/AProVE_10/downfrom.xml | NO 33 |
| tpdb-8.0/TRS/AProVE_10/ex1.xml | NO 39 |
| tpdb-8.0/TRS/AProVE_10/ex3.xml | NO 36 |
| tpdb-8.0/TRS/AProVE_10/ex4.xml | NO 50 |
| tpdb-8.0/TRS/AProVE_10/halfdouble.xml | NO 38 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | NO 29 |
| tpdb-8.0/TRS/AProVE_10/isNat.xml | NO 28 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | NO 28 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | NO 34 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | NO 45 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | NO 36 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | NO 45 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | NO 42 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | NO 31 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | NO 48 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | NO 47 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | NO 32 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | NO 30 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | NO 30 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | NO 44 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | TIMEOUT 60104 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | NO 32 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | NO 64 |
| tpdb-8.0/TRS/CiME_04/big.xml | NO 108 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 47 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | NO 50 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | NO 42 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | NO 57 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | NO 49 |
| tpdb-8.0/TRS/CiME_04/lse.xml | NO 70 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | NO 67 |
| tpdb-8.0/TRS/CiME_04/tree.xml | NO 92 |
| tpdb-8.0/TRS/Der95/06.xml | TIMEOUT 60070 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 152 |
| tpdb-8.0/TRS/Der95/08.xml | NO 52 |
| tpdb-8.0/TRS/Der95/12.xml | NO 36 |
| tpdb-8.0/TRS/Der95/18.xml | NO 34 |
| tpdb-8.0/TRS/Der95/20.xml | TIMEOUT 60072 |
| tpdb-8.0/TRS/Der95/21.xml | NO 42 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 105 |
| tpdb-8.0/TRS/Der95/31.xml | NO 31 |
| tpdb-8.0/TRS/Der95/32.xml | NO 44 |
| tpdb-8.0/TRS/Der95/33.xml | NO 36 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 60 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | NO 35 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | NO 31 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | NO 36 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | NO 45 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | NO 35 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | NO 33 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | NO 30 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | NO 37 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | NO 54 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | NO 52 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | NO 46 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | TIMEOUT 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | TIMEOUT 60032 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | TIMEOUT 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | NO 30 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | NO 56 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | NO 39 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60505 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 103 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | TIMEOUT 60061 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | NO 32 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | NO 37 |
| tpdb-8.0/TRS/ICFP_2010/158152.xml | TIMEOUT 60253 |
| tpdb-8.0/TRS/ICFP_2010/211471.xml | n^0 - n^1 230 |
| tpdb-8.0/TRS/ICFP_2010/211857.xml | TIMEOUT 60201 |
| tpdb-8.0/TRS/ICFP_2010/213281.xml | TIMEOUT 60316 |
| tpdb-8.0/TRS/ICFP_2010/213611.xml | n^0 - n^1 779 |
| tpdb-8.0/TRS/ICFP_2010/214011.xml | TIMEOUT 60223 |
| tpdb-8.0/TRS/ICFP_2010/231300.xml | n^0 - n^1 477 |
| tpdb-8.0/TRS/ICFP_2010/231378.xml | n^0 - n^1 791 |
| tpdb-8.0/TRS/ICFP_2010/231604.xml | n^0 - n^1 1250 |
| tpdb-8.0/TRS/ICFP_2010/246924.xml | n^0 - n^1 591 |
| tpdb-8.0/TRS/ICFP_2010/247020.xml | n^0 - n^1 1160 |
| tpdb-8.0/TRS/ICFP_2010/247504.xml | n^0 - n^1 606 |
| tpdb-8.0/TRS/ICFP_2010/249386.xml | n^0 - n^1 559 |
| tpdb-8.0/TRS/ICFP_2010/26103.xml | n^0 - n^1 151 |
| tpdb-8.0/TRS/ICFP_2010/26130.xml | n^0 - n^1 348 |
| tpdb-8.0/TRS/ICFP_2010/26186.xml | n^0 - n^1 324 |
| tpdb-8.0/TRS/ICFP_2010/26683.xml | n^0 - n^1 575 |
| tpdb-8.0/TRS/ICFP_2010/27235.xml | n^0 - n^1 1233 |
| tpdb-8.0/TRS/ICFP_2010/27280.xml | n^0 - n^1 1456 |
| tpdb-8.0/TRS/ICFP_2010/54532.xml | n^0 - n^1 2050 |
| tpdb-8.0/TRS/ICFP_2010/58301.xml | TIMEOUT 60234 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | n^0 - n^2 328 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | TIMEOUT 60056 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | TIMEOUT 60065 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | n^0 - n^1 46 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | TIMEOUT 60146 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | TIMEOUT 60080 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | n^0 - n^2 531 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | TIMEOUT 60106 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | TIMEOUT 60123 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | TIMEOUT 60111 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | NO 45 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | NO 31 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | NO 42 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 122 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | NO 35 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 176 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | NO 48 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | NO 35 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | NO 34 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | NO 29 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | NO 6192 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | NO 64 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 238 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | NO 54 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | NO 46 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | NO 44 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 75 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | NO 40 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 58 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 36 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | NO 62 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | NO 29 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | NO 38 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | TIMEOUT 60089 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | TIMEOUT 60163 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | TIMEOUT 60161 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | TIMEOUT 60118 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | n^0 - n^1 41 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | n^0 - n^1 63 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | n^0 - n^1 106 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 81 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | TIMEOUT 60136 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | n^0 - n^1 53 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | TIMEOUT 60094 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | NO 40 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | NO 42 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | NO 40 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | NO 45 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | NO 81 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | NO 97 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | NO 41 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | NO 50 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | NO 35 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | NO 37 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | NO 32 |
| tpdb-8.0/TRS/Secret_06_SRS/10.xml | TIMEOUT 60090 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | n^0 - n^1 40 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | TIMEOUT 60123 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | TIMEOUT 60108 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | TIMEOUT 60206 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | TIMEOUT 60150 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | TIMEOUT 60168 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | TIMEOUT 60141 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | TIMEOUT 60170 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml | TIMEOUT 60156 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | TIMEOUT 60160 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 46 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | NO 76 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | NO 35 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | NO 48 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | NO 31 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | NO 55 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | NO 44 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | NO 42 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | NO 52 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | NO 46 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | NO 46 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | TIMEOUT 60121 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | TIMEOUT 60090 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | TIMEOUT 60108 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | TIMEOUT 60095 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | TIMEOUT 60124 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | TIMEOUT 60106 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | TIMEOUT 60112 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | TIMEOUT 60039 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | n^0 - n^1 66 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | TIMEOUT 60095 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | n^0 - n^1 39 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | TIMEOUT 60097 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | NO 80 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | NO 70 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | NO 98 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | NO 51 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | NO 58 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | NO 47 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | NO 65 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | NO 54 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | NO 55 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | NO 50 |
| tpdb-8.0/TRS/SK90/2.07.xml | NO 34 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^2 168 |
| tpdb-8.0/TRS/SK90/2.14.xml | TIMEOUT 60040 |
| tpdb-8.0/TRS/SK90/2.16.xml | NO 33 |
| tpdb-8.0/TRS/SK90/2.18.xml | NO 37 |
| tpdb-8.0/TRS/SK90/2.23.xml | NO 39 |
| tpdb-8.0/TRS/SK90/2.26.xml | NO 41 |
| tpdb-8.0/TRS/SK90/2.39.xml | n^0 - n^2 833 |
| tpdb-8.0/TRS/SK90/2.40.xml | NO 45 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 46 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 49 |
| tpdb-8.0/TRS/SK90/2.52.xml | NO 48 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^2 98 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^2 88 |
| tpdb-8.0/TRS/SK90/2.59.xml | NO 33 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^2 137 |
| tpdb-8.0/TRS/SK90/4.13.xml | NO 38 |
| tpdb-8.0/TRS/SK90/4.17.xml | NO 34 |
| tpdb-8.0/TRS/SK90/4.22.xml | NO 36 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^2 171 |
| tpdb-8.0/TRS/SK90/4.53.xml | NO 32 |
| tpdb-8.0/TRS/SK90/4.59.xml | NO 42 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | NO 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | NO 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | NO 57 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | NO 91 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | NO 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | NO 32 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | NO 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | NO 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | NO 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | ERROR 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | NO 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | ERROR 52 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^2 8142 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | NO 49 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | NO 104 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | NO 123 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | ERROR 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml | NO 1170 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | NO 389 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | NO 205 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml | NO 179 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | NO 61 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml | NO 244 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | NO 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | ERROR 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | NO 73 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | ERROR 32 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | TIMEOUT 60118 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | NO 104 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | TIMEOUT 60139 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | NO 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | ERROR 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml | NO 90 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | TIMEOUT 60188 |
| tpdb-8.0/TRS/Various_04/04.xml | NO 54 |
| tpdb-8.0/TRS/Various_04/08.xml | NO 68 |
| tpdb-8.0/TRS/Various_04/10.xml | NO 49 |
| tpdb-8.0/TRS/Various_04/11.xml | NO 31 |
| tpdb-8.0/TRS/Various_04/13.xml | NO 54 |
| tpdb-8.0/TRS/Various_04/14.xml | NO 92 |
| tpdb-8.0/TRS/Various_04/15.xml | TIMEOUT 60036 |
| tpdb-8.0/TRS/Various_04/18.xml | TIMEOUT 60116 |
| tpdb-8.0/TRS/Various_04/22.xml | NO 31 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 242 |
| tpdb-8.0/TRS/Various_04/24.xml | TIMEOUT 60223 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | TIMEOUT 60081 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | TIMEOUT 60072 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | n^0 - n^3 5076 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | TIMEOUT 60101 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | n^0 - n^1 85 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | n^0 - n^1 34 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | n^0 - n^1 35 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | n^0 - n^1 38 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | TIMEOUT 60096 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | TIMEOUT 60120 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | TIMEOUT 60077 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | n^0 - n^1 41 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | n^0 - n^1 45 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml | n^0 - n^1 30 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | n^0 - n^1 29 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | TIMEOUT 60035 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml | TIMEOUT 60033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml | n^0 - n^1 37 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml | n^0 - n^1 36 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml | n^0 - n^1 35 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml | n^0 - n^1 34 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml | n^0 - n^1 61 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml | TIMEOUT 60045 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml | TIMEOUT 60113 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml | TIMEOUT 60078 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml | TIMEOUT 60134 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml | TIMEOUT 60113 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml | TIMEOUT 60094 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml | TIMEOUT 60036 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | TIMEOUT 60115 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml | TIMEOUT 60036 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml | n^0 - n^1 41 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml | n^0 - n^1 47 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml | TIMEOUT 60114 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml | TIMEOUT 60150 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml | TIMEOUT 60148 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml | n^0 - n^1 44 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | TIMEOUT 60150 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml | TIMEOUT 60132 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml | n^0 - n^1 33 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml | TIMEOUT 60131 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml | TIMEOUT 60035 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml | TIMEOUT 60068 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml | TIMEOUT 60035 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml | TIMEOUT 60040 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | TIMEOUT 60059 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | TIMEOUT 60135 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml | TIMEOUT 60036 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | TIMEOUT 60037 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml | TIMEOUT 60037 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml | n^0 - n^1 45 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | n^0 - n^1 58 |
| tpdb-8.0/TRS/Zantema_04/z008.xml | TIMEOUT 60140 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | ERROR 1706 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | TIMEOUT 60122 |
| tpdb-8.0/TRS/Zantema_04/z065.xml | TIMEOUT 60075 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | TIMEOUT 60037 |
| tpdb-8.0/TRS/Zantema_04/z081.xml | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_04/z092.xml | n^0 - n^2 1048 |
| tpdb-8.0/TRS/Zantema_04/z103.xml | TIMEOUT 60100 |
| tpdb-8.0/TRS/Zantema_04/z105.xml | n^0 - n^3 842 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | n^0 - n^1 39 |
| tpdb-8.0/TRS/Zantema_04/z114.xml | TIMEOUT 60116 |
| tpdb-8.0/TRS/Zantema_04/z118.xml | n^0 - n^2 678 |
| tpdb-8.0/TRS/Zantema_04/z120.xml | n^0 - n^1 48 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | TIMEOUT 60117 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | TIMEOUT 60096 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | TIMEOUT 60095 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | TIMEOUT 60075 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | TIMEOUT 60097 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | TIMEOUT 60107 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | TIMEOUT 60148 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | TIMEOUT 60106 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 1193 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | NO 39 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | NO 34 |
| tpdb-8.0/TRS/Zantema_06/01.xml | TIMEOUT 60076 |
| tpdb-8.0/TRS/Zantema_06/02.xml | TIMEOUT 60093 |
| tpdb-8.0/TRS/Zantema_06/04.xml | TIMEOUT 60121 |
| tpdb-8.0/TRS/Zantema_06/05.xml | TIMEOUT 60127 |
| tpdb-8.0/TRS/Zantema_06/07.xml | TIMEOUT 60174 |
| tpdb-8.0/TRS/Zantema_06/10.xml | n^0 - n^1 84 |
| tpdb-8.0/TRS/Zantema_06/15.xml | n^0 - n^1 80 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | TIMEOUT 60170 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | TIMEOUT 60133 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | TIMEOUT 60114 |
| tpdb-8.0/TRS/Zantema_06/while2.xml | n^0 - n^4 3193 | 85 |