| benchmark | CaT | TCT RC |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 226 | TIMEOUT 61109 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 200 | MAYBE 47657 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 52373 | TIMEOUT 60249 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 52151 | TIMEOUT 60289 |
| tpdb-8.0/TRS/AG01/#3.22.xml | MAYBE 205 | TIMEOUT 60614 |
| tpdb-8.0/TRS/AG01/#3.2.xml | MAYBE 201 | MAYBE 27246 |
| tpdb-8.0/TRS/AG01/#3.40.xml | MAYBE 215 | MAYBE 33509 |
| tpdb-8.0/TRS/AG01/#3.42.xml | MAYBE 201 | MAYBE 45500 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 202 | TIMEOUT 60260 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | MAYBE 191 | n^0 - n^1 258 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 236 | MAYBE 35534 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 177 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 234 | MAYBE 24253 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | MAYBE 228 | TIMEOUT 60697 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 213 | TIMEOUT 60164 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | MAYBE 208 | TIMEOUT 60342 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | MAYBE 215 | TIMEOUT 60463 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | MAYBE 225 | TIMEOUT 60592 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | MAYBE 206 | TIMEOUT 60278 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 520 | n^0 - n^1 209 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | MAYBE 202 | MAYBE 42113 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^2 4773 | n^0 - n^1 1622 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^1 340 | n^0 - n^1 149 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | MAYBE 201 | TIMEOUT 60339 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | MAYBE 210 | TIMEOUT 60456 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | MAYBE 230 | TIMEOUT 60466 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | MAYBE 201 | TIMEOUT 60296 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | MAYBE 193 | TIMEOUT 60310 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | MAYBE 202 | TIMEOUT 60333 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | MAYBE 225 | TIMEOUT 60456 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | MAYBE 225 | TIMEOUT 60405 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | MAYBE 305 | TIMEOUT 61066 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | MAYBE 207 | TIMEOUT 60546 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | MAYBE 238 | TIMEOUT 60573 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 5876 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | MAYBE 288 | TIMEOUT 60381 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | MAYBE 235 | TIMEOUT 60570 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | MAYBE 293 | TIMEOUT 61106 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MAYBE 269 | TIMEOUT 60710 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | MAYBE 242 | TIMEOUT 60582 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | MAYBE 236 | TIMEOUT 60539 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | MAYBE 248 | TIMEOUT 60487 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | MAYBE 244 | TIMEOUT 60596 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | MAYBE 256 | TIMEOUT 60565 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | MAYBE 305 | TIMEOUT 60668 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | MAYBE 293 | TIMEOUT 60711 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 314 | MAYBE 35926 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 206 | TIMEOUT 60453 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | MAYBE 197 | MAYBE 3805 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 265 | TIMEOUT 60756 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 252 | TIMEOUT 60586 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | MAYBE 192 | MAYBE 26191 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 217 | TIMEOUT 60158 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 224 | TIMEOUT 60616 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | TIMEOUT 60148 | n^0 - n^1 6748 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^2 12964 | n^0 - n^1 8082 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 221 | TIMEOUT 60253 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 225 | TIMEOUT 60278 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 217 | TIMEOUT 60387 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 45947 | TIMEOUT 60176 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 221 | MAYBE 16206 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 227 | TIMEOUT 60636 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 45486 | TIMEOUT 60199 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 203 | TIMEOUT 60146 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 184 | TIMEOUT 60179 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 219 | TIMEOUT 60411 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 264 | TIMEOUT 60334 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | MAYBE 215 | TIMEOUT 60539 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 209 | MAYBE 50215 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 217 | TIMEOUT 61108 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 218 | TIMEOUT 60229 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 209 | TIMEOUT 60338 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 213 | TIMEOUT 60270 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | MAYBE 209 | TIMEOUT 60319 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | MAYBE 209 | TIMEOUT 60212 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | MAYBE 216 | MAYBE 24101 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 223 | TIMEOUT 60222 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | MAYBE 214 | TIMEOUT 60433 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 216 | TIMEOUT 60503 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | MAYBE 222 | MAYBE 55148 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 212 | TIMEOUT 60179 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 195 | TIMEOUT 60247 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | MAYBE 253 | TIMEOUT 60703 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | MAYBE 240 | TIMEOUT 60403 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 212 | TIMEOUT 60223 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 238 | TIMEOUT 60627 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 284 | TIMEOUT 60622 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 213 | TIMEOUT 60163 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 209 | TIMEOUT 60297 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 218 | TIMEOUT 60555 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 217 | TIMEOUT 60503 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 227 | MAYBE 52555 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 234 | MAYBE 54219 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 234 | TIMEOUT 60482 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 19510 | MAYBE 27798 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 13230 | MAYBE 55058 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 207 | TIMEOUT 60163 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 216 | TIMEOUT 60243 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 202 | MAYBE 56215 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 222 | TIMEOUT 60313 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 223 | TIMEOUT 61290 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 204 | TIMEOUT 60204 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 223 | MAYBE 46006 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 228 | MAYBE 55557 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 225 | TIMEOUT 60462 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 217 | TIMEOUT 60241 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 230 | MAYBE 51716 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 206 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 199 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 237 | TIMEOUT 60252 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 234 | TIMEOUT 60277 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 217 | TIMEOUT 60223 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 210 | MAYBE 28953 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 209 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 197 | MAYBE 19899 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 200 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 209 | TIMEOUT 60202 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 202 | TIMEOUT 60272 |
| tpdb-8.0/TRS/CiME_04/append.xml | MAYBE 192 | MAYBE 2624 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 46947 | TIMEOUT 60180 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 56450 | TIMEOUT 60311 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | MAYBE 228 | TIMEOUT 60426 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 233 | TIMEOUT 60589 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 221 | TIMEOUT 60378 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 230 | TIMEOUT 60361 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 239 | TIMEOUT 60701 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 299 | TIMEOUT 60428 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 321 | n^0 - n^1 140 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 551 | n^0 - n^1 234 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 5355 | n^0 - n^1 678 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^2 3334 | n^0 - n^1 199 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 199 | TIMEOUT 60249 |
| tpdb-8.0/TRS/Der95/13.xml | MAYBE 198 | MAYBE 54078 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 215 | TIMEOUT 60435 |
| tpdb-8.0/TRS/Der95/28.xml | MAYBE 194 | MAYBE 26358 |
| tpdb-8.0/TRS/Der95/30.xml | MAYBE 204 | TIMEOUT 60241 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 221 | TIMEOUT 60418 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MAYBE 207 | MAYBE 8963 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | MAYBE 55267 | n^0 - n^1 15179 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 201 | TIMEOUT 60387 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | MAYBE 193 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | MAYBE 205 | MAYBE 53465 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | MAYBE 197 | TIMEOUT 60212 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^2 18440 | n^0 - n^1 1860 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 55255 | n^0 - n^1 901 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 401 | n^0 - n^1 1146 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 463 | n^0 - n^1 1266 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 210 | MAYBE 37333 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 199 | MAYBE 40555 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 210 | TIMEOUT 60244 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 200 | TIMEOUT 60146 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 215 | TIMEOUT 60169 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 210 | TIMEOUT 60252 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 217 | TIMEOUT 60209 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 220 | TIMEOUT 60561 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 202 | TIMEOUT 60268 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 214 | TIMEOUT 60462 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 5271 | TIMEOUT 60142 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 5584 | TIMEOUT 60125 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 5614 | TIMEOUT 60096 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 199 | MAYBE 2240 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 232 | MAYBE 37086 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^1 328 | n^0 - n^1 141 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^1 340 | n^0 - n^1 226 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60522 | TIMEOUT 60250 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 3499 | n^0 - n^1 330 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 222 | TIMEOUT 60477 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 367 | n^0 - n^1 481 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | MAYBE 45836 | n^0 - n^1 501 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | MAYBE 206 | TIMEOUT 60248 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 346 | MAYBE 20027 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | MAYBE 8714 | n^0 - n^1 326 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | MAYBE 209 | TIMEOUT 60276 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | MAYBE 55289 | n^0 - n^1 6521 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 326 | n^0 - n^1 187 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 223 | TIMEOUT 60617 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 180 | MAYBE 7915 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | MAYBE 210 | MAYBE 12843 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 227 | TIMEOUT 60356 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 497 | n^0 - n^1 236 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^2 3695 | n^0 - n^1 559 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 415 | n^0 - n^1 1419 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 205 | MAYBE 15078 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | MAYBE 221 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 230 | TIMEOUT 60468 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 207 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | MAYBE 202 | TIMEOUT 60406 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 215 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 207 | MAYBE 2288 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 208 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | MAYBE 275 | TIMEOUT 60530 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 321 | TIMEOUT 60663 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^3 19243 | n^0 - n^1 473 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 197 | TIMEOUT 60218 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 215 | TIMEOUT 60280 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 215 | MAYBE 1092 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 6341 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 247 | TIMEOUT 60445 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | MAYBE 243 | TIMEOUT 60831 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 210 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 222 | TIMEOUT 60426 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | MAYBE 201 | TIMEOUT 61635 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | MAYBE 213 | TIMEOUT 60458 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | MAYBE 210 | TIMEOUT 60357 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | MAYBE 207 | TIMEOUT 60217 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 217 | TIMEOUT 60341 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 229 | TIMEOUT 60348 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 202 | MAYBE 54273 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 214 | MAYBE 40397 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | MAYBE 45262 | TIMEOUT 60238 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | MAYBE 45524 | n^0 - n^1 8083 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 257 | TIMEOUT 60716 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 243 | MAYBE 16637 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 243 | MAYBE 39463 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 223 | TIMEOUT 60232 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 233 | TIMEOUT 60323 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 225 | TIMEOUT 60537 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 231 | MAYBE 30687 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 211 | TIMEOUT 60251 |
| tpdb-8.0/TRS/SK90/2.02.xml | MAYBE 25613 | n^0 - n^1 948 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^2 5320 | n^0 - n^1 221 |
| tpdb-8.0/TRS/SK90/2.05.xml | MAYBE 196 | TIMEOUT 60224 |
| tpdb-8.0/TRS/SK90/2.10.xml | MAYBE 12358 | n^0 - n^1 2807 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^2 4004 | n^0 - n^1 179 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 196 | MAYBE 511 |
| tpdb-8.0/TRS/SK90/2.19.xml | MAYBE 208 | TIMEOUT 60238 |
| tpdb-8.0/TRS/SK90/2.23.xml | MAYBE 215 | TIMEOUT 60214 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 226 | MAYBE 1557 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 194 | TIMEOUT 60222 |
| tpdb-8.0/TRS/SK90/2.30.xml | MAYBE 202 | n^0 - n^0 108 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^2 4046 | n^0 - n^1 1211 |
| tpdb-8.0/TRS/SK90/2.35.xml | MAYBE 188 | n^0 - n^1 696 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^2 3646 | n^0 - n^1 240 |
| tpdb-8.0/TRS/SK90/2.39.xml | MAYBE 21591 | TIMEOUT 60200 |
| tpdb-8.0/TRS/SK90/2.44.xml | MAYBE 205 | TIMEOUT 60145 |
| tpdb-8.0/TRS/SK90/2.45.xml | MAYBE 210 | TIMEOUT 60284 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^1 322 | n^0 - n^1 187 |
| tpdb-8.0/TRS/SK90/2.57.xml | MAYBE 204 | MAYBE 22039 |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^2 3440 | n^0 - n^1 299 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^2 3781 | n^0 - n^1 632 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 228 | MAYBE 22700 |
| tpdb-8.0/TRS/SK90/4.15.xml | n^0 - n^2 3467 | n^0 - n^1 353 |
| tpdb-8.0/TRS/SK90/4.18.xml | MAYBE 199 | n^0 - n^0 118 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^3 17418 | n^0 - n^2 2618 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 227 | MAYBE 1199 |
| tpdb-8.0/TRS/SK90/4.32.xml | MAYBE 46993 | n^0 - n^1 2278 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 45247 | TIMEOUT 60200 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 348 | n^0 - n^0 123 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^1 330 | n^0 - n^1 199 |
| tpdb-8.0/TRS/SK90/4.37.xml | n^0 - n^1 334 | n^0 - n^1 142 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 250 | TIMEOUT 60262 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 373 | n^0 - n^1 208 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 314 | n^0 - n^1 154 |
| tpdb-8.0/TRS/SK90/4.49.xml | MAYBE 210 | MAYBE 21518 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^1 827 | n^0 - n^1 518 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | MAYBE 200 | MAYBE 3260 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | MAYBE 55477 | n^0 - n^1 496 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | n^0 - n^1 836 | n^0 - n^1 213 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml | MAYBE 211 | TIMEOUT 60645 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 211 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | MAYBE 214 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml | MAYBE 252 | TIMEOUT 60443 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | MAYBE 235 | TIMEOUT 60566 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | n^0 - n^1 361 | n^0 - n^1 635 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | MAYBE 197 | MAYBE 7460 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | MAYBE 229 | MAYBE 2673 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | MAYBE 191 | MAYBE 831 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 216 | MAYBE 898 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | MAYBE 209 | MAYBE 1682 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | MAYBE 220 | MAYBE 896 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 6095 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MAYBE 220 | MAYBE 616 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | MAYBE 219 | TIMEOUT 60426 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | MAYBE 204 | MAYBE 12705 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | MAYBE 221 | MAYBE 2047 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | MAYBE 11522 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 189 | MAYBE 18992 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 6100 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 6421 | MAYBE 14843 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 219 | MAYBE 1586 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | MAYBE 5824 | n^0 - n^1 197 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | MAYBE 195 | MAYBE 59613 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MAYBE 194 | MAYBE 13010 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 198 | MAYBE 9734 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | MAYBE 192 | MAYBE 4100 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | MAYBE 208 | TIMEOUT 60244 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | MAYBE 218 | TIMEOUT 60440 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | MAYBE 259 | TIMEOUT 60743 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | NO 212 | MAYBE 126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | MAYBE 201 | n^0 - n^1 460 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | MAYBE 291 | TIMEOUT 60622 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | n^0 - n^2 4268 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^2 4620 | n^0 - n^1 1579 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^2 4314 | n^0 - n^1 1262 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | MAYBE 237 | TIMEOUT 60717 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MAYBE 207 | TIMEOUT 60697 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | MAYBE 265 | TIMEOUT 60343 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | TIMEOUT 60130 | TIMEOUT 60226 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^2 5386 | n^0 - n^1 1514 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | MAYBE 194 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | MAYBE 199 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^1 375 | n^0 - n^1 250 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | MAYBE 287 | TIMEOUT 60578 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | MAYBE 223 | TIMEOUT 60598 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | MAYBE 272 | TIMEOUT 60691 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 202 | MAYBE 118 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 220 | TIMEOUT 60221 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | MAYBE 207 | MAYBE 43237 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | MAYBE 269 | TIMEOUT 60838 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | MAYBE 242 | TIMEOUT 60502 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | MAYBE 248 | TIMEOUT 60580 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | MAYBE 288 | TIMEOUT 60572 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | MAYBE 399 | TIMEOUT 60657 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | MAYBE 301 | TIMEOUT 60891 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | NO 219 | MAYBE 777 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 255 | TIMEOUT 60346 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | n^0 - n^1 304 | n^0 - n^1 189 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | MAYBE 251 | TIMEOUT 60589 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | NO 199 | MAYBE 129 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | MAYBE 55550 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | n^0 - n^1 311 | n^0 - n^0 130 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | TIMEOUT 60141 | n^0 - n^1 24991 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | MAYBE 58986 | n^0 - n^1 15589 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | MAYBE 232 | TIMEOUT 60523 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | MAYBE 290 | TIMEOUT 60703 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 213 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 321 | TIMEOUT 60829 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | NO 227 | MAYBE 131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | MAYBE 246 | TIMEOUT 60623 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60145 | n^0 - n^1 21229 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | MAYBE 58472 | n^0 - n^1 16161 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | MAYBE 514 | TIMEOUT 61444 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | MAYBE 681 | TIMEOUT 61088 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 674 | TIMEOUT 61030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | MAYBE 584 | TIMEOUT 60615 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | MAYBE 387 | TIMEOUT 61259 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | MAYBE 323 | TIMEOUT 60917 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | NO 220 | MAYBE 141 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | MAYBE 340 | TIMEOUT 60844 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | MAYBE 409 | TIMEOUT 60498 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | MAYBE 289 | TIMEOUT 60709 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml | MAYBE 386 | TIMEOUT 60684 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | MAYBE 251 | TIMEOUT 60678 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | MAYBE 253 | TIMEOUT 60285 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | MAYBE 944 | TIMEOUT 60890 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | MAYBE 297 | TIMEOUT 60678 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml | MAYBE 355 | TIMEOUT 61101 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | MAYBE 535 | TIMEOUT 60810 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | MAYBE 328 | TIMEOUT 60909 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml | TIMEOUT 60136 | n^0 - n^1 47490 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | MAYBE 56403 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | MAYBE 514 | TIMEOUT 60750 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | MAYBE 777 | TIMEOUT 60881 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | MAYBE 19849 | TIMEOUT 60220 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 38294 | TIMEOUT 60329 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | MAYBE 12705 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 28857 | TIMEOUT 60401 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml | MAYBE 354 | TIMEOUT 60851 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml | MAYBE 515 | TIMEOUT 60865 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | MAYBE 277 | TIMEOUT 60507 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | MAYBE 222 | TIMEOUT 60619 |
| tpdb-8.0/TRS/Various_04/03.xml | MAYBE 205 | MAYBE 1682 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 246 | MAYBE 34912 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 253 | MAYBE 48639 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 197 | MAYBE 16075 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 11073 | n^0 - n^1 342 |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 46737 | n^0 - n^1 931 |
| tpdb-8.0/TRS/Various_04/21.xml | MAYBE 29041 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 199 | MAYBE 8382 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 342 | n^0 - n^1 338 |
| tpdb-8.0/TRS/Various_04/26.xml | MAYBE 210 | n^0 - n^1 22413 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | MAYBE 45277 | n^0 - n^1 413 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | MAYBE 45243 | n^0 - n^1 392 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | MAYBE 7429 | n^0 - n^1 444 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^1 370 | n^0 - n^1 410 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 6312 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | MAYBE 7600 | n^0 - n^1 270 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | MAYBE 19049 | n^0 - n^1 358 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MAYBE 210 | TIMEOUT 60250 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | MAYBE 6744 | n^0 - n^1 489 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | MAYBE 7734 | n^0 - n^1 467 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | n^0 - n^1 335 | n^0 - n^1 508 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | n^0 - n^1 356 | n^0 - n^1 306 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | n^0 - n^1 388 | n^0 - n^1 443 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | n^0 - n^1 385 | n^0 - n^1 408 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^1 370 | n^0 - n^1 508 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | n^0 - n^1 338 | n^0 - n^1 459 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | n^0 - n^1 338 | n^0 - n^1 355 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^1 351 | n^0 - n^1 393 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 340 | n^0 - n^1 389 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 353 | n^0 - n^1 432 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | n^0 - n^1 356 | n^0 - n^1 487 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | n^0 - n^1 374 | n^0 - n^1 504 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^2 3990 | n^0 - n^1 541 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 356 | n^0 - n^1 599 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | n^0 - n^4 14428 | n^0 - n^1 3591 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | MAYBE 36610 | n^0 - n^1 5449 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55233 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 58955 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55284 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 3663 | n^0 - n^1 2640 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 202 | MAYBE 26718 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | MAYBE 6818 | n^0 - n^1 1581 | 100 | 190 |