| benchmark | AProVE | cime3finder | matchbox-srs-std-nocert | matchbox-srs-std-rfc | muterm | TTT2 |
|---|---|---|---|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/02.xml | YES 1673 | YES 549 | YES 34034 | YES 1272 | TIMEOUT 60123 | YES 701 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | YES 3481 | MAYBE 1110 | TIMEOUT 60127 | TIMEOUT 60139 | TIMEOUT 60099 | YES 5462 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | YES 5026 | MAYBE 1204 | YES 33000 | YES 2376 | TIMEOUT 60087 | YES 695 |
| tpdb-8.0/TRS/Bouchare_06/10.xml | YES 7175 | MAYBE 7348 | YES 36673 | YES 3094 | TIMEOUT 60097 | YES 1680 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | YES 4561 | MAYBE 644 | YES 8862 | YES 1247 | TIMEOUT 60091 | YES 658 |
| tpdb-8.0/TRS/Bouchare_06/13.xml | YES 3924 | MAYBE 1965 | YES 34933 | TIMEOUT 60137 | TIMEOUT 60089 | YES 5330 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | YES 8381 | MAYBE 1430 | YES 37180 | YES 2788 | TIMEOUT 60140 | YES 693 |
| tpdb-8.0/TRS/Bouchare_06/16.xml | YES 3060 | MAYBE 642 | YES 15076 | YES 2376 | TIMEOUT 60094 | YES 742 |
| tpdb-8.0/TRS/Bouchare_06/17.xml | YES 3878 | MAYBE 1035 | YES 17287 | YES 2512 | TIMEOUT 60093 | YES 744 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | YES 4142 | MAYBE 3554 | YES 39073 | TIMEOUT 60154 | TIMEOUT 60106 | YES 7392 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | YES 6563 | TIMEOUT 60126 | TIMEOUT 60136 | TIMEOUT 60143 | TIMEOUT 60127 | MAYBE 59447 |
| tpdb-8.0/TRS/Gebhardt_06/07.xml | YES 8700 | TIMEOUT 60117 | YES 17819 | TIMEOUT 60133 | TIMEOUT 60130 | MAYBE 59452 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | NO 2652 | TIMEOUT 60129 | TIMEOUT 60136 | TIMEOUT 60156 | TIMEOUT 60101 | NO 21076 |
| tpdb-8.0/TRS/Gebhardt_06/10.xml | TIMEOUT 60633 | TIMEOUT 60119 | TIMEOUT 60123 | TIMEOUT 60134 | TIMEOUT 60127 | MAYBE 59472 |
| tpdb-8.0/TRS/Gebhardt_06/13.xml | TIMEOUT 60720 | TIMEOUT 60108 | TIMEOUT 60124 | TIMEOUT 60136 | TIMEOUT 60119 | MAYBE 59459 |
| tpdb-8.0/TRS/Gebhardt_06/14.xml | YES 6346 | TIMEOUT 60094 | YES 34432 | TIMEOUT 60118 | TIMEOUT 60091 | YES 38950 |
| tpdb-8.0/TRS/Gebhardt_06/16.xml | YES 6959 | TIMEOUT 60139 | YES 25036 | TIMEOUT 60158 | TIMEOUT 60156 | MAYBE 59464 |
| tpdb-8.0/TRS/Gebhardt_06/17.xml | YES 8572 | MAYBE 45411 | TIMEOUT 60127 | TIMEOUT 60134 | TIMEOUT 60124 | MAYBE 59455 |
| tpdb-8.0/TRS/Gebhardt_06/19.xml | TIMEOUT 60656 | TIMEOUT 60120 | TIMEOUT 60121 | TIMEOUT 60128 | TIMEOUT 60094 | MAYBE 59458 |
| tpdb-8.0/TRS/Gebhardt_06/20.xml | TIMEOUT 60745 | TIMEOUT 60148 | TIMEOUT 60151 | TIMEOUT 60162 | TIMEOUT 60164 | MAYBE 59475 |
| tpdb-8.0/TRS/ICFP_2010/128486.xml | TIMEOUT 60753 | TIMEOUT 60113 | TIMEOUT 60228 | TIMEOUT 60122 | TIMEOUT 60135 | TIMEOUT 60114 |
| tpdb-8.0/TRS/ICFP_2010/132957.xml | TIMEOUT 60910 | TIMEOUT 60118 | TIMEOUT 60351 | TIMEOUT 60131 | TIMEOUT 60140 | TIMEOUT 60120 |
| tpdb-8.0/TRS/ICFP_2010/133486.xml | TIMEOUT 61220 | TIMEOUT 60134 | TIMEOUT 60740 | TIMEOUT 60142 | TIMEOUT 60156 | TIMEOUT 60137 |
| tpdb-8.0/TRS/ICFP_2010/133532.xml | TIMEOUT 60664 | TIMEOUT 60153 | TIMEOUT 60446 | TIMEOUT 60158 | TIMEOUT 60184 | TIMEOUT 60151 |
| tpdb-8.0/TRS/ICFP_2010/136280.xml | TIMEOUT 60690 | TIMEOUT 60125 | TIMEOUT 60391 | TIMEOUT 60137 | TIMEOUT 60155 | TIMEOUT 60120 |
| tpdb-8.0/TRS/ICFP_2010/136463.xml | TIMEOUT 60714 | TIMEOUT 60129 | TIMEOUT 60486 | TIMEOUT 60138 | TIMEOUT 60175 | TIMEOUT 60132 |
| tpdb-8.0/TRS/ICFP_2010/136693.xml | TIMEOUT 60695 | TIMEOUT 60114 | TIMEOUT 60469 | TIMEOUT 60206 | TIMEOUT 60153 | TIMEOUT 60118 |
| tpdb-8.0/TRS/ICFP_2010/137136.xml | TIMEOUT 60807 | TIMEOUT 60146 | TIMEOUT 60493 | TIMEOUT 60160 | TIMEOUT 60183 | TIMEOUT 60151 |
| tpdb-8.0/TRS/ICFP_2010/138468.xml | TIMEOUT 60992 | TIMEOUT 60141 | TIMEOUT 60449 | TIMEOUT 60144 | TIMEOUT 60152 | TIMEOUT 60142 |
| tpdb-8.0/TRS/ICFP_2010/138993.xml | TIMEOUT 60799 | TIMEOUT 60115 | TIMEOUT 60343 | TIMEOUT 60123 | TIMEOUT 60136 | TIMEOUT 60110 |
| tpdb-8.0/TRS/ICFP_2010/139100.xml | TIMEOUT 60918 | TIMEOUT 60129 | TIMEOUT 60224 | TIMEOUT 60141 | TIMEOUT 60157 | TIMEOUT 60127 |
| tpdb-8.0/TRS/ICFP_2010/139185.xml | TIMEOUT 60750 | TIMEOUT 60141 | TIMEOUT 60205 | TIMEOUT 60157 | TIMEOUT 60159 | TIMEOUT 60147 |
| tpdb-8.0/TRS/ICFP_2010/139190.xml | TIMEOUT 60838 | TIMEOUT 60125 | TIMEOUT 60189 | TIMEOUT 60137 | TIMEOUT 60152 | TIMEOUT 60129 |
| tpdb-8.0/TRS/ICFP_2010/139282.xml | TIMEOUT 60934 | TIMEOUT 60130 | TIMEOUT 60184 | TIMEOUT 60142 | TIMEOUT 60166 | TIMEOUT 60136 |
| tpdb-8.0/TRS/ICFP_2010/140287.xml | TIMEOUT 60703 | TIMEOUT 60090 | TIMEOUT 60320 | TIMEOUT 60101 | TIMEOUT 60110 | TIMEOUT 60085 |
| tpdb-8.0/TRS/ICFP_2010/140359.xml | TIMEOUT 60860 | TIMEOUT 60113 | TIMEOUT 60229 | TIMEOUT 60120 | TIMEOUT 60130 | TIMEOUT 60110 |
| tpdb-8.0/TRS/ICFP_2010/147437.xml | TIMEOUT 60742 | TIMEOUT 60155 | TIMEOUT 60569 | TIMEOUT 60181 | TIMEOUT 60162 | TIMEOUT 60145 |
| tpdb-8.0/TRS/ICFP_2010/148543.xml | TIMEOUT 60688 | TIMEOUT 60129 | TIMEOUT 60604 | TIMEOUT 60152 | TIMEOUT 60135 | TIMEOUT 60122 |
| tpdb-8.0/TRS/ICFP_2010/149633.xml | MAYBE 276 | TIMEOUT 60130 | TIMEOUT 60374 | TIMEOUT 60153 | TIMEOUT 60398 | TIMEOUT 60125 |
| tpdb-8.0/TRS/ICFP_2010/150258.xml | TIMEOUT 60715 | TIMEOUT 60155 | TIMEOUT 60443 | TIMEOUT 60181 | TIMEOUT 60161 | TIMEOUT 60156 |
| tpdb-8.0/TRS/ICFP_2010/153090.xml | TIMEOUT 60897 | TIMEOUT 60139 | TIMEOUT 60470 | TIMEOUT 60148 | TIMEOUT 60189 | TIMEOUT 60144 |
| tpdb-8.0/TRS/ICFP_2010/153444.xml | TIMEOUT 60827 | TIMEOUT 60128 | TIMEOUT 60394 | TIMEOUT 60137 | TIMEOUT 60156 | TIMEOUT 60127 |
| tpdb-8.0/TRS/ICFP_2010/158152.xml | TIMEOUT 60897 | TIMEOUT 60190 | TIMEOUT 60136 | TIMEOUT 60136 | TIMEOUT 60125 | YES 4604 |
| tpdb-8.0/TRS/ICFP_2010/159731.xml | YES 58685 | TIMEOUT 60185 | TIMEOUT 60153 | TIMEOUT 60150 | TIMEOUT 60149 | YES 1888 |
| tpdb-8.0/TRS/ICFP_2010/160234.xml | YES 20646 | TIMEOUT 60131 | TIMEOUT 60132 | TIMEOUT 60128 | YES 8400 | YES 2761 |
| tpdb-8.0/TRS/ICFP_2010/160475.xml | TIMEOUT 60758 | TIMEOUT 60128 | TIMEOUT 60456 | TIMEOUT 60134 | TIMEOUT 60134 | TIMEOUT 60124 |
| tpdb-8.0/TRS/ICFP_2010/161864.xml | TIMEOUT 60787 | TIMEOUT 60140 | TIMEOUT 60516 | TIMEOUT 60145 | TIMEOUT 60180 | TIMEOUT 60136 |
| tpdb-8.0/TRS/ICFP_2010/166558.xml | TIMEOUT 60634 | TIMEOUT 60137 | TIMEOUT 60456 | TIMEOUT 60149 | TIMEOUT 60148 | TIMEOUT 60139 |
| tpdb-8.0/TRS/ICFP_2010/166848.xml | TIMEOUT 60725 | TIMEOUT 60109 | TIMEOUT 60564 | TIMEOUT 60118 | TIMEOUT 60112 | TIMEOUT 60103 |
| tpdb-8.0/TRS/ICFP_2010/167240.xml | TIMEOUT 60879 | TIMEOUT 60125 | TIMEOUT 60435 | TIMEOUT 60140 | TIMEOUT 60165 | TIMEOUT 60126 |
| tpdb-8.0/TRS/ICFP_2010/167294.xml | TIMEOUT 60774 | TIMEOUT 60157 | TIMEOUT 60595 | TIMEOUT 60163 | TIMEOUT 60170 | TIMEOUT 60158 |
| tpdb-8.0/TRS/ICFP_2010/167310.xml | TIMEOUT 60894 | TIMEOUT 60130 | TIMEOUT 60481 | TIMEOUT 60148 | TIMEOUT 60176 | TIMEOUT 60134 |
| tpdb-8.0/TRS/ICFP_2010/167452.xml | TIMEOUT 60791 | TIMEOUT 60128 | TIMEOUT 60455 | TIMEOUT 60136 | TIMEOUT 60130 | TIMEOUT 60120 |
| tpdb-8.0/TRS/ICFP_2010/185628.xml | TIMEOUT 60884 | TIMEOUT 60134 | TIMEOUT 60143 | TIMEOUT 60140 | TIMEOUT 60142 | TIMEOUT 60132 |
| tpdb-8.0/TRS/ICFP_2010/188004.xml | TIMEOUT 60714 | TIMEOUT 60175 | TIMEOUT 60180 | TIMEOUT 60183 | TIMEOUT 60178 | TIMEOUT 60168 |
| tpdb-8.0/TRS/ICFP_2010/211471.xml | YES 2078 | TIMEOUT 60184 | YES 2159 | TIMEOUT 60128 | TIMEOUT 60116 | YES 2821 |
| tpdb-8.0/TRS/ICFP_2010/211857.xml | YES 19430 | YES 10458 | TIMEOUT 60133 | TIMEOUT 60131 | YES 722 | YES 4115 |
| tpdb-8.0/TRS/ICFP_2010/212037.xml | YES 56078 | TIMEOUT 60174 | TIMEOUT 60147 | TIMEOUT 60146 | TIMEOUT 60130 | YES 2053 |
| tpdb-8.0/TRS/ICFP_2010/212308.xml | TIMEOUT 60908 | TIMEOUT 60141 | TIMEOUT 60135 | TIMEOUT 60129 | TIMEOUT 60104 | TIMEOUT 60122 |
| tpdb-8.0/TRS/ICFP_2010/213719.xml | TIMEOUT 61196 | TIMEOUT 60201 | TIMEOUT 60154 | TIMEOUT 60198 | TIMEOUT 60155 | YES 2077 |
| tpdb-8.0/TRS/ICFP_2010/230780.xml | YES 4683 | TIMEOUT 60158 | YES 59479 | TIMEOUT 60209 | TIMEOUT 60180 | TIMEOUT 60173 |
| tpdb-8.0/TRS/ICFP_2010/231300.xml | YES 3188 | TIMEOUT 60136 | YES 19139 | TIMEOUT 60150 | TIMEOUT 60180 | YES 8246 |
| tpdb-8.0/TRS/ICFP_2010/247504.xml | TIMEOUT 60728 | TIMEOUT 60116 | YES 9185 | TIMEOUT 60138 | TIMEOUT 60152 | YES 9488 |
| tpdb-8.0/TRS/ICFP_2010/25192.xml | YES 812 | YES 1582 | YES 742 | YES 1243 | YES 153 | YES 800 |
| tpdb-8.0/TRS/ICFP_2010/25395.xml | TIMEOUT 61217 | TIMEOUT 60121 | TIMEOUT 60625 | TIMEOUT 60133 | TIMEOUT 60154 | TIMEOUT 60126 |
| tpdb-8.0/TRS/ICFP_2010/25711.xml | TIMEOUT 60940 | TIMEOUT 60081 | TIMEOUT 60521 | TIMEOUT 60095 | TIMEOUT 60112 | TIMEOUT 60086 |
| tpdb-8.0/TRS/ICFP_2010/25731.xml | YES 914 | TIMEOUT 60214 | YES 9886 | TIMEOUT 60147 | TIMEOUT 60087 | YES 505 |
| tpdb-8.0/TRS/ICFP_2010/26291.xml | TIMEOUT 61182 | TIMEOUT 60231 | YES 48049 | TIMEOUT 60145 | TIMEOUT 60105 | YES 6655 |
| tpdb-8.0/TRS/ICFP_2010/263745.xml | TIMEOUT 60883 | TIMEOUT 60141 | TIMEOUT 60338 | TIMEOUT 60187 | TIMEOUT 60147 | TIMEOUT 60134 |
| tpdb-8.0/TRS/ICFP_2010/26965.xml | TIMEOUT 61201 | TIMEOUT 60130 | TIMEOUT 60527 | TIMEOUT 60137 | TIMEOUT 60156 | TIMEOUT 60129 |
| tpdb-8.0/TRS/ICFP_2010/27026.xml | TIMEOUT 61034 | TIMEOUT 60126 | TIMEOUT 60628 | TIMEOUT 60136 | TIMEOUT 60161 | TIMEOUT 60128 |
| tpdb-8.0/TRS/ICFP_2010/27028.xml | TIMEOUT 61222 | TIMEOUT 60111 | TIMEOUT 60610 | TIMEOUT 60124 | TIMEOUT 60144 | TIMEOUT 60115 |
| tpdb-8.0/TRS/ICFP_2010/3562.xml | TIMEOUT 61227 | TIMEOUT 60117 | TIMEOUT 60195 | TIMEOUT 60137 | TIMEOUT 60133 | TIMEOUT 60316 |
| tpdb-8.0/TRS/ICFP_2010/3705.xml | TIMEOUT 61140 | TIMEOUT 60195 | TIMEOUT 60425 | TIMEOUT 60138 | TIMEOUT 60135 | TIMEOUT 60308 |
| tpdb-8.0/TRS/ICFP_2010/3746.xml | YES 14641 | TIMEOUT 60144 | TIMEOUT 60333 | TIMEOUT 60136 | TIMEOUT 60131 | YES 4034 |
| tpdb-8.0/TRS/ICFP_2010/3770.xml | TIMEOUT 61127 | TIMEOUT 60146 | TIMEOUT 60165 | TIMEOUT 60131 | TIMEOUT 60120 | YES 975 |
| tpdb-8.0/TRS/ICFP_2010/40093.xml | YES 962 | TIMEOUT 60194 | YES 16637 | TIMEOUT 60148 | TIMEOUT 60084 | YES 553 |
| tpdb-8.0/TRS/ICFP_2010/4046.xml | YES 13258 | TIMEOUT 60168 | TIMEOUT 60137 | TIMEOUT 60127 | TIMEOUT 60125 | YES 674 |
| tpdb-8.0/TRS/ICFP_2010/4141.xml | TIMEOUT 61262 | TIMEOUT 60146 | TIMEOUT 60227 | TIMEOUT 60153 | TIMEOUT 60149 | TIMEOUT 60377 |
| tpdb-8.0/TRS/ICFP_2010/4206.xml | TIMEOUT 60742 | TIMEOUT 60132 | TIMEOUT 60440 | TIMEOUT 60192 | TIMEOUT 60141 | TIMEOUT 60134 |
| tpdb-8.0/TRS/ICFP_2010/42466.xml | TIMEOUT 60722 | TIMEOUT 60138 | TIMEOUT 60386 | TIMEOUT 60149 | TIMEOUT 60171 | TIMEOUT 60138 |
| tpdb-8.0/TRS/ICFP_2010/4847.xml | TIMEOUT 61141 | TIMEOUT 60183 | TIMEOUT 60252 | TIMEOUT 60138 | TIMEOUT 60132 | TIMEOUT 60233 |
| tpdb-8.0/TRS/ICFP_2010/4970.xml | TIMEOUT 60963 | TIMEOUT 60167 | TIMEOUT 60121 | TIMEOUT 60141 | TIMEOUT 60111 | YES 1593 |
| tpdb-8.0/TRS/ICFP_2010/58194.xml | TIMEOUT 61062 | TIMEOUT 60201 | TIMEOUT 60156 | TIMEOUT 60144 | TIMEOUT 60141 | TIMEOUT 60394 |
| tpdb-8.0/TRS/ICFP_2010/85920.xml | TIMEOUT 61217 | TIMEOUT 60241 | TIMEOUT 60461 | TIMEOUT 60158 | TIMEOUT 60157 | YES 4011 |
| tpdb-8.0/TRS/ICFP_2010/88283.xml | TIMEOUT 61184 | TIMEOUT 60125 | TIMEOUT 60306 | TIMEOUT 60137 | TIMEOUT 60125 | TIMEOUT 60405 |
| tpdb-8.0/TRS/ICFP_2010/96029.xml | TIMEOUT 61005 | TIMEOUT 60191 | TIMEOUT 60345 | TIMEOUT 60105 | TIMEOUT 60096 | YES 3074 |
| tpdb-8.0/TRS/ICFP_2010/96119.xml | TIMEOUT 61084 | TIMEOUT 60209 | TIMEOUT 60213 | TIMEOUT 60137 | TIMEOUT 60132 | YES 3597 |
| tpdb-8.0/TRS/ICFP_2010/96239.xml | TIMEOUT 61015 | TIMEOUT 60205 | TIMEOUT 60564 | TIMEOUT 60125 | TIMEOUT 60102 | YES 3206 |
| tpdb-8.0/TRS/ICFP_2010/96256.xml | TIMEOUT 61270 | TIMEOUT 60249 | TIMEOUT 60260 | TIMEOUT 60140 | TIMEOUT 60132 | YES 2888 |
| tpdb-8.0/TRS/ICFP_2010/96289.xml | TIMEOUT 61062 | TIMEOUT 60191 | TIMEOUT 60269 | TIMEOUT 60116 | TIMEOUT 60095 | YES 2737 |
| tpdb-8.0/TRS/ICFP_2010/96302.xml | TIMEOUT 61127 | TIMEOUT 60163 | TIMEOUT 60215 | TIMEOUT 60111 | TIMEOUT 60105 | YES 2705 |
| tpdb-8.0/TRS/ICFP_2010/96403.xml | TIMEOUT 61219 | TIMEOUT 60202 | TIMEOUT 60177 | TIMEOUT 60124 | TIMEOUT 60107 | YES 2567 |
| tpdb-8.0/TRS/ICFP_2010/96523.xml | TIMEOUT 60957 | TIMEOUT 60227 | TIMEOUT 60251 | TIMEOUT 60131 | TIMEOUT 60128 | YES 2062 |
| tpdb-8.0/TRS/ICFP_2010/96642.xml | TIMEOUT 61060 | TIMEOUT 60103 | TIMEOUT 60186 | TIMEOUT 60123 | TIMEOUT 60110 | YES 2889 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | NO 9996 | TIMEOUT 60123 | TIMEOUT 60136 | TIMEOUT 60130 | TIMEOUT 60130 | MAYBE 59584 |
| tpdb-8.0/TRS/Mixed_SRS/01.xml | YES 5408 | TIMEOUT 60126 | TIMEOUT 60142 | TIMEOUT 60140 | TIMEOUT 60142 | MAYBE 59444 |
| tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml | NO 23004 | MAYBE 2947 | TIMEOUT 60125 | TIMEOUT 60144 | TIMEOUT 60093 | MAYBE 59412 |
| tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml | NO 13994 | MAYBE 2518 | TIMEOUT 60149 | TIMEOUT 60153 | TIMEOUT 60102 | MAYBE 59419 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | YES 7870 | MAYBE 55314 | TIMEOUT 60165 | TIMEOUT 60182 | TIMEOUT 60124 | YES 12081 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | YES 5011 | MAYBE 4466 | TIMEOUT 60131 | TIMEOUT 60151 | MAYBE 3751 | YES 6649 |
| tpdb-8.0/TRS/Mixed_SRS/08.xml | TIMEOUT 60646 | MAYBE 35740 | TIMEOUT 60159 | TIMEOUT 60200 | TIMEOUT 60106 | MAYBE 59446 |
| tpdb-8.0/TRS/Mixed_SRS/09.xml | YES 2833 | MAYBE 56633 | TIMEOUT 60127 | TIMEOUT 60137 | TIMEOUT 60103 | YES 5293 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | NO 2220 | MAYBE 2083 | TIMEOUT 60126 | TIMEOUT 60122 | TIMEOUT 60119 | NO 7210 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | YES 3101 | MAYBE 7006 | YES 18686 | TIMEOUT 60144 | TIMEOUT 60088 | YES 15762 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | YES 6249 | MAYBE 29206 | YES 39853 | YES 17113 | TIMEOUT 60099 | YES 8691 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | TIMEOUT 60605 | TIMEOUT 60116 | TIMEOUT 60120 | TIMEOUT 60135 | TIMEOUT 60085 | MAYBE 59443 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | TIMEOUT 60726 | TIMEOUT 60142 | TIMEOUT 60147 | TIMEOUT 60167 | TIMEOUT 60104 | MAYBE 59498 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | YES 13780 | MAYBE 2229 | TIMEOUT 60138 | TIMEOUT 60152 | TIMEOUT 60130 | YES 1501 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | YES 11044 | YES 18704 | YES 22269 | YES 5782 | YES 13357 | YES 1299 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | YES 899 | TIMEOUT 60125 | YES 45261 | YES 6188 | YES 3922 | YES 757 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | YES 983 | YES 1752 | TIMEOUT 60136 | YES 6829 | YES 2540 | YES 581 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | YES 3083 | MAYBE 8463 | TIMEOUT 60136 | TIMEOUT 60125 | TIMEOUT 60084 | YES 7843 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | YES 1877 | YES 301 | YES 9486 | YES 8037 | YES 4537 | YES 1866 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | YES 4365 | YES 15608 | YES 24009 | YES 52886 | TIMEOUT 60085 | YES 1662 |
| tpdb-8.0/TRS/Secret_06_SRS/3.xml | TIMEOUT 60994 | MAYBE 31629 | TIMEOUT 60142 | TIMEOUT 60157 | TIMEOUT 60103 | YES 1074 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | YES 19429 | YES 3126 | TIMEOUT 60149 | YES 19790 | TIMEOUT 60098 | YES 798 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | YES 3921 | YES 2036 | YES 57771 | TIMEOUT 60128 | TIMEOUT 60088 | YES 5668 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | YES 3861 | MAYBE 5337 | YES 8784 | YES 1630 | TIMEOUT 60088 | YES 1649 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | YES 19224 | TIMEOUT 60210 | TIMEOUT 60132 | TIMEOUT 60144 | TIMEOUT 60099 | YES 1255 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | YES 20661 | TIMEOUT 60195 | TIMEOUT 60127 | TIMEOUT 60125 | TIMEOUT 60096 | YES 2076 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | YES 21848 | TIMEOUT 60228 | TIMEOUT 60118 | TIMEOUT 60125 | TIMEOUT 60089 | YES 1765 |
| tpdb-8.0/TRS/Secret_06_SRS/multum4.xml | YES 895 | TIMEOUT 60194 | YES 53619 | TIMEOUT 60674 | TIMEOUT 60095 | YES 459 |
| tpdb-8.0/TRS/Secret_06_SRS/multum5.xml | YES 3865 | YES 3021 | YES 48463 | YES 2846 | TIMEOUT 60124 | YES 1172 |
| tpdb-8.0/TRS/Secret_06_SRS/secr1.xml | YES 2982 | MAYBE 2035 | YES 9469 | TIMEOUT 60122 | TIMEOUT 60091 | YES 425 |
| tpdb-8.0/TRS/Secret_06_SRS/secr5.xml | TIMEOUT 60640 | TIMEOUT 60122 | TIMEOUT 60096 | TIMEOUT 60106 | TIMEOUT 60072 | MAYBE 59446 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | YES 1802 | YES 207 | TIMEOUT 60160 | YES 1257 | YES 120 | YES 824 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | NO 5557 | TIMEOUT 60119 | TIMEOUT 60125 | TIMEOUT 60121 | TIMEOUT 60093 | NO 50984 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | TIMEOUT 60643 | MAYBE 19593 | TIMEOUT 60138 | TIMEOUT 60152 | TIMEOUT 60102 | MAYBE 59434 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | NO 8775 | TIMEOUT 60127 | TIMEOUT 60139 | TIMEOUT 60135 | TIMEOUT 60093 | MAYBE 59419 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | NO 1502 | MAYBE 49881 | TIMEOUT 60114 | TIMEOUT 60125 | TIMEOUT 60090 | MAYBE 59421 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | YES 5512 | MAYBE 429 | TIMEOUT 60137 | TIMEOUT 60136 | MAYBE 12641 | YES 8385 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | YES 39381 | MAYBE 423 | YES 26098 | TIMEOUT 60118 | MAYBE 39055 | YES 6666 |
| tpdb-8.0/TRS/Secret_07_SRS/x07.xml | YES 5423 | MAYBE 3588 | TIMEOUT 60120 | TIMEOUT 60125 | TIMEOUT 60112 | YES 19391 |
| tpdb-8.0/TRS/Secret_07_SRS/x09.xml | TIMEOUT 61113 | TIMEOUT 60161 | TIMEOUT 60124 | TIMEOUT 60122 | TIMEOUT 60089 | MAYBE 59426 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | YES 7630 | MAYBE 7300 | YES 37371 | TIMEOUT 60117 | MAYBE 34661 | YES 7870 |
| tpdb-8.0/TRS/Trafo_06/dup10.xml | TIMEOUT 61052 | TIMEOUT 60199 | TIMEOUT 60152 | TIMEOUT 60205 | TIMEOUT 60095 | YES 9404 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | YES 13712 | YES 17838 | YES 3008 | TIMEOUT 60094 | TIMEOUT 60089 | YES 604 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | TIMEOUT 60921 | TIMEOUT 60151 | YES 53346 | YES 46795 | TIMEOUT 60085 | YES 1875 |
| tpdb-8.0/TRS/Trafo_06/hom01.xml | YES 15166 | TIMEOUT 60167 | TIMEOUT 60127 | YES 8150 | TIMEOUT 60092 | YES 1330 |
| tpdb-8.0/TRS/Trafo_06/hom02.xml | YES 3297 | YES 940 | YES 104 | TIMEOUT 60158 | YES 1842 | YES 610 |
| tpdb-8.0/TRS/Trafo_06/un02.xml | TIMEOUT 61047 | TIMEOUT 60216 | TIMEOUT 60132 | TIMEOUT 60141 | TIMEOUT 60089 | MAYBE 59698 |
| tpdb-8.0/TRS/Trafo_06/un06.xml | YES 18842 | TIMEOUT 60172 | YES 43456 | TIMEOUT 60120 | TIMEOUT 60080 | YES 4502 |
| tpdb-8.0/TRS/Trafo_06/un07.xml | YES 7077 | TIMEOUT 60147 | TIMEOUT 60124 | TIMEOUT 60152 | TIMEOUT 60087 | YES 6325 |
| tpdb-8.0/TRS/Trafo_06/un11.xml | TIMEOUT 61271 | TIMEOUT 60213 | TIMEOUT 60135 | TIMEOUT 60145 | TIMEOUT 60100 | MAYBE 59523 |
| tpdb-8.0/TRS/Trafo_06/un16.xml | TIMEOUT 61166 | TIMEOUT 60129 | TIMEOUT 60124 | TIMEOUT 60146 | TIMEOUT 60084 | MAYBE 59577 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | YES 8306 | YES 4435 | TIMEOUT 60686 | TIMEOUT 60126 | TIMEOUT 60120 | YES 3199 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | TIMEOUT 61065 | TIMEOUT 60336 | TIMEOUT 60164 | TIMEOUT 60181 | TIMEOUT 60100 | YES 11160 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml | TIMEOUT 61277 | TIMEOUT 60350 | TIMEOUT 60332 | TIMEOUT 60304 | TIMEOUT 60098 | MAYBE 59667 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml | YES 3117 | MAYBE 518 | YES 26522 | TIMEOUT 60112 | TIMEOUT 60087 | YES 729 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | YES 6238 | MAYBE 16237 | TIMEOUT 60121 | TIMEOUT 60240 | TIMEOUT 60084 | YES 1156 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml | TIMEOUT 60723 | MAYBE 4238 | TIMEOUT 60116 | TIMEOUT 60110 | TIMEOUT 60096 | YES 10709 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml | NO 2787 | TIMEOUT 60089 | TIMEOUT 60093 | TIMEOUT 60096 | TIMEOUT 60070 | MAYBE 59418 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml | NO 1057 | MAYBE 27974 | TIMEOUT 60163 | TIMEOUT 60167 | TIMEOUT 60116 | NO 6883 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-7.xml | TIMEOUT 60800 | TIMEOUT 60118 | TIMEOUT 60125 | TIMEOUT 60132 | TIMEOUT 60114 | MAYBE 59491 |
| tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml | YES 9477 | MAYBE 6617 | YES 52903 | TIMEOUT 60157 | TIMEOUT 60091 | YES 27465 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml | YES 6578 | MAYBE 43571 | YES 26314 | TIMEOUT 60138 | TIMEOUT 60091 | YES 10746 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml | YES 4450 | MAYBE 41241 | TIMEOUT 60123 | TIMEOUT 60130 | TIMEOUT 60089 | YES 6061 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | YES 3584 | MAYBE 3678 | YES 7735 | TIMEOUT 60153 | TIMEOUT 60106 | YES 4916 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | NO 5855 | TIMEOUT 60120 | TIMEOUT 60386 | TIMEOUT 60140 | TIMEOUT 60095 | MAYBE 59419 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | YES 3620 | MAYBE 936 | YES 17206 | TIMEOUT 60218 | TIMEOUT 60150 | YES 7252 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml | NO 1492 | MAYBE 4679 | TIMEOUT 60113 | TIMEOUT 60239 | TIMEOUT 60082 | MAYBE 59264 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml | NO 4731 | MAYBE 1110 | TIMEOUT 60149 | TIMEOUT 60148 | MAYBE 8042 | MAYBE 59250 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | TIMEOUT 60687 | MAYBE 4726 | TIMEOUT 60138 | TIMEOUT 60139 | MAYBE 25521 | MAYBE 59391 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | YES 3354 | MAYBE 17070 | TIMEOUT 60149 | TIMEOUT 60165 | TIMEOUT 60105 | YES 4846 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | YES 2973 | MAYBE 28467 | TIMEOUT 60128 | TIMEOUT 60129 | TIMEOUT 60090 | YES 5026 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-10.xml | TIMEOUT 60894 | TIMEOUT 60142 | TIMEOUT 60143 | TIMEOUT 60143 | TIMEOUT 60098 | MAYBE 59412 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml | YES 5658 | MAYBE 19231 | YES 18924 | TIMEOUT 60149 | TIMEOUT 60158 | YES 4957 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml | YES 2784 | MAYBE 1789 | TIMEOUT 60120 | TIMEOUT 60110 | TIMEOUT 60081 | YES 7080 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml | YES 3559 | MAYBE 9802 | TIMEOUT 60131 | TIMEOUT 60124 | TIMEOUT 60093 | YES 4538 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml | YES 4766 | TIMEOUT 60157 | TIMEOUT 60153 | TIMEOUT 60155 | TIMEOUT 60101 | YES 22707 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml | YES 8081 | MAYBE 35600 | TIMEOUT 60122 | TIMEOUT 60129 | TIMEOUT 60087 | YES 53102 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml | YES 3567 | TIMEOUT 60117 | YES 38349 | TIMEOUT 60119 | TIMEOUT 60092 | YES 9981 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml | YES 2941 | MAYBE 4170 | TIMEOUT 60128 | TIMEOUT 60125 | MAYBE 6804 | YES 4879 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | YES 3431 | MAYBE 37415 | TIMEOUT 60117 | TIMEOUT 60118 | TIMEOUT 60091 | YES 1447 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml | YES 4553 | MAYBE 12652 | TIMEOUT 60137 | TIMEOUT 60133 | TIMEOUT 60095 | YES 4959 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | YES 2819 | MAYBE 1328 | TIMEOUT 60150 | TIMEOUT 60145 | MAYBE 3636 | YES 4850 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml | YES 3521 | MAYBE 903 | TIMEOUT 60147 | TIMEOUT 60124 | TIMEOUT 60092 | YES 7478 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml | NO 1028 | TIMEOUT 60123 | TIMEOUT 60120 | TIMEOUT 60120 | TIMEOUT 60090 | NO 682 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml | NO 956 | TIMEOUT 60113 | TIMEOUT 60111 | TIMEOUT 60330 | TIMEOUT 60088 | NO 674 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml | NO 1533 | MAYBE 8625 | TIMEOUT 60133 | TIMEOUT 60130 | TIMEOUT 60098 | NO 733 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml | NO 996 | TIMEOUT 60143 | TIMEOUT 60143 | TIMEOUT 60155 | TIMEOUT 60105 | NO 3307 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml | YES 3155 | MAYBE 3671 | TIMEOUT 60132 | TIMEOUT 60130 | MAYBE 8600 | YES 4953 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml | YES 3479 | MAYBE 325 | TIMEOUT 60120 | TIMEOUT 60119 | MAYBE 11956 | YES 5352 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml | YES 2505 | MAYBE 1041 | YES 55796 | TIMEOUT 60131 | TIMEOUT 60090 | YES 4904 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml | YES 3673 | MAYBE 1992 | TIMEOUT 60132 | TIMEOUT 60131 | TIMEOUT 60090 | YES 5360 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml | TIMEOUT 60647 | MAYBE 27187 | TIMEOUT 60086 | TIMEOUT 60080 | TIMEOUT 60067 | MAYBE 59344 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml | NO 2040 | MAYBE 1484 | TIMEOUT 60126 | TIMEOUT 60125 | TIMEOUT 60097 | NO 3234 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml | NO 3235 | MAYBE 10136 | TIMEOUT 60135 | TIMEOUT 60166 | TIMEOUT 60093 | MAYBE 59412 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml | YES 2663 | MAYBE 405 | TIMEOUT 60111 | TIMEOUT 60122 | MAYBE 11030 | YES 5180 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml | NO 10311 | MAYBE 1560 | TIMEOUT 60131 | TIMEOUT 60148 | MAYBE 11060 | MAYBE 59417 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml | TIMEOUT 60714 | MAYBE 4400 | TIMEOUT 60112 | TIMEOUT 60121 | TIMEOUT 60081 | MAYBE 59404 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml | TIMEOUT 60735 | MAYBE 4956 | TIMEOUT 60138 | TIMEOUT 60148 | TIMEOUT 60099 | MAYBE 59403 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml | YES 2750 | MAYBE 1106 | YES 9697 | TIMEOUT 60131 | TIMEOUT 60092 | YES 4852 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml | YES 3785 | MAYBE 5259 | YES 6212 | TIMEOUT 60126 | TIMEOUT 60090 | YES 5185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml | YES 3082 | MAYBE 7914 | YES 5276 | TIMEOUT 60121 | TIMEOUT 60086 | YES 5185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml | YES 3799 | MAYBE 1446 | YES 34450 | TIMEOUT 60127 | TIMEOUT 60092 | YES 6349 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | YES 3774 | MAYBE 24744 | TIMEOUT 60108 | TIMEOUT 60118 | TIMEOUT 60081 | YES 5259 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml | YES 4232 | MAYBE 397 | TIMEOUT 60138 | TIMEOUT 60139 | MAYBE 951 | YES 5618 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml | YES 3598 | MAYBE 4865 | YES 10271 | TIMEOUT 60141 | MAYBE 6723 | YES 5598 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml | YES 2654 | MAYBE 1963 | TIMEOUT 60153 | TIMEOUT 60143 | MAYBE 8097 | YES 5038 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml | YES 3139 | TIMEOUT 60120 | TIMEOUT 60128 | TIMEOUT 60134 | TIMEOUT 60090 | YES 6034 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml | NO 1632 | TIMEOUT 60129 | TIMEOUT 60136 | TIMEOUT 60133 | TIMEOUT 60097 | NO 20075 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml | YES 3605 | MAYBE 569 | TIMEOUT 60139 | TIMEOUT 60135 | TIMEOUT 60095 | YES 6109 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml | NO 44896 | TIMEOUT 60114 | TIMEOUT 60117 | TIMEOUT 60121 | TIMEOUT 60091 | MAYBE 59426 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml | YES 3701 | MAYBE 39618 | TIMEOUT 60126 | TIMEOUT 60123 | TIMEOUT 60090 | YES 5592 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml | YES 4099 | MAYBE 33587 | TIMEOUT 60126 | TIMEOUT 60125 | TIMEOUT 60079 | YES 5568 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | YES 3935 | MAYBE 39359 | TIMEOUT 60139 | TIMEOUT 60141 | TIMEOUT 60096 | YES 6062 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | TIMEOUT 60663 | TIMEOUT 60120 | TIMEOUT 60106 | TIMEOUT 60137 | TIMEOUT 60080 | MAYBE 59434 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml | YES 3196 | TIMEOUT 60113 | TIMEOUT 60124 | TIMEOUT 60129 | TIMEOUT 60088 | YES 6148 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml | YES 13511 | MAYBE 799 | TIMEOUT 60216 | TIMEOUT 60129 | TIMEOUT 60093 | YES 5106 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml | YES 3543 | MAYBE 2847 | YES 8658 | TIMEOUT 60125 | TIMEOUT 60101 | YES 5165 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml | YES 2404 | MAYBE 882 | TIMEOUT 60121 | TIMEOUT 60130 | MAYBE 722 | YES 5455 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml | YES 3080 | MAYBE 1641 | TIMEOUT 60551 | TIMEOUT 60136 | TIMEOUT 60093 | YES 5294 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml | YES 3597 | MAYBE 698 | YES 34240 | TIMEOUT 60148 | MAYBE 5820 | YES 8198 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml | YES 4151 | MAYBE 517 | TIMEOUT 60162 | TIMEOUT 60155 | TIMEOUT 60107 | YES 15591 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml | NO 26376 | TIMEOUT 60116 | TIMEOUT 60126 | TIMEOUT 60127 | TIMEOUT 60090 | MAYBE 59423 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml | YES 3990 | TIMEOUT 60129 | YES 23390 | TIMEOUT 60131 | TIMEOUT 60091 | YES 6090 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml | YES 2902 | MAYBE 7298 | YES 39644 | TIMEOUT 60164 | TIMEOUT 60091 | YES 5736 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml | NO 4944 | MAYBE 666 | TIMEOUT 60131 | TIMEOUT 60116 | MAYBE 2009 | MAYBE 59396 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml | YES 3623 | MAYBE 4157 | YES 12848 | TIMEOUT 60167 | TIMEOUT 60101 | YES 5200 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml | YES 3093 | MAYBE 8412 | TIMEOUT 60114 | TIMEOUT 60119 | TIMEOUT 60082 | YES 9123 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml | NO 4824 | TIMEOUT 60109 | TIMEOUT 60114 | TIMEOUT 60116 | TIMEOUT 60088 | MAYBE 59400 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml | YES 3502 | MAYBE 4242 | YES 5241 | TIMEOUT 60140 | TIMEOUT 60101 | YES 5183 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | YES 2375 | MAYBE 507 | TIMEOUT 60123 | TIMEOUT 60105 | TIMEOUT 60102 | YES 5977 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml | NO 13433 | TIMEOUT 60115 | TIMEOUT 60126 | TIMEOUT 60132 | TIMEOUT 60089 | MAYBE 59414 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | NO 18914 | TIMEOUT 60118 | TIMEOUT 60123 | TIMEOUT 60130 | TIMEOUT 60091 | MAYBE 59453 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml | YES 12451 | TIMEOUT 60128 | TIMEOUT 60132 | TIMEOUT 60130 | YES 167 | YES 5119 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml | YES 4026 | MAYBE 1427 | YES 18853 | TIMEOUT 60196 | TIMEOUT 60104 | YES 7185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | NO 36946 | MAYBE 1463 | TIMEOUT 60139 | TIMEOUT 60147 | TIMEOUT 60088 | MAYBE 59402 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml | YES 4754 | MAYBE 1544 | TIMEOUT 60117 | TIMEOUT 60118 | TIMEOUT 60082 | YES 5174 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml | YES 3380 | MAYBE 989 | YES 3982 | TIMEOUT 60121 | TIMEOUT 60091 | YES 5181 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml | MAYBE 89 | MAYBE 3149 | YES 56171 | TIMEOUT 60116 | TIMEOUT 60088 | YES 5141 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | YES 4008 | YES 319 | TIMEOUT 60205 | TIMEOUT 60116 | YES 110 | YES 6376 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml | YES 3106 | YES 187 | TIMEOUT 60133 | TIMEOUT 60129 | YES 108 | YES 5577 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml | YES 3687 | MAYBE 15194 | YES 50692 | TIMEOUT 60244 | TIMEOUT 60097 | YES 11632 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | NO 36348 | MAYBE 1036 | TIMEOUT 60126 | TIMEOUT 60130 | MAYBE 7199 | MAYBE 59346 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml | NO 21153 | MAYBE 644 | TIMEOUT 60121 | TIMEOUT 60122 | TIMEOUT 60086 | MAYBE 59356 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml | YES 2566 | MAYBE 436 | YES 6773 | TIMEOUT 60129 | TIMEOUT 60092 | YES 4876 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | NO 1006 | MAYBE 1645 | TIMEOUT 60111 | TIMEOUT 60116 | TIMEOUT 60091 | NO 4211 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml | YES 3235 | MAYBE 29986 | TIMEOUT 60137 | TIMEOUT 60144 | TIMEOUT 60100 | YES 4866 |
| tpdb-8.0/TRS/Zantema_04/syracuse.xml | TIMEOUT 60652 | TIMEOUT 60109 | TIMEOUT 60114 | TIMEOUT 60128 | TIMEOUT 60081 | MAYBE 59847 |
| tpdb-8.0/TRS/Zantema_04/z004.xml | YES 855 | YES 23857 | YES 45229 | YES 9043 | YES 155 | YES 446 |
| tpdb-8.0/TRS/Zantema_04/z007.xml | YES 798 | YES 202 | YES 1499 | YES 815 | YES 105 | YES 515 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | YES 885 | YES 270 | YES 1415 | YES 1255 | YES 120 | YES 600 |
| tpdb-8.0/TRS/Zantema_04/z018.xml | YES 3830 | YES 465 | YES 8581 | YES 1404 | YES 795 | YES 5569 |
| tpdb-8.0/TRS/Zantema_04/z021.xml | YES 863 | YES 300 | TIMEOUT 60137 | YES 2686 | YES 195 | YES 460 |
| tpdb-8.0/TRS/Zantema_04/z023.xml | YES 4197 | YES 2682 | YES 13738 | YES 1494 | TIMEOUT 60092 | YES 862 |
| tpdb-8.0/TRS/Zantema_04/z025.xml | YES 1143 | YES 323 | YES 99 | YES 1029 | YES 639 | YES 736 |
| tpdb-8.0/TRS/Zantema_04/z026.xml | YES 1610 | YES 161 | YES 86 | TIMEOUT 60127 | YES 142 | YES 412 |
| tpdb-8.0/TRS/Zantema_04/z031.xml | YES 907 | TIMEOUT 60160 | TIMEOUT 60123 | TIMEOUT 60125 | TIMEOUT 60089 | YES 462 |
| tpdb-8.0/TRS/Zantema_04/z036.xml | YES 857 | TIMEOUT 60190 | TIMEOUT 60125 | TIMEOUT 60132 | TIMEOUT 60092 | YES 459 |
| tpdb-8.0/TRS/Zantema_04/z037.xml | YES 840 | TIMEOUT 60163 | TIMEOUT 60114 | TIMEOUT 60112 | TIMEOUT 60084 | YES 463 |
| tpdb-8.0/TRS/Zantema_04/z041.xml | YES 867 | TIMEOUT 60203 | TIMEOUT 60134 | TIMEOUT 60148 | TIMEOUT 60103 | YES 478 |
| tpdb-8.0/TRS/Zantema_04/z044.xml | MAYBE 208 | TIMEOUT 60134 | TIMEOUT 60150 | TIMEOUT 60893 | TIMEOUT 60082 | NO 423 |
| tpdb-8.0/TRS/Zantema_04/z049.xml | YES 802 | YES 21721 | YES 6887 | YES 2090 | YES 102 | YES 380 |
| tpdb-8.0/TRS/Zantema_04/z051.xml | YES 843 | YES 49797 | YES 15125 | YES 5138 | TIMEOUT 60097 | YES 422 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | YES 848 | TIMEOUT 60145 | TIMEOUT 60142 | TIMEOUT 60140 | TIMEOUT 60095 | YES 439 |
| tpdb-8.0/TRS/Zantema_04/z055.xml | YES 862 | YES 22458 | YES 7244 | YES 2220 | TIMEOUT 60106 | YES 412 |
| tpdb-8.0/TRS/Zantema_04/z056.xml | YES 812 | YES 46629 | YES 15772 | TIMEOUT 60157 | TIMEOUT 60104 | YES 451 |
| tpdb-8.0/TRS/Zantema_04/z058.xml | YES 836 | YES 47312 | YES 6291 | YES 3479 | TIMEOUT 60081 | YES 417 |
| tpdb-8.0/TRS/Zantema_04/z062.xml | YES 846 | YES 29541 | YES 7536 | YES 722 | YES 204 | YES 400 |
| tpdb-8.0/TRS/Zantema_04/z064.xml | YES 800 | TIMEOUT 60114 | YES 14775 | YES 9985 | TIMEOUT 60088 | YES 411 |
| tpdb-8.0/TRS/Zantema_04/z066.xml | YES 5356 | YES 402 | YES 3306 | YES 37070 | YES 1518 | YES 824 |
| tpdb-8.0/TRS/Zantema_04/z075.xml | YES 2934 | YES 1109 | YES 6935 | YES 8008 | TIMEOUT 60082 | YES 1729 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | YES 1904 | YES 84 | TIMEOUT 60129 | YES 1638 | YES 104 | YES 799 |
| tpdb-8.0/TRS/Zantema_04/z078.xml | YES 3075 | TIMEOUT 60142 | TIMEOUT 60148 | YES 7021 | YES 183 | YES 707 |
| tpdb-8.0/TRS/Zantema_04/z085.xml | YES 963 | YES 105 | YES 91 | YES 627 | YES 169 | YES 441 |
| tpdb-8.0/TRS/Zantema_04/z088.xml | YES 962 | MAYBE 57402 | TIMEOUT 60127 | YES 3654 | YES 20390 | YES 521 |
| tpdb-8.0/TRS/Zantema_04/z090.xml | TIMEOUT 60781 | TIMEOUT 60119 | TIMEOUT 60128 | TIMEOUT 60131 | TIMEOUT 60119 | YES 24014 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | YES 21001 | YES 6713 | TIMEOUT 60128 | TIMEOUT 60130 | YES 15856 | YES 2541 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | YES 959 | YES 224 | YES 97 | TIMEOUT 60151 | YES 914 | YES 521 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | YES 1140 | YES 327 | YES 113 | YES 1752 | YES 3248 | YES 1060 |
| tpdb-8.0/TRS/Zantema_04/z107.xml | YES 959 | MAYBE 1678 | YES 106 | TIMEOUT 60150 | TIMEOUT 60096 | YES 742 |
| tpdb-8.0/TRS/Zantema_04/z110.xml | YES 2465 | YES 207 | TIMEOUT 60118 | TIMEOUT 60128 | YES 1297 | YES 910 |
| tpdb-8.0/TRS/Zantema_04/z114.xml | YES 1857 | YES 152 | TIMEOUT 60138 | TIMEOUT 60132 | YES 578 | YES 714 |
| tpdb-8.0/TRS/Zantema_04/z117.xml | YES 14793 | TIMEOUT 60128 | TIMEOUT 60141 | TIMEOUT 60145 | YES 1086 | YES 844 |
| tpdb-8.0/TRS/Zantema_04/z119.xml | YES 4466 | YES 566 | TIMEOUT 60136 | TIMEOUT 60143 | TIMEOUT 60118 | YES 1186 |
| tpdb-8.0/TRS/Zantema_04/z124.xml | YES 831 | YES 197 | YES 145 | YES 8986 | YES 513 | YES 1381 |
| tpdb-8.0/TRS/Zantema_06/01.xml | YES 2190 | YES 200 | TIMEOUT 60104 | YES 2289 | YES 119 | YES 5122 |
| tpdb-8.0/TRS/Zantema_06/03.xml | TIMEOUT 60838 | TIMEOUT 60114 | TIMEOUT 60117 | TIMEOUT 60126 | TIMEOUT 60088 | YES 38752 |
| tpdb-8.0/TRS/Zantema_06/04.xml | YES 3213 | YES 344 | TIMEOUT 60113 | TIMEOUT 60125 | YES 321 | YES 5961 |
| tpdb-8.0/TRS/Zantema_06/08.xml | TIMEOUT 60740 | TIMEOUT 60121 | TIMEOUT 60133 | TIMEOUT 60141 | TIMEOUT 60096 | YES 672 |
| tpdb-8.0/TRS/Zantema_06/09.xml | YES 7343 | YES 5651 | YES 23321 | TIMEOUT 60145 | TIMEOUT 60136 | YES 791 |
| tpdb-8.0/TRS/Zantema_06/14.xml | YES 7669 | MAYBE 2357 | YES 36579 | TIMEOUT 60158 | TIMEOUT 60105 | YES 16520 |
| tpdb-8.0/TRS/Zantema_06/18.xml | YES 13724 | TIMEOUT 60172 | TIMEOUT 60134 | TIMEOUT 60131 | TIMEOUT 60127 | YES 5848 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | YES 4579 | YES 1649 | YES 2127 | TIMEOUT 60125 | YES 1090 | YES 1188 |
| tpdb-8.0/TRS/Zantema_06/beans7.xml | YES 3931 | MAYBE 7826 | TIMEOUT 60136 | TIMEOUT 60143 | TIMEOUT 60140 | YES 9790 |
| tpdb-8.0/TRS/Zantema_06/loop2.xml | NO 833 | MAYBE 806 | TIMEOUT 60194 | TIMEOUT 60208 | TIMEOUT 60123 | NO 419 | 194 | 45 | 85 | 42 | 36 | 194 |