| benchmark | CaT_dc | TCT alpha iDC |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | TIMEOUT 60183 | MAYBE 367 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 3613 | n^0 - n^2 295 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | TIMEOUT 60203 | MAYBE 3142 |
| tpdb-8.0/TRS/AG01/#3.1.xml | MAYBE 157 | MAYBE 102 |
| tpdb-8.0/TRS/AG01/#3.21.xml | MAYBE 165 | MAYBE 100 |
| tpdb-8.0/TRS/AG01/#3.26.xml | TIMEOUT 60177 | MAYBE 6208 |
| tpdb-8.0/TRS/AG01/#3.47.xml | MAYBE 152 | MAYBE 101 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | MAYBE 151 | MAYBE 100 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 197 | MAYBE 112 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 192 | MAYBE 120 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 284 | n^0 - n^2 270 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 192 | MAYBE 110 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | MAYBE 182 | MAYBE 133 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | MAYBE 182 | MAYBE 102 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 167 | MAYBE 109 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | MAYBE 152 | MAYBE 100 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | MAYBE 182 | MAYBE 104 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^2 4008 | n^0 - n^2 265 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | MAYBE 177 | MAYBE 102 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | MAYBE 197 | MAYBE 113 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | MAYBE 198 | MAYBE 108 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 373 | n^0 - n^1 151 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | MAYBE 163 | MAYBE 98 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^2 3726 | n^0 - n^2 223 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | MAYBE 164 | MAYBE 106 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | MAYBE 199 | MAYBE 115 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 406 | n^0 - n^1 165 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | MAYBE 164 | MAYBE 98 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | MAYBE 160 | MAYBE 102 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | MAYBE 152 | MAYBE 98 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | MAYBE 193 | MAYBE 140 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | MAYBE 221 | MAYBE 144 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | MAYBE 174 | MAYBE 107 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | MAYBE 164 | MAYBE 104 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | MAYBE 166 | MAYBE 102 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | MAYBE 212 | MAYBE 122 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | MAYBE 218 | MAYBE 120 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | MAYBE 223 | MAYBE 121 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MAYBE 226 | MAYBE 125 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | MAYBE 200 | MAYBE 112 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | MAYBE 304 | MAYBE 170 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | MAYBE 215 | MAYBE 126 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | MAYBE 200 | MAYBE 111 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | MAYBE 272 | MAYBE 136 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | MAYBE 220 | MAYBE 116 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | MAYBE 262 | MAYBE 177 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 175 | MAYBE 96 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 171 | MAYBE 105 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 167 | MAYBE 106 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^4 21179 | MAYBE 44974 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | TIMEOUT 60278 | MAYBE 53159 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | TIMEOUT 60261 | MAYBE 7645 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | TIMEOUT 60226 | TIMEOUT 60397 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | TIMEOUT 60217 | MAYBE 5686 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 173 | MAYBE 106 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 158 | MAYBE 99 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 181 | MAYBE 113 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 177 | MAYBE 107 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | TIMEOUT 60206 | MAYBE 17410 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 189 | MAYBE 5417 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 188 | MAYBE 113 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 164 | MAYBE 103 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | TIMEOUT 60188 | TIMEOUT 60450 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 207 | MAYBE 114 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 179 | MAYBE 3611 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 165 | MAYBE 99 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 194 | MAYBE 105 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 202 | MAYBE 113 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 182 | MAYBE 124 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 178 | MAYBE 108 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 177 | MAYBE 109 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 182 | MAYBE 106 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 208 | MAYBE 115 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 177 | MAYBE 108 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 178 | MAYBE 106 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 180 | MAYBE 103 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 162 | MAYBE 99 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | MAYBE 169 | MAYBE 104 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 156 | MAYBE 100 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 176 | MAYBE 106 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 184 | MAYBE 89 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | MAYBE 221 | MAYBE 112 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 204 | MAYBE 142 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 195 | MAYBE 122 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 205 | MAYBE 111 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 202 | MAYBE 110 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 231 | MAYBE 126 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 155 | MAYBE 125 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 157 | MAYBE 105 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 166 | MAYBE 98 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 192 | MAYBE 103 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 197 | MAYBE 104 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 209 | MAYBE 106 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 204 | MAYBE 108 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | TIMEOUT 60183 | MAYBE 375 |
| tpdb-8.0/TRS/AProVE_08/round.xml | TIMEOUT 60163 | MAYBE 1774 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 174 | MAYBE 104 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 176 | MAYBE 109 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 191 | MAYBE 107 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 188 | MAYBE 115 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 202 | MAYBE 115 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 180 | MAYBE 150 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 166 | MAYBE 106 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 206 | MAYBE 123 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | MAYBE 225 | MAYBE 124 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 197 | MAYBE 135 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 179 | MAYBE 114 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 189 | MAYBE 104 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 169 | MAYBE 104 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 167 | MAYBE 94 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 188 | MAYBE 103 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 190 | MAYBE 101 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 173 | MAYBE 102 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 196 | MAYBE 105 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 148 | MAYBE 92 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 166 | MAYBE 101 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 143 | MAYBE 97 |
| tpdb-8.0/TRS/Bouchare_06/01.xml | n^0 - n^1 1355 | MAYBE 10263 |
| tpdb-8.0/TRS/Bouchare_06/02.xml | n^0 - n^1 1349 | n^0 - n^2 226 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | MAYBE 52005 | MAYBE 13632 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | MAYBE 38510 | MAYBE 12444 |
| tpdb-8.0/TRS/Bouchare_06/06.xml | TIMEOUT 60199 | TIMEOUT 60458 |
| tpdb-8.0/TRS/Bouchare_06/09.xml | MAYBE 32590 | MAYBE 8562 |
| tpdb-8.0/TRS/Bouchare_06/10.xml | TIMEOUT 60157 | MAYBE 17094 |
| tpdb-8.0/TRS/Bouchare_06/11.xml | MAYBE 21825 | MAYBE 2508 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | TIMEOUT 60180 | MAYBE 10690 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | TIMEOUT 60186 | MAYBE 14989 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 148 | MAYBE 95 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 308 | MAYBE 157 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | TIMEOUT 60223 | MAYBE 12913 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 193 | MAYBE 107 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | TIMEOUT 60277 | MAYBE 49191 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | MAYBE 206 | MAYBE 110 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 211 | MAYBE 107 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 188 | MAYBE 123 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 198 | MAYBE 114 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 214 | MAYBE 116 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 218 | n^0 - n^1 154 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 326 | n^0 - n^1 117 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 5287 | n^0 - n^2 179 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^2 3216 | n^0 - n^2 156 |
| tpdb-8.0/TRS/Der95/11.xml | MAYBE 168 | MAYBE 102 |
| tpdb-8.0/TRS/Der95/13.xml | MAYBE 163 | MAYBE 109 |
| tpdb-8.0/TRS/Der95/17.xml | MAYBE 30226 | MAYBE 308 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 40881 | MAYBE 735 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 149 | MAYBE 97 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 153 | MAYBE 99 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 309 | TIMEOUT 60395 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MAYBE 140 | MAYBE 94 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | TIMEOUT 60162 | TIMEOUT 60324 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | TIMEOUT 60205 | TIMEOUT 60466 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 167 | MAYBE 83 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | MAYBE 166 | MAYBE 103 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | MAYBE 162 | MAYBE 91 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^2 18271 | TIMEOUT 60411 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 45201 | TIMEOUT 60365 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 298 | TIMEOUT 60395 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | TIMEOUT 60171 | TIMEOUT 60381 |
| tpdb-8.0/TRS/Gebhardt_06/06.xml | TIMEOUT 60170 | TIMEOUT 60539 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | TIMEOUT 60175 | TIMEOUT 60477 |
| tpdb-8.0/TRS/Gebhardt_06/10.xml | TIMEOUT 60201 | TIMEOUT 60516 |
| tpdb-8.0/TRS/Gebhardt_06/11.xml | TIMEOUT 60200 | TIMEOUT 60580 |
| tpdb-8.0/TRS/Gebhardt_06/12.xml | TIMEOUT 60199 | TIMEOUT 60471 |
| tpdb-8.0/TRS/Gebhardt_06/13.xml | TIMEOUT 60202 | TIMEOUT 60553 |
| tpdb-8.0/TRS/Gebhardt_06/17.xml | TIMEOUT 60192 | TIMEOUT 60394 |
| tpdb-8.0/TRS/Gebhardt_06/18.xml | TIMEOUT 60188 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Gebhardt_06/19.xml | TIMEOUT 60172 | TIMEOUT 60151 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 169 | MAYBE 109 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 145 | MAYBE 95 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 153 | MAYBE 98 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 173 | MAYBE 99 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 173 | MAYBE 97 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 175 | MAYBE 104 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 166 | MAYBE 95 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 156 | MAYBE 128 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 182 | MAYBE 93 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 183 | MAYBE 109 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 20173 | MAYBE 116 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 20195 | MAYBE 736 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 137 | MAYBE 91 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 167 | MAYBE 103 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | MAYBE 180 | MAYBE 97 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | MAYBE 527 | MAYBE 52423 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60567 | TIMEOUT 60491 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 263 | n^0 - n^2 136 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | TIMEOUT 60174 | MAYBE 991 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 170 | MAYBE 124 |
| tpdb-8.0/TRS/Mixed_SRS/01.xml | TIMEOUT 60163 | TIMEOUT 60402 |
| tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml | TIMEOUT 60183 | MAYBE 5499 |
| tpdb-8.0/TRS/Mixed_SRS/02.xml | TIMEOUT 60188 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Mixed_SRS/06.xml | TIMEOUT 60169 | TIMEOUT 60231 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | TIMEOUT 60215 | MAYBE 10464 |
| tpdb-8.0/TRS/Mixed_SRS/09.xml | TIMEOUT 60195 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | TIMEOUT 60170 | TIMEOUT 60497 |
| tpdb-8.0/TRS/Mixed_SRS/3.xml | n^0 - n^1 1197 | MAYBE 4563 |
| tpdb-8.0/TRS/Mixed_SRS/s6.xml | n^0 - n^2 28451 | TIMEOUT 60251 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | n^0 - n^2 5460 | n^0 - n^2 338 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 253 | TIMEOUT 60400 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^1 243 | MAYBE 9589 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 160 | MAYBE 92 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | MAYBE 138 | MAYBE 91 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | TIMEOUT 60248 | TIMEOUT 60485 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 193 | MAYBE 101 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 177 | MAYBE 121 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 169 | MAYBE 93 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | MAYBE 153 | MAYBE 92 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 3324 | n^0 - n^2 180 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 3511 | n^0 - n^2 185 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | MAYBE 162 | MAYBE 82 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | TIMEOUT 60155 | MAYBE 5226 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | MAYBE 182 | MAYBE 102 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 165 | MAYBE 107 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 332 | n^0 - n^1 113 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 279 | n^0 - n^3 4257 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | MAYBE 192 | MAYBE 103 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | MAYBE 168 | MAYBE 87 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 172 | MAYBE 95 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | TIMEOUT 60235 | MAYBE 41259 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | TIMEOUT 60255 | TIMEOUT 60264 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | TIMEOUT 60198 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | TIMEOUT 60195 | MAYBE 38334 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | TIMEOUT 60184 | MAYBE 15835 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml | TIMEOUT 60194 | n^0 - n^2 347 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | MAYBE 33138 | MAYBE 13549 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | TIMEOUT 60204 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | TIMEOUT 60198 | MAYBE 59669 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | TIMEOUT 60178 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 182 | MAYBE 100 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 176 | MAYBE 310 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 183 | MAYBE 100 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | MAYBE 241 | MAYBE 131 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 184 | MAYBE 100 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 181 | MAYBE 123 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 148 | MAYBE 94 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 237 | MAYBE 3516 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 173 | MAYBE 84 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | TIMEOUT 60152 | MAYBE 501 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | TIMEOUT 60178 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Secret_06_SRS/1.xml | TIMEOUT 60183 | MAYBE 26141 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | TIMEOUT 60189 | TIMEOUT 60531 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | TIMEOUT 60288 | TIMEOUT 60368 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | TIMEOUT 60316 | TIMEOUT 60934 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | TIMEOUT 60275 | TIMEOUT 60314 |
| tpdb-8.0/TRS/Secret_06_SRS/multum1.xml | TIMEOUT 60166 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Secret_06_SRS/multum2.xml | TIMEOUT 60188 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | TIMEOUT 60194 | MAYBE 9626 |
| tpdb-8.0/TRS/Secret_06_SRS/secr5.xml | TIMEOUT 60211 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Secret_06_SRS/secr9.xml | TIMEOUT 60206 | TIMEOUT 60592 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 263 | TIMEOUT 60584 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | TIMEOUT 60192 | TIMEOUT 60484 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | n^0 - n^1 267 | TIMEOUT 60417 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | MAYBE 184 | MAYBE 139 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml | MAYBE 170 | MAYBE 4459 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 164 | MAYBE 91 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | MAYBE 146 | MAYBE 92 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 163 | MAYBE 104 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 168 | MAYBE 104 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^1 335 | MAYBE 361 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MAYBE 20289 | MAYBE 425 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 178 | MAYBE 102 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | TIMEOUT 60203 | TIMEOUT 60421 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | TIMEOUT 60198 | MAYBE 22528 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | TIMEOUT 60152 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 40776 | MAYBE 2332 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | MAYBE 34978 | MAYBE 1263 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | TIMEOUT 60183 | MAYBE 7214 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | TIMEOUT 60172 | MAYBE 4044 |
| tpdb-8.0/TRS/Secret_07_SRS/x07.xml | TIMEOUT 60229 | MAYBE 8129 |
| tpdb-8.0/TRS/Secret_07_SRS/x09.xml | MAYBE 23277 | TIMEOUT 60231 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | MAYBE 31808 | MAYBE 42870 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | TIMEOUT 60192 | MAYBE 477 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | TIMEOUT 60229 | MAYBE 1231 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 188 | MAYBE 116 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 187 | MAYBE 114 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 175 | MAYBE 239 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 195 | MAYBE 111 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 175 | MAYBE 105 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | MAYBE 190 | MAYBE 99 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 199 | MAYBE 106 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 193 | MAYBE 104 |
| tpdb-8.0/TRS/SK90/2.04.xml | n^0 - n^2 3308 | n^0 - n^2 130 |
| tpdb-8.0/TRS/SK90/2.05.xml | MAYBE 142 | MAYBE 91 |
| tpdb-8.0/TRS/SK90/2.08.xml | MAYBE 169 | MAYBE 91 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^2 5222 | n^0 - n^2 196 |
| tpdb-8.0/TRS/SK90/2.14.xml | TIMEOUT 60185 | MAYBE 388 |
| tpdb-8.0/TRS/SK90/2.18.xml | MAYBE 164 | MAYBE 91 |
| tpdb-8.0/TRS/SK90/2.19.xml | MAYBE 145 | MAYBE 92 |
| tpdb-8.0/TRS/SK90/2.22.xml | MAYBE 146 | MAYBE 136 |
| tpdb-8.0/TRS/SK90/2.23.xml | MAYBE 150 | MAYBE 93 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 188 | MAYBE 100 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 153 | MAYBE 103 |
| tpdb-8.0/TRS/SK90/2.32.xml | MAYBE 177 | MAYBE 96 |
| tpdb-8.0/TRS/SK90/2.35.xml | MAYBE 165 | MAYBE 92 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^2 5249 | n^0 - n^2 165 |
| tpdb-8.0/TRS/SK90/2.39.xml | TIMEOUT 60185 | MAYBE 459 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 173 | MAYBE 88 |
| tpdb-8.0/TRS/SK90/2.44.xml | MAYBE 179 | MAYBE 99 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 173 | MAYBE 99 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^1 224 | n^0 - n^1 157 |
| tpdb-8.0/TRS/SK90/2.57.xml | MAYBE 143 | MAYBE 90 |
| tpdb-8.0/TRS/SK90/4.03.xml | MAYBE 175 | MAYBE 93 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^2 3295 | n^0 - n^2 169 |
| tpdb-8.0/TRS/SK90/4.10.xml | MAYBE 143 | MAYBE 272 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 171 | MAYBE 86 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 321 | n^0 - n^2 461 |
| tpdb-8.0/TRS/SK90/4.19.xml | n^0 - n^1 231 | n^0 - n^1 126 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^2 5283 | n^0 - n^2 256 |
| tpdb-8.0/TRS/SK90/4.32.xml | MAYBE 41106 | MAYBE 5919 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 24300 | MAYBE 9198 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^1 236 | n^0 - n^1 119 |
| tpdb-8.0/TRS/SK90/4.40.xml | MAYBE 167 | MAYBE 106 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 313 | n^0 - n^2 160 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 329 | n^0 - n^2 1775 |
| tpdb-8.0/TRS/SK90/4.49.xml | MAYBE 135 | MAYBE 111 |
| tpdb-8.0/TRS/SK90/4.53.xml | MAYBE 148 | MAYBE 92 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 151 | MAYBE 94 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.14.xml | MAYBE 162 | MAYBE 92 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml | MAYBE 139 | MAYBE 93 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | MAYBE 58174 | TIMEOUT 60523 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | MAYBE 20208 | MAYBE 152 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.26.xml | MAYBE 173 | MAYBE 88 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | MAYBE 178 | MAYBE 95 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.2.xml | MAYBE 158 | MAYBE 92 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | MAYBE 150 | MAYBE 98 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.34.xml | MAYBE 148 | MAYBE 92 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | MAYBE 164 | MAYBE 86 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | MAYBE 184 | MAYBE 95 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 172 | MAYBE 95 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | MAYBE 180 | MAYBE 96 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | MAYBE 148 | MAYBE 85 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 37454 | TIMEOUT 60404 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 20192 | MAYBE 241 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml | MAYBE 148 | MAYBE 89 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | MAYBE 144 | MAYBE 87 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | MAYBE 148 | MAYBE 2805 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | TIMEOUT 60187 | MAYBE 451 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml | MAYBE 179 | MAYBE 95 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 20384 | MAYBE 470 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 140 | MAYBE 83 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 20230 | MAYBE 434 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 22193 | MAYBE 248 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | MAYBE 20322 | TIMEOUT 60456 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MAYBE 160 | MAYBE 82 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 168 | MAYBE 91 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | MAYBE 142 | MAYBE 90 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 242 | n^0 - n^2 187 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MAYBE 143 | MAYBE 212 |
| tpdb-8.0/TRS/Trafo_06/dup05.xml | TIMEOUT 60308 | TIMEOUT 60648 |
| tpdb-8.0/TRS/Trafo_06/dup09.xml | TIMEOUT 60231 | TIMEOUT 60510 |
| tpdb-8.0/TRS/Trafo_06/dup14.xml | TIMEOUT 60258 | TIMEOUT 60478 |
| tpdb-8.0/TRS/Trafo_06/dup15.xml | TIMEOUT 60193 | TIMEOUT 60590 |
| tpdb-8.0/TRS/Trafo_06/dup16.xml | n^0 - n^1 1273 | MAYBE 38641 |
| tpdb-8.0/TRS/Trafo_06/hom03.xml | TIMEOUT 60162 | TIMEOUT 60430 |
| tpdb-8.0/TRS/Trafo_06/un12.xml | TIMEOUT 60166 | TIMEOUT 60538 |
| tpdb-8.0/TRS/Trafo_06/un15.xml | TIMEOUT 60222 | TIMEOUT 60526 |
| tpdb-8.0/TRS/Trafo_06/un17.xml | TIMEOUT 60195 | TIMEOUT 60602 |
| tpdb-8.0/TRS/Trafo_06/un18.xml | TIMEOUT 60221 | TIMEOUT 60530 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | MAYBE 334 | MAYBE 202 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | MAYBE 169 | MAYBE 89 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml | MAYBE 172 | MAYBE 87 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | MAYBE 20147 | MAYBE 730 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | MAYBE 261 | MAYBE 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | TIMEOUT 60173 | MAYBE 191 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | MAYBE 245 | MAYBE 133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | MAYBE 198 | MAYBE 122 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | NO 143 | ERROR 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | MAYBE 155 | MAYBE 133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 170 | MAYBE 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml | MAYBE 221 | MAYBE 121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | TIMEOUT 60202 | MAYBE 706 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | TIMEOUT 60185 | MAYBE 635 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | n^0 - n^1 227 | n^0 - n^1 140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | MAYBE 246 | MAYBE 148 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml | MAYBE 233 | MAYBE 769 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^1 226 | n^0 - n^1 153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | MAYBE 206 | MAYBE 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | NO 169 | ERROR 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | MAYBE 180 | MAYBE 126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml | MAYBE 145 | MAYBE 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 5323 | n^0 - n^2 316 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | MAYBE 170 | MAYBE 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | MAYBE 173 | MAYBE 126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | MAYBE 144 | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 160 | ERROR 268 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | MAYBE 170 | MAYBE 101 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml | MAYBE 212 | MAYBE 147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 175 | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | MAYBE 165 | MAYBE 117 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | NO 167 | ERROR 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | NO 178 | ERROR 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 277 | n^0 - n^1 11400 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | NO 138 | ERROR 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | MAYBE 149 | MAYBE 86 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 1223 | n^0 - n^2 306 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | MAYBE 160 | MAYBE 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | TIMEOUT 60193 | MAYBE 1426 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 5236 | n^0 - n^2 181 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml | n^0 - n^4 29064 | TIMEOUT 60427 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 169 | ERROR 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | TIMEOUT 60264 | MAYBE 15951 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | MAYBE 319 | MAYBE 190 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | NO 194 | ERROR 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml | MAYBE 187 | MAYBE 125 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml | MAYBE 253 | MAYBE 152 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | MAYBE 224 | MAYBE 133 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60250 | MAYBE 6789 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | NO 161 | ERROR 131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | NO 139 | ERROR 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 624 | MAYBE 916 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml | MAYBE 340 | MAYBE 223 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | NO 212 | ERROR 157 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | MAYBE 844 | MAYBE 505 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml | MAYBE 250 | MAYBE 156 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml | MAYBE 337 | MAYBE 193 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml | MAYBE 409 | MAYBE 574 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml | MAYBE 673 | MAYBE 388 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 266 | MAYBE 155 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | MAYBE 214 | MAYBE 119 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | NO 186 | ERROR 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml | MAYBE 286 | MAYBE 170 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | NO 171 | ERROR 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | TIMEOUT 60229 | MAYBE 5009 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | TIMEOUT 60231 | MAYBE 27749 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml | MAYBE 477 | MAYBE 271 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | NO 204 | ERROR 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | TIMEOUT 60295 | MAYBE 1340 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 284 | MAYBE 165 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | TIMEOUT 60205 | MAYBE 539 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | TIMEOUT 60225 | MAYBE 831 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml | MAYBE 331 | MAYBE 190 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml | MAYBE 282 | MAYBE 152 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 150 | ERROR 299 |
| tpdb-8.0/TRS/Various_04/03.xml | MAYBE 163 | MAYBE 93 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^1 186 | n^0 - n^1 114 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 224 | MAYBE 160 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 199 | MAYBE 123 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 197 | MAYBE 114 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 276 | MAYBE 147 |
| tpdb-8.0/TRS/Various_04/21.xml | TIMEOUT 60233 | TIMEOUT 60389 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 145 | MAYBE 317 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 18752 | MAYBE 25193 |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^1 248 | n^0 - n^1 153 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | MAYBE 29556 | MAYBE 6653 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | n^0 - n^2 15810 | MAYBE 5329 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | MAYBE 41238 | MAYBE 3760 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60200 | MAYBE 2490 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 38244 | MAYBE 444 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60198 | MAYBE 2220 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | TIMEOUT 60172 | MAYBE 522 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | TIMEOUT 60199 | MAYBE 4653 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 239 | MAYBE 15058 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | n^0 - n^2 15592 | MAYBE 31847 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | TIMEOUT 60258 | MAYBE 16751 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | TIMEOUT 60230 | TIMEOUT 60416 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml | TIMEOUT 60234 | TIMEOUT 61735 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml | n^0 - n^2 15505 | MAYBE 6208 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml | n^0 - n^1 1571 | MAYBE 5634 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml | MAYBE 20422 | MAYBE 46544 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | n^0 - n^1 1224 | MAYBE 6472 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml | TIMEOUT 60182 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml | MAYBE 56491 | MAYBE 9420 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml | TIMEOUT 60174 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | MAYBE 32116 | MAYBE 7764 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | TIMEOUT 60177 | MAYBE 3072 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | MAYBE 20427 | MAYBE 2062 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml | MAYBE 31205 | MAYBE 1567 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | TIMEOUT 60168 | MAYBE 32715 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | TIMEOUT 60147 | MAYBE 6770 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml | MAYBE 24672 | MAYBE 1233 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | TIMEOUT 60180 | MAYBE 6391 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | MAYBE 20397 | MAYBE 31622 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | MAYBE 20361 | MAYBE 31187 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml | MAYBE 37602 | TIMEOUT 60413 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml | MAYBE 20440 | MAYBE 38599 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml | TIMEOUT 60182 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml | TIMEOUT 60188 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml | MAYBE 21385 | MAYBE 6004 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | TIMEOUT 60178 | MAYBE 32797 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml | MAYBE 23804 | MAYBE 34835 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml | MAYBE 26764 | MAYBE 5966 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | TIMEOUT 60180 | TIMEOUT 60268 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml | TIMEOUT 60206 | TIMEOUT 60234 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml | MAYBE 21497 | TIMEOUT 60325 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml | MAYBE 20835 | TIMEOUT 60269 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml | MAYBE 29819 | MAYBE 1939 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml | MAYBE 31782 | MAYBE 1601 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml | MAYBE 21442 | MAYBE 5548 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | MAYBE 21328 | MAYBE 5035 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml | MAYBE 21413 | MAYBE 32442 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml | MAYBE 20398 | TIMEOUT 60235 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml | MAYBE 20440 | TIMEOUT 60277 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml | MAYBE 25446 | MAYBE 5749 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml | MAYBE 22962 | MAYBE 4825 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml | MAYBE 21340 | MAYBE 5516 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-207.xml | MAYBE 21366 | MAYBE 31894 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-209.xml | MAYBE 21412 | MAYBE 32067 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-221.xml | MAYBE 21251 | MAYBE 6389 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-223.xml | MAYBE 21520 | MAYBE 30541 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-225.xml | MAYBE 21596 | TIMEOUT 60248 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml | MAYBE 38164 | MAYBE 4563 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml | MAYBE 30891 | MAYBE 1378 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml | MAYBE 31187 | MAYBE 4236 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml | MAYBE 21653 | MAYBE 5876 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml | MAYBE 21494 | MAYBE 30686 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml | MAYBE 48228 | MAYBE 6346 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml | MAYBE 30178 | MAYBE 5882 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml | MAYBE 22405 | MAYBE 39518 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml | MAYBE 21251 | MAYBE 1925 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml | TIMEOUT 60159 | MAYBE 28517 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml | TIMEOUT 60180 | MAYBE 40870 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml | MAYBE 20406 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml | MAYBE 20484 | TIMEOUT 60232 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml | MAYBE 57034 | MAYBE 6170 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml | MAYBE 20361 | MAYBE 30429 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-352.xml | MAYBE 21288 | MAYBE 4493 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml | TIMEOUT 60191 | TIMEOUT 60260 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml | TIMEOUT 60190 | TIMEOUT 60462 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml | MAYBE 20409 | MAYBE 30107 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml | TIMEOUT 60182 | MAYBE 45419 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml | TIMEOUT 60188 | TIMEOUT 60281 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml | TIMEOUT 60180 | MAYBE 47375 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml | MAYBE 21707 | MAYBE 5453 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml | MAYBE 43237 | MAYBE 48886 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml | MAYBE 20390 | MAYBE 3226 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml | TIMEOUT 60188 | MAYBE 2258 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml | MAYBE 21843 | MAYBE 6650 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml | TIMEOUT 60158 | MAYBE 3280 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml | TIMEOUT 60193 | TIMEOUT 60263 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml | MAYBE 20371 | MAYBE 11835 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml | MAYBE 20314 | MAYBE 8630 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml | MAYBE 50589 | MAYBE 14612 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml | TIMEOUT 60169 | MAYBE 2494 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | TIMEOUT 60190 | MAYBE 2257 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml | MAYBE 56495 | MAYBE 2393 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml | TIMEOUT 60192 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml | TIMEOUT 60187 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml | MAYBE 21697 | n^0 - n^1 162 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml | MAYBE 24944 | MAYBE 40809 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | MAYBE 24861 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml | MAYBE 20441 | TIMEOUT 60230 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml | MAYBE 23084 | MAYBE 8139 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | MAYBE 20413 | TIMEOUT 60263 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml | MAYBE 20437 | MAYBE 32536 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml | MAYBE 22400 | MAYBE 4637 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml | MAYBE 26180 | MAYBE 1143 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml | MAYBE 20380 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml | MAYBE 22212 | MAYBE 32232 |
| tpdb-8.0/TRS/Zantema_04/syracuse.xml | TIMEOUT 60222 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | n^0 - n^4 16683 | MAYBE 2109 |
| tpdb-8.0/TRS/Zantema_04/z010.xml | TIMEOUT 60175 | MAYBE 4215 |
| tpdb-8.0/TRS/Zantema_04/z012.xml | TIMEOUT 60164 | MAYBE 1566 |
| tpdb-8.0/TRS/Zantema_04/z018.xml | TIMEOUT 60164 | MAYBE 5616 |
| tpdb-8.0/TRS/Zantema_04/z025.xml | n^0 - n^2 3671 | n^0 - n^2 259 |
| tpdb-8.0/TRS/Zantema_04/z027.xml | n^0 - n^1 435 | TIMEOUT 60495 |
| tpdb-8.0/TRS/Zantema_04/z032.xml | n^0 - n^1 385 | TIMEOUT 60440 |
| tpdb-8.0/TRS/Zantema_04/z033.xml | n^0 - n^1 322 | TIMEOUT 60290 |
| tpdb-8.0/TRS/Zantema_04/z034.xml | TIMEOUT 60173 | TIMEOUT 60329 |
| tpdb-8.0/TRS/Zantema_04/z037.xml | n^0 - n^1 373 | TIMEOUT 60550 |
| tpdb-8.0/TRS/Zantema_04/z041.xml | TIMEOUT 60160 | TIMEOUT 60463 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | TIMEOUT 60155 | TIMEOUT 60561 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | n^0 - n^1 380 | TIMEOUT 60350 |
| tpdb-8.0/TRS/Zantema_04/z047.xml | n^0 - n^1 355 | TIMEOUT 60363 |
| tpdb-8.0/TRS/Zantema_04/z048.xml | n^0 - n^1 355 | TIMEOUT 60652 |
| tpdb-8.0/TRS/Zantema_04/z051.xml | n^0 - n^1 324 | TIMEOUT 60468 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | n^0 - n^1 351 | TIMEOUT 60481 |
| tpdb-8.0/TRS/Zantema_04/z061.xml | n^0 - n^1 327 | TIMEOUT 60307 |
| tpdb-8.0/TRS/Zantema_04/z065.xml | TIMEOUT 60236 | TIMEOUT 60563 |
| tpdb-8.0/TRS/Zantema_04/z068.xml | TIMEOUT 60187 | MAYBE 47007 |
| tpdb-8.0/TRS/Zantema_04/z071.xml | MAYBE 27512 | MAYBE 7937 |
| tpdb-8.0/TRS/Zantema_04/z072.xml | TIMEOUT 60204 | MAYBE 45221 |
| tpdb-8.0/TRS/Zantema_04/z074.xml | TIMEOUT 60289 | MAYBE 37993 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | MAYBE 20329 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Zantema_04/z078.xml | MAYBE 34234 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_04/z079.xml | TIMEOUT 60213 | MAYBE 15369 |
| tpdb-8.0/TRS/Zantema_04/z085.xml | n^0 - n^1 322 | n^0 - n^1 139 |
| tpdb-8.0/TRS/Zantema_04/z089.xml | TIMEOUT 60196 | MAYBE 33156 |
| tpdb-8.0/TRS/Zantema_04/z090.xml | TIMEOUT 60194 | MAYBE 15306 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | TIMEOUT 60203 | MAYBE 41294 |
| tpdb-8.0/TRS/Zantema_04/z102.xml | n^0 - n^1 471 | n^0 - n^2 473 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | n^0 - n^2 4208 | MAYBE 4395 |
| tpdb-8.0/TRS/Zantema_04/z107.xml | n^0 - n^1 795 | MAYBE 4527 |
| tpdb-8.0/TRS/Zantema_04/z112.xml | n^0 - n^1 1559 | MAYBE 2733 |
| tpdb-8.0/TRS/Zantema_04/z113.xml | TIMEOUT 60197 | MAYBE 3676 |
| tpdb-8.0/TRS/Zantema_04/z119.xml | TIMEOUT 60201 | MAYBE 5289 |
| tpdb-8.0/TRS/Zantema_04/z121.xml | TIMEOUT 60193 | MAYBE 16196 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 279 | TIMEOUT 60394 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | n^0 - n^1 267 | MAYBE 59094 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^1 223 | TIMEOUT 60393 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | n^0 - n^1 246 | TIMEOUT 60399 |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | n^0 - n^1 237 | MAYBE 51114 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 268 | TIMEOUT 60468 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^1 276 | TIMEOUT 60392 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^1 269 | MAYBE 34446 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 244 | TIMEOUT 60493 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 238 | TIMEOUT 60480 |
| tpdb-8.0/TRS/Zantema_05/jw37.xml | n^0 - n^1 291 | TIMEOUT 60399 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | n^0 - n^1 936 | MAYBE 53308 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 292 | TIMEOUT 60595 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^2 5272 | n^0 - n^2 255 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | MAYBE 30759 | TIMEOUT 60484 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 176 | MAYBE 111 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | TIMEOUT 60208 | MAYBE 26984 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | TIMEOUT 60174 | MAYBE 17376 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | TIMEOUT 60165 | MAYBE 2147 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | TIMEOUT 60220 | TIMEOUT 60557 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 5541 | n^0 - n^2 961 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | n^0 - n^1 1752 | TIMEOUT 60516 |
| tpdb-8.0/TRS/Zantema_06/01.xml | TIMEOUT 60180 | MAYBE 1846 |
| tpdb-8.0/TRS/Zantema_06/02.xml | TIMEOUT 60190 | MAYBE 6759 |
| tpdb-8.0/TRS/Zantema_06/04.xml | TIMEOUT 60178 | MAYBE 50120 |
| tpdb-8.0/TRS/Zantema_06/05.xml | TIMEOUT 60185 | TIMEOUT 60269 |
| tpdb-8.0/TRS/Zantema_06/06.xml | TIMEOUT 60199 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Zantema_06/07.xml | MAYBE 32307 | TIMEOUT 60541 |
| tpdb-8.0/TRS/Zantema_06/10.xml | MAYBE 41070 | MAYBE 9424 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | TIMEOUT 60206 | MAYBE 22360 |
| tpdb-8.0/TRS/Zantema_06/beans4.xml | TIMEOUT 60206 | MAYBE 13429 |
| tpdb-8.0/TRS/Zantema_06/loop2.xml | TIMEOUT 60158 | MAYBE 4717 | 184 | 78 |