| benchmark | CaT | TCT |
|---|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | MAYBE 340 | TIMEOUT 60126 |
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 55367 | TIMEOUT 60116 |
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 330 | TIMEOUT 60110 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 6465 | n^0 - n^1 453 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 309 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 55528 | MAYBE 27450 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 55450 | MAYBE 40827 |
| tpdb-8.0/TRS/AG01/#3.18.xml | MAYBE 309 | TIMEOUT 60107 |
| tpdb-8.0/TRS/AG01/#3.19.xml | MAYBE 316 | MAYBE 35534 |
| tpdb-8.0/TRS/AG01/#3.1.xml | MAYBE 308 | n^0 - n^1 535 |
| tpdb-8.0/TRS/AG01/#3.21.xml | MAYBE 306 | TIMEOUT 60087 |
| tpdb-8.0/TRS/AG01/#3.22.xml | MAYBE 348 | TIMEOUT 60027 |
| tpdb-8.0/TRS/AG01/#3.23.xml | MAYBE 302 | n^0 - n^1 51 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 404 | n^0 - n^1 48 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 55377 | TIMEOUT 60068 |
| tpdb-8.0/TRS/AG01/#3.29.xml | MAYBE 302 | n^0 - n^1 58 |
| tpdb-8.0/TRS/AG01/#3.2.xml | MAYBE 307 | TIMEOUT 60116 |
| tpdb-8.0/TRS/AG01/#3.31.xml | MAYBE 301 | TIMEOUT 60103 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 423 | n^0 - n^1 40 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^1 399 | n^0 - n^1 33 |
| tpdb-8.0/TRS/AG01/#3.36.xml | MAYBE 310 | TIMEOUT 60093 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 518 | n^0 - n^1 70 |
| tpdb-8.0/TRS/AG01/#3.38.xml | MAYBE 308 | TIMEOUT 60078 |
| tpdb-8.0/TRS/AG01/#3.39.xml | MAYBE 314 | n^0 - n^1 14249 |
| tpdb-8.0/TRS/AG01/#3.40.xml | MAYBE 321 | TIMEOUT 60102 |
| tpdb-8.0/TRS/AG01/#3.41.xml | MAYBE 304 | n^0 - n^2 2020 |
| tpdb-8.0/TRS/AG01/#3.42.xml | MAYBE 310 | TIMEOUT 60101 |
| tpdb-8.0/TRS/AG01/#3.47.xml | MAYBE 307 | TIMEOUT 60099 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 313 | TIMEOUT 60080 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 55484 | TIMEOUT 60083 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 310 | TIMEOUT 60122 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 456 | n^0 - n^1 66 |
| tpdb-8.0/TRS/AG01/#3.52.xml | MAYBE 306 | n^0 - n^1 247 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | MAYBE 304 | n^0 - n^1 53 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | MAYBE 305 | n^0 - n^1 283 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 327 | TIMEOUT 60244 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 308 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 332 | TIMEOUT 60186 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 417 | n^0 - n^1 58 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 324 | TIMEOUT 60214 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | MAYBE 318 | TIMEOUT 60092 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | MAYBE 318 | TIMEOUT 60110 |
| tpdb-8.0/TRS/AG01/#3.5.xml | MAYBE 313 | n^0 - n^2 663 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | MAYBE 315 | n^0 - n^2 626 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | MAYBE 322 | TIMEOUT 60125 |
| tpdb-8.0/TRS/AG01/#3.6.xml | MAYBE 318 | TIMEOUT 60116 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^1 3250 | n^0 - n^1 640 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 312 | TIMEOUT 60111 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | MAYBE 323 | MAYBE 52802 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 314 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 395 | MAYBE 32178 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 340 | TIMEOUT 60099 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 314 | TIMEOUT 60109 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | MAYBE 308 | TIMEOUT 60122 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | MAYBE 304 | TIMEOUT 60144 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 318 | TIMEOUT 60124 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | MAYBE 334 | TIMEOUT 60098 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 310 | TIMEOUT 60178 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 342 | TIMEOUT 60098 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 354 | MAYBE 58806 |
| tpdb-8.0/TRS/AProVE_04/improved_usable2.xml | MAYBE 304 | TIMEOUT 60160 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | MAYBE 305 | TIMEOUT 60089 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 319 | TIMEOUT 60197 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 328 | MAYBE 36602 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 55526 | TIMEOUT 60106 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^2 52631 | TIMEOUT 60116 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 475 | n^0 - n^1 78 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 55612 | TIMEOUT 60171 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^1 572 | n^0 - n^1 105 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^1 523 | n^0 - n^1 77 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 55484 | TIMEOUT 60096 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 312 | MAYBE 19544 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 301 | TIMEOUT 60127 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 313 | TIMEOUT 60077 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 328 | MAYBE 57707 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 326 | TIMEOUT 60125 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 319 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 315 | TIMEOUT 60119 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 55366 | TIMEOUT 60139 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 328 | TIMEOUT 60104 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 336 | MAYBE 50910 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 316 | TIMEOUT 60123 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 55403 | TIMEOUT 60112 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 331 | MAYBE 28041 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 319 | TIMEOUT 60122 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 313 | TIMEOUT 60110 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 55458 | TIMEOUT 60111 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 316 | TIMEOUT 60106 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | MAYBE 355 | TIMEOUT 60102 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | MAYBE 345 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 323 | TIMEOUT 60139 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 316 | MAYBE 52816 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 320 | TIMEOUT 60102 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | MAYBE 334 | TIMEOUT 60090 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 330 | MAYBE 57825 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MAYBE 328 | TIMEOUT 60104 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 311 | TIMEOUT 60108 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | MAYBE 324 | TIMEOUT 60155 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | MAYBE 316 | TIMEOUT 60101 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 329 | TIMEOUT 60092 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 309 | TIMEOUT 60174 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 324 | TIMEOUT 60126 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | MAYBE 316 | TIMEOUT 60120 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 318 | TIMEOUT 60131 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 316 | TIMEOUT 60123 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | MAYBE 322 | TIMEOUT 60094 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 326 | MAYBE 59768 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 316 | TIMEOUT 60150 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | MAYBE 346 | MAYBE 44499 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 320 | MAYBE 35014 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 340 | TIMEOUT 60107 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | MAYBE 315 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | MAYBE 324 | TIMEOUT 60116 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 331 | TIMEOUT 60101 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | MAYBE 317 | TIMEOUT 60203 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | MAYBE 325 | TIMEOUT 60133 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | MAYBE 318 | TIMEOUT 60134 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | MAYBE 323 | TIMEOUT 60108 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | MAYBE 318 | TIMEOUT 60160 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | MAYBE 323 | TIMEOUT 60138 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 327 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 314 | TIMEOUT 60088 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | MAYBE 322 | MAYBE 46212 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 317 | TIMEOUT 60130 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | MAYBE 338 | TIMEOUT 60105 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MAYBE 314 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | MAYBE 315 | TIMEOUT 60105 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 343 | TIMEOUT 60110 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 318 | TIMEOUT 60126 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 316 | TIMEOUT 60139 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | MAYBE 320 | TIMEOUT 60137 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | MAYBE 316 | TIMEOUT 60128 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | MAYBE 318 | TIMEOUT 60119 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 308 | TIMEOUT 60149 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | MAYBE 317 | MAYBE 38020 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 326 | MAYBE 49626 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | MAYBE 346 | TIMEOUT 60104 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 320 | TIMEOUT 60110 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | MAYBE 327 | MAYBE 45589 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 319 | MAYBE 56308 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MAYBE 320 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | MAYBE 345 | MAYBE 29080 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 321 | TIMEOUT 60117 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | MAYBE 347 | TIMEOUT 60118 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | MAYBE 319 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | MAYBE 340 | MAYBE 59607 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | MAYBE 308 | TIMEOUT 60122 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 359 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 328 | MAYBE 14120 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 340 | MAYBE 18905 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 344 | MAYBE 22469 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 328 | MAYBE 41047 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 327 | MAYBE 19461 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | MAYBE 329 | MAYBE 20557 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 328 | MAYBE 56773 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | MAYBE 335 | MAYBE 30232 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 344 | TIMEOUT 60310 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | MAYBE 360 | MAYBE 55665 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 313 | TIMEOUT 60129 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 316 | TIMEOUT 60152 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 320 | TIMEOUT 60115 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 324 | TIMEOUT 60115 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 325 | MAYBE 53300 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 336 | TIMEOUT 60107 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 327 | TIMEOUT 60123 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 29399 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 12699 | TIMEOUT 60090 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 315 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | MAYBE 324 | TIMEOUT 60096 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MAYBE 320 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | MAYBE 323 | TIMEOUT 60124 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | MAYBE 322 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MAYBE 321 | TIMEOUT 60106 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | MAYBE 317 | MAYBE 50512 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MAYBE 329 | MAYBE 37505 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MAYBE 327 | TIMEOUT 60099 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MAYBE 326 | TIMEOUT 60113 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MAYBE 317 | TIMEOUT 60098 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MAYBE 332 | MAYBE 19284 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | MAYBE 349 | MAYBE 48793 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | MAYBE 328 | MAYBE 23740 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MAYBE 319 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | MAYBE 318 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | MAYBE 314 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MAYBE 311 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | MAYBE 311 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 314 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 356 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 321 | MAYBE 59935 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 328 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 322 | MAYBE 51969 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 323 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 308 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 321 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 320 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 314 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 313 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 324 | MAYBE 38567 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | MAYBE 309 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 309 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 305 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 314 | MAYBE 56310 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 305 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | MAYBE 306 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 312 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 312 | TIMEOUT 60125 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 309 | TIMEOUT 60137 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 310 | TIMEOUT 60105 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 308 | TIMEOUT 60119 |
| tpdb-8.0/TRS/CiME_04/append.xml | MAYBE 310 | n^0 - n^1 73 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 391 | TIMEOUT 60473 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | MAYBE 315 | n^0 - n^0 1723 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 434 | n^0 - n^1 38 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | MAYBE 317 | MAYBE 35028 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 55473 | TIMEOUT 60133 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 326 | TIMEOUT 60136 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 55588 | TIMEOUT 60142 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | MAYBE 329 | MAYBE 48597 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 326 | TIMEOUT 60380 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 315 | MAYBE 51735 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 375 | TIMEOUT 60473 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 325 | TIMEOUT 60114 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 324 | TIMEOUT 60121 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 311 | MAYBE 34581 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 342 | MAYBE 57699 |
| tpdb-8.0/TRS/CiME_04/lse.xml | MAYBE 343 | MAYBE 46474 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 339 | TIMEOUT 60273 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 755 | TIMEOUT 60232 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 342 | MAYBE 50985 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 335 | MAYBE 37028 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 367 | TIMEOUT 60274 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 426 | n^0 - n^1 57 |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^1 414 | n^0 - n^0 70 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 384 | n^0 - n^1 59 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 378 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 388 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 411 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Der95/08.xml | MAYBE 310 | n^0 - n^1 2019 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^1 383 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Der95/11.xml | MAYBE 321 | n^0 - n^1 13607 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 310 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Der95/13.xml | MAYBE 309 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Der95/17.xml | n^0 - n^1 426 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Der95/18.xml | MAYBE 300 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 30270 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Der95/21.xml | MAYBE 309 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 388 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Der95/28.xml | MAYBE 303 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Der95/30.xml | MAYBE 304 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 307 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 312 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 317 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 1067 | n^0 - n^1 44 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MAYBE 302 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | n^0 - n^1 399 | n^0 - n^1 58 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | n^0 - n^1 405 | n^0 - n^1 49 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 309 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | MAYBE 305 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | MAYBE 304 | MAYBE 19379 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | MAYBE 304 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^1 411 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | n^0 - n^1 398 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 402 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 403 | n^0 - n^1 34 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 313 | TIMEOUT 60170 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 313 | TIMEOUT 60097 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 307 | TIMEOUT 60115 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 311 | TIMEOUT 60116 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 314 | MAYBE 40186 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 315 | TIMEOUT 60109 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 312 | TIMEOUT 60119 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 310 | TIMEOUT 60108 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 311 | TIMEOUT 60093 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 308 | TIMEOUT 60089 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 316 | TIMEOUT 60126 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 317 | TIMEOUT 60099 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 315 | TIMEOUT 60121 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 331 | TIMEOUT 60115 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 311 | TIMEOUT 60122 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 317 | TIMEOUT 60084 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 10325 | TIMEOUT 60106 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 10328 | TIMEOUT 60107 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 10323 | TIMEOUT 60122 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 10324 | TIMEOUT 60085 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 10328 | TIMEOUT 60123 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 300 | TIMEOUT 60125 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | n^0 - n^1 377 | n^0 - n^1 28 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | n^0 - n^1 6589 | TIMEOUT 60131 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 324 | MAYBE 51240 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | MAYBE 313 | MAYBE 37039 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 321 | TIMEOUT 60109 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 24970 | MAYBE 54545 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | MAYBE 526 | TIMEOUT 60113 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^1 388 | n^0 - n^0 85 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^1 390 | n^0 - n^0 31 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | n^0 - n^1 414 | n^0 - n^1 31 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 55992 | MAYBE 45985 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 387 | n^0 - n^1 29 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 6015 | n^0 - n^1 84 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 48058 | TIMEOUT 60129 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 309 | TIMEOUT 60101 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 317 | MAYBE 44120 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 393 | n^0 - n^1 61 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | n^0 - n^1 388 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | MAYBE 303 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^1 397 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 302 | n^0 - n^0 874 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | n^0 - n^1 383 | MAYBE 72 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | MAYBE 301 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | n^0 - n^1 423 | n^0 - n^1 70 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 55547 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 320 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 326 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 314 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | MAYBE 307 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | MAYBE 315 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 395 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | MAYBE 301 | n^0 - n^1 5068 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 397 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 303 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 480 | n^0 - n^1 75 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 325 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Mixed_TRS/motivation.xml | MAYBE 307 | n^0 - n^1 403 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 324 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | MAYBE 320 | n^0 - n^1 161 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 303 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | MAYBE 305 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 305 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | n^0 - n^1 389 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^1 1327 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | MAYBE 304 | n^0 - n^1 259 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | n^0 - n^1 400 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 316 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | MAYBE 319 | n^0 - n^2 3623 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 323 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | MAYBE 316 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 435 | n^0 - n^1 69 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | MAYBE 308 | n^0 - n^1 522 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 475 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^1 398 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 406 | n^0 - n^1 57 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 312 | n^0 - n^2 6612 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | MAYBE 348 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^1 392 | n^0 - n^1 68 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 402 | n^0 - n^0 54 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 55382 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 402 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | MAYBE 321 | n^0 - n^1 13233 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | MAYBE 305 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 329 | MAYBE 45332 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 314 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 313 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 344 | MAYBE 33184 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 468 | n^0 - n^1 37 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 410 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | MAYBE 322 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml | MAYBE 334 | MAYBE 51935 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 318 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 319 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 314 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 321 | MAYBE 47506 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | MAYBE 359 | MAYBE 17414 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | MAYBE 322 | MAYBE 43871 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 334 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 307 | n^0 - n^1 328 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 391 | MAYBE 58636 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | MAYBE 301 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 387 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^1 394 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | n^0 - n^1 397 | MAYBE 31229 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | n^0 - n^1 407 | n^0 - n^1 67 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | MAYBE 314 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 310 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | MAYBE 311 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 312 | MAYBE 48838 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 315 | MAYBE 49961 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 308 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 10327 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 425 | n^0 - n^1 44 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | n^0 - n^1 423 | n^0 - n^1 57 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | n^0 - n^1 419 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | n^0 - n^1 416 | n^0 - n^1 39 |
| tpdb-8.0/TRS/Secret_06_TRS/5.xml | n^0 - n^1 394 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^1 420 | n^0 - n^1 45 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | n^0 - n^1 404 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | n^0 - n^1 421 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | n^0 - n^1 406 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 337 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | MAYBE 330 | MAYBE 51137 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 318 | MAYBE 44006 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 316 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 323 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | MAYBE 307 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | MAYBE 313 | MAYBE 28683 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | MAYBE 310 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 315 | n^0 - n^1 32946 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml | MAYBE 309 | n^0 - n^0 6884 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | MAYBE 304 | n^0 - n^1 991 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | MAYBE 314 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | MAYBE 313 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | MAYBE 312 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | MAYBE 312 | MAYBE 50776 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 318 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 326 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 322 | MAYBE 56664 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 323 | MAYBE 46946 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | MAYBE 325 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 324 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^1 393 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | n^0 - n^1 388 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | n^0 - n^1 393 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 324 | MAYBE 34255 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | MAYBE 321 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 324 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 312 | MAYBE 39844 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 316 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | MAYBE 327 | MAYBE 45887 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 325 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | n^0 - n^1 437 | MAYBE 27121 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | n^0 - n^1 450 | MAYBE 28028 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | n^0 - n^1 524 | MAYBE 43752 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | n^0 - n^1 435 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | n^0 - n^1 765 | MAYBE 21769 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | n^0 - n^1 418 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 335 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 332 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 350 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 336 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 327 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 331 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 327 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 333 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 328 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 325 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 328 | MAYBE 39012 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | MAYBE 327 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 315 | MAYBE 57753 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 326 | TIMEOUT 60208 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 322 | MAYBE 28393 |
| tpdb-8.0/TRS/SK90/2.01.xml | n^0 - n^1 425 | n^0 - n^1 60 |
| tpdb-8.0/TRS/SK90/2.02.xml | n^0 - n^1 405 | n^0 - n^1 34 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^1 400 | n^0 - n^1 33 |
| tpdb-8.0/TRS/SK90/2.04.xml | n^0 - n^1 397 | n^0 - n^1 31 |
| tpdb-8.0/TRS/SK90/2.05.xml | MAYBE 305 | TIMEOUT 60102 |
| tpdb-8.0/TRS/SK90/2.06.xml | n^0 - n^1 405 | n^0 - n^1 60 |
| tpdb-8.0/TRS/SK90/2.07.xml | MAYBE 309 | TIMEOUT 60102 |
| tpdb-8.0/TRS/SK90/2.08.xml | MAYBE 312 | TIMEOUT 60065 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^1 396 | n^0 - n^1 64 |
| tpdb-8.0/TRS/SK90/2.10.xml | n^0 - n^1 419 | n^0 - n^1 67 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 401 | n^0 - n^1 35 |
| tpdb-8.0/TRS/SK90/2.12.xml | MAYBE 312 | TIMEOUT 60078 |
| tpdb-8.0/TRS/SK90/2.13.xml | MAYBE 306 | n^0 - n^1 249 |
| tpdb-8.0/TRS/SK90/2.14.xml | n^0 - n^1 448 | n^0 - n^1 75 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 304 | MAYBE 57309 |
| tpdb-8.0/TRS/SK90/2.16.xml | MAYBE 307 | TIMEOUT 60128 |
| tpdb-8.0/TRS/SK90/2.17.xml | MAYBE 306 | n^0 - n^1 72 |
| tpdb-8.0/TRS/SK90/2.18.xml | MAYBE 304 | TIMEOUT 60087 |
| tpdb-8.0/TRS/SK90/2.19.xml | MAYBE 311 | TIMEOUT 60090 |
| tpdb-8.0/TRS/SK90/2.20.xml | MAYBE 307 | n^0 - n^1 108 |
| tpdb-8.0/TRS/SK90/2.21.xml | MAYBE 303 | TIMEOUT 60153 |
| tpdb-8.0/TRS/SK90/2.22.xml | MAYBE 306 | TIMEOUT 60121 |
| tpdb-8.0/TRS/SK90/2.23.xml | MAYBE 313 | TIMEOUT 60098 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 303 | TIMEOUT 60156 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 340 | TIMEOUT 60091 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 321 | TIMEOUT 60102 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 317 | TIMEOUT 60136 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 300 | TIMEOUT 60084 |
| tpdb-8.0/TRS/SK90/2.29.xml | MAYBE 311 | n^0 - n^1 157 |
| tpdb-8.0/TRS/SK90/2.30.xml | MAYBE 306 | n^0 - n^0 65 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^1 483 | n^0 - n^1 60 |
| tpdb-8.0/TRS/SK90/2.32.xml | MAYBE 314 | n^0 - n^0 755 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^1 410 | n^0 - n^1 48 |
| tpdb-8.0/TRS/SK90/2.34.xml | n^0 - n^1 1222 | n^0 - n^1 40 |
| tpdb-8.0/TRS/SK90/2.35.xml | MAYBE 310 | n^0 - n^0 140 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^2 6021 | n^0 - n^1 65 |
| tpdb-8.0/TRS/SK90/2.37.xml | MAYBE 303 | n^0 - n^0 77 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^1 401 | n^0 - n^1 38 |
| tpdb-8.0/TRS/SK90/2.39.xml | MAYBE 17684 | TIMEOUT 60137 |
| tpdb-8.0/TRS/SK90/2.40.xml | MAYBE 307 | n^0 - n^1 90 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^1 526 | n^0 - n^1 72 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^1 433 | n^0 - n^1 57 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 313 | MAYBE 43480 |
| tpdb-8.0/TRS/SK90/2.44.xml | MAYBE 313 | n^0 - n^2 751 |
| tpdb-8.0/TRS/SK90/2.45.xml | MAYBE 315 | n^0 - n^1 135 |
| tpdb-8.0/TRS/SK90/2.46.xml | n^0 - n^1 397 | n^0 - n^1 30 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^1 384 | n^0 - n^1 34 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 406 | n^0 - n^0 36 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 476 | n^0 - n^1 73 |
| tpdb-8.0/TRS/SK90/2.50.xml | n^0 - n^1 387 | n^0 - n^1 56 |
| tpdb-8.0/TRS/SK90/2.51.xml | MAYBE 306 | TIMEOUT 60081 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 329 | MAYBE 55016 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^1 395 | n^0 - n^1 32 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^1 385 | n^0 - n^1 56 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^2 5986 | n^0 - n^1 34 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^1 391 | n^0 - n^0 42 |
| tpdb-8.0/TRS/SK90/2.57.xml | MAYBE 310 | n^0 - n^0 110 |
| tpdb-8.0/TRS/SK90/2.58.xml | MAYBE 305 | n^0 - n^0 65 |
| tpdb-8.0/TRS/SK90/2.59.xml | MAYBE 302 | n^0 - n^1 56 |
| tpdb-8.0/TRS/SK90/2.60.xml | n^0 - n^1 403 | n^0 - n^1 33 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 932 | n^0 - n^1 55 |
| tpdb-8.0/TRS/SK90/4.01.xml | n^0 - n^1 397 | n^0 - n^1 40 |
| tpdb-8.0/TRS/SK90/4.02.xml | MAYBE 321 | TIMEOUT 60104 |
| tpdb-8.0/TRS/SK90/4.03.xml | MAYBE 350 | TIMEOUT 60128 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^1 399 | n^0 - n^1 55 |
| tpdb-8.0/TRS/SK90/4.05.xml | MAYBE 307 | TIMEOUT 60134 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 310 | TIMEOUT 60080 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^1 455 | n^0 - n^1 39 |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^1 381 | n^0 - n^1 29 |
| tpdb-8.0/TRS/SK90/4.09.xml | MAYBE 310 | TIMEOUT 60087 |
| tpdb-8.0/TRS/SK90/4.10.xml | MAYBE 307 | TIMEOUT 60148 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^1 393 | n^0 - n^1 57 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^1 1193 | n^0 - n^1 391 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 308 | n^0 - n^2 7296 |
| tpdb-8.0/TRS/SK90/4.14.xml | MAYBE 313 | TIMEOUT 60091 |
| tpdb-8.0/TRS/SK90/4.15.xml | n^0 - n^1 383 | n^0 - n^1 44 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 445 | n^0 - n^1 39 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 306 | MAYBE 42512 |
| tpdb-8.0/TRS/SK90/4.18.xml | MAYBE 307 | n^0 - n^0 68 |
| tpdb-8.0/TRS/SK90/4.19.xml | n^0 - n^1 395 | n^0 - n^1 112 |
| tpdb-8.0/TRS/SK90/4.20.xml | MAYBE 310 | n^0 - n^0 1215 |
| tpdb-8.0/TRS/SK90/4.21.xml | MAYBE 309 | TIMEOUT 60100 |
| tpdb-8.0/TRS/SK90/4.22.xml | MAYBE 305 | TIMEOUT 60090 |
| tpdb-8.0/TRS/SK90/4.23.xml | MAYBE 311 | TIMEOUT 60073 |
| tpdb-8.0/TRS/SK90/4.24.xml | MAYBE 312 | TIMEOUT 60116 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 6081 | n^0 - n^1 55 |
| tpdb-8.0/TRS/SK90/4.26.xml | n^0 - n^1 430 | n^0 - n^1 42 |
| tpdb-8.0/TRS/SK90/4.27.xml | MAYBE 55474 | TIMEOUT 60099 |
| tpdb-8.0/TRS/SK90/4.28.xml | MAYBE 324 | n^0 - n^1 207 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^1 493 | n^0 - n^1 63 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^1 439 | n^0 - n^1 62 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 307 | TIMEOUT 60132 |
| tpdb-8.0/TRS/SK90/4.32.xml | n^0 - n^1 413 | n^0 - n^1 37 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 384 | n^0 - n^1 29 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 55376 | TIMEOUT 60101 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 392 | n^0 - n^0 35 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^1 408 | n^0 - n^1 50 |
| tpdb-8.0/TRS/SK90/4.37.xml | n^0 - n^1 375 | n^0 - n^1 28 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^1 411 | n^0 - n^1 37 |
| tpdb-8.0/TRS/SK90/4.39.xml | n^0 - n^1 392 | n^0 - n^1 334 |
| tpdb-8.0/TRS/SK90/4.40.xml | MAYBE 307 | TIMEOUT 60120 |
| tpdb-8.0/TRS/SK90/4.41.xml | MAYBE 304 | TIMEOUT 60136 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 309 | TIMEOUT 60089 |
| tpdb-8.0/TRS/SK90/4.43.xml | MAYBE 14037 | TIMEOUT 60103 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 400 | n^0 - n^1 31 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 380 | n^0 - n^1 58 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 390 | n^0 - n^0 60 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 1033 | n^0 - n^0 70 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^1 396 | n^0 - n^1 68 |
| tpdb-8.0/TRS/SK90/4.49.xml | MAYBE 304 | TIMEOUT 60089 |
| tpdb-8.0/TRS/SK90/4.50.xml | MAYBE 300 | n^0 - n^0 55 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^1 498 | n^0 - n^1 62 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^1 415 | n^0 - n^1 39 |
| tpdb-8.0/TRS/SK90/4.53.xml | MAYBE 310 | TIMEOUT 60105 |
| tpdb-8.0/TRS/SK90/4.54.xml | MAYBE 305 | TIMEOUT 60111 |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^1 435 | TIMEOUT 60111 |
| tpdb-8.0/TRS/SK90/4.56.xml | n^0 - n^1 398 | n^0 - n^0 75 |
| tpdb-8.0/TRS/SK90/4.57.xml | MAYBE 312 | MAYBE 43146 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 313 | TIMEOUT 60120 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 314 | TIMEOUT 60135 |
| tpdb-8.0/TRS/SK90/4.61.xml | MAYBE 322 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | MAYBE 304 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | MAYBE 308 | n^0 - n^0 36 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.14.xml | MAYBE 302 | n^0 - n^1 839 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml | MAYBE 308 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml | MAYBE 304 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | n^0 - n^1 412 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | n^0 - n^1 392 | n^0 - n^1 76 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.19.xml | MAYBE 307 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | n^0 - n^1 406 | n^0 - n^1 60 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | n^0 - n^1 385 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml | n^0 - n^1 410 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml | MAYBE 305 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.23.xml | MAYBE 311 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | MAYBE 10326 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.26.xml | MAYBE 310 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | MAYBE 314 | MAYBE 39057 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml | n^0 - n^1 3665 | n^0 - n^2 10270 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml | MAYBE 319 | MAYBE 44652 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.2.xml | MAYBE 303 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml | MAYBE 313 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | MAYBE 318 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 347 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | MAYBE 309 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | MAYBE 304 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml | MAYBE 311 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.34.xml | MAYBE 311 | n^0 - n^2 776 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml | MAYBE 350 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | MAYBE 333 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | n^0 - n^1 419 | n^0 - n^1 59 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml | n^0 - n^1 423 | n^0 - n^1 42 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | MAYBE 306 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | MAYBE 302 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | MAYBE 304 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | MAYBE 320 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | MAYBE 342 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | MAYBE 308 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | MAYBE 312 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | MAYBE 311 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | MAYBE 314 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | MAYBE 302 | n^0 - n^0 35 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 310 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | MAYBE 10330 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | MAYBE 304 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | MAYBE 313 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml | MAYBE 314 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | MAYBE 309 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | MAYBE 318 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | MAYBE 311 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | MAYBE 302 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 10333 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml | MAYBE 316 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MAYBE 306 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 10333 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | MAYBE 317 | MAYBE 34234 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml | MAYBE 310 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | MAYBE 324 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | MAYBE 10332 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | MAYBE 332 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml | MAYBE 341 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 10324 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | MAYBE 309 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | MAYBE 314 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | MAYBE 314 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml | MAYBE 313 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | MAYBE 326 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 10324 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | MAYBE 10342 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | MAYBE 10336 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml | MAYBE 320 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | MAYBE 312 | MAYBE 23587 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | MAYBE 303 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 10328 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 303 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | MAYBE 10331 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 10329 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 10328 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 10331 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 321 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | n^0 - n^1 396 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | MAYBE 308 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | n^0 - n^1 393 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | MAYBE 307 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MAYBE 300 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 305 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | MAYBE 309 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 421 | n^0 - n^1 46 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | MAYBE 306 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MAYBE 303 | n^0 - n^0 32 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | MAYBE 308 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | MAYBE 418 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | MAYBE 330 | TIMEOUT 60312 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | MAYBE 347 | MAYBE 58142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml | MAYBE 398 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | NO 314 | ERROR 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | MAYBE 323 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | MAYBE 331 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | MAYBE 314 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | MAYBE 311 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml | MAYBE 323 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | NO 305 | ERROR 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | MAYBE 310 | n^0 - n^0 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | MAYBE 334 | MAYBE 51965 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml | MAYBE 314 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | MAYBE 315 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml | MAYBE 328 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml | MAYBE 10329 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml | MAYBE 310 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | MAYBE 328 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | MAYBE 304 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | MAYBE 311 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml | MAYBE 323 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | MAYBE 10328 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | n^0 - n^1 478 | n^0 - n^1 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^1 419 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^1 427 | n^0 - n^1 61 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | n^0 - n^1 424 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | MAYBE 10322 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^1 420 | n^0 - n^1 78 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | MAYBE 361 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | MAYBE 325 | MAYBE 47944 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | MAYBE 327 | n^0 - n^1 1073 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | MAYBE 360 | MAYBE 32114 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | NO 307 | ERROR 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | MAYBE 324 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | n^0 - n^1 11485 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml | n^0 - n^1 448 | n^0 - n^0 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | MAYBE 10328 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | n^0 - n^1 5812 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | MAYBE 10326 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | n^0 - n^1 483 | n^0 - n^1 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^1 466 | n^0 - n^1 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^1 480 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | n^0 - n^1 424 | n^0 - n^1 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | n^0 - n^1 386 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^1 403 | n^0 - n^0 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 355 | MAYBE 59484 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | MAYBE 325 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | MAYBE 329 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml | MAYBE 351 | MAYBE 29164 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | MAYBE 10332 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | MAYBE 321 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | MAYBE 358 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | MAYBE 320 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | MAYBE 329 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | MAYBE 348 | MAYBE 59333 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | NO 307 | ERROR 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MAYBE 314 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | MAYBE 316 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | MAYBE 306 | n^0 - n^0 57 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | MAYBE 308 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml | MAYBE 318 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 10326 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | MAYBE 352 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | MAYBE 319 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 324 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml | MAYBE 346 | MAYBE 26208 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | NO 307 | ERROR 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | MAYBE 315 | n^0 - n^1 1032 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | n^0 - n^1 2332 | n^0 - n^1 393 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | MAYBE 55462 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | MAYBE 55577 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml | n^0 - n^1 872 | n^0 - n^1 170 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | NO 306 | ERROR 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | MAYBE 10340 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | n^0 - n^1 606 | n^0 - n^1 76 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | MAYBE 55377 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 488 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^1 446 | n^0 - n^1 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 10327 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | n^0 - n^1 518 | n^0 - n^1 87 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^1 488 | n^0 - n^1 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^1 473 | n^0 - n^1 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | n^0 - n^1 430 | n^0 - n^1 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | n^0 - n^1 371 | n^0 - n^1 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^1 409 | n^0 - n^0 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | MAYBE 321 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | MAYBE 305 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | MAYBE 311 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml | MAYBE 324 | MAYBE 41807 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml | MAYBE 10324 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | MAYBE 305 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | MAYBE 318 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | MAYBE 308 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | MAYBE 306 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml | MAYBE 316 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | MAYBE 10332 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | n^0 - n^1 502 | n^0 - n^1 102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | n^0 - n^1 701 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^1 548 | n^0 - n^1 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml | n^0 - n^1 433 | n^0 - n^1 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | n^0 - n^1 382 | n^0 - n^0 60 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^1 504 | n^0 - n^1 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | MAYBE 369 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 327 | MAYBE 30283 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | MAYBE 331 | MAYBE 52262 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml | MAYBE 356 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^1 431 | n^0 - n^0 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | MAYBE 324 | MAYBE 47774 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 370 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | MAYBE 322 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | MAYBE 333 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | MAYBE 355 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 312 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | MAYBE 317 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | MAYBE 355 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | MAYBE 321 | MAYBE 36037 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | MAYBE 324 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml | MAYBE 351 | MAYBE 34792 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^1 409 | n^0 - n^0 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | MAYBE 320 | n^0 - n^2 640 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | MAYBE 335 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | MAYBE 308 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | MAYBE 315 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | MAYBE 330 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | NO 304 | ERROR 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | MAYBE 306 | n^0 - n^2 2624 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | MAYBE 357 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | MAYBE 328 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | MAYBE 327 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml | MAYBE 355 | MAYBE 56126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | NO 309 | ERROR 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | MAYBE 330 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | MAYBE 360 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | MAYBE 324 | MAYBE 31184 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | MAYBE 325 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml | MAYBE 345 | MAYBE 58475 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | n^0 - n^1 415 | n^0 - n^0 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml | MAYBE 319 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | MAYBE 317 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | MAYBE 309 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | MAYBE 304 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | MAYBE 313 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 375 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml | MAYBE 301 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | n^0 - n^1 540 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^1 521 | n^0 - n^1 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^1 552 | n^0 - n^1 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml | n^0 - n^1 446 | n^0 - n^1 60 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | n^0 - n^1 405 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 425 | n^0 - n^1 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MAYBE 382 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | MAYBE 326 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | MAYBE 335 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml | MAYBE 365 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | NO 331 | ERROR 55 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | MAYBE 320 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | MAYBE 336 | MAYBE 55175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | MAYBE 311 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | MAYBE 312 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | MAYBE 331 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | NO 304 | ERROR 53 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | MAYBE 307 | n^0 - n^1 90 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | n^0 - n^1 706 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | n^0 - n^1 395 | n^0 - n^0 58 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | n^0 - n^2 7456 | n^0 - n^2 319 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | n^0 - n^1 473 | n^0 - n^1 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 304 | ERROR 27 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | MAYBE 351 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | MAYBE 324 | MAYBE 44264 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | MAYBE 342 | MAYBE 41896 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml | MAYBE 358 | MAYBE 20526 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | NO 305 | ERROR 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | MAYBE 321 | MAYBE 24489 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | MAYBE 414 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml | MAYBE 344 | MAYBE 58777 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | MAYBE 353 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml | MAYBE 407 | MAYBE 31490 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | NO 317 | ERROR 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml | MAYBE 354 | MAYBE 54980 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | MAYBE 347 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 316 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | MAYBE 319 | MAYBE 26706 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | MAYBE 336 | MAYBE 27924 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | NO 305 | ERROR 57 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | MAYBE 311 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | MAYBE 399 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | MAYBE 342 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | MAYBE 351 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | MAYBE 386 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | NO 317 | ERROR 52 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | MAYBE 340 | MAYBE 52443 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | MAYBE 384 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | MAYBE 332 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | MAYBE 334 | MAYBE 41006 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | MAYBE 368 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | NO 311 | ERROR 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | MAYBE 327 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | n^0 - n^1 1187 | n^0 - n^1 117 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | n^0 - n^1 560 | n^0 - n^1 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 11669 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | n^0 - n^1 451 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | NO 304 | ERROR 29 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 545 | n^0 - n^1 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | MAYBE 439 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | MAYBE 345 | TIMEOUT 60296 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | MAYBE 363 | MAYBE 43750 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml | MAYBE 416 | MAYBE 24830 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | NO 361 | ERROR 54 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml | MAYBE 344 | TIMEOUT 60287 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 342 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | MAYBE 308 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | MAYBE 314 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | MAYBE 328 | MAYBE 25405 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | NO 304 | ERROR 29 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | MAYBE 307 | n^0 - n^1 337 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^1 891 | n^0 - n^1 57 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | MAYBE 47461 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 479 | n^0 - n^0 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 488 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | n^0 - n^1 371 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | MAYBE 336 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | MAYBE 315 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | MAYBE 315 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml | MAYBE 333 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 393 | n^0 - n^0 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | MAYBE 312 | n^0 - n^1 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | MAYBE 368 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | MAYBE 322 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | MAYBE 330 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml | MAYBE 351 | MAYBE 41749 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | NO 310 | ERROR 58 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | MAYBE 319 | n^0 - n^2 9020 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | MAYBE 364 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | MAYBE 316 | MAYBE 37015 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | MAYBE 329 | MAYBE 57687 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml | MAYBE 351 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | NO 313 | ERROR 59 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | MAYBE 316 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 364 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | MAYBE 330 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | MAYBE 332 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml | MAYBE 347 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 429 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | MAYBE 322 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | MAYBE 326 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | MAYBE 307 | n^0 - n^0 551 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 313 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml | MAYBE 319 | MAYBE 38112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | MAYBE 300 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | n^0 - n^1 24583 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | MAYBE 55424 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 55344 | n^0 - n^1 275 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml | n^0 - n^1 9753 | n^0 - n^0 25219 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | MAYBE 477 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | MAYBE 332 | TIMEOUT 60250 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | MAYBE 359 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml | MAYBE 404 | MAYBE 26185 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | NO 322 | ERROR 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | MAYBE 327 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^1 480 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | n^0 - n^1 407 | n^0 - n^1 48 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^1 409 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^1 423 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | n^0 - n^1 370 | n^0 - n^0 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml | MAYBE 10328 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | n^0 - n^1 2993 | n^0 - n^1 538 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | MAYBE 55445 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | MAYBE 55557 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | n^0 - n^1 1273 | n^0 - n^1 1298 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 309 | ERROR 57 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml | MAYBE 55541 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | n^0 - n^1 2354 | n^0 - n^1 318 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | MAYBE 55498 | MAYBE 30735 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | n^0 - n^3 56133 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | n^0 - n^1 808 | n^0 - n^1 123 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | NO 306 | ERROR 31 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml | MAYBE 55563 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | MAYBE 390 | MAYBE 36434 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | MAYBE 327 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | MAYBE 341 | MAYBE 51474 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml | MAYBE 371 | MAYBE 35967 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | NO 310 | ERROR 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | MAYBE 325 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | MAYBE 372 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | MAYBE 324 | MAYBE 27716 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | MAYBE 334 | MAYBE 29315 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml | MAYBE 359 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | NO 313 | ERROR 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml | MAYBE 317 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | n^0 - n^1 538 | n^0 - n^1 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | n^0 - n^1 541 | n^0 - n^1 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 55498 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml | n^0 - n^1 442 | n^0 - n^1 61 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | n^0 - n^1 411 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^1 423 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | MAYBE 391 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | MAYBE 325 | MAYBE 25180 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | MAYBE 344 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | MAYBE 373 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 318 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | MAYBE 323 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | MAYBE 421 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | MAYBE 324 | MAYBE 40906 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | MAYBE 356 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml | MAYBE 401 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | NO 319 | ERROR 54 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | MAYBE 322 | MAYBE 35564 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml | MAYBE 483 | MAYBE 56897 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 370 | MAYBE 21156 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml | MAYBE 395 | MAYBE 30992 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml | MAYBE 485 | MAYBE 29401 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | NO 327 | ERROR 91 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml | MAYBE 611 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml | MAYBE 386 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml | MAYBE 457 | MAYBE 26356 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml | MAYBE 635 | MAYBE 44717 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | NO 338 | ERROR 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml | MAYBE 387 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | MAYBE 363 | MAYBE 18627 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml | MAYBE 371 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml | MAYBE 340 | MAYBE 55576 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml | MAYBE 335 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml | MAYBE 359 | MAYBE 54565 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | NO 311 | ERROR 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml | MAYBE 423 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | MAYBE 339 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml | MAYBE 358 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | MAYBE 414 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | NO 317 | ERROR 55 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | MAYBE 334 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | MAYBE 334 | MAYBE 50598 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | n^0 - n^1 1078 | n^0 - n^1 213 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | MAYBE 55500 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 55603 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | n^0 - n^1 569 | n^0 - n^1 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | NO 307 | ERROR 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | n^0 - n^1 1193 | n^0 - n^1 258 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml | MAYBE 20453 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml | MAYBE 55713 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | n^0 - n^1 595 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | NO 306 | ERROR 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml | MAYBE 865 | MAYBE 38035 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | MAYBE 510 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml | MAYBE 583 | MAYBE 45963 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml | MAYBE 861 | MAYBE 16683 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | NO 372 | ERROR 128 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml | MAYBE 1511 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | MAYBE 613 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml | MAYBE 869 | MAYBE 38444 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml | MAYBE 1607 | MAYBE 29925 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | NO 437 | ERROR 237 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 616 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | MAYBE 499 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | MAYBE 564 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | MAYBE 410 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml | MAYBE 431 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml | MAYBE 780 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | NO 335 | ERROR 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | MAYBE 757 | TIMEOUT 60246 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | MAYBE 437 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | MAYBE 524 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml | MAYBE 775 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | NO 359 | ERROR 104 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 429 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | MAYBE 403 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml | MAYBE 433 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | MAYBE 325 | MAYBE 59874 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml | MAYBE 360 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml | MAYBE 421 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | NO 316 | ERROR 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml | MAYBE 589 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | MAYBE 351 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | MAYBE 431 | MAYBE 29572 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml | MAYBE 606 | MAYBE 34700 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | NO 333 | ERROR 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | MAYBE 355 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | MAYBE 325 | MAYBE 54398 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml | MAYBE 481 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | MAYBE 366 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | MAYBE 385 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml | MAYBE 481 | MAYBE 47839 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | NO 327 | ERROR 58 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml | MAYBE 659 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | MAYBE 393 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml | MAYBE 461 | MAYBE 36495 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml | MAYBE 684 | MAYBE 52761 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | NO 342 | ERROR 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 394 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | MAYBE 360 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml | MAYBE 391 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | MAYBE 331 | MAYBE 58202 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml | MAYBE 349 | MAYBE 56928 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_iGM.xml | MAYBE 389 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | NO 313 | ERROR 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | MAYBE 446 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | MAYBE 339 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | MAYBE 369 | MAYBE 54540 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml | MAYBE 436 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | NO 358 | ERROR 78 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | MAYBE 337 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | MAYBE 332 | MAYBE 49019 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | MAYBE 345 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | MAYBE 310 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml | MAYBE 320 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml | MAYBE 336 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | NO 305 | ERROR 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml | MAYBE 383 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | MAYBE 316 | MAYBE 50210 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml | MAYBE 333 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml | MAYBE 382 | MAYBE 41146 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | NO 309 | ERROR 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml | MAYBE 558 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | MAYBE 393 | MAYBE 16564 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | MAYBE 425 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_iGM.xml | MAYBE 553 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | NO 333 | ERROR 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | MAYBE 803 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | MAYBE 434 | MAYBE 34514 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml | MAYBE 537 | MAYBE 57110 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml | MAYBE 881 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | NO 354 | ERROR 126 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | MAYBE 437 | MAYBE 29853 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | MAYBE 393 | MAYBE 20865 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml | MAYBE 406 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | MAYBE 387 | MAYBE 23507 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | MAYBE 352 | MAYBE 56220 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml | MAYBE 402 | MAYBE 25098 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 315 | ERROR 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | MAYBE 500 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | MAYBE 357 | MAYBE 31165 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | MAYBE 392 | MAYBE 57416 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml | MAYBE 506 | MAYBE 19221 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | NO 324 | ERROR 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | MAYBE 355 | MAYBE 28662 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | MAYBE 351 | MAYBE 24673 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | n^0 - n^1 1257 | n^0 - n^1 310 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | MAYBE 55479 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | MAYBE 55526 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml | n^0 - n^1 600 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | NO 305 | ERROR 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | MAYBE 56091 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml | MAYBE 55471 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | MAYBE 55612 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml | n^0 - n^1 1670 | n^0 - n^1 184 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | NO 310 | ERROR 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | MAYBE 55459 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | MAYBE 55550 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | MAYBE 531 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | MAYBE 379 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml | MAYBE 413 | MAYBE 32761 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml | MAYBE 514 | MAYBE 31052 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | NO 328 | ERROR 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | MAYBE 678 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | MAYBE 408 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | MAYBE 485 | MAYBE 43568 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml | MAYBE 709 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | MAYBE 55640 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | MAYBE 404 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 385 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | n^0 - n^1 4572 | n^0 - n^1 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 31271 | MAYBE 33735 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | MAYBE 29137 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | n^0 - n^1 856 | n^0 - n^1 128 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | NO 308 | ERROR 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | MAYBE 56129 | n^0 - n^1 244 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | MAYBE 30589 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 55652 | MAYBE 49430 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml | n^0 - n^1 1226 | n^0 - n^1 169 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | MAYBE 10352 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^2 15828 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | n^0 - n^2 10598 | MAYBE 35496 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | n^0 - n^1 835 | n^0 - n^1 281 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | n^0 - n^1 478 | n^0 - n^1 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | MAYBE 14494 | MAYBE 38013 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml | n^0 - n^1 495 | n^0 - n^1 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | NO 304 | ERROR 32 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | n^0 - n^1 781 | n^0 - n^1 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | n^0 - n^1 488 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 21814 | MAYBE 50230 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml | n^0 - n^1 506 | n^0 - n^1 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | n^0 - n^1 497 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml | MAYBE 413 | MAYBE 53764 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | MAYBE 342 | MAYBE 45480 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml | MAYBE 357 | MAYBE 23062 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml | MAYBE 415 | MAYBE 19062 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | NO 317 | ERROR 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml | MAYBE 516 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | MAYBE 353 | MAYBE 31525 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml | MAYBE 400 | MAYBE 58963 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml | MAYBE 508 | MAYBE 20663 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | NO 326 | ERROR 60 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | MAYBE 350 | MAYBE 28136 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | MAYBE 341 | MAYBE 41512 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | MAYBE 358 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | MAYBE 321 | MAYBE 27221 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml | MAYBE 327 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml | MAYBE 356 | MAYBE 44815 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | NO 308 | ERROR 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml | MAYBE 386 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | MAYBE 324 | MAYBE 36036 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml | MAYBE 337 | MAYBE 48854 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml | MAYBE 380 | MAYBE 54101 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | NO 311 | ERROR 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | MAYBE 324 | MAYBE 32946 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | MAYBE 319 | MAYBE 22421 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | n^0 - n^1 584 | n^0 - n^1 116 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^1 403 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | MAYBE 27973 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml | n^0 - n^1 451 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 306 | ERROR 30 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | n^0 - n^1 1023 | n^0 - n^1 118 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 8060 | n^0 - n^1 4237 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml | MAYBE 55449 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml | n^0 - n^1 489 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 306 | ERROR 30 |
| tpdb-8.0/TRS/Various_04/02.xml | MAYBE 303 | n^0 - n^0 64 |
| tpdb-8.0/TRS/Various_04/03.xml | MAYBE 302 | n^0 - n^0 61 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 332 | n^0 - n^0 106 |
| tpdb-8.0/TRS/Various_04/05.xml | MAYBE 317 | n^0 - n^0 53 |
| tpdb-8.0/TRS/Various_04/06.xml | MAYBE 310 | n^0 - n^0 72 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^1 437 | n^0 - n^0 33 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 344 | n^0 - n^0 95 |
| tpdb-8.0/TRS/Various_04/09.xml | MAYBE 313 | n^0 - n^0 48 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 325 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 303 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 318 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 326 | MAYBE 26804 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 377 | TIMEOUT 60341 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 408 | n^0 - n^1 55 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 416 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Various_04/19.xml | n^0 - n^1 449 | n^0 - n^1 78 |
| tpdb-8.0/TRS/Various_04/21.xml | n^0 - n^1 18282 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Various_04/22.xml | MAYBE 304 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 6404 | n^0 - n^1 44 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 2211 | MAYBE 47002 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 394 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Various_04/26.xml | MAYBE 303 | n^0 - n^0 584 |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^1 395 | n^0 - n^0 68 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | n^0 - n^1 396 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | n^0 - n^1 395 | n^0 - n^1 55 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | n^0 - n^1 404 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^1 393 | n^0 - n^1 64 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | n^0 - n^1 400 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | n^0 - n^1 400 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | MAYBE 10334 | MAYBE 47340 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | n^0 - n^1 385 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | n^0 - n^1 390 | n^0 - n^1 48 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 10327 | MAYBE 39574 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | n^0 - n^1 387 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | MAYBE 10328 | MAYBE 37026 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | n^0 - n^1 380 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | n^0 - n^1 390 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | n^0 - n^1 385 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | MAYBE 302 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MAYBE 305 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 398 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | n^0 - n^1 400 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | n^0 - n^1 398 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | n^0 - n^1 394 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^1 388 | n^0 - n^1 58 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | n^0 - n^1 381 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 384 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | n^0 - n^1 394 | n^0 - n^1 48 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | n^0 - n^1 387 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Zantema_05/jw07.xml | n^0 - n^1 388 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | n^0 - n^1 406 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | n^0 - n^1 388 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | n^0 - n^1 408 | n^0 - n^1 60 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | n^0 - n^1 393 | n^0 - n^1 49 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^1 399 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^1 392 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | n^0 - n^1 400 | n^0 - n^1 60 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^1 387 | n^0 - n^1 49 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | n^0 - n^1 393 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | n^0 - n^1 391 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^1 402 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | n^0 - n^1 389 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | n^0 - n^1 389 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | n^0 - n^1 400 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | n^0 - n^1 392 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^1 394 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 406 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^1 387 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | n^0 - n^1 393 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^1 392 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | n^0 - n^1 393 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^1 389 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 386 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | n^0 - n^1 398 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 410 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | n^0 - n^1 395 | n^0 - n^1 61 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | n^0 - n^1 392 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | n^0 - n^1 386 | n^0 - n^1 57 |
| tpdb-8.0/TRS/Zantema_05/jw37.xml | n^0 - n^1 387 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | n^0 - n^1 386 | n^0 - n^1 42 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | n^0 - n^1 390 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | n^0 - n^1 387 | n^0 - n^1 59 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | n^0 - n^1 392 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | n^0 - n^1 395 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 389 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Zantema_05/jw44.xml | n^0 - n^1 384 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^1 396 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 395 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | n^0 - n^1 399 | n^0 - n^1 64 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 408 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Zantema_05/z03.xml | n^0 - n^1 400 | n^0 - n^1 45 |
| tpdb-8.0/TRS/Zantema_05/z04.xml | MAYBE 304 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Zantema_05/z05.xml | n^0 - n^1 392 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | n^0 - n^1 408 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | n^0 - n^1 428 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | n^0 - n^1 388 | n^0 - n^1 69 |
| tpdb-8.0/TRS/Zantema_05/z09.xml | MAYBE 309 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 314 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | n^0 - n^1 435 | n^0 - n^1 55 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 55457 | MAYBE 57068 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 55494 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 55437 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 55402 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55484 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 55523 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55444 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Zantema_05/z19.xml | n^0 - n^1 392 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | n^0 - n^1 398 | n^0 - n^1 57 |
| tpdb-8.0/TRS/Zantema_05/z21.xml | n^0 - n^1 394 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | n^0 - n^1 400 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 55448 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55525 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | n^0 - n^1 406 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^1 419 | n^0 - n^1 59 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 307 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 303 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | n^0 - n^1 406 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | n^0 - n^1 409 | n^0 - n^1 60 | 624 | 763 |