| benchmark | CaT_dc | matchbox-poly | TCT alpha DC |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | TIMEOUT 60162 | n^1 - INF 50127 | TIMEOUT 60402 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 3554 | n^1 - n^2 23171 | n^0 - n^2 237 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | TIMEOUT 60192 | n^1 - INF 50270 | MAYBE 17707 |
| tpdb-8.0/TRS/AG01/#3.17.xml | TIMEOUT 60171 | n^1 - INF 50138 | TIMEOUT 60378 |
| tpdb-8.0/TRS/AG01/#3.26.xml | TIMEOUT 60180 | n^2 - EXP 50154 | TIMEOUT 60165 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 308 | n^1 - n^1 2313 | n^0 - n^2 306 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^2 5293 | n^1 - n^2 50105 | n^0 - n^2 164 |
| tpdb-8.0/TRS/AG01/#3.49.xml | TIMEOUT 60207 | n^1 - INF 50188 | TIMEOUT 60144 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 288 | n^1 - n^2 6158 | n^0 - n^2 211 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^2 5311 | n^1 - n^2 50098 | n^0 - n^2 239 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^2 3978 | n^1 - n^2 4636 | n^0 - n^2 329 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 357 | n^1 - n^1 1827 | n^0 - n^1 93 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^2 3768 | n^1 - n^2 4236 | n^0 - n^2 229 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^1 203 | n^1 - n^1 1952 | n^0 - n^1 94 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 370 | n^1 - n^1 2006 | n^0 - n^1 109 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | MAYBE 22202 | n^1 - INF 30442 | TIMEOUT 60408 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 20587 | n^1 - INF 14872 | TIMEOUT 60194 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | TIMEOUT 60185 | n^1 - INF 50144 | TIMEOUT 60193 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^4 21173 | n^1 - n^3 50347 | TIMEOUT 60265 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | TIMEOUT 60277 | n^1 - INF 50187 | TIMEOUT 60257 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | TIMEOUT 60263 | n^1 - INF 50174 | TIMEOUT 60466 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | TIMEOUT 60196 | n^1 - n^3 50191 | TIMEOUT 60164 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^3 20476 | n^1 - n^2 27297 | TIMEOUT 60182 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | TIMEOUT 60202 | n^1 - INF 50101 | TIMEOUT 60284 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | TIMEOUT 60208 | n^1 - INF 50128 | TIMEOUT 60313 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | TIMEOUT 60188 | n^1 - INF 50112 | TIMEOUT 60173 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | TIMEOUT 60213 | n^1 - INF 50150 | TIMEOUT 60409 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | TIMEOUT 60180 | n^1 - INF 50100 | MAYBE 22635 |
| tpdb-8.0/TRS/AProVE_08/round.xml | TIMEOUT 60171 | n^1 - INF 50100 | MAYBE 25312 |
| tpdb-8.0/TRS/Bouchare_06/01.xml | n^0 - n^1 1319 | n^1 - INF 50318 | n^0 - n^1 256 |
| tpdb-8.0/TRS/Bouchare_06/02.xml | n^0 - n^1 1252 | n^1 - n^1 2365 | n^0 - n^2 191 |
| tpdb-8.0/TRS/Bouchare_06/04.xml | n^0 - n^1 1369 | n^1 - INF 50257 | n^0 - n^1 199 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | MAYBE 23394 | n^1 - INF 50124 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Bouchare_06/06.xml | TIMEOUT 60177 | n^2 - INF 50434 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Bouchare_06/07.xml | TIMEOUT 60168 | n^2 - INF 50226 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Bouchare_06/09.xml | MAYBE 35411 | n^2 - INF 50206 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Bouchare_06/13.xml | TIMEOUT 60153 | n^1 - INF 50212 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Bouchare_06/17.xml | n^0 - n^1 1135 | n^1 - INF 50115 | n^0 - n^1 186 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | TIMEOUT 60169 | n^2 - INF 50298 | TIMEOUT 60156 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 300 | n^1 - n^1 8277 | n^0 - n^1 1077 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | TIMEOUT 60216 | n^1 - INF 50217 | MAYBE 31787 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | TIMEOUT 60273 | n^1 - INF 50205 | TIMEOUT 60218 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 261 | n^1 - n^1 1931 | n^0 - n^1 238 |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^1 225 | n^1 - n^1 1726 | n^0 - n^1 136 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 225 | n^1 - n^1 2971 | n^0 - n^1 102 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 318 | n^1 - n^1 2336 | n^0 - n^1 100 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 44443 | EXP - EXP 286 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 5272 | n^2 - n^2 903 | n^0 - n^2 131 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^2 3241 | n^1 - n^2 3915 | n^0 - n^2 98 |
| tpdb-8.0/TRS/Der95/17.xml | MAYBE 30049 | n^1 - INF 22920 | TIMEOUT 60203 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 40811 | n^1 - EXP 50073 | TIMEOUT 60258 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 5186 | n^1 - n^2 4262 | n^0 - n^2 171 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 306 | n^1 - n^1 6215 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | TIMEOUT 60172 | n^1 - INF 50103 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | TIMEOUT 60194 | n^1 - INF 50121 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^2 18317 | n^1 - INF 50118 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 45187 | n^1 - INF 50116 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 277 | n^1 - n^2 50303 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 286 | n^1 - n^2 28650 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | TIMEOUT 60187 | n^2 - INF 50152 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Gebhardt_06/05.xml | TIMEOUT 60170 | n^2 - INF 50234 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Gebhardt_06/06.xml | TIMEOUT 60192 | n^2 - INF 50233 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | TIMEOUT 60182 | n^2 - INF 50611 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Gebhardt_06/11.xml | TIMEOUT 60177 | n^2 - INF 50237 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Gebhardt_06/12.xml | TIMEOUT 60190 | n^2 - INF 50235 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Gebhardt_06/14.xml | TIMEOUT 60172 | n^2 - INF 50399 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Gebhardt_06/15.xml | TIMEOUT 60186 | n^2 - INF 50399 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Gebhardt_06/18.xml | TIMEOUT 60158 | n^2 - INF 50379 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Gebhardt_06/20.xml | TIMEOUT 60173 | n^1 - INF 50229 | TIMEOUT 60171 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 20148 | EXP - INF 428 | MAYBE 82 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 20168 | EXP - INF 600 | MAYBE 659 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 20169 | EXP - INF 601 | MAYBE 748 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | MAYBE 20152 | n^1 - INF 2100 | MAYBE 155 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | TIMEOUT 60239 | n^1 - INF 50330 | MAYBE 17079 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 20339 | n^1 - EXP 50196 | TIMEOUT 60154 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^1 258 | n^1 - n^1 2680 | n^0 - n^2 121 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60571 | n^1 - INF 50431 | MAYBE 48604 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 276 | n^1 - n^1 2680 | n^0 - n^1 153 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 5198 | n^1 - n^2 4330 | n^0 - n^2 155 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | TIMEOUT 60199 | n^1 - INF 50489 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Mixed_SRS/01.xml | TIMEOUT 60165 | n^2 - INF 50214 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Mixed_SRS/02.xml | TIMEOUT 60159 | n^2 - INF 50217 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Mixed_SRS/03.xml | TIMEOUT 60163 | n^2 - INF 50234 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | TIMEOUT 60166 | EXP - INF 50085 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | TIMEOUT 60168 | n^2 - INF 50320 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | TIMEOUT 60182 | n^2 - INF 50318 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Mixed_SRS/09.xml | TIMEOUT 60165 | EXP - EXP 6643 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | TIMEOUT 60195 | n^2 - INF 50279 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | TIMEOUT 60398 | EXP - INF 50207 | TIMEOUT 60240 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 281 | n^1 - INF 50122 | n^0 - n^2 3278 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | TIMEOUT 60190 | n^1 - INF 50118 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^1 237 | n^1 - INF 50099 | n^0 - n^2 8036 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | TIMEOUT 60200 | n^1 - INF 50097 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | TIMEOUT 60244 | n^1 - INF 50151 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | TIMEOUT 60230 | n^1 - INF 50144 | MAYBE 11777 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 3327 | n^1 - n^2 4049 | n^0 - n^2 159 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 220 | n^1 - n^1 1781 | n^0 - n^1 121 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 5260 | n^1 - n^2 5064 | n^0 - n^2 218 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | n^0 - n^1 324 | n^1 - n^1 2353 | n^0 - n^1 182 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 3535 | n^1 - n^2 6638 | n^0 - n^2 928 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | TIMEOUT 60183 | n^1 - INF 19151 | MAYBE 31744 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 309 | n^1 - EXP 50137 | n^0 - n^1 1243 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 335 | n^1 - n^1 1646 | n^0 - n^1 112 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^2 5241 | n^1 - n^2 5099 | n^0 - n^2 179 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 302 | n^1 - n^1 5747 | n^0 - n^3 4567 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 232 | n^1 - n^1 2058 | n^0 - n^2 158 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 315 | n^1 - n^1 2268 | n^0 - n^2 180 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 269 | n^1 - n^1 1186 | n^0 - n^2 236 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | TIMEOUT 60222 | EXP - INF 50121 | TIMEOUT 60362 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | TIMEOUT 60245 | n^2 - INF 50125 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml | TIMEOUT 60205 | n^2 - INF 50199 | TIMEOUT 60264 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | TIMEOUT 60185 | EXP - INF 50111 | TIMEOUT 60252 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | TIMEOUT 60172 | n^1 - INF 50109 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml | TIMEOUT 60176 | n^1 - INF 50121 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 881 | n^1 - n^1 15180 | n^0 - n^3 15680 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | TIMEOUT 60185 | n^1 - EXP 50279 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | TIMEOUT 60185 | n^2 - INF 50387 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | TIMEOUT 60196 | n^2 - INF 50263 | TIMEOUT 60285 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 211 | n^1 - INF 50091 | n^0 - n^2 3619 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^3 19698 | n^1 - INF 50113 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | MAYBE 23037 | n^1 - INF 20383 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | MAYBE 31944 | n^1 - INF 17723 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | TIMEOUT 60164 | n^1 - INF 5655 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Secret_06_SRS/10.xml | TIMEOUT 60176 | EXP - EXP 2054 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Secret_06_SRS/1.xml | TIMEOUT 60160 | n^1 - INF 50297 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Secret_06_SRS/2.xml | TIMEOUT 60172 | n^1 - INF 50348 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Secret_06_SRS/3.xml | TIMEOUT 60179 | n^1 - INF 50315 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | TIMEOUT 60194 | EXP - INF 50092 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Secret_06_SRS/8.xml | TIMEOUT 60173 | EXP - EXP 34025 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | TIMEOUT 60160 | EXP - INF 50088 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | TIMEOUT 60333 | n^1 - INF 50247 | TIMEOUT 60307 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | TIMEOUT 60402 | n^1 - INF 50217 | TIMEOUT 60276 |
| tpdb-8.0/TRS/Secret_06_SRS/multum3.xml | TIMEOUT 60166 | EXP - INF 50086 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | TIMEOUT 60170 | n^1 - INF 50118 | TIMEOUT 60217 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 271 | n^1 - INF 50096 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | TIMEOUT 60188 | n^1 - INF 50129 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | TIMEOUT 60170 | n^1 - INF 50112 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^3 15728 | n^1 - n^1 11094 | n^0 - n^3 26588 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | n^0 - n^1 1015 | n^1 - n^3 50412 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | n^0 - n^1 249 | n^1 - n^2 20272 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | n^0 - n^1 248 | n^1 - n^2 25182 | n^0 - n^3 4572 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^1 301 | n^1 - INF 7830 | MAYBE 18949 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | MAYBE 20267 | n^1 - INF 8217 | MAYBE 22833 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MAYBE 20259 | n^1 - INF 9302 | MAYBE 1026 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | TIMEOUT 60178 | n^1 - INF 50161 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | TIMEOUT 60159 | n^1 - INF 50284 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | TIMEOUT 60171 | n^1 - INF 50217 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | TIMEOUT 60170 | n^1 - INF 50313 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | TIMEOUT 60159 | n^1 - INF 50303 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 40710 | EXP - INF 50085 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Secret_07_SRS/x04.xml | TIMEOUT 60171 | n^1 - INF 50130 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Secret_07_SRS/x06.xml | TIMEOUT 60164 | n^1 - INF 50110 | TIMEOUT 60211 |
| tpdb-8.0/TRS/Secret_07_SRS/x08.xml | MAYBE 24053 | EXP - INF 5580 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Secret_07_SRS/x09.xml | MAYBE 23536 | n^2 - INF 50100 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | TIMEOUT 60174 | n^1 - INF 18440 | TIMEOUT 60265 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | TIMEOUT 60196 | n^1 - INF 50104 | TIMEOUT 60293 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | TIMEOUT 60229 | n^1 - INF 50196 | TIMEOUT 60343 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | TIMEOUT 60191 | n^1 - INF 50103 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | TIMEOUT 60201 | n^1 - INF 50200 | MAYBE 10542 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | TIMEOUT 60164 | n^1 - INF 50102 | TIMEOUT 60146 |
| tpdb-8.0/TRS/SK90/2.01.xml | n^0 - n^2 5302 | n^1 - n^2 5646 | n^0 - n^2 251 |
| tpdb-8.0/TRS/SK90/2.06.xml | n^0 - n^2 3378 | n^1 - n^2 6649 | n^0 - n^2 225 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^2 5226 | n^1 - n^2 3812 | n^0 - n^2 145 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^2 5245 | n^1 - n^2 4493 | n^0 - n^2 185 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^2 3333 | n^1 - n^2 5187 | n^0 - n^2 174 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^2 5218 | n^1 - n^2 4142 | n^0 - n^2 170 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 295 | n^1 - n^1 1247 | n^0 - n^1 187 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^2 3254 | n^1 - n^2 3333 | n^0 - n^2 130 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^2 3300 | n^1 - n^2 6262 | n^0 - n^2 194 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^2 3368 | n^1 - n^2 3700 | n^0 - n^2 147 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^2 5226 | n^1 - n^2 5194 | n^0 - n^2 213 |
| tpdb-8.0/TRS/SK90/4.32.xml | MAYBE 38936 | EXP - INF 50104 | TIMEOUT 60252 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 214 | n^1 - n^1 2050 | n^0 - n^1 99 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^1 224 | n^1 - n^1 2471 | n^0 - n^1 111 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^2 5228 | n^1 - n^2 6886 | n^0 - n^2 205 |
| tpdb-8.0/TRS/SK90/4.43.xml | TIMEOUT 60164 | n^1 - INF 38268 | TIMEOUT 60305 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 290 | n^1 - n^1 2503 | n^0 - n^1 103 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^2 5309 | n^1 - n^2 6999 | n^0 - n^2 934 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | TIMEOUT 60214 | n^1 - INF 50132 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | MAYBE 50350 | EXP - INF 50098 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | n^0 - n^1 668 | n^1 - n^1 2466 | n^0 - n^1 144 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | n^0 - n^1 460 | n^1 - n^1 2082 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml | n^0 - n^1 2591 | n^1 - n^1 4364 | n^0 - n^1 141 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | MAYBE 20200 | n^1 - INF 5839 | MAYBE 842 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml | n^0 - n^2 20771 | n^1 - n^2 50132 | n^0 - n^2 9737 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | n^0 - n^1 275 | n^1 - n^1 2403 | n^0 - n^2 218 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml | n^0 - n^1 269 | n^1 - n^1 2715 | n^0 - n^2 215 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | MAYBE 23398 | n^1 - INF 3156 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 36259 | n^1 - INF 50111 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 20220 | n^1 - INF 6610 | MAYBE 15238 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | TIMEOUT 60175 | n^1 - INF 7963 | TIMEOUT 60310 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 20230 | n^1 - INF 5370 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 20237 | EXP - INF 978 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | TIMEOUT 60187 | n^1 - INF 24265 | TIMEOUT 60460 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | TIMEOUT 60177 | n^1 - INF 23404 | TIMEOUT 60435 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 20234 | n^1 - INF 6564 | MAYBE 15443 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | MAYBE 20273 | n^1 - INF 13489 | MAYBE 34063 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 20230 | n^1 - INF 7144 | MAYBE 7300 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 20200 | n^1 - INF 4839 | MAYBE 7063 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 22194 | n^1 - INF 16608 | MAYBE 18810 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | MAYBE 20234 | n^1 - INF 6897 | MAYBE 321 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | MAYBE 20313 | EXP - INF 50095 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 249 | n^1 - n^1 1341 | n^0 - n^2 248 |
| tpdb-8.0/TRS/Trafo_06/dup09.xml | TIMEOUT 60255 | n^2 - EXP 50252 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | TIMEOUT 60444 | n^1 - INF 50317 | TIMEOUT 60261 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | TIMEOUT 60278 | n^2 - INF 50306 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Trafo_06/dup14.xml | TIMEOUT 60251 | EXP - INF 50107 | TIMEOUT 60203 |
| tpdb-8.0/TRS/Trafo_06/un02.xml | TIMEOUT 60323 | n^1 - INF 50171 | TIMEOUT 60216 |
| tpdb-8.0/TRS/Trafo_06/un05.xml | TIMEOUT 60199 | n^2 - INF 50236 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Trafo_06/un08.xml | TIMEOUT 60180 | EXP - INF 50100 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Trafo_06/un11.xml | TIMEOUT 60180 | EXP - INF 50086 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Trafo_06/un14.xml | TIMEOUT 60275 | n^2 - INF 50204 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Trafo_06/un18.xml | TIMEOUT 60219 | n^1 - INF 50395 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | NO 149 | INF - INF 98 | ERROR 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^2 10027 | n^1 - n^2 5882 | n^0 - n^3 4012 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^1 1560 | n^1 - n^1 1616 | n^0 - n^2 245 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | TIMEOUT 60232 | n^1 - INF 50262 | TIMEOUT 60384 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | TIMEOUT 60185 | n^1 - INF 10370 | TIMEOUT 60271 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | TIMEOUT 60218 | n^1 - INF 30824 | TIMEOUT 60227 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | MAYBE 20169 | n^1 - INF 2126 | MAYBE 187 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 20154 | n^1 - INF 1697 | MAYBE 211 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | TIMEOUT 60301 | n^1 - INF 50250 | TIMEOUT 60217 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | TIMEOUT 60174 | n^1 - INF 50096 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 20156 | n^1 - INF 1173 | MAYBE 88 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | TIMEOUT 60270 | n^1 - INF 50192 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | MAYBE 20162 | n^1 - INF 1894 | MAYBE 171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | n^0 - n^1 216 | n^1 - n^1 2150 | n^0 - n^1 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^1 1063 | n^1 - n^1 1689 | n^0 - n^1 170 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | NO 155 | INF - INF 94 | ERROR 88 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | TIMEOUT 60245 | n^1 - INF 50253 | TIMEOUT 60416 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^3 10585 | n^1 - n^2 14489 | n^0 - n^3 7174 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | n^0 - n^4 32011 | n^1 - EXP 50188 | TIMEOUT 60281 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | NO 151 | INF - INF 96 | ERROR 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | TIMEOUT 60293 | n^1 - INF 50235 | MAYBE 15967 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | TIMEOUT 60159 | n^1 - INF 13902 | TIMEOUT 60267 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | TIMEOUT 60238 | n^1 - INF 50170 | MAYBE 44590 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 278 | n^1 - n^1 2092 | n^0 - n^1 204 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^4 37972 | n^1 - INF 50132 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 832 | n^1 - n^1 2185 | n^0 - n^1 117 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | TIMEOUT 60209 | n^1 - INF 50121 | TIMEOUT 60473 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | TIMEOUT 60263 | n^1 - INF 50154 | MAYBE 10613 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | n^0 - n^3 14103 | n^1 - n^3 50196 | MAYBE 10374 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | TIMEOUT 60293 | n^1 - INF 50265 | TIMEOUT 60412 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | NO 164 | INF - INF 99 | ERROR 88 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | TIMEOUT 60271 | n^1 - INF 50566 | TIMEOUT 60463 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | TIMEOUT 60181 | n^1 - n^2 20799 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | TIMEOUT 60196 | n^1 - n^2 30331 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | TIMEOUT 60277 | n^1 - INF 50253 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | NO 166 | INF - INF 114 | ERROR 87 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | NO 357 | INF - INF 320 | ERROR 213 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | NO 179 | INF - INF 117 | ERROR 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | NO 195 | INF - INF 160 | ERROR 99 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | NO 198 | INF - INF 149 | ERROR 124 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | NO 153 | INF - INF 121 | ERROR 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | NO 185 | INF - INF 159 | ERROR 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | NO 157 | INF - INF 113 | ERROR 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | NO 159 | INF - INF 141 | ERROR 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | NO 203 | INF - INF 145 | ERROR 121 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | TIMEOUT 60304 | n^1 - INF 50241 | MAYBE 21750 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | TIMEOUT 60385 | n^1 - INF 50313 | MAYBE 24418 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | NO 159 | INF - INF 103 | ERROR 87 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | TIMEOUT 60502 | n^1 - INF 50408 | MAYBE 54372 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^2 13497 | n^1 - INF 50257 | n^0 - n^2 21519 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | n^0 - n^2 10440 | n^1 - INF 50241 | n^0 - n^2 14242 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | TIMEOUT 60273 | n^1 - INF 50248 | MAYBE 14067 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | n^0 - n^2 3519 | n^1 - n^2 4362 | n^0 - n^2 294 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | TIMEOUT 60291 | n^1 - INF 50268 | MAYBE 16585 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | NO 182 | INF - INF 131 | ERROR 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | NO 155 | INF - INF 97 | ERROR 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | NO 162 | INF - INF 114 | ERROR 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml | TIMEOUT 60258 | n^1 - INF 50155 | TIMEOUT 60416 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | TIMEOUT 60318 | n^1 - INF 50255 | MAYBE 18467 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^1 183 | n^1 - n^1 2534 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 20329 | n^1 - INF 50101 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Various_04/18.xml | TIMEOUT 60195 | n^1 - INF 50116 | n^0 - n^2 56879 |
| tpdb-8.0/TRS/Various_04/19.xml | MAYBE 31092 | n^1 - INF 29432 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Various_04/21.xml | TIMEOUT 60203 | n^1 - INF 50179 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 3439 | n^1 - n^2 5343 | n^0 - n^2 277 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 18687 | n^1 - EXP 50152 | n^0 - n^1 51371 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 219 | n^1 - n^1 2481 | n^0 - n^2 128 |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^1 226 | n^1 - n^1 2548 | n^0 - n^1 107 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | MAYBE 26789 | n^1 - INF 50112 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 35430 | n^1 - EXP 50117 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60174 | n^1 - INF 36921 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | MAYBE 39303 | n^1 - INF 50115 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60179 | n^1 - INF 50088 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | TIMEOUT 60148 | n^1 - INF 18725 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | MAYBE 39218 | n^1 - INF 50086 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | MAYBE 20417 | n^1 - INF 50087 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | n^0 - n^2 15567 | n^1 - INF 50085 | n^0 - n^2 24632 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | n^0 - n^3 16113 | n^1 - INF 50086 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | TIMEOUT 60208 | EXP - INF 50095 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | TIMEOUT 60202 | EXP - INF 50090 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | n^0 - n^4 52174 | n^2 - n^2 29957 | n^0 - n^3 7450 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml | n^0 - n^1 1560 | n^1 - INF 50096 | n^0 - n^1 239 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml | TIMEOUT 60155 | n^1 - INF 50184 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | n^0 - n^1 1183 | n^1 - INF 50098 | n^0 - n^1 155 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml | TIMEOUT 60165 | n^1 - INF 50119 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml | TIMEOUT 60154 | EXP - INF 50082 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml | TIMEOUT 60167 | n^1 - INF 50338 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-7.xml | TIMEOUT 60179 | n^1 - INF 50439 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | TIMEOUT 60167 | n^1 - INF 50109 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml | TIMEOUT 60153 | EXP - INF 50082 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | MAYBE 23479 | EXP - INF 32057 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | MAYBE 34280 | EXP - INF 50080 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml | MAYBE 38862 | EXP - INF 50081 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | MAYBE 20452 | n^1 - INF 50199 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | MAYBE 20397 | n^1 - INF 50112 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | TIMEOUT 60152 | n^1 - INF 50117 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml | MAYBE 23799 | n^2 - INF 50111 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml | MAYBE 21265 | EXP - INF 50083 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml | MAYBE 43474 | n^1 - INF 50371 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml | MAYBE 20428 | n^2 - INF 50111 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-15.xml | MAYBE 20375 | n^1 - INF 50109 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml | MAYBE 20367 | n^2 - INF 50104 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml | MAYBE 20499 | EXP - INF 50101 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml | TIMEOUT 60157 | n^1 - INF 50235 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml | TIMEOUT 60166 | n^1 - INF 50238 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | TIMEOUT 60155 | EXP - INF 50080 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml | TIMEOUT 60154 | n^2 - INF 50112 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml | MAYBE 21128 | n^2 - INF 50120 | TIMEOUT 60191 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml | MAYBE 21278 | EXP - INF 50100 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | MAYBE 21886 | EXP - INF 50099 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml | MAYBE 20762 | n^1 - INF 50111 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml | MAYBE 31822 | n^1 - INF 50098 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml | MAYBE 21293 | n^1 - INF 50113 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-178.xml | MAYBE 21518 | n^1 - INF 50115 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-180.xml | MAYBE 21700 | n^1 - INF 50106 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-194.xml | MAYBE 21340 | n^1 - INF 50120 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml | MAYBE 20418 | n^1 - INF 50106 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml | TIMEOUT 60183 | EXP - INF 50101 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml | MAYBE 36388 | n^2 - INF 50239 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml | MAYBE 21166 | n^2 - INF 50106 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml | MAYBE 20737 | n^1 - INF 50134 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-257.xml | MAYBE 21182 | EXP - INF 13623 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml | MAYBE 51834 | n^1 - INF 50245 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml | MAYBE 30599 | n^1 - INF 50120 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml | MAYBE 50172 | n^2 - INF 50111 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml | MAYBE 37943 | EXP - INF 50096 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml | MAYBE 20367 | EXP - INF 50081 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml | MAYBE 20328 | EXP - INF 50080 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml | TIMEOUT 60163 | n^2 - INF 50113 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml | MAYBE 20393 | n^1 - INF 50107 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml | TIMEOUT 60192 | n^1 - INF 50131 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml | MAYBE 21015 | n^2 - INF 50118 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml | TIMEOUT 60153 | n^1 - INF 50119 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml | MAYBE 59806 | n^1 - INF 50305 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml | TIMEOUT 60176 | n^1 - INF 50137 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml | TIMEOUT 60163 | n^2 - INF 50113 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml | TIMEOUT 60186 | n^1 - INF 50118 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml | TIMEOUT 60186 | EXP - INF 50095 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml | TIMEOUT 60156 | n^1 - INF 50117 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml | MAYBE 21954 | n^2 - INF 50100 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml | TIMEOUT 60152 | n^1 - INF 50104 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml | TIMEOUT 60190 | n^2 - INF 50120 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml | TIMEOUT 60191 | n^1 - INF 50123 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml | TIMEOUT 60189 | n^1 - INF 50132 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml | TIMEOUT 60154 | EXP - INF 50084 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml | TIMEOUT 60187 | n^1 - INF 50124 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml | TIMEOUT 60198 | n^1 - INF 50299 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml | MAYBE 46540 | n^1 - INF 50435 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml | TIMEOUT 60154 | n^2 - INF 50100 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml | MAYBE 50372 | EXP - INF 50097 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml | TIMEOUT 60177 | n^1 - INF 50237 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml | MAYBE 21060 | n^2 - INF 50098 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml | MAYBE 25328 | EXP - INF 50083 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml | TIMEOUT 60151 | n^1 - INF 50251 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml | TIMEOUT 60152 | n^1 - INF 50117 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml | TIMEOUT 60176 | n^1 - INF 50351 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml | TIMEOUT 60162 | n^2 - INF 50202 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml | MAYBE 20323 | n^2 - INF 50106 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml | TIMEOUT 60160 | n^1 - INF 50115 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml | TIMEOUT 60181 | n^1 - INF 50117 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml | MAYBE 20297 | n^2 - INF 50097 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml | TIMEOUT 60170 | n^2 - INF 50240 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-526.xml | MAYBE 20460 | n^1 - INF 50154 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml | MAYBE 22551 | n^2 - INF 50100 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | MAYBE 21106 | n^1 - INF 50099 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml | MAYBE 20311 | n^1 - INF 50094 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml | MAYBE 23547 | n^2 - INF 50108 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-61.xml | MAYBE 21374 | EXP - INF 50084 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | MAYBE 26354 | n^1 - INF 50127 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml | MAYBE 21663 | n^2 - INF 50117 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml | MAYBE 21458 | EXP - INF 50099 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml | MAYBE 58096 | EXP - INF 50096 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml | MAYBE 22391 | EXP - INF 50098 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Zantema_04/z007.xml | n^0 - n^2 5270 | n^2 - n^2 904 | n^0 - n^2 276 |
| tpdb-8.0/TRS/Zantema_04/z008.xml | TIMEOUT 60241 | n^2 - INF 50481 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | n^0 - n^4 16706 | n^2 - n^2 7308 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Zantema_04/z011.xml | TIMEOUT 60178 | EXP - EXP 933 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | MAYBE 56168 | EXP - EXP 804 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | MAYBE 53147 | EXP - EXP 1584 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Zantema_04/z018.xml | TIMEOUT 60162 | EXP - INF 50100 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Zantema_04/z024.xml | n^0 - n^1 1811 | n^1 - n^1 7455 | n^0 - n^2 4571 |
| tpdb-8.0/TRS/Zantema_04/z026.xml | TIMEOUT 60197 | n^2 - EXP 50279 | TIMEOUT 60174 |
| tpdb-8.0/TRS/Zantema_04/z033.xml | n^0 - n^1 336 | n^1 - n^1 9787 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Zantema_04/z037.xml | n^0 - n^1 372 | n^1 - INF 50306 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Zantema_04/z040.xml | n^0 - n^1 476 | n^1 - INF 50335 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Zantema_04/z041.xml | TIMEOUT 60175 | EXP - INF 50096 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | n^0 - n^1 344 | n^1 - EXP 50443 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | n^0 - n^1 371 | n^1 - n^3 50349 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | TIMEOUT 60176 | EXP - INF 50099 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Zantema_04/z048.xml | n^0 - n^1 358 | n^1 - EXP 50514 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Zantema_04/z055.xml | n^0 - n^1 309 | n^1 - n^2 50296 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Zantema_04/z062.xml | n^0 - n^1 327 | n^1 - n^1 7901 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Zantema_04/z065.xml | TIMEOUT 60238 | n^2 - EXP 50491 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Zantema_04/z067.xml | n^0 - n^3 17180 | n^2 - n^2 10225 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Zantema_04/z068.xml | TIMEOUT 60188 | n^2 - n^2 17830 | TIMEOUT 60206 |
| tpdb-8.0/TRS/Zantema_04/z074.xml | TIMEOUT 60293 | n^2 - INF 50293 | TIMEOUT 60274 |
| tpdb-8.0/TRS/Zantema_04/z081.xml | TIMEOUT 60201 | n^2 - EXP 50187 | n^0 - n^2 28924 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | TIMEOUT 60242 | n^2 - INF 50385 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Zantema_04/z086.xml | TIMEOUT 60199 | n^2 - EXP 50439 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Zantema_04/z088.xml | TIMEOUT 60196 | EXP - EXP 2650 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Zantema_04/z092.xml | n^0 - n^2 5657 | n^2 - n^2 6533 | n^0 - n^2 1065 |
| tpdb-8.0/TRS/Zantema_04/z104.xml | n^0 - n^1 1184 | n^1 - INF 50120 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Zantema_04/z108.xml | n^0 - n^1 626 | n^1 - n^2 50142 | n^0 - n^2 486 |
| tpdb-8.0/TRS/Zantema_04/z109.xml | n^0 - n^1 555 | n^1 - n^4 50159 | TIMEOUT 60191 |
| tpdb-8.0/TRS/Zantema_04/z115.xml | n^0 - n^2 7517 | n^2 - n^2 44430 | n^0 - n^2 483 |
| tpdb-8.0/TRS/Zantema_04/z118.xml | TIMEOUT 60180 | n^1 - INF 50244 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Zantema_04/z119.xml | TIMEOUT 60198 | EXP - INF 50100 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Zantema_04/z120.xml | TIMEOUT 60183 | n^2 - INF 50115 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Zantema_04/z124.xml | n^0 - n^2 5621 | n^2 - n^2 5034 | n^0 - n^2 844 |
| tpdb-8.0/TRS/Zantema_04/z126.xml | n^0 - n^1 3725 | n^1 - n^1 4969 | n^0 - n^2 5470 |
| tpdb-8.0/TRS/Zantema_04/z127.xml | TIMEOUT 60195 | EXP - INF 50099 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^1 259 | n^1 - INF 50119 | n^0 - n^2 3869 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 273 | n^1 - INF 50100 | n^0 - n^2 3766 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | n^0 - n^1 268 | n^1 - INF 50111 | n^0 - n^2 2685 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | n^0 - n^1 263 | n^1 - INF 50101 | n^0 - n^2 3130 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^1 249 | n^1 - INF 50097 | n^0 - n^2 5404 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | n^0 - n^1 268 | n^1 - INF 50113 | n^0 - n^2 4498 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 271 | n^1 - INF 50097 | n^0 - n^2 3215 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^1 268 | n^1 - INF 50100 | n^0 - n^2 4965 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^1 257 | n^1 - INF 50099 | n^0 - n^2 11876 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^1 270 | n^1 - INF 50098 | n^0 - n^2 2447 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | n^0 - n^1 254 | n^1 - INF 50103 | n^0 - n^2 3174 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | n^0 - n^1 266 | n^1 - INF 50101 | n^0 - n^2 2816 |
| tpdb-8.0/TRS/Zantema_05/jw44.xml | n^0 - n^2 5267 | n^1 - n^2 50104 | n^0 - n^2 272 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^2 5262 | n^1 - n^2 50101 | n^0 - n^2 235 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 294 | n^1 - n^2 9494 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | n^0 - n^1 450 | n^1 - INF 50126 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | TIMEOUT 60197 | n^1 - INF 50123 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | TIMEOUT 60191 | n^1 - INF 50117 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Zantema_05/z19.xml | TIMEOUT 60179 | n^1 - INF 36942 | MAYBE 7599 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | TIMEOUT 60180 | n^1 - INF 25387 | MAYBE 27351 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | n^0 - n^2 9628 | n^1 - INF 50111 | TIMEOUT 60432 |
| tpdb-8.0/TRS/Zantema_06/02.xml | TIMEOUT 60177 | EXP - EXP 14252 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Zantema_06/05.xml | TIMEOUT 60212 | n^2 - INF 50429 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Zantema_06/06.xml | TIMEOUT 60205 | EXP - INF 50097 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Zantema_06/09.xml | TIMEOUT 60249 | n^2 - INF 50299 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Zantema_06/10.xml | MAYBE 40917 | EXP - INF 49993 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Zantema_06/13.xml | TIMEOUT 60205 | n^2 - INF 50125 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Zantema_06/15.xml | TIMEOUT 60263 | n^1 - INF 50174 | TIMEOUT 60211 |
| tpdb-8.0/TRS/Zantema_06/16.xml | n^0 - n^2 16476 | n^1 - n^2 50232 | n^0 - n^3 11507 |
| tpdb-8.0/TRS/Zantema_06/18.xml | TIMEOUT 60356 | n^1 - INF 50293 | MAYBE 695 |
| tpdb-8.0/TRS/Zantema_06/beans4.xml | TIMEOUT 60191 | n^2 - EXP 50373 | TIMEOUT 60186 | 401 | 360 | 267 |