| benchmark | AProVE | cime3finder | muterm | TTT2 | VMTL |
|---|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | YES 2078 | YES 559 | YES 180 | YES 1241 | YES 2528 |
| tpdb-8.0/TRS/AG01/#3.16.xml | YES 1001 | YES 90 | YES 107 | YES 373 | YES 545 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | YES 1399 | YES 3933 | YES 168 | YES 1304 | YES 4128 |
| tpdb-8.0/TRS/AG01/#3.17.xml | YES 1341 | YES 2443 | YES 159 | YES 994 | YES 3069 |
| tpdb-8.0/TRS/AG01/#3.22.xml | YES 1275 | YES 1701 | YES 523 | YES 794 | MAYBE 52608 |
| tpdb-8.0/TRS/AG01/#3.2.xml | YES 1154 | YES 254 | YES 116 | YES 501 | YES 859 |
| tpdb-8.0/TRS/AG01/#3.40.xml | YES 1647 | TIMEOUT 60122 | YES 2139 | YES 1542 | TIMEOUT 60143 |
| tpdb-8.0/TRS/AG01/#3.42.xml | YES 3547 | YES 3782 | YES 146 | YES 876 | YES 9982 |
| tpdb-8.0/TRS/AG01/#3.48.xml | YES 1117 | YES 552 | YES 107 | YES 596 | YES 3581 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | YES 896 | YES 95 | YES 119 | YES 278 | YES 387 |
| tpdb-8.0/TRS/AG01/#3.53.xml | YES 1721 | YES 557 | YES 192 | YES 1182 | YES 2222 |
| tpdb-8.0/TRS/AG01/#3.54.xml | YES 1550 | YES 234 | YES 121 | YES 361 | YES 635 |
| tpdb-8.0/TRS/AG01/#3.55.xml | YES 2105 | YES 987 | YES 307 | YES 1295 | YES 3097 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | YES 1494 | YES 436 | YES 145 | YES 825 | YES 2050 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | YES 9291 | TIMEOUT 60118 | YES 4115 | MAYBE 9255 | TIMEOUT 60123 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | YES 1317 | YES 5728 | YES 216 | YES 479 | TIMEOUT 60123 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | YES 25466 | MAYBE 14216 | YES 1250 | YES 1229 | TIMEOUT 60138 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | YES 1379 | YES 3587 | YES 129 | YES 569 | TIMEOUT 60138 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | YES 1222 | TIMEOUT 60187 | YES 126 | YES 524 | TIMEOUT 60169 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | YES 883 | YES 116 | YES 156 | YES 256 | YES 365 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | YES 996 | MAYBE 683 | YES 100 | YES 474 | MAYBE 19388 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | YES 963 | YES 105 | YES 142 | YES 237 | YES 732 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | YES 841 | YES 84 | YES 95 | YES 229 | YES 345 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | YES 1159 | MAYBE 4771 | YES 118 | YES 578 | MAYBE 56524 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | YES 1263 | YES 9050 | YES 257 | YES 491 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | YES 1483 | YES 1392 | YES 124 | YES 683 | YES 8928 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | NO 6566 | MAYBE 1224 | TIMEOUT 60080 | NO 2829 | MAYBE 38028 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | YES 1186 | YES 1778 | YES 302 | YES 385 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | TIMEOUT 60616 | MAYBE 9465 | TIMEOUT 60101 | MAYBE 6287 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | YES 1323 | MAYBE 9900 | YES 120 | YES 511 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | YES 19725 | TIMEOUT 60155 | TIMEOUT 60099 | MAYBE 6348 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | NO 3655 | TIMEOUT 60209 | TIMEOUT 60097 | NO 1457 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | YES 1489 | MAYBE 18509 | MAYBE 907 | YES 654 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | YES 1925 | TIMEOUT 60200 | MAYBE 1850 | YES 830 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | NO 2068 | MAYBE 208 | NO 507 | NO 213 | MAYBE 5462 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | YES 1709 | MAYBE 19558 | YES 120 | YES 764 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | YES 1686 | MAYBE 34268 | YES 120 | YES 753 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | YES 3394 | TIMEOUT 60195 | YES 356 | YES 1450 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | YES 1988 | MAYBE 20128 | MAYBE 1380 | YES 812 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | YES 2394 | MAYBE 40466 | MAYBE 4322 | YES 898 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | YES 1574 | MAYBE 26734 | YES 149 | YES 647 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | YES 2366 | MAYBE 42211 | MAYBE 6359 | YES 1037 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | YES 1752 | MAYBE 33266 | YES 160 | YES 817 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | YES 1896 | TIMEOUT 60202 | YES 153 | YES 1438 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | YES 2385 | TIMEOUT 60127 | MAYBE 6187 | YES 1222 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | TIMEOUT 60477 | TIMEOUT 60186 | TIMEOUT 60095 | MAYBE 6953 | TIMEOUT 60143 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | YES 31282 | TIMEOUT 60167 | TIMEOUT 60136 | MAYBE 9365 | TIMEOUT 60145 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | YES 1691 | MAYBE 1255 | YES 323 | YES 671 | TIMEOUT 60158 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | YES 1389 | MAYBE 353 | YES 532 | YES 421 | YES 1924 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | YES 1811 | MAYBE 3215 | YES 274 | YES 1411 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | YES 1873 | MAYBE 4040 | YES 277 | YES 1434 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | YES 1111 | YES 169 | YES 238 | YES 349 | YES 668 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | TIMEOUT 60451 | TIMEOUT 60118 | TIMEOUT 60128 | MAYBE 9263 | TIMEOUT 60146 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | YES 2515 | YES 1700 | YES 1149 | YES 2932 | YES 6089 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | YES 3604 | YES 4934 | TIMEOUT 60120 | YES 1339 | TIMEOUT 60144 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | YES 1974 | TIMEOUT 60166 | TIMEOUT 60082 | YES 967 | TIMEOUT 60129 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | YES 13447 | MAYBE 5419 | TIMEOUT 60128 | MAYBE 9281 | TIMEOUT 60144 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60590 | MAYBE 5623 | TIMEOUT 60117 | MAYBE 8368 | TIMEOUT 60135 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | YES 1662 | MAYBE 3973 | TIMEOUT 60089 | YES 1197 | TIMEOUT 60161 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | YES 2119 | MAYBE 2799 | YES 544 | MAYBE 8430 | TIMEOUT 60161 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | YES 13212 | TIMEOUT 60206 | TIMEOUT 60118 | MAYBE 8429 | TIMEOUT 60135 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | YES 3843 | TIMEOUT 60136 | MAYBE 18618 | YES 1013 | TIMEOUT 60141 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | NO 2382 | TIMEOUT 60184 | TIMEOUT 60093 | NO 682 | TIMEOUT 60135 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | YES 6771 | MAYBE 21979 | MAYBE 1633 | MAYBE 6337 | TIMEOUT 60159 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | YES 1227 | MAYBE 41390 | YES 2050 | YES 569 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | YES 1820 | MAYBE 3479 | TIMEOUT 60135 | YES 1313 | TIMEOUT 60183 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | YES 1512 | MAYBE 18470 | YES 828 | YES 1038 | YES 2122 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | YES 1793 | TIMEOUT 60108 | MAYBE 7061 | YES 1151 | TIMEOUT 60125 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | YES 1981 | MAYBE 534 | MAYBE 37858 | MAYBE 6825 | MAYBE 35315 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | YES 5405 | MAYBE 6340 | TIMEOUT 60115 | MAYBE 9267 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | YES 3061 | TIMEOUT 60135 | TIMEOUT 60118 | MAYBE 9272 | TIMEOUT 60142 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | YES 2151 | MAYBE 708 | MAYBE 2503 | MAYBE 9253 | TIMEOUT 60182 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | YES 1664 | MAYBE 14153 | TIMEOUT 60110 | MAYBE 8440 | TIMEOUT 60117 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | YES 2856 | MAYBE 18747 | TIMEOUT 60081 | MAYBE 6263 | TIMEOUT 60127 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | YES 1764 | MAYBE 6059 | YES 210 | YES 763 | TIMEOUT 60146 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | YES 8247 | TIMEOUT 60127 | TIMEOUT 60127 | MAYBE 9351 | TIMEOUT 60134 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | YES 1652 | MAYBE 798 | YES 191 | YES 692 | TIMEOUT 60145 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | YES 2710 | MAYBE 15662 | YES 4546 | YES 1058 | TIMEOUT 60163 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | YES 2330 | TIMEOUT 60199 | YES 4348 | YES 1238 | TIMEOUT 60189 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | YES 2684 | MAYBE 1171 | MAYBE 31269 | MAYBE 8401 | TIMEOUT 60163 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | YES 8209 | TIMEOUT 60125 | TIMEOUT 60094 | MAYBE 9260 | TIMEOUT 60137 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | YES 17778 | TIMEOUT 60113 | TIMEOUT 60084 | MAYBE 7419 | TIMEOUT 60125 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | YES 2880 | TIMEOUT 60170 | TIMEOUT 60090 | YES 2465 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | YES 10127 | TIMEOUT 60133 | TIMEOUT 60122 | MAYBE 9267 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | YES 2240 | MAYBE 13798 | MAYBE 50608 | MAYBE 9255 | TIMEOUT 60136 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | YES 2603 | TIMEOUT 60135 | TIMEOUT 60136 | YES 1795 | TIMEOUT 60140 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | YES 3277 | TIMEOUT 60130 | TIMEOUT 60128 | YES 3625 | TIMEOUT 60151 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | YES 2219 | MAYBE 10139 | YES 292 | YES 1645 | TIMEOUT 60139 |
| tpdb-8.0/TRS/AProVE_08/log.xml | YES 3274 | TIMEOUT 60139 | MAYBE 1134 | MAYBE 9271 | TIMEOUT 60188 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | YES 6645 | TIMEOUT 60096 | TIMEOUT 60084 | MAYBE 9255 | TIMEOUT 60106 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | YES 8514 | MAYBE 42487 | TIMEOUT 60091 | MAYBE 9256 | TIMEOUT 60122 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | YES 5995 | TIMEOUT 60123 | TIMEOUT 60135 | MAYBE 9275 | TIMEOUT 61104 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | YES 8881 | TIMEOUT 60141 | TIMEOUT 60100 | MAYBE 9291 | TIMEOUT 60154 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | YES 8117 | TIMEOUT 60105 | TIMEOUT 60085 | MAYBE 9280 | TIMEOUT 60124 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | NO 1455 | MAYBE 298 | MAYBE 414 | NO 554 | MAYBE 20854 |
| tpdb-8.0/TRS/AProVE_08/round.xml | YES 1594 | MAYBE 374 | MAYBE 427 | MAYBE 8545 | MAYBE 18880 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | YES 12818 | MAYBE 911 | YES 1720 | YES 671 | TIMEOUT 60146 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | TIMEOUT 60515 | MAYBE 1749 | MAYBE 49507 | MAYBE 9284 | TIMEOUT 60192 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | YES 12663 | MAYBE 1395 | TIMEOUT 60140 | MAYBE 9285 | TIMEOUT 60170 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | TIMEOUT 60505 | MAYBE 7836 | TIMEOUT 60107 | MAYBE 9259 | TIMEOUT 60163 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | YES 14758 | MAYBE 1616 | TIMEOUT 60126 | MAYBE 7864 | TIMEOUT 60152 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | TIMEOUT 60537 | TIMEOUT 60141 | TIMEOUT 60104 | MAYBE 9261 | TIMEOUT 60221 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | YES 8617 | MAYBE 1303 | TIMEOUT 60098 | MAYBE 9289 | TIMEOUT 60170 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | YES 7875 | TIMEOUT 60176 | TIMEOUT 60126 | MAYBE 9308 | TIMEOUT 60198 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | YES 8224 | TIMEOUT 60230 | TIMEOUT 60152 | MAYBE 9325 | TIMEOUT 60233 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | YES 12784 | MAYBE 3471 | TIMEOUT 60169 | MAYBE 9292 | TIMEOUT 60160 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | YES 17957 | TIMEOUT 60127 | TIMEOUT 60097 | MAYBE 9275 | TIMEOUT 60137 |
| tpdb-8.0/TRS/AProVE_10/andIsNat.xml | TIMEOUT 60533 | MAYBE 1302 | TIMEOUT 60138 | MAYBE 6828 | TIMEOUT 60148 |
| tpdb-8.0/TRS/AProVE_10/double.xml | TIMEOUT 62908 | MAYBE 442 | TIMEOUT 60090 | MAYBE 6250 | MAYBE 39673 |
| tpdb-8.0/TRS/AProVE_10/downfrom.xml | TIMEOUT 60246 | MAYBE 1025 | TIMEOUT 60117 | MAYBE 9240 | TIMEOUT 60117 |
| tpdb-8.0/TRS/AProVE_10/ex1.xml | TIMEOUT 60190 | MAYBE 329 | MAYBE 22434 | MAYBE 6263 | MAYBE 17977 |
| tpdb-8.0/TRS/AProVE_10/ex3.xml | TIMEOUT 60657 | MAYBE 899 | TIMEOUT 60128 | MAYBE 6275 | MAYBE 39199 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | YES 789 | YES 86 | YES 103 | YES 283 | YES 508 |
| tpdb-8.0/TRS/AProVE_10/halfdouble.xml | TIMEOUT 60544 | TIMEOUT 60126 | TIMEOUT 60092 | MAYBE 9249 | TIMEOUT 60133 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | NO 2161 | MAYBE 211 | MAYBE 322 | NO 377 | MAYBE 32732 |
| tpdb-8.0/TRS/AProVE_10/isNat.xml | TIMEOUT 60212 | MAYBE 238 | MAYBE 4535 | MAYBE 6271 | MAYBE 34637 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | TIMEOUT 60859 | TIMEOUT 60129 | TIMEOUT 60095 | MAYBE 6330 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | YES 6521 | MAYBE 3338 | MAYBE 22266 | MAYBE 9251 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | YES 14759 | MAYBE 47655 | TIMEOUT 60115 | MAYBE 9263 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | YES 17400 | TIMEOUT 60127 | TIMEOUT 60124 | MAYBE 9270 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | YES 2181 | TIMEOUT 60124 | TIMEOUT 60121 | MAYBE 9266 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | YES 10427 | TIMEOUT 60136 | TIMEOUT 60131 | MAYBE 9281 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | YES 1403 | MAYBE 507 | YES 140 | YES 521 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | TIMEOUT 60649 | TIMEOUT 60121 | TIMEOUT 60121 | MAYBE 9266 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | YES 1681 | MAYBE 256 | MAYBE 2906 | MAYBE 6250 | MAYBE 34459 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | YES 2232 | MAYBE 35860 | YES 171 | YES 711 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | YES 1706 | TIMEOUT 60217 | YES 204 | YES 745 | TIMEOUT 60227 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | YES 1102 | YES 98 | YES 108 | YES 434 | YES 856 |
| tpdb-8.0/TRS/CiME_04/append.xml | YES 1014 | YES 171 | YES 124 | YES 376 | YES 520 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | YES 1227 | YES 1911 | YES 280 | YES 1307 | YES 3573 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | YES 1351 | YES 2145 | YES 164 | YES 1312 | YES 2054 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | YES 1444 | YES 834 | YES 190 | YES 939 | YES 2270 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | YES 1210 | YES 128 | YES 125 | YES 772 | YES 1555 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | YES 1139 | YES 130 | YES 143 | YES 611 | YES 979 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | TIMEOUT 60965 | MAYBE 3010 | MAYBE 1414 | MAYBE 9292 | TIMEOUT 60161 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | YES 1795 | YES 1056 | YES 896 | YES 1670 | YES 5061 |
| tpdb-8.0/TRS/CiME_04/tree.xml | YES 2297 | YES 9151 | YES 360 | YES 2754 | YES 7466 |
| tpdb-8.0/TRS/Der95/03.xml | YES 788 | YES 68 | YES 88 | YES 312 | YES 329 |
| tpdb-8.0/TRS/Der95/04.xml | YES 910 | YES 120 | YES 106 | YES 438 | YES 392 |
| tpdb-8.0/TRS/Der95/07.xml | YES 1512 | YES 97 | YES 105 | YES 388 | YES 490 |
| tpdb-8.0/TRS/Der95/09.xml | YES 894 | YES 83 | YES 103 | YES 214 | YES 335 |
| tpdb-8.0/TRS/Der95/12.xml | YES 1008 | YES 105 | YES 152 | YES 591 | YES 1062 |
| tpdb-8.0/TRS/Der95/13.xml | YES 12868 | YES 200 | YES 1379 | MAYBE 6274 | MAYBE 36435 |
| tpdb-8.0/TRS/Der95/21.xml | YES 1119 | MAYBE 897 | YES 144 | YES 568 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Der95/28.xml | YES 959 | YES 82 | YES 107 | YES 341 | YES 441 |
| tpdb-8.0/TRS/Der95/30.xml | YES 1002 | YES 89 | YES 3536 | YES 226 | MAYBE 32072 |
| tpdb-8.0/TRS/Der95/33.xml | TIMEOUT 60385 | TIMEOUT 60125 | TIMEOUT 60107 | MAYBE 6326 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | YES 12861 | MAYBE 357 | TIMEOUT 60124 | MAYBE 6249 | MAYBE 24198 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | YES 22308 | YES 17717 | TIMEOUT 60078 | YES 1718 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | YES 54395 | YES 9641 | TIMEOUT 60088 | YES 1551 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | YES 1053 | YES 98 | YES 1928 | YES 521 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | YES 1499 | YES 402 | TIMEOUT 60106 | MAYBE 6286 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | YES 5077 | MAYBE 696 | TIMEOUT 60083 | MAYBE 6272 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 2156 | YES 1174 | YES 179 | YES 1446 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | YES 2176 | YES 19971 | YES 1251 | YES 1646 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | YES 2426 | YES 2107 | TIMEOUT 60109 | YES 541 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | YES 11026 | YES 5022 | TIMEOUT 60088 | YES 474 | TIMEOUT 60146 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | YES 1922 | MAYBE 446 | MAYBE 37342 | MAYBE 6271 | TIMEOUT 60145 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | YES 2013 | MAYBE 673 | MAYBE 9026 | MAYBE 6531 | TIMEOUT 60147 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | TIMEOUT 60494 | MAYBE 36500 | TIMEOUT 60107 | MAYBE 9254 | TIMEOUT 60138 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | YES 2476 | MAYBE 2396 | TIMEOUT 60113 | MAYBE 8675 | TIMEOUT 60123 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | YES 2284 | MAYBE 1821 | TIMEOUT 60124 | MAYBE 6310 | TIMEOUT 60137 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60488 | TIMEOUT 60255 | TIMEOUT 60163 | MAYBE 9303 | TIMEOUT 60234 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | YES 2495 | MAYBE 2200 | TIMEOUT 60121 | MAYBE 9257 | TIMEOUT 60137 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | YES 7447 | MAYBE 2825 | TIMEOUT 60117 | MAYBE 8372 | TIMEOUT 60147 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | YES 2596 | MAYBE 861 | MAYBE 44557 | MAYBE 9255 | TIMEOUT 60155 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | TIMEOUT 60606 | TIMEOUT 60114 | TIMEOUT 60087 | MAYBE 9264 | TIMEOUT 60126 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | NO 1148 | MAYBE 187 | NO 114 | NO 225 | NO 676 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | NO 738 | MAYBE 108 | NO 206 | NO 203 | NO 1756 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | NO 788 | MAYBE 102 | NO 737 | NO 863 | MAYBE 1690 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | NO 1316 | MAYBE 106 | NO 87 | NO 204 | NO 2375 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | YES 1647 | YES 308 | YES 143 | YES 757 | YES 1541 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | YES 856 | YES 100 | YES 119 | YES 263 | YES 352 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | YES 1152 | YES 112 | YES 194 | YES 268 | YES 437 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | YES 8072 | TIMEOUT 60136 | TIMEOUT 60090 | MAYBE 9405 | TIMEOUT 60112 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | YES 1009 | YES 132 | YES 107 | YES 292 | YES 441 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | YES 1328 | YES 445 | YES 130 | YES 664 | YES 1257 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | YES 1322 | YES 5514 | YES 214 | YES 460 | YES 15686 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | YES 1584 | YES 1255 | YES 601 | YES 513 | YES 9440 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | YES 1458 | MAYBE 9983 | YES 163 | YES 465 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | YES 1257 | YES 320 | YES 130 | YES 375 | YES 2209 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | TIMEOUT 60244 | MAYBE 1701 | MAYBE 23066 | MAYBE 6260 | MAYBE 42552 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | TIMEOUT 60803 | MAYBE 4679 | MAYBE 2516 | MAYBE 6289 | MAYBE 54548 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | YES 2028 | TIMEOUT 60136 | YES 4648 | MAYBE 9250 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | YES 954 | YES 95 | YES 148 | YES 305 | YES 338 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | TIMEOUT 60559 | MAYBE 21283 | TIMEOUT 60087 | MAYBE 9264 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | YES 1267 | YES 145 | YES 165 | YES 264 | YES 2899 |
| tpdb-8.0/TRS/MNZ_10/0.xml | TIMEOUT 60493 | TIMEOUT 60165 | YES 46764 | YES 1596 | TIMEOUT 60130 |
| tpdb-8.0/TRS/MNZ_10/1.xml | TIMEOUT 60431 | TIMEOUT 60152 | TIMEOUT 60096 | YES 1533 | TIMEOUT 60142 |
| tpdb-8.0/TRS/MNZ_10/2.xml | TIMEOUT 60409 | TIMEOUT 60125 | TIMEOUT 60091 | YES 1744 | TIMEOUT 60155 |
| tpdb-8.0/TRS/MNZ_10/5.xml | TIMEOUT 60434 | TIMEOUT 60183 | TIMEOUT 60087 | YES 6196 | TIMEOUT 60154 |
| tpdb-8.0/TRS/MNZ_10/6.xml | TIMEOUT 60593 | TIMEOUT 60210 | TIMEOUT 60132 | YES 7918 | TIMEOUT 60388 |
| tpdb-8.0/TRS/MNZ_10/8.xml | TIMEOUT 60397 | TIMEOUT 60179 | TIMEOUT 60095 | YES 1900 | TIMEOUT 60155 |
| tpdb-8.0/TRS/MNZ_10/9.xml | TIMEOUT 60452 | TIMEOUT 60190 | TIMEOUT 60082 | YES 1963 | TIMEOUT 60136 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | TIMEOUT 60408 | TIMEOUT 60126 | TIMEOUT 60125 | MAYBE 18846 | TIMEOUT 60124 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | TIMEOUT 60755 | TIMEOUT 60121 | TIMEOUT 60091 | MAYBE 6400 | TIMEOUT 60142 |
| tpdb-8.0/TRS/MNZ_10/nvsr.xml | TIMEOUT 60541 | TIMEOUT 60153 | TIMEOUT 60088 | YES 4488 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | YES 954 | YES 84 | YES 123 | YES 296 | YES 443 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | YES 1602 | YES 474 | YES 177 | YES 982 | YES 2099 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | YES 901 | YES 108 | YES 106 | YES 330 | YES 446 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | YES 944 | YES 82 | YES 125 | YES 271 | YES 440 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | YES 799 | YES 4330 | YES 167 | YES 334 | YES 980 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | YES 1280 | YES 580 | YES 143 | YES 770 | YES 2462 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | YES 1317 | YES 1092 | YES 113 | YES 1291 | YES 2814 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | YES 1821 | YES 786 | YES 184 | YES 1216 | YES 2506 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | YES 1230 | YES 305 | YES 127 | YES 602 | YES 1134 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | YES 2126 | YES 1310 | YES 374 | YES 1498 | YES 3254 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | YES 4422 | MAYBE 2015 | TIMEOUT 60120 | MAYBE 9249 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | YES 3917 | TIMEOUT 60123 | TIMEOUT 60078 | MAYBE 6301 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | YES 2533 | MAYBE 680 | MAYBE 1925 | MAYBE 6285 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | YES 21974 | YES 37963 | TIMEOUT 60095 | MAYBE 9323 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | YES 26557 | YES 12087 | YES 14190 | MAYBE 9360 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | YES 1222 | MAYBE 31775 | YES 1579 | YES 615 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | YES 1382 | MAYBE 10272 | YES 223 | YES 1045 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | TIMEOUT 60648 | MAYBE 17010 | MAYBE 3714 | MAYBE 9257 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | NO 1809 | MAYBE 297 | MAYBE 220 | NO 570 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | NO 1921 | MAYBE 321 | NO 358 | NO 457 | NO 31377 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | YES 8314 | TIMEOUT 60188 | TIMEOUT 60150 | MAYBE 9318 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | TIMEOUT 60628 | MAYBE 1687 | MAYBE 45079 | MAYBE 6341 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | YES 5930 | MAYBE 2273 | TIMEOUT 60131 | MAYBE 9264 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | YES 2717 | MAYBE 2007 | TIMEOUT 60094 | MAYBE 6286 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | YES 1335 | YES 2577 | TIMEOUT 60092 | YES 651 | YES 18382 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | YES 1453 | YES 4174 | YES 354 | YES 1285 | YES 24103 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | YES 2295 | YES 7371 | TIMEOUT 60099 | YES 2005 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | YES 2163 | YES 2502 | YES 507 | YES 1153 | YES 17508 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | YES 4355 | TIMEOUT 60151 | TIMEOUT 60096 | MAYBE 9273 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | YES 17218 | TIMEOUT 60176 | TIMEOUT 60089 | MAYBE 8149 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | TIMEOUT 60482 | MAYBE 56438 | TIMEOUT 60090 | MAYBE 9257 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | TIMEOUT 60890 | TIMEOUT 60183 | TIMEOUT 60088 | MAYBE 9263 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | TIMEOUT 60637 | MAYBE 12834 | MAYBE 34748 | YES 2740 | MAYBE 58057 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | YES 12671 | MAYBE 37386 | TIMEOUT 60104 | YES 2382 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | YES 8306 | MAYBE 4919 | TIMEOUT 60125 | MAYBE 9295 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | YES 4061 | MAYBE 2442 | MAYBE 2445 | MAYBE 9301 | TIMEOUT 60193 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | YES 5450 | TIMEOUT 60115 | MAYBE 1241 | MAYBE 9286 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | YES 3317 | MAYBE 2040 | MAYBE 5313 | MAYBE 9269 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | YES 6931 | MAYBE 14268 | TIMEOUT 60103 | MAYBE 9293 | TIMEOUT 60205 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | YES 2769 | MAYBE 2728 | MAYBE 2876 | MAYBE 9282 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | YES 1444 | YES 916 | YES 139 | YES 1245 | YES 3314 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | YES 1232 | YES 112 | YES 139 | YES 723 | YES 1971 |
| tpdb-8.0/TRS/SK90/2.02.xml | YES 924 | YES 175 | YES 194 | YES 347 | YES 457 |
| tpdb-8.0/TRS/SK90/2.03.xml | YES 969 | YES 89 | YES 131 | YES 318 | YES 456 |
| tpdb-8.0/TRS/SK90/2.05.xml | NO 2474 | MAYBE 4787 | TIMEOUT 60118 | NO 451 | TIMEOUT 60140 |
| tpdb-8.0/TRS/SK90/2.10.xml | YES 1117 | YES 87 | YES 107 | YES 439 | YES 860 |
| tpdb-8.0/TRS/SK90/2.11.xml | YES 966 | YES 99 | YES 119 | YES 398 | YES 457 |
| tpdb-8.0/TRS/SK90/2.15.xml | YES 949 | YES 81 | YES 98 | YES 469 | YES 513 |
| tpdb-8.0/TRS/SK90/2.19.xml | YES 1012 | YES 107 | YES 114 | YES 465 | YES 974 |
| tpdb-8.0/TRS/SK90/2.23.xml | YES 1060 | YES 101 | YES 109 | YES 447 | YES 754 |
| tpdb-8.0/TRS/SK90/2.24.xml | YES 902 | YES 92 | YES 109 | YES 317 | YES 547 |
| tpdb-8.0/TRS/SK90/2.25.xml | YES 958 | YES 95 | YES 121 | YES 417 | YES 671 |
| tpdb-8.0/TRS/SK90/2.30.xml | YES 947 | YES 98 | YES 106 | YES 396 | YES 496 |
| tpdb-8.0/TRS/SK90/2.33.xml | YES 1000 | YES 88 | YES 104 | YES 326 | YES 491 |
| tpdb-8.0/TRS/SK90/2.35.xml | YES 1043 | YES 272 | YES 168 | YES 354 | YES 596 |
| tpdb-8.0/TRS/SK90/2.36.xml | YES 940 | YES 114 | YES 115 | YES 261 | YES 440 |
| tpdb-8.0/TRS/SK90/2.39.xml | YES 1004 | YES 97 | YES 106 | YES 404 | YES 802 |
| tpdb-8.0/TRS/SK90/2.44.xml | YES 1364 | YES 430 | YES 142 | YES 624 | YES 1360 |
| tpdb-8.0/TRS/SK90/2.45.xml | YES 1251 | YES 654 | YES 109 | YES 1274 | YES 2109 |
| tpdb-8.0/TRS/SK90/2.56.xml | YES 845 | YES 104 | YES 91 | YES 278 | YES 444 |
| tpdb-8.0/TRS/SK90/2.57.xml | YES 892 | YES 90 | YES 82 | YES 290 | YES 644 |
| tpdb-8.0/TRS/SK90/4.08.xml | YES 895 | YES 89 | YES 103 | YES 255 | YES 390 |
| tpdb-8.0/TRS/SK90/4.11.xml | YES 919 | YES 87 | YES 105 | YES 298 | YES 444 |
| tpdb-8.0/TRS/SK90/4.13.xml | YES 1131 | YES 1888 | YES 146 | YES 603 | YES 8932 |
| tpdb-8.0/TRS/SK90/4.15.xml | YES 930 | YES 99 | YES 120 | YES 296 | YES 399 |
| tpdb-8.0/TRS/SK90/4.18.xml | YES 996 | YES 255 | YES 99 | YES 431 | YES 747 |
| tpdb-8.0/TRS/SK90/4.30.xml | YES 1264 | YES 939 | YES 192 | YES 809 | YES 1922 |
| tpdb-8.0/TRS/SK90/4.31.xml | YES 1053 | YES 276 | YES 136 | YES 530 | YES 1036 |
| tpdb-8.0/TRS/SK90/4.32.xml | YES 2534 | YES 762 | YES 8289 | YES 684 | TIMEOUT 60188 |
| tpdb-8.0/TRS/SK90/4.34.xml | NO 795 | MAYBE 4451 | TIMEOUT 60091 | NO 363 | MAYBE 38582 |
| tpdb-8.0/TRS/SK90/4.35.xml | YES 798 | YES 113 | YES 88 | YES 352 | YES 444 |
| tpdb-8.0/TRS/SK90/4.36.xml | YES 784 | YES 96 | YES 76 | YES 336 | YES 378 |
| tpdb-8.0/TRS/SK90/4.37.xml | YES 777 | YES 67 | YES 72 | YES 311 | YES 321 |
| tpdb-8.0/TRS/SK90/4.42.xml | YES 1082 | YES 203 | YES 127 | YES 404 | YES 663 |
| tpdb-8.0/TRS/SK90/4.44.xml | YES 799 | YES 144 | YES 143 | YES 330 | YES 466 |
| tpdb-8.0/TRS/SK90/4.45.xml | YES 878 | YES 109 | YES 116 | YES 296 | YES 366 |
| tpdb-8.0/TRS/SK90/4.49.xml | NO 1504 | MAYBE 669 | NO 121 | NO 222 | MAYBE 39198 |
| tpdb-8.0/TRS/SK90/4.51.xml | YES 1100 | YES 402 | YES 139 | YES 388 | YES 3675 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | NO 1434 | MAYBE 169 | MAYBE 307 | NO 354 | TIMEOUT 60201 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | NO 2129 | TIMEOUT 60237 | MAYBE 6430 | NO 1095 | TIMEOUT 60253 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | YES 792 | YES 1609 | YES 125 | YES 301 | YES 546 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml | YES 1674 | MAYBE 7407 | YES 208 | YES 1008 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | YES 1652 | TIMEOUT 60119 | YES 3578 | MAYBE 6631 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | YES 4840 | MAYBE 1773 | YES 5379 | MAYBE 8622 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml | YES 2393 | YES 2932 | YES 316 | YES 2378 | YES 9492 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | YES 2240 | YES 931 | YES 197 | YES 1579 | YES 3756 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | YES 1111 | YES 722 | YES 139 | YES 483 | YES 1027 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | NO 1649 | MAYBE 9515 | MAYBE 884 | NO 1346 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | NO 2283 | MAYBE 761 | NO 950 | NO 223 | MAYBE 41229 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | NO 1257 | MAYBE 115 | MAYBE 186 | NO 333 | MAYBE 1654 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | NO 2061 | MAYBE 298 | NO 819 | NO 212 | MAYBE 19433 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | NO 2196 | MAYBE 672 | NO 1138 | NO 218 | MAYBE 38233 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | NO 2204 | MAYBE 486 | NO 967 | NO 227 | MAYBE 26649 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | NO 2627 | MAYBE 2248 | NO 3165 | NO 431 | NO 36817 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | NO 2084 | MAYBE 210 | NO 730 | NO 202 | MAYBE 8660 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | YES 1111 | YES 432 | YES 129 | YES 522 | YES 1237 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | NO 1508 | MAYBE 612 | NO 406 | NO 200 | MAYBE 24781 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | NO 2474 | MAYBE 897 | NO 968 | NO 240 | MAYBE 42265 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | NO 1699 | MAYBE 519 | NO 109 | NO 217 | NO 3990 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | NO 2001 | MAYBE 186 | NO 86 | NO 214 | MAYBE 5184 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | NO 1392 | MAYBE 171 | NO 214 | NO 403 | NO 30096 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | NO 1812 | MAYBE 373 | TIMEOUT 60114 | NO 446 | MAYBE 12312 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | NO 2459 | MAYBE 886 | NO 135 | NO 254 | MAYBE 42559 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | NO 1409 | MAYBE 110 | NO 192 | NO 407 | MAYBE 3718 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | NO 11920 | MAYBE 478 | MAYBE 13349 | NO 624 | MAYBE 35197 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | NO 1422 | MAYBE 204 | MAYBE 215 | NO 374 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | NO 4483 | MAYBE 320 | MAYBE 347 | MAYBE 6263 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | NO 1530 | MAYBE 192 | MAYBE 310 | NO 354 | MAYBE 2217 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | YES 1091 | YES 394 | YES 105 | YES 450 | YES 1924 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | YES 1483 | YES 250 | YES 118 | YES 779 | YES 1798 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | YES 44200 | MAYBE 25379 | TIMEOUT 60109 | MAYBE 9300 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | NO 751 | MAYBE 84 | NO 120 | NO 238 | NO 251 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | YES 1003 | YES 97 | YES 107 | YES 380 | YES 649 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | YES 3815 | YES 2302 | YES 602 | MAYBE 9318 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | YES 1052 | MAYBE 190 | YES 103 | YES 401 | YES 451 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | YES 1132 | YES 103 | YES 108 | YES 396 | YES 702 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | YES 790 | YES 791 | YES 105 | YES 389 | YES 598 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | TIMEOUT 60554 | MAYBE 41044 | TIMEOUT 60155 | MAYBE 9279 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | NO 1589 | MAYBE 1150 | NO 106 | NO 223 | MAYBE 27135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | YES 1213 | TIMEOUT 60124 | TIMEOUT 60129 | MAYBE 9306 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | YES 2181 | YES 1910 | YES 809 | YES 2230 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | YES 1551 | YES 114 | YES 114 | YES 449 | YES 809 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | NO 1474 | MAYBE 286 | MAYBE 239 | NO 463 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | NO 1648 | MAYBE 415 | MAYBE 240 | NO 614 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | YES 984 | YES 137 | YES 141 | YES 364 | YES 705 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | YES 6609 | YES 3522 | TIMEOUT 60091 | YES 2644 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | YES 2271 | YES 1315 | YES 321 | YES 2121 | YES 12858 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 60449 | MAYBE 26366 | TIMEOUT 60153 | MAYBE 9306 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 696 | MAYBE 77 | NO 96 | NO 212 | NO 240 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | YES 1048 | YES 99 | YES 107 | YES 477 | YES 807 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | YES 1049 | YES 89 | YES 101 | YES 469 | YES 749 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | TIMEOUT 60890 | MAYBE 8106 | TIMEOUT 60108 | MAYBE 9303 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | NO 10520 | MAYBE 15240 | TIMEOUT 60109 | MAYBE 9284 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | YES 3668 | YES 2560 | YES 5386 | YES 2608 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | YES 12658 | YES 9658 | YES 18093 | YES 4374 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | TIMEOUT 60578 | TIMEOUT 60131 | TIMEOUT 60116 | MAYBE 9436 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | TIMEOUT 60455 | MAYBE 26383 | TIMEOUT 60152 | MAYBE 9341 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | NO 736 | MAYBE 70 | NO 106 | NO 236 | NO 230 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | YES 2240 | YES 3072 | YES 190 | YES 1327 | YES 5765 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | YES 785 | YES 81 | YES 84 | YES 230 | YES 327 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | TIMEOUT 60478 | MAYBE 5635 | TIMEOUT 60101 | MAYBE 9284 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | NO 685 | MAYBE 75 | NO 106 | NO 215 | NO 234 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | NO 1503 | MAYBE 755 | TIMEOUT 60140 | NO 674 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | YES 791 | YES 82 | YES 88 | YES 236 | YES 338 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | YES 1212 | YES 6514 | YES 3344 | YES 2396 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | YES 1121 | YES 8074 | TIMEOUT 60117 | YES 3310 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | NO 3606 | TIMEOUT 60146 | TIMEOUT 60122 | NO 1324 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | YES 7672 | YES 3758 | TIMEOUT 60095 | YES 3301 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | YES 1112 | YES 118 | YES 110 | YES 566 | YES 1450 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | TIMEOUT 60581 | TIMEOUT 60139 | TIMEOUT 60115 | MAYBE 9325 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | NO 750 | MAYBE 86 | NO 126 | NO 239 | NO 246 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | NO 25990 | TIMEOUT 60142 | TIMEOUT 60099 | MAYBE 9295 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | NO 17241 | TIMEOUT 60127 | TIMEOUT 60087 | MAYBE 9290 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | NO 1158 | TIMEOUT 60110 | TIMEOUT 60111 | MAYBE 9298 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | TIMEOUT 60576 | TIMEOUT 60169 | TIMEOUT 60157 | MAYBE 9575 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | TIMEOUT 60616 | TIMEOUT 60138 | TIMEOUT 60133 | MAYBE 9700 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | TIMEOUT 60455 | TIMEOUT 60134 | TIMEOUT 60360 | MAYBE 1638 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60630 | TIMEOUT 60141 | TIMEOUT 60142 | MAYBE 9627 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 60440 | TIMEOUT 60130 | TIMEOUT 60123 | MAYBE 9426 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | YES 4631 | YES 11754 | TIMEOUT 60123 | MAYBE 9365 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | NO 753 | MAYBE 89 | NO 119 | NO 268 | NO 251 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | TIMEOUT 60461 | YES 31071 | TIMEOUT 60140 | MAYBE 9380 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | YES 1735 | TIMEOUT 60133 | TIMEOUT 60125 | MAYBE 9448 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | YES 8419 | YES 4950 | TIMEOUT 60125 | MAYBE 9337 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml | YES 32284 | YES 23416 | TIMEOUT 60112 | MAYBE 9433 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | YES 4576 | YES 3127 | TIMEOUT 60119 | MAYBE 9289 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | YES 1163 | YES 1184 | YES 6499 | YES 2089 | YES 10811 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | YES 6279 | TIMEOUT 60159 | TIMEOUT 60170 | MAYBE 9995 | TIMEOUT 60174 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60675 | TIMEOUT 60122 | TIMEOUT 60101 | MAYBE 9308 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60459 | TIMEOUT 60128 | TIMEOUT 60107 | MAYBE 9385 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | YES 3365 | TIMEOUT 60136 | TIMEOUT 60141 | MAYBE 9522 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | YES 9029 | YES 2703 | YES 1862 | MAYBE 9389 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml | NO 27411 | TIMEOUT 60119 | TIMEOUT 60116 | MAYBE 9297 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | NO 1996 | MAYBE 2838 | NO 7156 | NO 1437 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | YES 3520 | YES 12622 | TIMEOUT 60136 | MAYBE 9567 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | YES 7847 | YES 27140 | TIMEOUT 60140 | MAYBE 9815 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | NO 27075 | MAYBE 12390 | NO 130 | NO 272 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | YES 1484 | YES 1782 | YES 519 | YES 1359 | YES 29037 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | NO 9317 | MAYBE 1341 | NO 112 | NO 244 | TIMEOUT 60216 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | YES 1683 | YES 1049 | YES 444 | YES 1292 | YES 13047 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml | YES 2975 | YES 16124 | YES 16952 | MAYBE 9400 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml | YES 53261 | YES 42794 | TIMEOUT 60134 | MAYBE 9548 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | YES 1334 | YES 2622 | TIMEOUT 60118 | MAYBE 9314 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | YES 3343 | YES 886 | YES 615 | YES 2971 | YES 52813 |
| tpdb-8.0/TRS/Various_04/03.xml | YES 999 | MAYBE 220 | YES 200 | YES 310 | YES 437 |
| tpdb-8.0/TRS/Various_04/04.xml | TIMEOUT 60549 | TIMEOUT 60129 | TIMEOUT 60096 | MAYBE 6304 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Various_04/08.xml | TIMEOUT 60367 | TIMEOUT 60106 | TIMEOUT 60094 | MAYBE 6313 | TIMEOUT 60113 |
| tpdb-8.0/TRS/Various_04/11.xml | YES 1480 | MAYBE 274 | YES 827 | MAYBE 6261 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Various_04/15.xml | YES 1708 | MAYBE 60017 | YES 137 | YES 491 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Various_04/18.xml | YES 959 | YES 179 | YES 114 | YES 353 | YES 499 |
| tpdb-8.0/TRS/Various_04/21.xml | YES 1715 | YES 233 | YES 393 | YES 896 | YES 1946 |
| tpdb-8.0/TRS/Various_04/22.xml | YES 994 | YES 148 | YES 124 | YES 345 | YES 453 |
| tpdb-8.0/TRS/Various_04/25.xml | YES 948 | YES 172 | YES 122 | YES 307 | YES 389 |
| tpdb-8.0/TRS/Various_04/26.xml | YES 1219 | YES 214 | YES 159 | YES 474 | YES 2262 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | YES 7708 | MAYBE 17378 | MAYBE 12963 | MAYBE 6304 | MAYBE 44581 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | YES 7655 | MAYBE 13418 | MAYBE 12519 | MAYBE 6290 | MAYBE 48688 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | YES 1651 | YES 676 | YES 654 | MAYBE 6290 | MAYBE 40460 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | YES 1968 | YES 3187 | YES 1104 | YES 562 | MAYBE 42199 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | NO 2491 | MAYBE 5721 | MAYBE 8610 | NO 451 | TIMEOUT 60114 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60230 | MAYBE 1474 | MAYBE 23674 | MAYBE 6262 | MAYBE 42088 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | TIMEOUT 60216 | MAYBE 5143 | MAYBE 53255 | MAYBE 6251 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | YES 1170 | MAYBE 28445 | TIMEOUT 60129 | MAYBE 6311 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | YES 2231 | YES 3365 | YES 299 | YES 942 | YES 10174 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | YES 2103 | YES 6420 | YES 225 | YES 973 | YES 17369 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | YES 1160 | YES 933 | YES 258 | YES 275 | YES 4207 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | YES 1236 | YES 1231 | YES 222 | YES 314 | YES 4374 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | YES 1281 | MAYBE 56758 | YES 200 | YES 642 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | YES 991 | YES 2661 | YES 808 | YES 462 | YES 13510 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | YES 1370 | YES 1412 | YES 162 | YES 351 | YES 13946 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | YES 1246 | YES 2407 | YES 313 | YES 309 | YES 6176 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | YES 1293 | YES 2273 | YES 2894 | YES 315 | YES 6665 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | YES 1280 | YES 2803 | YES 259 | YES 316 | YES 8281 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | YES 1263 | YES 3417 | YES 221 | YES 303 | YES 7807 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | YES 1328 | YES 1013 | YES 289 | YES 299 | YES 5405 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | YES 951 | YES 1293 | YES 122 | YES 371 | YES 12743 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | YES 1378 | YES 5166 | YES 252 | YES 451 | YES 9370 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | YES 891 | YES 83 | YES 100 | YES 216 | YES 595 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | YES 1133 | YES 1848 | YES 2646 | YES 352 | YES 11143 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | YES 1849 | MAYBE 1931 | MAYBE 4669 | YES 678 | TIMEOUT 60126 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | YES 1273 | MAYBE 45012 | YES 2269 | YES 917 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | YES 1112 | MAYBE 2202 | TIMEOUT 60106 | MAYBE 9232 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | YES 1154 | TIMEOUT 60115 | TIMEOUT 60098 | YES 2102 | TIMEOUT 60139 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | YES 1336 | MAYBE 6308 | TIMEOUT 60162 | MAYBE 9265 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | YES 5472 | YES 22631 | TIMEOUT 60079 | YES 617 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | YES 15408 | MAYBE 296 | TIMEOUT 60073 | MAYBE 6254 | MAYBE 10668 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | YES 1117 | YES 286 | YES 290 | YES 911 | YES 1414 | 365 | 177 | 229 | 274 | 152 |