| benchmark | CaT_rc | TCT iRC |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | TIMEOUT 60163 | MAYBE 10197 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 3602 | n^0 - n^1 331 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | TIMEOUT 60204 | MAYBE 56513 |
| tpdb-8.0/TRS/AG01/#3.1.xml | MAYBE 168 | MAYBE 1928 |
| tpdb-8.0/TRS/AG01/#3.21.xml | MAYBE 167 | MAYBE 55094 |
| tpdb-8.0/TRS/AG01/#3.26.xml | TIMEOUT 60164 | MAYBE 54116 |
| tpdb-8.0/TRS/AG01/#3.47.xml | MAYBE 163 | MAYBE 7369 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | MAYBE 165 | MAYBE 1073 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 184 | MAYBE 9421 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 210 | MAYBE 11611 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 279 | n^0 - n^2 489 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 192 | MAYBE 11282 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | MAYBE 169 | MAYBE 7127 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | MAYBE 183 | MAYBE 10625 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 181 | MAYBE 8480 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | MAYBE 164 | MAYBE 48401 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | MAYBE 173 | MAYBE 55893 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^2 3994 | n^0 - n^1 931 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | MAYBE 169 | TIMEOUT 60681 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | MAYBE 198 | MAYBE 56769 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | MAYBE 200 | MAYBE 58156 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 398 | n^0 - n^1 153 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | MAYBE 160 | MAYBE 22444 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^1 312 | n^0 - n^1 425 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | MAYBE 175 | TIMEOUT 60650 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | MAYBE 196 | MAYBE 58426 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 406 | n^0 - n^1 215 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | MAYBE 167 | MAYBE 37791 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | MAYBE 169 | MAYBE 54783 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | MAYBE 169 | MAYBE 54796 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | MAYBE 191 | MAYBE 58805 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | MAYBE 207 | MAYBE 56278 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | MAYBE 189 | MAYBE 57929 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | MAYBE 180 | MAYBE 56756 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | MAYBE 147 | TIMEOUT 60371 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | MAYBE 227 | MAYBE 56078 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | MAYBE 221 | MAYBE 57435 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | MAYBE 212 | MAYBE 55527 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MAYBE 226 | MAYBE 58733 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | MAYBE 179 | MAYBE 56083 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | MAYBE 314 | MAYBE 38017 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | MAYBE 226 | MAYBE 57552 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | MAYBE 197 | MAYBE 55787 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | MAYBE 269 | MAYBE 56687 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | MAYBE 212 | MAYBE 56531 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | MAYBE 278 | MAYBE 40800 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 172 | MAYBE 57554 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 179 | MAYBE 14094 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 159 | MAYBE 1066 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^4 21167 | TIMEOUT 60523 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 361 | TIMEOUT 60491 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | TIMEOUT 60261 | TIMEOUT 60473 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 394 | TIMEOUT 60461 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | TIMEOUT 60234 | TIMEOUT 60690 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 172 | TIMEOUT 60576 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 175 | MAYBE 8865 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 196 | MAYBE 25006 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 171 | TIMEOUT 60582 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | TIMEOUT 60198 | TIMEOUT 60486 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 193 | MAYBE 3341 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 207 | MAYBE 8016 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 181 | MAYBE 5774 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | TIMEOUT 60191 | TIMEOUT 61122 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 209 | MAYBE 14181 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 161 | MAYBE 8458 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 182 | MAYBE 15750 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 188 | MAYBE 58235 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 193 | TIMEOUT 60562 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 164 | MAYBE 2451 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 166 | MAYBE 22180 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 194 | MAYBE 50738 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 186 | MAYBE 55237 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 207 | MAYBE 54695 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 187 | MAYBE 9131 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 179 | MAYBE 7693 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 181 | MAYBE 12673 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 177 | TIMEOUT 60509 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | MAYBE 180 | MAYBE 17903 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 154 | MAYBE 2965 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 194 | MAYBE 34428 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 181 | MAYBE 19558 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | MAYBE 225 | MAYBE 55315 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 211 | MAYBE 55241 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 208 | MAYBE 58268 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 196 | MAYBE 56320 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 203 | MAYBE 3481 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 222 | MAYBE 55206 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 178 | MAYBE 9158 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 181 | MAYBE 13989 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 167 | TIMEOUT 60588 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 180 | MAYBE 56884 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 200 | TIMEOUT 60603 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 204 | MAYBE 58177 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 210 | TIMEOUT 60694 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | TIMEOUT 60184 | TIMEOUT 60447 |
| tpdb-8.0/TRS/AProVE_08/round.xml | TIMEOUT 60185 | TIMEOUT 60630 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 168 | MAYBE 4600 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 180 | MAYBE 5838 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 163 | MAYBE 10144 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 175 | MAYBE 24206 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 173 | MAYBE 9183 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 190 | MAYBE 13162 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 201 | MAYBE 60334 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 164 | TIMEOUT 60564 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 156 | MAYBE 11361 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 193 | MAYBE 58272 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 178 | MAYBE 4402 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 193 | TIMEOUT 60497 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 186 | MAYBE 55355 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 169 | MAYBE 58131 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 176 | MAYBE 49439 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 167 | MAYBE 40043 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 175 | MAYBE 8718 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 195 | TIMEOUT 60671 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 170 | MAYBE 2931 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 153 | MAYBE 1956 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 166 | MAYBE 1753 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 157 | MAYBE 6571 |
| tpdb-8.0/TRS/CiME_04/append.xml | MAYBE 171 | MAYBE 498 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 306 | n^0 - n^1 59097 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 187 | MAYBE 60645 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 183 | MAYBE 10185 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 213 | MAYBE 55508 |
| tpdb-8.0/TRS/CiME_04/lse.xml | MAYBE 221 | MAYBE 28522 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 890 | MAYBE 60052 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 225 | MAYBE 60694 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 255 | MAYBE 59047 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 266 | n^0 - n^0 132 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 259 | n^0 - n^1 1058 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^1 210 | n^0 - n^1 188 |
| tpdb-8.0/TRS/Der95/17.xml | n^0 - n^1 242 | MAYBE 12888 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 40814 | MAYBE 55049 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 159 | TIMEOUT 60744 |
| tpdb-8.0/TRS/Der95/28.xml | MAYBE 164 | MAYBE 4755 |
| tpdb-8.0/TRS/Der95/30.xml | MAYBE 166 | MAYBE 54664 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 160 | MAYBE 58183 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 169 | MAYBE 20989 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 374 | n^0 - n^2 15501 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MAYBE 153 | MAYBE 2650 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | n^0 - n^1 260 | TIMEOUT 60539 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | n^0 - n^1 283 | MAYBE 55299 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 166 | TIMEOUT 60476 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | MAYBE 165 | MAYBE 28832 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | MAYBE 166 | TIMEOUT 61253 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^1 278 | TIMEOUT 60471 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 243 | TIMEOUT 60579 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 247 | TIMEOUT 60440 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 172 | MAYBE 2636 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 169 | MAYBE 2833 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 169 | MAYBE 15894 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 175 | MAYBE 30777 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 166 | MAYBE 7556 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 178 | MAYBE 54740 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 168 | MAYBE 54567 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 176 | MAYBE 6548 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 203 | MAYBE 15351 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 176 | MAYBE 26901 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 20194 | MAYBE 1329 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 161 | MAYBE 415 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | TIMEOUT 60255 | MAYBE 60400 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 188 | MAYBE 56515 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 20341 | TIMEOUT 61162 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | MAYBE 519 | TIMEOUT 60482 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60459 | TIMEOUT 60463 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 291 | n^0 - n^1 176 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 5218 | n^0 - n^1 175 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 171 | MAYBE 27847 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | n^0 - n^1 251 | TIMEOUT 60493 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 159 | MAYBE 2527 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | TIMEOUT 60174 | TIMEOUT 60465 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | MAYBE 161 | n^0 - n^1 346 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | n^0 - n^1 300 | TIMEOUT 60799 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | TIMEOUT 60232 | TIMEOUT 60556 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 187 | MAYBE 54549 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 160 | MAYBE 12292 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 191 | MAYBE 58391 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 158 | MAYBE 1449 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 177 | MAYBE 4811 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 324 | n^0 - n^1 879 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | MAYBE 160 | MAYBE 2168 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^1 230 | n^0 - n^1 296 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 175 | MAYBE 3879 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^1 232 | n^0 - n^1 168 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 226 | n^0 - n^0 101 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | MAYBE 191 | n^0 - n^1 283 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 172 | MAYBE 56059 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 262 | n^0 - n^1 175 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 176 | MAYBE 46828 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 183 | MAYBE 23576 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 203 | MAYBE 25876 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 303 | MAYBE 56098 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 233 | TIMEOUT 60678 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^1 256 | TIMEOUT 60464 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 165 | MAYBE 54591 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 175 | TIMEOUT 60552 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 174 | MAYBE 54647 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | TIMEOUT 60170 | MAYBE 56153 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 176 | MAYBE 55464 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | MAYBE 171 | MAYBE 38256 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | MAYBE 163 | MAYBE 57519 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 158 | n^0 - n^2 15626 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | MAYBE 166 | MAYBE 11167 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 184 | MAYBE 43975 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 172 | MAYBE 3669 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 198 | MAYBE 55126 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^1 219 | TIMEOUT 60609 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 178 | MAYBE 55525 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 180 | MAYBE 54746 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 189 | MAYBE 54711 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | n^0 - n^1 293 | TIMEOUT 60524 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | n^0 - n^1 304 | TIMEOUT 60580 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | n^0 - n^1 277 | MAYBE 55236 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 218 | MAYBE 4608 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 241 | MAYBE 17734 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 210 | MAYBE 58215 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 210 | MAYBE 23126 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 203 | MAYBE 58217 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 194 | MAYBE 55516 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | MAYBE 193 | MAYBE 23561 |
| tpdb-8.0/TRS/SK90/2.08.xml | MAYBE 149 | MAYBE 4708 |
| tpdb-8.0/TRS/SK90/2.12.xml | MAYBE 153 | MAYBE 10394 |
| tpdb-8.0/TRS/SK90/2.13.xml | MAYBE 167 | n^0 - POLY 257 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 157 | MAYBE 1836 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 165 | MAYBE 27106 |
| tpdb-8.0/TRS/SK90/2.30.xml | MAYBE 150 | n^0 - n^0 121 |
| tpdb-8.0/TRS/SK90/2.32.xml | MAYBE 176 | n^0 - POLY 58302 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^1 236 | n^0 - n^1 502 |
| tpdb-8.0/TRS/SK90/2.34.xml | n^0 - n^1 648 | n^0 - n^1 1393 |
| tpdb-8.0/TRS/SK90/2.37.xml | MAYBE 159 | MAYBE 1004 |
| tpdb-8.0/TRS/SK90/2.45.xml | MAYBE 172 | n^0 - POLY 54600 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 268 | n^0 - n^2 493 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^1 238 | n^0 - n^1 129 |
| tpdb-8.0/TRS/SK90/2.58.xml | MAYBE 162 | n^0 - n^1 224 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 1088 | n^0 - n^2 788 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^1 227 | n^0 - n^1 331 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 167 | MAYBE 3078 |
| tpdb-8.0/TRS/SK90/4.10.xml | MAYBE 167 | MAYBE 2690 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^1 231 | n^0 - n^1 338 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 167 | n^0 - n^3 677 |
| tpdb-8.0/TRS/SK90/4.14.xml | MAYBE 170 | MAYBE 5753 |
| tpdb-8.0/TRS/SK90/4.18.xml | MAYBE 159 | n^0 - n^0 96 |
| tpdb-8.0/TRS/SK90/4.20.xml | MAYBE 176 | MAYBE 13129 |
| tpdb-8.0/TRS/SK90/4.22.xml | MAYBE 167 | MAYBE 2727 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 5238 | n^0 - n^1 182 |
| tpdb-8.0/TRS/SK90/4.26.xml | n^0 - n^1 269 | MAYBE 9034 |
| tpdb-8.0/TRS/SK90/4.27.xml | TIMEOUT 60237 | TIMEOUT 60786 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 244 | n^0 - n^1 203 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 262 | n^0 - n^0 201 |
| tpdb-8.0/TRS/SK90/4.39.xml | n^0 - n^1 237 | n^0 - n^1 254 |
| tpdb-8.0/TRS/SK90/4.40.xml | MAYBE 163 | MAYBE 12165 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 159 | MAYBE 8518 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 284 | n^0 - n^1 254 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 274 | n^0 - n^0 130 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^1 271 | n^0 - n^2 1210 |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^1 227 | MAYBE 772 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | MAYBE 165 | MAYBE 550 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | MAYBE 146 | MAYBE 350 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | n^0 - n^1 299 | TIMEOUT 60532 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | n^0 - n^1 291 | n^0 - n^1 199 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | MAYBE 177 | MAYBE 55360 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 179 | MAYBE 8027 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | MAYBE 157 | MAYBE 7106 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | MAYBE 211 | MAYBE 25819 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | MAYBE 152 | MAYBE 58170 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | MAYBE 155 | MAYBE 900 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | MAYBE 153 | MAYBE 1081 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | MAYBE 174 | MAYBE 883 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 170 | MAYBE 838 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MAYBE 161 | MAYBE 846 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 20213 | MAYBE 151 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | MAYBE 180 | MAYBE 55264 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | MAYBE 196 | MAYBE 1316 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 20233 | MAYBE 1214 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | MAYBE 159 | MAYBE 749 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 20222 | MAYBE 463 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | MAYBE 173 | MAYBE 54910 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | MAYBE 162 | MAYBE 1802 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 168 | MAYBE 4364 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 20230 | MAYBE 9249 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 175 | MAYBE 58159 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | n^0 - n^1 277 | TIMEOUT 60746 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MAYBE 162 | MAYBE 1403 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 165 | MAYBE 1603 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | MAYBE 159 | MAYBE 1116 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | MAYBE 163 | MAYBE 617 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MAYBE 159 | MAYBE 327 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | MAYBE 210 | TIMEOUT 60342 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | MAYBE 157 | MAYBE 1423 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^1 303 | MAYBE 59137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | n^0 - n^1 329 | TIMEOUT 60444 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | MAYBE 195 | MAYBE 59585 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | MAYBE 203 | n^0 - n^1 6642 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^1 330 | n^0 - n^3 3203 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 237 | TIMEOUT 60429 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | MAYBE 190 | TIMEOUT 60580 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | MAYBE 237 | MAYBE 58968 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 20175 | MAYBE 276 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | NO 166 | ERROR 101 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | NO 167 | ERROR 89 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 323 | MAYBE 59110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^1 358 | n^0 - n^2 895 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 20173 | MAYBE 216 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | MAYBE 167 | MAYBE 2166 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 205 | MAYBE 58278 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 274 | TIMEOUT 60626 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | MAYBE 185 | n^0 - n^1 627 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | MAYBE 172 | TIMEOUT 60428 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | MAYBE 203 | MAYBE 55021 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | MAYBE 251 | TIMEOUT 60458 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | MAYBE 176 | TIMEOUT 60562 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MAYBE 289 | MAYBE 60378 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | n^0 - n^1 482 | TIMEOUT 60601 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | n^0 - n^1 323 | TIMEOUT 60633 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | MAYBE 219 | TIMEOUT 60380 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | MAYBE 214 | TIMEOUT 60645 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | MAYBE 297 | TIMEOUT 61035 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | MAYBE 268 | MAYBE 58414 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | MAYBE 171 | MAYBE 33793 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | MAYBE 230 | MAYBE 31360 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | MAYBE 208 | MAYBE 54536 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | TIMEOUT 60189 | MAYBE 6201 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 364 | n^0 - n^1 2978 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | MAYBE 166 | n^0 - n^1 237 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | MAYBE 157 | MAYBE 402 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 139 | MAYBE 5206 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | MAYBE 158 | MAYBE 345 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 5257 | n^0 - n^1 563 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | MAYBE 241 | MAYBE 56635 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^1 311 | n^0 - n^1 1063 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^1 328 | n^0 - n^2 29964 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | TIMEOUT 60203 | TIMEOUT 60749 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 163 | ERROR 102 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | TIMEOUT 60217 | MAYBE 59192 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | NO 163 | ERROR 104 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | n^0 - n^1 384 | TIMEOUT 60548 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | MAYBE 239 | MAYBE 56965 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 267 | MAYBE 58837 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml | MAYBE 407 | MAYBE 60555 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | MAYBE 219 | MAYBE 58504 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | MAYBE 332 | MAYBE 60806 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | n^0 - n^1 746 | TIMEOUT 60541 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | TIMEOUT 60208 | TIMEOUT 60392 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | n^0 - n^1 890 | TIMEOUT 60518 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml | MAYBE 2356 | TIMEOUT 60472 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 644 | MAYBE 24221 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | MAYBE 494 | MAYBE 31208 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 356 | MAYBE 60856 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | MAYBE 366 | MAYBE 59916 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 178 | ERROR 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | MAYBE 421 | MAYBE 60657 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | MAYBE 250 | TIMEOUT 60622 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | TIMEOUT 60226 | TIMEOUT 60378 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | MAYBE 327 | MAYBE 60578 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 257 | MAYBE 56351 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | n^0 - n^1 642 | TIMEOUT 60830 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | MAYBE 220 | MAYBE 55766 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | MAYBE 192 | MAYBE 61123 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 143 | ERROR 130 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | n^0 - n^1 765 | TIMEOUT 60354 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 5275 | n^0 - n^1 278 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 169 | ERROR 2559 |
| tpdb-8.0/TRS/Various_04/06.xml | MAYBE 165 | n^0 - n^1 350 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 197 | MAYBE 9215 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 177 | MAYBE 58268 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 162 | MAYBE 1653 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 180 | TIMEOUT 60592 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 290 | n^0 - n^3 21037 |
| tpdb-8.0/TRS/Various_04/19.xml | n^0 - n^1 273 | TIMEOUT 60643 |
| tpdb-8.0/TRS/Various_04/21.xml | TIMEOUT 60234 | TIMEOUT 60603 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 3431 | n^0 - n^1 261 |
| tpdb-8.0/TRS/Various_04/26.xml | MAYBE 140 | n^0 - n^2 3782 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | n^0 - n^1 241 | MAYBE 54459 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | n^0 - n^1 254 | TIMEOUT 60476 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 243 | MAYBE 7553 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 236 | MAYBE 6525 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60186 | TIMEOUT 60747 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 38345 | TIMEOUT 60698 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60200 | TIMEOUT 60515 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | MAYBE 161 | TIMEOUT 60638 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MAYBE 136 | TIMEOUT 60566 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 213 | TIMEOUT 60512 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^1 237 | TIMEOUT 60582 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 253 | TIMEOUT 60478 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | n^0 - n^1 240 | TIMEOUT 60573 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | n^0 - n^1 292 | TIMEOUT 60443 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^1 238 | TIMEOUT 60537 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^1 247 | TIMEOUT 60589 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | n^0 - n^1 244 | TIMEOUT 60494 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^1 256 | TIMEOUT 60486 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 251 | TIMEOUT 60481 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 250 | TIMEOUT 60533 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | n^0 - n^1 291 | TIMEOUT 60601 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | n^0 - n^1 247 | TIMEOUT 60600 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 308 | n^0 - n^3 32642 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^1 259 | n^0 - n^1 352 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 269 | n^0 - n^3 26836 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | n^0 - n^1 272 | MAYBE 58844 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 207 | TIMEOUT 60515 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 170 | MAYBE 38976 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | TIMEOUT 60207 | TIMEOUT 60658 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | TIMEOUT 60193 | TIMEOUT 60453 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | TIMEOUT 60172 | TIMEOUT 60420 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 138 | MAYBE 12831 | 181 | 109 |