| benchmark | CaT | TCT IDC |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 230 | MAYBE 142 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 207 | MAYBE 130 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 52688 | TIMEOUT 60152 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 51944 | TIMEOUT 60187 |
| tpdb-8.0/TRS/AG01/#3.22.xml | MAYBE 216 | MAYBE 149 |
| tpdb-8.0/TRS/AG01/#3.2.xml | MAYBE 208 | MAYBE 119 |
| tpdb-8.0/TRS/AG01/#3.40.xml | MAYBE 219 | MAYBE 143 |
| tpdb-8.0/TRS/AG01/#3.42.xml | MAYBE 211 | MAYBE 131 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 207 | MAYBE 127 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | MAYBE 205 | MAYBE 129 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 220 | MAYBE 150 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 193 | MAYBE 104 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 234 | MAYBE 140 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | MAYBE 224 | MAYBE 152 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 225 | MAYBE 149 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | MAYBE 230 | MAYBE 904 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | MAYBE 207 | MAYBE 130 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | MAYBE 214 | MAYBE 148 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | MAYBE 208 | MAYBE 142 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 519 | n^0 - n^1 107 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | MAYBE 190 | MAYBE 119 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^2 4690 | n^0 - n^2 633 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^1 330 | n^0 - n^1 129 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | MAYBE 212 | MAYBE 130 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | MAYBE 211 | MAYBE 120 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | MAYBE 222 | MAYBE 146 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | MAYBE 200 | MAYBE 108 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | MAYBE 219 | MAYBE 134 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | MAYBE 191 | MAYBE 116 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | MAYBE 224 | MAYBE 148 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | MAYBE 222 | MAYBE 144 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | MAYBE 307 | MAYBE 185 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | MAYBE 211 | MAYBE 124 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | MAYBE 244 | MAYBE 154 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 5852 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | MAYBE 262 | MAYBE 164 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | MAYBE 230 | MAYBE 153 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | MAYBE 293 | MAYBE 166 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MAYBE 258 | MAYBE 158 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | MAYBE 222 | MAYBE 131 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | MAYBE 229 | MAYBE 153 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | MAYBE 248 | MAYBE 153 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | MAYBE 248 | MAYBE 163 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | MAYBE 249 | MAYBE 134 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | MAYBE 252 | MAYBE 158 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | MAYBE 286 | MAYBE 170 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 318 | MAYBE 191 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 185 | MAYBE 90 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | MAYBE 194 | MAYBE 120 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 249 | MAYBE 166 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 249 | MAYBE 172 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | MAYBE 199 | MAYBE 114 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 212 | MAYBE 130 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 241 | MAYBE 156 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | TIMEOUT 60181 | n^0 - n^3 3781 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^2 12955 | TIMEOUT 60182 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 223 | MAYBE 157 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 228 | MAYBE 305 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 214 | MAYBE 137 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 46482 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 218 | MAYBE 118 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 232 | MAYBE 134 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 45479 | TIMEOUT 60176 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 198 | MAYBE 118 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 212 | MAYBE 137 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 222 | MAYBE 182 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 209 | MAYBE 114 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | MAYBE 224 | MAYBE 143 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 199 | MAYBE 111 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 217 | MAYBE 151 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 213 | MAYBE 137 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 207 | MAYBE 271 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 221 | MAYBE 137 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | MAYBE 225 | MAYBE 137 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | MAYBE 228 | MAYBE 140 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | MAYBE 219 | MAYBE 135 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 203 | MAYBE 123 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | MAYBE 216 | MAYBE 131 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 230 | MAYBE 150 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | MAYBE 213 | MAYBE 146 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 216 | MAYBE 138 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 213 | MAYBE 118 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | MAYBE 241 | MAYBE 159 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | MAYBE 243 | MAYBE 162 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 209 | MAYBE 134 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 232 | MAYBE 146 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 238 | MAYBE 139 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 212 | MAYBE 136 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 221 | MAYBE 129 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 216 | MAYBE 144 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 222 | MAYBE 155 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 232 | MAYBE 146 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 235 | MAYBE 151 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 228 | MAYBE 896 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 19317 | TIMEOUT 60120 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 14411 | MAYBE 17320 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 211 | MAYBE 126 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 221 | MAYBE 1268 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 217 | MAYBE 123 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 212 | MAYBE 124 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 217 | MAYBE 130 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 229 | MAYBE 154 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 228 | MAYBE 138 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 235 | MAYBE 138 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 238 | MAYBE 149 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 218 | MAYBE 128 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 218 | MAYBE 128 |
| tpdb-8.0/TRS/AProVE_10/challenge_fab.xml | MAYBE 202 | MAYBE 122 |
| tpdb-8.0/TRS/AProVE_10/double.xml | MAYBE 213 | MAYBE 126 |
| tpdb-8.0/TRS/AProVE_10/ex1.xml | MAYBE 201 | MAYBE 132 |
| tpdb-8.0/TRS/AProVE_10/ex2.xml | MAYBE 192 | MAYBE 122 |
| tpdb-8.0/TRS/AProVE_10/ex3.xml | MAYBE 207 | MAYBE 129 |
| tpdb-8.0/TRS/AProVE_10/ex4.xml | MAYBE 203 | MAYBE 118 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | MAYBE 195 | MAYBE 118 |
| tpdb-8.0/TRS/AProVE_10/isNat.xml | MAYBE 198 | MAYBE 111 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | MAYBE 205 | MAYBE 127 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | MAYBE 201 | MAYBE 131 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 220 | MAYBE 136 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 211 | MAYBE 130 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 222 | MAYBE 136 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 219 | MAYBE 147 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 1211 | MAYBE 140 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 201 | MAYBE 121 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 221 | MAYBE 140 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 198 | MAYBE 121 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 225 | MAYBE 137 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 215 | MAYBE 167 |
| tpdb-8.0/TRS/Bouchare_06/02.xml | n^0 - n^1 986 | n^0 - n^1 395 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | MAYBE 45540 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Bouchare_06/04.xml | n^0 - n^1 1051 | n^0 - n^1 133 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | n^0 - n^1 1364 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Bouchare_06/07.xml | MAYBE 45544 | TIMEOUT 60191 |
| tpdb-8.0/TRS/Bouchare_06/09.xml | MAYBE 45542 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | n^0 - n^1 1815 | n^0 - n^1 18951 |
| tpdb-8.0/TRS/Bouchare_06/14.xml | n^0 - n^1 913 | MAYBE 40750 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | n^0 - n^1 795 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | MAYBE 45542 | TIMEOUT 60173 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 200 | MAYBE 118 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 325 | MAYBE 205 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 420 | n^0 - n^1 138 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 215 | MAYBE 135 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 222 | MAYBE 136 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 232 | MAYBE 140 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 211 | MAYBE 127 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 272 | MAYBE 174 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 254 | MAYBE 158 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 245 | MAYBE 142 |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^1 361 | n^0 - n^1 136 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 326 | n^0 - n^1 114 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 548 | n^0 - n^1 199 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 45427 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^2 3324 | n^0 - n^2 141 |
| tpdb-8.0/TRS/Der95/17.xml | MAYBE 11271 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Der95/18.xml | MAYBE 192 | MAYBE 116 |
| tpdb-8.0/TRS/Der95/30.xml | MAYBE 177 | MAYBE 99 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 181 | MAYBE 117 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 215 | MAYBE 134 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 427 | n^0 - n^3 23629 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | MAYBE 45255 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 200 | MAYBE 123 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | MAYBE 209 | MAYBE 130 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | MAYBE 211 | MAYBE 113 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | MAYBE 192 | MAYBE 107 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^2 18427 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 55246 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 390 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 453 | n^0 - n^2 4515 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | MAYBE 45558 | TIMEOUT 60221 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | MAYBE 45560 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Gebhardt_06/05.xml | MAYBE 45634 | TIMEOUT 60220 |
| tpdb-8.0/TRS/Gebhardt_06/06.xml | MAYBE 45594 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Gebhardt_06/07.xml | MAYBE 52493 | TIMEOUT 60516 |
| tpdb-8.0/TRS/Gebhardt_06/11.xml | MAYBE 48257 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Gebhardt_06/14.xml | MAYBE 45515 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Gebhardt_06/15.xml | MAYBE 45636 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Gebhardt_06/17.xml | MAYBE 45572 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Gebhardt_06/19.xml | MAYBE 45607 | TIMEOUT 60211 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 201 | MAYBE 116 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 197 | MAYBE 115 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 217 | MAYBE 133 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 196 | MAYBE 113 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 219 | MAYBE 142 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 201 | MAYBE 125 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 202 | MAYBE 137 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 229 | MAYBE 144 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 232 | MAYBE 138 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 213 | MAYBE 127 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 5255 | TIMEOUT 60120 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 5253 | TIMEOUT 60117 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 5520 | TIMEOUT 60138 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 5635 | TIMEOUT 60135 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 205 | MAYBE 131 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | MAYBE 17114 | TIMEOUT 60161 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | MAYBE 556 | MAYBE 384 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60417 | TIMEOUT 60695 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 356 | n^0 - n^1 123 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 205 | MAYBE 121 |
| tpdb-8.0/TRS/ICFP_2010/107220.xml | MAYBE 60004 | TIMEOUT 60162 |
| tpdb-8.0/TRS/ICFP_2010/128280.xml | MAYBE 58912 | TIMEOUT 60161 |
| tpdb-8.0/TRS/ICFP_2010/128430.xml | MAYBE 58588 | TIMEOUT 60256 |
| tpdb-8.0/TRS/ICFP_2010/132782.xml | MAYBE 58713 | TIMEOUT 60232 |
| tpdb-8.0/TRS/ICFP_2010/132920.xml | MAYBE 58492 | TIMEOUT 60278 |
| tpdb-8.0/TRS/ICFP_2010/132957.xml | MAYBE 58464 | TIMEOUT 60167 |
| tpdb-8.0/TRS/ICFP_2010/133432.xml | MAYBE 60087 | TIMEOUT 60173 |
| tpdb-8.0/TRS/ICFP_2010/135410.xml | TIMEOUT 60163 | TIMEOUT 60189 |
| tpdb-8.0/TRS/ICFP_2010/136571.xml | MAYBE 60080 | TIMEOUT 60193 |
| tpdb-8.0/TRS/ICFP_2010/136601.xml | MAYBE 60106 | TIMEOUT 60136 |
| tpdb-8.0/TRS/ICFP_2010/137316.xml | TIMEOUT 60128 | TIMEOUT 60167 |
| tpdb-8.0/TRS/ICFP_2010/138477.xml | MAYBE 57948 | TIMEOUT 60168 |
| tpdb-8.0/TRS/ICFP_2010/139100.xml | MAYBE 58573 | TIMEOUT 60187 |
| tpdb-8.0/TRS/ICFP_2010/139163.xml | MAYBE 58533 | TIMEOUT 60144 |
| tpdb-8.0/TRS/ICFP_2010/139167.xml | MAYBE 58590 | TIMEOUT 60300 |
| tpdb-8.0/TRS/ICFP_2010/139378.xml | MAYBE 58649 | TIMEOUT 60159 |
| tpdb-8.0/TRS/ICFP_2010/140287.xml | MAYBE 58581 | TIMEOUT 60169 |
| tpdb-8.0/TRS/ICFP_2010/140639.xml | MAYBE 56939 | TIMEOUT 60240 |
| tpdb-8.0/TRS/ICFP_2010/142150.xml | MAYBE 56856 | TIMEOUT 60195 |
| tpdb-8.0/TRS/ICFP_2010/148543.xml | TIMEOUT 60184 | TIMEOUT 60173 |
| tpdb-8.0/TRS/ICFP_2010/149297.xml | TIMEOUT 60192 | TIMEOUT 60187 |
| tpdb-8.0/TRS/ICFP_2010/149361.xml | TIMEOUT 60177 | TIMEOUT 60180 |
| tpdb-8.0/TRS/ICFP_2010/149633.xml | TIMEOUT 60173 | TIMEOUT 60163 |
| tpdb-8.0/TRS/ICFP_2010/149849.xml | TIMEOUT 60203 | TIMEOUT 60186 |
| tpdb-8.0/TRS/ICFP_2010/150468.xml | TIMEOUT 60174 | TIMEOUT 60160 |
| tpdb-8.0/TRS/ICFP_2010/150630.xml | TIMEOUT 60157 | TIMEOUT 60147 |
| tpdb-8.0/TRS/ICFP_2010/153034.xml | TIMEOUT 60145 | TIMEOUT 60715 |
| tpdb-8.0/TRS/ICFP_2010/160068.xml | TIMEOUT 60145 | TIMEOUT 60185 |
| tpdb-8.0/TRS/ICFP_2010/160263.xml | TIMEOUT 60379 | TIMEOUT 60241 |
| tpdb-8.0/TRS/ICFP_2010/160660.xml | TIMEOUT 60176 | TIMEOUT 60230 |
| tpdb-8.0/TRS/ICFP_2010/162016.xml | TIMEOUT 60291 | TIMEOUT 60197 |
| tpdb-8.0/TRS/ICFP_2010/166558.xml | TIMEOUT 60204 | TIMEOUT 60219 |
| tpdb-8.0/TRS/ICFP_2010/167452.xml | TIMEOUT 60161 | TIMEOUT 60256 |
| tpdb-8.0/TRS/ICFP_2010/167526.xml | TIMEOUT 60168 | n^0 - n^2 10123 |
| tpdb-8.0/TRS/ICFP_2010/185453.xml | TIMEOUT 60275 | TIMEOUT 60184 |
| tpdb-8.0/TRS/ICFP_2010/185628.xml | TIMEOUT 60228 | TIMEOUT 60178 |
| tpdb-8.0/TRS/ICFP_2010/186222.xml | TIMEOUT 60193 | TIMEOUT 60178 |
| tpdb-8.0/TRS/ICFP_2010/186617.xml | TIMEOUT 60203 | TIMEOUT 60156 |
| tpdb-8.0/TRS/ICFP_2010/212480.xml | TIMEOUT 60287 | TIMEOUT 60150 |
| tpdb-8.0/TRS/ICFP_2010/214169.xml | TIMEOUT 60300 | TIMEOUT 60138 |
| tpdb-8.0/TRS/ICFP_2010/247254.xml | TIMEOUT 60159 | n^0 - n^1 1238 |
| tpdb-8.0/TRS/ICFP_2010/248060.xml | TIMEOUT 60208 | n^0 - n^1 797 |
| tpdb-8.0/TRS/ICFP_2010/26103.xml | n^0 - n^1 1125 | TIMEOUT 60313 |
| tpdb-8.0/TRS/ICFP_2010/264033.xml | n^0 - n^2 12392 | TIMEOUT 60281 |
| tpdb-8.0/TRS/ICFP_2010/26903.xml | MAYBE 58285 | TIMEOUT 60159 |
| tpdb-8.0/TRS/ICFP_2010/26910.xml | MAYBE 58393 | TIMEOUT 60169 |
| tpdb-8.0/TRS/ICFP_2010/27003.xml | MAYBE 58323 | TIMEOUT 60283 |
| tpdb-8.0/TRS/ICFP_2010/27036.xml | MAYBE 58486 | TIMEOUT 60205 |
| tpdb-8.0/TRS/ICFP_2010/27134.xml | n^0 - n^1 3870 | TIMEOUT 60155 |
| tpdb-8.0/TRS/ICFP_2010/29415.xml | TIMEOUT 60165 | TIMEOUT 60189 |
| tpdb-8.0/TRS/ICFP_2010/40976.xml | TIMEOUT 60141 | TIMEOUT 60272 |
| tpdb-8.0/TRS/ICFP_2010/4141.xml | TIMEOUT 60260 | TIMEOUT 60226 |
| tpdb-8.0/TRS/ICFP_2010/41427.xml | MAYBE 60112 | TIMEOUT 60164 |
| tpdb-8.0/TRS/ICFP_2010/4157.xml | MAYBE 56073 | TIMEOUT 60142 |
| tpdb-8.0/TRS/ICFP_2010/41843.xml | MAYBE 56051 | TIMEOUT 60143 |
| tpdb-8.0/TRS/ICFP_2010/44332.xml | MAYBE 60102 | TIMEOUT 60171 |
| tpdb-8.0/TRS/ICFP_2010/4819.xml | TIMEOUT 60270 | TIMEOUT 60160 |
| tpdb-8.0/TRS/ICFP_2010/4847.xml | MAYBE 56024 | TIMEOUT 60161 |
| tpdb-8.0/TRS/ICFP_2010/4953.xml | MAYBE 56070 | TIMEOUT 60183 |
| tpdb-8.0/TRS/ICFP_2010/58221.xml | MAYBE 56536 | TIMEOUT 60233 |
| tpdb-8.0/TRS/ICFP_2010/68322.xml | MAYBE 56502 | TIMEOUT 60168 |
| tpdb-8.0/TRS/ICFP_2010/68989.xml | TIMEOUT 60348 | TIMEOUT 60152 |
| tpdb-8.0/TRS/ICFP_2010/84977.xml | MAYBE 56478 | TIMEOUT 60593 |
| tpdb-8.0/TRS/ICFP_2010/85039.xml | MAYBE 56570 | TIMEOUT 60205 |
| tpdb-8.0/TRS/ICFP_2010/85721.xml | MAYBE 56247 | TIMEOUT 60153 |
| tpdb-8.0/TRS/ICFP_2010/86526.xml | TIMEOUT 60194 | TIMEOUT 60171 |
| tpdb-8.0/TRS/ICFP_2010/86636.xml | TIMEOUT 60304 | TIMEOUT 60164 |
| tpdb-8.0/TRS/ICFP_2010/88143.xml | MAYBE 56313 | TIMEOUT 60152 |
| tpdb-8.0/TRS/ICFP_2010/88208.xml | MAYBE 56441 | TIMEOUT 60160 |
| tpdb-8.0/TRS/ICFP_2010/96104.xml | TIMEOUT 60187 | TIMEOUT 60157 |
| tpdb-8.0/TRS/ICFP_2010/96289.xml | TIMEOUT 60169 | TIMEOUT 60680 |
| tpdb-8.0/TRS/ICFP_2010/96302.xml | TIMEOUT 60229 | TIMEOUT 60170 |
| tpdb-8.0/TRS/ICFP_2010/96334.xml | TIMEOUT 60233 | TIMEOUT 60162 |
| tpdb-8.0/TRS/ICFP_2010/96438.xml | TIMEOUT 60443 | TIMEOUT 60169 |
| tpdb-8.0/TRS/ICFP_2010/97929.xml | TIMEOUT 60172 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | MAYBE 55831 | n^0 - n^2 694 |
| tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml | MAYBE 45561 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Mixed_SRS/02.xml | MAYBE 45556 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Mixed_SRS/03.xml | MAYBE 45512 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml | MAYBE 55596 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Mixed_SRS/06.xml | MAYBE 45526 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | MAYBE 44628 | n^0 - n^1 137 |
| tpdb-8.0/TRS/Mixed_SRS/08.xml | MAYBE 45559 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Mixed_SRS/3.xml | n^0 - n^1 1390 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Mixed_SRS/4.xml | MAYBE 46240 | TIMEOUT 60265 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | MAYBE 45855 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 188 | MAYBE 112 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | TIMEOUT 60139 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 3630 | n^0 - n^2 246 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | MAYBE 203 | MAYBE 126 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 327 | n^0 - n^1 131 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 234 | MAYBE 119 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 208 | MAYBE 132 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | MAYBE 177 | MAYBE 88 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 193 | MAYBE 111 |
| tpdb-8.0/TRS/MNZ_10/0.xml | MAYBE 227 | MAYBE 151 |
| tpdb-8.0/TRS/MNZ_10/1.xml | MAYBE 215 | MAYBE 132 |
| tpdb-8.0/TRS/MNZ_10/2.xml | MAYBE 219 | MAYBE 141 |
| tpdb-8.0/TRS/MNZ_10/4.xml | MAYBE 223 | MAYBE 135 |
| tpdb-8.0/TRS/MNZ_10/6.xml | MAYBE 242 | MAYBE 135 |
| tpdb-8.0/TRS/MNZ_10/8.xml | MAYBE 228 | MAYBE 152 |
| tpdb-8.0/TRS/MNZ_10/9.xml | MAYBE 226 | MAYBE 124 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | MAYBE 10099 | MAYBE 12345 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | MAYBE 245 | MAYBE 157 |
| tpdb-8.0/TRS/MNZ_10/nvsr.xml | MAYBE 218 | MAYBE 138 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | n^0 - n^1 411 | n^0 - n^1 400 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | MAYBE 200 | MAYBE 121 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | MAYBE 207 | MAYBE 127 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 505 | n^0 - n^1 201 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 45484 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 971 | n^0 - n^1 121 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 236 | MAYBE 153 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 206 | MAYBE 114 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 251 | MAYBE 167 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | MAYBE 213 | MAYBE 120 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | MAYBE 47106 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | MAYBE 50891 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml | MAYBE 48235 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | MAYBE 46083 | TIMEOUT 60283 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | MAYBE 47095 | n^0 - n^2 891 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 1147 | n^0 - n^3 28383 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | MAYBE 45678 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | MAYBE 45518 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | n^0 - n^1 2576 | n^0 - n^1 508 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | MAYBE 46972 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 210 | MAYBE 122 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 214 | MAYBE 135 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | MAYBE 280 | MAYBE 168 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 224 | MAYBE 144 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 250 | MAYBE 177 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | MAYBE 184 | MAYBE 105 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | MAYBE 10775 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 201 | MAYBE 126 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 212 | MAYBE 133 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 6239 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | MAYBE 11485 | n^0 - n^1 120 |
| tpdb-8.0/TRS/Secret_06_SRS/2-matchbox.xml | MAYBE 46165 | n^0 - n^1 143 |
| tpdb-8.0/TRS/Secret_06_SRS/3.xml | MAYBE 45487 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | MAYBE 45565 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | MAYBE 47396 | TIMEOUT 60212 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | MAYBE 49377 | TIMEOUT 60266 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | MAYBE 49835 | TIMEOUT 60223 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | MAYBE 49716 | TIMEOUT 60248 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | MAYBE 48034 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Secret_06_SRS/multum3.xml | MAYBE 45536 | TIMEOUT 60193 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | MAYBE 46779 | TIMEOUT 60216 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 45443 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 240 | MAYBE 141 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 202 | MAYBE 125 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 196 | n^0 - n^1 122 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | MAYBE 200 | MAYBE 129 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | MAYBE 212 | MAYBE 132 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 218 | MAYBE 130 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MAYBE 6119 | MAYBE 7042 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 232 | MAYBE 169 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 222 | MAYBE 153 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 211 | MAYBE 123 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 216 | MAYBE 170 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | MAYBE 55529 | TIMEOUT 60333 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | MAYBE 45570 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | MAYBE 55572 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | MAYBE 45559 | TIMEOUT 60273 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 11627 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | MAYBE 46045 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Secret_07_SRS/x04.xml | MAYBE 47955 | TIMEOUT 60228 |
| tpdb-8.0/TRS/Secret_07_SRS/x07.xml | MAYBE 47866 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Secret_07_SRS/x09.xml | MAYBE 20575 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | MAYBE 31721 | n^0 - n^1 139 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 53338 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | MAYBE 45520 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | MAYBE 56473 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | MAYBE 45472 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 266 | MAYBE 167 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 241 | MAYBE 160 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 229 | MAYBE 150 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | MAYBE 229 | MAYBE 154 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 219 | MAYBE 146 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 240 | MAYBE 154 |
| tpdb-8.0/TRS/SK90/2.05.xml | MAYBE 198 | MAYBE 104 |
| tpdb-8.0/TRS/SK90/2.07.xml | MAYBE 207 | MAYBE 130 |
| tpdb-8.0/TRS/SK90/2.20.xml | MAYBE 210 | MAYBE 130 |
| tpdb-8.0/TRS/SK90/2.21.xml | MAYBE 211 | MAYBE 128 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 194 | MAYBE 118 |
| tpdb-8.0/TRS/SK90/2.29.xml | MAYBE 199 | MAYBE 107 |
| tpdb-8.0/TRS/SK90/2.35.xml | MAYBE 212 | MAYBE 132 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^2 4252 | n^0 - n^2 578 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 207 | MAYBE 126 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 485 | n^0 - n^1 140 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 233 | MAYBE 147 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^2 3466 | n^0 - n^2 226 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^1 325 | n^0 - n^1 126 |
| tpdb-8.0/TRS/SK90/2.60.xml | n^0 - n^1 367 | n^0 - n^1 148 |
| tpdb-8.0/TRS/SK90/4.03.xml | MAYBE 205 | MAYBE 122 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^2 3557 | n^0 - n^2 280 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 196 | MAYBE 101 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 196 | MAYBE 128 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 415 | n^0 - n^1 362 |
| tpdb-8.0/TRS/SK90/4.18.xml | MAYBE 199 | MAYBE 126 |
| tpdb-8.0/TRS/SK90/4.21.xml | MAYBE 215 | MAYBE 145 |
| tpdb-8.0/TRS/SK90/4.23.xml | MAYBE 198 | MAYBE 116 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 3662 | n^0 - n^2 305 |
| tpdb-8.0/TRS/SK90/4.32.xml | MAYBE 46962 | TIMEOUT 60189 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 45238 | TIMEOUT 60187 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 344 | n^0 - n^1 108 |
| tpdb-8.0/TRS/SK90/4.40.xml | MAYBE 216 | MAYBE 126 |
| tpdb-8.0/TRS/SK90/4.41.xml | MAYBE 197 | MAYBE 110 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 401 | n^0 - n^1 128 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 474 | n^0 - n^1 167 |
| tpdb-8.0/TRS/SK90/4.49.xml | MAYBE 197 | MAYBE 109 |
| tpdb-8.0/TRS/SK90/4.50.xml | MAYBE 187 | MAYBE 118 |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^1 303 | TIMEOUT 60128 |
| tpdb-8.0/TRS/SK90/4.57.xml | MAYBE 214 | MAYBE 142 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 217 | MAYBE 131 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 201 | MAYBE 112 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | MAYBE 202 | n^0 - n^1 136 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.19.xml | MAYBE 214 | MAYBE 120 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml | n^0 - n^1 1096 | n^0 - n^2 456 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml | MAYBE 202 | MAYBE 119 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml | n^0 - n^1 3508 | TIMEOUT 60302 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml | MAYBE 219 | MAYBE 138 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | MAYBE 213 | MAYBE 125 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | MAYBE 219 | MAYBE 135 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | MAYBE 201 | MAYBE 136 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml | MAYBE 219 | MAYBE 137 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | MAYBE 205 | MAYBE 116 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 227 | MAYBE 123 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | MAYBE 189 | MAYBE 107 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | MAYBE 208 | MAYBE 117 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | MAYBE 217 | MAYBE 122 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | MAYBE 192 | MAYBE 122 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 5826 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | MAYBE 207 | MAYBE 120 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | MAYBE 232 | MAYBE 159 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml | MAYBE 206 | MAYBE 122 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | MAYBE 210 | MAYBE 136 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | MAYBE 201 | MAYBE 126 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 6006 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 5819 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 6331 | MAYBE 871 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 224 | MAYBE 145 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | MAYBE 6692 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 196 | MAYBE 122 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | MAYBE 189 | MAYBE 114 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MAYBE 205 | MAYBE 134 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | MAYBE 197 | MAYBE 147 |
| tpdb-8.0/TRS/Trafo_06/dup01.xml | TIMEOUT 60262 | TIMEOUT 60249 |
| tpdb-8.0/TRS/Trafo_06/dup08.xml | MAYBE 46122 | TIMEOUT 60241 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | MAYBE 58904 | TIMEOUT 60276 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | MAYBE 58585 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Trafo_06/dup13.xml | MAYBE 45770 | TIMEOUT 60253 |
| tpdb-8.0/TRS/Trafo_06/dup14.xml | MAYBE 56844 | TIMEOUT 60235 |
| tpdb-8.0/TRS/Trafo_06/dup15.xml | MAYBE 55695 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Trafo_06/hom02.xml | MAYBE 46255 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Trafo_06/un09.xml | MAYBE 55696 | TIMEOUT 60238 |
| tpdb-8.0/TRS/Trafo_06/un18.xml | MAYBE 55769 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | NO 191 | MAYBE 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^2 4026 | n^0 - n^2 476 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | MAYBE 282 | MAYBE 168 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | NO 199 | MAYBE 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 55847 | TIMEOUT 60299 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | n^0 - n^2 4310 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | MAYBE 235 | MAYBE 158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | MAYBE 6676 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | MAYBE 268 | MAYBE 161 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MAYBE 236 | MAYBE 151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | MAYBE 192 | MAYBE 170 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | MAYBE 202 | MAYBE 116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 226 | MAYBE 149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | MAYBE 9748 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 1617 | n^0 - n^1 298 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | MAYBE 296 | MAYBE 201 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | MAYBE 216 | MAYBE 278 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | MAYBE 212 | MAYBE 132 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | MAYBE 221 | MAYBE 148 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^1 344 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | MAYBE 214 | MAYBE 278 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | MAYBE 236 | MAYBE 152 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | NO 182 | MAYBE 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | NO 215 | MAYBE 124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 336 | n^0 - n^1 128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 5467 | n^0 - n^2 399 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | MAYBE 253 | MAYBE 152 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | NO 207 | MAYBE 125 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | MAYBE 211 | MAYBE 135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | MAYBE 238 | MAYBE 148 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | NO 194 | MAYBE 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml | MAYBE 265 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | MAYBE 249 | n^0 - n^2 1827 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | MAYBE 199 | MAYBE 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^4 21914 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | MAYBE 19373 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 422 | n^0 - n^1 135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 317 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 409 | n^0 - n^1 131 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | MAYBE 229 | MAYBE 135 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | TIMEOUT 60148 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 209 | MAYBE 121 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | n^0 - n^3 14712 | n^0 - n^3 3841 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | NO 193 | MAYBE 118 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | MAYBE 239 | MAYBE 157 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | MAYBE 294 | MAYBE 189 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | MAYBE 225 | MAYBE 159 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml | MAYBE 354 | MAYBE 228 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml | MAYBE 321 | MAYBE 210 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml | MAYBE 235 | MAYBE 155 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | NO 204 | MAYBE 123 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml | MAYBE 259 | MAYBE 169 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | MAYBE 353 | MAYBE 241 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | MAYBE 259 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | MAYBE 907 | MAYBE 736 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | MAYBE 392 | MAYBE 256 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | MAYBE 273 | MAYBE 207 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | MAYBE 215 | MAYBE 139 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | NO 254 | MAYBE 197 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | MAYBE 246 | MAYBE 158 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | MAYBE 288 | MAYBE 194 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | MAYBE 216 | MAYBE 133 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml | MAYBE 564 | MAYBE 371 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | MAYBE 946 | MAYBE 721 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | MAYBE 395 | MAYBE 272 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 222 | MAYBE 125 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | NO 226 | MAYBE 132 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | NO 205 | MAYBE 129 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml | MAYBE 59703 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | MAYBE 55951 | TIMEOUT 60220 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml | MAYBE 362 | MAYBE 245 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | MAYBE 475 | MAYBE 329 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | TIMEOUT 60159 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | MAYBE 281 | MAYBE 170 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | MAYBE 220 | n^0 - n^2 3511 |
| tpdb-8.0/TRS/Various_04/02.xml | MAYBE 195 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 231 | n^0 - n^1 31393 |
| tpdb-8.0/TRS/Various_04/05.xml | MAYBE 227 | MAYBE 158 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 226 | MAYBE 151 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 302 | MAYBE 199 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 11038 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 45461 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 3741 | n^0 - n^2 572 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 1205 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 332 | n^0 - n^1 130 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | MAYBE 45237 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | MAYBE 7353 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^1 373 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | MAYBE 6486 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | MAYBE 10334 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | MAYBE 6484 | TIMEOUT 60193 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MAYBE 201 | MAYBE 140 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 379 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | MAYBE 7383 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | MAYBE 7729 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | n^0 - n^1 7128 | n^0 - n^3 4167 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml | MAYBE 45521 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | MAYBE 56108 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | n^0 - n^4 13833 | n^0 - n^1 2253 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml | n^0 - n^2 15501 | n^0 - n^1 250 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | MAYBE 31788 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml | MAYBE 45599 | TIMEOUT 60266 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml | MAYBE 19825 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml | MAYBE 45519 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml | MAYBE 17895 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | MAYBE 45446 | n^0 - n^1 2629 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml | MAYBE 45512 | n^0 - n^1 128 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml | MAYBE 45517 | n^0 - n^1 108 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | MAYBE 10410 | n^0 - n^1 130 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml | MAYBE 41194 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | MAYBE 17704 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml | MAYBE 7753 | n^0 - n^1 148 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | MAYBE 9516 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | MAYBE 8352 | n^0 - n^1 115 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | MAYBE 9340 | n^0 - n^1 422 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-12.xml | MAYBE 45248 | TIMEOUT 60516 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml | MAYBE 12228 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml | MAYBE 14837 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml | MAYBE 10014 | n^0 - n^1 133 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | MAYBE 16949 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml | MAYBE 9347 | n^0 - n^1 146 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml | MAYBE 15678 | n^0 - n^1 861 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | MAYBE 13772 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | MAYBE 9624 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml | MAYBE 15995 | n^0 - n^1 127 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | MAYBE 7156 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml | MAYBE 8754 | n^0 - n^1 125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml | MAYBE 16171 | n^0 - n^1 125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml | MAYBE 9270 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-215.xml | MAYBE 9566 | n^0 - n^1 110 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml | MAYBE 8601 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml | MAYBE 20740 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml | MAYBE 8068 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml | MAYBE 10680 | n^0 - n^1 261 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml | MAYBE 12794 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml | MAYBE 7337 | n^0 - n^1 233 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml | MAYBE 8152 | n^0 - n^1 197 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml | MAYBE 7420 | n^0 - n^1 196 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml | MAYBE 8784 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml | MAYBE 9226 | n^0 - n^1 555 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml | MAYBE 9977 | TIMEOUT 60203 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml | MAYBE 12055 | TIMEOUT 60220 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml | MAYBE 10353 | n^0 - n^1 125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | MAYBE 31611 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml | MAYBE 24413 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml | MAYBE 45670 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-351.xml | MAYBE 9058 | n^0 - n^1 128 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml | MAYBE 45772 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml | MAYBE 45506 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml | MAYBE 45641 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml | MAYBE 45655 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml | MAYBE 45504 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml | MAYBE 13568 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml | MAYBE 45517 | n^0 - n^1 134 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml | MAYBE 55569 | n^0 - n^1 109 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml | MAYBE 45521 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-3.xml | MAYBE 9033 | n^0 - n^1 125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | MAYBE 45541 | n^0 - n^1 139 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | MAYBE 45589 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml | MAYBE 45544 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml | MAYBE 45695 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml | MAYBE 45703 | TIMEOUT 60222 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml | MAYBE 45685 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml | MAYBE 13949 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml | MAYBE 11062 | n^0 - n^1 169 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml | MAYBE 11234 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml | MAYBE 18164 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml | MAYBE 45688 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml | MAYBE 13854 | n^0 - n^1 140 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml | MAYBE 19736 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml | MAYBE 39796 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml | MAYBE 19684 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml | MAYBE 23238 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml | MAYBE 13446 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml | MAYBE 13113 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml | MAYBE 45526 | TIMEOUT 60201 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml | MAYBE 42314 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml | MAYBE 45483 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-503.xml | MAYBE 55555 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml | MAYBE 9522 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml | MAYBE 45482 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | MAYBE 13404 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml | MAYBE 13449 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml | MAYBE 14122 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml | MAYBE 16058 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml | MAYBE 9842 | n^0 - n^1 130 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml | MAYBE 10089 | n^0 - n^1 139 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml | MAYBE 45695 | TIMEOUT 60256 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml | MAYBE 7255 | n^0 - n^1 149 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | MAYBE 10281 | n^0 - n^1 130 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | n^0 - n^1 508 | TIMEOUT 60209 |
| tpdb-8.0/TRS/Zantema_04/z004.xml | n^0 - n^1 515 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Zantema_04/z010.xml | MAYBE 45231 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | MAYBE 45456 | n^0 - n^1 154 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | MAYBE 48403 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Zantema_04/z023.xml | MAYBE 45890 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Zantema_04/z028.xml | MAYBE 55247 | TIMEOUT 60233 |
| tpdb-8.0/TRS/Zantema_04/z033.xml | n^0 - n^1 485 | TIMEOUT 60263 |
| tpdb-8.0/TRS/Zantema_04/z036.xml | n^0 - n^1 2245 | TIMEOUT 60262 |
| tpdb-8.0/TRS/Zantema_04/z038.xml | MAYBE 55256 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Zantema_04/z041.xml | MAYBE 55253 | TIMEOUT 60221 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | MAYBE 55246 | TIMEOUT 60215 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | n^0 - n^1 494 | TIMEOUT 60254 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | n^0 - n^1 513 | TIMEOUT 60215 |
| tpdb-8.0/TRS/Zantema_04/z047.xml | n^0 - n^1 483 | TIMEOUT 60256 |
| tpdb-8.0/TRS/Zantema_04/z048.xml | n^0 - n^1 536 | TIMEOUT 60231 |
| tpdb-8.0/TRS/Zantema_04/z049.xml | n^0 - n^1 465 | n^0 - n^1 143 |
| tpdb-8.0/TRS/Zantema_04/z052.xml | n^0 - n^1 471 | n^0 - n^1 142 |
| tpdb-8.0/TRS/Zantema_04/z063.xml | n^0 - n^1 501 | n^0 - n^1 130 |
| tpdb-8.0/TRS/Zantema_04/z067.xml | n^0 - n^3 19113 | n^0 - n^3 30207 |
| tpdb-8.0/TRS/Zantema_04/z068.xml | MAYBE 48072 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Zantema_04/z075.xml | TIMEOUT 60135 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | MAYBE 20660 | TIMEOUT 60211 |
| tpdb-8.0/TRS/Zantema_04/z082.xml | MAYBE 46969 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | MAYBE 56903 | TIMEOUT 60215 |
| tpdb-8.0/TRS/Zantema_04/z084.xml | n^0 - n^2 4003 | n^0 - n^2 1054 |
| tpdb-8.0/TRS/Zantema_04/z087.xml | n^0 - n^2 9790 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Zantema_04/z091.xml | TIMEOUT 60135 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Zantema_04/z092.xml | n^0 - n^2 6052 | n^0 - n^2 7008 |
| tpdb-8.0/TRS/Zantema_04/z098.xml | n^0 - n^1 607 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | n^0 - n^1 651 | n^0 - n^1 278 |
| tpdb-8.0/TRS/Zantema_04/z102.xml | n^0 - n^1 895 | n^0 - n^1 384 |
| tpdb-8.0/TRS/Zantema_04/z104.xml | n^0 - n^1 1696 | n^0 - n^1 139 |
| tpdb-8.0/TRS/Zantema_04/z111.xml | MAYBE 46393 | n^0 - n^2 1756 |
| tpdb-8.0/TRS/Zantema_04/z114.xml | MAYBE 44249 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Zantema_04/z116.xml | n^0 - n^1 817 | n^0 - n^1 459 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | MAYBE 46457 | n^0 - n^2 1837 |
| tpdb-8.0/TRS/Zantema_04/z126.xml | n^0 - n^1 679 | n^0 - n^1 814 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^1 367 | n^0 - n^1 125 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 341 | n^0 - n^1 96 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^1 355 | n^0 - n^1 138 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^1 336 | n^0 - n^1 182 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | n^0 - n^1 336 | n^0 - n^1 104 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^1 355 | n^0 - n^1 121 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | n^0 - n^1 357 | n^0 - n^1 143 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^1 337 | n^0 - n^1 102 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 353 | n^0 - n^1 116 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^1 357 | n^0 - n^1 127 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | n^0 - n^1 361 | TIMEOUT 60243 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^1 343 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | n^0 - n^1 342 | n^0 - n^1 126 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | n^0 - n^1 354 | n^0 - n^1 109 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 333 | n^0 - n^1 120 |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | n^0 - n^1 358 | n^0 - n^1 115 |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | n^0 - n^1 357 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | n^0 - n^1 477 | n^0 - n^1 1577 |
| tpdb-8.0/TRS/Zantema_05/z04.xml | MAYBE 195 | MAYBE 125 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 55239 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Zantema_05/z21.xml | MAYBE 55444 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 207 | MAYBE 116 |
| tpdb-8.0/TRS/Zantema_06/02.xml | MAYBE 45508 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Zantema_06/07.xml | MAYBE 41040 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Zantema_06/08.xml | MAYBE 19626 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Zantema_06/09.xml | MAYBE 59326 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Zantema_06/10.xml | MAYBE 29260 | n^0 - n^1 312 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | MAYBE 57728 | TIMEOUT 60241 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | MAYBE 55912 | TIMEOUT 61050 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | MAYBE 56046 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Zantema_06/beans7.xml | MAYBE 47150 | n^0 - n^3 736 |
| tpdb-8.0/TRS/Zantema_06/while1.xml | MAYBE 56973 | TIMEOUT 60211 | 204 | 259 |