| benchmark | CaT | matchbox-poly | TCT DC |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 48783 | n^1 - INF 50136 | TIMEOUT 60160 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 3818 | n^1 - n^2 50104 | n^0 - n^2 1270 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 52427 | n^1 - INF 50127 | TIMEOUT 60148 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 51926 | n^1 - INF 50196 | TIMEOUT 60178 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 373 | n^1 - n^1 878 | n^0 - n^1 111 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 45428 | n^2 - INF 50118 | TIMEOUT 60167 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 482 | n^1 - n^1 1179 | n^0 - n^1 124 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^2 3889 | n^1 - n^2 50086 | n^0 - n^2 320 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 355 | n^1 - n^1 820 | n^0 - n^1 126 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^1 1479 | n^1 - n^2 50085 | n^0 - n^2 466 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^2 4844 | n^1 - n^2 6621 | n^0 - n^2 951 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 518 | n^1 - n^1 492 | n^0 - n^1 126 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^2 4732 | n^1 - n^2 4657 | n^0 - n^2 487 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^1 341 | n^1 - n^1 976 | n^0 - n^1 1527 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 885 | n^1 - n^1 654 | n^0 - n^1 289 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | MAYBE 9588 | n^1 - INF 50127 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 5821 | n^1 - INF 18186 | TIMEOUT 60137 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | TIMEOUT 60136 | n^1 - INF 50139 | TIMEOUT 60164 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^2 11129 | n^1 - n^2 50097 | TIMEOUT 60137 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | TIMEOUT 60144 | n^1 - INF 50189 | TIMEOUT 60171 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | TIMEOUT 60126 | n^1 - INF 50140 | TIMEOUT 60143 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^2 26742 | n^1 - INF 50179 | n^0 - n^3 7721 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^2 13019 | n^1 - n^2 50129 | TIMEOUT 60183 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 56012 | n^1 - INF 50112 | TIMEOUT 60136 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 46184 | n^1 - INF 50160 | TIMEOUT 60184 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 45488 | n^1 - INF 50125 | TIMEOUT 60182 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 46640 | n^1 - INF 50116 | TIMEOUT 60133 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 32881 | n^1 - INF 50099 | TIMEOUT 60130 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 12417 | n^1 - INF 50074 | MAYBE 16205 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | n^0 - n^1 341 | n^1 - n^1 631 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Bouchare_06/01.xml | n^0 - n^1 1049 | n^1 - INF 50128 | n^0 - n^1 8598 |
| tpdb-8.0/TRS/Bouchare_06/04.xml | n^0 - n^1 1054 | n^1 - INF 50129 | n^0 - n^1 51564 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | n^0 - n^1 1424 | n^1 - INF 50115 | MAYBE 44746 |
| tpdb-8.0/TRS/Bouchare_06/06.xml | MAYBE 55559 | n^2 - INF 50303 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Bouchare_06/11.xml | MAYBE 34267 | n^1 - INF 50132 | MAYBE 27663 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | n^0 - n^1 1782 | n^1 - INF 50258 | n^0 - n^1 6160 |
| tpdb-8.0/TRS/Bouchare_06/14.xml | n^0 - n^1 930 | n^1 - INF 50307 | MAYBE 37234 |
| tpdb-8.0/TRS/Bouchare_06/16.xml | n^0 - n^1 916 | n^1 - INF 50116 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Bouchare_06/17.xml | n^0 - n^1 943 | n^1 - INF 50149 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | MAYBE 45567 | n^2 - INF 50117 | TIMEOUT 60170 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 428 | n^1 - n^1 3181 | n^0 - n^1 146 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 50720 | n^1 - INF 50129 | TIMEOUT 60155 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 56409 | n^1 - INF 50130 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 373 | n^1 - n^1 875 | n^0 - n^1 132 |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^1 358 | n^1 - n^1 699 | n^0 - n^1 144 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 344 | n^1 - n^1 1207 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 557 | n^1 - n^1 620 | n^0 - n^1 325 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 45411 | EXP - INF 119 | TIMEOUT 60142 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 5346 | n^2 - n^2 544 | n^0 - n^2 351 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^2 3323 | n^1 - n^2 50085 | n^0 - n^2 157 |
| tpdb-8.0/TRS/Der95/17.xml | MAYBE 11087 | n^1 - INF 46005 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 32404 | n^1 - INF 50105 | MAYBE 37230 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 3512 | n^1 - n^2 50096 | n^0 - n^2 202 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 406 | n^1 - n^1 2933 | n^0 - n^3 9729 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | MAYBE 45238 | n^1 - INF 50119 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | MAYBE 55249 | n^1 - INF 50112 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^2 18423 | n^1 - INF 50149 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 55256 | n^1 - INF 50112 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 392 | n^1 - n^2 50092 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 450 | n^1 - n^2 50088 | n^0 - n^2 5336 |
| tpdb-8.0/TRS/Gebhardt_06/01.xml | MAYBE 45590 | n^2 - INF 50122 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Gebhardt_06/02.xml | MAYBE 45569 | n^2 - INF 50238 | TIMEOUT 60211 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | MAYBE 45534 | n^2 - INF 50139 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Gebhardt_06/06.xml | MAYBE 45565 | n^2 - INF 50111 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Gebhardt_06/07.xml | MAYBE 55591 | n^2 - INF 50136 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Gebhardt_06/10.xml | MAYBE 45635 | n^2 - INF 50124 | TIMEOUT 60191 |
| tpdb-8.0/TRS/Gebhardt_06/11.xml | MAYBE 55675 | n^2 - INF 50144 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Gebhardt_06/15.xml | MAYBE 45644 | n^2 - INF 50977 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Gebhardt_06/18.xml | MAYBE 45572 | n^2 - INF 50333 | TIMEOUT 60218 |
| tpdb-8.0/TRS/Gebhardt_06/20.xml | MAYBE 45615 | n^1 - INF 50142 | TIMEOUT 60212 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 5267 | EXP - INF 89 | TIMEOUT 60128 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 5658 | EXP - INF 88 | TIMEOUT 60135 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | MAYBE 5400 | n^1 - INF 2236 | TIMEOUT 60150 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | MAYBE 21153 | n^1 - INF 50278 | TIMEOUT 60168 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 13663 | n^1 - INF 50110 | TIMEOUT 60207 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^1 332 | n^1 - n^1 1075 | n^0 - n^1 137 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^1 354 | n^1 - n^1 1499 | n^0 - n^1 142 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | TIMEOUT 60495 | n^1 - INF 50358 | TIMEOUT 60807 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 351 | n^1 - n^1 1344 | n^0 - n^1 120 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 45647 | n^1 - INF 50101 | TIMEOUT 60147 |
| tpdb-8.0/TRS/ICFP_2010/107236.xml | TIMEOUT 60153 | n^1 - INF 51511 | TIMEOUT 60158 |
| tpdb-8.0/TRS/ICFP_2010/132478.xml | MAYBE 58616 | n^1 - INF 51165 | TIMEOUT 60182 |
| tpdb-8.0/TRS/ICFP_2010/132540.xml | MAYBE 58689 | n^1 - INF 51196 | TIMEOUT 60246 |
| tpdb-8.0/TRS/ICFP_2010/132611.xml | MAYBE 57995 | n^1 - INF 51090 | TIMEOUT 60275 |
| tpdb-8.0/TRS/ICFP_2010/132622.xml | MAYBE 58779 | n^1 - INF 51186 | TIMEOUT 60255 |
| tpdb-8.0/TRS/ICFP_2010/132738.xml | MAYBE 58522 | n^1 - INF 51168 | TIMEOUT 60244 |
| tpdb-8.0/TRS/ICFP_2010/135505.xml | MAYBE 60038 | n^1 - INF 51634 | TIMEOUT 60172 |
| tpdb-8.0/TRS/ICFP_2010/136051.xml | MAYBE 58007 | n^1 - INF 51114 | TIMEOUT 60163 |
| tpdb-8.0/TRS/ICFP_2010/136534.xml | MAYBE 60098 | n^1 - INF 51637 | TIMEOUT 60190 |
| tpdb-8.0/TRS/ICFP_2010/136571.xml | MAYBE 60112 | n^1 - INF 51665 | TIMEOUT 60171 |
| tpdb-8.0/TRS/ICFP_2010/137087.xml | MAYBE 60101 | n^1 - INF 51620 | TIMEOUT 60174 |
| tpdb-8.0/TRS/ICFP_2010/137956.xml | MAYBE 60121 | n^1 - INF 51637 | TIMEOUT 60166 |
| tpdb-8.0/TRS/ICFP_2010/138468.xml | TIMEOUT 60168 | n^1 - INF 51762 | TIMEOUT 60163 |
| tpdb-8.0/TRS/ICFP_2010/139100.xml | MAYBE 58466 | n^1 - INF 51273 | TIMEOUT 60250 |
| tpdb-8.0/TRS/ICFP_2010/139163.xml | MAYBE 58691 | n^1 - INF 51239 | TIMEOUT 60218 |
| tpdb-8.0/TRS/ICFP_2010/139185.xml | MAYBE 58755 | n^1 - INF 51190 | TIMEOUT 60181 |
| tpdb-8.0/TRS/ICFP_2010/139214.xml | MAYBE 58605 | n^1 - INF 51213 | TIMEOUT 60530 |
| tpdb-8.0/TRS/ICFP_2010/142146.xml | MAYBE 57627 | n^1 - INF 50945 | TIMEOUT 60204 |
| tpdb-8.0/TRS/ICFP_2010/148543.xml | TIMEOUT 60221 | n^1 - INF 52023 | TIMEOUT 60209 |
| tpdb-8.0/TRS/ICFP_2010/149415.xml | TIMEOUT 60218 | n^1 - INF 51963 | TIMEOUT 60229 |
| tpdb-8.0/TRS/ICFP_2010/149633.xml | TIMEOUT 60236 | n^1 - INF 51890 | TIMEOUT 60235 |
| tpdb-8.0/TRS/ICFP_2010/150067.xml | TIMEOUT 60176 | n^1 - INF 51904 | TIMEOUT 60185 |
| tpdb-8.0/TRS/ICFP_2010/150468.xml | TIMEOUT 60184 | n^1 - INF 51984 | TIMEOUT 60188 |
| tpdb-8.0/TRS/ICFP_2010/158342.xml | TIMEOUT 60109 | n^1 - INF 51625 | TIMEOUT 60162 |
| tpdb-8.0/TRS/ICFP_2010/162244.xml | TIMEOUT 60172 | n^1 - INF 51760 | TIMEOUT 60165 |
| tpdb-8.0/TRS/ICFP_2010/165713.xml | TIMEOUT 60161 | n^1 - INF 51689 | TIMEOUT 60168 |
| tpdb-8.0/TRS/ICFP_2010/165755.xml | TIMEOUT 60174 | n^1 - INF 51734 | TIMEOUT 60192 |
| tpdb-8.0/TRS/ICFP_2010/166465.xml | TIMEOUT 60128 | n^1 - INF 51516 | TIMEOUT 60166 |
| tpdb-8.0/TRS/ICFP_2010/166493.xml | TIMEOUT 60211 | n^1 - INF 51749 | TIMEOUT 60194 |
| tpdb-8.0/TRS/ICFP_2010/166558.xml | TIMEOUT 60285 | n^1 - INF 51857 | TIMEOUT 60228 |
| tpdb-8.0/TRS/ICFP_2010/167041.xml | TIMEOUT 60216 | n^1 - INF 51739 | TIMEOUT 60154 |
| tpdb-8.0/TRS/ICFP_2010/186617.xml | TIMEOUT 60217 | TIMEOUT 60134 | TIMEOUT 60164 |
| tpdb-8.0/TRS/ICFP_2010/211471.xml | TIMEOUT 60154 | n^1 - INF 50263 | TIMEOUT 60331 |
| tpdb-8.0/TRS/ICFP_2010/211857.xml | n^0 - n^4 50108 | n^1 - INF 50664 | TIMEOUT 60154 |
| tpdb-8.0/TRS/ICFP_2010/212062.xml | TIMEOUT 64431 | n^1 - INF 50362 | TIMEOUT 60173 |
| tpdb-8.0/TRS/ICFP_2010/214320.xml | TIMEOUT 60257 | n^1 - INF 50323 | TIMEOUT 60187 |
| tpdb-8.0/TRS/ICFP_2010/231604.xml | TIMEOUT 60183 | n^1 - INF 50850 | TIMEOUT 60283 |
| tpdb-8.0/TRS/ICFP_2010/246924.xml | TIMEOUT 60184 | n^1 - INF 50551 | TIMEOUT 60298 |
| tpdb-8.0/TRS/ICFP_2010/248060.xml | TIMEOUT 60192 | n^1 - INF 50531 | TIMEOUT 60302 |
| tpdb-8.0/TRS/ICFP_2010/25731.xml | n^0 - n^1 637 | n^1 - n^2 50095 | TIMEOUT 60172 |
| tpdb-8.0/TRS/ICFP_2010/26127.xml | MAYBE 58617 | n^1 - INF 51194 | TIMEOUT 60158 |
| tpdb-8.0/TRS/ICFP_2010/264370.xml | n^0 - n^1 539 | n^1 - n^1 3116 | n^0 - n^1 132 |
| tpdb-8.0/TRS/ICFP_2010/26741.xml | MAYBE 58467 | n^1 - INF 51170 | TIMEOUT 60260 |
| tpdb-8.0/TRS/ICFP_2010/26886.xml | MAYBE 57938 | n^1 - INF 51151 | TIMEOUT 60277 |
| tpdb-8.0/TRS/ICFP_2010/26910.xml | MAYBE 58407 | n^1 - INF 51170 | TIMEOUT 60265 |
| tpdb-8.0/TRS/ICFP_2010/26923.xml | MAYBE 58141 | n^1 - INF 51332 | TIMEOUT 60324 |
| tpdb-8.0/TRS/ICFP_2010/26960.xml | MAYBE 58211 | n^1 - INF 51178 | TIMEOUT 60178 |
| tpdb-8.0/TRS/ICFP_2010/26980.xml | MAYBE 57887 | n^1 - INF 51043 | TIMEOUT 60248 |
| tpdb-8.0/TRS/ICFP_2010/27019.xml | MAYBE 58161 | n^1 - INF 51151 | TIMEOUT 60304 |
| tpdb-8.0/TRS/ICFP_2010/27039.xml | MAYBE 58522 | n^1 - INF 51117 | TIMEOUT 60246 |
| tpdb-8.0/TRS/ICFP_2010/40033.xml | TIMEOUT 60126 | n^1 - INF 51630 | TIMEOUT 60168 |
| tpdb-8.0/TRS/ICFP_2010/40540.xml | MAYBE 60086 | n^1 - INF 51707 | TIMEOUT 60190 |
| tpdb-8.0/TRS/ICFP_2010/42170.xml | MAYBE 60127 | n^1 - INF 51634 | TIMEOUT 60184 |
| tpdb-8.0/TRS/ICFP_2010/42466.xml | MAYBE 60059 | n^1 - INF 51630 | TIMEOUT 60153 |
| tpdb-8.0/TRS/ICFP_2010/4282.xml | TIMEOUT 60231 | n^1 - INF 50375 | TIMEOUT 60160 |
| tpdb-8.0/TRS/ICFP_2010/43650.xml | TIMEOUT 60171 | n^1 - INF 51650 | TIMEOUT 60186 |
| tpdb-8.0/TRS/ICFP_2010/4374.xml | TIMEOUT 60215 | n^1 - INF 50383 | TIMEOUT 60174 |
| tpdb-8.0/TRS/ICFP_2010/45970.xml | TIMEOUT 60169 | n^1 - INF 53129 | TIMEOUT 60151 |
| tpdb-8.0/TRS/ICFP_2010/4854.xml | MAYBE 56158 | n^1 - INF 50462 | TIMEOUT 60168 |
| tpdb-8.0/TRS/ICFP_2010/4979.xml | TIMEOUT 60289 | n^1 - INF 50359 | TIMEOUT 60139 |
| tpdb-8.0/TRS/ICFP_2010/51577.xml | TIMEOUT 60203 | n^1 - INF 51659 | TIMEOUT 60155 |
| tpdb-8.0/TRS/ICFP_2010/57278.xml | MAYBE 56596 | n^1 - INF 50882 | TIMEOUT 60199 |
| tpdb-8.0/TRS/ICFP_2010/63142.xml | MAYBE 56029 | n^1 - INF 50349 | TIMEOUT 60161 |
| tpdb-8.0/TRS/ICFP_2010/68989.xml | TIMEOUT 60171 | n^1 - INF 50319 | TIMEOUT 60146 |
| tpdb-8.0/TRS/ICFP_2010/85650.xml | MAYBE 56225 | n^1 - INF 50713 | TIMEOUT 60168 |
| tpdb-8.0/TRS/ICFP_2010/85749.xml | MAYBE 56152 | n^1 - INF 50500 | TIMEOUT 60167 |
| tpdb-8.0/TRS/ICFP_2010/86636.xml | TIMEOUT 60300 | n^1 - INF 50518 | TIMEOUT 60178 |
| tpdb-8.0/TRS/ICFP_2010/88156.xml | MAYBE 56469 | n^1 - INF 50578 | TIMEOUT 60192 |
| tpdb-8.0/TRS/ICFP_2010/88172.xml | MAYBE 56372 | n^1 - INF 50535 | TIMEOUT 60178 |
| tpdb-8.0/TRS/ICFP_2010/88208.xml | MAYBE 56343 | n^1 - INF 50452 | TIMEOUT 60152 |
| tpdb-8.0/TRS/ICFP_2010/91233.xml | MAYBE 58233 | n^1 - INF 50969 | TIMEOUT 60180 |
| tpdb-8.0/TRS/ICFP_2010/91242.xml | MAYBE 58109 | n^1 - INF 50910 | TIMEOUT 60179 |
| tpdb-8.0/TRS/ICFP_2010/96176.xml | TIMEOUT 60293 | n^1 - INF 50309 | TIMEOUT 60149 |
| tpdb-8.0/TRS/ICFP_2010/96403.xml | TIMEOUT 60298 | n^1 - INF 50373 | TIMEOUT 60166 |
| tpdb-8.0/TRS/ICFP_2010/97888.xml | TIMEOUT 60236 | n^1 - INF 51877 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | MAYBE 55652 | n^1 - INF 50171 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Mixed_SRS/01.xml | MAYBE 45531 | n^2 - INF 50295 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Mixed_SRS/04.xml | MAYBE 45538 | n^2 - INF 50141 | TIMEOUT 60191 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | MAYBE 55562 | n^2 - INF 50297 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Mixed_SRS/06.xml | MAYBE 45577 | EXP - INF 159 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | MAYBE 55722 | n^2 - INF 50433 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Mixed_SRS/09.xml | MAYBE 45541 | EXP - INF 117 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | MAYBE 45535 | n^2 - INF 50194 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Mixed_SRS/s6.xml | n^0 - n^2 49780 | n^2 - INF 50238 | n^0 - n^2 45644 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | TIMEOUT 60214 | EXP - INF 213 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 384 | n^1 - INF 50113 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | MAYBE 45873 | n^1 - INF 50102 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^1 352 | n^1 - INF 50112 | n^0 - n^1 132 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | MAYBE 10396 | n^1 - INF 50084 | TIMEOUT 60123 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | MAYBE 55257 | n^1 - INF 50119 | TIMEOUT 60232 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | TIMEOUT 60123 | n^1 - INF 50159 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 3622 | n^1 - n^2 3812 | n^0 - n^2 200 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 323 | n^1 - n^1 708 | n^0 - n^1 114 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 5342 | n^1 - n^2 5925 | n^0 - n^2 371 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | n^0 - n^1 391 | n^1 - n^1 1035 | n^0 - n^1 296 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 3596 | n^1 - n^2 9663 | n^0 - n^2 358 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | MAYBE 7346 | n^1 - INF 26767 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 500 | n^1 - n^1 615 | n^0 - n^1 226 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^2 3659 | n^1 - n^2 38831 | n^0 - n^2 262 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 407 | n^1 - n^1 2814 | n^0 - n^1 2059 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^1 361 | n^1 - n^1 1225 | n^0 - n^1 112 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 45477 | EXP - INF 109 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 402 | n^1 - n^1 1127 | n^0 - n^1 139 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 348 | n^1 - n^1 898 | n^0 - n^2 295 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | MAYBE 47120 | EXP - INF 149 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | MAYBE 50876 | n^2 - INF 50138 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | MAYBE 47815 | n^2 - INF 50145 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | MAYBE 57029 | EXP - INF 130 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | MAYBE 46027 | n^1 - INF 50132 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | MAYBE 25994 | n^1 - INF 50112 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | MAYBE 46470 | n^1 - INF 50108 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | MAYBE 46795 | n^2 - INF 50170 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 1179 | n^1 - INF 50132 | n^0 - n^3 31315 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | MAYBE 45523 | n^2 - INF 50234 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 340 | n^1 - INF 50100 | n^0 - n^1 120 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^3 19635 | n^1 - INF 50107 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | MAYBE 15773 | n^1 - INF 28322 | MAYBE 32115 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | MAYBE 13850 | n^1 - INF 24286 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 6189 | n^1 - INF 7440 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Secret_06_SRS/1.xml | MAYBE 45897 | n^1 - INF 50198 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Secret_06_SRS/3-matchbox.xml | TIMEOUT 60120 | n^2 - INF 50212 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Secret_06_SRS/6.xml | MAYBE 55252 | n^2 - n^2 36413 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | MAYBE 45507 | EXP - INF 100 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | MAYBE 49055 | n^1 - INF 50130 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | MAYBE 48822 | n^1 - INF 50197 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Secret_06_SRS/multum1.xml | MAYBE 45511 | EXP - INF 98 | TIMEOUT 60186 |
| tpdb-8.0/TRS/Secret_06_SRS/multum3.xml | MAYBE 45542 | EXP - INF 122 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Secret_06_SRS/multum5.xml | TIMEOUT 60177 | n^2 - INF 50239 | TIMEOUT 60235 |
| tpdb-8.0/TRS/Secret_06_SRS/secr1.xml | MAYBE 9237 | EXP - INF 126 | TIMEOUT 60160 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | MAYBE 46009 | n^2 - INF 50129 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 368 | n^1 - INF 50105 | n^0 - n^1 136 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | MAYBE 45681 | n^1 - INF 50125 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | MAYBE 7825 | n^1 - INF 50129 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 45430 | n^1 - INF 50113 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^3 5837 | n^1 - INF 41512 | n^0 - n^3 2872 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | n^0 - n^1 1281 | n^1 - n^2 50092 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | n^0 - n^1 423 | n^1 - n^2 37904 | n^0 - n^1 183 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^1 435 | n^1 - INF 10541 | MAYBE 1513 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | MAYBE 5777 | n^1 - INF 10222 | TIMEOUT 60119 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MAYBE 6016 | n^1 - INF 11455 | MAYBE 9553 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | MAYBE 45744 | EXP - INF 97 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | MAYBE 55548 | n^1 - INF 50251 | TIMEOUT 60221 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | MAYBE 45519 | n^1 - INF 50118 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | MAYBE 45550 | n^1 - INF 50214 | TIMEOUT 60249 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 45546 | n^1 - INF 50332 | TIMEOUT 60213 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | MAYBE 13559 | n^1 - INF 50119 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Secret_07_SRS/x06.xml | MAYBE 45936 | n^1 - INF 50113 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Secret_07_SRS/x07.xml | MAYBE 47833 | n^2 - INF 50149 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Secret_07_SRS/x08.xml | MAYBE 26804 | EXP - INF 100 | TIMEOUT 60183 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | MAYBE 31636 | n^2 - INF 50110 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | MAYBE 45451 | n^1 - INF 24998 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | MAYBE 45260 | n^1 - INF 50117 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 53326 | n^1 - INF 50179 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | MAYBE 1363 | n^1 - INF 50106 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | MAYBE 55907 | n^1 - INF 50166 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | MAYBE 45457 | n^1 - INF 50125 | TIMEOUT 60159 |
| tpdb-8.0/TRS/SK90/2.04.xml | n^0 - n^2 3486 | n^1 - n^2 50089 | n^0 - n^2 362 |
| tpdb-8.0/TRS/SK90/2.10.xml | MAYBE 12452 | n^1 - INF 51248 | TIMEOUT 60130 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^2 3983 | n^1 - n^2 4496 | n^0 - n^2 380 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^2 4034 | n^1 - n^2 6423 | n^0 - n^2 406 |
| tpdb-8.0/TRS/SK90/2.34.xml | MAYBE 8028 | n^1 - INF 50091 | TIMEOUT 60130 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^2 3651 | n^1 - n^2 50091 | n^0 - n^2 407 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^2 4463 | n^1 - n^2 50101 | n^0 - n^2 593 |
| tpdb-8.0/TRS/SK90/2.42.xml | MAYBE 16521 | n^1 - INF 50103 | TIMEOUT 60179 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^2 5313 | n^1 - n^2 50094 | n^0 - n^2 243 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^2 3464 | n^1 - n^2 2720 | n^0 - n^2 208 |
| tpdb-8.0/TRS/SK90/4.01.xml | n^0 - n^1 341 | n^1 - n^1 642 | n^0 - n^1 343 |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^2 3443 | n^1 - n^2 3433 | n^0 - n^2 171 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 3685 | n^1 - n^2 50091 | n^0 - n^2 471 |
| tpdb-8.0/TRS/SK90/4.26.xml | MAYBE 12233 | n^1 - INF 50132 | TIMEOUT 60211 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^2 5554 | n^1 - n^2 7488 | n^0 - n^2 1597 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 358 | n^1 - n^1 1233 | n^0 - n^1 161 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 339 | n^1 - n^1 1252 | n^0 - n^1 125 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^2 5425 | n^1 - n^2 9210 | n^0 - n^2 944 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | MAYBE 55461 | n^1 - INF 50121 | TIMEOUT 60140 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | MAYBE 55267 | EXP - INF 110 | TIMEOUT 60230 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | n^0 - n^1 798 | n^1 - n^1 726 | n^0 - n^1 336 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | n^0 - n^1 543 | n^1 - n^1 1342 | n^0 - n^1 202 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml | n^0 - n^1 1065 | n^1 - n^1 1408 | n^0 - n^2 384 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | MAYBE 5672 | n^1 - INF 6925 | MAYBE 300 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml | n^0 - n^1 4639 | n^1 - n^2 50087 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | n^0 - n^1 376 | n^1 - n^1 1458 | n^0 - n^2 544 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml | n^0 - n^1 385 | n^1 - n^1 1189 | n^0 - n^2 332 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | MAYBE 5689 | n^1 - INF 3508 | TIMEOUT 60120 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 6042 | n^1 - INF 50110 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 5890 | n^1 - INF 7295 | TIMEOUT 60134 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | MAYBE 6015 | n^1 - INF 9857 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 5842 | n^1 - INF 6272 | TIMEOUT 60122 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 5676 | EXP - INF 114 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | MAYBE 10977 | n^1 - INF 50101 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | MAYBE 10285 | n^1 - INF 50101 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 6086 | n^1 - INF 8434 | TIMEOUT 60128 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | MAYBE 6101 | n^1 - INF 17410 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 6002 | n^1 - INF 9570 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 5861 | n^1 - INF 6726 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 6888 | n^1 - INF 22242 | MAYBE 2077 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | MAYBE 5795 | n^1 - INF 9014 | TIMEOUT 60103 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | MAYBE 7059 | EXP - INF 97 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 357 | n^1 - n^1 1070 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Trafo_06/dup07.xml | MAYBE 55260 | EXP - INF 114 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Trafo_06/dup08.xml | MAYBE 59628 | EXP - INF 128 | TIMEOUT 60311 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | TIMEOUT 60190 | n^1 - INF 50341 | TIMEOUT 60269 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | MAYBE 59680 | n^2 - INF 50197 | TIMEOUT 60324 |
| tpdb-8.0/TRS/Trafo_06/dup13.xml | MAYBE 46492 | EXP - INF 146 | TIMEOUT 60290 |
| tpdb-8.0/TRS/Trafo_06/dup14.xml | MAYBE 56654 | EXP - INF 129 | TIMEOUT 60197 |
| tpdb-8.0/TRS/Trafo_06/hom03.xml | MAYBE 55274 | n^1 - INF 50129 | TIMEOUT 60244 |
| tpdb-8.0/TRS/Trafo_06/un02.xml | MAYBE 47308 | n^1 - INF 50207 | TIMEOUT 60311 |
| tpdb-8.0/TRS/Trafo_06/un11.xml | MAYBE 55260 | EXP - INF 165 | TIMEOUT 60298 |
| tpdb-8.0/TRS/Trafo_06/un14.xml | MAYBE 56895 | n^2 - INF 50162 | TIMEOUT 60244 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | MAYBE 5892 | n^1 - INF 5804 | TIMEOUT 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^2 4330 | n^1 - n^2 5491 | n^0 - n^2 573 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 56146 | n^1 - INF 50167 | TIMEOUT 60302 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | n^0 - n^2 5542 | n^1 - n^1 5156 | n^0 - n^2 1343 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | n^0 - n^1 356 | n^1 - n^1 1130 | n^0 - n^1 195 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | MAYBE 6659 | n^1 - INF 6104 | TIMEOUT 60138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^1 3007 | n^1 - n^1 4306 | n^0 - n^1 1149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^2 5392 | n^1 - n^2 6874 | n^0 - n^2 846 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | n^0 - n^2 8648 | n^1 - n^1 9209 | n^0 - n^2 1755 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^1 1042 | n^1 - n^1 661 | n^0 - n^1 128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | NO 202 | INF - INF 141 | MAYBE 121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 326 | n^1 - n^1 1175 | n^0 - n^1 121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 5479 | n^1 - n^2 7237 | n^0 - n^2 1560 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^3 10697 | n^1 - n^2 50094 | n^0 - n^3 5785 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 389 | n^1 - n^1 861 | n^0 - n^1 144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 194 | INF - INF 99 | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | NO 224 | INF - INF 148 | MAYBE 149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | NO 208 | INF - INF 113 | MAYBE 134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | MAYBE 56939 | n^1 - INF 50164 | TIMEOUT 60153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 18432 | n^1 - INF 50102 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | MAYBE 19368 | n^1 - INF 50099 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 1435 | n^1 - n^1 1050 | n^0 - n^1 794 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 392 | n^1 - n^1 698 | n^0 - n^1 128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | TIMEOUT 60173 | n^1 - INF 50327 | TIMEOUT 60251 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 4339 | n^1 - n^2 50104 | n^0 - n^2 553 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^2 5350 | n^2 - n^2 580 | n^0 - n^2 451 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^2 7827 | n^2 - n^2 5270 | n^0 - n^2 1553 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 59227 | n^1 - INF 50245 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | TIMEOUT 60150 | n^1 - INF 50219 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | NO 207 | INF - INF 129 | MAYBE 133 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | MAYBE 56317 | n^1 - INF 50121 | TIMEOUT 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | NO 197 | INF - INF 371 | MAYBE 123 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | NO 304 | INF - INF 472 | MAYBE 201 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | NO 235 | INF - INF 688 | MAYBE 174 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | NO 246 | INF - INF 161 | MAYBE 145 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | NO 205 | INF - INF 244 | MAYBE 128 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | NO 211 | INF - INF 254 | MAYBE 145 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | NO 235 | INF - INF 162 | MAYBE 158 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 210 | INF - INF 164 | MAYBE 120 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | NO 235 | INF - INF 155 | MAYBE 166 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | TIMEOUT 60156 | n^1 - INF 50141 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml | TIMEOUT 60146 | n^1 - INF 50367 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | NO 226 | INF - INF 318 | MAYBE 153 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | MAYBE 18054 | n^1 - INF 50187 | TIMEOUT 60175 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | MAYBE 57322 | n^1 - INF 50197 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | NO 201 | INF - INF 314 | MAYBE 131 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 54727 | n^1 - INF 50350 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml | TIMEOUT 60148 | n^1 - INF 50404 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^2 6790 | n^1 - INF 50161 | n^0 - n^2 15663 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml | MAYBE 56404 | n^1 - INF 50156 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | TIMEOUT 60172 | n^1 - INF 50262 | TIMEOUT 60208 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | n^0 - n^2 3527 | n^1 - n^2 5337 | n^0 - n^2 595 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | NO 209 | INF - INF 141 | MAYBE 125 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^2 3822 | n^1 - n^2 3541 | n^0 - n^2 256 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | MAYBE 27415 | n^1 - INF 50154 | TIMEOUT 60137 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 202 | INF - INF 102 | MAYBE 125 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 3945 | n^1 - n^2 50087 | n^0 - n^2 684 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml | TIMEOUT 60150 | n^1 - INF 50233 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 204 | INF - INF 197 | MAYBE 113 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^1 306 | n^1 - n^1 676 | n^0 - n^1 141 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 14088 | n^1 - INF 50097 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 45462 | n^1 - INF 50113 | MAYBE 46745 |
| tpdb-8.0/TRS/Various_04/19.xml | MAYBE 8488 | n^1 - INF 46452 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Various_04/21.xml | MAYBE 29031 | n^1 - INF 50169 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 3743 | n^1 - n^2 7336 | n^0 - n^2 449 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 1196 | n^1 - INF 50086 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 334 | n^1 - n^1 1232 | n^0 - n^1 123 |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^1 347 | n^1 - n^1 1209 | n^0 - n^1 115 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | MAYBE 45231 | n^1 - INF 50118 | TIMEOUT 60232 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | MAYBE 45232 | n^1 - INF 50092 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | MAYBE 7064 | n^1 - INF 50096 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 45226 | n^1 - INF 50121 | TIMEOUT 60135 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 45232 | n^1 - INF 50107 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | MAYBE 6451 | n^1 - INF 25045 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | MAYBE 13311 | n^1 - INF 50115 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | MAYBE 6295 | n^1 - INF 25129 | TIMEOUT 60127 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | MAYBE 7379 | n^1 - INF 50110 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | MAYBE 7719 | n^1 - INF 50093 | TIMEOUT 60154 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | n^0 - n^1 6203 | n^1 - INF 50241 | n^0 - n^3 10520 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | MAYBE 56137 | EXP - INF 168 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | MAYBE 55265 | EXP - INF 175 | TIMEOUT 60212 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml | MAYBE 55274 | EXP - INF 480 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml | n^0 - n^1 1010 | n^1 - INF 50095 | n^0 - n^1 13331 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml | MAYBE 45504 | n^1 - INF 50189 | TIMEOUT 60176 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | n^0 - n^1 943 | n^1 - INF 50103 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml | MAYBE 45525 | n^1 - INF 50106 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml | MAYBE 30293 | n^1 - INF 50126 | TIMEOUT 60888 |
| tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml | MAYBE 45733 | EXP - INF 118 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | MAYBE 45435 | n^1 - INF 50144 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml | MAYBE 27471 | EXP - INF 108 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml | MAYBE 27785 | EXP - INF 115 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | MAYBE 20596 | EXP - INF 97 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml | MAYBE 10661 | n^1 - INF 50102 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml | MAYBE 10173 | n^1 - INF 50112 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | MAYBE 9235 | EXP - INF 4797 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | MAYBE 9004 | n^1 - INF 50110 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | MAYBE 14311 | n^1 - INF 50110 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | MAYBE 8814 | EXP - INF 163 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml | MAYBE 11139 | EXP - INF 258 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml | MAYBE 12570 | EXP - INF 105 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml | MAYBE 8733 | EXP - INF 144 | TIMEOUT 60187 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml | MAYBE 10866 | n^2 - INF 50098 | TIMEOUT 60144 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml | MAYBE 11992 | EXP - INF 99 | TIMEOUT 60209 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml | MAYBE 45657 | EXP - INF 160 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml | MAYBE 18271 | EXP - INF 124 | TIMEOUT 60173 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml | MAYBE 13723 | n^1 - INF 50130 | TIMEOUT 60171 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml | MAYBE 14637 | EXP - INF 395 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml | MAYBE 13045 | EXP - INF 128 | TIMEOUT 60259 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | MAYBE 16380 | EXP - INF 146 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | MAYBE 8403 | EXP - INF 78 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml | MAYBE 10230 | n^1 - INF 50109 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml | MAYBE 13603 | n^1 - INF 50104 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml | MAYBE 8807 | n^1 - INF 50098 | TIMEOUT 61509 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml | MAYBE 9990 | n^1 - INF 50136 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-159.xml | MAYBE 8553 | n^1 - INF 50111 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml | MAYBE 8117 | n^2 - INF 50121 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | MAYBE 8069 | n^1 - INF 50117 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml | MAYBE 8239 | EXP - INF 125 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-186.xml | MAYBE 9335 | EXP - INF 121 | TIMEOUT 60136 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml | MAYBE 8333 | EXP - INF 232 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml | MAYBE 9153 | n^1 - INF 50126 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml | MAYBE 9085 | n^1 - INF 50119 | TIMEOUT 60185 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-213.xml | MAYBE 8686 | n^1 - INF 50127 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml | MAYBE 8157 | n^2 - INF 50135 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml | MAYBE 24092 | EXP - INF 117 | TIMEOUT 60170 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml | MAYBE 8145 | n^1 - INF 50120 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml | MAYBE 8522 | n^2 - INF 50127 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-255.xml | MAYBE 9052 | n^1 - INF 50119 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml | MAYBE 12792 | n^1 - INF 50121 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml | MAYBE 9360 | n^2 - INF 50100 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml | MAYBE 10523 | n^2 - INF 50117 | TIMEOUT 60159 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml | MAYBE 7877 | n^1 - INF 50135 | TIMEOUT 60188 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml | MAYBE 45516 | n^2 - INF 50239 | TIMEOUT 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml | MAYBE 46797 | n^1 - INF 50239 | TIMEOUT 60640 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml | MAYBE 45646 | n^1 - INF 50129 | TIMEOUT 60588 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml | MAYBE 45511 | n^1 - INF 50232 | TIMEOUT 60189 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml | MAYBE 45542 | n^1 - INF 50175 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml | MAYBE 45499 | n^1 - INF 50303 | TIMEOUT 60194 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml | MAYBE 16112 | n^1 - INF 50112 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml | MAYBE 45557 | n^1 - INF 50255 | TIMEOUT 60196 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml | MAYBE 45661 | n^1 - INF 50187 | TIMEOUT 60574 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml | MAYBE 45669 | n^1 - INF 50119 | TIMEOUT 60216 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml | MAYBE 45677 | n^1 - INF 50117 | TIMEOUT 60151 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml | MAYBE 45663 | n^1 - INF 50122 | TIMEOUT 60216 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml | MAYBE 11940 | n^2 - INF 50092 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml | MAYBE 14304 | n^1 - INF 50115 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml | MAYBE 45662 | n^1 - INF 50114 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml | MAYBE 14650 | n^1 - INF 50101 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml | MAYBE 9707 | n^2 - INF 50115 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml | MAYBE 19942 | EXP - INF 144 | TIMEOUT 60227 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml | MAYBE 45712 | EXP - INF 120 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml | MAYBE 45516 | n^1 - INF 50242 | TIMEOUT 60199 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml | MAYBE 17936 | n^2 - INF 50132 | TIMEOUT 60193 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml | MAYBE 45752 | n^1 - INF 50217 | TIMEOUT 60149 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml | MAYBE 45550 | n^1 - INF 50177 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml | MAYBE 45513 | n^1 - INF 50512 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml | MAYBE 8567 | n^1 - INF 50099 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml | MAYBE 10309 | n^2 - INF 50099 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml | MAYBE 12625 | EXP - INF 73 | TIMEOUT 60131 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml | MAYBE 7233 | n^2 - INF 50102 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | MAYBE 55518 | n^2 - INF 50619 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml | MAYBE 9526 | n^1 - INF 50108 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-51.xml | MAYBE 12516 | EXP - INF 98 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-52.xml | MAYBE 10764 | n^1 - INF 50108 | TIMEOUT 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | MAYBE 13122 | n^2 - INF 50225 | TIMEOUT 60198 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml | MAYBE 13587 | n^2 - INF 50121 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | MAYBE 16335 | EXP - INF 103 | TIMEOUT 60195 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml | MAYBE 14531 | EXP - INF 418 | TIMEOUT 60184 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml | MAYBE 8305 | n^1 - INF 50112 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-70.xml | MAYBE 7252 | EXP - INF 105 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml | MAYBE 7315 | n^2 - INF 50102 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | MAYBE 7691 | n^1 - INF 50109 | TIMEOUT 60156 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml | MAYBE 7831 | n^1 - INF 50126 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | n^0 - n^1 491 | n^1 - INF 50149 | TIMEOUT 60274 |
| tpdb-8.0/TRS/Zantema_04/z002.xml | n^0 - n^1 445 | n^1 - n^1 4590 | TIMEOUT 60182 |
| tpdb-8.0/TRS/Zantema_04/z003.xml | n^0 - n^1 521 | n^1 - n^2 50102 | TIMEOUT 60208 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | n^0 - n^1 562 | n^1 - n^2 50096 | TIMEOUT 60220 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | n^0 - n^4 11134 | n^2 - n^2 4932 | TIMEOUT 60129 |
| tpdb-8.0/TRS/Zantema_04/z011.xml | MAYBE 45232 | EXP - INF 128 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | MAYBE 48385 | EXP - INF 88 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Zantema_04/z019.xml | MAYBE 50744 | EXP - INF 1093 | TIMEOUT 60141 |
| tpdb-8.0/TRS/Zantema_04/z020.xml | MAYBE 45212 | EXP - INF 137 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Zantema_04/z029.xml | n^0 - n^1 576 | n^1 - INF 50155 | TIMEOUT 60233 |
| tpdb-8.0/TRS/Zantema_04/z030.xml | n^0 - n^1 676 | n^1 - INF 50371 | TIMEOUT 60267 |
| tpdb-8.0/TRS/Zantema_04/z031.xml | n^0 - n^1 716 | n^1 - INF 50180 | TIMEOUT 60236 |
| tpdb-8.0/TRS/Zantema_04/z033.xml | n^0 - n^1 472 | n^1 - n^1 4332 | TIMEOUT 60259 |
| tpdb-8.0/TRS/Zantema_04/z038.xml | MAYBE 55263 | n^1 - INF 50123 | TIMEOUT 60877 |
| tpdb-8.0/TRS/Zantema_04/z040.xml | n^0 - n^1 603 | n^1 - INF 50141 | TIMEOUT 60270 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | n^0 - n^1 481 | n^1 - n^2 50295 | TIMEOUT 60167 |
| tpdb-8.0/TRS/Zantema_04/z050.xml | n^0 - n^1 437 | n^1 - n^1 9977 | TIMEOUT 60207 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | n^0 - n^1 491 | n^1 - INF 50136 | TIMEOUT 60201 |
| tpdb-8.0/TRS/Zantema_04/z060.xml | n^0 - n^1 457 | n^1 - n^3 50106 | TIMEOUT 60204 |
| tpdb-8.0/TRS/Zantema_04/z064.xml | n^0 - n^1 441 | n^1 - n^2 50106 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Zantema_04/z065.xml | TIMEOUT 60120 | n^2 - INF 50203 | TIMEOUT 60133 |
| tpdb-8.0/TRS/Zantema_04/z068.xml | MAYBE 47396 | n^2 - n^2 8567 | TIMEOUT 60181 |
| tpdb-8.0/TRS/Zantema_04/z069.xml | MAYBE 52088 | n^1 - INF 50370 | TIMEOUT 60280 |
| tpdb-8.0/TRS/Zantema_04/z071.xml | MAYBE 46809 | n^2 - INF 50107 | TIMEOUT 60158 |
| tpdb-8.0/TRS/Zantema_04/z072.xml | MAYBE 56310 | n^2 - INF 50126 | TIMEOUT 60157 |
| tpdb-8.0/TRS/Zantema_04/z074.xml | TIMEOUT 60168 | n^2 - INF 50192 | TIMEOUT 60169 |
| tpdb-8.0/TRS/Zantema_04/z078.xml | MAYBE 46002 | EXP - INF 139 | TIMEOUT 60210 |
| tpdb-8.0/TRS/Zantema_04/z079.xml | MAYBE 55706 | EXP - INF 129 | TIMEOUT 60162 |
| tpdb-8.0/TRS/Zantema_04/z080.xml | MAYBE 16463 | n^2 - INF 50129 | TIMEOUT 60150 |
| tpdb-8.0/TRS/Zantema_04/z084.xml | n^0 - n^2 4039 | n^2 - n^2 30422 | n^0 - n^2 763 |
| tpdb-8.0/TRS/Zantema_04/z087.xml | n^0 - n^2 12030 | n^2 - n^2 3977 | TIMEOUT 60192 |
| tpdb-8.0/TRS/Zantema_04/z088.xml | MAYBE 45620 | EXP - INF 101 | TIMEOUT 60180 |
| tpdb-8.0/TRS/Zantema_04/z097.xml | n^0 - n^1 808 | n^1 - INF 50274 | TIMEOUT 60239 |
| tpdb-8.0/TRS/Zantema_04/z104.xml | n^0 - n^1 1635 | n^1 - INF 50142 | n^0 - n^1 930 |
| tpdb-8.0/TRS/Zantema_04/z108.xml | n^0 - n^1 971 | n^1 - n^4 50169 | n^0 - n^1 529 |
| tpdb-8.0/TRS/Zantema_04/z111.xml | MAYBE 46251 | n^2 - INF 50105 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Zantema_04/z119.xml | MAYBE 45624 | EXP - INF 134 | TIMEOUT 60177 |
| tpdb-8.0/TRS/Zantema_04/z127.xml | MAYBE 55545 | EXP - INF 3276 | TIMEOUT 60163 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^1 353 | n^1 - INF 50093 | n^0 - n^1 124 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | n^0 - n^1 360 | n^1 - INF 50106 | n^0 - n^1 134 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | n^0 - n^1 362 | n^1 - INF 50109 | n^0 - n^1 133 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | n^0 - n^1 372 | n^1 - INF 50121 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^1 345 | n^1 - INF 50109 | TIMEOUT 60206 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^1 368 | n^1 - INF 50091 | n^0 - n^1 122 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | n^0 - n^1 381 | n^1 - INF 50116 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | n^0 - n^1 411 | n^1 - INF 50092 | n^0 - n^1 119 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | n^0 - n^1 359 | n^1 - INF 50100 | n^0 - n^1 116 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 340 | n^1 - n^1 1191 | n^0 - n^1 127 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | n^0 - n^1 535 | n^1 - INF 50085 | TIMEOUT 60161 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 356 | n^1 - INF 14453 | n^0 - n^1 215 |
| tpdb-8.0/TRS/Zantema_05/z05.xml | MAYBE 55857 | n^1 - INF 50107 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | n^0 - n^4 14349 | n^1 - INF 50111 | TIMEOUT 60145 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | MAYBE 45720 | n^1 - INF 35189 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55258 | n^1 - INF 50134 | TIMEOUT 60143 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | MAYBE 45240 | n^1 - INF 50099 | TIMEOUT 60148 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 58920 | n^1 - INF 50129 | TIMEOUT 60146 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55251 | n^1 - INF 50138 | TIMEOUT 60130 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 3922 | n^1 - n^2 50081 | n^0 - n^2 1366 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | n^0 - n^1 855 | n^1 - INF 50109 | TIMEOUT 60168 |
| tpdb-8.0/TRS/Zantema_06/01.xml | MAYBE 45556 | EXP - INF 132 | TIMEOUT 60174 |
| tpdb-8.0/TRS/Zantema_06/06.xml | MAYBE 45610 | EXP - INF 96 | TIMEOUT 60164 |
| tpdb-8.0/TRS/Zantema_06/09.xml | MAYBE 59219 | n^2 - INF 50156 | TIMEOUT 60174 |
| tpdb-8.0/TRS/Zantema_06/13.xml | MAYBE 45992 | n^2 - INF 50118 | TIMEOUT 60179 |
| tpdb-8.0/TRS/Zantema_06/16.xml | n^0 - n^1 2854 | n^1 - INF 50219 | n^0 - n^2 10570 |
| tpdb-8.0/TRS/Zantema_06/18.xml | n^0 - n^3 22185 | n^1 - INF 50223 | TIMEOUT 60238 |
| tpdb-8.0/TRS/Zantema_06/abc.xml | MAYBE 10047 | n^1 - INF 50095 | TIMEOUT 60166 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | MAYBE 57873 | n^2 - n^2 6905 | TIMEOUT 60240 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | MAYBE 56370 | n^2 - INF 50116 | TIMEOUT 60202 |
| tpdb-8.0/TRS/Zantema_06/while2.xml | n^0 - n^2 7805 | n^2 - n^2 8093 | TIMEOUT 60189 | 440 | 298 | 297 |