| benchmark | AProVE | Jambox | muterm | TTT2 | VMTL |
|---|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | YES 2062 | YES 338 | YES 126 | YES 350 | YES 1023 |
| tpdb-8.0/TRS/AG01/#3.15.xml | YES 1814 | YES 293 | YES 133 | YES 210 | YES 547 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | YES 2214 | YES 404 | YES 153 | YES 538 | YES 4242 |
| tpdb-8.0/TRS/AG01/#3.1.xml | YES 1921 | YES 1446 | YES 130 | YES 383 | YES 805 |
| tpdb-8.0/TRS/AG01/#3.21.xml | YES 1849 | YES 1294 | YES 197 | YES 365 | TIMEOUT 60218 |
| tpdb-8.0/TRS/AG01/#3.26.xml | YES 2198 | YES 1231 | YES 147 | YES 296 | YES 666 |
| tpdb-8.0/TRS/AG01/#3.47.xml | YES 1804 | YES 880 | YES 104 | YES 319 | YES 544 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | YES 1806 | YES 1393 | YES 107 | YES 249 | YES 481 |
| tpdb-8.0/TRS/AG01/#3.53.xml | YES 2244 | YES 2930 | YES 178 | YES 1045 | YES 2181 |
| tpdb-8.0/TRS/AG01/#3.55.xml | YES 2506 | YES 4194 | YES 198 | YES 1321 | YES 3004 |
| tpdb-8.0/TRS/AG01/#3.56.xml | YES 2015 | YES 873 | YES 145 | YES 249 | YES 973 |
| tpdb-8.0/TRS/AG01/#3.57.xml | YES 2393 | YES 3322 | YES 175 | YES 1254 | YES 3702 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | YES 2116 | YES 2042 | YES 131 | YES 590 | YES 1632 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | YES 2292 | YES 2197 | YES 133 | YES 570 | YES 1643 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | YES 14461 | TIMEOUT 60237 | YES 3156 | MAYBE 5236 | TIMEOUT 60193 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | NO 2376 | MAYBE 4269 | NO 42596 | NO 156 | MAYBE 30272 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | YES 2141 | YES 1825 | YES 116 | YES 399 | TIMEOUT 60208 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | YES 1791 | YES 285 | YES 172 | YES 175 | YES 1341 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | YES 2059 | YES 1869 | YES 217 | YES 404 | MAYBE 59739 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | YES 23200 | YES 3551 | MAYBE 716 | YES 928 | TIMEOUT 60193 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | YES 2383 | YES 2500 | YES 123 | YES 525 | TIMEOUT 60198 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | YES 1742 | YES 236 | YES 136 | YES 169 | YES 334 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | YES 1798 | YES 1189 | YES 110 | YES 372 | MAYBE 17846 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | YES 1793 | YES 241 | YES 131 | YES 169 | YES 699 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | YES 2015 | YES 1654 | YES 124 | YES 361 | TIMEOUT 60209 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | YES 2270 | YES 3156 | YES 129 | YES 258 | YES 9551 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | YES 1685 | YES 236 | YES 103 | YES 162 | YES 338 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | NO 8636 | MAYBE 11347 | TIMEOUT 60100 | NO 2627 | MAYBE 35066 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | YES 1905 | YES 1600 | YES 402 | YES 315 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | YES 1852 | YES 1389 | YES 111 | YES 538 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | TIMEOUT 60543 | TIMEOUT 60270 | TIMEOUT 60099 | MAYBE 5267 | TIMEOUT 60209 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | TIMEOUT 60662 | TIMEOUT 60305 | TIMEOUT 60111 | MAYBE 5287 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | YES 2281 | MAYBE 6035 | MAYBE 3783 | YES 588 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | NO 11352 | TIMEOUT 60229 | TIMEOUT 60094 | MAYBE 5210 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | NO 3336 | MAYBE 17775 | TIMEOUT 60098 | NO 209 | TIMEOUT 60208 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | YES 2383 | YES 3572 | YES 121 | YES 712 | TIMEOUT 60208 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | YES 2806 | YES 3058 | YES 172 | YES 880 | TIMEOUT 60211 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | YES 2631 | YES 4499 | MAYBE 2450 | YES 913 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | YES 2751 | YES 2967 | MAYBE 1235 | YES 745 | TIMEOUT 60208 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | YES 2378 | YES 2755 | YES 145 | YES 662 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | YES 5156 | MAYBE 32236 | TIMEOUT 60356 | YES 2262 | TIMEOUT 60193 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | YES 3032 | YES 3559 | TIMEOUT 60699 | YES 993 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | YES 2226 | YES 2504 | YES 123 | YES 570 | TIMEOUT 60201 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | YES 3832 | YES 5253 | MAYBE 1804 | YES 1774 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | YES 2702 | YES 3452 | MAYBE 7049 | YES 858 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | YES 4225 | TIMEOUT 60301 | TIMEOUT 60096 | YES 1512 | TIMEOUT 60204 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | YES 2588 | YES 1791 | YES 291 | YES 568 | TIMEOUT 60223 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | YES 2280 | YES 1882 | YES 129 | YES 527 | YES 1063 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | YES 1960 | YES 1454 | YES 121 | YES 366 | YES 709 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | YES 2019 | YES 783 | YES 4894 | YES 476 | TIMEOUT 60193 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | YES 4238 | YES 1200 | TIMEOUT 68085 | YES 1012 | TIMEOUT 60203 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | YES 52630 | YES 36308 | TIMEOUT 60443 | MAYBE 5266 | TIMEOUT 60214 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | YES 2402 | YES 1865 | YES 177 | YES 925 | YES 2762 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | YES 2012 | YES 743 | YES 120 | YES 578 | YES 854 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | YES 1961 | YES 1744 | YES 133 | YES 578 | YES 1270 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | YES 1908 | MAYBE 22300 | MAYBE 22188 | YES 411 | YES 1546 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | YES 15417 | TIMEOUT 60239 | TIMEOUT 114693 | MAYBE 5251 | TIMEOUT 60193 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | YES 2420 | TIMEOUT 60231 | TIMEOUT 60095 | YES 984 | TIMEOUT 60228 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | YES 2235 | TIMEOUT 60225 | YES 383 | MAYBE 5236 | TIMEOUT 60191 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | YES 8563 | TIMEOUT 60264 | TIMEOUT 62701 | MAYBE 5251 | TIMEOUT 60199 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | YES 5110 | TIMEOUT 60262 | MAYBE 18211 | YES 887 | TIMEOUT 60203 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | YES 11946 | MAYBE 14715 | MAYBE 1961 | MAYBE 5215 | TIMEOUT 60222 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | NO 3034 | TIMEOUT 60226 | TIMEOUT 60094 | NO 360 | TIMEOUT 60192 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | YES 3546 | TIMEOUT 60313 | YES 578 | YES 2123 | TIMEOUT 60182 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | YES 9498 | MAYBE 7195 | MAYBE 1319 | MAYBE 5234 | TIMEOUT 60200 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | YES 2463 | TIMEOUT 60251 | TIMEOUT 60100 | YES 1120 | TIMEOUT 60255 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | YES 2927 | TIMEOUT 60221 | TIMEOUT 64562 | YES 2305 | TIMEOUT 60208 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | YES 8514 | TIMEOUT 60238 | TIMEOUT 61220 | MAYBE 5238 | TIMEOUT 60205 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | YES 3426 | MAYBE 20770 | MAYBE 19863 | MAYBE 5198 | TIMEOUT 60197 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | YES 3578 | MAYBE 11543 | MAYBE 2339 | MAYBE 5204 | TIMEOUT 60219 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | YES 4518 | MAYBE 26120 | TIMEOUT 69948 | MAYBE 5227 | TIMEOUT 60205 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | YES 5350 | TIMEOUT 60269 | YES 909 | MAYBE 5234 | TIMEOUT 60213 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | YES 19591 | MAYBE 7584 | TIMEOUT 60101 | MAYBE 5286 | TIMEOUT 60208 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | YES 11492 | MAYBE 7069 | TIMEOUT 60608 | YES 1333 | TIMEOUT 60229 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | YES 2343 | TIMEOUT 60229 | YES 182 | YES 628 | TIMEOUT 60204 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | YES 7286 | TIMEOUT 60267 | TIMEOUT 62029 | MAYBE 5255 | TIMEOUT 60189 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | YES 8247 | MAYBE 14394 | TIMEOUT 60115 | MAYBE 5202 | TIMEOUT 60221 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | TIMEOUT 60618 | TIMEOUT 60274 | MAYBE 1813 | MAYBE 5234 | TIMEOUT 60239 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | YES 3066 | MAYBE 16302 | MAYBE 18639 | MAYBE 5195 | MAYBE 22513 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | YES 30923 | TIMEOUT 60247 | TIMEOUT 60819 | MAYBE 5263 | TIMEOUT 60203 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | YES 11470 | TIMEOUT 60212 | TIMEOUT 115003 | MAYBE 5246 | TIMEOUT 60209 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | YES 3537 | TIMEOUT 60240 | MAYBE 41960 | YES 1582 | TIMEOUT 60209 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | YES 3448 | MAYBE 18191 | TIMEOUT 60095 | YES 3199 | TIMEOUT 60210 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | YES 3096 | MAYBE 9793 | TIMEOUT 62927 | YES 1949 | TIMEOUT 60203 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | YES 3281 | MAYBE 10475 | TIMEOUT 61581 | YES 2016 | TIMEOUT 60220 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | YES 3021 | MAYBE 11799 | TIMEOUT 62822 | YES 1927 | TIMEOUT 60186 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | YES 3796 | MAYBE 26237 | TIMEOUT 60099 | YES 3545 | TIMEOUT 60226 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | YES 2887 | YES 2506 | YES 284 | YES 1779 | TIMEOUT 60193 |
| tpdb-8.0/TRS/AProVE_08/log.xml | YES 3685 | MAYBE 6331 | MAYBE 1076 | MAYBE 5240 | TIMEOUT 60229 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | YES 6961 | TIMEOUT 60267 | TIMEOUT 60098 | MAYBE 5237 | TIMEOUT 60192 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | YES 10894 | TIMEOUT 60263 | TIMEOUT 60089 | MAYBE 5237 | TIMEOUT 60196 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | YES 6115 | TIMEOUT 60284 | TIMEOUT 60091 | MAYBE 5251 | TIMEOUT 60180 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | YES 9916 | TIMEOUT 60310 | TIMEOUT 60099 | MAYBE 5264 | TIMEOUT 60208 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | YES 8673 | TIMEOUT 60299 | TIMEOUT 60098 | MAYBE 5259 | TIMEOUT 60206 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | NO 2193 | MAYBE 3299 | MAYBE 382 | NO 202 | MAYBE 19534 |
| tpdb-8.0/TRS/AProVE_08/round.xml | YES 2354 | MAYBE 3548 | MAYBE 396 | MAYBE 5182 | MAYBE 18943 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | YES 13653 | TIMEOUT 60227 | YES 472 | YES 547 | TIMEOUT 60186 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | TIMEOUT 60559 | MAYBE 7441 | MAYBE 22993 | MAYBE 5224 | TIMEOUT 60230 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | YES 37526 | MAYBE 11272 | TIMEOUT 60265 | MAYBE 5243 | TIMEOUT 60191 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | TIMEOUT 60557 | MAYBE 38285 | TIMEOUT 60060 | MAYBE 5223 | TIMEOUT 60153 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | YES 19464 | MAYBE 8381 | TIMEOUT 92801 | MAYBE 5187 | TIMEOUT 60210 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | YES 10016 | MAYBE 17552 | TIMEOUT 60099 | MAYBE 5240 | TIMEOUT 60211 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | YES 8518 | TIMEOUT 60191 | TIMEOUT 60098 | MAYBE 5236 | TIMEOUT 60204 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | YES 8685 | MAYBE 31588 | TIMEOUT 60068 | MAYBE 5224 | TIMEOUT 60200 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | YES 14945 | MAYBE 45455 | MAYBE 92645 | MAYBE 5242 | TIMEOUT 60187 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | YES 21077 | TIMEOUT 60190 | TIMEOUT 60099 | MAYBE 5263 | TIMEOUT 60205 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | YES 3475 | MAYBE 5542 | TIMEOUT 60147 | MAYBE 5199 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | YES 2656 | TIMEOUT 60252 | TIMEOUT 82272 | MAYBE 5266 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | YES 20469 | TIMEOUT 60229 | TIMEOUT 78013 | MAYBE 5267 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | YES 2131 | MAYBE 11010 | YES 157 | YES 431 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | YES 2354 | TIMEOUT 60257 | TIMEOUT 98967 | MAYBE 5274 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | TIMEOUT 60398 | TIMEOUT 60302 | TIMEOUT 75264 | MAYBE 5252 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | YES 2554 | MAYBE 23636 | YES 239 | YES 718 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | YES 16573 | TIMEOUT 60238 | YES 31465 | MAYBE 5265 | TIMEOUT 60203 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | YES 2879 | MAYBE 17163 | TIMEOUT 60099 | MAYBE 5191 | TIMEOUT 60224 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | YES 2702 | MAYBE 13632 | MAYBE 2832 | MAYBE 5195 | MAYBE 34478 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | YES 2048 | MAYBE 3293 | YES 142 | YES 415 | TIMEOUT 60223 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | YES 2156 | MAYBE 3822 | YES 165 | YES 433 | TIMEOUT 60245 |
| tpdb-8.0/TRS/CiME_04/append.xml | YES 1866 | YES 1458 | YES 113 | YES 279 | YES 535 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | YES 1647 | YES 953 | YES 103 | YES 239 | YES 741 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | YES 3122 | YES 4033 | YES 284 | YES 1584 | YES 3990 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | YES 1971 | YES 1774 | YES 114 | YES 236 | YES 1161 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | YES 2539 | YES 6861 | YES 411 | YES 1349 | YES 3396 |
| tpdb-8.0/TRS/CiME_04/lse.xml | YES 2452 | YES 4479 | YES 16299 | YES 1530 | YES 10982 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | YES 6329 | YES 35278 | YES 1084 | YES 2338 | YES 9212 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | YES 2537 | YES 4306 | YES 982 | YES 1554 | YES 4737 |
| tpdb-8.0/TRS/CiME_04/tree.xml | YES 3044 | YES 4232 | YES 432 | YES 1964 | YES 7437 |
| tpdb-8.0/TRS/Der95/01.xml | YES 1919 | YES 299 | YES 109 | YES 217 | YES 543 |
| tpdb-8.0/TRS/Der95/06.xml | YES 1677 | YES 247 | YES 88 | YES 292 | YES 492 |
| tpdb-8.0/TRS/Der95/09.xml | YES 1745 | YES 224 | YES 102 | YES 168 | YES 388 |
| tpdb-8.0/TRS/Der95/17.xml | YES 2154 | YES 336 | YES 113 | YES 203 | YES 704 |
| tpdb-8.0/TRS/Der95/20.xml | YES 1960 | YES 1351 | YES 378 | YES 211 | YES 2959 |
| tpdb-8.0/TRS/Der95/21.xml | YES 1901 | YES 1502 | YES 139 | YES 447 | TIMEOUT 60224 |
| tpdb-8.0/TRS/Der95/28.xml | YES 1800 | YES 1769 | YES 105 | YES 202 | YES 436 |
| tpdb-8.0/TRS/Der95/30.xml | YES 1844 | YES 1874 | YES 3198 | YES 164 | MAYBE 32157 |
| tpdb-8.0/TRS/Der95/32.xml | YES 2028 | YES 3240 | YES 113 | YES 374 | YES 806 |
| tpdb-8.0/TRS/Der95/33.xml | TIMEOUT 60569 | TIMEOUT 60233 | TIMEOUT 60099 | MAYBE 5241 | TIMEOUT 60211 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | YES 2139 | YES 2284 | YES 203 | YES 300 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | YES 14312 | YES 3592 | TIMEOUT 60097 | MAYBE 5181 | MAYBE 24136 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | YES 2268 | YES 2236 | YES 4529 | YES 818 | YES 19356 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | YES 23332 | YES 5382 | TIMEOUT 60165 | TIMEOUT 60287 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | YES 41902 | YES 3655 | TIMEOUT 60102 | YES 1354 | TIMEOUT 60203 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | YES 1858 | YES 2745 | YES 1903 | YES 207 | TIMEOUT 60218 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | YES 2721 | YES 6355 | TIMEOUT 60088 | MAYBE 5211 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 2252 | YES 2340 | YES 190 | YES 1294 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | YES 2107 | YES 2382 | TIMEOUT 60098 | YES 242 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | YES 10034 | YES 5465 | TIMEOUT 60097 | YES 399 | TIMEOUT 60211 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | YES 3048 | MAYBE 10300 | MAYBE 20933 | MAYBE 5183 | TIMEOUT 60200 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | TIMEOUT 60307 | MAYBE 5516 | TIMEOUT 60312 | MAYBE 5193 | MAYBE 13622 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | YES 3238 | TIMEOUT 60233 | TIMEOUT 70084 | MAYBE 5223 | TIMEOUT 60190 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | YES 5158 | MAYBE 20032 | TIMEOUT 66610 | MAYBE 5194 | TIMEOUT 60207 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | YES 7479 | MAYBE 22015 | MAYBE 19325 | MAYBE 5194 | TIMEOUT 60208 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | TIMEOUT 60575 | MAYBE 13083 | TIMEOUT 71805 | MAYBE 5197 | TIMEOUT 60202 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60510 | TIMEOUT 60229 | TIMEOUT 60096 | MAYBE 5252 | TIMEOUT 60197 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | YES 8205 | MAYBE 24690 | TIMEOUT 60194 | MAYBE 5215 | TIMEOUT 60202 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | YES 5740 | TIMEOUT 60287 | TIMEOUT 65401 | MAYBE 5258 | TIMEOUT 60184 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | YES 4098 | MAYBE 31969 | MAYBE 32541 | MAYBE 5212 | TIMEOUT 60225 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | NO 1641 | MAYBE 1865 | NO 201 | NO 150 | NO 1737 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | NO 2051 | MAYBE 1865 | NO 88 | NO 152 | NO 2370 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | YES 2604 | YES 951 | YES 341 | YES 389 | YES 6558 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | YES 2302 | YES 7005 | YES 141 | YES 675 | YES 1531 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | YES 1684 | YES 1127 | TIMEOUT 60096 | YES 483 | TIMEOUT 60188 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | YES 5541 | YES 15141 | YES 502 | YES 2564 | YES 14075 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | YES 8598 | TIMEOUT 60308 | TIMEOUT 110492 | MAYBE 5438 | TIMEOUT 60203 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | YES 1923 | YES 282 | YES 89 | YES 206 | YES 430 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | YES 1803 | YES 344 | YES 103 | YES 224 | YES 461 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | YES 2029 | YES 1242 | YES 159 | YES 471 | YES 1497 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | YES 2062 | YES 1556 | YES 787 | YES 431 | YES 9003 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | YES 2013 | YES 1254 | YES 142 | YES 298 | YES 2266 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | TIMEOUT 60252 | MAYBE 34855 | MAYBE 19112 | MAYBE 5182 | MAYBE 42809 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | TIMEOUT 60673 | TIMEOUT 60241 | MAYBE 2148 | MAYBE 5198 | MAYBE 55684 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | YES 2500 | YES 2568 | YES 4366 | MAYBE 5254 | TIMEOUT 60211 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | YES 3003 | YES 3470 | YES 777 | YES 1347 | TIMEOUT 60191 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | YES 2939 | YES 4293 | YES 351 | YES 1045 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | YES 1895 | YES 1286 | YES 114 | YES 433 | YES 857 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | TIMEOUT 60576 | MAYBE 13749 | TIMEOUT 60097 | MAYBE 5234 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | YES 2019 | YES 774 | YES 149 | YES 206 | YES 2947 |
| tpdb-8.0/TRS/Rubio_04/division.xml | YES 2038 | YES 2186 | YES 139 | YES 553 | YES 1670 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | YES 1704 | YES 393 | YES 105 | YES 229 | YES 650 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | YES 1892 | YES 1600 | YES 122 | YES 414 | YES 922 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | YES 1798 | YES 476 | YES 156 | YES 203 | YES 437 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | YES 2140 | YES 2061 | YES 147 | YES 632 | YES 2565 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | YES 1751 | YES 282 | YES 115 | YES 193 | YES 440 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | YES 1746 | YES 299 | YES 88 | YES 222 | YES 489 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | YES 2070 | YES 3050 | YES 111 | YES 240 | YES 2827 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | YES 2087 | YES 2113 | YES 142 | YES 560 | YES 2442 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | YES 1792 | YES 283 | YES 126 | YES 201 | YES 699 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | YES 6065 | TIMEOUT 60233 | TIMEOUT 92644 | MAYBE 5222 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | YES 2507 | YES 2709 | TIMEOUT 60142 | YES 1193 | TIMEOUT 60241 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | TIMEOUT 60964 | TIMEOUT 60231 | TIMEOUT 60131 | MAYBE 5254 | TIMEOUT 60212 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | YES 12457 | YES 24898 | YES 11615 | MAYBE 5409 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | YES 2026 | YES 1498 | YES 248 | YES 207 | YES 3103 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | YES 1962 | YES 26355 | YES 1401 | YES 224 | TIMEOUT 60209 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | YES 2148 | TIMEOUT 60232 | YES 214 | YES 856 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | TIMEOUT 60672 | MAYBE 7217 | TIMEOUT 60097 | MAYBE 5210 | TIMEOUT 60226 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | TIMEOUT 60531 | TIMEOUT 60250 | MAYBE 3274 | MAYBE 5236 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | NO 2783 | MAYBE 1910 | NO 348 | NO 197 | NO 32954 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | YES 2364 | YES 1758 | YES 345 | MAYBE 5193 | TIMEOUT 60229 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | YES 2135 | YES 2255 | TIMEOUT 60086 | YES 254 | YES 17065 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | YES 2182 | YES 2296 | TIMEOUT 60095 | YES 812 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | YES 2188 | YES 1090 | YES 377 | YES 447 | YES 10085 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | YES 16471 | YES 4476 | MAYBE 41596 | YES 545 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | YES 4823 | TIMEOUT 60281 | TIMEOUT 60087 | YES 1057 | TIMEOUT 60193 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | YES 5708 | TIMEOUT 60249 | TIMEOUT 115207 | YES 1896 | TIMEOUT 60212 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | YES 18524 | TIMEOUT 60288 | TIMEOUT 60095 | MAYBE 5257 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | YES 4737 | YES 4497 | MAYBE 909 | YES 358 | MAYBE 51443 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | YES 4229 | TIMEOUT 60247 | TIMEOUT 60098 | MAYBE 5266 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | TIMEOUT 60774 | MAYBE 9002 | TIMEOUT 60095 | MAYBE 5212 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | YES 2686 | MAYBE 11569 | TIMEOUT 60178 | MAYBE 5244 | TIMEOUT 60212 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | YES 17322 | MAYBE 39437 | TIMEOUT 60151 | YES 373 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | YES 14397 | MAYBE 43104 | TIMEOUT 60101 | YES 1994 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | TIMEOUT 60672 | TIMEOUT 60242 | TIMEOUT 111288 | MAYBE 5218 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | YES 10407 | MAYBE 14869 | TIMEOUT 60088 | MAYBE 5240 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | TIMEOUT 60589 | TIMEOUT 60335 | MAYBE 26756 | MAYBE 5313 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | YES 7541 | TIMEOUT 60246 | MAYBE 630 | MAYBE 5263 | TIMEOUT 60219 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | YES 8998 | TIMEOUT 60225 | TIMEOUT 60087 | MAYBE 5284 | TIMEOUT 60223 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | YES 4647 | TIMEOUT 60260 | MAYBE 2433 | MAYBE 5235 | TIMEOUT 60238 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | YES 2283 | YES 3631 | YES 124 | YES 247 | YES 3160 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | YES 2008 | YES 4374 | YES 122 | YES 230 | YES 2473 |
| tpdb-8.0/TRS/SK90/2.08.xml | YES 1924 | YES 1397 | YES 116 | YES 201 | YES 698 |
| tpdb-8.0/TRS/SK90/2.12.xml | YES 1846 | YES 1510 | YES 114 | YES 220 | YES 746 |
| tpdb-8.0/TRS/SK90/2.13.xml | YES 1965 | YES 379 | YES 118 | YES 198 | YES 698 |
| tpdb-8.0/TRS/SK90/2.24.xml | YES 1732 | YES 242 | YES 113 | YES 213 | YES 540 |
| tpdb-8.0/TRS/SK90/2.25.xml | YES 1807 | YES 1390 | YES 102 | YES 215 | YES 647 |
| tpdb-8.0/TRS/SK90/2.30.xml | YES 1802 | YES 343 | YES 109 | YES 208 | YES 486 |
| tpdb-8.0/TRS/SK90/2.32.xml | YES 1974 | YES 389 | YES 96 | YES 205 | YES 594 |
| tpdb-8.0/TRS/SK90/2.33.xml | YES 1862 | YES 276 | YES 107 | YES 222 | YES 492 |
| tpdb-8.0/TRS/SK90/2.34.xml | YES 1904 | YES 290 | YES 102 | YES 206 | YES 692 |
| tpdb-8.0/TRS/SK90/2.37.xml | YES 1695 | YES 237 | YES 129 | YES 252 | YES 431 |
| tpdb-8.0/TRS/SK90/2.45.xml | YES 2008 | YES 3209 | YES 104 | YES 218 | YES 2103 |
| tpdb-8.0/TRS/SK90/2.48.xml | YES 1688 | YES 299 | YES 108 | YES 269 | YES 546 |
| tpdb-8.0/TRS/SK90/2.53.xml | YES 1802 | YES 287 | YES 110 | YES 201 | YES 437 |
| tpdb-8.0/TRS/SK90/2.58.xml | YES 1872 | YES 388 | YES 106 | YES 269 | YES 505 |
| tpdb-8.0/TRS/SK90/2.61.xml | YES 1750 | YES 351 | YES 101 | YES 232 | YES 1523 |
| tpdb-8.0/TRS/SK90/4.04.xml | YES 1787 | YES 285 | YES 109 | YES 209 | YES 434 |
| tpdb-8.0/TRS/SK90/4.06.xml | NO 2647 | MAYBE 16520 | NO 632 | NO 203 | MAYBE 51366 |
| tpdb-8.0/TRS/SK90/4.10.xml | YES 1848 | YES 2391 | YES 105 | YES 210 | YES 591 |
| tpdb-8.0/TRS/SK90/4.11.xml | YES 1793 | YES 286 | YES 112 | YES 198 | YES 442 |
| tpdb-8.0/TRS/SK90/4.13.xml | YES 1920 | YES 1447 | YES 137 | YES 430 | YES 8562 |
| tpdb-8.0/TRS/SK90/4.14.xml | YES 1842 | YES 1972 | YES 112 | YES 219 | YES 819 |
| tpdb-8.0/TRS/SK90/4.18.xml | YES 1805 | YES 1925 | YES 108 | YES 220 | YES 754 |
| tpdb-8.0/TRS/SK90/4.20.xml | YES 1845 | YES 1413 | YES 110 | YES 202 | YES 656 |
| tpdb-8.0/TRS/SK90/4.22.xml | YES 1848 | YES 1496 | YES 107 | YES 214 | YES 595 |
| tpdb-8.0/TRS/SK90/4.25.xml | YES 1802 | YES 282 | YES 102 | YES 207 | YES 496 |
| tpdb-8.0/TRS/SK90/4.26.xml | YES 2184 | YES 334 | YES 106 | YES 204 | YES 805 |
| tpdb-8.0/TRS/SK90/4.27.xml | YES 2034 | YES 931 | YES 114 | YES 567 | YES 810 |
| tpdb-8.0/TRS/SK90/4.33.xml | YES 1640 | YES 227 | YES 131 | YES 259 | YES 438 |
| tpdb-8.0/TRS/SK90/4.35.xml | YES 1638 | YES 462 | YES 76 | YES 274 | YES 372 |
| tpdb-8.0/TRS/SK90/4.39.xml | YES 1692 | YES 798 | YES 140 | YES 208 | YES 438 |
| tpdb-8.0/TRS/SK90/4.40.xml | NO 5561 | MAYBE 9061 | MAYBE 1039 | MAYBE 5189 | MAYBE 21019 |
| tpdb-8.0/TRS/SK90/4.42.xml | YES 1848 | YES 1599 | YES 112 | YES 313 | YES 646 |
| tpdb-8.0/TRS/SK90/4.44.xml | YES 1639 | YES 404 | YES 141 | YES 217 | YES 447 |
| tpdb-8.0/TRS/SK90/4.46.xml | YES 1623 | YES 407 | YES 88 | YES 187 | YES 387 |
| tpdb-8.0/TRS/SK90/4.52.xml | YES 2038 | YES 351 | YES 117 | YES 203 | YES 749 |
| tpdb-8.0/TRS/SK90/4.55.xml | YES 1795 | YES 1053 | YES 201 | YES 213 | YES 1277 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | NO 2194 | MAYBE 1827 | MAYBE 290 | NO 199 | TIMEOUT 60224 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | NO 5174 | MAYBE 2597 | MAYBE 190 | MAYBE 5192 | MAYBE 1739 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | NO 1633 | TIMEOUT 60273 | TIMEOUT 60084 | NO 311 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | YES 1647 | YES 455 | YES 86 | YES 195 | YES 382 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | YES 2041 | YES 1757 | YES 148 | YES 507 | YES 10181 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | YES 12576 | TIMEOUT 60229 | YES 2637 | MAYBE 5222 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | YES 1802 | YES 975 | YES 108 | YES 357 | YES 644 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | YES 2635 | YES 4981 | YES 206 | YES 1215 | YES 3710 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | NO 1973 | MAYBE 2970 | MAYBE 195 | MAYBE 5178 | MAYBE 1274 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | NO 2151 | MAYBE 2336 | MAYBE 204 | NO 197 | MAYBE 32485 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | NO 2879 | MAYBE 2348 | NO 770 | NO 161 | MAYBE 11468 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | NO 2791 | MAYBE 3633 | NO 96 | NO 175 | MAYBE 15983 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | NO 3108 | MAYBE 3098 | NO 825 | NO 153 | MAYBE 17606 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | NO 2795 | MAYBE 2136 | NO 717 | NO 200 | MAYBE 8039 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | NO 2509 | MAYBE 1076 | NO 87 | NO 165 | NO 797 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | YES 2042 | YES 1881 | YES 136 | YES 434 | YES 1239 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | NO 2960 | MAYBE 5029 | NO 110 | NO 186 | MAYBE 41959 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | NO 2109 | MAYBE 1276 | NO 92 | NO 157 | NO 1023 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | NO 2799 | MAYBE 2450 | NO 732 | NO 161 | MAYBE 10218 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | NO 1644 | MAYBE 1382 | NO 88 | NO 158 | NO 1485 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | NO 2920 | MAYBE 2991 | NO 391 | NO 170 | MAYBE 27765 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | TIMEOUT 60570 | MAYBE 8426 | MAYBE 472 | MAYBE 5185 | MAYBE 7394 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | NO 2795 | MAYBE 2248 | NO 79 | NO 156 | MAYBE 5126 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | NO 2201 | MAYBE 1669 | NO 211 | NO 192 | NO 29571 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | NO 3131 | MAYBE 3680 | NO 111 | NO 181 | MAYBE 42007 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | NO 1693 | MAYBE 6451 | NO 1069 | NO 292 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | NO 2192 | MAYBE 1972 | MAYBE 208 | NO 196 | TIMEOUT 60226 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | NO 5303 | MAYBE 3086 | MAYBE 328 | MAYBE 5188 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | NO 22343 | MAYBE 2969 | MAYBE 326 | MAYBE 5187 | TIMEOUT 60219 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | NO 2323 | MAYBE 1881 | MAYBE 297 | NO 196 | MAYBE 2146 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | NO 1996 | MAYBE 1612 | MAYBE 187 | MAYBE 5184 | TIMEOUT 60228 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | YES 1910 | YES 11123 | TIMEOUT 62103 | YES 1880 | TIMEOUT 60215 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | NO 2773 | MAYBE 1747 | MAYBE 1799 | NO 198 | NO 3604 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | YES 1647 | YES 529 | YES 100 | YES 253 | YES 610 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | YES 1743 | YES 801 | YES 127 | YES 268 | YES 2578 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | YES 8470 | TIMEOUT 60276 | YES 1681 | YES 1479 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | YES 2547 | YES 2030 | YES 245 | YES 513 | YES 1679 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | YES 1708 | YES 404 | YES 107 | YES 278 | YES 594 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | YES 1998 | YES 28239 | YES 5777 | YES 2115 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | NO 21261 | TIMEOUT 60244 | TIMEOUT 60211 | MAYBE 5261 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | TIMEOUT 60538 | TIMEOUT 60288 | TIMEOUT 60074 | MAYBE 5330 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | NO 2167 | MAYBE 1089 | NO 73 | NO 155 | NO 525 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | NO 1570 | NO 178 | NO 89 | NO 164 | NO 230 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | NO 1589 | NO 177 | NO 86 | NO 152 | NO 232 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | YES 1647 | YES 336 | YES 137 | YES 218 | YES 586 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | YES 1817 | YES 543 | YES 140 | YES 319 | YES 909 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | NO 2118 | MAYBE 947 | MAYBE 420 | NO 181 | NO 525 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | TIMEOUT 60574 | MAYBE 2830 | MAYBE 258 | NO 776 | MAYBE 8034 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | YES 8770 | TIMEOUT 60301 | TIMEOUT 60185 | MAYBE 5299 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | YES 2076 | TIMEOUT 60268 | TIMEOUT 60098 | YES 2255 | YES 25253 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | YES 2180 | YES 1263 | YES 153 | YES 577 | YES 1477 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 60504 | TIMEOUT 60204 | TIMEOUT 60780 | MAYBE 5250 | TIMEOUT 60193 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | TIMEOUT 60504 | TIMEOUT 60280 | TIMEOUT 60119 | TIMEOUT 60307 | TIMEOUT 60219 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | YES 1970 | YES 7971 | YES 401 | YES 2360 | YES 10331 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | YES 2130 | YES 2031 | YES 144 | YES 671 | YES 3906 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | YES 2259 | TIMEOUT 60235 | TIMEOUT 60099 | MAYBE 5416 | TIMEOUT 60203 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | YES 1855 | YES 2722 | YES 223 | YES 988 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | YES 2290 | YES 1512 | YES 283 | YES 546 | YES 4298 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | YES 1971 | TIMEOUT 60241 | TIMEOUT 60096 | MAYBE 5332 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | TIMEOUT 60551 | TIMEOUT 60331 | TIMEOUT 60992 | MAYBE 5334 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | TIMEOUT 60550 | TIMEOUT 60317 | TIMEOUT 60113 | MAYBE 5526 | TIMEOUT 60222 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | YES 14506 | YES 33617 | YES 15847 | TIMEOUT 60314 | TIMEOUT 60216 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | NO 3827 | MAYBE 3994 | MAYBE 8275 | NO 241 | NO 49697 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | TIMEOUT 60592 | TIMEOUT 60317 | TIMEOUT 60691 | MAYBE 5292 | TIMEOUT 60236 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | YES 5870 | YES 11852 | TIMEOUT 60550 | TIMEOUT 60364 | TIMEOUT 60212 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | NO 2360 | MAYBE 1073 | MAYBE 755 | NO 190 | MAYBE 35808 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | YES 1688 | YES 509 | YES 138 | YES 273 | YES 855 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | YES 2021 | YES 639 | YES 107 | YES 384 | YES 704 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | NO 2023 | MAYBE 1742 | MAYBE 239 | NO 194 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | NO 5051 | TIMEOUT 60234 | TIMEOUT 60112 | MAYBE 5209 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | NO 1993 | MAYBE 1319 | MAYBE 186 | NO 186 | MAYBE 957 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | YES 1957 | YES 397 | YES 128 | YES 324 | YES 746 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | TIMEOUT 60537 | TIMEOUT 60254 | TIMEOUT 61138 | MAYBE 5340 | TIMEOUT 60208 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | YES 1698 | YES 301 | YES 99 | YES 301 | YES 647 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | YES 5209 | YES 2707 | YES 134 | YES 483 | YES 7133 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | NO 9741 | TIMEOUT 60228 | TIMEOUT 60087 | NO 610 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 1580 | NO 181 | NO 84 | NO 164 | NO 232 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | NO 14835 | TIMEOUT 60207 | TIMEOUT 60224 | MAYBE 5263 | TIMEOUT 60174 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | NO 1581 | NO 162 | NO 118 | NO 171 | NO 229 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | YES 1964 | YES 9615 | YES 67534 | YES 1916 | TIMEOUT 60201 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60458 | TIMEOUT 60324 | TIMEOUT 60199 | MAYBE 5327 | TIMEOUT 60215 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | TIMEOUT 60972 | TIMEOUT 60282 | TIMEOUT 61491 | MAYBE 5383 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60520 | TIMEOUT 60287 | TIMEOUT 60216 | MAYBE 5559 | TIMEOUT 60211 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | NO 22379 | TIMEOUT 60248 | TIMEOUT 60150 | MAYBE 5296 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | YES 26852 | TIMEOUT 60284 | TIMEOUT 65729 | MAYBE 5412 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | NO 1972 | TIMEOUT 60209 | TIMEOUT 61716 | MAYBE 5309 | TIMEOUT 60214 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | NO 2648 | TIMEOUT 60188 | NO 1071 | NO 203 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | NO 2033 | TIMEOUT 60212 | TIMEOUT 65389 | MAYBE 5344 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml | TIMEOUT 60387 | TIMEOUT 60246 | TIMEOUT 60278 | MAYBE 7203 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | TIMEOUT 60597 | TIMEOUT 60267 | TIMEOUT 60189 | MAYBE 5747 | TIMEOUT 60190 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | TIMEOUT 60486 | TIMEOUT 60279 | TIMEOUT 60234 | MAYBE 5614 | TIMEOUT 60212 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | TIMEOUT 60442 | TIMEOUT 60231 | TIMEOUT 60432 | MAYBE 5499 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | TIMEOUT 60481 | TIMEOUT 60394 | TIMEOUT 71536 | MAYBE 5474 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 1583 | NO 176 | NO 94 | NO 177 | NO 210 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | YES 3916 | TIMEOUT 60228 | TIMEOUT 60173 | MAYBE 5765 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | NO 35072 | TIMEOUT 60310 | TIMEOUT 61319 | MAYBE 5383 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | NO 3318 | TIMEOUT 60229 | NO 6302 | NO 211 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | YES 3977 | YES 17275 | YES 832 | MAYBE 5460 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | YES 2902 | YES 8045 | YES 634 | MAYBE 5366 | YES 43632 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | YES 3053 | YES 2078 | YES 2644 | YES 3603 | TIMEOUT 60217 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | YES 2743 | YES 5371 | YES 1132 | MAYBE 5304 | TIMEOUT 60217 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | YES 4274 | YES 3779 | YES 615 | YES 2459 | TIMEOUT 60217 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 1531 | NO 179 | NO 81 | NO 140 | NO 225 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | YES 2035 | YES 3814 | YES 346 | YES 1525 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | YES 1877 | YES 457 | YES 106 | YES 218 | YES 803 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 1579 | NO 177 | NO 87 | NO 161 | NO 228 |
| tpdb-8.0/TRS/Various_04/06.xml | YES 1898 | YES 452 | YES 101 | YES 203 | YES 450 |
| tpdb-8.0/TRS/Various_04/08.xml | TIMEOUT 60498 | TIMEOUT 60401 | TIMEOUT 60101 | MAYBE 5238 | TIMEOUT 60203 |
| tpdb-8.0/TRS/Various_04/10.xml | YES 2423 | YES 3476 | YES 185 | YES 1374 | YES 1982 |
| tpdb-8.0/TRS/Various_04/11.xml | YES 2241 | YES 1878 | YES 761 | MAYBE 5178 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Various_04/12.xml | YES 2003 | YES 1652 | YES 214 | YES 735 | YES 2004 |
| tpdb-8.0/TRS/Various_04/15.xml | YES 2606 | YES 1091 | YES 134 | YES 212 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Various_04/19.xml | YES 2019 | YES 1389 | YES 459 | YES 215 | YES 2748 |
| tpdb-8.0/TRS/Various_04/21.xml | YES 2719 | YES 489 | YES 377 | YES 265 | YES 1755 |
| tpdb-8.0/TRS/Various_04/23.xml | YES 1863 | YES 281 | YES 144 | YES 294 | YES 1028 |
| tpdb-8.0/TRS/Various_04/26.xml | YES 1963 | YES 1044 | YES 145 | YES 384 | YES 2266 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | YES 9193 | YES 15035 | MAYBE 11035 | MAYBE 5208 | MAYBE 45601 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | YES 2916 | YES 1812 | YES 440 | MAYBE 5201 | MAYBE 39775 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | YES 15604 | YES 1548 | MAYBE 15848 | YES 225 | YES 5266 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | YES 15480 | YES 1489 | MAYBE 14902 | YES 209 | YES 5441 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60319 | MAYBE 18074 | MAYBE 28504 | MAYBE 5179 | MAYBE 39827 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | NO 3384 | TIMEOUT 60174 | MAYBE 6886 | NO 197 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60287 | MAYBE 39440 | MAYBE 20029 | MAYBE 5182 | MAYBE 41757 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | YES 3152 | YES 2968 | MAYBE 20013 | MAYBE 5219 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | YES 3063 | YES 2903 | MAYBE 19793 | MAYBE 5203 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | YES 6986 | YES 3645 | YES 833 | YES 247 | MAYBE 50527 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | YES 1990 | YES 1482 | YES 194 | YES 253 | YES 7841 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | YES 1953 | YES 997 | YES 177 | YES 222 | YES 3991 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | YES 1983 | YES 1186 | YES 282 | YES 201 | YES 7016 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | YES 1767 | YES 1137 | YES 588 | YES 241 | YES 12739 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | YES 2063 | YES 601 | YES 158 | YES 226 | YES 12376 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | YES 1987 | YES 1131 | YES 252 | YES 210 | YES 7539 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | YES 2067 | YES 1545 | YES 156 | YES 250 | YES 8583 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | YES 2270 | YES 1824 | YES 1062 | YES 256 | YES 8950 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | YES 2021 | YES 1387 | YES 274 | YES 222 | YES 5250 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | YES 2074 | YES 1049 | YES 290 | YES 199 | YES 8072 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | YES 1819 | YES 1136 | YES 673 | YES 245 | YES 13178 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | YES 1992 | YES 1122 | YES 204 | YES 233 | YES 12874 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | YES 1884 | YES 682 | YES 775 | YES 203 | YES 11771 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | YES 1755 | YES 230 | YES 111 | YES 162 | YES 594 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | YES 1871 | YES 684 | YES 837 | YES 206 | YES 10366 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | YES 2016 | TIMEOUT 60169 | TIMEOUT 60477 | YES 300 | TIMEOUT 60200 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | YES 4349 | YES 2887 | MAYBE 19036 | YES 229 | TIMEOUT 60191 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | YES 2811 | MAYBE 19850 | TIMEOUT 60091 | MAYBE 5216 | MAYBE 41819 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | YES 2075 | YES 1574 | YES 2171 | YES 810 | TIMEOUT 60219 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | YES 3614 | TIMEOUT 60233 | TIMEOUT 60097 | MAYBE 5219 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | YES 2089 | YES 440 | TIMEOUT 60100 | MAYBE 5228 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | YES 3077 | YES 2565 | MAYBE 12272 | YES 722 | MAYBE 36416 | 364 | 219 | 225 | 271 | 165 |