| benchmark | AProVE | CaT | TCT |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | TIMEOUT 60334 | MAYBE 199 | TIMEOUT 60147 |
| tpdb-8.0/TRS/AG01/#3.12.xml | n^0 - n^3 2376 | MAYBE 48769 | TIMEOUT 60165 |
| tpdb-8.0/TRS/AG01/#3.13.xml | TIMEOUT 60370 | MAYBE 182 | MAYBE 57769 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^1 978 | n^0 - n^2 3746 | n^0 - n^1 456 |
| tpdb-8.0/TRS/AG01/#3.16.xml | n^0 - n^3 3048 | MAYBE 153 | TIMEOUT 60075 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | n^0 - n^2 1370 | MAYBE 52335 | MAYBE 29697 |
| tpdb-8.0/TRS/AG01/#3.17.xml | n^0 - n^2 1323 | MAYBE 51846 | MAYBE 41051 |
| tpdb-8.0/TRS/AG01/#3.18.xml | TIMEOUT 60301 | MAYBE 158 | TIMEOUT 60144 |
| tpdb-8.0/TRS/AG01/#3.19.xml | TIMEOUT 60307 | MAYBE 160 | MAYBE 35772 |
| tpdb-8.0/TRS/AG01/#3.1.xml | n^0 - n^2 1222 | MAYBE 163 | n^0 - n^1 426 |
| tpdb-8.0/TRS/AG01/#3.21.xml | n^0 - n^0 734 | MAYBE 151 | TIMEOUT 60084 |
| tpdb-8.0/TRS/AG01/#3.22.xml | n^0 - n^2 1744 | MAYBE 156 | TIMEOUT 60087 |
| tpdb-8.0/TRS/AG01/#3.23.xml | n^0 - n^1 1009 | MAYBE 146 | n^0 - n^1 56 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^2 1148 | n^0 - n^1 329 | n^0 - n^1 32 |
| tpdb-8.0/TRS/AG01/#3.26.xml | TIMEOUT 60437 | MAYBE 45427 | TIMEOUT 60065 |
| tpdb-8.0/TRS/AG01/#3.29.xml | n^0 - n^0 725 | MAYBE 147 | n^0 - n^1 82 |
| tpdb-8.0/TRS/AG01/#3.2.xml | n^0 - n^2 1283 | MAYBE 154 | TIMEOUT 60135 |
| tpdb-8.0/TRS/AG01/#3.31.xml | MAYBE 3882 | MAYBE 148 | TIMEOUT 60112 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^0 746 | n^0 - n^1 399 | n^0 - n^0 44 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^1 975 | n^0 - n^2 3835 | n^0 - n^1 57 |
| tpdb-8.0/TRS/AG01/#3.36.xml | TIMEOUT 60507 | MAYBE 154 | TIMEOUT 60127 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 982 | n^0 - n^1 328 | n^0 - n^1 44 |
| tpdb-8.0/TRS/AG01/#3.38.xml | TIMEOUT 60362 | MAYBE 158 | TIMEOUT 60074 |
| tpdb-8.0/TRS/AG01/#3.39.xml | n^0 - n^2 4768 | MAYBE 162 | MAYBE 57581 |
| tpdb-8.0/TRS/AG01/#3.40.xml | n^0 - n^2 7979 | MAYBE 168 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AG01/#3.41.xml | n^0 - n^1 1079 | MAYBE 153 | n^0 - n^2 1959 |
| tpdb-8.0/TRS/AG01/#3.42.xml | n^0 - n^2 1596 | MAYBE 158 | TIMEOUT 60127 |
| tpdb-8.0/TRS/AG01/#3.47.xml | n^0 - n^1 2196 | MAYBE 150 | n^0 - n^2 1326 |
| tpdb-8.0/TRS/AG01/#3.48.xml | n^0 - n^2 1175 | MAYBE 159 | TIMEOUT 60112 |
| tpdb-8.0/TRS/AG01/#3.49.xml | TIMEOUT 60363 | MAYBE 55450 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AG01/#3.4.xml | TIMEOUT 60304 | MAYBE 157 | TIMEOUT 60125 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 972 | n^0 - n^1 431 | n^0 - n^1 46 |
| tpdb-8.0/TRS/AG01/#3.52.xml | n^0 - n^1 989 | MAYBE 150 | n^0 - n^1 270 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | n^0 - n^0 720 | MAYBE 148 | n^0 - n^1 68 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | n^0 - n^1 981 | MAYBE 151 | n^0 - n^1 237 |
| tpdb-8.0/TRS/AG01/#3.53.xml | n^0 - n^3 9733 | MAYBE 174 | TIMEOUT 60268 |
| tpdb-8.0/TRS/AG01/#3.54.xml | TIMEOUT 60294 | MAYBE 150 | TIMEOUT 60153 |
| tpdb-8.0/TRS/AG01/#3.55.xml | TIMEOUT 60441 | MAYBE 187 | TIMEOUT 60285 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 1076 | n^0 - n^1 328 | n^0 - n^1 60 |
| tpdb-8.0/TRS/AG01/#3.57.xml | TIMEOUT 60319 | MAYBE 173 | TIMEOUT 60277 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | n^0 - n^2 3621 | MAYBE 166 | TIMEOUT 60136 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | n^0 - n^3 10950 | MAYBE 169 | TIMEOUT 60109 |
| tpdb-8.0/TRS/AG01/#3.5.xml | n^0 - n^2 3268 | MAYBE 162 | n^0 - n^2 816 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | n^0 - n^2 3317 | MAYBE 165 | n^0 - n^2 789 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | n^0 - n^3 17417 | MAYBE 172 | TIMEOUT 60136 |
| tpdb-8.0/TRS/AG01/#3.6.xml | n^0 - n^2 4469 | MAYBE 166 | TIMEOUT 60112 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^2 1414 | n^0 - n^1 1428 | n^0 - n^1 500 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | n^0 - n^2 3843 | MAYBE 174 | TIMEOUT 60131 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | TIMEOUT 60498 | MAYBE 168 | TIMEOUT 60119 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | TIMEOUT 60450 | MAYBE 163 | TIMEOUT 60128 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | TIMEOUT 60809 | MAYBE 271 | MAYBE 47917 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | TIMEOUT 60432 | MAYBE 198 | TIMEOUT 60111 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | TIMEOUT 60409 | MAYBE 160 | TIMEOUT 60126 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | n^0 - n^0 1000 | MAYBE 150 | TIMEOUT 60142 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | n^0 - n^0 1002 | MAYBE 168 | TIMEOUT 60166 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | n^0 - n^2 2219 | MAYBE 164 | TIMEOUT 60128 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | TIMEOUT 60575 | MAYBE 187 | TIMEOUT 60093 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | n^0 - n^1 1019 | MAYBE 154 | TIMEOUT 60165 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | TIMEOUT 60453 | MAYBE 197 | MAYBE 57383 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | TIMEOUT 60350 | MAYBE 196 | MAYBE 51111 |
| tpdb-8.0/TRS/AProVE_04/improved_usable2.xml | n^0 - n^2 1191 | MAYBE 149 | TIMEOUT 60153 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | n^0 - n^0 739 | MAYBE 151 | TIMEOUT 60119 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | n^0 - n^1 27397 | MAYBE 168 | TIMEOUT 60195 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | TIMEOUT 60386 | MAYBE 179 | TIMEOUT 60091 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | TIMEOUT 60387 | TIMEOUT 60038 | TIMEOUT 60128 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | TIMEOUT 60379 | n^0 - n^2 11082 | TIMEOUT 60109 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | n^0 - n^1 5905 | TIMEOUT 60062 | n^0 - n^1 68 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | TIMEOUT 60445 | TIMEOUT 60041 | TIMEOUT 60144 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | TIMEOUT 60599 | n^0 - n^2 25221 | n^0 - n^1 68 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^1 26662 | n^0 - n^2 12917 | n^0 - n^1 55 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | TIMEOUT 60360 | MAYBE 56020 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | TIMEOUT 60774 | MAYBE 160 | MAYBE 21889 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 5560 | MAYBE 147 | TIMEOUT 60156 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | TIMEOUT 60394 | MAYBE 156 | TIMEOUT 60080 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | TIMEOUT 60405 | MAYBE 176 | TIMEOUT 60129 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60588 | MAYBE 181 | TIMEOUT 60138 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | TIMEOUT 60365 | MAYBE 163 | TIMEOUT 60123 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | TIMEOUT 60733 | MAYBE 168 | TIMEOUT 60118 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | TIMEOUT 60310 | MAYBE 46460 | TIMEOUT 60193 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | TIMEOUT 60661 | MAYBE 174 | TIMEOUT 60118 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | n^0 - n^0 840 | MAYBE 186 | MAYBE 50456 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | TIMEOUT 60479 | MAYBE 167 | TIMEOUT 60119 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | TIMEOUT 60250 | MAYBE 45449 | TIMEOUT 60154 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | TIMEOUT 60484 | MAYBE 191 | MAYBE 27790 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | TIMEOUT 60375 | MAYBE 164 | TIMEOUT 60110 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | n^0 - n^2 4225 | MAYBE 160 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | TIMEOUT 60369 | MAYBE 46507 | TIMEOUT 60112 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | TIMEOUT 60377 | MAYBE 166 | TIMEOUT 60111 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | n^0 - n^1 24041 | MAYBE 226 | TIMEOUT 60355 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | TIMEOUT 60402 | MAYBE 213 | TIMEOUT 60133 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | n^0 - n^0 803 | MAYBE 173 | n^0 - n^0 48 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | TIMEOUT 60457 | MAYBE 164 | TIMEOUT 60086 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | TIMEOUT 60673 | MAYBE 174 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | n^0 - n^0 862 | MAYBE 186 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | TIMEOUT 60822 | MAYBE 179 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | TIMEOUT 60417 | MAYBE 183 | TIMEOUT 60122 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | TIMEOUT 60230 | MAYBE 157 | TIMEOUT 60117 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | TIMEOUT 60412 | MAYBE 191 | TIMEOUT 60135 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | n^0 - n^2 11133 | MAYBE 165 | TIMEOUT 60115 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | TIMEOUT 60463 | MAYBE 180 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | TIMEOUT 60224 | MAYBE 155 | TIMEOUT 60125 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | TIMEOUT 60340 | MAYBE 171 | TIMEOUT 60147 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | TIMEOUT 60439 | MAYBE 165 | TIMEOUT 60153 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | TIMEOUT 60599 | MAYBE 170 | TIMEOUT 60267 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | TIMEOUT 60400 | MAYBE 165 | TIMEOUT 60108 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | TIMEOUT 60388 | MAYBE 170 | TIMEOUT 60128 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | TIMEOUT 60408 | MAYBE 175 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | TIMEOUT 60333 | MAYBE 167 | TIMEOUT 60134 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | TIMEOUT 60643 | MAYBE 213 | MAYBE 52327 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | TIMEOUT 60625 | MAYBE 170 | MAYBE 42891 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | TIMEOUT 61036 | MAYBE 204 | TIMEOUT 60108 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | TIMEOUT 60471 | MAYBE 166 | TIMEOUT 60149 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | TIMEOUT 60833 | MAYBE 175 | TIMEOUT 60172 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | TIMEOUT 60458 | MAYBE 190 | TIMEOUT 60126 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | TIMEOUT 60628 | MAYBE 164 | TIMEOUT 60242 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | TIMEOUT 60348 | MAYBE 178 | TIMEOUT 60107 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | TIMEOUT 60326 | MAYBE 165 | TIMEOUT 60133 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | TIMEOUT 60765 | MAYBE 172 | TIMEOUT 60159 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | TIMEOUT 60358 | MAYBE 164 | TIMEOUT 60190 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | TIMEOUT 60368 | MAYBE 176 | TIMEOUT 60158 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | TIMEOUT 60392 | MAYBE 178 | TIMEOUT 60114 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | TIMEOUT 60334 | MAYBE 163 | TIMEOUT 60116 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | TIMEOUT 60658 | MAYBE 177 | MAYBE 48635 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | TIMEOUT 60488 | MAYBE 170 | TIMEOUT 60118 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | TIMEOUT 60460 | MAYBE 200 | TIMEOUT 60099 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | TIMEOUT 60458 | MAYBE 162 | TIMEOUT 60096 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | TIMEOUT 60448 | MAYBE 164 | TIMEOUT 60160 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | TIMEOUT 60329 | MAYBE 204 | TIMEOUT 60117 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | TIMEOUT 60274 | MAYBE 164 | TIMEOUT 60130 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | TIMEOUT 60274 | MAYBE 162 | TIMEOUT 60145 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | TIMEOUT 60341 | MAYBE 166 | TIMEOUT 60149 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | TIMEOUT 60319 | MAYBE 164 | TIMEOUT 60136 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | TIMEOUT 60389 | MAYBE 167 | TIMEOUT 60134 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | TIMEOUT 60252 | MAYBE 156 | TIMEOUT 60177 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | TIMEOUT 60365 | MAYBE 166 | MAYBE 51611 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | TIMEOUT 60567 | MAYBE 175 | TIMEOUT 60107 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | TIMEOUT 60509 | MAYBE 209 | TIMEOUT 60120 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | TIMEOUT 60302 | MAYBE 170 | TIMEOUT 60135 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | TIMEOUT 60372 | MAYBE 178 | MAYBE 51954 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | TIMEOUT 60350 | MAYBE 166 | MAYBE 52652 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | TIMEOUT 60416 | MAYBE 170 | TIMEOUT 60118 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | n^0 - n^0 918 | MAYBE 205 | MAYBE 29044 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | TIMEOUT 60278 | MAYBE 170 | TIMEOUT 60112 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | TIMEOUT 60415 | MAYBE 189 | TIMEOUT 60103 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | TIMEOUT 60405 | MAYBE 168 | TIMEOUT 60107 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | n^0 - n^0 903 | MAYBE 203 | MAYBE 54973 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | n^0 - n^1 3014 | MAYBE 156 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | TIMEOUT 60346 | MAYBE 167 | TIMEOUT 60117 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | TIMEOUT 60436 | MAYBE 179 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | TIMEOUT 60548 | MAYBE 194 | MAYBE 16204 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | TIMEOUT 60538 | MAYBE 202 | MAYBE 19364 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | TIMEOUT 60660 | MAYBE 180 | TIMEOUT 60127 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | TIMEOUT 60622 | MAYBE 181 | MAYBE 17419 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | TIMEOUT 60749 | MAYBE 183 | MAYBE 15930 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | TIMEOUT 60522 | MAYBE 196 | TIMEOUT 60186 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | TIMEOUT 60623 | MAYBE 186 | TIMEOUT 60111 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | TIMEOUT 60594 | MAYBE 209 | TIMEOUT 60276 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | TIMEOUT 60837 | MAYBE 229 | MAYBE 52250 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | TIMEOUT 60374 | MAYBE 161 | TIMEOUT 60173 |
| tpdb-8.0/TRS/AProVE_08/log.xml | TIMEOUT 60507 | MAYBE 167 | TIMEOUT 60187 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | TIMEOUT 60389 | MAYBE 171 | TIMEOUT 60113 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | TIMEOUT 60491 | MAYBE 183 | TIMEOUT 60139 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | TIMEOUT 60619 | MAYBE 178 | MAYBE 53995 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | TIMEOUT 60652 | MAYBE 189 | TIMEOUT 60130 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | TIMEOUT 60583 | MAYBE 183 | TIMEOUT 60138 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | TIMEOUT 60250 | MAYBE 22565 | TIMEOUT 60127 |
| tpdb-8.0/TRS/AProVE_08/round.xml | TIMEOUT 60226 | MAYBE 14756 | TIMEOUT 60117 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | TIMEOUT 60173 | MAYBE 160 | TIMEOUT 60111 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | TIMEOUT 60418 | MAYBE 171 | TIMEOUT 60083 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | TIMEOUT 60325 | MAYBE 169 | TIMEOUT 60136 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | TIMEOUT 60396 | MAYBE 174 | TIMEOUT 60168 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | TIMEOUT 60481 | MAYBE 169 | TIMEOUT 60131 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | TIMEOUT 60355 | MAYBE 170 | TIMEOUT 60139 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | TIMEOUT 60415 | MAYBE 161 | MAYBE 52780 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | TIMEOUT 60348 | MAYBE 182 | MAYBE 38483 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | TIMEOUT 60516 | MAYBE 181 | TIMEOUT 60137 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | TIMEOUT 60603 | MAYBE 203 | TIMEOUT 60175 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | TIMEOUT 60353 | MAYBE 167 | TIMEOUT 60169 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | TIMEOUT 60466 | MAYBE 189 | MAYBE 21514 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | TIMEOUT 60522 | MAYBE 211 | TIMEOUT 60143 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | TIMEOUT 60338 | MAYBE 178 | MAYBE 25094 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | TIMEOUT 60212 | MAYBE 163 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | TIMEOUT 60442 | MAYBE 168 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | TIMEOUT 60281 | MAYBE 165 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | TIMEOUT 60284 | MAYBE 161 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | TIMEOUT 60298 | MAYBE 172 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | TIMEOUT 60226 | MAYBE 164 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | TIMEOUT 60455 | MAYBE 170 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | TIMEOUT 60382 | MAYBE 172 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | TIMEOUT 60451 | MAYBE 178 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | TIMEOUT 60381 | MAYBE 173 | MAYBE 59214 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | TIMEOUT 60457 | MAYBE 175 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | n^0 - n^2 46104 | MAYBE 154 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | TIMEOUT 60434 | MAYBE 170 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | TIMEOUT 60464 | MAYBE 172 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | TIMEOUT 60265 | MAYBE 160 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | TIMEOUT 60314 | MAYBE 161 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | TIMEOUT 60385 | MAYBE 177 | MAYBE 49059 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | n^0 - n^2 52862 | MAYBE 155 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | TIMEOUT 60294 | MAYBE 155 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | TIMEOUT 60147 | MAYBE 152 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | TIMEOUT 60432 | MAYBE 162 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | n^0 - n^3 52949 | MAYBE 151 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | TIMEOUT 60358 | MAYBE 153 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | TIMEOUT 60467 | MAYBE 162 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | TIMEOUT 60969 | MAYBE 162 | TIMEOUT 60117 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | TIMEOUT 60355 | MAYBE 156 | TIMEOUT 60137 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | n^0 - n^1 1565 | MAYBE 156 | TIMEOUT 60167 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 12308 | MAYBE 156 | TIMEOUT 60080 |
| tpdb-8.0/TRS/CiME_04/append.xml | n^0 - n^1 991 | MAYBE 154 | n^0 - n^1 89 |
| tpdb-8.0/TRS/CiME_04/big.xml | TIMEOUT 60856 | MAYBE 278 | TIMEOUT 60320 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | n^0 - n^1 1111 | MAYBE 161 | n^0 - n^0 3039 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^0 757 | n^0 - n^1 408 | n^0 - n^1 40 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | TIMEOUT 60515 | MAYBE 167 | MAYBE 35523 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | TIMEOUT 60446 | MAYBE 46906 | TIMEOUT 60122 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | TIMEOUT 60357 | MAYBE 177 | TIMEOUT 60128 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | TIMEOUT 60540 | MAYBE 56058 | TIMEOUT 60133 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | n^0 - n^2 17817 | MAYBE 187 | MAYBE 53707 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | TIMEOUT 60448 | MAYBE 175 | TIMEOUT 60217 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | TIMEOUT 60543 | MAYBE 168 | MAYBE 51377 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | TIMEOUT 60520 | MAYBE 190 | TIMEOUT 60218 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | TIMEOUT 60615 | MAYBE 174 | TIMEOUT 60140 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | TIMEOUT 60398 | MAYBE 170 | TIMEOUT 60092 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | TIMEOUT 60328 | MAYBE 162 | MAYBE 34027 |
| tpdb-8.0/TRS/CiME_04/log2.xml | TIMEOUT 60490 | MAYBE 207 | TIMEOUT 60117 |
| tpdb-8.0/TRS/CiME_04/lse.xml | n^0 - n^2 13900 | MAYBE 201 | MAYBE 49558 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | TIMEOUT 60437 | MAYBE 199 | TIMEOUT 60224 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | n^0 - n^1 13044 | MAYBE 832 | TIMEOUT 60318 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | TIMEOUT 60951 | MAYBE 204 | MAYBE 45311 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | TIMEOUT 60454 | MAYBE 196 | MAYBE 35493 |
| tpdb-8.0/TRS/CiME_04/tree.xml | TIMEOUT 60454 | MAYBE 240 | TIMEOUT 60277 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^0 720 | n^0 - n^1 323 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^0 709 | n^0 - n^1 307 | n^0 - n^0 60 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^0 700 | n^0 - n^1 286 | n^0 - n^1 49 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^0 707 | n^0 - n^1 479 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 942 | MAYBE 45374 | n^0 - n^1 39 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 1197 | n^0 - n^2 5302 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Der95/08.xml | n^0 - n^1 1095 | MAYBE 155 | n^0 - n^1 2775 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^0 714 | n^0 - n^2 3275 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Der95/11.xml | n^0 - n^1 1738 | MAYBE 203 | n^0 - n^1 9989 |
| tpdb-8.0/TRS/Der95/12.xml | TIMEOUT 60459 | MAYBE 155 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Der95/13.xml | n^0 - n^0 756 | MAYBE 154 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Der95/17.xml | n^0 - n^0 743 | MAYBE 11007 | n^0 - n^1 48 |
| tpdb-8.0/TRS/Der95/18.xml | n^0 - n^1 948 | MAYBE 148 | n^0 - n^1 64 |
| tpdb-8.0/TRS/Der95/20.xml | TIMEOUT 60913 | MAYBE 40422 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Der95/21.xml | TIMEOUT 60311 | MAYBE 156 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 979 | n^0 - n^2 3457 | n^0 - n^1 58 |
| tpdb-8.0/TRS/Der95/28.xml | n^0 - n^0 731 | MAYBE 148 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Der95/30.xml | n^0 - n^0 734 | MAYBE 149 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Der95/31.xml | n^0 - n^1 1239 | MAYBE 154 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Der95/32.xml | n^0 - n^2 3565 | MAYBE 164 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Der95/33.xml | n^0 - n^1 7479 | MAYBE 161 | MAYBE 32530 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | TIMEOUT 60540 | n^0 - n^1 365 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | n^0 - n^0 702 | MAYBE 148 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | n^0 - n^0 759 | MAYBE 45192 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | n^0 - n^0 762 | MAYBE 55203 | n^0 - n^1 44 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | n^0 - n^0 752 | MAYBE 151 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | n^0 - n^0 746 | MAYBE 150 | n^0 - n^0 626 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | n^0 - n^0 725 | MAYBE 150 | MAYBE 56906 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | n^0 - n^0 741 | MAYBE 149 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^0 739 | n^0 - n^2 18381 | n^0 - n^1 61 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | n^0 - n^0 737 | MAYBE 55192 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^0 729 | n^0 - n^1 368 | n^0 - n^1 67 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^0 736 | n^0 - n^1 424 | n^0 - n^1 39 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | TIMEOUT 60301 | MAYBE 155 | TIMEOUT 60144 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | TIMEOUT 60234 | MAYBE 156 | TIMEOUT 60116 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | TIMEOUT 60297 | MAYBE 153 | TIMEOUT 60132 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | TIMEOUT 60357 | MAYBE 162 | TIMEOUT 60117 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | TIMEOUT 60340 | MAYBE 160 | MAYBE 34268 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | TIMEOUT 60285 | MAYBE 169 | TIMEOUT 60142 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | TIMEOUT 60535 | MAYBE 161 | TIMEOUT 60131 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | TIMEOUT 60286 | MAYBE 158 | TIMEOUT 60098 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | TIMEOUT 60422 | MAYBE 157 | TIMEOUT 60089 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | TIMEOUT 60342 | MAYBE 151 | TIMEOUT 60082 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60620 | MAYBE 163 | TIMEOUT 60110 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | TIMEOUT 60361 | MAYBE 164 | TIMEOUT 60120 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | TIMEOUT 60343 | MAYBE 167 | TIMEOUT 60119 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | TIMEOUT 60784 | MAYBE 181 | TIMEOUT 60125 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | TIMEOUT 60392 | MAYBE 160 | TIMEOUT 60129 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | TIMEOUT 60451 | MAYBE 168 | TIMEOUT 60115 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 1008 | MAYBE 5214 | TIMEOUT 60106 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 1096 | MAYBE 5398 | TIMEOUT 60122 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 1068 | MAYBE 5212 | TIMEOUT 60120 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | TIMEOUT 60373 | MAYBE 5494 | TIMEOUT 60083 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | TIMEOUT 60054 | MAYBE 5573 | TIMEOUT 60138 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 1127 | MAYBE 147 | TIMEOUT 60122 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | n^0 - n^0 705 | MAYBE 5335 | n^0 - n^0 39 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | n^0 - n^0 1166 | MAYBE 16739 | TIMEOUT 60122 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | TIMEOUT 60403 | MAYBE 176 | TIMEOUT 60092 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | n^0 - n^2 3843 | MAYBE 163 | MAYBE 36315 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | TIMEOUT 60365 | MAYBE 172 | TIMEOUT 60127 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | TIMEOUT 60291 | MAYBE 11972 | MAYBE 56882 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | n^0 - n^0 1272 | MAYBE 494 | TIMEOUT 60126 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^0 717 | n^0 - n^1 286 | n^0 - n^0 69 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^0 718 | n^0 - n^1 296 | n^0 - n^0 68 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | n^0 - n^0 746 | n^0 - n^1 4225 | n^0 - n^1 32 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60517 | TIMEOUT 60307 | TIMEOUT 60122 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^0 728 | n^0 - n^1 296 | n^0 - n^0 30 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^1 990 | n^0 - n^2 3437 | n^0 - n^1 48 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | TIMEOUT 60816 | MAYBE 45607 | TIMEOUT 60120 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | TIMEOUT 60601 | MAYBE 156 | TIMEOUT 60111 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | n^0 - n^2 1917 | MAYBE 164 | n^0 - n^2 1404 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^0 744 | n^0 - n^1 322 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | n^0 - n^0 752 | MAYBE 45812 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | n^0 - n^0 714 | MAYBE 168 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^0 726 | n^0 - n^1 317 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | n^0 - n^0 718 | MAYBE 146 | n^0 - n^0 1028 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | n^0 - n^0 709 | MAYBE 9348 | n^0 - n^1 49 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | n^0 - n^0 734 | MAYBE 149 | MAYBE 59448 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | n^0 - n^0 783 | MAYBE 55234 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | TIMEOUT 60313 | TIMEOUT 60036 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | TIMEOUT 60660 | MAYBE 167 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | TIMEOUT 60442 | MAYBE 188 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | TIMEOUT 60476 | MAYBE 164 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | n^0 - n^1 1016 | MAYBE 153 | n^0 - n^1 29917 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | n^0 - n^1 6987 | MAYBE 163 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 946 | n^0 - n^2 3558 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | n^0 - n^1 1011 | MAYBE 149 | n^0 - n^1 3818 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 993 | n^0 - n^1 282 | n^0 - n^1 39 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | TIMEOUT 60123 | MAYBE 150 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 1083 | n^0 - n^2 5282 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | TIMEOUT 61055 | MAYBE 175 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Mixed_TRS/motivation.xml | n^0 - n^0 737 | MAYBE 149 | n^0 - n^1 448 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | TIMEOUT 60332 | MAYBE 173 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | n^0 - n^1 1033 | MAYBE 161 | n^0 - n^1 181 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 27217 | MAYBE 148 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | n^0 - n^0 753 | MAYBE 154 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | TIMEOUT 60299 | MAYBE 150 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | n^0 - n^0 722 | n^0 - n^1 358 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 1331 | n^0 - n^2 3539 | n^0 - n^1 71 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | n^0 - n^2 2390 | MAYBE 149 | n^0 - n^1 314 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | n^0 - n^0 744 | MAYBE 7599 | n^0 - n^1 69 |
| tpdb-8.0/TRS/Rubio_04/division.xml | n^0 - n^3 6941 | MAYBE 163 | n^0 - n^3 54581 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | n^0 - n^2 5284 | MAYBE 164 | n^0 - n^2 4120 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | TIMEOUT 60577 | MAYBE 174 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | n^0 - n^2 5819 | MAYBE 166 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 956 | n^0 - n^1 366 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | n^0 - n^2 2040 | MAYBE 155 | n^0 - n^1 506 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^0 733 | n^0 - n^1 456 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^1 1188 | n^0 - n^2 3625 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^0 734 | n^0 - n^1 348 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | n^0 - n^2 3810 | MAYBE 158 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | TIMEOUT 61026 | MAYBE 212 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^0 729 | n^0 - n^1 285 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^0 723 | n^0 - n^1 278 | n^0 - n^0 96 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | TIMEOUT 60316 | MAYBE 45431 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^0 735 | n^0 - n^1 355 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | n^0 - n^1 2127 | MAYBE 193 | n^0 - n^1 8490 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | n^0 - n^1 1298 | MAYBE 148 | n^0 - n^1 72 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | TIMEOUT 60436 | MAYBE 178 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | TIMEOUT 60330 | MAYBE 159 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | TIMEOUT 60395 | MAYBE 177 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | TIMEOUT 60515 | MAYBE 200 | MAYBE 41065 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 1620 | n^0 - n^1 315 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 953 | n^0 - n^1 301 | n^0 - n^1 60 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | n^0 - n^2 8787 | MAYBE 171 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml | n^0 - n^0 856 | MAYBE 186 | MAYBE 45989 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | n^0 - n^2 46532 | MAYBE 163 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | TIMEOUT 60416 | MAYBE 167 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | n^0 - n^2 8379 | MAYBE 161 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | TIMEOUT 60357 | MAYBE 167 | MAYBE 50342 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | n^0 - n^0 1612 | MAYBE 226 | MAYBE 18178 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | n^0 - n^1 2626 | MAYBE 167 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | TIMEOUT 60564 | MAYBE 189 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | n^0 - n^0 733 | MAYBE 152 | n^0 - n^0 72 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | TIMEOUT 60803 | MAYBE 276 | MAYBE 35805 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | n^0 - n^0 732 | MAYBE 189 | MAYBE 52777 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^0 714 | n^0 - n^1 283 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^0 737 | n^0 - n^3 19191 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | n^0 - n^0 747 | MAYBE 18037 | MAYBE 29872 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | n^0 - n^0 751 | MAYBE 10666 | n^0 - n^1 43 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | TIMEOUT 60656 | MAYBE 162 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | TIMEOUT 60420 | MAYBE 158 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | TIMEOUT 60398 | MAYBE 158 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | TIMEOUT 60770 | MAYBE 161 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | TIMEOUT 60411 | MAYBE 163 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | n^0 - n^0 738 | MAYBE 152 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 1908 | MAYBE 6174 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 1230 | n^0 - n^1 335 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | TIMEOUT 60702 | MAYBE 45447 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | n^0 - n^0 13182 | MAYBE 7761 | n^0 - n^1 57 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | n^0 - n^1 11328 | MAYBE 45387 | n^0 - n^1 61 |
| tpdb-8.0/TRS/Secret_06_TRS/5.xml | n^0 - n^0 726 | MAYBE 45541 | n^0 - n^1 69 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^0 751 | n^0 - n^3 5784 | n^0 - n^0 67 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | n^0 - n^0 754 | n^0 - n^1 1186 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | n^0 - n^0 844 | n^0 - n^1 321 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | n^0 - n^1 32442 | n^0 - n^1 311 | n^0 - n^1 39 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | TIMEOUT 60845 | MAYBE 193 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | TIMEOUT 60430 | MAYBE 184 | MAYBE 45228 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | TIMEOUT 60402 | MAYBE 161 | MAYBE 46420 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | TIMEOUT 60436 | MAYBE 164 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | TIMEOUT 60444 | MAYBE 176 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | n^0 - n^0 745 | MAYBE 153 | n^0 - n^1 1645 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | n^0 - n^0 759 | MAYBE 160 | MAYBE 27405 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | n^0 - n^1 2578 | MAYBE 154 | n^0 - n^0 1553 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | n^0 - n^0 753 | MAYBE 161 | n^0 - n^1 25772 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml | n^0 - n^0 742 | MAYBE 156 | n^0 - n^0 12839 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | n^0 - n^0 748 | MAYBE 152 | n^0 - n^0 65 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | n^0 - n^0 768 | MAYBE 160 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | n^0 - n^0 750 | MAYBE 155 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | n^0 - n^0 19420 | MAYBE 155 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | n^0 - n^0 753 | MAYBE 156 | n^0 - n^0 1475 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | TIMEOUT 60411 | MAYBE 171 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | TIMEOUT 60916 | MAYBE 171 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | TIMEOUT 60745 | MAYBE 170 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | TIMEOUT 60826 | MAYBE 176 | MAYBE 50811 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | TIMEOUT 60729 | MAYBE 192 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | TIMEOUT 60870 | MAYBE 177 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^0 713 | n^0 - n^1 376 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | n^0 - n^0 727 | MAYBE 5778 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | n^0 - n^0 717 | MAYBE 5970 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | TIMEOUT 60640 | MAYBE 169 | MAYBE 42726 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | TIMEOUT 60747 | MAYBE 166 | MAYBE 25152 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | TIMEOUT 60722 | MAYBE 173 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | TIMEOUT 60774 | MAYBE 160 | MAYBE 44324 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | TIMEOUT 61008 | MAYBE 164 | MAYBE 48025 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | TIMEOUT 60853 | MAYBE 191 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | TIMEOUT 60447 | MAYBE 171 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | n^0 - n^0 783 | MAYBE 45434 | MAYBE 26366 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | n^0 - n^0 787 | MAYBE 45215 | MAYBE 29439 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | n^0 - n^1 2070 | MAYBE 53291 | MAYBE 41492 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | n^0 - n^0 783 | MAYBE 45457 | n^0 - n^1 67 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | n^0 - n^0 829 | MAYBE 56043 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | n^0 - n^0 781 | MAYBE 45418 | n^0 - n^1 70 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | TIMEOUT 60372 | MAYBE 207 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | TIMEOUT 60359 | MAYBE 188 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | TIMEOUT 60402 | MAYBE 221 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | TIMEOUT 60451 | MAYBE 195 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | TIMEOUT 60483 | MAYBE 180 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | TIMEOUT 60366 | MAYBE 189 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | TIMEOUT 60467 | MAYBE 176 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | TIMEOUT 60969 | MAYBE 190 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | TIMEOUT 60679 | MAYBE 182 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | TIMEOUT 61054 | MAYBE 175 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | TIMEOUT 60708 | MAYBE 181 | MAYBE 41454 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | n^0 - n^0 810 | MAYBE 173 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | TIMEOUT 60333 | MAYBE 165 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | TIMEOUT 60734 | MAYBE 179 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | n^0 - n^1 1180 | MAYBE 175 | n^0 - n^2 498 |
| tpdb-8.0/TRS/SK90/2.01.xml | n^0 - n^0 761 | n^0 - n^2 5331 | n^0 - n^1 73 |
| tpdb-8.0/TRS/SK90/2.02.xml | MAYBE 19974 | MAYBE 31034 | n^0 - n^1 61 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^1 964 | n^0 - n^2 5272 | n^0 - n^1 39 |
| tpdb-8.0/TRS/SK90/2.04.xml | n^0 - n^0 726 | n^0 - n^2 3439 | n^0 - n^1 58 |
| tpdb-8.0/TRS/SK90/2.05.xml | n^0 - n^0 746 | MAYBE 153 | TIMEOUT 60115 |
| tpdb-8.0/TRS/SK90/2.06.xml | n^0 - n^0 744 | n^0 - n^2 3709 | n^0 - n^1 57 |
| tpdb-8.0/TRS/SK90/2.07.xml | n^0 - n^1 1326 | MAYBE 157 | TIMEOUT 60096 |
| tpdb-8.0/TRS/SK90/2.08.xml | n^0 - n^0 765 | MAYBE 157 | TIMEOUT 60069 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^1 966 | n^0 - n^2 3434 | n^0 - n^1 65 |
| tpdb-8.0/TRS/SK90/2.10.xml | n^0 - n^0 756 | MAYBE 12232 | n^0 - n^1 64 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 1024 | n^0 - n^2 3918 | n^0 - n^1 34 |
| tpdb-8.0/TRS/SK90/2.12.xml | n^0 - n^3 7429 | MAYBE 160 | TIMEOUT 60074 |
| tpdb-8.0/TRS/SK90/2.13.xml | n^0 - n^1 1099 | MAYBE 154 | n^0 - n^1 251 |
| tpdb-8.0/TRS/SK90/2.14.xml | n^0 - n^1 1048 | MAYBE 43724 | n^0 - n^1 42 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 22262 | MAYBE 152 | TIMEOUT 60071 |
| tpdb-8.0/TRS/SK90/2.16.xml | n^0 - n^2 2114 | MAYBE 156 | TIMEOUT 60149 |
| tpdb-8.0/TRS/SK90/2.17.xml | n^0 - n^1 962 | MAYBE 152 | n^0 - n^1 81 |
| tpdb-8.0/TRS/SK90/2.18.xml | n^0 - n^2 1314 | MAYBE 150 | TIMEOUT 60107 |
| tpdb-8.0/TRS/SK90/2.19.xml | n^0 - n^2 3840 | MAYBE 157 | TIMEOUT 60124 |
| tpdb-8.0/TRS/SK90/2.20.xml | n^0 - n^1 967 | MAYBE 151 | n^0 - n^1 78 |
| tpdb-8.0/TRS/SK90/2.21.xml | MAYBE 29709 | MAYBE 150 | TIMEOUT 60161 |
| tpdb-8.0/TRS/SK90/2.22.xml | n^0 - n^2 2307 | MAYBE 155 | TIMEOUT 60098 |
| tpdb-8.0/TRS/SK90/2.23.xml | TIMEOUT 60343 | MAYBE 162 | TIMEOUT 60108 |
| tpdb-8.0/TRS/SK90/2.24.xml | TIMEOUT 60187 | MAYBE 165 | TIMEOUT 60155 |
| tpdb-8.0/TRS/SK90/2.25.xml | TIMEOUT 60349 | MAYBE 152 | TIMEOUT 60098 |
| tpdb-8.0/TRS/SK90/2.26.xml | TIMEOUT 60543 | MAYBE 170 | TIMEOUT 60137 |
| tpdb-8.0/TRS/SK90/2.27.xml | TIMEOUT 60379 | MAYBE 165 | TIMEOUT 60139 |
| tpdb-8.0/TRS/SK90/2.28.xml | TIMEOUT 60468 | MAYBE 145 | TIMEOUT 60072 |
| tpdb-8.0/TRS/SK90/2.29.xml | n^0 - n^1 941 | MAYBE 161 | n^0 - n^1 159 |
| tpdb-8.0/TRS/SK90/2.30.xml | n^0 - n^0 718 | MAYBE 153 | n^0 - n^0 35 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^1 1034 | n^0 - n^2 5306 | n^0 - n^1 41 |
| tpdb-8.0/TRS/SK90/2.32.xml | n^0 - n^0 768 | MAYBE 161 | n^0 - n^0 80 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^0 740 | n^0 - n^2 3995 | n^0 - n^1 78 |
| tpdb-8.0/TRS/SK90/2.34.xml | n^0 - n^0 741 | MAYBE 7160 | n^0 - n^1 33 |
| tpdb-8.0/TRS/SK90/2.35.xml | n^0 - n^0 739 | MAYBE 152 | n^0 - n^0 94 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^1 991 | n^0 - n^2 3597 | n^0 - n^1 87 |
| tpdb-8.0/TRS/SK90/2.37.xml | n^0 - n^1 966 | MAYBE 151 | n^0 - n^0 58 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^1 1162 | n^0 - n^2 3583 | n^0 - n^1 70 |
| tpdb-8.0/TRS/SK90/2.39.xml | n^0 - n^2 1335 | MAYBE 21428 | TIMEOUT 60174 |
| tpdb-8.0/TRS/SK90/2.40.xml | n^0 - n^1 966 | MAYBE 154 | n^0 - n^1 111 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^1 1070 | n^0 - n^2 4180 | n^0 - n^1 52 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^1 2726 | MAYBE 16528 | n^0 - n^1 76 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 19356 | MAYBE 159 | TIMEOUT 60152 |
| tpdb-8.0/TRS/SK90/2.44.xml | n^0 - n^1 1959 | MAYBE 162 | n^0 - n^2 882 |
| tpdb-8.0/TRS/SK90/2.45.xml | n^0 - n^1 1004 | MAYBE 175 | n^0 - n^1 138 |
| tpdb-8.0/TRS/SK90/2.46.xml | n^0 - n^0 731 | n^0 - n^2 3541 | n^0 - n^1 30 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^1 941 | n^0 - n^2 3422 | n^0 - n^1 60 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^0 732 | n^0 - n^1 349 | n^0 - n^0 59 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^0 752 | n^0 - n^1 407 | n^0 - n^1 76 |
| tpdb-8.0/TRS/SK90/2.50.xml | n^0 - n^1 943 | MAYBE 45176 | n^0 - n^1 32 |
| tpdb-8.0/TRS/SK90/2.51.xml | TIMEOUT 60449 | MAYBE 151 | TIMEOUT 60092 |
| tpdb-8.0/TRS/SK90/2.52.xml | TIMEOUT 60436 | MAYBE 179 | MAYBE 59963 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^1 1050 | n^0 - n^2 5260 | n^0 - n^1 34 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^1 943 | n^0 - n^2 3405 | n^0 - n^1 31 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^1 967 | n^0 - n^2 3413 | n^0 - n^1 66 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^0 728 | n^0 - n^1 274 | n^0 - n^0 52 |
| tpdb-8.0/TRS/SK90/2.57.xml | n^0 - n^0 721 | MAYBE 148 | n^0 - n^0 120 |
| tpdb-8.0/TRS/SK90/2.58.xml | n^0 - n^0 734 | MAYBE 156 | n^0 - n^0 75 |
| tpdb-8.0/TRS/SK90/2.59.xml | n^0 - n^1 916 | MAYBE 145 | n^0 - n^1 55 |
| tpdb-8.0/TRS/SK90/2.60.xml | n^0 - n^0 720 | n^0 - n^1 342 | n^0 - n^1 66 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^2 4328 | n^0 - n^1 1588 | n^0 - n^1 56 |
| tpdb-8.0/TRS/SK90/4.01.xml | n^0 - n^0 728 | n^0 - n^1 304 | n^0 - n^1 48 |
| tpdb-8.0/TRS/SK90/4.02.xml | n^0 - n^0 805 | MAYBE 174 | TIMEOUT 60131 |
| tpdb-8.0/TRS/SK90/4.03.xml | n^0 - n^0 767 | MAYBE 157 | TIMEOUT 60110 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^0 730 | n^0 - n^2 3485 | n^0 - n^1 31 |
| tpdb-8.0/TRS/SK90/4.05.xml | n^0 - n^2 1059 | MAYBE 152 | TIMEOUT 60142 |
| tpdb-8.0/TRS/SK90/4.06.xml | TIMEOUT 60603 | MAYBE 154 | TIMEOUT 60082 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^0 727 | n^0 - n^2 3611 | n^0 - n^1 77 |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^0 714 | n^0 - n^2 3404 | n^0 - n^1 31 |
| tpdb-8.0/TRS/SK90/4.09.xml | n^0 - n^0 751 | MAYBE 153 | TIMEOUT 60119 |
| tpdb-8.0/TRS/SK90/4.10.xml | n^0 - n^2 1345 | MAYBE 153 | TIMEOUT 60162 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^0 736 | n^0 - n^2 3740 | n^0 - n^1 37 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^1 998 | n^0 - n^2 3615 | n^0 - n^1 412 |
| tpdb-8.0/TRS/SK90/4.13.xml | n^0 - n^1 1143 | MAYBE 153 | n^0 - n^2 7865 |
| tpdb-8.0/TRS/SK90/4.14.xml | n^0 - n^0 773 | MAYBE 162 | TIMEOUT 60105 |
| tpdb-8.0/TRS/SK90/4.15.xml | n^0 - n^0 727 | n^0 - n^2 3400 | n^0 - n^1 57 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 1003 | n^0 - n^1 355 | n^0 - n^1 44 |
| tpdb-8.0/TRS/SK90/4.17.xml | TIMEOUT 60122 | MAYBE 152 | n^0 - n^2 3178 |
| tpdb-8.0/TRS/SK90/4.18.xml | n^0 - n^0 725 | MAYBE 152 | n^0 - n^0 67 |
| tpdb-8.0/TRS/SK90/4.19.xml | n^0 - n^0 725 | n^0 - n^1 296 | n^0 - n^1 108 |
| tpdb-8.0/TRS/SK90/4.20.xml | n^0 - n^1 1109 | MAYBE 158 | n^0 - n^0 2667 |
| tpdb-8.0/TRS/SK90/4.21.xml | n^0 - n^0 769 | MAYBE 159 | TIMEOUT 60080 |
| tpdb-8.0/TRS/SK90/4.22.xml | TIMEOUT 60416 | MAYBE 151 | TIMEOUT 60097 |
| tpdb-8.0/TRS/SK90/4.23.xml | n^0 - n^0 757 | MAYBE 157 | TIMEOUT 60083 |
| tpdb-8.0/TRS/SK90/4.24.xml | TIMEOUT 60446 | MAYBE 156 | TIMEOUT 60130 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^1 985 | n^0 - n^2 3646 | n^0 - n^1 41 |
| tpdb-8.0/TRS/SK90/4.26.xml | n^0 - n^2 1572 | MAYBE 12002 | n^0 - n^1 66 |
| tpdb-8.0/TRS/SK90/4.27.xml | TIMEOUT 60360 | MAYBE 59206 | TIMEOUT 60089 |
| tpdb-8.0/TRS/SK90/4.28.xml | n^0 - n^1 1333 | MAYBE 171 | n^0 - n^1 171 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^1 962 | n^0 - n^2 5313 | n^0 - n^1 70 |
| tpdb-8.0/TRS/SK90/4.30.xml | TIMEOUT 60331 | n^0 - n^3 17417 | n^0 - n^1 68 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 5689 | MAYBE 155 | TIMEOUT 60162 |
| tpdb-8.0/TRS/SK90/4.32.xml | n^0 - n^0 744 | MAYBE 46918 | n^0 - n^1 65 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^0 713 | n^0 - n^1 293 | n^0 - n^1 59 |
| tpdb-8.0/TRS/SK90/4.34.xml | TIMEOUT 60095 | MAYBE 45180 | TIMEOUT 60111 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^0 703 | n^0 - n^1 290 | n^0 - n^0 60 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^0 717 | n^0 - n^1 288 | n^0 - n^1 56 |
| tpdb-8.0/TRS/SK90/4.37.xml | n^0 - n^0 705 | n^0 - n^1 257 | n^0 - n^1 63 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^1 1054 | n^0 - n^2 5294 | n^0 - n^1 56 |
| tpdb-8.0/TRS/SK90/4.39.xml | n^0 - n^0 712 | n^0 - n^2 3333 | n^0 - n^1 323 |
| tpdb-8.0/TRS/SK90/4.40.xml | n^0 - n^0 723 | MAYBE 150 | TIMEOUT 60118 |
| tpdb-8.0/TRS/SK90/4.41.xml | n^0 - n^1 986 | MAYBE 234 | n^0 - n^0 80 |
| tpdb-8.0/TRS/SK90/4.42.xml | TIMEOUT 60391 | MAYBE 156 | TIMEOUT 60089 |
| tpdb-8.0/TRS/SK90/4.43.xml | TIMEOUT 60462 | MAYBE 22661 | MAYBE 55788 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^0 732 | n^0 - n^1 321 | n^0 - n^0 43 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 949 | n^0 - n^1 272 | n^0 - n^1 30 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^0 716 | n^0 - n^1 284 | n^0 - n^1 55 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^0 761 | n^0 - n^1 393 | n^0 - n^0 89 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^0 737 | n^0 - n^1 343 | n^0 - n^1 62 |
| tpdb-8.0/TRS/SK90/4.49.xml | n^0 - n^0 735 | MAYBE 148 | TIMEOUT 60079 |
| tpdb-8.0/TRS/SK90/4.50.xml | n^0 - n^0 715 | MAYBE 146 | n^0 - n^0 36 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^1 1004 | n^0 - n^1 816 | n^0 - n^1 74 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^0 752 | n^0 - n^2 5366 | n^0 - n^1 62 |
| tpdb-8.0/TRS/SK90/4.53.xml | n^0 - n^1 1023 | MAYBE 175 | TIMEOUT 60111 |
| tpdb-8.0/TRS/SK90/4.54.xml | TIMEOUT 60453 | MAYBE 150 | TIMEOUT 60139 |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^0 899 | n^0 - n^1 269 | TIMEOUT 60115 |
| tpdb-8.0/TRS/SK90/4.56.xml | n^0 - n^0 720 | n^0 - n^1 297 | n^0 - n^0 37 |
| tpdb-8.0/TRS/SK90/4.57.xml | n^0 - n^0 760 | MAYBE 157 | MAYBE 47438 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 21386 | MAYBE 163 | TIMEOUT 60128 |
| tpdb-8.0/TRS/SK90/4.60.xml | TIMEOUT 60412 | MAYBE 160 | MAYBE 50455 |
| tpdb-8.0/TRS/SK90/4.61.xml | TIMEOUT 60339 | MAYBE 174 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | n^0 - n^0 1000 | MAYBE 149 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | n^0 - n^0 722 | MAYBE 151 | n^0 - n^0 36 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.14.xml | n^0 - n^1 956 | MAYBE 150 | n^0 - n^1 4408 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml | n^0 - n^0 743 | MAYBE 154 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml | n^0 - n^1 955 | MAYBE 148 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | n^0 - n^1 960 | MAYBE 55424 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | n^0 - n^0 717 | MAYBE 55186 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.19.xml | n^0 - n^1 37091 | MAYBE 153 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | n^0 - n^1 2104 | n^0 - n^1 774 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | n^0 - n^0 736 | n^0 - n^1 516 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml | n^0 - n^0 747 | n^0 - n^1 1049 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml | n^0 - n^1 981 | MAYBE 151 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.23.xml | TIMEOUT 60271 | MAYBE 157 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | n^0 - n^0 920 | MAYBE 5613 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.26.xml | n^0 - n^2 8331 | MAYBE 159 | TIMEOUT 60174 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | n^0 - n^2 1516 | MAYBE 159 | MAYBE 34534 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml | n^0 - n^2 1553 | n^0 - n^1 3842 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml | TIMEOUT 60425 | MAYBE 166 | MAYBE 50557 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.2.xml | n^0 - n^1 968 | MAYBE 149 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml | n^0 - n^2 3832 | MAYBE 159 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | n^0 - n^2 14143 | MAYBE 163 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | n^0 - n^2 21887 | MAYBE 166 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | n^0 - n^2 13623 | MAYBE 160 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | n^0 - n^1 2299 | MAYBE 150 | n^0 - n^2 2014 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml | TIMEOUT 60317 | MAYBE 158 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.34.xml | TIMEOUT 60425 | MAYBE 157 | n^0 - n^2 893 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml | TIMEOUT 60773 | MAYBE 211 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | TIMEOUT 60490 | MAYBE 190 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | n^0 - n^1 1029 | n^0 - n^1 314 | n^0 - n^1 64 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml | n^0 - n^1 1029 | n^0 - n^1 342 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | n^0 - n^0 710 | MAYBE 148 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | n^0 - n^0 711 | MAYBE 147 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | n^0 - n^0 726 | MAYBE 149 | n^0 - n^0 50 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | TIMEOUT 60533 | MAYBE 166 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | TIMEOUT 60054 | MAYBE 149 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | TIMEOUT 60104 | MAYBE 150 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | TIMEOUT 60117 | MAYBE 159 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | TIMEOUT 60140 | MAYBE 171 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | MAYBE 3516 | MAYBE 158 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | n^0 - n^0 719 | MAYBE 148 | n^0 - n^0 37 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | TIMEOUT 60148 | MAYBE 154 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | MAYBE 1993 | MAYBE 5660 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | n^0 - n^0 706 | MAYBE 149 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | TIMEOUT 60320 | MAYBE 161 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml | TIMEOUT 60145 | MAYBE 157 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | TIMEOUT 60095 | MAYBE 150 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | TIMEOUT 60344 | MAYBE 161 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | TIMEOUT 60315 | MAYBE 161 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | TIMEOUT 60480 | MAYBE 147 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | TIMEOUT 60078 | MAYBE 6056 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml | TIMEOUT 60446 | MAYBE 165 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | TIMEOUT 60110 | MAYBE 150 | TIMEOUT 60174 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 981 | MAYBE 5797 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | n^0 - n^1 1369 | MAYBE 161 | n^0 - n^2 1346 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml | MAYBE 10738 | MAYBE 153 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | TIMEOUT 60377 | MAYBE 174 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | MAYBE 1116 | MAYBE 5990 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | TIMEOUT 60561 | MAYBE 182 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml | TIMEOUT 60060 | MAYBE 150 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 992 | MAYBE 5758 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | TIMEOUT 60105 | MAYBE 150 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | TIMEOUT 60138 | MAYBE 156 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | TIMEOUT 60490 | MAYBE 158 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml | TIMEOUT 60335 | MAYBE 162 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | TIMEOUT 60401 | MAYBE 175 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 1039 | MAYBE 5613 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | TIMEOUT 60409 | MAYBE 11574 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | TIMEOUT 60461 | MAYBE 10218 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml | TIMEOUT 60361 | MAYBE 166 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | TIMEOUT 60694 | MAYBE 162 | MAYBE 23514 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | n^0 - n^0 729 | MAYBE 148 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 1044 | MAYBE 5995 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | TIMEOUT 60057 | MAYBE 149 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | MAYBE 1043 | MAYBE 6102 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 1192 | MAYBE 5950 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 1032 | MAYBE 5770 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | TIMEOUT 60111 | MAYBE 6301 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | TIMEOUT 60422 | MAYBE 167 | MAYBE 59880 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | n^0 - n^0 735 | MAYBE 5750 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | MAYBE 14512 | MAYBE 151 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | n^0 - n^0 733 | MAYBE 6608 | n^0 - n^1 57 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | n^0 - n^1 978 | MAYBE 151 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | n^0 - n^0 1173 | MAYBE 148 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | n^0 - n^1 1335 | MAYBE 151 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | n^0 - n^1 2233 | MAYBE 155 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 1276 | n^0 - n^1 325 | n^0 - n^1 70 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | n^0 - n^0 1014 | MAYBE 149 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | n^0 - n^0 719 | MAYBE 147 | n^0 - n^0 39 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | n^0 - n^0 743 | MAYBE 162 | n^0 - n^1 1354 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | TIMEOUT 60893 | MAYBE 313 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | n^0 - n^1 1185 | MAYBE 179 | n^0 - n^1 1360 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | TIMEOUT 60901 | MAYBE 216 | MAYBE 50988 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml | n^0 - n^0 1315 | MAYBE 275 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | MAYBE 284 | NO 185 | ERROR 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | n^0 - n^2 2440 | MAYBE 175 | TIMEOUT 60253 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | TIMEOUT 60462 | MAYBE 183 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | n^0 - n^1 1083 | MAYBE 157 | n^0 - n^1 327 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | TIMEOUT 60345 | MAYBE 160 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml | n^0 - n^0 837 | MAYBE 172 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | MAYBE 249 | NO 145 | ERROR 27 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | n^0 - n^0 751 | MAYBE 154 | n^0 - n^0 61 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | TIMEOUT 60482 | MAYBE 192 | MAYBE 50853 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml | TIMEOUT 60376 | MAYBE 164 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | TIMEOUT 60495 | MAYBE 164 | n^0 - n^3 12581 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml | n^0 - n^0 877 | MAYBE 183 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml | MAYBE 1086 | MAYBE 5927 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml | TIMEOUT 60345 | MAYBE 161 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | n^0 - n^1 56134 | MAYBE 182 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | n^0 - n^0 747 | MAYBE 151 | n^0 - n^0 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | TIMEOUT 60465 | MAYBE 163 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml | n^0 - n^0 852 | MAYBE 178 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | n^0 - n^0 745 | MAYBE 5858 | n^0 - n^0 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | n^0 - n^1 35184 | n^0 - n^4 35073 | n^0 - n^1 58 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^1 975 | n^0 - n^2 4473 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^1 960 | n^0 - n^2 3977 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | n^0 - n^0 773 | n^0 - n^2 5276 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | MAYBE 963 | MAYBE 5212 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^0 750 | n^0 - n^1 1636 | n^0 - n^0 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | TIMEOUT 60978 | MAYBE 240 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | TIMEOUT 60391 | MAYBE 175 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | n^0 - n^1 7314 | MAYBE 185 | n^0 - n^2 1087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | n^0 - n^0 1059 | MAYBE 241 | MAYBE 37342 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | MAYBE 265 | NO 153 | ERROR 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | TIMEOUT 60205 | MAYBE 174 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | n^0 - n^1 24748 | MAYBE 56116 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml | n^0 - n^0 716 | n^0 - n^1 273 | n^0 - n^0 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | n^0 - n^1 972 | n^0 - n^2 4275 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | n^0 - n^0 776 | MAYBE 55683 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | MAYBE 1104 | MAYBE 5549 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | n^0 - n^1 38035 | n^0 - n^4 33940 | n^0 - n^1 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^1 966 | n^0 - n^2 4553 | n^0 - n^1 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^1 971 | n^0 - n^2 4321 | n^0 - n^1 40 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | n^0 - n^0 777 | n^0 - n^2 5452 | n^0 - n^1 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | n^0 - n^0 698 | n^0 - n^1 283 | n^0 - n^1 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^0 736 | n^0 - n^1 954 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | TIMEOUT 60625 | MAYBE 220 | MAYBE 59429 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | TIMEOUT 60631 | MAYBE 174 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | n^0 - n^1 1441 | MAYBE 177 | n^0 - n^1 1040 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml | n^0 - n^0 981 | MAYBE 217 | MAYBE 31164 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | MAYBE 1016 | MAYBE 6606 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | TIMEOUT 60444 | MAYBE 174 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | TIMEOUT 60767 | MAYBE 231 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | n^0 - n^1 1157 | MAYBE 169 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | TIMEOUT 60605 | MAYBE 179 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | n^0 - n^0 993 | MAYBE 220 | MAYBE 58430 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | MAYBE 276 | NO 156 | ERROR 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MAYBE 2703 | MAYBE 164 | MAYBE 52673 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | n^0 - n^1 27700 | MAYBE 168 | TIMEOUT 60209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | n^0 - n^0 745 | MAYBE 152 | n^0 - n^0 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | TIMEOUT 60450 | MAYBE 155 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml | n^0 - n^0 819 | MAYBE 168 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 1034 | MAYBE 5453 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | TIMEOUT 60538 | MAYBE 223 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | n^0 - n^1 1102 | MAYBE 165 | n^0 - n^2 450 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | TIMEOUT 60585 | MAYBE 173 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml | n^0 - n^0 952 | MAYBE 204 | MAYBE 28481 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | MAYBE 258 | NO 152 | ERROR 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | n^0 - n^2 1982 | MAYBE 162 | n^0 - n^2 12006 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | TIMEOUT 60448 | TIMEOUT 60064 | n^0 - n^1 380 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | TIMEOUT 60278 | MAYBE 47246 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | TIMEOUT 60393 | TIMEOUT 60039 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml | TIMEOUT 60766 | TIMEOUT 60041 | n^0 - n^1 152 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | MAYBE 259 | NO 151 | ERROR 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | TIMEOUT 60534 | MAYBE 9670 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | n^0 - n^1 22261 | n^0 - n^2 20448 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | MAYBE 2123 | MAYBE 56404 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 990 | n^0 - n^1 1542 | n^0 - n^1 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^0 779 | n^0 - n^1 2637 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 1045 | MAYBE 5442 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | n^0 - n^1 46058 | TIMEOUT 60053 | n^0 - n^1 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^1 990 | n^0 - n^2 5326 | n^0 - n^1 48 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^1 972 | n^0 - n^2 5378 | n^0 - n^1 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | n^0 - n^0 807 | n^0 - n^2 9275 | n^0 - n^1 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | n^0 - n^0 685 | n^0 - n^1 279 | n^0 - n^1 49 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^0 740 | n^0 - n^1 1041 | n^0 - n^0 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | n^0 - n^1 33486 | MAYBE 170 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | TIMEOUT 60403 | MAYBE 153 | MAYBE 56 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | n^0 - n^1 985 | MAYBE 157 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml | n^0 - n^0 830 | MAYBE 172 | MAYBE 38005 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml | MAYBE 974 | MAYBE 5455 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | TIMEOUT 60373 | MAYBE 153 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | n^0 - n^1 26968 | MAYBE 166 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | n^0 - n^0 742 | MAYBE 152 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | n^0 - n^1 977 | MAYBE 172 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml | n^0 - n^0 816 | MAYBE 166 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | MAYBE 1123 | MAYBE 5525 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | n^0 - n^1 46072 | n^0 - n^2 6545 | n^0 - n^1 58 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | n^0 - n^1 1009 | n^0 - n^2 5276 | n^0 - n^1 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^1 1000 | n^0 - n^2 5513 | n^0 - n^1 73 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml | n^0 - n^0 833 | n^0 - n^2 6092 | n^0 - n^1 89 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | n^0 - n^0 711 | n^0 - n^1 272 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^0 759 | n^0 - n^1 1674 | n^0 - n^0 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | TIMEOUT 60857 | MAYBE 250 | MAYBE 55265 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | n^0 - n^1 1442 | MAYBE 184 | n^0 - n^1 870 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | TIMEOUT 60649 | MAYBE 187 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml | n^0 - n^0 1080 | MAYBE 232 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^0 738 | n^0 - n^1 327 | n^0 - n^0 68 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | n^0 - n^0 842 | MAYBE 179 | n^0 - n^0 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | TIMEOUT 60915 | MAYBE 256 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | n^0 - n^1 1159 | MAYBE 173 | n^0 - n^2 507 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | TIMEOUT 60798 | MAYBE 190 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | n^0 - n^0 1102 | MAYBE 233 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | TIMEOUT 60315 | MAYBE 159 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | TIMEOUT 60338 | MAYBE 169 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | TIMEOUT 60549 | MAYBE 231 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | TIMEOUT 60355 | MAYBE 174 | n^0 - n^3 21588 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | TIMEOUT 60750 | MAYBE 176 | n^0 - n^2 1046 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml | n^0 - n^0 1008 | MAYBE 216 | MAYBE 34428 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^0 717 | n^0 - n^1 308 | n^0 - n^0 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | n^0 - n^1 1460 | MAYBE 170 | n^0 - n^2 815 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | n^0 - n^1 59978 | MAYBE 195 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | n^0 - n^1 1007 | MAYBE 157 | n^0 - n^2 294 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 60505 | MAYBE 162 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | n^0 - n^0 877 | MAYBE 182 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | MAYBE 251 | NO 149 | ERROR 30 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | n^0 - n^1 1057 | MAYBE 153 | n^0 - n^2 3598 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | TIMEOUT 60707 | MAYBE 232 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | TIMEOUT 60594 | MAYBE 187 | MAYBE 33224 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | TIMEOUT 60659 | MAYBE 182 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml | n^0 - n^0 1011 | MAYBE 227 | MAYBE 49327 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | MAYBE 262 | NO 152 | ERROR 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | TIMEOUT 60703 | MAYBE 184 | TIMEOUT 60269 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | TIMEOUT 60697 | MAYBE 236 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | TIMEOUT 60636 | MAYBE 179 | MAYBE 31041 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | TIMEOUT 60588 | MAYBE 178 | n^0 - n^2 1416 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml | n^0 - n^0 1005 | MAYBE 216 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | n^0 - n^0 739 | n^0 - n^1 327 | n^0 - n^0 53 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml | TIMEOUT 60556 | MAYBE 174 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | n^0 - n^2 54070 | MAYBE 169 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | n^0 - n^1 989 | MAYBE 154 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | TIMEOUT 60403 | MAYBE 151 | n^0 - n^2 320 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | n^0 - n^0 799 | MAYBE 160 | n^0 - n^0 2015 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 937 | n^0 - n^1 264 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml | TIMEOUT 60332 | MAYBE 151 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | TIMEOUT 61060 | TIMEOUT 60046 | n^0 - n^1 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^1 993 | n^0 - n^2 5412 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^1 7365 | n^0 - n^3 10671 | n^0 - n^1 85 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml | n^0 - n^0 838 | n^0 - n^3 25630 | n^0 - n^1 55 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | n^0 - n^1 1003 | n^0 - n^1 311 | n^0 - n^0 49 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 1029 | n^0 - n^1 326 | n^0 - n^0 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | TIMEOUT 61110 | MAYBE 264 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | TIMEOUT 60665 | MAYBE 175 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 60899 | MAYBE 196 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml | n^0 - n^0 1108 | MAYBE 242 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | MAYBE 281 | NO 161 | ERROR 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | TIMEOUT 60406 | MAYBE 172 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | n^0 - n^1 59304 | MAYBE 194 | MAYBE 59589 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | n^0 - n^1 982 | MAYBE 157 | n^0 - n^2 236 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | TIMEOUT 60514 | MAYBE 163 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | n^0 - n^0 874 | MAYBE 181 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | MAYBE 250 | NO 149 | ERROR 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | n^0 - n^1 1056 | MAYBE 152 | n^0 - n^1 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | TIMEOUT 60387 | TIMEOUT 60042 | n^0 - n^1 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | n^0 - n^0 713 | n^0 - n^1 282 | n^0 - n^0 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | TIMEOUT 60336 | n^0 - n^2 5319 | n^0 - n^2 289 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | TIMEOUT 60830 | n^0 - n^4 14428 | n^0 - n^1 76 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 247 | NO 146 | ERROR 60 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | TIMEOUT 60759 | MAYBE 220 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | TIMEOUT 60456 | MAYBE 178 | n^0 - n^2 817 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | TIMEOUT 60352 | MAYBE 181 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml | n^0 - n^0 1038 | MAYBE 229 | MAYBE 24536 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | MAYBE 278 | NO 152 | ERROR 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | n^0 - n^1 1378 | MAYBE 170 | n^0 - n^1 86 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | TIMEOUT 60933 | MAYBE 300 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml | TIMEOUT 60380 | MAYBE 209 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | TIMEOUT 61041 | MAYBE 225 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml | TIMEOUT 60894 | MAYBE 295 | MAYBE 37105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | MAYBE 298 | NO 166 | ERROR 55 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml | TIMEOUT 60468 | MAYBE 207 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | TIMEOUT 60665 | MAYBE 211 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | TIMEOUT 60328 | MAYBE 160 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | TIMEOUT 60524 | MAYBE 169 | MAYBE 31431 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | n^0 - n^0 904 | MAYBE 192 | MAYBE 28274 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | MAYBE 260 | NO 151 | ERROR 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | TIMEOUT 60323 | MAYBE 156 | n^0 - n^2 18372 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | TIMEOUT 60941 | MAYBE 287 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | TIMEOUT 60550 | MAYBE 206 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | TIMEOUT 60713 | MAYBE 217 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | n^0 - n^0 1286 | MAYBE 271 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | MAYBE 299 | NO 165 | ERROR 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | TIMEOUT 60568 | MAYBE 204 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | TIMEOUT 61058 | MAYBE 267 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | n^0 - n^1 1462 | MAYBE 187 | n^0 - n^1 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | TIMEOUT 60458 | MAYBE 198 | MAYBE 38631 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | TIMEOUT 61075 | MAYBE 246 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | MAYBE 274 | NO 160 | ERROR 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | MAYBE 1226 | MAYBE 184 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | n^0 - n^1 35188 | MAYBE 56899 | n^0 - n^1 61 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | n^0 - n^3 1397 | n^0 - n^2 4647 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | TIMEOUT 60541 | MAYBE 17967 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | n^0 - n^0 844 | MAYBE 56228 | n^0 - n^1 69 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | MAYBE 248 | NO 148 | ERROR 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 1010 | n^0 - n^1 307 | n^0 - n^1 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | TIMEOUT 60922 | MAYBE 367 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | TIMEOUT 60414 | MAYBE 213 | TIMEOUT 60242 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | TIMEOUT 61061 | MAYBE 241 | MAYBE 45157 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml | n^0 - n^0 1794 | MAYBE 317 | MAYBE 26052 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 298 | NO 172 | ERROR 76 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml | TIMEOUT 60319 | MAYBE 210 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | TIMEOUT 60505 | MAYBE 203 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | n^0 - n^1 1032 | MAYBE 156 | n^0 - n^2 13595 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | TIMEOUT 60411 | MAYBE 163 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | n^0 - n^0 888 | MAYBE 188 | MAYBE 22989 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | MAYBE 253 | NO 149 | ERROR 55 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | n^0 - n^0 746 | MAYBE 155 | n^0 - n^0 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^1 46202 | n^0 - n^4 22174 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | MAYBE 1537 | MAYBE 19319 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^0 738 | n^0 - n^1 946 | n^0 - n^0 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 1800 | n^0 - n^1 1432 | n^0 - n^1 49 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | n^0 - n^0 696 | n^0 - n^1 257 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | n^0 - n^1 59593 | MAYBE 199 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | n^0 - n^1 1126 | MAYBE 160 | n^0 - n^2 449 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | TIMEOUT 60472 | MAYBE 165 | n^0 - n^2 662 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml | n^0 - n^0 881 | MAYBE 184 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^0 698 | n^0 - n^1 275 | n^0 - n^0 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | n^0 - n^1 1025 | MAYBE 157 | n^0 - n^1 90 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | TIMEOUT 60766 | MAYBE 241 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | n^0 - n^1 1171 | MAYBE 168 | n^0 - n^1 2696 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | TIMEOUT 60536 | MAYBE 181 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml | n^0 - n^0 1005 | MAYBE 221 | MAYBE 37859 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | MAYBE 269 | NO 156 | ERROR 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | n^0 - n^2 2111 | MAYBE 166 | n^0 - n^2 16029 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | TIMEOUT 60908 | MAYBE 238 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | TIMEOUT 60423 | MAYBE 166 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | TIMEOUT 60657 | MAYBE 179 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml | n^0 - n^0 1026 | MAYBE 218 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | MAYBE 265 | NO 154 | ERROR 70 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | TIMEOUT 60331 | MAYBE 161 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | TIMEOUT 60992 | MAYBE 235 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | TIMEOUT 60666 | MAYBE 178 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | TIMEOUT 60725 | MAYBE 180 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml | TIMEOUT 60848 | MAYBE 218 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^0 745 | n^0 - n^1 334 | n^0 - n^0 71 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | TIMEOUT 60400 | MAYBE 172 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | n^0 - n^1 21436 | MAYBE 173 | TIMEOUT 60193 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | n^0 - n^0 717 | MAYBE 149 | n^0 - n^0 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | TIMEOUT 60522 | MAYBE 157 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml | n^0 - n^0 859 | MAYBE 168 | MAYBE 37268 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | MAYBE 3743 | MAYBE 148 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | n^0 - n^1 26779 | TIMEOUT 60055 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | TIMEOUT 60108 | MAYBE 55670 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^1 1120 | n^0 - n^2 4282 | n^0 - n^1 292 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml | n^0 - n^0 816 | n^0 - n^2 10895 | n^0 - n^0 23872 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | TIMEOUT 60893 | MAYBE 336 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | n^0 - n^1 1120 | MAYBE 182 | n^0 - n^1 433 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | TIMEOUT 60867 | MAYBE 229 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml | n^0 - n^0 1405 | MAYBE 295 | MAYBE 32348 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | MAYBE 295 | NO 171 | ERROR 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | n^0 - n^2 4297 | MAYBE 179 | TIMEOUT 60218 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^1 46563 | n^0 - n^2 6042 | n^0 - n^1 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | n^0 - n^1 977 | n^0 - n^2 5283 | n^0 - n^1 59 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^1 978 | n^0 - n^2 5290 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^0 783 | n^0 - n^2 7878 | n^0 - n^1 82 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | n^0 - n^0 682 | n^0 - n^1 255 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml | MAYBE 1031 | MAYBE 6564 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | TIMEOUT 60427 | TIMEOUT 60048 | n^0 - n^1 519 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | TIMEOUT 60358 | MAYBE 47151 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | TIMEOUT 60323 | TIMEOUT 60045 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | TIMEOUT 60956 | TIMEOUT 60047 | n^0 - n^1 1290 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 265 | NO 153 | ERROR 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml | TIMEOUT 60433 | MAYBE 57400 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | TIMEOUT 60637 | TIMEOUT 60045 | n^0 - n^1 317 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | TIMEOUT 60417 | MAYBE 46384 | MAYBE 34654 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | TIMEOUT 60419 | n^0 - n^3 14828 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | TIMEOUT 60760 | TIMEOUT 60050 | n^0 - n^1 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | MAYBE 255 | NO 148 | ERROR 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml | TIMEOUT 60466 | MAYBE 56700 | MAYBE 29929 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | TIMEOUT 60831 | MAYBE 271 | MAYBE 38383 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | n^0 - n^1 1364 | MAYBE 184 | n^0 - n^1 6470 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | TIMEOUT 60481 | MAYBE 202 | MAYBE 50706 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml | TIMEOUT 60790 | MAYBE 254 | MAYBE 44242 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | MAYBE 270 | NO 157 | ERROR 51 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | n^0 - n^0 827 | MAYBE 177 | n^0 - n^0 88 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | TIMEOUT 60863 | MAYBE 250 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | n^0 - n^1 1204 | MAYBE 177 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | TIMEOUT 60858 | MAYBE 192 | MAYBE 28989 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml | n^0 - n^0 1099 | MAYBE 235 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | MAYBE 279 | NO 207 | ERROR 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml | MAYBE 2934 | MAYBE 167 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | TIMEOUT 60887 | TIMEOUT 60052 | n^0 - n^1 67 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | n^0 - n^1 1007 | n^0 - n^2 8342 | n^0 - n^1 86 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | TIMEOUT 60443 | MAYBE 52934 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml | n^0 - n^0 860 | TIMEOUT 60040 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | n^0 - n^0 1398 | n^0 - n^1 315 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^0 1447 | n^0 - n^1 325 | n^0 - n^1 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | TIMEOUT 61097 | MAYBE 270 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | n^0 - n^1 1198 | MAYBE 177 | n^0 - n^2 573 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | TIMEOUT 61019 | MAYBE 202 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | n^0 - n^0 1118 | MAYBE 245 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | TIMEOUT 60482 | MAYBE 165 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | TIMEOUT 60456 | MAYBE 174 | MAYBE 59079 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | TIMEOUT 61090 | MAYBE 327 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | n^0 - n^1 1072 | MAYBE 194 | n^0 - n^1 2689 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60875 | MAYBE 222 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml | n^0 - n^0 1446 | MAYBE 299 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | MAYBE 284 | NO 171 | ERROR 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | n^0 - n^1 1177 | MAYBE 171 | n^0 - n^1 5656 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml | TIMEOUT 61084 | MAYBE 410 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | TIMEOUT 61027 | MAYBE 247 | MAYBE 53904 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml | TIMEOUT 60909 | MAYBE 280 | MAYBE 30815 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60869 | MAYBE 407 | MAYBE 31721 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | MAYBE 315 | NO 178 | ERROR 58 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml | TIMEOUT 60885 | MAYBE 621 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml | TIMEOUT 60976 | MAYBE 273 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml | TIMEOUT 61122 | MAYBE 378 | MAYBE 25559 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml | TIMEOUT 60904 | MAYBE 649 | MAYBE 45153 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 322 | NO 203 | ERROR 116 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml | TIMEOUT 60575 | MAYBE 273 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | TIMEOUT 60650 | MAYBE 242 | MAYBE 53502 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml | TIMEOUT 60964 | MAYBE 244 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml | TIMEOUT 60510 | MAYBE 193 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml | TIMEOUT 60484 | MAYBE 192 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml | TIMEOUT 61045 | MAYBE 239 | MAYBE 51004 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | MAYBE 270 | NO 157 | ERROR 72 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml | TIMEOUT 61082 | MAYBE 318 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | TIMEOUT 60467 | MAYBE 198 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml | TIMEOUT 60564 | MAYBE 231 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | TIMEOUT 60986 | MAYBE 457 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 297 | NO 166 | ERROR 48 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | TIMEOUT 60340 | MAYBE 197 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | TIMEOUT 60620 | MAYBE 193 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | TIMEOUT 60394 | MAYBE 57236 | n^0 - n^1 218 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | TIMEOUT 60090 | MAYBE 56224 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | TIMEOUT 60363 | TIMEOUT 60038 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60644 | TIMEOUT 60036 | n^0 - n^1 91 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 255 | NO 150 | ERROR 54 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | TIMEOUT 60505 | MAYBE 58276 | n^0 - n^1 287 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml | TIMEOUT 60099 | MAYBE 16847 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml | TIMEOUT 60375 | TIMEOUT 60045 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | TIMEOUT 60973 | MAYBE 57183 | n^0 - n^1 79 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | MAYBE 256 | NO 151 | ERROR 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml | TIMEOUT 60856 | MAYBE 1009 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | TIMEOUT 60648 | MAYBE 465 | MAYBE 41689 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml | TIMEOUT 60470 | MAYBE 586 | MAYBE 47383 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml | n^0 - n^0 3259 | MAYBE 1009 | MAYBE 16858 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | MAYBE 395 | NO 267 | ERROR 121 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml | TIMEOUT 60655 | MAYBE 2041 | TIMEOUT 60833 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | TIMEOUT 60656 | MAYBE 618 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml | TIMEOUT 60465 | MAYBE 1006 | MAYBE 37768 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml | n^0 - n^0 6881 | MAYBE 2255 | MAYBE 26411 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | MAYBE 393 | NO 358 | ERROR 230 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | TIMEOUT 60404 | MAYBE 612 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | TIMEOUT 60554 | MAYBE 446 | MAYBE 47427 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60839 | MAYBE 539 | MAYBE 44650 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | TIMEOUT 60898 | MAYBE 307 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml | TIMEOUT 61099 | MAYBE 342 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml | n^0 - n^0 3314 | MAYBE 533 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | MAYBE 315 | NO 190 | ERROR 87 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | TIMEOUT 60778 | MAYBE 860 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | TIMEOUT 60549 | MAYBE 353 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | TIMEOUT 61102 | MAYBE 481 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml | n^0 - n^0 2814 | MAYBE 877 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 339 | NO 245 | ERROR 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | TIMEOUT 60336 | MAYBE 344 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | TIMEOUT 60985 | MAYBE 300 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml | TIMEOUT 60811 | MAYBE 354 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | n^0 - n^1 2585 | MAYBE 179 | n^0 - n^1 24336 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml | TIMEOUT 61074 | MAYBE 237 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml | n^0 - n^0 1636 | MAYBE 326 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 298 | NO 165 | ERROR 77 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml | TIMEOUT 60908 | MAYBE 577 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | TIMEOUT 60485 | MAYBE 228 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 60920 | MAYBE 339 | MAYBE 26344 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml | n^0 - n^0 2653 | MAYBE 601 | MAYBE 30546 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 313 | NO 202 | ERROR 64 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | n^0 - n^1 2333 | MAYBE 223 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | n^0 - n^1 1352 | MAYBE 175 | n^0 - n^1 30647 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml | TIMEOUT 60892 | MAYBE 408 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | TIMEOUT 61044 | MAYBE 244 | MAYBE 56888 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | TIMEOUT 60924 | MAYBE 277 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml | n^0 - n^0 2261 | MAYBE 433 | MAYBE 52008 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 298 | NO 177 | ERROR 55 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml | TIMEOUT 60852 | MAYBE 671 | MAYBE 46171 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | TIMEOUT 61123 | MAYBE 280 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml | TIMEOUT 61075 | MAYBE 394 | MAYBE 37163 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml | n^0 - n^0 3029 | MAYBE 720 | MAYBE 59063 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | MAYBE 325 | NO 205 | ERROR 84 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | TIMEOUT 60920 | MAYBE 280 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | TIMEOUT 60869 | MAYBE 238 | MAYBE 45167 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml | TIMEOUT 60868 | MAYBE 282 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | TIMEOUT 60654 | MAYBE 191 | MAYBE 49289 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml | TIMEOUT 61074 | MAYBE 210 | MAYBE 52060 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_iGM.xml | n^0 - n^0 1230 | MAYBE 274 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | MAYBE 275 | NO 160 | ERROR 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | TIMEOUT 61105 | MAYBE 355 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | n^0 - n^2 13028 | MAYBE 201 | TIMEOUT 60117 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | TIMEOUT 60943 | MAYBE 243 | MAYBE 51438 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml | n^0 - n^0 2178 | MAYBE 355 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | MAYBE 291 | NO 169 | ERROR 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | n^0 - n^1 4540 | MAYBE 199 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | TIMEOUT 60541 | MAYBE 191 | n^0 - n^2 12869 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | n^0 - n^1 57364 | MAYBE 209 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | n^0 - n^2 1711 | MAYBE 152 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml | TIMEOUT 60564 | MAYBE 168 | MAYBE 57164 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml | n^0 - n^0 907 | MAYBE 194 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | MAYBE 258 | NO 151 | ERROR 61 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml | TIMEOUT 60817 | MAYBE 262 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | n^0 - n^2 5761 | MAYBE 164 | MAYBE 46909 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml | TIMEOUT 60839 | MAYBE 195 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml | n^0 - n^0 1138 | MAYBE 264 | MAYBE 34389 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | MAYBE 268 | NO 156 | ERROR 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml | TIMEOUT 60845 | MAYBE 514 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | TIMEOUT 60937 | MAYBE 284 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | TIMEOUT 60865 | MAYBE 339 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_iGM.xml | TIMEOUT 61010 | MAYBE 519 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | MAYBE 313 | NO 190 | ERROR 85 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | TIMEOUT 60688 | MAYBE 896 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | TIMEOUT 60427 | MAYBE 348 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml | TIMEOUT 61062 | MAYBE 507 | MAYBE 57493 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml | TIMEOUT 60723 | MAYBE 1005 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | MAYBE 341 | NO 232 | ERROR 135 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | TIMEOUT 60669 | MAYBE 346 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | TIMEOUT 61049 | MAYBE 279 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml | TIMEOUT 61101 | MAYBE 296 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | TIMEOUT 60917 | MAYBE 222 | TIMEOUT 60111 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60720 | MAYBE 226 | MAYBE 59051 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60829 | MAYBE 294 | MAYBE 32485 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | MAYBE 283 | NO 162 | ERROR 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | TIMEOUT 61082 | MAYBE 430 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | TIMEOUT 60941 | MAYBE 235 | MAYBE 48401 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | TIMEOUT 60986 | MAYBE 282 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml | TIMEOUT 60827 | MAYBE 446 | MAYBE 20004 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | MAYBE 306 | NO 177 | ERROR 81 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | TIMEOUT 60804 | MAYBE 233 | MAYBE 35413 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | TIMEOUT 60782 | MAYBE 221 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | TIMEOUT 60686 | MAYBE 58393 | n^0 - n^1 340 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | TIMEOUT 60491 | MAYBE 45955 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | TIMEOUT 60426 | MAYBE 58230 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml | TIMEOUT 61011 | TIMEOUT 60047 | n^0 - n^1 101 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | MAYBE 261 | NO 153 | ERROR 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | TIMEOUT 61074 | TIMEOUT 60053 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml | TIMEOUT 60423 | MAYBE 40995 | MAYBE 42301 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | TIMEOUT 60849 | MAYBE 57557 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml | TIMEOUT 60881 | MAYBE 59792 | n^0 - n^1 200 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | MAYBE 273 | NO 157 | ERROR 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | TIMEOUT 60386 | MAYBE 36363 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | TIMEOUT 60502 | MAYBE 56194 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | TIMEOUT 61029 | MAYBE 475 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | TIMEOUT 60974 | MAYBE 264 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml | TIMEOUT 61066 | MAYBE 325 | MAYBE 26614 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml | n^0 - n^0 2862 | MAYBE 472 | MAYBE 31234 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | MAYBE 310 | NO 184 | ERROR 63 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | TIMEOUT 60555 | MAYBE 735 | MAYBE 55495 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | TIMEOUT 60931 | MAYBE 303 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | TIMEOUT 60837 | MAYBE 430 | MAYBE 40332 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml | n^0 - n^0 2691 | MAYBE 768 | MAYBE 59235 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | TIMEOUT 60365 | MAYBE 17430 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | TIMEOUT 60664 | MAYBE 301 | TIMEOUT 60243 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | TIMEOUT 60858 | MAYBE 263 | TIMEOUT 60321 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | TIMEOUT 60712 | MAYBE 57210 | n^0 - n^1 133 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | TIMEOUT 60916 | MAYBE 44530 | MAYBE 26337 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | TIMEOUT 60799 | MAYBE 26220 | MAYBE 59764 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | n^0 - n^0 1105 | MAYBE 59927 | n^0 - n^1 104 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | MAYBE 274 | NO 159 | ERROR 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | TIMEOUT 61043 | TIMEOUT 60099 | n^0 - n^1 199 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | n^0 - n^2 16064 | MAYBE 41890 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | TIMEOUT 60989 | MAYBE 54489 | MAYBE 57971 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml | n^0 - n^0 1822 | TIMEOUT 60054 | n^0 - n^1 186 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | TIMEOUT 60288 | MAYBE 13232 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^1 10208 | n^0 - n^2 8414 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | TIMEOUT 60713 | n^0 - n^2 6873 | MAYBE 56150 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | n^0 - n^1 46448 | TIMEOUT 60049 | n^0 - n^1 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | n^0 - n^0 748 | n^0 - n^2 3635 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | TIMEOUT 60661 | MAYBE 15790 | MAYBE 42683 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml | n^0 - n^0 869 | MAYBE 56268 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | MAYBE 259 | NO 150 | ERROR 32 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | n^0 - n^2 60127 | TIMEOUT 60051 | n^0 - n^1 90 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | n^0 - n^0 752 | n^0 - n^2 3650 | n^0 - n^1 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | TIMEOUT 61003 | MAYBE 37503 | MAYBE 41886 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml | n^0 - n^0 887 | TIMEOUT 60041 | n^0 - n^1 80 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | n^0 - n^0 1375 | n^0 - n^2 3963 | n^0 - n^1 74 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml | TIMEOUT 61036 | MAYBE 313 | MAYBE 56592 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | TIMEOUT 61049 | MAYBE 226 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml | TIMEOUT 60871 | MAYBE 229 | MAYBE 22195 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml | n^0 - n^0 1440 | MAYBE 305 | MAYBE 17835 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | MAYBE 285 | NO 163 | ERROR 53 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml | TIMEOUT 60923 | MAYBE 444 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | TIMEOUT 60909 | MAYBE 223 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml | TIMEOUT 60779 | MAYBE 285 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml | n^0 - n^0 2713 | MAYBE 465 | MAYBE 20953 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | MAYBE 300 | NO 176 | ERROR 57 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | TIMEOUT 60588 | MAYBE 224 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | TIMEOUT 60950 | MAYBE 203 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | TIMEOUT 60956 | MAYBE 233 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | TIMEOUT 60454 | MAYBE 173 | n^0 - n^2 35785 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml | TIMEOUT 60546 | MAYBE 182 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml | n^0 - n^0 1037 | MAYBE 230 | MAYBE 40580 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | MAYBE 299 | NO 154 | ERROR 65 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml | TIMEOUT 61102 | MAYBE 268 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | n^0 - n^2 8358 | MAYBE 176 | MAYBE 55828 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml | TIMEOUT 60519 | MAYBE 199 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml | n^0 - n^0 1129 | MAYBE 261 | MAYBE 52432 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | MAYBE 281 | NO 156 | ERROR 44 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | n^0 - n^1 2869 | MAYBE 175 | MAYBE 29801 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | TIMEOUT 60422 | MAYBE 171 | n^0 - n^1 1398 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | n^0 - n^1 50210 | TIMEOUT 60049 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^1 943 | n^0 - n^2 3732 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | TIMEOUT 60369 | MAYBE 27777 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml | n^0 - n^0 873 | MAYBE 59294 | n^0 - n^1 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | MAYBE 250 | NO 149 | ERROR 28 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | n^0 - n^1 61020 | TIMEOUT 60152 | n^0 - n^1 81 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^1 1106 | n^0 - n^2 3920 | n^0 - n^1 10228 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml | TIMEOUT 60609 | MAYBE 49002 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml | n^0 - n^0 957 | TIMEOUT 60055 | n^0 - n^1 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | MAYBE 265 | NO 150 | ERROR 30 |
| tpdb-8.0/TRS/Various_04/02.xml | n^0 - n^0 725 | MAYBE 146 | n^0 - n^1 54 |
| tpdb-8.0/TRS/Various_04/03.xml | n^0 - n^0 729 | MAYBE 151 | n^0 - n^0 36 |
| tpdb-8.0/TRS/Various_04/04.xml | n^0 - n^0 827 | MAYBE 206 | n^0 - n^0 73 |
| tpdb-8.0/TRS/Various_04/05.xml | n^0 - n^0 795 | MAYBE 165 | n^0 - n^0 88 |
| tpdb-8.0/TRS/Various_04/06.xml | n^0 - n^0 762 | MAYBE 157 | n^0 - n^0 68 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^0 700 | n^0 - n^1 258 | n^0 - n^0 55 |
| tpdb-8.0/TRS/Various_04/08.xml | n^0 - n^0 887 | MAYBE 206 | n^0 - n^0 97 |
| tpdb-8.0/TRS/Various_04/09.xml | n^0 - n^0 782 | MAYBE 163 | n^0 - n^0 70 |
| tpdb-8.0/TRS/Various_04/10.xml | n^0 - n^2 24753 | MAYBE 181 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Various_04/11.xml | n^0 - n^0 3955 | MAYBE 164 | TIMEOUT 60222 |
| tpdb-8.0/TRS/Various_04/12.xml | TIMEOUT 60352 | MAYBE 165 | MAYBE 55986 |
| tpdb-8.0/TRS/Various_04/13.xml | TIMEOUT 60466 | MAYBE 179 | MAYBE 25626 |
| tpdb-8.0/TRS/Various_04/14.xml | n^0 - n^2 28654 | MAYBE 254 | TIMEOUT 60261 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^1 1076 | MAYBE 11747 | n^0 - n^1 39 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^1 2605 | MAYBE 45413 | n^0 - n^1 70 |
| tpdb-8.0/TRS/Various_04/19.xml | n^0 - n^0 7017 | MAYBE 8182 | n^0 - n^1 76 |
| tpdb-8.0/TRS/Various_04/21.xml | n^0 - n^0 916 | MAYBE 30968 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Various_04/22.xml | n^0 - n^1 1652 | MAYBE 216 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^1 1021 | n^0 - n^2 3695 | n^0 - n^1 78 |
| tpdb-8.0/TRS/Various_04/24.xml | TIMEOUT 60412 | n^0 - n^1 1129 | MAYBE 41145 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 993 | n^0 - n^1 288 | n^0 - n^1 37 |
| tpdb-8.0/TRS/Various_04/26.xml | n^0 - n^0 752 | MAYBE 152 | n^0 - n^0 671 |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^0 722 | n^0 - n^1 288 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | n^0 - n^0 738 | MAYBE 45182 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | n^0 - n^0 731 | MAYBE 45183 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | n^0 - n^0 744 | MAYBE 7282 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^0 725 | n^0 - n^1 325 | n^0 - n^1 62 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | TIMEOUT 60203 | MAYBE 45180 | n^0 - n^1 71 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | TIMEOUT 60216 | MAYBE 45183 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | TIMEOUT 60325 | MAYBE 6537 | MAYBE 42798 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | n^0 - n^0 726 | MAYBE 8588 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | n^0 - n^0 722 | MAYBE 13995 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 4958 | MAYBE 6281 | MAYBE 38154 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | n^0 - n^0 711 | MAYBE 7607 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | MAYBE 5142 | MAYBE 6253 | MAYBE 34884 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | n^0 - n^0 723 | MAYBE 18739 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | n^0 - n^0 730 | MAYBE 9463 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | n^0 - n^0 731 | MAYBE 6411 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | n^0 - n^0 721 | MAYBE 148 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | n^0 - n^0 731 | MAYBE 148 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^0 737 | n^0 - n^1 316 | n^0 - n^1 68 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | n^0 - n^0 729 | MAYBE 6879 | n^0 - n^1 59 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | n^0 - n^0 723 | MAYBE 7336 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | n^0 - n^0 712 | n^0 - n^1 280 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^0 714 | n^0 - n^1 296 | n^0 - n^1 56 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | n^0 - n^0 721 | n^0 - n^1 280 | n^0 - n^1 47 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^0 712 | n^0 - n^1 290 | n^0 - n^1 37 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | n^0 - n^0 713 | n^0 - n^1 304 | n^0 - n^1 64 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | n^0 - n^0 743 | n^0 - n^1 279 | n^0 - n^1 33 |
| tpdb-8.0/TRS/Zantema_05/jw07.xml | n^0 - n^0 734 | n^0 - n^1 331 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | n^0 - n^0 724 | n^0 - n^1 316 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | n^0 - n^0 729 | n^0 - n^1 347 | n^0 - n^1 47 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | n^0 - n^0 720 | n^0 - n^1 354 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | n^0 - n^0 728 | n^0 - n^1 321 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^0 721 | n^0 - n^1 303 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^0 715 | n^0 - n^1 304 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | n^0 - n^0 746 | n^0 - n^1 308 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^0 715 | n^0 - n^1 289 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | n^0 - n^0 721 | n^0 - n^1 320 | n^0 - n^1 34 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | n^0 - n^0 721 | n^0 - n^1 287 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^0 715 | n^0 - n^1 325 | n^0 - n^1 42 |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | n^0 - n^0 727 | n^0 - n^1 297 | n^0 - n^1 49 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | n^0 - n^0 732 | n^0 - n^1 288 | n^0 - n^1 77 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | n^0 - n^0 732 | n^0 - n^1 326 | n^0 - n^1 50 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | n^0 - n^0 729 | n^0 - n^1 300 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^0 727 | n^0 - n^1 298 | n^0 - n^1 44 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^0 730 | n^0 - n^1 295 | n^0 - n^1 69 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^0 730 | n^0 - n^1 292 | n^0 - n^1 38 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | n^0 - n^0 729 | n^0 - n^1 321 | n^0 - n^1 52 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^0 733 | n^0 - n^1 294 | n^0 - n^1 74 |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | n^0 - n^0 737 | n^0 - n^1 293 | n^0 - n^1 46 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^0 727 | n^0 - n^1 325 | n^0 - n^1 30 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^0 731 | n^0 - n^1 286 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | n^0 - n^0 738 | n^0 - n^1 314 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^0 729 | n^0 - n^1 292 | n^0 - n^1 37 |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | n^0 - n^0 741 | n^0 - n^1 322 | n^0 - n^1 32 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | n^0 - n^0 737 | n^0 - n^1 307 | n^0 - n^1 55 |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | n^0 - n^0 713 | n^0 - n^1 303 | n^0 - n^1 53 |
| tpdb-8.0/TRS/Zantema_05/jw37.xml | n^0 - n^0 726 | n^0 - n^1 337 | n^0 - n^1 60 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | n^0 - n^0 718 | n^0 - n^1 346 | n^0 - n^1 63 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | n^0 - n^0 727 | n^0 - n^1 323 | n^0 - n^1 28 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | n^0 - n^0 729 | n^0 - n^1 340 | n^0 - n^1 39 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | n^0 - n^0 732 | n^0 - n^1 312 | n^0 - n^1 72 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | n^0 - n^0 731 | n^0 - n^1 321 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^0 729 | n^0 - n^1 291 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Zantema_05/jw44.xml | n^0 - n^0 729 | n^0 - n^2 3960 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^0 722 | n^0 - n^2 3952 | n^0 - n^1 29 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^0 723 | n^0 - n^1 295 | n^0 - n^1 35 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | n^0 - n^0 752 | n^0 - n^1 510 | n^0 - n^1 31 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 6940 | n^0 - n^1 313 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Zantema_05/z03.xml | n^0 - n^0 747 | n^0 - n^1 1100 | n^0 - n^1 75 |
| tpdb-8.0/TRS/Zantema_05/z04.xml | n^0 - n^1 993 | MAYBE 149 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Zantema_05/z05.xml | n^0 - n^0 751 | n^0 - n^2 24157 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | n^0 - n^0 738 | MAYBE 45752 | n^0 - n^1 55 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | n^0 - n^0 765 | n^0 - n^4 14351 | n^0 - n^1 59 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | n^0 - n^0 741 | n^0 - n^1 947 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Zantema_05/z09.xml | n^0 - n^0 768 | MAYBE 160 | n^0 - n^1 51 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | TIMEOUT 60512 | MAYBE 181 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | n^0 - n^0 769 | MAYBE 35041 | n^0 - n^1 48 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | TIMEOUT 60404 | MAYBE 55200 | MAYBE 60057 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | TIMEOUT 60364 | MAYBE 55456 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | TIMEOUT 60324 | MAYBE 55194 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | TIMEOUT 60368 | MAYBE 55192 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | TIMEOUT 60427 | MAYBE 55190 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | TIMEOUT 60340 | MAYBE 55628 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | TIMEOUT 60444 | MAYBE 55190 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Zantema_05/z19.xml | n^0 - n^0 735 | MAYBE 45186 | n^0 - n^1 50 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | n^0 - n^0 748 | MAYBE 45190 | n^0 - n^1 41 |
| tpdb-8.0/TRS/Zantema_05/z21.xml | n^0 - n^0 744 | MAYBE 55379 | n^0 - n^1 65 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | n^0 - n^0 740 | MAYBE 55194 | n^0 - n^1 39 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | TIMEOUT 60337 | MAYBE 59043 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | TIMEOUT 60421 | MAYBE 55209 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | n^0 - n^0 748 | n^0 - n^2 10347 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | TIMEOUT 60422 | n^0 - n^2 3613 | n^0 - n^1 58 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | TIMEOUT 60482 | MAYBE 153 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | TIMEOUT 60294 | MAYBE 149 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | n^0 - n^0 760 | MAYBE 6782 | n^0 - n^1 36 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | n^0 - n^0 790 | n^0 - n^1 784 | n^0 - n^1 61 | 1787 | 306 | 1029 |