| benchmark | CaT_rc | TCT RC |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | TIMEOUT 60183 | MAYBE 58406 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 3605 | n^0 - n^1 255 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | TIMEOUT 60207 | TIMEOUT 60916 |
| tpdb-8.0/TRS/AG01/#3.1.xml | MAYBE 160 | MAYBE 58332 |
| tpdb-8.0/TRS/AG01/#3.21.xml | MAYBE 168 | MAYBE 58457 |
| tpdb-8.0/TRS/AG01/#3.26.xml | TIMEOUT 60179 | TIMEOUT 60310 |
| tpdb-8.0/TRS/AG01/#3.47.xml | MAYBE 144 | MAYBE 22778 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | MAYBE 146 | MAYBE 60598 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 186 | MAYBE 59487 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 187 | MAYBE 58399 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 275 | n^0 - n^2 842 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 193 | TIMEOUT 60667 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | MAYBE 178 | MAYBE 58193 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | MAYBE 179 | MAYBE 58242 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 180 | MAYBE 58238 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | MAYBE 146 | MAYBE 58162 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | MAYBE 180 | MAYBE 58454 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^2 3997 | n^0 - n^2 1538 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | MAYBE 176 | MAYBE 60568 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | MAYBE 198 | MAYBE 60670 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | MAYBE 203 | MAYBE 22238 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 395 | n^0 - n^1 154 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | MAYBE 159 | MAYBE 58265 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^1 318 | n^0 - n^1 429 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | MAYBE 170 | TIMEOUT 60507 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | MAYBE 192 | MAYBE 58583 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 411 | n^0 - n^1 153 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | MAYBE 168 | MAYBE 58351 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | MAYBE 166 | MAYBE 58521 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | MAYBE 166 | TIMEOUT 60536 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | MAYBE 189 | MAYBE 60709 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | MAYBE 220 | MAYBE 59265 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | MAYBE 164 | MAYBE 58519 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | MAYBE 158 | MAYBE 58559 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | MAYBE 146 | MAYBE 58317 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | MAYBE 206 | MAYBE 58543 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | MAYBE 220 | MAYBE 59552 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | MAYBE 216 | MAYBE 60647 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MAYBE 221 | MAYBE 60512 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | MAYBE 202 | MAYBE 60652 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | MAYBE 322 | MAYBE 59912 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | MAYBE 205 | MAYBE 60579 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | MAYBE 195 | MAYBE 60663 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | MAYBE 268 | MAYBE 60739 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | MAYBE 198 | MAYBE 60687 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | MAYBE 263 | MAYBE 60939 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 173 | MAYBE 58461 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 159 | MAYBE 60459 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 167 | MAYBE 58402 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^4 21249 | TIMEOUT 60394 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 376 | TIMEOUT 60698 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | TIMEOUT 60263 | TIMEOUT 60729 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 402 | TIMEOUT 60665 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | TIMEOUT 60235 | TIMEOUT 60498 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 172 | MAYBE 56924 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 153 | MAYBE 58276 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 192 | MAYBE 58262 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 163 | TIMEOUT 60761 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | TIMEOUT 60207 | TIMEOUT 60626 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 191 | MAYBE 58401 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 192 | MAYBE 60469 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 184 | TIMEOUT 60746 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | TIMEOUT 60190 | TIMEOUT 60718 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 210 | MAYBE 61139 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 180 | MAYBE 58189 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 166 | MAYBE 58318 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 192 | TIMEOUT 60802 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 199 | TIMEOUT 60622 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 170 | MAYBE 60523 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 180 | MAYBE 59946 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 169 | TIMEOUT 61351 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 187 | TIMEOUT 60620 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 210 | TIMEOUT 60243 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 201 | MAYBE 59657 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 182 | MAYBE 58217 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 180 | TIMEOUT 60468 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 168 | MAYBE 58513 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | MAYBE 185 | MAYBE 61540 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 173 | MAYBE 58170 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 187 | TIMEOUT 60685 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 187 | TIMEOUT 60664 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | MAYBE 293 | MAYBE 60460 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 192 | MAYBE 58197 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 178 | TIMEOUT 60733 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 200 | MAYBE 58598 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 204 | TIMEOUT 60616 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 206 | TIMEOUT 60601 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 177 | MAYBE 57732 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 160 | MAYBE 60629 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 166 | MAYBE 58685 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 188 | TIMEOUT 60576 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 200 | MAYBE 59540 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 203 | MAYBE 58493 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 205 | TIMEOUT 60728 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | TIMEOUT 60183 | TIMEOUT 60466 |
| tpdb-8.0/TRS/AProVE_08/round.xml | TIMEOUT 60169 | TIMEOUT 60556 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 175 | MAYBE 58179 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 190 | MAYBE 58221 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 185 | MAYBE 58237 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 187 | MAYBE 58250 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 187 | MAYBE 58234 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 187 | MAYBE 58901 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 206 | MAYBE 58388 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 202 | MAYBE 58870 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 186 | MAYBE 58234 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 199 | MAYBE 59240 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 159 | MAYBE 60742 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 190 | MAYBE 58267 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 192 | TIMEOUT 60741 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 150 | MAYBE 59243 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 166 | TIMEOUT 60533 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 187 | TIMEOUT 60576 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 175 | MAYBE 58222 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 194 | TIMEOUT 60623 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 150 | MAYBE 60659 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 166 | MAYBE 58345 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 159 | MAYBE 59631 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 169 | MAYBE 58154 |
| tpdb-8.0/TRS/CiME_04/append.xml | MAYBE 171 | TIMEOUT 60482 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 317 | n^0 - n^1 1135 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 195 | TIMEOUT 60551 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 150 | MAYBE 62267 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 176 | TIMEOUT 60672 |
| tpdb-8.0/TRS/CiME_04/lse.xml | MAYBE 219 | MAYBE 33522 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 887 | TIMEOUT 60423 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 225 | MAYBE 61668 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 249 | MAYBE 60674 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 267 | n^0 - n^0 132 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 279 | n^0 - n^1 1518 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^1 211 | n^0 - n^1 193 |
| tpdb-8.0/TRS/Der95/17.xml | n^0 - n^1 214 | MAYBE 55450 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 40857 | MAYBE 58600 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 168 | MAYBE 58647 |
| tpdb-8.0/TRS/Der95/28.xml | MAYBE 162 | MAYBE 58133 |
| tpdb-8.0/TRS/Der95/30.xml | MAYBE 132 | MAYBE 58160 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 172 | TIMEOUT 60402 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 174 | MAYBE 60469 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 354 | n^0 - n^2 17017 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MAYBE 161 | MAYBE 58126 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | n^0 - n^1 262 | TIMEOUT 60435 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | n^0 - n^1 268 | MAYBE 58228 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 132 | TIMEOUT 60436 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | MAYBE 163 | MAYBE 54869 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | MAYBE 164 | MAYBE 55209 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^1 275 | TIMEOUT 60681 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 261 | TIMEOUT 60504 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 275 | TIMEOUT 60547 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 161 | MAYBE 60513 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 171 | MAYBE 59511 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 137 | MAYBE 58177 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 176 | MAYBE 58247 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 168 | MAYBE 58173 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 179 | MAYBE 61201 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 177 | MAYBE 60439 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 183 | MAYBE 58207 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 202 | MAYBE 59450 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 176 | MAYBE 58796 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 20156 | MAYBE 1371 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 144 | MAYBE 376 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | TIMEOUT 60266 | MAYBE 58454 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 188 | TIMEOUT 60876 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 20349 | TIMEOUT 60557 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | MAYBE 522 | MAYBE 60541 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60511 | TIMEOUT 60805 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 293 | n^0 - n^1 257 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 5208 | n^0 - n^1 189 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 168 | MAYBE 58332 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | n^0 - n^1 252 | TIMEOUT 60546 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 152 | MAYBE 58108 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | TIMEOUT 60203 | TIMEOUT 60557 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | MAYBE 156 | MAYBE 58151 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | n^0 - n^1 294 | TIMEOUT 60926 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | TIMEOUT 60235 | MAYBE 60114 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 196 | MAYBE 60551 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 167 | MAYBE 60544 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 195 | MAYBE 58836 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 163 | MAYBE 1714 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 170 | MAYBE 58207 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 332 | n^0 - n^1 1205 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | MAYBE 160 | MAYBE 58376 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^1 226 | n^0 - n^1 343 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 173 | MAYBE 57348 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^1 217 | n^0 - n^1 179 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 240 | n^0 - n^0 108 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | MAYBE 192 | MAYBE 58209 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 161 | MAYBE 60606 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 244 | n^0 - n^1 186 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 179 | TIMEOUT 60496 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 185 | MAYBE 60890 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 211 | TIMEOUT 60995 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 302 | TIMEOUT 60638 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 227 | TIMEOUT 60466 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^1 249 | TIMEOUT 60553 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 166 | MAYBE 58282 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 175 | MAYBE 58540 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 183 | MAYBE 60447 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | TIMEOUT 60177 | TIMEOUT 60588 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 176 | MAYBE 61090 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | MAYBE 167 | MAYBE 58535 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | MAYBE 175 | MAYBE 60217 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 166 | n^0 - n^2 24097 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | MAYBE 161 | MAYBE 58413 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 183 | TIMEOUT 60551 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 195 | MAYBE 61174 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 191 | TIMEOUT 60584 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^1 227 | MAYBE 59680 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 190 | MAYBE 60296 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 175 | MAYBE 58580 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 187 | MAYBE 59284 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | n^0 - n^1 268 | TIMEOUT 60546 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | n^0 - n^1 295 | TIMEOUT 60565 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | n^0 - n^1 261 | MAYBE 58418 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 220 | MAYBE 58343 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 237 | MAYBE 58606 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 207 | MAYBE 60090 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 210 | TIMEOUT 60467 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 190 | MAYBE 59545 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 203 | MAYBE 58283 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | MAYBE 193 | MAYBE 58509 |
| tpdb-8.0/TRS/SK90/2.08.xml | MAYBE 171 | TIMEOUT 60707 |
| tpdb-8.0/TRS/SK90/2.12.xml | MAYBE 168 | MAYBE 58459 |
| tpdb-8.0/TRS/SK90/2.13.xml | MAYBE 169 | n^0 - n^1 281 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 159 | MAYBE 55041 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 167 | MAYBE 55231 |
| tpdb-8.0/TRS/SK90/2.30.xml | MAYBE 170 | n^0 - n^0 141 |
| tpdb-8.0/TRS/SK90/2.32.xml | MAYBE 177 | n^0 - n^2 4318 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^1 238 | n^0 - n^1 846 |
| tpdb-8.0/TRS/SK90/2.34.xml | n^0 - n^1 633 | n^0 - n^1 3607 |
| tpdb-8.0/TRS/SK90/2.37.xml | MAYBE 164 | n^0 - n^1 682 |
| tpdb-8.0/TRS/SK90/2.45.xml | MAYBE 166 | TIMEOUT 60622 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 243 | n^0 - n^1 679 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^1 229 | n^0 - n^1 201 |
| tpdb-8.0/TRS/SK90/2.58.xml | MAYBE 155 | n^0 - n^2 408 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 1093 | n^0 - n^2 2348 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^1 235 | n^0 - n^1 425 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 167 | MAYBE 60090 |
| tpdb-8.0/TRS/SK90/4.10.xml | MAYBE 158 | MAYBE 51222 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^1 224 | n^0 - n^2 425 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 154 | MAYBE 56243 |
| tpdb-8.0/TRS/SK90/4.14.xml | MAYBE 176 | MAYBE 60567 |
| tpdb-8.0/TRS/SK90/4.18.xml | MAYBE 167 | n^0 - n^0 106 |
| tpdb-8.0/TRS/SK90/4.20.xml | MAYBE 164 | MAYBE 60449 |
| tpdb-8.0/TRS/SK90/4.22.xml | MAYBE 153 | MAYBE 58385 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 5251 | n^0 - n^1 187 |
| tpdb-8.0/TRS/SK90/4.26.xml | n^0 - n^1 273 | MAYBE 58557 |
| tpdb-8.0/TRS/SK90/4.27.xml | TIMEOUT 60240 | MAYBE 62992 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 246 | n^0 - n^1 180 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 265 | n^0 - n^0 185 |
| tpdb-8.0/TRS/SK90/4.39.xml | n^0 - n^1 214 | n^0 - n^1 253 |
| tpdb-8.0/TRS/SK90/4.40.xml | MAYBE 164 | MAYBE 58347 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 170 | MAYBE 58584 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 316 | n^0 - n^1 218 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 291 | n^0 - n^0 147 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^1 259 | n^0 - n^1 2514 |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^1 226 | MAYBE 58101 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | MAYBE 164 | MAYBE 58531 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | MAYBE 165 | MAYBE 58223 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | n^0 - n^1 282 | TIMEOUT 60590 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | n^0 - n^1 271 | n^0 - n^1 159 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | MAYBE 175 | MAYBE 29379 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 162 | MAYBE 58213 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | MAYBE 164 | MAYBE 42159 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | MAYBE 200 | MAYBE 59264 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | MAYBE 162 | MAYBE 55610 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | MAYBE 156 | MAYBE 2408 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | MAYBE 163 | MAYBE 58717 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | MAYBE 174 | MAYBE 58172 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 150 | MAYBE 60717 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MAYBE 164 | MAYBE 58413 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 20222 | MAYBE 54956 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | MAYBE 166 | MAYBE 58242 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | MAYBE 170 | MAYBE 58198 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 20230 | MAYBE 8112 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | MAYBE 154 | MAYBE 58546 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 20228 | MAYBE 6764 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | MAYBE 176 | MAYBE 58212 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | MAYBE 163 | MAYBE 58111 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 160 | MAYBE 58289 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 20228 | MAYBE 8311 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 181 | TIMEOUT 60392 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | n^0 - n^1 248 | TIMEOUT 60490 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MAYBE 155 | MAYBE 58411 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 164 | MAYBE 58545 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | MAYBE 167 | MAYBE 60643 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | MAYBE 161 | MAYBE 58527 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MAYBE 160 | MAYBE 58358 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | MAYBE 210 | TIMEOUT 60654 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | MAYBE 163 | TIMEOUT 60693 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^1 309 | n^0 - n^3 1922 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | n^0 - n^1 323 | TIMEOUT 60690 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | MAYBE 192 | MAYBE 59841 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | MAYBE 193 | n^0 - n^1 29018 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^1 314 | n^0 - n^3 4653 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 238 | TIMEOUT 60588 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | MAYBE 183 | TIMEOUT 60455 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | MAYBE 239 | TIMEOUT 60695 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 20172 | MAYBE 276 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | NO 148 | ERROR 101 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | NO 168 | ERROR 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 269 | n^0 - n^1 509 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^1 365 | n^0 - n^2 1153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 20175 | MAYBE 1076 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | MAYBE 169 | MAYBE 58570 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 187 | MAYBE 60641 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 259 | TIMEOUT 60639 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | MAYBE 167 | n^0 - n^1 3163 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | MAYBE 178 | MAYBE 60762 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | MAYBE 183 | TIMEOUT 61021 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | MAYBE 250 | TIMEOUT 60648 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | MAYBE 168 | MAYBE 56080 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MAYBE 290 | TIMEOUT 60485 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | n^0 - n^1 488 | TIMEOUT 60583 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | n^0 - n^1 321 | TIMEOUT 60580 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | MAYBE 231 | TIMEOUT 60753 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | MAYBE 214 | MAYBE 60254 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | MAYBE 299 | TIMEOUT 60876 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | MAYBE 260 | TIMEOUT 60613 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | MAYBE 206 | MAYBE 59397 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | MAYBE 217 | MAYBE 59047 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | MAYBE 200 | TIMEOUT 60897 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | TIMEOUT 60189 | TIMEOUT 60571 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 352 | n^0 - n^1 3515 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | MAYBE 166 | n^0 - n^1 727 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | MAYBE 160 | MAYBE 58283 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 172 | MAYBE 58194 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | MAYBE 146 | MAYBE 58117 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 5265 | n^0 - n^2 2918 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | MAYBE 246 | MAYBE 59269 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^1 314 | n^0 - n^2 1315 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^1 310 | n^0 - n^2 44236 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | TIMEOUT 60218 | MAYBE 60552 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 171 | ERROR 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | TIMEOUT 60222 | MAYBE 58187 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | NO 169 | ERROR 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | n^0 - n^1 379 | TIMEOUT 60494 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | MAYBE 218 | MAYBE 58508 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 267 | MAYBE 61732 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml | MAYBE 437 | TIMEOUT 61226 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | MAYBE 221 | MAYBE 58252 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | MAYBE 324 | MAYBE 60648 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | n^0 - n^1 769 | TIMEOUT 60689 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | TIMEOUT 60206 | TIMEOUT 60539 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | n^0 - n^1 910 | TIMEOUT 60534 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml | MAYBE 2287 | MAYBE 60033 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 653 | TIMEOUT 60507 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | MAYBE 511 | TIMEOUT 60859 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 367 | MAYBE 59901 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | MAYBE 365 | TIMEOUT 60781 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 177 | ERROR 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | MAYBE 465 | MAYBE 60441 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | MAYBE 241 | MAYBE 60456 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | TIMEOUT 60229 | TIMEOUT 60741 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | MAYBE 328 | MAYBE 60411 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 277 | MAYBE 61418 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | n^0 - n^1 642 | TIMEOUT 67005 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | MAYBE 222 | MAYBE 60799 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | MAYBE 186 | MAYBE 58250 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 163 | ERROR 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | n^0 - n^1 778 | TIMEOUT 60748 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 5276 | n^0 - n^1 1028 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 162 | ERROR 674 |
| tpdb-8.0/TRS/Various_04/06.xml | MAYBE 173 | n^0 - n^1 1727 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 226 | TIMEOUT 60490 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 197 | MAYBE 59591 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 161 | MAYBE 58416 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 167 | MAYBE 58485 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 277 | n^0 - n^3 27778 |
| tpdb-8.0/TRS/Various_04/19.xml | n^0 - n^1 279 | MAYBE 58325 |
| tpdb-8.0/TRS/Various_04/21.xml | TIMEOUT 60224 | TIMEOUT 60727 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 3469 | n^0 - n^1 318 |
| tpdb-8.0/TRS/Various_04/26.xml | MAYBE 165 | n^0 - n^2 6081 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | n^0 - n^1 242 | n^0 - n^3 39988 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | n^0 - n^1 251 | TIMEOUT 60469 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 234 | TIMEOUT 60456 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 231 | TIMEOUT 60539 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60202 | TIMEOUT 60645 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 38354 | TIMEOUT 60561 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60192 | TIMEOUT 60534 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | MAYBE 160 | TIMEOUT 60547 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MAYBE 164 | TIMEOUT 60490 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 252 | TIMEOUT 60546 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^1 272 | TIMEOUT 60437 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 286 | MAYBE 58144 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | n^0 - n^1 237 | TIMEOUT 60567 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | n^0 - n^1 288 | MAYBE 58167 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^1 244 | TIMEOUT 60613 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^1 235 | TIMEOUT 60570 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | n^0 - n^1 267 | TIMEOUT 60446 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^1 271 | TIMEOUT 60499 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 258 | TIMEOUT 60569 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 252 | TIMEOUT 60500 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | n^0 - n^1 290 | TIMEOUT 60587 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | n^0 - n^1 283 | TIMEOUT 60620 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 286 | n^0 - n^3 35149 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^1 247 | n^0 - n^1 376 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 302 | n^0 - n^3 27707 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | n^0 - n^1 252 | MAYBE 58214 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 230 | TIMEOUT 60540 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 175 | MAYBE 60692 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | TIMEOUT 60196 | MAYBE 58365 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | TIMEOUT 60199 | TIMEOUT 60401 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | TIMEOUT 60212 | TIMEOUT 60531 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 163 | n^0 - n^1 25568 | 183 | 109 |