| benchmark | AProVE | cime3finder | muterm | TTT2 | VMTL |
|---|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | YES 2033 | YES 901 | YES 202 | YES 3071 | YES 4613 |
| tpdb-8.0/TRS/AG01/#3.12.xml | YES 1025 | YES 279 | YES 85 | YES 973 | YES 924 |
| tpdb-8.0/TRS/AG01/#3.13.xml | YES 1746 | YES 500 | YES 148 | YES 2097 | YES 2423 |
| tpdb-8.0/TRS/AG01/#3.15.xml | YES 754 | YES 300 | YES 94 | YES 809 | YES 466 |
| tpdb-8.0/TRS/AG01/#3.16.xml | YES 891 | YES 44 | YES 62 | YES 686 | YES 459 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | YES 1431 | YES 3876 | YES 115 | YES 1719 | YES 3758 |
| tpdb-8.0/TRS/AG01/#3.17.xml | YES 1267 | YES 2357 | YES 102 | YES 1587 | YES 2677 |
| tpdb-8.0/TRS/AG01/#3.18.xml | YES 1181 | YES 285 | YES 137 | YES 1760 | YES 1190 |
| tpdb-8.0/TRS/AG01/#3.19.xml | YES 1382 | YES 320 | TIMEOUT 60055 | YES 1437 | YES 5347 |
| tpdb-8.0/TRS/AG01/#3.1.xml | YES 1056 | YES 176 | YES 78 | YES 1036 | YES 729 |
| tpdb-8.0/TRS/AG01/#3.21.xml | YES 992 | YES 509 | YES 167 | YES 1027 | TIMEOUT 60087 |
| tpdb-8.0/TRS/AG01/#3.22.xml | YES 1170 | YES 1534 | YES 456 | YES 1688 | MAYBE 52495 |
| tpdb-8.0/TRS/AG01/#3.23.xml | YES 896 | YES 83 | YES 76 | YES 887 | YES 325 |
| tpdb-8.0/TRS/AG01/#3.24.xml | YES 749 | YES 109 | YES 95 | YES 777 | YES 462 |
| tpdb-8.0/TRS/AG01/#3.26.xml | YES 1443 | YES 135 | YES 78 | YES 808 | YES 770 |
| tpdb-8.0/TRS/AG01/#3.29.xml | YES 822 | YES 51 | YES 42 | YES 526 | YES 313 |
| tpdb-8.0/TRS/AG01/#3.2.xml | YES 1059 | YES 201 | YES 82 | YES 1066 | YES 877 |
| tpdb-8.0/TRS/AG01/#3.31.xml | YES 935 | YES 240 | YES 58 | YES 677 | YES 695 |
| tpdb-8.0/TRS/AG01/#3.33.xml | YES 754 | YES 5130 | YES 57 | YES 886 | YES 723 |
| tpdb-8.0/TRS/AG01/#3.35.xml | YES 773 | YES 40 | YES 56 | YES 579 | YES 516 |
| tpdb-8.0/TRS/AG01/#3.36.xml | YES 1303 | YES 178 | YES 105 | YES 990 | YES 1702 |
| tpdb-8.0/TRS/AG01/#3.37.xml | YES 990 | YES 331 | YES 64 | YES 863 | YES 533 |
| tpdb-8.0/TRS/AG01/#3.38.xml | YES 1280 | YES 223 | YES 90 | YES 1266 | YES 1316 |
| tpdb-8.0/TRS/AG01/#3.39.xml | YES 1209 | YES 2671 | YES 727 | YES 2195 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AG01/#3.40.xml | YES 1498 | MAYBE 52525 | YES 2080 | YES 2820 | TIMEOUT 60088 |
| tpdb-8.0/TRS/AG01/#3.41.xml | YES 1004 | YES 537 | YES 94 | YES 806 | YES 4180 |
| tpdb-8.0/TRS/AG01/#3.42.xml | YES 1079 | YES 1067 | YES 109 | YES 1526 | YES 10023 |
| tpdb-8.0/TRS/AG01/#3.47.xml | YES 920 | YES 122 | YES 60 | YES 737 | YES 497 |
| tpdb-8.0/TRS/AG01/#3.48.xml | YES 1032 | YES 507 | YES 65 | YES 1209 | YES 3325 |
| tpdb-8.0/TRS/AG01/#3.49.xml | YES 1068 | YES 655 | YES 111 | YES 897 | YES 1041 |
| tpdb-8.0/TRS/AG01/#3.4.xml | YES 1110 | YES 232 | YES 87 | YES 1222 | YES 1132 |
| tpdb-8.0/TRS/AG01/#3.51.xml | YES 774 | YES 1049 | YES 60 | YES 894 | YES 963 |
| tpdb-8.0/TRS/AG01/#3.52.xml | YES 962 | YES 68 | YES 60 | YES 670 | YES 407 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | YES 831 | YES 53 | YES 95 | YES 596 | YES 299 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | YES 930 | YES 68 | YES 57 | YES 672 | YES 411 |
| tpdb-8.0/TRS/AG01/#3.53.xml | YES 1349 | YES 518 | YES 162 | YES 2282 | YES 1964 |
| tpdb-8.0/TRS/AG01/#3.54.xml | YES 1465 | YES 189 | YES 79 | YES 703 | YES 513 |
| tpdb-8.0/TRS/AG01/#3.55.xml | YES 1763 | YES 940 | YES 153 | YES 2273 | YES 2891 |
| tpdb-8.0/TRS/AG01/#3.56.xml | YES 1061 | YES 881 | YES 95 | YES 1035 | YES 901 |
| tpdb-8.0/TRS/AG01/#3.57.xml | YES 1420 | YES 701 | YES 131 | YES 2579 | YES 3443 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | YES 1325 | YES 284 | YES 90 | YES 1303 | YES 1315 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | YES 1532 | YES 385 | YES 102 | YES 1438 | YES 1720 |
| tpdb-8.0/TRS/AG01/#3.5.xml | YES 1382 | YES 266 | YES 89 | YES 1271 | YES 1275 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | YES 1444 | YES 350 | YES 92 | YES 1652 | YES 1529 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | YES 1593 | YES 387 | YES 95 | YES 1904 | YES 2017 |
| tpdb-8.0/TRS/AG01/#3.6.xml | YES 1410 | YES 307 | YES 94 | YES 1693 | YES 1361 |
| tpdb-8.0/TRS/AG01/#3.7.xml | YES 755 | YES 42 | YES 92 | YES 856 | YES 792 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | YES 1263 | YES 590 | YES 116 | YES 1646 | YES 2350 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | YES 1449 | YES 676 | YES 112 | YES 1913 | YES 3371 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | YES 7481 | TIMEOUT 60028 | YES 3936 | MAYBE 10663 | TIMEOUT 60045 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | NO 1312 | MAYBE 1585 | NO 38204 | NO 436 | MAYBE 30686 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | YES 1209 | YES 7711 | YES 68 | YES 879 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AotoYamada_05/003.xml | NO 1526 | MAYBE 33717 | NO 2228 | NO 442 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AotoYamada_05/004.xml | YES 1108 | MAYBE 5462 | MAYBE 582 | YES 852 | TIMEOUT 60062 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | YES 771 | YES 50 | YES 96 | YES 472 | YES 1260 |
| tpdb-8.0/TRS/AotoYamada_05/006.xml | YES 1151 | YES 17018 | YES 68 | YES 857 | TIMEOUT 60068 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | YES 1140 | YES 5428 | YES 196 | YES 839 | TIMEOUT 60060 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | YES 1317 | YES 3646 | YES 86 | YES 954 | TIMEOUT 60065 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | YES 24092 | MAYBE 18116 | MAYBE 701 | YES 2478 | TIMEOUT 60064 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | YES 21326 | MAYBE 10010 | YES 616 | YES 2317 | TIMEOUT 60060 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | YES 1242 | YES 3675 | YES 81 | YES 993 | TIMEOUT 60068 |
| tpdb-8.0/TRS/AotoYamada_05/013.xml | YES 1305 | MAYBE 18102 | MAYBE 856 | YES 969 | TIMEOUT 60065 |
| tpdb-8.0/TRS/AotoYamada_05/014.xml | YES 1398 | MAYBE 17121 | MAYBE 665 | YES 947 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | YES 1164 | TIMEOUT 60092 | YES 79 | YES 886 | TIMEOUT 60062 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | YES 1480 | YES 9436 | YES 78 | YES 1001 | TIMEOUT 60070 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | YES 747 | YES 41 | YES 79 | YES 468 | YES 649 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | YES 946 | MAYBE 653 | YES 63 | YES 1007 | MAYBE 17847 |
| tpdb-8.0/TRS/AotoYamada_05/020.xml | YES 1143 | MAYBE 3141 | MAYBE 548 | YES 1172 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AotoYamada_05/021.xml | YES 1368 | MAYBE 39030 | MAYBE 1033 | YES 1016 | TIMEOUT 60092 |
| tpdb-8.0/TRS/AotoYamada_05/022.xml | YES 1158 | YES 3722 | YES 69 | YES 858 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | YES 744 | YES 48 | YES 74 | YES 470 | YES 625 |
| tpdb-8.0/TRS/AotoYamada_05/024.xml | YES 1003 | YES 1376 | YES 70 | YES 704 | MAYBE 49731 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | YES 743 | YES 43 | YES 42 | YES 463 | YES 239 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | YES 1164 | MAYBE 4817 | YES 65 | YES 1185 | MAYBE 55568 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | YES 1164 | YES 8853 | YES 211 | YES 853 | TIMEOUT 60068 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | YES 1118 | MAYBE 16971 | YES 67 | YES 801 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AotoYamada_05/Ex1SimplyTyped.xml | YES 1148 | YES 3730 | YES 205 | YES 891 | MAYBE 57285 |
| tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml | TIMEOUT 60615 | MAYBE 12221 | MAYBE 787 | MAYBE 10711 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | YES 1439 | YES 1332 | YES 89 | YES 1105 | YES 10148 |
| tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml | TIMEOUT 60657 | TIMEOUT 60046 | MAYBE 41935 | MAYBE 10730 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | YES 754 | YES 38 | YES 64 | YES 463 | YES 287 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | NO 5292 | MAYBE 1198 | TIMEOUT 60040 | NO 4125 | MAYBE 34388 |
| tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml | TIMEOUT 60507 | MAYBE 3258 | MAYBE 1267 | MAYBE 10574 | MAYBE 50455 |
| tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml | YES 1348 | MAYBE 14810 | MAYBE 1351 | YES 958 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | YES 1037 | YES 1720 | YES 265 | YES 727 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Applicative_05/Ex5Folding.xml | TIMEOUT 60549 | MAYBE 5656 | MAYBE 667 | MAYBE 10625 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml | TIMEOUT 60724 | TIMEOUT 60076 | TIMEOUT 60047 | MAYBE 10678 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | YES 1003 | YES 3692 | YES 60 | YES 695 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml | TIMEOUT 60500 | MAYBE 5456 | MAYBE 11476 | MAYBE 10644 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | TIMEOUT 60488 | MAYBE 8881 | TIMEOUT 60044 | MAYBE 10632 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Applicative_05/Ex7_9.xml | YES 1908 | TIMEOUT 60075 | TIMEOUT 60045 | YES 1571 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | TIMEOUT 60523 | TIMEOUT 60042 | TIMEOUT 60065 | MAYBE 10635 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | TIMEOUT 60698 | TIMEOUT 60076 | TIMEOUT 60058 | MAYBE 10675 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | YES 1205 | MAYBE 8574 | YES 71 | YES 1120 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | YES 11068 | TIMEOUT 60072 | TIMEOUT 60062 | MAYBE 10662 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | NO 3271 | TIMEOUT 60084 | TIMEOUT 60050 | NO 1846 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml | YES 1487 | MAYBE 58138 | MAYBE 10897 | YES 1748 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | YES 1374 | MAYBE 28087 | MAYBE 2715 | YES 1273 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | NO 7325 | MAYBE 10031 | TIMEOUT 60046 | MAYBE 10633 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | YES 808 | YES 821 | YES 91 | YES 1078 | YES 4079 |
| tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml | YES 1314 | TIMEOUT 60064 | YES 73 | YES 1024 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | NO 1953 | MAYBE 4829 | TIMEOUT 60042 | NO 777 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | YES 1358 | MAYBE 18198 | MAYBE 887 | YES 1007 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Applicative_05/TreeHeight.xml | YES 1462 | MAYBE 37252 | YES 81 | YES 1127 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | YES 1908 | TIMEOUT 60081 | MAYBE 1768 | YES 1307 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Applicative_05/TreeMap.xml | YES 1204 | MAYBE 47227 | YES 66 | YES 881 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Applicative_05/TreeSize.xml | YES 1306 | MAYBE 18276 | MAYBE 794 | YES 992 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Applicative_05/TypeEx1.xml | YES 913 | YES 2753 | YES 57 | YES 1494 | YES 14200 |
| tpdb-8.0/TRS/Applicative_05/TypeEx3.xml | NO 4476 | MAYBE 43108 | NO 60 | NO 445 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | NO 1755 | MAYBE 146 | NO 393 | NO 438 | MAYBE 5322 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | YES 1623 | MAYBE 18803 | YES 77 | YES 1237 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Applicative_first_order_05/02.xml | YES 1694 | MAYBE 13786 | YES 73 | YES 1142 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | YES 1455 | MAYBE 31527 | YES 85 | YES 1218 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | YES 1946 | TIMEOUT 60075 | YES 140 | YES 1498 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | YES 2855 | TIMEOUT 60099 | YES 318 | YES 1712 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | YES 1833 | MAYBE 41584 | MAYBE 2541 | YES 1582 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Applicative_first_order_05/13.xml | YES 12904 | TIMEOUT 60045 | MAYBE 1399 | MAYBE 7407 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | YES 2227 | MAYBE 18958 | MAYBE 1199 | YES 1234 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | YES 1497 | MAYBE 39468 | YES 91 | YES 1207 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Applicative_first_order_05/21.xml | YES 1770 | MAYBE 44408 | MAYBE 2936 | YES 1675 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Applicative_first_order_05/29.xml | YES 1715 | MAYBE 38640 | MAYBE 11706 | YES 1144 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | YES 2556 | TIMEOUT 60108 | TIMEOUT 60043 | YES 1976 | MAYBE 43530 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | YES 4404 | TIMEOUT 60086 | TIMEOUT 60048 | YES 3513 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml | YES 4131 | TIMEOUT 60103 | MAYBE 52964 | YES 3344 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml | YES 1821 | MAYBE 21561 | MAYBE 1491 | YES 1206 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | YES 1957 | MAYBE 50574 | TIMEOUT 60042 | YES 2301 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Applicative_first_order_05/31.xml | YES 1952 | TIMEOUT 60043 | MAYBE 3199 | YES 8146 | MAYBE 42111 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.22.xml | YES 2041 | TIMEOUT 60081 | TIMEOUT 60045 | YES 1812 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | YES 2052 | MAYBE 48762 | MAYBE 4032 | YES 1481 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.27.xml | YES 1387 | MAYBE 29897 | YES 77 | YES 1119 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml | YES 1945 | MAYBE 24840 | MAYBE 3405 | YES 1636 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | YES 1386 | MAYBE 27091 | YES 91 | YES 1058 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml | YES 2250 | MAYBE 34023 | TIMEOUT 60060 | YES 2730 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | YES 2253 | MAYBE 39407 | MAYBE 6109 | YES 1717 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Applicative_first_order_05/33.xml | TIMEOUT 60504 | TIMEOUT 60092 | TIMEOUT 60044 | MAYBE 7779 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml | YES 2938 | TIMEOUT 60052 | TIMEOUT 60045 | YES 3473 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | YES 1551 | MAYBE 37506 | YES 125 | YES 1279 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | YES 1818 | TIMEOUT 60091 | YES 87 | YES 1726 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml | YES 1618 | MAYBE 40088 | YES 78 | YES 1201 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.55.xml | YES 3885 | TIMEOUT 60076 | TIMEOUT 60047 | YES 2703 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | YES 3281 | TIMEOUT 60073 | MAYBE 1808 | YES 3007 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.6.xml | YES 2722 | TIMEOUT 60054 | MAYBE 14498 | YES 2352 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | YES 2021 | TIMEOUT 60054 | MAYBE 5273 | YES 2101 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | YES 1811 | TIMEOUT 60062 | MAYBE 6978 | YES 1556 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | TIMEOUT 60436 | TIMEOUT 60083 | TIMEOUT 60046 | MAYBE 10769 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml | YES 1559 | MAYBE 34247 | YES 105 | YES 1316 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | YES 3198 | TIMEOUT 60086 | TIMEOUT 60048 | YES 2033 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml | YES 2403 | TIMEOUT 60091 | TIMEOUT 60052 | YES 1632 | TIMEOUT 60087 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | YES 34348 | TIMEOUT 60061 | TIMEOUT 60081 | MAYBE 8588 | TIMEOUT 60075 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | YES 24190 | TIMEOUT 60041 | TIMEOUT 60034 | MAYBE 7800 | TIMEOUT 60058 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | YES 1545 | MAYBE 1163 | YES 262 | YES 1327 | TIMEOUT 60093 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | YES 1205 | MAYBE 120 | YES 469 | YES 835 | YES 1871 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | YES 1196 | MAYBE 113 | YES 259 | YES 798 | YES 1883 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | YES 1353 | MAYBE 590 | YES 89 | YES 1153 | YES 1036 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | YES 1485 | MAYBE 2010 | YES 120 | YES 1550 | YES 2258 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | YES 1133 | YES 159 | YES 79 | YES 952 | YES 639 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | YES 1574 | MAYBE 3623 | YES 219 | YES 2616 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | YES 1573 | MAYBE 3778 | YES 214 | YES 2538 | MAYBE 57472 |
| tpdb-8.0/TRS/AProVE_04/improved_usable2.xml | YES 1014 | YES 117 | YES 74 | YES 674 | YES 509 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | YES 1048 | YES 119 | YES 201 | YES 704 | YES 802 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | TIMEOUT 60467 | TIMEOUT 60030 | TIMEOUT 60046 | MAYBE 10717 | TIMEOUT 60051 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | YES 2246 | YES 891 | YES 774 | YES 5370 | YES 5462 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | YES 1536 | YES 1034 | TIMEOUT 60048 | YES 1315 | TIMEOUT 60042 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | YES 1086 | YES 1461 | YES 4826 | YES 1021 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | YES 2030 | YES 4930 | TIMEOUT 60034 | YES 2230 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | YES 26256 | MAYBE 13183 | TIMEOUT 60032 | MAYBE 10695 | TIMEOUT 60086 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | YES 1689 | YES 5482 | YES 140 | YES 1625 | YES 2589 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | YES 1798 | TIMEOUT 60093 | TIMEOUT 60045 | YES 1643 | TIMEOUT 60070 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | YES 1126 | YES 1466 | YES 63 | YES 1258 | YES 808 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | YES 1069 | MAYBE 1799 | YES 81 | YES 1286 | YES 1203 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | YES 834 | YES 52 | YES 120 | YES 527 | YES 309 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | YES 1000 | MAYBE 671 | MAYBE 25529 | YES 1130 | YES 1226 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | YES 12517 | MAYBE 6000 | TIMEOUT 60034 | MAYBE 10690 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60438 | MAYBE 5496 | TIMEOUT 60029 | MAYBE 10689 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | YES 1322 | MAYBE 3603 | TIMEOUT 60043 | YES 2343 | TIMEOUT 60105 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | YES 3204 | MAYBE 20336 | MAYBE 1795 | MAYBE 10629 | TIMEOUT 60082 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | YES 2142 | MAYBE 2732 | YES 474 | MAYBE 10658 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | YES 12703 | TIMEOUT 60052 | TIMEOUT 60048 | MAYBE 10736 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | YES 2975 | TIMEOUT 60050 | MAYBE 18749 | YES 1696 | TIMEOUT 60073 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | YES 1763 | MAYBE 43990 | MAYBE 1966 | MAYBE 10623 | TIMEOUT 60083 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | NO 2007 | TIMEOUT 60085 | TIMEOUT 60046 | NO 1193 | TIMEOUT 60054 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | YES 2339 | TIMEOUT 60042 | YES 812 | MAYBE 10658 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | YES 6587 | MAYBE 22030 | MAYBE 1566 | MAYBE 7135 | TIMEOUT 60088 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | YES 1239 | MAYBE 40473 | YES 1910 | YES 1126 | TIMEOUT 60054 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | YES 13728 | MAYBE 3311 | TIMEOUT 60036 | YES 8928 | TIMEOUT 60095 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | YES 1412 | MAYBE 3163 | TIMEOUT 60059 | YES 2498 | TIMEOUT 60096 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | YES 8690 | YES 10642 | TIMEOUT 60037 | MAYBE 10552 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | YES 2429 | TIMEOUT 60044 | TIMEOUT 60046 | YES 5178 | TIMEOUT 60064 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | YES 2365 | TIMEOUT 60047 | TIMEOUT 60058 | YES 4537 | TIMEOUT 60063 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | YES 1341 | MAYBE 18154 | YES 757 | YES 1787 | YES 2008 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | YES 1510 | MAYBE 40700 | MAYBE 2726 | YES 3283 | YES 32659 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | YES 1657 | TIMEOUT 60051 | MAYBE 6786 | YES 2181 | TIMEOUT 60099 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | YES 3124 | TIMEOUT 60056 | TIMEOUT 60056 | YES 1358 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | YES 2175 | MAYBE 6479 | TIMEOUT 60033 | MAYBE 10581 | TIMEOUT 60049 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | YES 1636 | MAYBE 492 | MAYBE 36063 | MAYBE 10545 | MAYBE 30702 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | YES 2973 | TIMEOUT 60039 | TIMEOUT 60046 | MAYBE 10611 | TIMEOUT 60054 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | YES 1927 | MAYBE 1006 | YES 134 | YES 1275 | TIMEOUT 60083 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | YES 5266 | MAYBE 15187 | TIMEOUT 60052 | MAYBE 10645 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | YES 1642 | MAYBE 391 | MAYBE 35814 | MAYBE 10539 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | YES 4450 | MAYBE 6264 | TIMEOUT 60032 | MAYBE 10586 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | YES 4205 | MAYBE 24272 | TIMEOUT 60029 | MAYBE 10596 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | YES 2685 | TIMEOUT 60043 | TIMEOUT 60044 | MAYBE 7172 | TIMEOUT 60046 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | YES 1807 | MAYBE 663 | MAYBE 2522 | MAYBE 10583 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | YES 3968 | MAYBE 1895 | MAYBE 30342 | MAYBE 10629 | TIMEOUT 60045 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | YES 3238 | TIMEOUT 60035 | TIMEOUT 60062 | MAYBE 10607 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | YES 1405 | MAYBE 14095 | TIMEOUT 60040 | MAYBE 10609 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | YES 8341 | TIMEOUT 60064 | TIMEOUT 60043 | MAYBE 10702 | TIMEOUT 60062 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | YES 3249 | MAYBE 15967 | YES 1052 | MAYBE 10673 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | YES 16443 | TIMEOUT 60047 | TIMEOUT 60073 | MAYBE 10673 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | YES 2849 | MAYBE 18758 | TIMEOUT 60036 | MAYBE 10587 | TIMEOUT 60100 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | YES 7794 | TIMEOUT 60055 | TIMEOUT 60047 | MAYBE 10681 | TIMEOUT 60044 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | YES 14019 | MAYBE 28624 | TIMEOUT 60037 | MAYBE 10701 | TIMEOUT 60095 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | YES 1429 | MAYBE 943 | YES 150 | YES 1655 | TIMEOUT 60080 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | YES 1400 | MAYBE 12001 | TIMEOUT 60052 | MAYBE 10706 | TIMEOUT 60098 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | YES 1900 | MAYBE 1383 | YES 137 | YES 1389 | TIMEOUT 60044 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | YES 13877 | TIMEOUT 60035 | TIMEOUT 60029 | MAYBE 10704 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | YES 2138 | MAYBE 7003 | YES 150 | YES 1379 | TIMEOUT 60044 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | YES 7320 | TIMEOUT 60033 | TIMEOUT 60038 | MAYBE 10709 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | YES 12064 | MAYBE 3926 | TIMEOUT 60036 | YES 2574 | TIMEOUT 60101 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | YES 1461 | MAYBE 741 | YES 130 | YES 1275 | TIMEOUT 60041 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | YES 2133 | MAYBE 15314 | YES 4274 | YES 1828 | TIMEOUT 60090 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | YES 1747 | TIMEOUT 60033 | YES 4543 | YES 2326 | TIMEOUT 60095 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | YES 3038 | TIMEOUT 60030 | TIMEOUT 60048 | YES 2983 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | YES 6634 | MAYBE 24168 | TIMEOUT 60043 | MAYBE 10597 | TIMEOUT 60061 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | YES 2399 | MAYBE 1352 | TIMEOUT 60052 | MAYBE 10638 | TIMEOUT 60041 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | TIMEOUT 60417 | MAYBE 5056 | TIMEOUT 60047 | MAYBE 10705 | TIMEOUT 60110 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | YES 5281 | MAYBE 13247 | TIMEOUT 60032 | MAYBE 10709 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | YES 3152 | TIMEOUT 60106 | TIMEOUT 60033 | MAYBE 10561 | TIMEOUT 60078 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | YES 3080 | MAYBE 1120 | MAYBE 30178 | MAYBE 10603 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | YES 2094 | MAYBE 1513 | MAYBE 59204 | MAYBE 10602 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | TIMEOUT 60492 | MAYBE 11558 | MAYBE 2247 | MAYBE 10642 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | YES 1635 | MAYBE 385 | MAYBE 31768 | MAYBE 10582 | MAYBE 21720 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | NO 29528 | MAYBE 5415 | MAYBE 1185 | MAYBE 10626 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | YES 27006 | TIMEOUT 60035 | TIMEOUT 60059 | MAYBE 10713 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | TIMEOUT 60322 | MAYBE 8120 | MAYBE 47199 | MAYBE 10637 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | YES 7499 | TIMEOUT 60032 | TIMEOUT 60042 | MAYBE 10670 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | YES 11251 | TIMEOUT 60080 | TIMEOUT 60043 | MAYBE 10655 | TIMEOUT 60078 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | YES 14490 | TIMEOUT 60044 | TIMEOUT 60044 | MAYBE 10647 | TIMEOUT 60073 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | YES 7005 | MAYBE 1533 | TIMEOUT 60041 | MAYBE 10643 | TIMEOUT 60069 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | YES 2246 | TIMEOUT 60081 | TIMEOUT 60046 | YES 4413 | TIMEOUT 60066 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | YES 12022 | TIMEOUT 60040 | TIMEOUT 60044 | MAYBE 10680 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | YES 9515 | TIMEOUT 60046 | TIMEOUT 60042 | MAYBE 10650 | TIMEOUT 60132 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | YES 3007 | MAYBE 12466 | TIMEOUT 60045 | MAYBE 10614 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | YES 2403 | TIMEOUT 60063 | MAYBE 43803 | YES 3377 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | YES 1307 | MAYBE 295 | YES 118 | YES 1100 | TIMEOUT 60089 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | YES 1773 | MAYBE 16323 | MAYBE 51266 | MAYBE 10559 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | YES 2007 | TIMEOUT 60048 | TIMEOUT 60043 | YES 3193 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | YES 2578 | TIMEOUT 60047 | TIMEOUT 60048 | YES 5530 | TIMEOUT 60060 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | YES 2395 | TIMEOUT 60044 | TIMEOUT 60047 | YES 5387 | TIMEOUT 60075 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | YES 2138 | TIMEOUT 60045 | TIMEOUT 60046 | YES 3242 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | YES 2153 | TIMEOUT 60050 | TIMEOUT 60043 | YES 3965 | TIMEOUT 60108 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | YES 20277 | TIMEOUT 60047 | TIMEOUT 60044 | MAYBE 9994 | TIMEOUT 60104 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | YES 1970 | TIMEOUT 60047 | TIMEOUT 60044 | YES 3573 | TIMEOUT 60054 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | YES 2342 | TIMEOUT 60047 | TIMEOUT 60046 | YES 4081 | TIMEOUT 60058 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | YES 2449 | TIMEOUT 60087 | TIMEOUT 60049 | YES 6306 | TIMEOUT 60072 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | YES 2956 | TIMEOUT 60139 | TIMEOUT 60053 | YES 5783 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | YES 1800 | MAYBE 9930 | YES 235 | YES 2235 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_08/log.xml | YES 2844 | TIMEOUT 60032 | MAYBE 1017 | MAYBE 10701 | TIMEOUT 60094 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | YES 5716 | TIMEOUT 60032 | TIMEOUT 60045 | MAYBE 10682 | TIMEOUT 60046 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | YES 7284 | MAYBE 43410 | TIMEOUT 60045 | MAYBE 10695 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | YES 5892 | TIMEOUT 60030 | TIMEOUT 60044 | MAYBE 10666 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | YES 7530 | TIMEOUT 60040 | TIMEOUT 60043 | MAYBE 10710 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | YES 6931 | TIMEOUT 60031 | TIMEOUT 60046 | MAYBE 10722 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | NO 1258 | MAYBE 230 | MAYBE 350 | NO 756 | MAYBE 21108 |
| tpdb-8.0/TRS/AProVE_08/round.xml | YES 1399 | MAYBE 320 | MAYBE 377 | MAYBE 10534 | MAYBE 19620 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | YES 12167 | MAYBE 845 | YES 1669 | YES 1275 | TIMEOUT 60041 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | TIMEOUT 60460 | MAYBE 1786 | MAYBE 47158 | MAYBE 10653 | TIMEOUT 60084 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | YES 13910 | MAYBE 1404 | TIMEOUT 60031 | MAYBE 10658 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | YES 29619 | MAYBE 19277 | TIMEOUT 60032 | MAYBE 10693 | TIMEOUT 60056 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml | TIMEOUT 60439 | MAYBE 8934 | TIMEOUT 60049 | MAYBE 10681 | TIMEOUT 60084 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | YES 15292 | MAYBE 1545 | TIMEOUT 60032 | MAYBE 10650 | TIMEOUT 60074 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | TIMEOUT 60529 | TIMEOUT 60030 | TIMEOUT 60044 | MAYBE 10646 | TIMEOUT 60097 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | YES 6180 | MAYBE 1191 | TIMEOUT 60043 | MAYBE 10674 | TIMEOUT 60083 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | YES 6807 | TIMEOUT 60030 | TIMEOUT 60049 | MAYBE 10731 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | YES 7421 | TIMEOUT 60030 | TIMEOUT 60043 | MAYBE 10708 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | YES 12885 | MAYBE 3470 | TIMEOUT 60034 | MAYBE 10661 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | YES 14450 | TIMEOUT 60056 | TIMEOUT 60043 | MAYBE 10732 | TIMEOUT 60056 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | TIMEOUT 60420 | TIMEOUT 60084 | TIMEOUT 60047 | MAYBE 7930 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | YES 14355 | TIMEOUT 60031 | TIMEOUT 60045 | MAYBE 10512 | TIMEOUT 60051 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | YES 2345 | MAYBE 2215 | TIMEOUT 60028 | MAYBE 10540 | TIMEOUT 60087 |
| tpdb-8.0/TRS/AProVE_10/andIsNat.xml | TIMEOUT 60485 | MAYBE 1240 | TIMEOUT 60037 | MAYBE 10580 | TIMEOUT 60041 |
| tpdb-8.0/TRS/AProVE_10/challenge_fab.xml | TIMEOUT 60415 | TIMEOUT 60029 | TIMEOUT 60041 | MAYBE 10692 | TIMEOUT 60044 |
| tpdb-8.0/TRS/AProVE_10/double.xml | TIMEOUT 60291 | MAYBE 398 | TIMEOUT 60047 | MAYBE 10531 | MAYBE 39156 |
| tpdb-8.0/TRS/AProVE_10/downfrom.xml | TIMEOUT 60214 | MAYBE 936 | TIMEOUT 60031 | MAYBE 10580 | TIMEOUT 60040 |
| tpdb-8.0/TRS/AProVE_10/ex1.xml | TIMEOUT 60120 | MAYBE 281 | MAYBE 22241 | MAYBE 10582 | MAYBE 19718 |
| tpdb-8.0/TRS/AProVE_10/ex2.xml | TIMEOUT 60380 | MAYBE 3345 | TIMEOUT 60057 | MAYBE 10583 | TIMEOUT 60039 |
| tpdb-8.0/TRS/AProVE_10/ex3.xml | TIMEOUT 60490 | MAYBE 763 | TIMEOUT 60047 | MAYBE 10536 | MAYBE 38439 |
| tpdb-8.0/TRS/AProVE_10/ex4.xml | TIMEOUT 60433 | MAYBE 10220 | TIMEOUT 60042 | MAYBE 10633 | TIMEOUT 60073 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | YES 779 | YES 40 | YES 57 | YES 537 | YES 330 |
| tpdb-8.0/TRS/AProVE_10/halfdouble.xml | TIMEOUT 60554 | TIMEOUT 60031 | TIMEOUT 60045 | MAYBE 10648 | TIMEOUT 60045 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | NO 1836 | MAYBE 183 | MAYBE 290 | NO 609 | MAYBE 32490 |
| tpdb-8.0/TRS/AProVE_10/isNat.xml | TIMEOUT 60123 | MAYBE 179 | MAYBE 4209 | MAYBE 10535 | MAYBE 34457 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | YES 848 | YES 84 | YES 186 | YES 608 | YES 383 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | TIMEOUT 60754 | TIMEOUT 60034 | TIMEOUT 60045 | MAYBE 10682 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | YES 1963 | MAYBE 13355 | YES 178 | YES 1854 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | YES 3024 | MAYBE 15014 | MAYBE 40381 | MAYBE 10622 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | YES 2527 | MAYBE 1212 | MAYBE 31585 | MAYBE 10599 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | YES 2492 | MAYBE 1789 | MAYBE 30615 | MAYBE 10616 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | YES 4605 | MAYBE 2810 | MAYBE 21700 | MAYBE 10616 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | YES 5512 | MAYBE 38769 | TIMEOUT 60031 | MAYBE 10687 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | YES 14879 | MAYBE 38607 | YES 57811 | MAYBE 10674 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | YES 16386 | TIMEOUT 60032 | TIMEOUT 60033 | MAYBE 10681 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | YES 2706 | TIMEOUT 60036 | TIMEOUT 60033 | MAYBE 10706 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | YES 9296 | TIMEOUT 60038 | TIMEOUT 60044 | MAYBE 10705 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | YES 1246 | MAYBE 461 | YES 101 | YES 1056 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | YES 1535 | TIMEOUT 60032 | TIMEOUT 60030 | MAYBE 10696 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | TIMEOUT 60358 | TIMEOUT 60033 | TIMEOUT 60035 | MAYBE 10698 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | YES 1669 | MAYBE 5006 | YES 199 | YES 1467 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | YES 1652 | MAYBE 3773 | YES 194 | YES 1505 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | YES 9726 | TIMEOUT 60033 | YES 51147 | MAYBE 10685 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | YES 1250 | MAYBE 1340 | YES 103 | YES 1061 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | YES 1580 | MAYBE 771 | TIMEOUT 60063 | MAYBE 10576 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | YES 1426 | MAYBE 213 | MAYBE 2847 | MAYBE 10538 | MAYBE 34299 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | YES 1661 | MAYBE 35687 | YES 129 | YES 1352 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | YES 1185 | MAYBE 326 | YES 97 | YES 1312 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | YES 1249 | MAYBE 1445 | YES 103 | YES 1195 | TIMEOUT 60039 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | YES 1284 | TIMEOUT 60036 | YES 126 | YES 1238 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | YES 1627 | TIMEOUT 60037 | YES 116 | YES 1312 | TIMEOUT 60048 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | YES 989 | YES 54 | YES 62 | YES 792 | YES 761 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | YES 1297 | MAYBE 395 | YES 114 | YES 1064 | TIMEOUT 60083 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | NO 2221 | MAYBE 447 | MAYBE 3375 | NO 1033 | TIMEOUT 60039 |
| tpdb-8.0/TRS/CiME_04/append.xml | YES 955 | YES 115 | YES 59 | YES 674 | YES 495 |
| tpdb-8.0/TRS/CiME_04/big.xml | YES 2545 | MAYBE 11570 | YES 604 | YES 5596 | YES 4745 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | YES 973 | YES 66 | YES 64 | YES 739 | YES 685 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | YES 803 | YES 370 | YES 61 | YES 866 | YES 714 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | YES 2898 | MAYBE 24789 | YES 5456 | MAYBE 7122 | TIMEOUT 60084 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | YES 1074 | YES 1882 | YES 229 | YES 1907 | YES 3145 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | YES 1955 | YES 787 | YES 254 | YES 2342 | YES 3274 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | YES 1206 | YES 2081 | YES 105 | YES 1815 | YES 1820 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | YES 1287 | YES 778 | YES 155 | YES 1611 | YES 2217 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | YES 1145 | YES 80 | YES 74 | YES 1253 | YES 1783 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | YES 1050 | YES 66 | YES 71 | YES 1113 | YES 1201 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | YES 1379 | YES 956 | YES 318 | YES 2833 | YES 3355 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | YES 1206 | YES 717 | YES 308 | YES 2650 | YES 3027 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | YES 1178 | YES 989 | YES 158 | YES 2252 | YES 2151 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | YES 1013 | YES 77 | YES 65 | YES 982 | YES 896 |
| tpdb-8.0/TRS/CiME_04/log2.xml | YES 1873 | YES 2723 | YES 401 | YES 4276 | YES 2467 |
| tpdb-8.0/TRS/CiME_04/lse.xml | YES 1503 | YES 964 | YES 28302 | YES 2730 | YES 10079 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | TIMEOUT 61022 | MAYBE 3223 | MAYBE 1318 | MAYBE 10667 | TIMEOUT 60112 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | YES 11452 | YES 29880 | YES 992 | YES 2871 | YES 8194 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | YES 1591 | YES 910 | YES 854 | YES 3186 | YES 4597 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | YES 1551 | YES 802 | YES 850 | YES 3010 | YES 5662 |
| tpdb-8.0/TRS/CiME_04/tree.xml | YES 2309 | YES 8982 | YES 315 | YES 4493 | YES 8000 |
| tpdb-8.0/TRS/Der95/01.xml | YES 777 | YES 40 | YES 66 | YES 650 | YES 484 |
| tpdb-8.0/TRS/Der95/02.xml | YES 759 | YES 39 | YES 58 | YES 850 | YES 279 |
| tpdb-8.0/TRS/Der95/03.xml | YES 738 | YES 36 | YES 40 | YES 717 | YES 276 |
| tpdb-8.0/TRS/Der95/04.xml | YES 852 | YES 43 | YES 56 | YES 1011 | YES 327 |
| tpdb-8.0/TRS/Der95/06.xml | YES 766 | YES 38 | YES 41 | YES 1111 | YES 425 |
| tpdb-8.0/TRS/Der95/07.xml | YES 1514 | YES 49 | YES 59 | YES 808 | YES 404 |
| tpdb-8.0/TRS/Der95/08.xml | YES 955 | YES 63 | YES 62 | YES 906 | YES 678 |
| tpdb-8.0/TRS/Der95/09.xml | YES 745 | YES 37 | YES 57 | YES 462 | YES 293 |
| tpdb-8.0/TRS/Der95/11.xml | YES 1255 | YES 127 | YES 80 | YES 1557 | YES 2609 |
| tpdb-8.0/TRS/Der95/12.xml | YES 949 | YES 47 | YES 96 | YES 1120 | YES 753 |
| tpdb-8.0/TRS/Der95/13.xml | YES 12403 | YES 154 | YES 1246 | MAYBE 6915 | MAYBE 36390 |
| tpdb-8.0/TRS/Der95/17.xml | YES 767 | YES 44 | YES 60 | YES 749 | YES 643 |
| tpdb-8.0/TRS/Der95/18.xml | YES 860 | YES 40 | YES 62 | YES 634 | YES 340 |
| tpdb-8.0/TRS/Der95/20.xml | YES 774 | YES 351 | YES 290 | YES 819 | YES 2451 |
| tpdb-8.0/TRS/Der95/21.xml | YES 1027 | MAYBE 838 | YES 94 | YES 1104 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Der95/27.xml | YES 753 | YES 50 | YES 59 | YES 603 | YES 326 |
| tpdb-8.0/TRS/Der95/28.xml | YES 865 | YES 43 | YES 61 | YES 661 | YES 353 |
| tpdb-8.0/TRS/Der95/30.xml | YES 954 | YES 44 | YES 3322 | YES 465 | MAYBE 31831 |
| tpdb-8.0/TRS/Der95/31.xml | YES 976 | YES 115 | YES 61 | YES 1183 | YES 296 |
| tpdb-8.0/TRS/Der95/32.xml | YES 1245 | YES 170 | YES 64 | YES 840 | YES 693 |
| tpdb-8.0/TRS/Der95/33.xml | TIMEOUT 60474 | TIMEOUT 60030 | TIMEOUT 60178 | MAYBE 7294 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | YES 1486 | YES 8018 | YES 115 | YES 745 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | YES 10778 | MAYBE 308 | TIMEOUT 60051 | MAYBE 10530 | MAYBE 23333 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | YES 2208 | YES 2965 | YES 3084 | YES 1893 | YES 20831 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | YES 21023 | YES 18178 | TIMEOUT 60033 | YES 3023 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | YES 48754 | YES 9602 | TIMEOUT 60051 | YES 2909 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | YES 971 | YES 50 | YES 1892 | YES 1064 | YES 28884 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | YES 1395 | YES 347 | TIMEOUT 60045 | MAYBE 10534 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | YES 3956 | MAYBE 643 | TIMEOUT 60029 | MAYBE 10638 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 1546 | YES 1200 | YES 135 | YES 2411 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | YES 1607 | YES 15490 | YES 232 | YES 2715 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | YES 2203 | YES 2044 | TIMEOUT 60053 | YES 963 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | YES 10311 | YES 4903 | TIMEOUT 60041 | YES 844 | TIMEOUT 60057 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | YES 1653 | MAYBE 390 | MAYBE 35958 | MAYBE 10575 | TIMEOUT 60071 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | YES 2102 | MAYBE 588 | MAYBE 8748 | MAYBE 10537 | TIMEOUT 60078 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | TIMEOUT 60157 | MAYBE 362 | TIMEOUT 60042 | MAYBE 6836 | MAYBE 14180 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | YES 2506 | MAYBE 1051 | TIMEOUT 60058 | MAYBE 10634 | TIMEOUT 60044 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | YES 3276 | MAYBE 10794 | TIMEOUT 60062 | MAYBE 10575 | TIMEOUT 60048 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | YES 2875 | MAYBE 3415 | MAYBE 19915 | MAYBE 10594 | TIMEOUT 60051 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | TIMEOUT 60417 | MAYBE 36980 | TIMEOUT 60056 | MAYBE 10579 | TIMEOUT 60046 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | YES 2431 | MAYBE 2530 | TIMEOUT 60034 | MAYBE 10676 | TIMEOUT 60044 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | YES 1931 | MAYBE 1780 | TIMEOUT 60054 | MAYBE 10623 | TIMEOUT 60044 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | YES 1660 | MAYBE 2276 | TIMEOUT 60048 | MAYBE 10577 | MAYBE 45839 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60357 | TIMEOUT 60055 | TIMEOUT 60039 | MAYBE 10696 | TIMEOUT 60056 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | YES 2026 | MAYBE 2139 | TIMEOUT 60030 | MAYBE 10587 | TIMEOUT 60052 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | YES 6536 | MAYBE 3030 | TIMEOUT 60034 | MAYBE 10587 | TIMEOUT 60069 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | YES 5656 | MAYBE 2447 | TIMEOUT 60046 | MAYBE 10696 | TIMEOUT 60056 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | YES 2071 | MAYBE 764 | MAYBE 44082 | MAYBE 10595 | TIMEOUT 60084 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | TIMEOUT 60510 | TIMEOUT 60031 | TIMEOUT 60040 | MAYBE 10711 | TIMEOUT 60049 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | NO 713 | MAYBE 38 | NO 42 | NO 435 | NO 388 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | NO 1444 | MAYBE 48 | NO 133 | NO 436 | NO 705 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | NO 1518 | MAYBE 40 | NO 42 | NO 433 | NO 525 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | NO 725 | MAYBE 58 | NO 157 | NO 433 | NO 1633 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | NO 714 | MAYBE 60 | NO 679 | NO 438 | MAYBE 1547 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | NO 1196 | MAYBE 61 | NO 41 | NO 435 | NO 2334 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | NO 1322 | MAYBE 305 | NO 41 | NO 433 | NO 539 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | YES 1883 | YES 1028 | YES 301 | YES 3028 | YES 6540 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | YES 1461 | YES 1833 | YES 153 | YES 2007 | TIMEOUT 60061 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | YES 1928 | MAYBE 14142 | YES 236 | YES 7905 | TIMEOUT 60082 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | YES 1357 | YES 268 | YES 104 | YES 1349 | YES 1514 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | YES 765 | TIMEOUT 60030 | TIMEOUT 60043 | YES 1164 | TIMEOUT 60047 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | YES 4267 | YES 3425 | YES 440 | YES 3510 | YES 12730 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | YES 769 | YES 43 | YES 59 | YES 534 | YES 254 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | YES 929 | YES 74 | YES 41 | YES 595 | YES 372 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | YES 1467 | YES 1016 | YES 96 | YES 1387 | YES 7086 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | YES 11831 | TIMEOUT 60064 | TIMEOUT 60048 | MAYBE 10923 | TIMEOUT 60059 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | YES 883 | YES 73 | YES 40 | YES 592 | YES 421 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | YES 921 | YES 78 | YES 59 | YES 605 | YES 382 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | YES 1080 | YES 431 | YES 297 | YES 1204 | YES 3278 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | YES 1215 | YES 188 | YES 106 | YES 910 | YES 1267 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | YES 1304 | YES 398 | YES 82 | YES 1187 | YES 1186 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | YES 1192 | YES 5267 | YES 159 | YES 888 | YES 15342 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | YES 1423 | YES 1176 | YES 542 | YES 934 | YES 9206 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | YES 1239 | MAYBE 9827 | YES 97 | YES 934 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | YES 1225 | MAYBE 38788 | YES 201 | YES 696 | MAYBE 42438 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | YES 1142 | YES 284 | YES 95 | YES 860 | YES 2196 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | TIMEOUT 60149 | MAYBE 1669 | MAYBE 23067 | MAYBE 10572 | MAYBE 42347 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | TIMEOUT 60659 | MAYBE 3877 | MAYBE 2366 | MAYBE 10643 | MAYBE 55511 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | YES 1522 | TIMEOUT 60033 | YES 4605 | MAYBE 10727 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | YES 1904 | YES 1801 | YES 746 | YES 3492 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | YES 1798 | MAYBE 58532 | TIMEOUT 60049 | MAYBE 10690 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | YES 2030 | YES 559 | YES 304 | YES 2053 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | YES 1524 | YES 383 | YES 118 | YES 1473 | YES 1648 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | YES 1017 | YES 212 | YES 63 | YES 1100 | YES 770 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | TIMEOUT 60602 | MAYBE 57409 | TIMEOUT 60054 | MAYBE 10721 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | YES 747 | YES 40 | YES 59 | YES 683 | YES 434 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | YES 940 | YES 183 | YES 62 | YES 649 | YES 390 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | YES 771 | YES 45 | YES 90 | YES 610 | YES 266 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | YES 834 | MAYBE 109 | YES 112 | YES 553 | YES 362 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | YES 889 | YES 43 | YES 61 | YES 832 | YES 494 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | TIMEOUT 60486 | MAYBE 21197 | TIMEOUT 60044 | MAYBE 10662 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Mixed_TRS/motivation.xml | YES 1048 | YES 127 | YES 87 | YES 733 | YES 1099 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | YES 1434 | YES 282 | YES 146 | YES 1427 | YES 1594 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | YES 1228 | YES 181 | YES 63 | YES 992 | YES 948 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | YES 1132 | YES 72 | YES 117 | YES 545 | YES 2833 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | TIMEOUT 60605 | MAYBE 1523 | TIMEOUT 60075 | MAYBE 10632 | MAYBE 46449 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | YES 1460 | MAYBE 423 | MAYBE 6680 | MAYBE 10585 | MAYBE 34740 |
| tpdb-8.0/TRS/MNZ_10/0.xml | TIMEOUT 60421 | TIMEOUT 60056 | YES 47188 | YES 2885 | TIMEOUT 60093 |
| tpdb-8.0/TRS/MNZ_10/1.xml | TIMEOUT 60381 | TIMEOUT 60052 | TIMEOUT 60044 | YES 3046 | TIMEOUT 60067 |
| tpdb-8.0/TRS/MNZ_10/2.xml | TIMEOUT 60438 | TIMEOUT 60041 | TIMEOUT 60039 | YES 3166 | TIMEOUT 60075 |
| tpdb-8.0/TRS/MNZ_10/3.xml | YES 48704 | TIMEOUT 60081 | TIMEOUT 60037 | YES 3487 | TIMEOUT 60077 |
| tpdb-8.0/TRS/MNZ_10/4.xml | TIMEOUT 60471 | TIMEOUT 60090 | TIMEOUT 60037 | YES 8517 | TIMEOUT 60067 |
| tpdb-8.0/TRS/MNZ_10/5.xml | TIMEOUT 60425 | TIMEOUT 60095 | TIMEOUT 60032 | YES 9054 | TIMEOUT 60058 |
| tpdb-8.0/TRS/MNZ_10/6.xml | TIMEOUT 60522 | TIMEOUT 60079 | TIMEOUT 60035 | YES 8932 | TIMEOUT 60075 |
| tpdb-8.0/TRS/MNZ_10/7.xml | TIMEOUT 60501 | TIMEOUT 60094 | TIMEOUT 60042 | YES 3341 | TIMEOUT 60063 |
| tpdb-8.0/TRS/MNZ_10/8.xml | TIMEOUT 60425 | TIMEOUT 60076 | TIMEOUT 60039 | YES 3385 | TIMEOUT 60080 |
| tpdb-8.0/TRS/MNZ_10/9.xml | TIMEOUT 60427 | TIMEOUT 60078 | TIMEOUT 60036 | YES 3599 | TIMEOUT 60051 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | YES 44138 | TIMEOUT 60033 | TIMEOUT 60030 | MAYBE 16642 | TIMEOUT 60032 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | TIMEOUT 60705 | TIMEOUT 60036 | TIMEOUT 60041 | MAYBE 10727 | TIMEOUT 60081 |
| tpdb-8.0/TRS/MNZ_10/nvsr.xml | TIMEOUT 60553 | TIMEOUT 60059 | TIMEOUT 60044 | YES 5733 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | YES 771 | YES 1130 | YES 76 | YES 1129 | YES 763 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | YES 788 | YES 67 | YES 82 | YES 677 | YES 532 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | YES 864 | YES 40 | YES 73 | YES 627 | YES 400 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | YES 756 | YES 156 | YES 195 | YES 767 | YES 1714 |
| tpdb-8.0/TRS/Rubio_04/division.xml | YES 1328 | YES 316 | YES 86 | YES 1257 | YES 1353 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | YES 1353 | YES 286 | YES 94 | YES 1332 | YES 1342 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | YES 1565 | YES 426 | YES 129 | YES 1660 | YES 1751 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | YES 1393 | YES 375 | YES 91 | YES 1756 | YES 1846 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | YES 794 | YES 292 | YES 65 | YES 880 | YES 590 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | YES 1075 | YES 210 | YES 85 | YES 1111 | YES 864 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | YES 749 | YES 82 | YES 56 | YES 693 | YES 363 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | YES 758 | YES 44 | YES 85 | YES 569 | YES 397 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | YES 766 | YES 4007 | YES 117 | YES 667 | YES 1202 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | YES 1186 | YES 536 | YES 97 | YES 1584 | YES 2363 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | YES 2199 | YES 2824 | YES 289 | YES 2802 | YES 7864 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | YES 751 | YES 46 | YES 73 | YES 610 | YES 370 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | YES 863 | YES 123 | YES 41 | YES 569 | YES 456 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | YES 755 | YES 111 | YES 76 | YES 828 | YES 645 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | YES 798 | YES 220 | YES 58 | YES 1530 | YES 527 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | YES 1369 | YES 1036 | YES 68 | YES 1547 | YES 2775 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | YES 919 | YES 42 | YES 60 | YES 672 | YES 449 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | YES 1819 | YES 725 | YES 130 | YES 2102 | YES 2350 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | YES 1113 | YES 254 | YES 80 | YES 1211 | YES 1160 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | YES 1355 | YES 265 | YES 103 | YES 1380 | YES 2225 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | YES 1809 | YES 1047 | YES 169 | YES 3102 | YES 6403 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | YES 1058 | YES 355 | YES 106 | YES 751 | YES 707 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | YES 899 | YES 58 | YES 95 | YES 694 | YES 605 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | YES 2402 | YES 1274 | YES 325 | YES 1951 | YES 3805 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml | YES 3418 | MAYBE 27193 | MAYBE 17166 | YES 1726 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | YES 4464 | MAYBE 1790 | TIMEOUT 60034 | MAYBE 10630 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | YES 2954 | TIMEOUT 60040 | TIMEOUT 60040 | MAYBE 10584 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | YES 2234 | MAYBE 637 | MAYBE 1803 | MAYBE 10604 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | YES 1613 | MAYBE 12992 | TIMEOUT 60038 | YES 3210 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | YES 20122 | YES 36669 | TIMEOUT 60049 | MAYBE 10769 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | YES 17671 | YES 1115 | YES 1774 | MAYBE 10607 | MAYBE 53666 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | TIMEOUT 60557 | MAYBE 2850 | TIMEOUT 60034 | MAYBE 10550 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | NO 1222 | MAYBE 262 | MAYBE 176 | MAYBE 10537 | MAYBE 11022 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | YES 19745 | YES 12429 | YES 13033 | MAYBE 10915 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | YES 1579 | MAYBE 202 | YES 560 | YES 1284 | MAYBE 6257 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | YES 1184 | YES 265 | YES 195 | YES 685 | YES 3077 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | YES 1087 | MAYBE 31637 | YES 1472 | YES 1127 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | YES 3557 | MAYBE 11686 | MAYBE 3338 | MAYBE 7145 | MAYBE 50344 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | TIMEOUT 60134 | MAYBE 11871 | MAYBE 2327 | YES 1931 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | YES 1484 | TIMEOUT 60030 | TIMEOUT 60048 | MAYBE 10680 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | YES 1327 | MAYBE 11511 | YES 176 | YES 1900 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | TIMEOUT 60489 | MAYBE 11560 | TIMEOUT 60044 | MAYBE 10625 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | TIMEOUT 60555 | MAYBE 10547 | TIMEOUT 60044 | MAYBE 10636 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | TIMEOUT 60552 | MAYBE 13898 | MAYBE 3579 | MAYBE 10690 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | NO 1555 | MAYBE 258 | MAYBE 172 | NO 1068 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | NO 1609 | MAYBE 261 | NO 312 | NO 730 | NO 32894 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | YES 5554 | YES 7047 | TIMEOUT 60031 | YES 1260 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | TIMEOUT 60458 | YES 8922 | TIMEOUT 60045 | YES 1218 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | TIMEOUT 60545 | TIMEOUT 60030 | TIMEOUT 60034 | MAYBE 10679 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | YES 1866 | YES 1662 | YES 3628 | YES 1714 | YES 11310 |
| tpdb-8.0/TRS/Secret_06_TRS/5.xml | YES 1375 | TIMEOUT 60033 | TIMEOUT 60044 | YES 2144 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | YES 7904 | YES 6905 | YES 40659 | YES 818 | YES 51167 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | YES 2630 | YES 503 | YES 652 | YES 713 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | YES 1209 | YES 29755 | YES 129 | YES 782 | YES 31756 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | YES 1835 | YES 3260 | YES 18442 | YES 737 | YES 13258 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | YES 7044 | TIMEOUT 60079 | TIMEOUT 60074 | MAYBE 10715 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | TIMEOUT 60536 | MAYBE 1738 | MAYBE 44373 | MAYBE 10673 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | YES 1288 | MAYBE 2519 | YES 279 | MAYBE 7512 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | YES 4556 | MAYBE 2207 | TIMEOUT 60039 | MAYBE 10598 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | YES 2100 | MAYBE 2100 | TIMEOUT 60043 | MAYBE 7781 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | YES 1231 | YES 2368 | TIMEOUT 60040 | YES 1215 | YES 17272 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | YES 1516 | YES 4294 | TIMEOUT 60040 | YES 2056 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | YES 1382 | YES 4057 | YES 300 | YES 2528 | YES 23182 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | YES 1220 | YES 731 | YES 229 | YES 1675 | YES 57845 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml | YES 12906 | YES 1056 | MAYBE 1755 | YES 1871 | YES 10423 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | YES 1703 | YES 756 | YES 260 | YES 953 | YES 10089 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | YES 2183 | YES 7505 | TIMEOUT 60041 | YES 3361 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | YES 25844 | YES 9102 | TIMEOUT 60044 | YES 2510 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | YES 14642 | MAYBE 9419 | TIMEOUT 60031 | YES 1295 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | YES 2062 | YES 2424 | YES 458 | YES 2299 | YES 15966 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | YES 10183 | TIMEOUT 60043 | MAYBE 29343 | YES 9006 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | YES 7250 | TIMEOUT 60060 | TIMEOUT 60055 | MAYBE 10658 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | YES 2516 | MAYBE 5192 | TIMEOUT 60052 | YES 1735 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | YES 3243 | TIMEOUT 60050 | TIMEOUT 60046 | MAYBE 10715 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | YES 2492 | TIMEOUT 60043 | MAYBE 2058 | MAYBE 10634 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | YES 15181 | TIMEOUT 60085 | TIMEOUT 60040 | MAYBE 10685 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | YES 6118 | MAYBE 310 | MAYBE 897 | YES 1002 | MAYBE 50513 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | YES 6045 | MAYBE 319 | MAYBE 5536 | MAYBE 7094 | MAYBE 41364 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | YES 6955 | MAYBE 312 | MAYBE 4918 | MAYBE 7075 | MAYBE 33860 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | TIMEOUT 60597 | TIMEOUT 60058 | TIMEOUT 60059 | MAYBE 10699 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | TIMEOUT 60842 | TIMEOUT 60061 | TIMEOUT 60041 | MAYBE 10648 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | YES 3665 | TIMEOUT 60078 | TIMEOUT 60047 | MAYBE 10737 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | TIMEOUT 60542 | MAYBE 55830 | TIMEOUT 60046 | MAYBE 10636 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | TIMEOUT 60791 | TIMEOUT 60089 | TIMEOUT 60046 | MAYBE 10691 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | TIMEOUT 60798 | TIMEOUT 60080 | TIMEOUT 60047 | MAYBE 10687 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | YES 1755 | TIMEOUT 60053 | TIMEOUT 60043 | YES 9538 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | YES 13762 | MAYBE 20411 | TIMEOUT 60029 | YES 1406 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | TIMEOUT 60687 | MAYBE 10326 | MAYBE 34676 | YES 4540 | MAYBE 37648 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | YES 41458 | TIMEOUT 60049 | TIMEOUT 60046 | MAYBE 10729 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | YES 20710 | MAYBE 44686 | TIMEOUT 60029 | YES 4059 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | YES 17139 | TIMEOUT 60029 | MAYBE 11859 | YES 4909 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | TIMEOUT 60602 | TIMEOUT 60040 | TIMEOUT 60031 | MAYBE 10663 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | YES 7957 | MAYBE 5251 | TIMEOUT 60048 | MAYBE 10562 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | YES 2996 | MAYBE 2332 | MAYBE 2289 | MAYBE 10632 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | TIMEOUT 60423 | TIMEOUT 60047 | MAYBE 26134 | MAYBE 10731 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | YES 5518 | TIMEOUT 60037 | MAYBE 1125 | MAYBE 10698 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | YES 2398 | MAYBE 2073 | MAYBE 5114 | MAYBE 10629 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | YES 6846 | MAYBE 17813 | TIMEOUT 60046 | MAYBE 10700 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | YES 2525 | MAYBE 2584 | MAYBE 2897 | MAYBE 10593 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | YES 5497 | TIMEOUT 60043 | TIMEOUT 60044 | MAYBE 10665 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | YES 5466 | TIMEOUT 60040 | MAYBE 2711 | MAYBE 10629 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | YES 34968 | TIMEOUT 60035 | TIMEOUT 60045 | MAYBE 10691 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | YES 1323 | YES 141 | YES 79 | YES 1670 | YES 3073 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | YES 1210 | YES 78 | YES 81 | YES 1174 | YES 2279 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | YES 1127 | YES 67 | YES 91 | YES 1378 | YES 1794 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | YES 1228 | YES 98 | YES 103 | YES 1645 | YES 2889 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | YES 1518 | YES 686 | YES 215 | YES 2893 | YES 5051 |
| tpdb-8.0/TRS/SK90/2.01.xml | YES 935 | YES 44 | YES 61 | YES 767 | YES 528 |
| tpdb-8.0/TRS/SK90/2.02.xml | YES 757 | YES 103 | YES 137 | YES 672 | YES 383 |
| tpdb-8.0/TRS/SK90/2.03.xml | YES 755 | YES 43 | YES 58 | YES 643 | YES 380 |
| tpdb-8.0/TRS/SK90/2.04.xml | YES 827 | YES 39 | YES 65 | YES 624 | YES 332 |
| tpdb-8.0/TRS/SK90/2.05.xml | NO 2018 | MAYBE 4029 | TIMEOUT 60044 | NO 817 | TIMEOUT 60053 |
| tpdb-8.0/TRS/SK90/2.06.xml | YES 886 | YES 44 | YES 66 | YES 609 | YES 394 |
| tpdb-8.0/TRS/SK90/2.07.xml | YES 902 | YES 41 | YES 60 | YES 766 | YES 547 |
| tpdb-8.0/TRS/SK90/2.08.xml | YES 982 | YES 52 | YES 66 | YES 791 | YES 637 |
| tpdb-8.0/TRS/SK90/2.09.xml | YES 754 | YES 38 | YES 61 | YES 626 | YES 368 |
| tpdb-8.0/TRS/SK90/2.10.xml | YES 1017 | YES 46 | YES 63 | YES 845 | YES 735 |
| tpdb-8.0/TRS/SK90/2.11.xml | YES 754 | YES 42 | YES 62 | YES 817 | YES 375 |
| tpdb-8.0/TRS/SK90/2.12.xml | YES 947 | YES 62 | YES 64 | YES 878 | YES 682 |
| tpdb-8.0/TRS/SK90/2.13.xml | YES 974 | YES 41 | YES 60 | YES 993 | YES 631 |
| tpdb-8.0/TRS/SK90/2.14.xml | YES 956 | YES 176 | YES 62 | YES 640 | YES 753 |
| tpdb-8.0/TRS/SK90/2.15.xml | YES 897 | YES 45 | YES 72 | YES 884 | YES 451 |
| tpdb-8.0/TRS/SK90/2.16.xml | YES 927 | YES 48 | YES 70 | YES 776 | YES 644 |
| tpdb-8.0/TRS/SK90/2.17.xml | YES 904 | YES 46 | YES 69 | YES 681 | YES 520 |
| tpdb-8.0/TRS/SK90/2.18.xml | YES 884 | YES 42 | YES 61 | YES 655 | YES 409 |
| tpdb-8.0/TRS/SK90/2.19.xml | YES 986 | YES 47 | YES 62 | YES 853 | YES 732 |
| tpdb-8.0/TRS/SK90/2.20.xml | YES 917 | YES 45 | YES 59 | YES 818 | YES 771 |
| tpdb-8.0/TRS/SK90/2.21.xml | YES 906 | YES 42 | YES 61 | YES 681 | YES 469 |
| tpdb-8.0/TRS/SK90/2.22.xml | YES 916 | YES 68 | YES 59 | YES 721 | YES 524 |
| tpdb-8.0/TRS/SK90/2.23.xml | YES 961 | YES 55 | YES 64 | YES 847 | YES 690 |
| tpdb-8.0/TRS/SK90/2.24.xml | YES 879 | YES 42 | YES 59 | YES 649 | YES 483 |
| tpdb-8.0/TRS/SK90/2.25.xml | YES 912 | YES 45 | YES 63 | YES 755 | YES 584 |
| tpdb-8.0/TRS/SK90/2.26.xml | YES 1057 | YES 553 | YES 69 | YES 1111 | YES 1561 |
| tpdb-8.0/TRS/SK90/2.27.xml | YES 997 | YES 62 | YES 69 | YES 1552 | YES 996 |
| tpdb-8.0/TRS/SK90/2.28.xml | YES 837 | YES 38 | YES 55 | YES 554 | YES 381 |
| tpdb-8.0/TRS/SK90/2.29.xml | YES 1030 | YES 74 | YES 60 | YES 1012 | YES 1239 |
| tpdb-8.0/TRS/SK90/2.30.xml | YES 898 | YES 56 | YES 61 | YES 799 | YES 441 |
| tpdb-8.0/TRS/SK90/2.31.xml | YES 774 | YES 47 | YES 63 | YES 841 | YES 449 |
| tpdb-8.0/TRS/SK90/2.32.xml | YES 969 | YES 65 | YES 61 | YES 718 | YES 559 |
| tpdb-8.0/TRS/SK90/2.33.xml | YES 768 | YES 44 | YES 63 | YES 667 | YES 409 |
| tpdb-8.0/TRS/SK90/2.34.xml | YES 1097 | YES 55 | YES 62 | YES 780 | YES 618 |
| tpdb-8.0/TRS/SK90/2.35.xml | YES 902 | YES 181 | YES 78 | YES 642 | YES 491 |
| tpdb-8.0/TRS/SK90/2.36.xml | YES 782 | YES 75 | YES 87 | YES 554 | YES 371 |
| tpdb-8.0/TRS/SK90/2.37.xml | YES 1142 | YES 81 | YES 97 | YES 556 | YES 377 |
| tpdb-8.0/TRS/SK90/2.38.xml | YES 766 | YES 40 | YES 59 | YES 668 | YES 384 |
| tpdb-8.0/TRS/SK90/2.39.xml | YES 988 | YES 54 | YES 68 | YES 787 | YES 709 |
| tpdb-8.0/TRS/SK90/2.40.xml | YES 948 | YES 46 | YES 65 | YES 690 | YES 503 |
| tpdb-8.0/TRS/SK90/2.41.xml | YES 778 | YES 53 | YES 65 | YES 865 | YES 493 |
| tpdb-8.0/TRS/SK90/2.42.xml | YES 915 | YES 58 | YES 71 | YES 1158 | YES 749 |
| tpdb-8.0/TRS/SK90/2.43.xml | YES 1187 | YES 344 | YES 67 | YES 1069 | YES 1109 |
| tpdb-8.0/TRS/SK90/2.44.xml | YES 1257 | YES 381 | YES 97 | YES 1043 | YES 1373 |
| tpdb-8.0/TRS/SK90/2.45.xml | YES 1298 | YES 602 | YES 60 | YES 1528 | YES 2038 |
| tpdb-8.0/TRS/SK90/2.46.xml | YES 1516 | YES 77 | YES 109 | YES 1135 | YES 490 |
| tpdb-8.0/TRS/SK90/2.47.xml | YES 770 | YES 36 | YES 42 | YES 994 | YES 318 |
| tpdb-8.0/TRS/SK90/2.48.xml | YES 786 | YES 43 | YES 58 | YES 1709 | YES 475 |
| tpdb-8.0/TRS/SK90/2.49.xml | YES 788 | YES 329 | YES 62 | YES 1271 | YES 695 |
| tpdb-8.0/TRS/SK90/2.50.xml | YES 745 | YES 35 | YES 43 | YES 780 | YES 338 |
| tpdb-8.0/TRS/SK90/2.51.xml | YES 904 | YES 40 | YES 62 | YES 664 | YES 489 |
| tpdb-8.0/TRS/SK90/2.52.xml | YES 1235 | YES 68 | YES 77 | YES 984 | YES 1627 |
| tpdb-8.0/TRS/SK90/2.53.xml | YES 760 | YES 51 | YES 57 | YES 603 | YES 390 |
| tpdb-8.0/TRS/SK90/2.54.xml | YES 850 | YES 39 | YES 60 | YES 595 | YES 330 |
| tpdb-8.0/TRS/SK90/2.55.xml | YES 848 | YES 38 | YES 66 | YES 604 | YES 332 |
| tpdb-8.0/TRS/SK90/2.56.xml | YES 767 | YES 60 | YES 41 | YES 581 | YES 353 |
| tpdb-8.0/TRS/SK90/2.57.xml | YES 872 | YES 54 | YES 42 | YES 599 | YES 580 |
| tpdb-8.0/TRS/SK90/2.58.xml | YES 915 | YES 43 | YES 59 | YES 658 | YES 427 |
| tpdb-8.0/TRS/SK90/2.59.xml | YES 840 | YES 38 | YES 42 | YES 618 | YES 315 |
| tpdb-8.0/TRS/SK90/2.60.xml | YES 870 | YES 54 | YES 59 | YES 571 | YES 1255 |
| tpdb-8.0/TRS/SK90/2.61.xml | YES 836 | YES 88 | YES 69 | YES 1039 | YES 1398 |
| tpdb-8.0/TRS/SK90/4.01.xml | YES 768 | YES 43 | YES 55 | YES 642 | YES 479 |
| tpdb-8.0/TRS/SK90/4.02.xml | YES 1095 | YES 332 | YES 3486 | YES 1041 | YES 28496 |
| tpdb-8.0/TRS/SK90/4.03.xml | YES 979 | YES 46 | YES 65 | YES 804 | YES 609 |
| tpdb-8.0/TRS/SK90/4.04.xml | YES 762 | YES 57 | YES 61 | YES 586 | YES 360 |
| tpdb-8.0/TRS/SK90/4.05.xml | YES 901 | YES 42 | YES 59 | YES 677 | YES 456 |
| tpdb-8.0/TRS/SK90/4.06.xml | NO 1653 | MAYBE 438 | NO 568 | NO 802 | MAYBE 50680 |
| tpdb-8.0/TRS/SK90/4.07.xml | YES 741 | YES 39 | YES 60 | YES 727 | YES 339 |
| tpdb-8.0/TRS/SK90/4.08.xml | YES 827 | YES 40 | YES 58 | YES 538 | YES 322 |
| tpdb-8.0/TRS/SK90/4.09.xml | YES 964 | YES 45 | YES 68 | YES 784 | YES 532 |
| tpdb-8.0/TRS/SK90/4.10.xml | YES 938 | YES 43 | YES 60 | YES 720 | YES 501 |
| tpdb-8.0/TRS/SK90/4.11.xml | YES 764 | YES 40 | YES 59 | YES 622 | YES 346 |
| tpdb-8.0/TRS/SK90/4.12.xml | YES 875 | YES 147 | YES 76 | YES 581 | YES 946 |
| tpdb-8.0/TRS/SK90/4.13.xml | YES 1007 | YES 1792 | YES 93 | YES 1167 | YES 8771 |
| tpdb-8.0/TRS/SK90/4.14.xml | YES 972 | YES 51 | YES 65 | YES 863 | YES 766 |
| tpdb-8.0/TRS/SK90/4.15.xml | YES 745 | YES 40 | YES 56 | YES 611 | YES 339 |
| tpdb-8.0/TRS/SK90/4.16.xml | YES 967 | YES 59 | YES 59 | YES 839 | YES 1025 |
| tpdb-8.0/TRS/SK90/4.17.xml | YES 1476 | YES 673 | YES 277 | YES 937 | YES 6797 |
| tpdb-8.0/TRS/SK90/4.18.xml | YES 963 | YES 216 | YES 57 | YES 843 | YES 655 |
| tpdb-8.0/TRS/SK90/4.19.xml | YES 758 | YES 94 | YES 77 | YES 586 | YES 303 |
| tpdb-8.0/TRS/SK90/4.20.xml | YES 962 | YES 57 | YES 64 | YES 727 | YES 599 |
| tpdb-8.0/TRS/SK90/4.21.xml | YES 926 | YES 60 | YES 76 | YES 769 | YES 568 |
| tpdb-8.0/TRS/SK90/4.22.xml | YES 921 | YES 44 | YES 65 | YES 738 | YES 530 |
| tpdb-8.0/TRS/SK90/4.23.xml | YES 927 | YES 47 | YES 60 | YES 715 | YES 612 |
| tpdb-8.0/TRS/SK90/4.24.xml | YES 1276 | MAYBE 1754 | TIMEOUT 60048 | YES 1276 | YES 1919 |
| tpdb-8.0/TRS/SK90/4.25.xml | YES 755 | YES 41 | YES 59 | YES 704 | YES 451 |
| tpdb-8.0/TRS/SK90/4.26.xml | YES 1034 | YES 47 | YES 63 | YES 900 | YES 706 |
| tpdb-8.0/TRS/SK90/4.27.xml | YES 1116 | YES 1726 | YES 64 | YES 1226 | YES 773 |
| tpdb-8.0/TRS/SK90/4.28.xml | YES 1181 | YES 109 | YES 71 | YES 1306 | YES 319 |
| tpdb-8.0/TRS/SK90/4.29.xml | YES 791 | YES 51 | YES 62 | YES 693 | YES 703 |
| tpdb-8.0/TRS/SK90/4.30.xml | YES 1200 | YES 907 | YES 150 | YES 1389 | YES 1413 |
| tpdb-8.0/TRS/SK90/4.31.xml | YES 1490 | YES 229 | YES 93 | YES 933 | YES 1077 |
| tpdb-8.0/TRS/SK90/4.32.xml | YES 1996 | YES 705 | YES 7868 | YES 1366 | TIMEOUT 60078 |
| tpdb-8.0/TRS/SK90/4.33.xml | YES 776 | YES 37 | YES 72 | YES 772 | YES 378 |
| tpdb-8.0/TRS/SK90/4.34.xml | NO 722 | MAYBE 3773 | TIMEOUT 60041 | NO 822 | MAYBE 38254 |
| tpdb-8.0/TRS/SK90/4.35.xml | YES 748 | YES 68 | YES 40 | YES 758 | YES 343 |
| tpdb-8.0/TRS/SK90/4.36.xml | YES 769 | YES 63 | YES 42 | YES 779 | YES 348 |
| tpdb-8.0/TRS/SK90/4.37.xml | YES 770 | YES 38 | YES 40 | YES 727 | YES 256 |
| tpdb-8.0/TRS/SK90/4.38.xml | YES 762 | YES 43 | YES 63 | YES 756 | YES 514 |
| tpdb-8.0/TRS/SK90/4.39.xml | YES 841 | YES 42 | YES 108 | YES 567 | YES 390 |
| tpdb-8.0/TRS/SK90/4.40.xml | NO 4119 | MAYBE 558 | MAYBE 1106 | MAYBE 10653 | MAYBE 21692 |
| tpdb-8.0/TRS/SK90/4.41.xml | YES 1016 | YES 75 | YES 73 | YES 833 | YES 456 |
| tpdb-8.0/TRS/SK90/4.42.xml | YES 983 | YES 146 | YES 62 | YES 767 | YES 584 |
| tpdb-8.0/TRS/SK90/4.43.xml | YES 981 | YES 59 | YES 102 | YES 1334 | YES 1225 |
| tpdb-8.0/TRS/SK90/4.44.xml | YES 771 | YES 92 | YES 86 | YES 701 | YES 397 |
| tpdb-8.0/TRS/SK90/4.45.xml | YES 737 | YES 39 | YES 41 | YES 585 | YES 271 |
| tpdb-8.0/TRS/SK90/4.46.xml | YES 745 | YES 59 | YES 41 | YES 534 | YES 308 |
| tpdb-8.0/TRS/SK90/4.47.xml | YES 1990 | YES 6001 | YES 59 | YES 758 | YES 272 |
| tpdb-8.0/TRS/SK90/4.48.xml | YES 759 | YES 42 | YES 66 | YES 651 | YES 270 |
| tpdb-8.0/TRS/SK90/4.49.xml | NO 1354 | MAYBE 582 | NO 59 | NO 435 | MAYBE 38628 |
| tpdb-8.0/TRS/SK90/4.50.xml | YES 1060 | MAYBE 65 | YES 40 | YES 607 | YES 292 |
| tpdb-8.0/TRS/SK90/4.51.xml | YES 1060 | YES 353 | YES 96 | YES 778 | YES 3646 |
| tpdb-8.0/TRS/SK90/4.52.xml | YES 757 | YES 48 | YES 63 | YES 1054 | YES 679 |
| tpdb-8.0/TRS/SK90/4.53.xml | YES 956 | YES 62 | YES 61 | YES 819 | YES 618 |
| tpdb-8.0/TRS/SK90/4.54.xml | NO 7878 | MAYBE 50027 | TIMEOUT 60061 | NO 758 | MAYBE 51297 |
| tpdb-8.0/TRS/SK90/4.55.xml | YES 969 | MAYBE 89 | YES 161 | YES 590 | YES 1169 |
| tpdb-8.0/TRS/SK90/4.56.xml | YES 891 | YES 82 | YES 41 | YES 620 | YES 370 |
| tpdb-8.0/TRS/SK90/4.57.xml | YES 976 | YES 197 | YES 74 | YES 881 | YES 693 |
| tpdb-8.0/TRS/SK90/4.59.xml | YES 1165 | YES 486 | YES 104 | YES 1235 | YES 1306 |
| tpdb-8.0/TRS/SK90/4.60.xml | YES 1282 | YES 491 | YES 96 | YES 1107 | YES 1586 |
| tpdb-8.0/TRS/SK90/4.61.xml | YES 1655 | TIMEOUT 60037 | YES 9179 | YES 2223 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | NO 1242 | MAYBE 112 | MAYBE 253 | NO 781 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | NO 4301 | MAYBE 75 | MAYBE 145 | MAYBE 10536 | MAYBE 1816 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.14.xml | NO 1282 | MAYBE 259 | MAYBE 401 | NO 648 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml | NO 1404 | TIMEOUT 60032 | MAYBE 970 | NO 711 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml | NO 1463 | MAYBE 121 | NO 160 | NO 615 | MAYBE 5827 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | NO 1800 | TIMEOUT 60030 | MAYBE 6310 | NO 1374 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | NO 729 | TIMEOUT 60034 | TIMEOUT 60045 | NO 857 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.19.xml | TIMEOUT 60602 | MAYBE 409 | TIMEOUT 60047 | MAYBE 7124 | MAYBE 24823 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | YES 733 | YES 1569 | YES 78 | YES 641 | YES 516 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | YES 731 | YES 88 | YES 42 | YES 545 | YES 341 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml | YES 750 | YES 165 | YES 41 | YES 576 | YES 922 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml | YES 944 | YES 122 | YES 61 | YES 706 | YES 499 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.23.xml | YES 1384 | YES 273 | YES 80 | YES 794 | YES 1039 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | YES 958 | MAYBE 69 | YES 148 | MAYBE 6674 | MAYBE 1796 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.26.xml | YES 1296 | MAYBE 422 | YES 122 | YES 1102 | TIMEOUT 60037 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | YES 1047 | YES 1688 | YES 94 | YES 1218 | YES 10598 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml | YES 793 | YES 872 | YES 95 | YES 1377 | YES 8321 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml | YES 1592 | MAYBE 5932 | YES 173 | YES 1889 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.2.xml | NO 1604 | MAYBE 486 | MAYBE 1063 | NO 648 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml | YES 1661 | MAYBE 1377 | YES 236 | YES 7793 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | YES 3996 | TIMEOUT 60031 | YES 3081 | YES 9020 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | YES 1460 | TIMEOUT 60030 | YES 3371 | YES 8973 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | YES 4087 | MAYBE 1666 | YES 5179 | MAYBE 10581 | TIMEOUT 60043 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | YES 961 | YES 156 | YES 60 | YES 806 | YES 601 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml | YES 1229 | YES 1615 | YES 115 | YES 1529 | YES 1674 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.34.xml | YES 1168 | YES 293 | YES 107 | YES 1551 | YES 2009 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml | YES 2155 | YES 2691 | YES 256 | YES 3205 | YES 9086 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | YES 2052 | YES 835 | YES 152 | YES 2845 | YES 3790 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | YES 1023 | YES 671 | YES 103 | YES 900 | YES 927 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml | YES 983 | YES 510 | YES 91 | YES 736 | YES 807 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | NO 1159 | MAYBE 71 | MAYBE 147 | MAYBE 10532 | MAYBE 1196 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | NO 1169 | MAYBE 121 | MAYBE 166 | NO 833 | MAYBE 32339 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | NO 1405 | MAYBE 9467 | MAYBE 839 | NO 1542 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | NO 2043 | MAYBE 712 | NO 884 | NO 451 | MAYBE 40585 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | NO 2196 | MAYBE 170 | NO 661 | NO 436 | MAYBE 11900 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | NO 1741 | MAYBE 190 | NO 784 | NO 439 | MAYBE 7487 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | NO 1807 | MAYBE 287 | NO 678 | NO 445 | MAYBE 16862 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | NO 2037 | MAYBE 319 | NO 62 | NO 447 | MAYBE 16555 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | NO 1343 | MAYBE 747 | NO 257 | NO 444 | MAYBE 30274 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | NO 1148 | MAYBE 68 | MAYBE 152 | NO 560 | MAYBE 1481 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | NO 1670 | MAYBE 257 | NO 794 | NO 443 | MAYBE 17235 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | NO 1372 | MAYBE 265 | NO 489 | NO 610 | NO 8538 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | NO 1230 | MAYBE 68 | MAYBE 262 | MAYBE 6651 | MAYBE 1501 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | NO 1926 | MAYBE 632 | NO 1072 | NO 450 | MAYBE 37930 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml | NO 1813 | MAYBE 311 | NO 899 | NO 445 | MAYBE 17852 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | NO 1688 | MAYBE 170 | NO 785 | NO 441 | MAYBE 8615 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | NO 2259 | MAYBE 435 | NO 900 | NO 445 | MAYBE 26546 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | NO 1853 | MAYBE 594 | NO 693 | NO 447 | NO 29254 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | NO 1187 | MAYBE 98 | TIMEOUT 60036 | NO 432 | NO 1833 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | NO 2245 | MAYBE 2136 | NO 3092 | NO 622 | NO 36485 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml | NO 1796 | MAYBE 888 | NO 1832 | NO 450 | MAYBE 38372 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | NO 1763 | MAYBE 167 | NO 683 | NO 473 | MAYBE 8094 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | NO 1453 | MAYBE 81 | NO 42 | NO 433 | NO 723 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | YES 1022 | YES 383 | YES 82 | YES 954 | YES 1176 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml | NO 1413 | MAYBE 279 | NO 407 | NO 439 | MAYBE 15610 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | NO 1913 | MAYBE 729 | NO 65 | NO 455 | MAYBE 41856 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | NO 1835 | MAYBE 150 | NO 140 | NO 438 | NO 2432 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | NO 2178 | MAYBE 826 | NO 72 | NO 460 | MAYBE 43176 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml | NO 1787 | MAYBE 241 | NO 675 | NO 439 | MAYBE 15722 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | NO 1444 | MAYBE 70 | NO 42 | NO 435 | NO 904 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | NO 1781 | MAYBE 205 | NO 709 | NO 439 | MAYBE 10289 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | NO 1808 | MAYBE 293 | NO 898 | NO 444 | MAYBE 20260 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | NO 1355 | MAYBE 666 | NO 375 | NO 442 | MAYBE 23233 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml | NO 2071 | MAYBE 4912 | NO 679 | NO 450 | MAYBE 40332 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | NO 2190 | MAYBE 829 | NO 886 | NO 457 | MAYBE 41560 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | NO 714 | MAYBE 78 | NO 43 | NO 432 | NO 1356 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | NO 1572 | MAYBE 593 | NO 63 | NO 442 | NO 3971 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | NO 1569 | MAYBE 448 | NO 61 | NO 442 | NO 3760 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml | NO 2237 | TIMEOUT 60045 | NO 696 | NO 450 | MAYBE 41905 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | NO 1814 | MAYBE 1067 | NO 364 | NO 446 | MAYBE 27648 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | YES 12382 | MAYBE 152 | MAYBE 473 | MAYBE 6723 | MAYBE 7125 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | NO 1105 | MAYBE 98 | NO 41 | NO 433 | NO 1006 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | NO 2189 | MAYBE 145 | NO 41 | NO 435 | MAYBE 5077 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | NO 1398 | MAYBE 135 | NO 42 | NO 439 | NO 2236 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | NO 1503 | MAYBE 127 | NO 170 | NO 655 | NO 26185 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | NO 1519 | MAYBE 72 | NO 41 | NO 437 | NO 731 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | NO 1557 | MAYBE 327 | TIMEOUT 60049 | NO 867 | MAYBE 12323 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | NO 2012 | MAYBE 820 | NO 61 | NO 452 | MAYBE 41372 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | NO 1206 | MAYBE 73 | NO 152 | NO 683 | MAYBE 3437 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | NO 1242 | MAYBE 4343 | NO 312 | NO 662 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | NO 757 | MAYBE 9141 | NO 1073 | NO 801 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | NO 11485 | MAYBE 429 | MAYBE 13407 | NO 936 | MAYBE 34857 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | NO 1275 | MAYBE 157 | MAYBE 168 | NO 839 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | NO 4587 | MAYBE 262 | MAYBE 288 | MAYBE 10548 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | NO 11200 | MAYBE 243 | MAYBE 294 | MAYBE 10533 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | YES 990 | YES 385 | YES 77 | YES 823 | YES 582 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | NO 1344 | MAYBE 145 | MAYBE 261 | NO 801 | MAYBE 2097 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | NO 1177 | MAYBE 67 | MAYBE 149 | MAYBE 10535 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | YES 961 | YES 347 | YES 58 | YES 852 | YES 1698 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | YES 1427 | TIMEOUT 60033 | TIMEOUT 60052 | MAYBE 10658 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | YES 1344 | YES 205 | YES 74 | YES 1278 | YES 1716 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | YES 31071 | MAYBE 25393 | TIMEOUT 60043 | MAYBE 10810 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml | YES 17451 | MAYBE 34763 | TIMEOUT 60051 | MAYBE 10817 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | NO 672 | MAYBE 26 | NO 124 | NO 447 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | YES 1330 | YES 173 | YES 67 | YES 1229 | YES 1535 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | YES 1579 | YES 1259 | YES 130 | YES 2011 | YES 4014 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | YES 974 | YES 80 | YES 67 | YES 793 | YES 618 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | YES 2124 | YES 970 | YES 430 | YES 1580 | YES 13000 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml | YES 4015 | YES 6760 | YES 900 | YES 2246 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | NO 633 | MAYBE 27 | NO 40 | NO 434 | NO 167 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | YES 951 | YES 51 | YES 59 | YES 770 | YES 585 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | YES 977 | YES 2894 | TIMEOUT 60037 | YES 4379 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml | NO 8178 | MAYBE 754 | TIMEOUT 60031 | MAYBE 10634 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | YES 1312 | YES 251 | YES 90 | YES 2040 | YES 1387 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml | YES 3151 | YES 3607 | YES 673 | YES 3266 | YES 21197 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml | NO 1081 | MAYBE 91 | NO 221 | NO 612 | NO 699 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml | NO 4377 | MAYBE 605 | MAYBE 12447 | NO 1384 | MAYBE 57593 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | YES 1302 | TIMEOUT 60030 | TIMEOUT 60031 | MAYBE 10704 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | NO 2218 | MAYBE 179 | MAYBE 2024 | NO 844 | NO 3339 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | TIMEOUT 60690 | MAYBE 499 | TIMEOUT 60034 | NO 1448 | NO 37009 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml | TIMEOUT 60640 | MAYBE 31734 | TIMEOUT 60033 | MAYBE 10725 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | NO 1319 | MAYBE 161 | NO 361 | NO 643 | MAYBE 1766 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | YES 1307 | YES 6516 | YES 17429 | YES 1560 | YES 24854 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | YES 786 | YES 909 | YES 60 | YES 829 | YES 556 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | YES 752 | YES 913 | YES 63 | YES 648 | YES 498 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | YES 789 | YES 4047 | YES 80 | YES 904 | YES 2319 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | NO 1240 | MAYBE 38 | NO 42 | NO 443 | NO 348 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | YES 767 | YES 470 | YES 59 | YES 644 | YES 538 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | YES 1001 | YES 2200 | YES 230 | YES 4103 | YES 9794 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | YES 4921 | MAYBE 23123 | YES 1624 | YES 5049 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | YES 1270 | YES 235 | YES 190 | YES 1031 | YES 1438 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | YES 4069 | YES 2257 | YES 577 | YES 4207 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | NO 655 | MAYBE 26 | NO 66 | NO 439 | NO 172 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | YES 1282 | YES 3360 | YES 110 | YES 1586 | YES 2104 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | YES 945 | TIMEOUT 60212 | TIMEOUT 60034 | MAYBE 10770 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml | YES 897 | MAYBE 84 | YES 42 | YES 723 | YES 313 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | YES 937 | MAYBE 145 | YES 62 | YES 965 | YES 415 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | YES 1606 | MAYBE 865 | MAYBE 58881 | YES 1901 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | NO 1093 | MAYBE 60 | NO 141 | NO 432 | NO 749 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | YES 1100 | YES 5261 | YES 109 | YES 1566 | YES 1965 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | YES 1336 | YES 55 | YES 59 | YES 765 | YES 629 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | YES 758 | YES 742 | YES 62 | YES 710 | YES 514 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | YES 945 | YES 2023 | YES 85 | YES 1036 | YES 2705 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | YES 730 | YES 38 | YES 40 | YES 528 | YES 271 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | YES 746 | YES 41 | YES 64 | YES 675 | YES 605 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | YES 994 | YES 4748 | YES 9953 | YES 6638 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | TIMEOUT 60571 | MAYBE 37759 | TIMEOUT 60033 | MAYBE 10725 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | YES 1129 | YES 121 | YES 81 | YES 1131 | YES 1163 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml | YES 3741 | YES 7164 | YES 1158 | YES 3803 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | NO 1482 | MAYBE 90 | NO 41 | NO 438 | NO 427 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | NO 20289 | TIMEOUT 60030 | TIMEOUT 60033 | MAYBE 10662 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | TIMEOUT 60621 | TIMEOUT 60031 | TIMEOUT 60052 | MAYBE 10695 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | TIMEOUT 60500 | TIMEOUT 60030 | TIMEOUT 60033 | MAYBE 10736 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | TIMEOUT 60579 | MAYBE 40111 | TIMEOUT 60040 | MAYBE 10757 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | TIMEOUT 60467 | MAYBE 36962 | TIMEOUT 60049 | MAYBE 10749 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | NO 651 | MAYBE 27 | NO 62 | NO 442 | NO 172 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | NO 1336 | MAYBE 1081 | NO 61 | NO 484 | MAYBE 25379 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | YES 1332 | TIMEOUT 60029 | TIMEOUT 60042 | MAYBE 10748 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | NO 1197 | MAYBE 82 | MAYBE 145 | NO 801 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | NO 3729 | MAYBE 341 | MAYBE 3613 | MAYBE 10624 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml | NO 9918 | MAYBE 2185 | TIMEOUT 60037 | MAYBE 10672 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | NO 1140 | MAYBE 75 | NO 41 | NO 434 | NO 410 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | YES 1149 | TIMEOUT 60030 | TIMEOUT 60046 | MAYBE 10744 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | YES 1350 | MAYBE 2373 | YES 148 | YES 1746 | YES 1987 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | TIMEOUT 60454 | MAYBE 3945 | TIMEOUT 60034 | MAYBE 10729 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml | TIMEOUT 60427 | TIMEOUT 60030 | TIMEOUT 60036 | MAYBE 10743 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | NO 641 | MAYBE 26 | NO 41 | NO 438 | NO 168 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | YES 1082 | YES 78 | YES 64 | YES 934 | YES 761 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | YES 1006 | YES 3459 | YES 2850 | MAYBE 10772 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | NO 5227 | MAYBE 3129 | NO 2676 | NO 1691 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | YES 1940 | YES 1877 | YES 744 | YES 3563 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml | YES 4288 | YES 3120 | YES 4105 | YES 5063 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | NO 640 | MAYBE 26 | NO 41 | NO 438 | NO 174 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | NO 1757 | MAYBE 711 | NO 56 | NO 443 | NO 20297 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | YES 2035 | YES 5506 | YES 16297 | YES 1564 | YES 24341 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | NO 1354 | MAYBE 726 | MAYBE 4098 | NO 1072 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | YES 767 | YES 62 | YES 78 | YES 641 | YES 452 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | YES 797 | YES 5141 | YES 102 | YES 1155 | YES 846 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | NO 1081 | MAYBE 58 | NO 375 | NO 597 | NO 482 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | YES 1657 | YES 5346 | YES 114 | YES 1653 | YES 3010 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | YES 1163 | YES 85 | YES 59 | YES 876 | YES 716 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | YES 771 | YES 45 | YES 58 | YES 843 | YES 920 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | YES 1095 | YES 5494 | YES 92 | YES 1566 | YES 6025 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | YES 737 | YES 35 | YES 42 | YES 522 | YES 243 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | YES 774 | YES 43 | YES 41 | YES 617 | YES 743 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | YES 953 | TIMEOUT 60030 | TIMEOUT 60044 | MAYBE 10714 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | TIMEOUT 60552 | MAYBE 322 | MAYBE 322 | MAYBE 6773 | MAYBE 8620 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | NO 33070 | MAYBE 153 | MAYBE 146 | MAYBE 6758 | MAYBE 8551 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml | TIMEOUT 60700 | MAYBE 1090 | TIMEOUT 60031 | MAYBE 10595 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml | NO 1089 | MAYBE 55 | NO 41 | NO 432 | NO 371 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | TIMEOUT 60495 | MAYBE 313 | MAYBE 200 | NO 1571 | MAYBE 8164 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | YES 887 | YES 2590 | TIMEOUT 60040 | YES 3222 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | NO 1269 | MAYBE 573 | MAYBE 193 | NO 701 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | NO 1297 | MAYBE 368 | MAYBE 221 | NO 928 | TIMEOUT 60036 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml | NO 8958 | TIMEOUT 60029 | TIMEOUT 60040 | MAYBE 10723 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | NO 1073 | MAYBE 65 | NO 140 | NO 435 | NO 775 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | YES 1061 | YES 638 | YES 138 | YES 4655 | YES 3967 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | YES 1576 | YES 473 | YES 109 | YES 4187 | YES 1251 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | YES 800 | YES 58 | YES 62 | YES 1820 | YES 895 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml | YES 3370 | YES 1884 | YES 171 | YES 2224 | YES 18074 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | YES 1152 | YES 42 | YES 42 | YES 564 | YES 278 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | YES 913 | YES 175 | YES 77 | YES 3053 | YES 785 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | YES 1044 | YES 3084 | YES 516 | YES 5181 | YES 12802 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | YES 5439 | MAYBE 8298 | TIMEOUT 60046 | MAYBE 10715 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | YES 2586 | YES 711 | YES 199 | YES 5451 | YES 6515 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml | YES 3837 | YES 5292 | YES 550 | YES 8498 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | YES 781 | YES 61 | YES 60 | YES 661 | YES 570 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | YES 2537 | TIMEOUT 60031 | YES 39033 | YES 4062 | YES 5216 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | YES 1206 | YES 3741 | TIMEOUT 60051 | YES 5581 | YES 26602 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | YES 1485 | YES 582 | YES 163 | YES 2802 | YES 3517 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | YES 3280 | YES 1604 | TIMEOUT 60041 | MAYBE 10715 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | YES 5726 | YES 3428 | TIMEOUT 60050 | YES 8131 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | YES 974 | YES 62 | YES 68 | YES 870 | YES 826 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | YES 1071 | YES 104 | YES 70 | YES 1103 | YES 1179 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | YES 974 | YES 1846 | YES 202 | YES 3795 | YES 10601 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | YES 1741 | YES 786 | YES 380 | YES 5246 | YES 6579 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | YES 1806 | YES 628 | YES 193 | YES 3590 | YES 6739 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml | YES 3390 | YES 2849 | YES 384 | YES 5147 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | YES 757 | YES 49 | YES 57 | YES 563 | YES 312 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | YES 1226 | YES 98 | YES 112 | YES 1207 | YES 1412 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | YES 1055 | TIMEOUT 60029 | TIMEOUT 60036 | MAYBE 10732 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | YES 945 | YES 58 | YES 318 | YES 752 | YES 595 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 60509 | MAYBE 2675 | TIMEOUT 60059 | MAYBE 10708 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | TIMEOUT 60555 | TIMEOUT 60030 | TIMEOUT 60049 | MAYBE 10715 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | NO 636 | MAYBE 26 | NO 44 | NO 476 | NO 172 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | YES 928 | YES 45 | YES 64 | YES 729 | YES 503 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | TIMEOUT 60661 | TIMEOUT 60032 | TIMEOUT 60041 | MAYBE 10577 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | TIMEOUT 60488 | MAYBE 3801 | TIMEOUT 60047 | MAYBE 10704 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | TIMEOUT 61175 | MAYBE 2729 | TIMEOUT 60049 | MAYBE 10705 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml | TIMEOUT 60452 | TIMEOUT 60032 | TIMEOUT 60043 | MAYBE 10778 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | NO 645 | MAYBE 27 | NO 42 | NO 442 | NO 167 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | TIMEOUT 60484 | MAYBE 27237 | TIMEOUT 60042 | MAYBE 10682 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | YES 991 | YES 2200 | YES 374 | YES 4165 | YES 10781 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | TIMEOUT 60525 | MAYBE 4629 | TIMEOUT 60041 | MAYBE 10702 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | YES 2017 | YES 1273 | YES 276 | YES 6554 | YES 12878 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml | YES 4558 | YES 3114 | YES 444 | YES 5982 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | YES 762 | YES 45 | YES 520 | YES 693 | YES 509 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml | NO 1802 | MAYBE 7450 | NO 66 | NO 452 | NO 13653 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | YES 988 | YES 600 | YES 112 | YES 1307 | YES 2617 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | NO 3870 | MAYBE 998 | MAYBE 43679 | NO 1073 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | YES 1162 | YES 201 | YES 102 | YES 1739 | YES 1008 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | YES 1277 | YES 486 | YES 89 | YES 1392 | YES 3792 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | YES 745 | YES 35 | YES 55 | YES 695 | YES 230 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml | NO 1759 | MAYBE 799 | MAYBE 11400 | NO 838 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | YES 967 | YES 12462 | YES 27767 | YES 3130 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | YES 1130 | YES 2132 | YES 80 | YES 882 | YES 1048 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | YES 1190 | YES 2773 | YES 98 | YES 1433 | YES 989 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml | YES 2975 | YES 4386 | YES 377 | YES 2276 | YES 43404 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | YES 750 | YES 289 | YES 75 | YES 683 | YES 467 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | YES 999 | YES 1803 | YES 76 | YES 742 | YES 1081 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | YES 1979 | TIMEOUT 60031 | TIMEOUT 60048 | MAYBE 10759 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | YES 1892 | MAYBE 11102 | YES 254 | YES 4542 | YES 5354 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 60820 | MAYBE 26389 | TIMEOUT 60044 | MAYBE 10752 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml | TIMEOUT 60404 | TIMEOUT 60034 | TIMEOUT 60047 | MAYBE 10799 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | NO 664 | MAYBE 27 | NO 63 | NO 445 | NO 171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | YES 1369 | YES 596 | YES 103 | YES 1585 | YES 1583 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | YES 1077 | TIMEOUT 60029 | TIMEOUT 60037 | MAYBE 10717 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | YES 936 | YES 58 | YES 62 | YES 746 | YES 564 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | YES 2940 | MAYBE 2742 | TIMEOUT 60057 | YES 2128 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | YES 5434 | TIMEOUT 60028 | TIMEOUT 60057 | YES 6626 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | NO 640 | MAYBE 25 | NO 40 | NO 437 | NO 173 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | YES 904 | YES 47 | YES 64 | YES 698 | YES 494 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | YES 889 | YES 908 | YES 200 | YES 2436 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | YES 780 | YES 60 | YES 42 | YES 597 | YES 407 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | YES 782 | YES 66 | YES 82 | YES 896 | YES 524 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | YES 1187 | YES 814 | YES 227 | YES 1144 | YES 4067 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 634 | MAYBE 26 | NO 54 | NO 434 | NO 171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | YES 1118 | YES 4752 | YES 5356 | YES 3613 | YES 34159 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | YES 4159 | TIMEOUT 60045 | TIMEOUT 60046 | YES 8796 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | YES 2338 | YES 1016 | YES 791 | YES 5453 | YES 5958 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml | YES 3681 | YES 3849 | YES 1861 | YES 4889 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | NO 645 | MAYBE 26 | NO 42 | NO 440 | NO 168 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | YES 1271 | YES 787 | YES 127 | YES 1820 | YES 2265 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | YES 2354 | TIMEOUT 60036 | TIMEOUT 60050 | MAYBE 10871 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml | NO 8475 | MAYBE 11928 | TIMEOUT 60048 | NO 3334 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | YES 13182 | TIMEOUT 60031 | TIMEOUT 60053 | MAYBE 10779 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml | YES 30925 | TIMEOUT 60037 | TIMEOUT 60051 | MAYBE 10586 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | NO 683 | MAYBE 27 | NO 60 | NO 448 | NO 172 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml | NO 8715 | MAYBE 17803 | TIMEOUT 60043 | NO 3282 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | YES 1120 | TIMEOUT 60031 | TIMEOUT 60041 | MAYBE 10735 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | YES 991 | YES 62 | YES 62 | YES 852 | YES 752 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | TIMEOUT 60614 | MAYBE 7082 | TIMEOUT 60039 | MAYBE 10693 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | TIMEOUT 60423 | TIMEOUT 60030 | TIMEOUT 60047 | MAYBE 10748 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | NO 644 | MAYBE 26 | NO 41 | NO 443 | NO 173 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | YES 982 | YES 56 | YES 64 | YES 811 | YES 644 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | TIMEOUT 60610 | TIMEOUT 60034 | TIMEOUT 60050 | MAYBE 10816 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | TIMEOUT 60634 | MAYBE 8816 | TIMEOUT 60048 | MAYBE 10708 | TIMEOUT 60118 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | TIMEOUT 61198 | MAYBE 7966 | TIMEOUT 60065 | MAYBE 10736 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | TIMEOUT 60537 | TIMEOUT 60035 | TIMEOUT 60046 | MAYBE 10820 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | NO 676 | MAYBE 27 | NO 72 | NO 450 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | TIMEOUT 60799 | MAYBE 13780 | TIMEOUT 60043 | MAYBE 10737 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | YES 1166 | YES 13554 | TIMEOUT 60048 | MAYBE 10624 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | NO 10373 | MAYBE 13426 | TIMEOUT 60044 | MAYBE 10722 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | YES 2996 | YES 2944 | YES 5120 | YES 8642 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | YES 9692 | YES 9612 | YES 16913 | YES 10918 | TIMEOUT 60107 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | NO 687 | MAYBE 27 | NO 61 | NO 501 | NO 169 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | NO 2625 | MAYBE 3498 | NO 328 | NO 1633 | NO 50620 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | YES 935 | YES 1259 | YES 3804 | YES 2787 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | YES 968 | YES 122 | YES 126 | YES 812 | YES 985 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | YES 981 | YES 309 | YES 2034 | YES 1205 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | YES 1711 | YES 1116 | YES 8658 | YES 2194 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | NO 652 | MAYBE 26 | NO 39 | NO 435 | NO 173 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | YES 755 | YES 99 | YES 81 | YES 634 | YES 529 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | TIMEOUT 60647 | TIMEOUT 60033 | TIMEOUT 60048 | MAYBE 10885 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | TIMEOUT 60507 | MAYBE 6672 | TIMEOUT 60036 | MAYBE 10767 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | TIMEOUT 60435 | MAYBE 22082 | TIMEOUT 60042 | MAYBE 10781 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml | TIMEOUT 60400 | TIMEOUT 60040 | TIMEOUT 60049 | MAYBE 10923 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | NO 674 | MAYBE 29 | NO 60 | NO 457 | NO 177 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml | NO 10772 | MAYBE 9208 | TIMEOUT 60049 | MAYBE 10743 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | YES 1467 | YES 3030 | YES 167 | YES 1926 | YES 5646 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | YES 986 | YES 195 | YES 63 | YES 861 | YES 701 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | YES 3138 | YES 3086 | YES 44256 | YES 3436 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | YES 10126 | YES 31915 | TIMEOUT 60052 | YES 6952 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | NO 638 | MAYBE 27 | NO 40 | NO 437 | NO 171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | YES 924 | YES 158 | YES 63 | YES 1049 | YES 588 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | YES 1890 | YES 4298 | YES 161 | YES 1554 | YES 1915 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | NO 1453 | MAYBE 366 | NO 415 | NO 769 | MAYBE 36237 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | YES 775 | YES 44 | YES 80 | YES 633 | YES 465 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | YES 800 | YES 931 | YES 102 | YES 981 | YES 805 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | YES 724 | YES 56 | YES 41 | YES 515 | YES 482 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | YES 916 | YES 1042 | YES 153 | YES 3032 | YES 5074 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | YES 1642 | YES 342 | YES 136 | YES 2607 | YES 1392 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | YES 1502 | YES 345 | YES 118 | YES 3572 | YES 2217 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml | YES 2510 | YES 1378 | YES 227 | YES 4381 | YES 21676 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | YES 747 | YES 42 | YES 41 | YES 531 | YES 287 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | YES 992 | YES 62 | YES 62 | YES 770 | YES 658 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | YES 1162 | TIMEOUT 60031 | TIMEOUT 60052 | MAYBE 10789 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | YES 1375 | MAYBE 2225 | YES 189 | YES 3164 | YES 1711 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | TIMEOUT 60788 | MAYBE 5500 | TIMEOUT 60041 | MAYBE 10707 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml | TIMEOUT 60509 | TIMEOUT 60034 | TIMEOUT 60039 | MAYBE 10782 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | NO 647 | MAYBE 27 | NO 56 | NO 443 | NO 173 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | YES 1071 | YES 92 | YES 65 | YES 987 | YES 849 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | YES 1255 | TIMEOUT 60032 | TIMEOUT 60039 | MAYBE 10685 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | YES 1100 | YES 89 | YES 72 | YES 1000 | YES 1036 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | TIMEOUT 60555 | MAYBE 10436 | TIMEOUT 60047 | MAYBE 10850 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml | TIMEOUT 60529 | TIMEOUT 60034 | TIMEOUT 60041 | MAYBE 10777 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | NO 651 | MAYBE 27 | NO 57 | NO 440 | NO 173 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | YES 979 | YES 67 | YES 65 | YES 880 | YES 802 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | YES 1068 | YES 2450 | YES 364 | YES 4251 | YES 48452 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | YES 5464 | MAYBE 4968 | TIMEOUT 60047 | YES 4962 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | YES 2205 | YES 961 | YES 191 | YES 4966 | YES 11394 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml | YES 6628 | YES 4354 | YES 456 | YES 5584 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | YES 764 | YES 48 | YES 59 | YES 725 | YES 763 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | YES 1762 | YES 644 | YES 124 | YES 2491 | YES 2786 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | YES 1114 | MAYBE 55665 | TIMEOUT 60046 | MAYBE 10524 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | NO 1190 | MAYBE 76 | MAYBE 153 | NO 593 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | NO 3775 | MAYBE 500 | TIMEOUT 60058 | MAYBE 10617 | TIMEOUT 60112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml | TIMEOUT 60404 | MAYBE 1579 | TIMEOUT 60055 | MAYBE 10681 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | NO 1135 | MAYBE 75 | MAYBE 137 | NO 557 | MAYBE 1337 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | YES 1118 | YES 2022 | TIMEOUT 60040 | YES 1626 | YES 34819 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | NO 1285 | MAYBE 704 | TIMEOUT 60028 | NO 1021 | TIMEOUT 60039 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | YES 774 | YES 113 | YES 76 | YES 812 | YES 660 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml | YES 1691 | YES 1877 | YES 11423 | YES 2113 | YES 2208 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | YES 2257 | TIMEOUT 60033 | TIMEOUT 60050 | MAYBE 10879 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | YES 1383 | YES 534 | YES 74 | YES 1417 | YES 1960 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | TIMEOUT 60339 | MAYBE 43024 | TIMEOUT 60041 | MAYBE 10788 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml | YES 41605 | MAYBE 50653 | TIMEOUT 60047 | MAYBE 10900 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | NO 673 | MAYBE 29 | NO 62 | NO 453 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | YES 1380 | YES 519 | YES 76 | YES 1631 | YES 1884 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | YES 1033 | YES 511 | YES 134 | YES 2619 | YES 2633 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | YES 777 | YES 42 | YES 60 | YES 1498 | YES 534 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | YES 771 | YES 57 | YES 57 | YES 1517 | YES 567 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | YES 1920 | YES 423 | YES 90 | YES 1885 | YES 6150 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | YES 723 | YES 39 | YES 41 | YES 513 | YES 246 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml | NO 717 | MAYBE 163 | NO 43 | NO 435 | NO 1606 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | YES 1049 | YES 6498 | YES 2834 | YES 3714 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | NO 9647 | MAYBE 27814 | TIMEOUT 60032 | NO 2130 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | YES 2316 | YES 1868 | YES 1400 | YES 3387 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | YES 5762 | YES 6651 | YES 3244 | YES 9075 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 653 | MAYBE 26 | NO 42 | NO 441 | NO 165 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml | NO 7977 | TIMEOUT 60031 | TIMEOUT 60037 | NO 1590 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | YES 989 | YES 8057 | TIMEOUT 60037 | YES 5415 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | NO 13580 | TIMEOUT 60030 | TIMEOUT 60049 | MAYBE 10741 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | YES 1288 | YES 182 | YES 132 | YES 1377 | YES 3185 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | YES 4139 | YES 4578 | YES 2198 | YES 4774 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | NO 662 | MAYBE 26 | NO 41 | NO 435 | NO 168 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml | NO 8599 | TIMEOUT 60182 | TIMEOUT 60048 | NO 2647 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | YES 1477 | TIMEOUT 60049 | TIMEOUT 60050 | MAYBE 10775 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | TIMEOUT 60391 | TIMEOUT 60052 | TIMEOUT 60052 | MAYBE 10739 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | YES 17998 | TIMEOUT 60063 | TIMEOUT 60064 | MAYBE 10756 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml | TIMEOUT 60505 | TIMEOUT 60050 | TIMEOUT 60041 | MAYBE 10807 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | NO 652 | MAYBE 29 | NO 57 | NO 443 | NO 174 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | NO 5297 | TIMEOUT 60048 | TIMEOUT 60044 | NO 1608 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | TIMEOUT 60554 | TIMEOUT 60032 | TIMEOUT 60049 | MAYBE 10776 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | TIMEOUT 60569 | MAYBE 13228 | TIMEOUT 60048 | MAYBE 10732 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | TIMEOUT 60493 | MAYBE 17519 | TIMEOUT 60035 | MAYBE 10730 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml | TIMEOUT 60556 | MAYBE 25062 | TIMEOUT 60046 | MAYBE 10817 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | NO 653 | MAYBE 27 | NO 59 | NO 442 | NO 173 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml | NO 1817 | MAYBE 1126 | NO 63 | NO 451 | MAYBE 35408 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | YES 960 | YES 7815 | YES 28280 | YES 4181 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | YES 1092 | YES 2324 | YES 96 | YES 1003 | YES 5632 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | YES 1236 | YES 2484 | YES 205 | YES 1434 | YES 11970 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml | YES 5985 | YES 10148 | YES 544 | YES 1898 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | YES 755 | YES 268 | YES 91 | YES 700 | YES 2773 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | YES 999 | YES 1764 | YES 94 | YES 820 | YES 4315 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | YES 1269 | YES 4103 | TIMEOUT 60047 | YES 6858 | YES 29517 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | YES 1590 | YES 693 | YES 178 | YES 2841 | YES 4375 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | YES 3156 | YES 1828 | TIMEOUT 60047 | MAYBE 10712 | YES 57837 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | YES 4285 | YES 3687 | TIMEOUT 60046 | YES 8860 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | YES 1010 | YES 86 | YES 69 | YES 960 | YES 1133 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | YES 1162 | YES 106 | YES 73 | YES 1211 | YES 1494 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | YES 1347 | TIMEOUT 60033 | TIMEOUT 60051 | MAYBE 10879 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | YES 1303 | YES 212 | YES 69 | YES 1551 | YES 1258 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60970 | MAYBE 21251 | TIMEOUT 60046 | MAYBE 10780 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml | TIMEOUT 60448 | TIMEOUT 60035 | TIMEOUT 60048 | MAYBE 10891 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | NO 670 | MAYBE 27 | NO 71 | NO 445 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | YES 1297 | YES 158 | YES 65 | YES 1551 | YES 1114 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml | TIMEOUT 60600 | TIMEOUT 60041 | TIMEOUT 60047 | MAYBE 10956 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | TIMEOUT 61240 | TIMEOUT 60046 | TIMEOUT 60045 | MAYBE 10648 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml | YES 12099 | YES 34910 | YES 34093 | MAYBE 10829 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60430 | TIMEOUT 60042 | TIMEOUT 60054 | MAYBE 10957 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | NO 694 | MAYBE 27 | NO 68 | NO 457 | NO 172 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml | YES 4163 | TIMEOUT 60040 | TIMEOUT 60049 | MAYBE 11057 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml | TIMEOUT 60543 | TIMEOUT 60034 | TIMEOUT 60051 | MAYBE 10766 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml | YES 17928 | YES 35101 | YES 5425 | MAYBE 10886 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml | TIMEOUT 60508 | TIMEOUT 60031 | TIMEOUT 60053 | MAYBE 11038 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | NO 719 | MAYBE 29 | NO 66 | NO 471 | NO 179 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml | TIMEOUT 60414 | TIMEOUT 60033 | TIMEOUT 60047 | MAYBE 10781 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | TIMEOUT 60530 | TIMEOUT 60044 | TIMEOUT 60047 | MAYBE 10727 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml | YES 1526 | TIMEOUT 60031 | TIMEOUT 60044 | MAYBE 10753 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml | NO 24481 | TIMEOUT 60032 | TIMEOUT 60043 | MAYBE 10750 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml | YES 2758 | YES 3217 | YES 1916 | YES 8205 | TIMEOUT 60433 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml | TIMEOUT 60352 | YES 40301 | TIMEOUT 60040 | MAYBE 10641 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | NO 649 | MAYBE 27 | NO 57 | NO 444 | NO 199 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml | YES 1967 | TIMEOUT 60032 | TIMEOUT 60047 | MAYBE 10885 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | NO 23238 | MAYBE 13517 | TIMEOUT 60036 | MAYBE 10706 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml | YES 3210 | YES 8633 | YES 726 | YES 3604 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | YES 29362 | YES 46766 | TIMEOUT 60050 | MAYBE 10875 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | NO 677 | MAYBE 27 | NO 61 | NO 447 | NO 169 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | NO 15622 | MAYBE 15402 | TIMEOUT 60034 | MAYBE 10737 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | NO 23278 | TIMEOUT 60033 | TIMEOUT 60035 | MAYBE 10731 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | NO 1002 | TIMEOUT 60028 | TIMEOUT 60036 | MAYBE 10735 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | NO 1541 | MAYBE 902 | NO 1238 | NO 1547 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | NO 1724 | MAYBE 1365 | TIMEOUT 60031 | NO 1543 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | NO 14882 | TIMEOUT 60031 | TIMEOUT 60033 | MAYBE 10667 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | NO 639 | MAYBE 26 | NO 40 | NO 434 | NO 293 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | NO 1047 | TIMEOUT 60030 | TIMEOUT 60035 | MAYBE 10794 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml | NO 1925 | MAYBE 864 | MAYBE 3209 | NO 939 | MAYBE 44264 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml | NO 3145 | MAYBE 2446 | TIMEOUT 60033 | NO 1949 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | TIMEOUT 60445 | TIMEOUT 60030 | TIMEOUT 60038 | MAYBE 10798 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | NO 642 | MAYBE 26 | NO 41 | NO 439 | NO 218 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml | TIMEOUT 60749 | TIMEOUT 60050 | TIMEOUT 60048 | MAYBE 11320 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | TIMEOUT 60393 | TIMEOUT 60056 | TIMEOUT 60068 | MAYBE 10976 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml | TIMEOUT 60484 | TIMEOUT 60061 | TIMEOUT 60047 | MAYBE 11000 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml | TIMEOUT 60457 | TIMEOUT 60057 | TIMEOUT 60047 | MAYBE 11044 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | NO 760 | MAYBE 31 | NO 75 | NO 503 | NO 188 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml | YES 11589 | TIMEOUT 60043 | TIMEOUT 60075 | MAYBE 11666 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | TIMEOUT 60446 | TIMEOUT 60047 | TIMEOUT 60049 | MAYBE 11244 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml | TIMEOUT 60581 | TIMEOUT 60064 | TIMEOUT 60048 | MAYBE 11101 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml | TIMEOUT 60395 | TIMEOUT 60033 | TIMEOUT 60049 | MAYBE 11741 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | NO 817 | MAYBE 39 | NO 94 | NO 555 | NO 204 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | TIMEOUT 60493 | TIMEOUT 60045 | TIMEOUT 60046 | MAYBE 11030 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | TIMEOUT 60457 | TIMEOUT 60051 | TIMEOUT 60059 | MAYBE 10971 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60743 | TIMEOUT 60043 | TIMEOUT 60052 | MAYBE 11064 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | TIMEOUT 60376 | TIMEOUT 60059 | TIMEOUT 60053 | MAYBE 10842 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml | TIMEOUT 60404 | TIMEOUT 60041 | TIMEOUT 60056 | MAYBE 10861 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml | TIMEOUT 60379 | TIMEOUT 60051 | TIMEOUT 60048 | MAYBE 10980 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | NO 714 | MAYBE 28 | NO 64 | NO 469 | NO 191 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | YES 3371 | TIMEOUT 60039 | TIMEOUT 60050 | MAYBE 11263 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | TIMEOUT 60507 | TIMEOUT 60042 | TIMEOUT 60049 | MAYBE 10862 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | TIMEOUT 60509 | TIMEOUT 60040 | TIMEOUT 60069 | MAYBE 10947 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml | TIMEOUT 60478 | TIMEOUT 60040 | TIMEOUT 60060 | MAYBE 11008 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | NO 746 | MAYBE 30 | NO 71 | NO 485 | NO 183 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | TIMEOUT 60382 | TIMEOUT 60039 | TIMEOUT 60068 | MAYBE 10867 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | TIMEOUT 60694 | TIMEOUT 60050 | TIMEOUT 60050 | MAYBE 10827 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml | YES 1415 | TIMEOUT 60032 | TIMEOUT 60062 | MAYBE 10908 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | YES 1436 | MAYBE 3191 | YES 96 | YES 1770 | YES 1923 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml | TIMEOUT 60396 | MAYBE 23872 | TIMEOUT 60043 | MAYBE 10788 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml | TIMEOUT 60455 | TIMEOUT 60035 | TIMEOUT 60050 | MAYBE 10893 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | NO 675 | MAYBE 27 | NO 70 | NO 449 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml | YES 1664 | TIMEOUT 60037 | TIMEOUT 60073 | MAYBE 11034 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | YES 2060 | MAYBE 8347 | YES 132 | YES 2175 | YES 4828 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 60452 | TIMEOUT 60034 | TIMEOUT 60129 | MAYBE 10856 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml | TIMEOUT 60406 | TIMEOUT 60045 | TIMEOUT 60047 | MAYBE 11002 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | NO 705 | MAYBE 32 | NO 72 | NO 464 | NO 287 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | YES 2318 | MAYBE 10263 | YES 121 | YES 2109 | YES 4572 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | YES 1313 | MAYBE 5535 | YES 88 | YES 1596 | YES 1790 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml | YES 4318 | YES 10095 | TIMEOUT 60049 | MAYBE 10967 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | YES 1701 | YES 6848 | TIMEOUT 60045 | MAYBE 10800 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | YES 2481 | YES 11391 | TIMEOUT 60059 | MAYBE 10803 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml | YES 3421 | YES 11082 | TIMEOUT 60049 | MAYBE 10983 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | NO 678 | MAYBE 28 | NO 61 | NO 456 | NO 170 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml | YES 2701 | TIMEOUT 60040 | TIMEOUT 60067 | MAYBE 11108 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | YES 14811 | YES 30740 | TIMEOUT 60062 | MAYBE 10880 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml | TIMEOUT 60361 | YES 29466 | TIMEOUT 60055 | MAYBE 10894 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml | TIMEOUT 60432 | TIMEOUT 60034 | TIMEOUT 60051 | MAYBE 11134 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | NO 713 | MAYBE 29 | NO 64 | NO 469 | NO 181 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | YES 29900 | YES 11290 | TIMEOUT 60056 | MAYBE 10828 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | YES 1688 | YES 6896 | TIMEOUT 60049 | MAYBE 10812 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml | YES 2056 | YES 4783 | TIMEOUT 60052 | MAYBE 10780 | TIMEOUT 60085 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | YES 1401 | YES 1729 | TIMEOUT 60046 | MAYBE 10779 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml | YES 1497 | YES 5233 | TIMEOUT 60062 | MAYBE 10768 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_iGM.xml | YES 2120 | YES 4204 | TIMEOUT 60051 | MAYBE 10854 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | NO 651 | MAYBE 27 | NO 59 | NO 448 | NO 174 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | YES 1664 | TIMEOUT 60034 | TIMEOUT 60050 | MAYBE 10899 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | YES 4536 | YES 3877 | TIMEOUT 60038 | MAYBE 10773 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | YES 8447 | YES 4950 | TIMEOUT 60043 | MAYBE 10806 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml | YES 29511 | YES 23204 | TIMEOUT 60050 | MAYBE 10881 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | NO 679 | MAYBE 28 | NO 62 | NO 452 | NO 174 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | YES 3870 | YES 3035 | TIMEOUT 60042 | MAYBE 10789 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | YES 1411 | YES 1672 | TIMEOUT 60042 | MAYBE 10772 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | YES 1063 | YES 1194 | YES 6129 | YES 3185 | YES 9757 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | YES 912 | YES 46 | YES 76 | YES 658 | YES 438 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml | YES 1097 | YES 627 | YES 35895 | MAYBE 10706 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml | YES 1337 | YES 2457 | YES 25643 | YES 6957 | YES 44674 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | NO 639 | MAYBE 27 | NO 61 | NO 439 | NO 1126 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml | YES 1232 | YES 4167 | YES 14439 | MAYBE 10756 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | YES 1108 | YES 535 | YES 104 | YES 1662 | YES 1323 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml | YES 1431 | YES 3911 | TIMEOUT 60041 | MAYBE 10761 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml | YES 2609 | YES 11217 | TIMEOUT 60043 | MAYBE 10819 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | NO 644 | MAYBE 28 | NO 56 | NO 442 | NO 173 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml | TIMEOUT 60815 | TIMEOUT 60063 | TIMEOUT 60049 | MAYBE 10991 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | TIMEOUT 61182 | TIMEOUT 60085 | TIMEOUT 60050 | MAYBE 10820 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | TIMEOUT 60455 | TIMEOUT 60059 | TIMEOUT 60055 | MAYBE 10861 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_iGM.xml | TIMEOUT 60738 | TIMEOUT 60035 | TIMEOUT 60050 | MAYBE 11153 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | NO 718 | MAYBE 28 | NO 63 | NO 468 | NO 185 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | YES 5061 | TIMEOUT 60041 | TIMEOUT 60058 | MAYBE 11281 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | TIMEOUT 60506 | TIMEOUT 60038 | TIMEOUT 60061 | MAYBE 11112 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml | YES 34351 | YES 11280 | YES 9658 | MAYBE 10993 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml | TIMEOUT 60450 | TIMEOUT 60038 | TIMEOUT 60065 | MAYBE 11067 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | NO 745 | MAYBE 29 | NO 69 | NO 487 | NO 192 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | TIMEOUT 60723 | TIMEOUT 60054 | TIMEOUT 60075 | MAYBE 10863 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | TIMEOUT 61768 | TIMEOUT 60085 | TIMEOUT 60069 | MAYBE 10814 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml | TIMEOUT 60782 | TIMEOUT 60035 | TIMEOUT 60058 | MAYBE 10850 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | TIMEOUT 61114 | TIMEOUT 60037 | TIMEOUT 60043 | MAYBE 10773 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60444 | TIMEOUT 60062 | TIMEOUT 60039 | MAYBE 10761 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60416 | TIMEOUT 60037 | TIMEOUT 60049 | MAYBE 10849 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 665 | MAYBE 26 | NO 61 | NO 447 | NO 172 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | YES 2825 | TIMEOUT 60036 | TIMEOUT 60049 | MAYBE 10984 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | NO 34979 | MAYBE 22151 | TIMEOUT 60046 | MAYBE 10745 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | YES 8001 | YES 2737 | YES 1626 | MAYBE 10863 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml | TIMEOUT 60411 | TIMEOUT 60039 | TIMEOUT 60049 | MAYBE 10981 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | NO 693 | MAYBE 27 | NO 61 | NO 456 | NO 176 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | NO 24336 | MAYBE 18293 | TIMEOUT 60041 | MAYBE 10595 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | NO 49713 | TIMEOUT 60040 | TIMEOUT 60039 | MAYBE 10682 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | NO 1077 | TIMEOUT 60030 | TIMEOUT 60040 | MAYBE 10583 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | NO 2134 | MAYBE 1268 | NO 7474 | NO 1555 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | NO 5213 | MAYBE 1859 | TIMEOUT 60032 | NO 1624 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml | NO 28117 | TIMEOUT 60031 | TIMEOUT 60055 | MAYBE 10793 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | NO 637 | MAYBE 26 | NO 41 | NO 440 | NO 468 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | NO 1318 | TIMEOUT 60033 | TIMEOUT 60051 | MAYBE 10845 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml | NO 11437 | MAYBE 4384 | TIMEOUT 60042 | MAYBE 10634 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | NO 24132 | MAYBE 3685 | TIMEOUT 60047 | MAYBE 10705 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml | TIMEOUT 60552 | TIMEOUT 60034 | TIMEOUT 60062 | MAYBE 10893 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | NO 653 | MAYBE 27 | NO 58 | NO 442 | NO 167 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | NO 9311 | MAYBE 3881 | TIMEOUT 60039 | MAYBE 10633 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | NO 2252 | MAYBE 2741 | NO 6770 | NO 1565 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | YES 2431 | YES 12439 | TIMEOUT 60048 | MAYBE 11036 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | YES 2187 | YES 4893 | YES 6424 | YES 9463 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml | YES 3205 | YES 9663 | YES 19365 | MAYBE 10884 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml | YES 5783 | TIMEOUT 60034 | YES 44344 | MAYBE 10946 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | NO 692 | MAYBE 27 | NO 66 | NO 460 | NO 204 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | YES 5494 | YES 27932 | TIMEOUT 60047 | MAYBE 11151 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | YES 2456 | YES 4978 | YES 781 | MAYBE 10811 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | YES 15021 | YES 6844 | YES 3386 | MAYBE 10926 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml | TIMEOUT 60475 | TIMEOUT 60029 | TIMEOUT 60065 | MAYBE 11167 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | NO 36713 | MAYBE 12260 | NO 85 | NO 473 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | YES 2628 | YES 10832 | YES 809 | MAYBE 10824 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | YES 2127 | YES 2859 | YES 555 | YES 7817 | YES 42105 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | YES 1193 | YES 8927 | YES 408 | YES 4271 | YES 32113 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | YES 1641 | YES 1722 | YES 462 | YES 1793 | YES 29272 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | YES 1814 | YES 3773 | YES 778 | YES 2135 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | YES 2723 | YES 4558 | YES 2808 | YES 1658 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | NO 656 | MAYBE 26 | NO 67 | NO 447 | NO 174 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | YES 1410 | YES 39111 | YES 1074 | YES 30113 | YES 46254 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | YES 1479 | YES 6177 | YES 335 | YES 3136 | YES 22778 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | YES 1847 | YES 15592 | YES 989 | YES 6691 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml | YES 4879 | YES 23133 | YES 9140 | MAYBE 10975 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | NO 13090 | MAYBE 1282 | NO 69 | NO 457 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | YES 1553 | YES 1160 | YES 333 | YES 2075 | YES 13691 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | YES 2341 | YES 645 | YES 368 | YES 1280 | YES 22802 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | YES 923 | YES 2920 | YES 237 | YES 2773 | YES 3780 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | YES 762 | YES 43 | YES 64 | YES 657 | YES 368 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | YES 833 | YES 708 | YES 418 | YES 1456 | YES 13327 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml | YES 1237 | YES 528 | YES 895 | YES 1649 | YES 13393 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | NO 643 | MAYBE 27 | NO 41 | NO 443 | NO 171 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | YES 981 | YES 4043 | YES 249 | YES 2998 | YES 4406 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | YES 788 | YES 45 | YES 62 | YES 876 | YES 404 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | YES 826 | YES 1008 | YES 415 | YES 1570 | YES 11853 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml | YES 1281 | YES 1472 | YES 1031 | YES 3206 | YES 52061 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | YES 755 | YES 43 | YES 62 | YES 804 | YES 461 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml | YES 1811 | YES 7739 | TIMEOUT 60048 | MAYBE 10880 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | YES 1616 | YES 2856 | YES 26081 | YES 9278 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml | YES 1885 | YES 4493 | YES 10615 | MAYBE 10791 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml | YES 2467 | YES 16647 | YES 16307 | MAYBE 10840 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | NO 666 | MAYBE 26 | NO 59 | NO 445 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml | YES 2342 | TIMEOUT 60036 | TIMEOUT 60050 | MAYBE 10998 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | YES 6554 | YES 2654 | YES 2030 | MAYBE 10818 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml | YES 7278 | YES 3494 | YES 996 | MAYBE 10851 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml | TIMEOUT 60392 | YES 42001 | TIMEOUT 60048 | MAYBE 10953 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | NO 679 | MAYBE 30 | NO 61 | NO 458 | NO 172 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | YES 6724 | YES 2272 | YES 1876 | YES 7697 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | YES 1533 | YES 3347 | YES 1107 | YES 4052 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | YES 1128 | YES 2415 | TIMEOUT 60044 | MAYBE 10749 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | YES 1201 | YES 727 | YES 456 | YES 6599 | YES 28726 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml | YES 1279 | YES 965 | YES 1141 | YES 3726 | YES 56801 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml | YES 1545 | YES 4237 | YES 3044 | YES 9427 | TIMEOUT 60075 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | NO 645 | MAYBE 28 | NO 42 | NO 437 | NO 173 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml | YES 1350 | TIMEOUT 60032 | TIMEOUT 60041 | MAYBE 10792 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | YES 2341 | YES 889 | YES 551 | YES 5707 | YES 53989 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml | YES 2568 | YES 848 | YES 261 | MAYBE 10492 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml | YES 11162 | YES 7071 | YES 7869 | MAYBE 10644 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | NO 656 | MAYBE 26 | NO 57 | NO 446 | NO 248 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | YES 2218 | YES 704 | YES 464 | YES 5085 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | YES 1136 | YES 623 | YES 360 | YES 3591 | YES 47174 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | YES 901 | YES 2256 | YES 220 | YES 2809 | YES 3640 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | YES 758 | YES 43 | YES 81 | YES 628 | YES 346 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | YES 791 | YES 391 | YES 212 | YES 1110 | YES 2935 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml | YES 1305 | YES 1217 | YES 633 | YES 1537 | YES 17691 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 636 | MAYBE 25 | NO 41 | NO 437 | NO 167 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | YES 1005 | YES 4020 | YES 292 | YES 3304 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | YES 783 | YES 145 | YES 82 | YES 778 | YES 746 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml | YES 822 | YES 584 | YES 224 | YES 1547 | YES 5708 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml | YES 1822 | YES 3182 | YES 1740 | YES 3012 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 638 | MAYBE 26 | NO 41 | NO 438 | NO 188 |
| tpdb-8.0/TRS/Various_04/02.xml | YES 880 | MAYBE 73 | YES 147 | YES 603 | YES 312 |
| tpdb-8.0/TRS/Various_04/03.xml | YES 907 | MAYBE 177 | YES 157 | YES 670 | YES 372 |
| tpdb-8.0/TRS/Various_04/04.xml | TIMEOUT 60474 | TIMEOUT 60034 | TIMEOUT 60046 | MAYBE 10566 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Various_04/05.xml | TIMEOUT 60460 | TIMEOUT 60033 | TIMEOUT 60045 | MAYBE 10542 | TIMEOUT 60105 |
| tpdb-8.0/TRS/Various_04/06.xml | YES 946 | YES 53 | YES 62 | YES 602 | YES 541 |
| tpdb-8.0/TRS/Various_04/07.xml | YES 746 | YES 40 | YES 46 | YES 519 | YES 1346 |
| tpdb-8.0/TRS/Various_04/08.xml | TIMEOUT 60454 | TIMEOUT 60042 | TIMEOUT 60059 | MAYBE 10591 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Various_04/09.xml | YES 946 | YES 81 | YES 61 | YES 582 | YES 445 |
| tpdb-8.0/TRS/Various_04/10.xml | YES 1387 | YES 8490 | YES 132 | YES 2723 | YES 1814 |
| tpdb-8.0/TRS/Various_04/11.xml | YES 1279 | MAYBE 218 | YES 745 | MAYBE 10537 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Various_04/12.xml | YES 1082 | YES 486 | YES 154 | YES 1660 | YES 2200 |
| tpdb-8.0/TRS/Various_04/13.xml | YES 1224 | YES 1023 | YES 230 | YES 2634 | YES 3168 |
| tpdb-8.0/TRS/Various_04/14.xml | YES 3465 | YES 12621 | YES 308 | YES 4848 | YES 3658 |
| tpdb-8.0/TRS/Various_04/15.xml | YES 1610 | MAYBE 48515 | YES 92 | YES 875 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Various_04/18.xml | YES 762 | YES 129 | YES 79 | YES 693 | YES 402 |
| tpdb-8.0/TRS/Various_04/19.xml | YES 775 | YES 284 | YES 475 | YES 917 | YES 2450 |
| tpdb-8.0/TRS/Various_04/21.xml | YES 1166 | YES 176 | YES 343 | YES 1489 | YES 1797 |
| tpdb-8.0/TRS/Various_04/22.xml | YES 959 | YES 104 | YES 75 | YES 706 | YES 394 |
| tpdb-8.0/TRS/Various_04/23.xml | YES 905 | YES 137 | YES 91 | YES 792 | YES 960 |
| tpdb-8.0/TRS/Various_04/24.xml | YES 1145 | YES 954 | YES 78 | YES 1125 | YES 1987 |
| tpdb-8.0/TRS/Various_04/25.xml | YES 894 | YES 256 | YES 84 | YES 664 | YES 344 |
| tpdb-8.0/TRS/Various_04/26.xml | YES 1069 | YES 160 | YES 98 | YES 871 | YES 2035 |
| tpdb-8.0/TRS/Various_04/27.xml | YES 744 | YES 42 | YES 42 | YES 533 | YES 320 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | YES 7046 | MAYBE 20797 | MAYBE 12232 | MAYBE 6938 | MAYBE 45762 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | YES 6880 | MAYBE 11852 | MAYBE 12284 | MAYBE 10626 | MAYBE 46238 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | YES 1520 | YES 599 | YES 595 | MAYBE 6904 | MAYBE 39877 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | YES 1698 | YES 3102 | YES 1025 | YES 1068 | MAYBE 41379 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | YES 14152 | MAYBE 14175 | MAYBE 15620 | YES 1031 | YES 4967 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | YES 13942 | MAYBE 30722 | MAYBE 15577 | YES 1024 | YES 5293 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | NO 2912 | TIMEOUT 60035 | TIMEOUT 60043 | NO 724 | MAYBE 46795 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60241 | MAYBE 3260 | MAYBE 34022 | MAYBE 10568 | MAYBE 39388 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | TIMEOUT 60166 | MAYBE 11294 | TIMEOUT 60044 | MAYBE 10537 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | NO 1937 | MAYBE 4762 | MAYBE 8211 | NO 975 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60182 | MAYBE 1634 | MAYBE 23295 | MAYBE 11000 | MAYBE 41639 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | NO 2030 | MAYBE 4837 | MAYBE 8070 | NO 985 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | TIMEOUT 60159 | MAYBE 4672 | MAYBE 53682 | MAYBE 7148 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | TIMEOUT 60439 | MAYBE 14108 | TIMEOUT 60040 | MAYBE 10574 | MAYBE 45764 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | NO 2796 | MAYBE 20685 | TIMEOUT 60053 | NO 709 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | YES 1061 | MAYBE 30200 | TIMEOUT 60029 | MAYBE 10612 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | YES 1073 | MAYBE 28604 | TIMEOUT 60029 | MAYBE 10619 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | YES 4233 | TIMEOUT 60035 | YES 2467 | YES 1087 | MAYBE 50334 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | YES 1585 | YES 3149 | YES 246 | YES 1879 | YES 9780 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | YES 1548 | YES 5963 | YES 174 | YES 1942 | YES 15630 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | YES 1066 | YES 762 | YES 200 | YES 552 | YES 4221 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | YES 1147 | YES 910 | YES 133 | YES 1139 | YES 7341 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | YES 1093 | YES 1161 | YES 157 | YES 630 | YES 4279 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | YES 1073 | YES 1048 | YES 177 | YES 629 | YES 3876 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | YES 1160 | YES 933 | YES 132 | YES 1148 | YES 4070 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | YES 1145 | YES 760 | YES 229 | YES 552 | YES 6852 |
| tpdb-8.0/TRS/Zantema_05/jw07.xml | YES 1071 | YES 6457 | YES 145 | YES 904 | YES 15513 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | YES 1178 | YES 5498 | YES 797 | YES 1163 | YES 22174 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | YES 1098 | MAYBE 56931 | YES 150 | YES 1201 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | YES 925 | YES 2581 | YES 767 | YES 840 | YES 13281 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | YES 985 | YES 2538 | YES 661 | YES 1084 | YES 12335 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | YES 1221 | YES 1342 | YES 115 | YES 662 | YES 12855 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | YES 898 | YES 1272 | YES 58 | YES 667 | YES 10220 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | YES 1109 | YES 8901 | YES 1071 | YES 806 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | YES 1079 | YES 2809 | YES 349 | YES 627 | YES 7287 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | YES 1204 | YES 2928 | YES 153 | YES 1155 | YES 8144 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | YES 1101 | YES 898 | YES 238 | YES 627 | YES 5209 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | YES 1029 | YES 2014 | YES 1240 | YES 1141 | YES 8530 |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | YES 1114 | YES 7010 | YES 228 | YES 634 | YES 14247 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | YES 1087 | YES 2262 | YES 231 | YES 594 | YES 5848 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | YES 1185 | YES 1948 | YES 194 | YES 1200 | YES 6607 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | YES 1094 | YES 1965 | YES 2764 | YES 630 | YES 6297 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | YES 1116 | YES 2787 | YES 218 | YES 637 | YES 7442 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | YES 1102 | YES 3156 | YES 176 | YES 634 | YES 7695 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | YES 1085 | YES 1976 | YES 5346 | YES 637 | YES 5913 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | YES 1190 | YES 1949 | YES 183 | YES 1194 | YES 7209 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | YES 1164 | YES 1891 | YES 184 | YES 574 | YES 6999 |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | YES 1104 | YES 7674 | YES 182 | YES 636 | YES 10247 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | YES 1033 | YES 1867 | YES 1210 | YES 1147 | YES 9207 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | YES 1195 | YES 891 | YES 232 | YES 696 | YES 5135 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | YES 1212 | YES 3352 | YES 136 | YES 1163 | YES 10073 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | YES 1210 | YES 2701 | YES 542 | YES 633 | YES 7655 |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | YES 1089 | YES 9911 | YES 1042 | YES 816 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | YES 892 | YES 1255 | YES 370 | YES 719 | YES 12790 |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | YES 1157 | YES 1361 | YES 128 | YES 667 | YES 11431 |
| tpdb-8.0/TRS/Zantema_05/jw37.xml | YES 913 | YES 2443 | YES 641 | YES 790 | YES 10116 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | YES 926 | YES 2762 | YES 711 | YES 842 | YES 12141 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | YES 1214 | YES 5222 | YES 204 | YES 889 | YES 9378 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | YES 1103 | TIMEOUT 60031 | YES 141 | YES 1226 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | YES 1207 | YES 5504 | YES 981 | YES 1098 | YES 18085 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | YES 1150 | YES 5920 | YES 146 | YES 903 | YES 12244 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | YES 955 | YES 1591 | YES 2530 | YES 703 | YES 11029 |
| tpdb-8.0/TRS/Zantema_05/jw44.xml | YES 855 | YES 44 | YES 60 | YES 684 | YES 528 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | YES 760 | YES 44 | YES 58 | YES 468 | YES 521 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | YES 955 | YES 1681 | YES 2502 | YES 710 | YES 9751 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | YES 1111 | TIMEOUT 60038 | TIMEOUT 60047 | YES 1741 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | YES 3107 | MAYBE 1066 | MAYBE 21125 | YES 941 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Zantema_05/z03.xml | YES 1162 | TIMEOUT 60032 | TIMEOUT 60041 | YES 752 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Zantema_05/z04.xml | YES 933 | MAYBE 887 | YES 67 | YES 885 | MAYBE 19543 |
| tpdb-8.0/TRS/Zantema_05/z05.xml | YES 1165 | MAYBE 8837 | TIMEOUT 60027 | YES 1184 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | YES 996 | TIMEOUT 60030 | MAYBE 4374 | YES 996 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | YES 1695 | MAYBE 1868 | MAYBE 4518 | YES 1185 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | YES 1073 | YES 1946 | YES 354 | YES 689 | YES 32823 |
| tpdb-8.0/TRS/Zantema_05/z09.xml | YES 5401 | MAYBE 1835 | MAYBE 13173 | MAYBE 10603 | MAYBE 39990 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | YES 2346 | MAYBE 1938 | TIMEOUT 60043 | MAYBE 10610 | MAYBE 41374 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | YES 1186 | MAYBE 44979 | YES 2238 | YES 1442 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | YES 2467 | TIMEOUT 60053 | TIMEOUT 60048 | MAYBE 7871 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | YES 1061 | MAYBE 1530 | TIMEOUT 60042 | MAYBE 7803 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | YES 995 | MAYBE 2868 | TIMEOUT 60044 | MAYBE 7451 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | YES 988 | MAYBE 942 | TIMEOUT 60062 | MAYBE 7420 | TIMEOUT 60040 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | YES 993 | MAYBE 2067 | TIMEOUT 60043 | MAYBE 7760 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | TIMEOUT 60695 | MAYBE 1113 | TIMEOUT 60048 | MAYBE 7762 | TIMEOUT 60043 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | YES 1006 | MAYBE 2138 | TIMEOUT 60044 | MAYBE 7555 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Zantema_05/z19.xml | YES 12674 | MAYBE 15114 | TIMEOUT 60030 | YES 2590 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | TIMEOUT 60631 | TIMEOUT 60032 | TIMEOUT 60030 | MAYBE 7387 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Zantema_05/z21.xml | YES 13777 | MAYBE 14187 | TIMEOUT 60031 | YES 2837 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | YES 13400 | TIMEOUT 60031 | TIMEOUT 60029 | YES 1546 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | YES 1067 | TIMEOUT 60031 | TIMEOUT 60044 | YES 3256 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | YES 1219 | MAYBE 5506 | TIMEOUT 60047 | MAYBE 8250 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | YES 1161 | MAYBE 14368 | TIMEOUT 60029 | YES 1063 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | YES 5315 | YES 21689 | TIMEOUT 60041 | YES 1117 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | YES 12824 | MAYBE 270 | TIMEOUT 60034 | MAYBE 6765 | MAYBE 10496 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | YES 1784 | MAYBE 659 | MAYBE 13204 | YES 1855 | MAYBE 36201 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | YES 1073 | YES 227 | YES 230 | YES 1720 | YES 1204 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | YES 1550 | TIMEOUT 60089 | TIMEOUT 60044 | YES 1990 | TIMEOUT 60055 | 1231 | 644 | 830 | 976 | 629 |