| benchmark | AProVE | AProVE-CeTA | TTT2 | TTT2Cert |
|---|---|---|---|---|
| tpdb-8.0/TRS/ICFP_2010_relative/107220.xml | TIMEOUT 60884 | TIMEOUT 61366 | TIMEOUT 60046 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/107236.xml | TIMEOUT 60997 | TIMEOUT 61369 | TIMEOUT 60046 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/123759.xml | TIMEOUT 60952 | TIMEOUT 61389 | TIMEOUT 60045 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/124211.xml | TIMEOUT 61099 | TIMEOUT 62163 | TIMEOUT 60042 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/124269.xml | TIMEOUT 60953 | TIMEOUT 61751 | TIMEOUT 60043 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/124791.xml | TIMEOUT 60868 | TIMEOUT 61193 | TIMEOUT 60047 | TIMEOUT 60034 |
| tpdb-8.0/TRS/ICFP_2010_relative/127538.xml | YES 14899 | YES 21390 | TIMEOUT 60045 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/128056.xml | TIMEOUT 61048 | TIMEOUT 60237 | TIMEOUT 60046 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/128182.xml | YES 11116 | YES 20588 | TIMEOUT 60045 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/128280.xml | YES 13123 | YES 18638 | TIMEOUT 60044 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/128430.xml | YES 12995 | YES 20428 | TIMEOUT 60046 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/128486.xml | YES 11285 | YES 18838 | TIMEOUT 60048 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/128515.xml | YES 11893 | YES 21678 | TIMEOUT 60045 | TIMEOUT 60053 |
| tpdb-8.0/TRS/ICFP_2010_relative/128550.xml | YES 12788 | YES 21147 | TIMEOUT 60043 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/128620.xml | YES 12141 | YES 18824 | TIMEOUT 60046 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/128691.xml | YES 12870 | YES 18901 | TIMEOUT 60048 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/131633.xml | TIMEOUT 61054 | TIMEOUT 61396 | TIMEOUT 60045 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/131982.xml | TIMEOUT 60908 | TIMEOUT 61264 | TIMEOUT 60048 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/132235.xml | TIMEOUT 60946 | TIMEOUT 61401 | TIMEOUT 60045 | TIMEOUT 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/132478.xml | YES 12254 | YES 21705 | TIMEOUT 60044 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/132540.xml | YES 12736 | YES 19466 | TIMEOUT 60045 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/132622.xml | YES 11879 | YES 19338 | TIMEOUT 60049 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/132720.xml | YES 12739 | YES 20164 | TIMEOUT 60049 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/132738.xml | YES 12055 | YES 19823 | TIMEOUT 60047 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/132782.xml | YES 11594 | YES 19123 | TIMEOUT 60047 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/132833.xml | YES 13622 | YES 21320 | TIMEOUT 60046 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/132864.xml | YES 12216 | YES 19347 | TIMEOUT 60046 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/132920.xml | YES 11986 | YES 18145 | TIMEOUT 60046 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/132957.xml | YES 14353 | YES 21309 | TIMEOUT 60050 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/132969.xml | TIMEOUT 61146 | TIMEOUT 61288 | TIMEOUT 60044 | TIMEOUT 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/133010.xml | YES 12017 | YES 22005 | TIMEOUT 60047 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/133159.xml | TIMEOUT 61001 | TIMEOUT 60241 | TIMEOUT 60046 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/133486.xml | TIMEOUT 60946 | TIMEOUT 62408 | TIMEOUT 60046 | TIMEOUT 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/133881.xml | TIMEOUT 61149 | TIMEOUT 62130 | TIMEOUT 60048 | TIMEOUT 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/134918.xml | TIMEOUT 61071 | TIMEOUT 61667 | TIMEOUT 60043 | TIMEOUT 60054 |
| tpdb-8.0/TRS/ICFP_2010_relative/135115.xml | TIMEOUT 61065 | TIMEOUT 61495 | TIMEOUT 60043 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/135328.xml | TIMEOUT 61078 | TIMEOUT 61746 | TIMEOUT 60045 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/135604.xml | TIMEOUT 61013 | TIMEOUT 61526 | TIMEOUT 60043 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/135652.xml | TIMEOUT 60898 | TIMEOUT 61748 | TIMEOUT 60044 | TIMEOUT 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/135782.xml | TIMEOUT 60928 | TIMEOUT 61227 | TIMEOUT 60045 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/135936.xml | TIMEOUT 60933 | TIMEOUT 61376 | TIMEOUT 60045 | TIMEOUT 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/136051.xml | TIMEOUT 60895 | TIMEOUT 60344 | TIMEOUT 60044 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/136562.xml | TIMEOUT 61093 | TIMEOUT 61756 | TIMEOUT 60045 | TIMEOUT 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/136623.xml | TIMEOUT 61164 | TIMEOUT 61989 | TIMEOUT 60046 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/137404.xml | TIMEOUT 61127 | TIMEOUT 61212 | TIMEOUT 60047 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/137809.xml | TIMEOUT 60965 | TIMEOUT 61749 | TIMEOUT 60050 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/138194.xml | TIMEOUT 60941 | TIMEOUT 62225 | TIMEOUT 60050 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/138269.xml | TIMEOUT 61082 | TIMEOUT 61814 | TIMEOUT 60045 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/138330.xml | TIMEOUT 60960 | TIMEOUT 61834 | TIMEOUT 60048 | TIMEOUT 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/138477.xml | TIMEOUT 60864 | TIMEOUT 61155 | TIMEOUT 60043 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/138993.xml | YES 12543 | YES 21543 | TIMEOUT 60047 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/139004.xml | YES 12786 | YES 23129 | TIMEOUT 60048 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/139018.xml | YES 11599 | YES 20547 | TIMEOUT 60047 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/139025.xml | YES 10894 | YES 19692 | TIMEOUT 60047 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139036.xml | YES 13722 | YES 20199 | TIMEOUT 60048 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/139100.xml | YES 11137 | YES 19518 | TIMEOUT 60045 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/139163.xml | YES 17366 | YES 29791 | TIMEOUT 60048 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/139167.xml | YES 18545 | YES 29250 | TIMEOUT 60045 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/139174.xml | YES 12342 | YES 19579 | TIMEOUT 60045 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139180.xml | YES 12748 | YES 19378 | TIMEOUT 60046 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139185.xml | YES 13095 | YES 17484 | TIMEOUT 60045 | TIMEOUT 60178 |
| tpdb-8.0/TRS/ICFP_2010_relative/139190.xml | YES 11861 | YES 18301 | TIMEOUT 60047 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139214.xml | YES 11418 | YES 22334 | TIMEOUT 60044 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139236.xml | YES 10629 | YES 19009 | TIMEOUT 60047 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/139256.xml | YES 13709 | YES 19919 | TIMEOUT 60046 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139282.xml | YES 13188 | YES 23307 | TIMEOUT 60051 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/139310.xml | YES 11567 | YES 19390 | TIMEOUT 60047 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/139378.xml | YES 12674 | YES 19952 | TIMEOUT 60046 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/140287.xml | TIMEOUT 61008 | TIMEOUT 61495 | TIMEOUT 60046 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/140318.xml | YES 12107 | YES 19861 | TIMEOUT 60047 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/140359.xml | YES 12221 | YES 19712 | TIMEOUT 60048 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/140631.xml | TIMEOUT 60916 | TIMEOUT 61464 | TIMEOUT 60043 | MAYBE 59522 |
| tpdb-8.0/TRS/ICFP_2010_relative/140639.xml | TIMEOUT 60851 | TIMEOUT 60045 | TIMEOUT 60046 | MAYBE 59494 |
| tpdb-8.0/TRS/ICFP_2010_relative/140649.xml | TIMEOUT 61086 | TIMEOUT 60038 | TIMEOUT 60044 | MAYBE 59598 |
| tpdb-8.0/TRS/ICFP_2010_relative/140654.xml | TIMEOUT 61078 | TIMEOUT 61395 | TIMEOUT 60046 | MAYBE 59552 |
| tpdb-8.0/TRS/ICFP_2010_relative/140659.xml | TIMEOUT 60898 | TIMEOUT 61912 | TIMEOUT 60042 | MAYBE 59708 |
| tpdb-8.0/TRS/ICFP_2010_relative/140664.xml | TIMEOUT 61161 | TIMEOUT 61488 | TIMEOUT 60045 | MAYBE 59426 |
| tpdb-8.0/TRS/ICFP_2010_relative/142142.xml | TIMEOUT 61022 | TIMEOUT 61379 | TIMEOUT 60044 | MAYBE 59524 |
| tpdb-8.0/TRS/ICFP_2010_relative/142146.xml | YES 11599 | TIMEOUT 61449 | TIMEOUT 60045 | MAYBE 59468 |
| tpdb-8.0/TRS/ICFP_2010_relative/142150.xml | TIMEOUT 60869 | TIMEOUT 61514 | TIMEOUT 60044 | MAYBE 59521 |
| tpdb-8.0/TRS/ICFP_2010_relative/142157.xml | TIMEOUT 60894 | TIMEOUT 61452 | TIMEOUT 60044 | MAYBE 59498 |
| tpdb-8.0/TRS/ICFP_2010_relative/3268.xml | TIMEOUT 60952 | TIMEOUT 60039 | MAYBE 59665 | MAYBE 57737 |
| tpdb-8.0/TRS/ICFP_2010_relative/3336.xml | MAYBE 419 | MAYBE 870 | MAYBE 59713 | MAYBE 7743 |
| tpdb-8.0/TRS/ICFP_2010_relative/3385.xml | TIMEOUT 60974 | TIMEOUT 60943 | MAYBE 59726 | MAYBE 57795 |
| tpdb-8.0/TRS/ICFP_2010_relative/3450.xml | TIMEOUT 61095 | TIMEOUT 61523 | MAYBE 60015 | MAYBE 58242 |
| tpdb-8.0/TRS/ICFP_2010_relative/3467.xml | TIMEOUT 61086 | TIMEOUT 61750 | MAYBE 59979 | MAYBE 58154 |
| tpdb-8.0/TRS/ICFP_2010_relative/3498.xml | TIMEOUT 60947 | TIMEOUT 61850 | MAYBE 59976 | MAYBE 58111 |
| tpdb-8.0/TRS/ICFP_2010_relative/3533.xml | TIMEOUT 60946 | TIMEOUT 61917 | MAYBE 60017 | MAYBE 58221 |
| tpdb-8.0/TRS/ICFP_2010_relative/3562.xml | TIMEOUT 61185 | TIMEOUT 61471 | MAYBE 59996 | MAYBE 58203 |
| tpdb-8.0/TRS/ICFP_2010_relative/3589.xml | TIMEOUT 60943 | TIMEOUT 61868 | MAYBE 60000 | MAYBE 58211 |
| tpdb-8.0/TRS/ICFP_2010_relative/3633.xml | TIMEOUT 61192 | TIMEOUT 61481 | MAYBE 59990 | MAYBE 58296 |
| tpdb-8.0/TRS/ICFP_2010_relative/3680.xml | TIMEOUT 60885 | TIMEOUT 61503 | MAYBE 60012 | MAYBE 58228 |
| tpdb-8.0/TRS/ICFP_2010_relative/3705.xml | TIMEOUT 61045 | TIMEOUT 61338 | TIMEOUT 60039 | MAYBE 58308 |
| tpdb-8.0/TRS/ICFP_2010_relative/3729.xml | TIMEOUT 61085 | TIMEOUT 60033 | MAYBE 59986 | MAYBE 58256 |
| tpdb-8.0/TRS/ICFP_2010_relative/3746.xml | TIMEOUT 60901 | TIMEOUT 61813 | MAYBE 59964 | MAYBE 58221 |
| tpdb-8.0/TRS/ICFP_2010_relative/3762.xml | TIMEOUT 60919 | TIMEOUT 62083 | MAYBE 59997 | MAYBE 58243 |
| tpdb-8.0/TRS/ICFP_2010_relative/3770.xml | TIMEOUT 61126 | TIMEOUT 61606 | MAYBE 60015 | MAYBE 58266 |
| tpdb-8.0/TRS/ICFP_2010_relative/3786.xml | TIMEOUT 61104 | TIMEOUT 61453 | TIMEOUT 60028 | MAYBE 58244 |
| tpdb-8.0/TRS/ICFP_2010_relative/3817.xml | TIMEOUT 60939 | TIMEOUT 61492 | MAYBE 60008 | MAYBE 58249 |
| tpdb-8.0/TRS/ICFP_2010_relative/3831.xml | TIMEOUT 61142 | TIMEOUT 61871 | MAYBE 60019 | MAYBE 58232 |
| tpdb-8.0/TRS/ICFP_2010_relative/3842.xml | TIMEOUT 61075 | TIMEOUT 61491 | MAYBE 60019 | MAYBE 58191 |
| tpdb-8.0/TRS/ICFP_2010_relative/3856.xml | TIMEOUT 61090 | TIMEOUT 61479 | TIMEOUT 60028 | MAYBE 58268 |
| tpdb-8.0/TRS/ICFP_2010_relative/3861.xml | TIMEOUT 61062 | TIMEOUT 61789 | MAYBE 59978 | MAYBE 58156 |
| tpdb-8.0/TRS/ICFP_2010_relative/3865.xml | TIMEOUT 61118 | TIMEOUT 61474 | MAYBE 59998 | MAYBE 58199 |
| tpdb-8.0/TRS/ICFP_2010_relative/3916.xml | MAYBE 492 | MAYBE 942 | MAYBE 59972 | MAYBE 7969 |
| tpdb-8.0/TRS/ICFP_2010_relative/3930.xml | TIMEOUT 61185 | TIMEOUT 61868 | MAYBE 59985 | MAYBE 58225 |
| tpdb-8.0/TRS/ICFP_2010_relative/3939.xml | TIMEOUT 61081 | TIMEOUT 60030 | MAYBE 59998 | MAYBE 58196 |
| tpdb-8.0/TRS/ICFP_2010_relative/3989.xml | TIMEOUT 60861 | TIMEOUT 61360 | MAYBE 59971 | MAYBE 58193 |
| tpdb-8.0/TRS/ICFP_2010_relative/3995.xml | TIMEOUT 61036 | TIMEOUT 61843 | MAYBE 60011 | MAYBE 58226 |
| tpdb-8.0/TRS/ICFP_2010_relative/4002.xml | TIMEOUT 61119 | TIMEOUT 61546 | TIMEOUT 60030 | MAYBE 58082 |
| tpdb-8.0/TRS/ICFP_2010_relative/4017.xml | TIMEOUT 61136 | TIMEOUT 61870 | MAYBE 60014 | MAYBE 58230 |
| tpdb-8.0/TRS/ICFP_2010_relative/4029.xml | TIMEOUT 60862 | TIMEOUT 60065 | MAYBE 60012 | MAYBE 58301 |
| tpdb-8.0/TRS/ICFP_2010_relative/4036.xml | TIMEOUT 60917 | TIMEOUT 61575 | MAYBE 60012 | MAYBE 58231 |
| tpdb-8.0/TRS/ICFP_2010_relative/4046.xml | MAYBE 434 | MAYBE 866 | MAYBE 59972 | MAYBE 7999 |
| tpdb-8.0/TRS/ICFP_2010_relative/4051.xml | TIMEOUT 60848 | TIMEOUT 61395 | MAYBE 59985 | MAYBE 58188 |
| tpdb-8.0/TRS/ICFP_2010_relative/4057.xml | TIMEOUT 61062 | TIMEOUT 61806 | MAYBE 59997 | MAYBE 58281 |
| tpdb-8.0/TRS/ICFP_2010_relative/4074.xml | TIMEOUT 61032 | TIMEOUT 61943 | TIMEOUT 60021 | MAYBE 58219 |
| tpdb-8.0/TRS/ICFP_2010_relative/4106.xml | TIMEOUT 60875 | TIMEOUT 61770 | MAYBE 59978 | MAYBE 58086 |
| tpdb-8.0/TRS/ICFP_2010_relative/41378.xml | TIMEOUT 60940 | TIMEOUT 61877 | TIMEOUT 60043 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/4141.xml | TIMEOUT 60876 | TIMEOUT 61928 | MAYBE 59999 | MAYBE 58194 |
| tpdb-8.0/TRS/ICFP_2010_relative/4157.xml | TIMEOUT 60903 | TIMEOUT 61746 | TIMEOUT 60022 | MAYBE 58221 |
| tpdb-8.0/TRS/ICFP_2010_relative/4181.xml | TIMEOUT 61194 | TIMEOUT 60046 | MAYBE 60008 | MAYBE 58264 |
| tpdb-8.0/TRS/ICFP_2010_relative/4200.xml | TIMEOUT 61105 | TIMEOUT 61538 | MAYBE 59973 | MAYBE 58251 |
| tpdb-8.0/TRS/ICFP_2010_relative/4248.xml | TIMEOUT 61028 | TIMEOUT 61357 | MAYBE 60003 | MAYBE 58280 |
| tpdb-8.0/TRS/ICFP_2010_relative/4282.xml | TIMEOUT 60979 | TIMEOUT 61921 | MAYBE 60009 | MAYBE 58156 |
| tpdb-8.0/TRS/ICFP_2010_relative/4374.xml | TIMEOUT 60907 | TIMEOUT 61676 | MAYBE 59990 | MAYBE 58162 |
| tpdb-8.0/TRS/ICFP_2010_relative/4412.xml | YES 43107 | TIMEOUT 61908 | TIMEOUT 60029 | MAYBE 58264 |
| tpdb-8.0/TRS/ICFP_2010_relative/4484.xml | TIMEOUT 60895 | TIMEOUT 61626 | MAYBE 59965 | MAYBE 58180 |
| tpdb-8.0/TRS/ICFP_2010_relative/4487.xml | TIMEOUT 60827 | TIMEOUT 61406 | MAYBE 59997 | MAYBE 58222 |
| tpdb-8.0/TRS/ICFP_2010_relative/4816.xml | YES 47561 | TIMEOUT 60084 | MAYBE 60018 | MAYBE 58262 |
| tpdb-8.0/TRS/ICFP_2010_relative/4819.xml | YES 34460 | TIMEOUT 61384 | MAYBE 59998 | MAYBE 58165 |
| tpdb-8.0/TRS/ICFP_2010_relative/4824.xml | TIMEOUT 61113 | TIMEOUT 61742 | MAYBE 59987 | MAYBE 58195 |
| tpdb-8.0/TRS/ICFP_2010_relative/4827.xml | TIMEOUT 60890 | TIMEOUT 61388 | MAYBE 59980 | MAYBE 58135 |
| tpdb-8.0/TRS/ICFP_2010_relative/4840.xml | TIMEOUT 61043 | TIMEOUT 61778 | MAYBE 60007 | MAYBE 58255 |
| tpdb-8.0/TRS/ICFP_2010_relative/4847.xml | TIMEOUT 61137 | TIMEOUT 61804 | MAYBE 59995 | MAYBE 58152 |
| tpdb-8.0/TRS/ICFP_2010_relative/4854.xml | TIMEOUT 60924 | TIMEOUT 61458 | MAYBE 59995 | MAYBE 58267 |
| tpdb-8.0/TRS/ICFP_2010_relative/4893.xml | TIMEOUT 60880 | TIMEOUT 61706 | MAYBE 59997 | MAYBE 58159 |
| tpdb-8.0/TRS/ICFP_2010_relative/4920.xml | TIMEOUT 60886 | TIMEOUT 61714 | TIMEOUT 60036 | MAYBE 58360 |
| tpdb-8.0/TRS/ICFP_2010_relative/4934.xml | TIMEOUT 60942 | TIMEOUT 61431 | MAYBE 60008 | MAYBE 58211 |
| tpdb-8.0/TRS/ICFP_2010_relative/4938.xml | TIMEOUT 61081 | TIMEOUT 61696 | MAYBE 59987 | MAYBE 58213 |
| tpdb-8.0/TRS/ICFP_2010_relative/4943.xml | TIMEOUT 60882 | TIMEOUT 61684 | MAYBE 59986 | MAYBE 58184 |
| tpdb-8.0/TRS/ICFP_2010_relative/4953.xml | TIMEOUT 61157 | TIMEOUT 61516 | MAYBE 60020 | MAYBE 58279 |
| tpdb-8.0/TRS/ICFP_2010_relative/4964.xml | TIMEOUT 61110 | TIMEOUT 61580 | MAYBE 59951 | MAYBE 58198 |
| tpdb-8.0/TRS/ICFP_2010_relative/4970.xml | MAYBE 439 | MAYBE 907 | MAYBE 59960 | MAYBE 7938 |
| tpdb-8.0/TRS/ICFP_2010_relative/4979.xml | TIMEOUT 60884 | TIMEOUT 61361 | TIMEOUT 60035 | MAYBE 58145 |
| tpdb-8.0/TRS/ICFP_2010_relative/4991.xml | TIMEOUT 61086 | TIMEOUT 61449 | MAYBE 60012 | MAYBE 58243 |
| tpdb-8.0/TRS/ICFP_2010_relative/5011.xml | MAYBE 450 | MAYBE 887 | MAYBE 59997 | MAYBE 8002 |
| tpdb-8.0/TRS/ICFP_2010_relative/5076.xml | TIMEOUT 61180 | TIMEOUT 61773 | MAYBE 59971 | MAYBE 58168 |
| tpdb-8.0/TRS/ICFP_2010_relative/5109.xml | YES 40068 | TIMEOUT 61937 | MAYBE 60015 | MAYBE 58247 |
| tpdb-8.0/TRS/ICFP_2010_relative/5130.xml | TIMEOUT 61078 | TIMEOUT 61427 | TIMEOUT 60037 | MAYBE 58251 |
| tpdb-8.0/TRS/ICFP_2010_relative/54097.xml | TIMEOUT 60899 | TIMEOUT 61967 | TIMEOUT 60039 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/63142.xml | TIMEOUT 60835 | TIMEOUT 60061 | TIMEOUT 60046 | MAYBE 58291 |
| tpdb-8.0/TRS/ICFP_2010_relative/64160.xml | TIMEOUT 61226 | TIMEOUT 61984 | TIMEOUT 60049 | MAYBE 58330 |
| tpdb-8.0/TRS/ICFP_2010_relative/88143.xml | YES 10663 | TIMEOUT 61471 | TIMEOUT 60042 | MAYBE 58286 |
| tpdb-8.0/TRS/ICFP_2010_relative/88172.xml | TIMEOUT 60895 | TIMEOUT 61959 | TIMEOUT 60043 | MAYBE 58357 |
| tpdb-8.0/TRS/ICFP_2010_relative/91242.xml | TIMEOUT 61054 | TIMEOUT 61807 | TIMEOUT 60048 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/97888.xml | TIMEOUT 61080 | TIMEOUT 61794 | TIMEOUT 60052 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/97901.xml | TIMEOUT 61146 | TIMEOUT 61739 | TIMEOUT 60053 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/97917.xml | TIMEOUT 60842 | TIMEOUT 61777 | TIMEOUT 60056 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/97929.xml | TIMEOUT 61084 | TIMEOUT 61761 | TIMEOUT 60055 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup02.xml | YES 12889 | YES 8160 | MAYBE 59610 | MAYBE 57559 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml | YES 31921 | YES 5307 | MAYBE 59533 | YES 2132 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml | YES 34059 | TIMEOUT 61203 | MAYBE 59541 | YES 3951 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | YES 7693 | TIMEOUT 60955 | MAYBE 59532 | MAYBE 57450 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un03.xml | TIMEOUT 61056 | TIMEOUT 61576 | MAYBE 59559 | MAYBE 57476 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml | YES 1684 | YES 3492 | YES 1748 | YES 1001 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02new.xml | YES 3146 | YES 4775 | YES 4312 | YES 2082 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml | YES 2476 | YES 3975 | YES 3741 | YES 2265 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml | YES 1166 | YES 3364 | YES 945 | YES 672 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml | YES 4254 | YES 4857 | YES 7476 | YES 4436 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml | YES 4188 | YES 4571 | YES 7158 | YES 3357 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml | YES 1633 | YES 3366 | YES 1308 | YES 744 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml | YES 1856 | YES 3438 | YES 1311 | YES 756 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr07.xml | YES 2258 | YES 3584 | YES 2553 | YES 1085 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml | YES 1813 | YES 3281 | YES 1978 | YES 1252 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr09.xml | YES 1651 | YES 3437 | YES 1832 | YES 931 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml | YES 2834 | YES 3969 | YES 3709 | YES 1497 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr11.xml | YES 2240 | YES 3641 | YES 2819 | YES 1087 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml | YES 1699 | YES 3577 | YES 1944 | YES 679 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml | NO 1104 | TIMEOUT 60078 | NO 759 | NO 728 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | TIMEOUT 60558 | TIMEOUT 60501 | MAYBE 59522 | MAYBE 57441 |
| tpdb-8.0/TRS/Waldmann_06_relative/r1.xml | MAYBE 287 | MAYBE 764 | MAYBE 59517 | MAYBE 7417 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | MAYBE 301 | MAYBE 757 | YES 2699 | MAYBE 7416 |
| tpdb-8.0/TRS/Waldmann_06_relative/r3.xml | YES 13081 | MAYBE 18160 | YES 1030 | YES 865 |
| tpdb-8.0/TRS/Waldmann_06_relative/r4.xml | TIMEOUT 60724 | TIMEOUT 60506 | MAYBE 59515 | MAYBE 57432 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 4541 | YES 6631 | YES 2647 | YES 1118 |
| tpdb-8.0/TRS/Waldmann_06_relative/r6.xml | YES 2425 | YES 5655 | YES 1852 | YES 1243 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 1302 | YES 3496 | YES 1701 | YES 1029 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 4159 | YES 6272 | YES 2374 | YES 1489 |
| tpdb-8.0/TRS/Waldmann_06_relative/r9.xml | YES 7601 | YES 7029 | YES 1596 | YES 1395 |
| tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml | MAYBE 287 | MAYBE 776 | MAYBE 59516 | MAYBE 7416 |
| tpdb-8.0/TRS/Zantema_06_relative/cars.xml | TIMEOUT 61000 | TIMEOUT 60859 | MAYBE 59542 | MAYBE 57514 |
| tpdb-8.0/TRS/Zantema_06_relative/rel01.xml | YES 1873 | YES 3572 | YES 2148 | YES 1061 |
| tpdb-8.0/TRS/Zantema_06_relative/rel02.xml | YES 4621 | TIMEOUT 60238 | MAYBE 59517 | MAYBE 57440 |
| tpdb-8.0/TRS/Zantema_06_relative/rel03.xml | TIMEOUT 60774 | TIMEOUT 60663 | MAYBE 59523 | MAYBE 57442 |
| tpdb-8.0/TRS/Zantema_06_relative/rel04.xml | YES 3965 | YES 3722 | YES 3989 | YES 1231 |
| tpdb-8.0/TRS/Zantema_06_relative/rel05.xml | YES 2470 | YES 3660 | YES 2497 | YES 1118 |
| tpdb-8.0/TRS/Zantema_06_relative/rel06.xml | YES 5599 | TIMEOUT 60276 | MAYBE 59527 | MAYBE 57442 |
| tpdb-8.0/TRS/Zantema_06_relative/rel07.xml | TIMEOUT 60680 | TIMEOUT 60683 | MAYBE 59524 | MAYBE 57455 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 2383 | YES 3839 | YES 6233 | YES 2677 |
| tpdb-8.0/TRS/Zantema_06_relative/rel09.xml | YES 37210 | YES 4936 | MAYBE 59530 | YES 2044 |
| tpdb-8.0/TRS/Zantema_06_relative/rel10.xml | YES 7552 | YES 3992 | YES 3974 | YES 1202 |
| tpdb-8.0/TRS/Zantema_06_relative/rel11.xml | TIMEOUT 60829 | TIMEOUT 60480 | MAYBE 59556 | MAYBE 57471 |
| tpdb-8.0/TRS/Zantema_06_relative/rel12.xml | TIMEOUT 61366 | YES 45673 | MAYBE 59524 | MAYBE 57440 |
| tpdb-8.0/TRS/Zantema_06_relative/rel13.xml | YES 2650 | YES 4145 | YES 2188 | YES 2125 | 80 | 69 | 28 | 30 |