| benchmark | AProVE-CeTA | TTT2Cert |
|---|---|---|
| tpdb-8.0/TRS/ICFP_2010_relative/107193.xml | UNCERTIFIED 60965 | UNCERTIFIED 60147 |
| tpdb-8.0/TRS/ICFP_2010_relative/107220.xml | UNCERTIFIED 61233 | UNCERTIFIED 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/107236.xml | UNCERTIFIED 61193 | UNCERTIFIED 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/123759.xml | UNCERTIFIED 61788 | UNCERTIFIED 59960 |
| tpdb-8.0/TRS/ICFP_2010_relative/124211.xml | UNCERTIFIED 61378 | UNCERTIFIED 59927 |
| tpdb-8.0/TRS/ICFP_2010_relative/124269.xml | UNCERTIFIED 61826 | UNCERTIFIED 59962 |
| tpdb-8.0/TRS/ICFP_2010_relative/124791.xml | UNCERTIFIED 61727 | UNCERTIFIED 59953 |
| tpdb-8.0/TRS/ICFP_2010_relative/127538.xml | UNCERTIFIED 61736 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/128056.xml | UNCERTIFIED 61546 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/128182.xml | UNCERTIFIED 61303 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/128280.xml | UNCERTIFIED 61659 | UNCERTIFIED 60016 |
| tpdb-8.0/TRS/ICFP_2010_relative/128430.xml | UNCERTIFIED 61216 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/128486.xml | UNCERTIFIED 61277 | UNCERTIFIED 60034 |
| tpdb-8.0/TRS/ICFP_2010_relative/128515.xml | UNCERTIFIED 61213 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/128550.xml | UNCERTIFIED 61227 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/128620.xml | UNCERTIFIED 61711 | UNCERTIFIED 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/128691.xml | UNCERTIFIED 61164 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/130161.xml | UNCERTIFIED 60921 | UNCERTIFIED 60189 |
| tpdb-8.0/TRS/ICFP_2010_relative/130304.xml | UNCERTIFIED 60895 | UNCERTIFIED 60210 |
| tpdb-8.0/TRS/ICFP_2010_relative/130472.xml | UNCERTIFIED 60856 | UNCERTIFIED 60146 |
| tpdb-8.0/TRS/ICFP_2010_relative/130962.xml | UNCERTIFIED 60980 | UNCERTIFIED 60196 |
| tpdb-8.0/TRS/ICFP_2010_relative/131633.xml | UNCERTIFIED 61338 | UNCERTIFIED 60010 |
| tpdb-8.0/TRS/ICFP_2010_relative/131982.xml | UNCERTIFIED 61717 | UNCERTIFIED 59979 |
| tpdb-8.0/TRS/ICFP_2010_relative/132235.xml | UNCERTIFIED 61323 | UNCERTIFIED 59970 |
| tpdb-8.0/TRS/ICFP_2010_relative/132478.xml | UNCERTIFIED 61258 | UNCERTIFIED 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/132540.xml | UNCERTIFIED 61675 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/132622.xml | UNCERTIFIED 61227 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/132720.xml | UNCERTIFIED 61290 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/132738.xml | UNCERTIFIED 61589 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/132782.xml | UNCERTIFIED 61596 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/132833.xml | UNCERTIFIED 61361 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/132848.xml | UNCERTIFIED 60735 | UNCERTIFIED 60186 |
| tpdb-8.0/TRS/ICFP_2010_relative/132864.xml | UNCERTIFIED 61808 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/132920.xml | UNCERTIFIED 61835 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/132957.xml | UNCERTIFIED 61738 | UNCERTIFIED 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/132969.xml | UNCERTIFIED 61223 | UNCERTIFIED 59868 |
| tpdb-8.0/TRS/ICFP_2010_relative/133010.xml | UNCERTIFIED 61297 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/133079.xml | UNCERTIFIED 61201 | UNCERTIFIED 60138 |
| tpdb-8.0/TRS/ICFP_2010_relative/133159.xml | UNCERTIFIED 61373 | UNCERTIFIED 59935 |
| tpdb-8.0/TRS/ICFP_2010_relative/133236.xml | UNCERTIFIED 60900 | UNCERTIFIED 60243 |
| tpdb-8.0/TRS/ICFP_2010_relative/133432.xml | UNCERTIFIED 60787 | UNCERTIFIED 60193 |
| tpdb-8.0/TRS/ICFP_2010_relative/133486.xml | UNCERTIFIED 61715 | UNCERTIFIED 59887 |
| tpdb-8.0/TRS/ICFP_2010_relative/133532.xml | UNCERTIFIED 60848 | UNCERTIFIED 60235 |
| tpdb-8.0/TRS/ICFP_2010_relative/133881.xml | UNCERTIFIED 61796 | UNCERTIFIED 59858 |
| tpdb-8.0/TRS/ICFP_2010_relative/134918.xml | UNCERTIFIED 61471 | UNCERTIFIED 59870 |
| tpdb-8.0/TRS/ICFP_2010_relative/135115.xml | UNCERTIFIED 61483 | UNCERTIFIED 59964 |
| tpdb-8.0/TRS/ICFP_2010_relative/135328.xml | UNCERTIFIED 61317 | UNCERTIFIED 59872 |
| tpdb-8.0/TRS/ICFP_2010_relative/135410.xml | UNCERTIFIED 60840 | UNCERTIFIED 60150 |
| tpdb-8.0/TRS/ICFP_2010_relative/135505.xml | UNCERTIFIED 60802 | UNCERTIFIED 60174 |
| tpdb-8.0/TRS/ICFP_2010_relative/135601.xml | UNCERTIFIED 60952 | UNCERTIFIED 75103 |
| tpdb-8.0/TRS/ICFP_2010_relative/135604.xml | UNCERTIFIED 61375 | UNCERTIFIED 59952 |
| tpdb-8.0/TRS/ICFP_2010_relative/135652.xml | UNCERTIFIED 61591 | UNCERTIFIED 59978 |
| tpdb-8.0/TRS/ICFP_2010_relative/135659.xml | UNCERTIFIED 61592 | UNCERTIFIED 60163 |
| tpdb-8.0/TRS/ICFP_2010_relative/135714.xml | UNCERTIFIED 60957 | UNCERTIFIED 60227 |
| tpdb-8.0/TRS/ICFP_2010_relative/135782.xml | UNCERTIFIED 61781 | UNCERTIFIED 59916 |
| tpdb-8.0/TRS/ICFP_2010_relative/135936.xml | UNCERTIFIED 61484 | UNCERTIFIED 59897 |
| tpdb-8.0/TRS/ICFP_2010_relative/136051.xml | UNCERTIFIED 61492 | UNCERTIFIED 59973 |
| tpdb-8.0/TRS/ICFP_2010_relative/136280.xml | UNCERTIFIED 60817 | UNCERTIFIED 60214 |
| tpdb-8.0/TRS/ICFP_2010_relative/136323.xml | UNCERTIFIED 60998 | UNCERTIFIED 60137 |
| tpdb-8.0/TRS/ICFP_2010_relative/136354.xml | UNCERTIFIED 61079 | UNCERTIFIED 60129 |
| tpdb-8.0/TRS/ICFP_2010_relative/136463.xml | UNCERTIFIED 60899 | UNCERTIFIED 60224 |
| tpdb-8.0/TRS/ICFP_2010_relative/136497.xml | UNCERTIFIED 60862 | UNCERTIFIED 60144 |
| tpdb-8.0/TRS/ICFP_2010_relative/136534.xml | UNCERTIFIED 60797 | UNCERTIFIED 60118 |
| tpdb-8.0/TRS/ICFP_2010_relative/136562.xml | UNCERTIFIED 61357 | UNCERTIFIED 59955 |
| tpdb-8.0/TRS/ICFP_2010_relative/136571.xml | UNCERTIFIED 60959 | UNCERTIFIED 60202 |
| tpdb-8.0/TRS/ICFP_2010_relative/136601.xml | UNCERTIFIED 60987 | UNCERTIFIED 60128 |
| tpdb-8.0/TRS/ICFP_2010_relative/136623.xml | UNCERTIFIED 61647 | UNCERTIFIED 59929 |
| tpdb-8.0/TRS/ICFP_2010_relative/136693.xml | UNCERTIFIED 61047 | UNCERTIFIED 60201 |
| tpdb-8.0/TRS/ICFP_2010_relative/136934.xml | UNCERTIFIED 61032 | UNCERTIFIED 60186 |
| tpdb-8.0/TRS/ICFP_2010_relative/137087.xml | UNCERTIFIED 60761 | UNCERTIFIED 60188 |
| tpdb-8.0/TRS/ICFP_2010_relative/137136.xml | UNCERTIFIED 61082 | UNCERTIFIED 60242 |
| tpdb-8.0/TRS/ICFP_2010_relative/137316.xml | UNCERTIFIED 61014 | UNCERTIFIED 60182 |
| tpdb-8.0/TRS/ICFP_2010_relative/137404.xml | UNCERTIFIED 61807 | UNCERTIFIED 59828 |
| tpdb-8.0/TRS/ICFP_2010_relative/137621.xml | UNCERTIFIED 60796 | UNCERTIFIED 60178 |
| tpdb-8.0/TRS/ICFP_2010_relative/137715.xml | UNCERTIFIED 60979 | UNCERTIFIED 60198 |
| tpdb-8.0/TRS/ICFP_2010_relative/137799.xml | UNCERTIFIED 60709 | UNCERTIFIED 60146 |
| tpdb-8.0/TRS/ICFP_2010_relative/137809.xml | UNCERTIFIED 61512 | UNCERTIFIED 59938 |
| tpdb-8.0/TRS/ICFP_2010_relative/137956.xml | UNCERTIFIED 60919 | UNCERTIFIED 60182 |
| tpdb-8.0/TRS/ICFP_2010_relative/138089.xml | UNCERTIFIED 60797 | UNCERTIFIED 60193 |
| tpdb-8.0/TRS/ICFP_2010_relative/138194.xml | UNCERTIFIED 61476 | UNCERTIFIED 59911 |
| tpdb-8.0/TRS/ICFP_2010_relative/138269.xml | UNCERTIFIED 61392 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/138330.xml | UNCERTIFIED 61787 | UNCERTIFIED 59955 |
| tpdb-8.0/TRS/ICFP_2010_relative/138477.xml | UNCERTIFIED 61850 | UNCERTIFIED 59987 |
| tpdb-8.0/TRS/ICFP_2010_relative/138993.xml | UNCERTIFIED 61415 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/139004.xml | UNCERTIFIED 61329 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/139018.xml | UNCERTIFIED 61824 | UNCERTIFIED 60061 |
| tpdb-8.0/TRS/ICFP_2010_relative/139025.xml | UNCERTIFIED 61513 | UNCERTIFIED 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/139036.xml | UNCERTIFIED 61363 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/139100.xml | UNCERTIFIED 61301 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/139163.xml | UNCERTIFIED 61767 | UNCERTIFIED 60034 |
| tpdb-8.0/TRS/ICFP_2010_relative/139167.xml | UNCERTIFIED 61464 | UNCERTIFIED 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/139174.xml | UNCERTIFIED 61556 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/139180.xml | UNCERTIFIED 61747 | UNCERTIFIED 60034 |
| tpdb-8.0/TRS/ICFP_2010_relative/139185.xml | UNCERTIFIED 61774 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/139190.xml | UNCERTIFIED 61333 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/139214.xml | UNCERTIFIED 61466 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/139236.xml | UNCERTIFIED 61638 | UNCERTIFIED 60055 |
| tpdb-8.0/TRS/ICFP_2010_relative/139256.xml | UNCERTIFIED 61676 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/139282.xml | UNCERTIFIED 61546 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/139310.xml | UNCERTIFIED 61367 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/139378.xml | UNCERTIFIED 61700 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/140287.xml | UNCERTIFIED 61450 | UNCERTIFIED 60035 |
| tpdb-8.0/TRS/ICFP_2010_relative/140318.xml | UNCERTIFIED 61702 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/140359.xml | UNCERTIFIED 61688 | UNCERTIFIED 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/140631.xml | UNCERTIFIED 61646 | UNCERTIFIED 59259 |
| tpdb-8.0/TRS/ICFP_2010_relative/140639.xml | UNCERTIFIED 61529 | UNCERTIFIED 59253 |
| tpdb-8.0/TRS/ICFP_2010_relative/140649.xml | UNCERTIFIED 61681 | UNCERTIFIED 59313 |
| tpdb-8.0/TRS/ICFP_2010_relative/140654.xml | UNCERTIFIED 61259 | UNCERTIFIED 59250 |
| tpdb-8.0/TRS/ICFP_2010_relative/140659.xml | UNCERTIFIED 61191 | UNCERTIFIED 59227 |
| tpdb-8.0/TRS/ICFP_2010_relative/140664.xml | UNCERTIFIED 61568 | UNCERTIFIED 59186 |
| tpdb-8.0/TRS/ICFP_2010_relative/142142.xml | UNCERTIFIED 61249 | UNCERTIFIED 59294 |
| tpdb-8.0/TRS/ICFP_2010_relative/142146.xml | UNCERTIFIED 61273 | UNCERTIFIED 59216 |
| tpdb-8.0/TRS/ICFP_2010_relative/142150.xml | UNCERTIFIED 61283 | UNCERTIFIED 59249 |
| tpdb-8.0/TRS/ICFP_2010_relative/142157.xml | UNCERTIFIED 61238 | UNCERTIFIED 59189 |
| tpdb-8.0/TRS/ICFP_2010_relative/147437.xml | UNCERTIFIED 60669 | UNCERTIFIED 60211 |
| tpdb-8.0/TRS/ICFP_2010_relative/148543.xml | UNCERTIFIED 60967 | UNCERTIFIED 60198 |
| tpdb-8.0/TRS/ICFP_2010_relative/149251.xml | UNCERTIFIED 60764 | UNCERTIFIED 60272 |
| tpdb-8.0/TRS/ICFP_2010_relative/149277.xml | UNCERTIFIED 60930 | UNCERTIFIED 60196 |
| tpdb-8.0/TRS/ICFP_2010_relative/149297.xml | UNCERTIFIED 60730 | UNCERTIFIED 60253 |
| tpdb-8.0/TRS/ICFP_2010_relative/149319.xml | UNCERTIFIED 60740 | UNCERTIFIED 60185 |
| tpdb-8.0/TRS/ICFP_2010_relative/149361.xml | UNCERTIFIED 61007 | UNCERTIFIED 60184 |
| tpdb-8.0/TRS/ICFP_2010_relative/149415.xml | UNCERTIFIED 60954 | UNCERTIFIED 60195 |
| tpdb-8.0/TRS/ICFP_2010_relative/149633.xml | UNCERTIFIED 60869 | UNCERTIFIED 60155 |
| tpdb-8.0/TRS/ICFP_2010_relative/149713.xml | UNCERTIFIED 60968 | UNCERTIFIED 60201 |
| tpdb-8.0/TRS/ICFP_2010_relative/149849.xml | UNCERTIFIED 60776 | UNCERTIFIED 60206 |
| tpdb-8.0/TRS/ICFP_2010_relative/149915.xml | UNCERTIFIED 60900 | UNCERTIFIED 60237 |
| tpdb-8.0/TRS/ICFP_2010_relative/150067.xml | UNCERTIFIED 61062 | UNCERTIFIED 60237 |
| tpdb-8.0/TRS/ICFP_2010_relative/150188.xml | UNCERTIFIED 61013 | UNCERTIFIED 60207 |
| tpdb-8.0/TRS/ICFP_2010_relative/150258.xml | UNCERTIFIED 60638 | UNCERTIFIED 60231 |
| tpdb-8.0/TRS/ICFP_2010_relative/150468.xml | UNCERTIFIED 61018 | UNCERTIFIED 60197 |
| tpdb-8.0/TRS/ICFP_2010_relative/150630.xml | UNCERTIFIED 60972 | UNCERTIFIED 60251 |
| tpdb-8.0/TRS/ICFP_2010_relative/150725.xml | UNCERTIFIED 61019 | UNCERTIFIED 60205 |
| tpdb-8.0/TRS/ICFP_2010_relative/150815.xml | UNCERTIFIED 60773 | UNCERTIFIED 60157 |
| tpdb-8.0/TRS/ICFP_2010_relative/150839.xml | UNCERTIFIED 60855 | UNCERTIFIED 60242 |
| tpdb-8.0/TRS/ICFP_2010_relative/150877.xml | UNCERTIFIED 61077 | UNCERTIFIED 60210 |
| tpdb-8.0/TRS/ICFP_2010_relative/151247.xml | UNCERTIFIED 60940 | UNCERTIFIED 60150 |
| tpdb-8.0/TRS/ICFP_2010_relative/152694.xml | UNCERTIFIED 60897 | UNCERTIFIED 60189 |
| tpdb-8.0/TRS/ICFP_2010_relative/152786.xml | UNCERTIFIED 60998 | UNCERTIFIED 60212 |
| tpdb-8.0/TRS/ICFP_2010_relative/152865.xml | UNCERTIFIED 62079 | UNCERTIFIED 60137 |
| tpdb-8.0/TRS/ICFP_2010_relative/152949.xml | UNCERTIFIED 60857 | UNCERTIFIED 60224 |
| tpdb-8.0/TRS/ICFP_2010_relative/153034.xml | UNCERTIFIED 60907 | UNCERTIFIED 60229 |
| tpdb-8.0/TRS/ICFP_2010_relative/153090.xml | YES 16555 | UNCERTIFIED 60114 |
| tpdb-8.0/TRS/ICFP_2010_relative/153170.xml | UNCERTIFIED 61013 | UNCERTIFIED 60155 |
| tpdb-8.0/TRS/ICFP_2010_relative/153243.xml | UNCERTIFIED 60806 | UNCERTIFIED 60235 |
| tpdb-8.0/TRS/ICFP_2010_relative/153288.xml | UNCERTIFIED 61920 | UNCERTIFIED 60225 |
| tpdb-8.0/TRS/ICFP_2010_relative/153371.xml | UNCERTIFIED 60765 | UNCERTIFIED 60241 |
| tpdb-8.0/TRS/ICFP_2010_relative/153444.xml | UNCERTIFIED 60758 | UNCERTIFIED 60229 |
| tpdb-8.0/TRS/ICFP_2010_relative/157150.xml | UNCERTIFIED 61651 | UNCERTIFIED 60183 |
| tpdb-8.0/TRS/ICFP_2010_relative/157161.xml | UNCERTIFIED 61506 | UNCERTIFIED 60169 |
| tpdb-8.0/TRS/ICFP_2010_relative/157275.xml | YES 16629 | UNCERTIFIED 60161 |
| tpdb-8.0/TRS/ICFP_2010_relative/157388.xml | YES 27961 | UNCERTIFIED 60131 |
| tpdb-8.0/TRS/ICFP_2010_relative/157466.xml | UNCERTIFIED 60763 | UNCERTIFIED 60160 |
| tpdb-8.0/TRS/ICFP_2010_relative/157603.xml | UNCERTIFIED 60853 | UNCERTIFIED 60188 |
| tpdb-8.0/TRS/ICFP_2010_relative/157713.xml | UNCERTIFIED 61058 | UNCERTIFIED 60224 |
| tpdb-8.0/TRS/ICFP_2010_relative/158152.xml | UNCERTIFIED 61540 | UNCERTIFIED 60094 |
| tpdb-8.0/TRS/ICFP_2010_relative/158208.xml | UNCERTIFIED 60906 | UNCERTIFIED 60142 |
| tpdb-8.0/TRS/ICFP_2010_relative/158342.xml | UNCERTIFIED 60828 | UNCERTIFIED 60186 |
| tpdb-8.0/TRS/ICFP_2010_relative/158477.xml | UNCERTIFIED 60841 | UNCERTIFIED 60141 |
| tpdb-8.0/TRS/ICFP_2010_relative/158620.xml | YES 19592 | UNCERTIFIED 60183 |
| tpdb-8.0/TRS/ICFP_2010_relative/160068.xml | UNCERTIFIED 60729 | UNCERTIFIED 60212 |
| tpdb-8.0/TRS/ICFP_2010_relative/160210.xml | UNCERTIFIED 61049 | UNCERTIFIED 60218 |
| tpdb-8.0/TRS/ICFP_2010_relative/160254.xml | UNCERTIFIED 60817 | UNCERTIFIED 60176 |
| tpdb-8.0/TRS/ICFP_2010_relative/160324.xml | UNCERTIFIED 61025 | UNCERTIFIED 60215 |
| tpdb-8.0/TRS/ICFP_2010_relative/160364.xml | UNCERTIFIED 60877 | UNCERTIFIED 60222 |
| tpdb-8.0/TRS/ICFP_2010_relative/160398.xml | UNCERTIFIED 60716 | UNCERTIFIED 60176 |
| tpdb-8.0/TRS/ICFP_2010_relative/160427.xml | UNCERTIFIED 60795 | UNCERTIFIED 60232 |
| tpdb-8.0/TRS/ICFP_2010_relative/160462.xml | UNCERTIFIED 60713 | UNCERTIFIED 60274 |
| tpdb-8.0/TRS/ICFP_2010_relative/160475.xml | UNCERTIFIED 60986 | UNCERTIFIED 60191 |
| tpdb-8.0/TRS/ICFP_2010_relative/160660.xml | UNCERTIFIED 60830 | UNCERTIFIED 60179 |
| tpdb-8.0/TRS/ICFP_2010_relative/161519.xml | UNCERTIFIED 61272 | UNCERTIFIED 60232 |
| tpdb-8.0/TRS/ICFP_2010_relative/161533.xml | UNCERTIFIED 60926 | UNCERTIFIED 60278 |
| tpdb-8.0/TRS/ICFP_2010_relative/161593.xml | UNCERTIFIED 60966 | UNCERTIFIED 60235 |
| tpdb-8.0/TRS/ICFP_2010_relative/161864.xml | UNCERTIFIED 60926 | UNCERTIFIED 60192 |
| tpdb-8.0/TRS/ICFP_2010_relative/161917.xml | UNCERTIFIED 60693 | UNCERTIFIED 60235 |
| tpdb-8.0/TRS/ICFP_2010_relative/161930.xml | YES 14566 | UNCERTIFIED 60138 |
| tpdb-8.0/TRS/ICFP_2010_relative/162016.xml | UNCERTIFIED 60796 | UNCERTIFIED 60178 |
| tpdb-8.0/TRS/ICFP_2010_relative/162075.xml | UNCERTIFIED 60938 | UNCERTIFIED 60212 |
| tpdb-8.0/TRS/ICFP_2010_relative/162095.xml | UNCERTIFIED 60656 | UNCERTIFIED 60217 |
| tpdb-8.0/TRS/ICFP_2010_relative/162244.xml | UNCERTIFIED 60688 | UNCERTIFIED 60154 |
| tpdb-8.0/TRS/ICFP_2010_relative/165713.xml | UNCERTIFIED 60924 | UNCERTIFIED 60198 |
| tpdb-8.0/TRS/ICFP_2010_relative/165755.xml | UNCERTIFIED 60834 | UNCERTIFIED 60199 |
| tpdb-8.0/TRS/ICFP_2010_relative/165904.xml | UNCERTIFIED 60669 | UNCERTIFIED 60232 |
| tpdb-8.0/TRS/ICFP_2010_relative/165936.xml | UNCERTIFIED 60977 | UNCERTIFIED 60165 |
| tpdb-8.0/TRS/ICFP_2010_relative/165975.xml | UNCERTIFIED 60927 | UNCERTIFIED 60157 |
| tpdb-8.0/TRS/ICFP_2010_relative/166001.xml | UNCERTIFIED 60626 | UNCERTIFIED 60218 |
| tpdb-8.0/TRS/ICFP_2010_relative/166465.xml | UNCERTIFIED 60970 | UNCERTIFIED 60225 |
| tpdb-8.0/TRS/ICFP_2010_relative/166493.xml | UNCERTIFIED 60949 | UNCERTIFIED 60183 |
| tpdb-8.0/TRS/ICFP_2010_relative/166558.xml | UNCERTIFIED 60761 | UNCERTIFIED 60230 |
| tpdb-8.0/TRS/ICFP_2010_relative/166848.xml | UNCERTIFIED 60636 | UNCERTIFIED 60255 |
| tpdb-8.0/TRS/ICFP_2010_relative/167041.xml | UNCERTIFIED 60859 | UNCERTIFIED 60216 |
| tpdb-8.0/TRS/ICFP_2010_relative/167087.xml | UNCERTIFIED 60647 | UNCERTIFIED 60159 |
| tpdb-8.0/TRS/ICFP_2010_relative/167240.xml | UNCERTIFIED 61019 | UNCERTIFIED 60200 |
| tpdb-8.0/TRS/ICFP_2010_relative/167294.xml | UNCERTIFIED 60671 | UNCERTIFIED 60165 |
| tpdb-8.0/TRS/ICFP_2010_relative/167310.xml | UNCERTIFIED 60807 | UNCERTIFIED 60284 |
| tpdb-8.0/TRS/ICFP_2010_relative/167391.xml | UNCERTIFIED 61323 | UNCERTIFIED 60167 |
| tpdb-8.0/TRS/ICFP_2010_relative/167433.xml | UNCERTIFIED 60724 | UNCERTIFIED 60178 |
| tpdb-8.0/TRS/ICFP_2010_relative/167452.xml | UNCERTIFIED 60816 | UNCERTIFIED 60240 |
| tpdb-8.0/TRS/ICFP_2010_relative/167526.xml | UNCERTIFIED 60955 | UNCERTIFIED 60146 |
| tpdb-8.0/TRS/ICFP_2010_relative/167636.xml | UNCERTIFIED 60140 | UNCERTIFIED 60355 |
| tpdb-8.0/TRS/ICFP_2010_relative/167742.xml | YES 17777 | UNCERTIFIED 60192 |
| tpdb-8.0/TRS/ICFP_2010_relative/180915.xml | UNCERTIFIED 60679 | UNCERTIFIED 60222 |
| tpdb-8.0/TRS/ICFP_2010_relative/182946.xml | UNCERTIFIED 60855 | UNCERTIFIED 60264 |
| tpdb-8.0/TRS/ICFP_2010_relative/183803.xml | UNCERTIFIED 60684 | UNCERTIFIED 60253 |
| tpdb-8.0/TRS/ICFP_2010_relative/184957.xml | UNCERTIFIED 60825 | UNCERTIFIED 60211 |
| tpdb-8.0/TRS/ICFP_2010_relative/185453.xml | UNCERTIFIED 60701 | UNCERTIFIED 60196 |
| tpdb-8.0/TRS/ICFP_2010_relative/185628.xml | UNCERTIFIED 60728 | UNCERTIFIED 60248 |
| tpdb-8.0/TRS/ICFP_2010_relative/186222.xml | UNCERTIFIED 60865 | UNCERTIFIED 60187 |
| tpdb-8.0/TRS/ICFP_2010_relative/186333.xml | UNCERTIFIED 60911 | UNCERTIFIED 60253 |
| tpdb-8.0/TRS/ICFP_2010_relative/186617.xml | UNCERTIFIED 60670 | UNCERTIFIED 60172 |
| tpdb-8.0/TRS/ICFP_2010_relative/186775.xml | UNCERTIFIED 60903 | UNCERTIFIED 60210 |
| tpdb-8.0/TRS/ICFP_2010_relative/186810.xml | UNCERTIFIED 60817 | UNCERTIFIED 60196 |
| tpdb-8.0/TRS/ICFP_2010_relative/186919.xml | UNCERTIFIED 60853 | UNCERTIFIED 60244 |
| tpdb-8.0/TRS/ICFP_2010_relative/186973.xml | UNCERTIFIED 60883 | UNCERTIFIED 60251 |
| tpdb-8.0/TRS/ICFP_2010_relative/187837.xml | UNCERTIFIED 60859 | UNCERTIFIED 60236 |
| tpdb-8.0/TRS/ICFP_2010_relative/188004.xml | UNCERTIFIED 60913 | UNCERTIFIED 60190 |
| tpdb-8.0/TRS/ICFP_2010_relative/188238.xml | UNCERTIFIED 60690 | UNCERTIFIED 60233 |
| tpdb-8.0/TRS/ICFP_2010_relative/188261.xml | UNCERTIFIED 60664 | UNCERTIFIED 60178 |
| tpdb-8.0/TRS/ICFP_2010_relative/188296.xml | UNCERTIFIED 60851 | UNCERTIFIED 60195 |
| tpdb-8.0/TRS/ICFP_2010_relative/188696.xml | UNCERTIFIED 60907 | UNCERTIFIED 60190 |
| tpdb-8.0/TRS/ICFP_2010_relative/211915.xml | YES 28365 | UNCERTIFIED 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/212043.xml | YES 45304 | UNCERTIFIED 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/212308.xml | UNCERTIFIED 61385 | UNCERTIFIED 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/212364.xml | UNCERTIFIED 61582 | UNCERTIFIED 60061 |
| tpdb-8.0/TRS/ICFP_2010_relative/213147.xml | YES 35897 | YES 34200 |
| tpdb-8.0/TRS/ICFP_2010_relative/213437.xml | YES 39465 | UNCERTIFIED 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/213560.xml | YES 38050 | UNCERTIFIED 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/214011.xml | YES 14458 | YES 8875 |
| tpdb-8.0/TRS/ICFP_2010_relative/214183.xml | YES 21783 | UNCERTIFIED 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/24100.xml | UNCERTIFIED 61681 | UNCERTIFIED 60216 |
| tpdb-8.0/TRS/ICFP_2010_relative/25388.xml | UNCERTIFIED 61010 | UNCERTIFIED 60227 |
| tpdb-8.0/TRS/ICFP_2010_relative/25395.xml | UNCERTIFIED 61212 | UNCERTIFIED 60136 |
| tpdb-8.0/TRS/ICFP_2010_relative/25409.xml | UNCERTIFIED 62185 | UNCERTIFIED 60174 |
| tpdb-8.0/TRS/ICFP_2010_relative/25416.xml | UNCERTIFIED 61802 | UNCERTIFIED 60127 |
| tpdb-8.0/TRS/ICFP_2010_relative/25422.xml | UNCERTIFIED 61399 | UNCERTIFIED 60148 |
| tpdb-8.0/TRS/ICFP_2010_relative/254704.xml | UNCERTIFIED 61068 | UNCERTIFIED 60125 |
| tpdb-8.0/TRS/ICFP_2010_relative/25711.xml | UNCERTIFIED 62071 | UNCERTIFIED 60128 |
| tpdb-8.0/TRS/ICFP_2010_relative/25726.xml | UNCERTIFIED 62439 | UNCERTIFIED 60151 |
| tpdb-8.0/TRS/ICFP_2010_relative/25734.xml | UNCERTIFIED 61980 | UNCERTIFIED 60232 |
| tpdb-8.0/TRS/ICFP_2010_relative/25736.xml | UNCERTIFIED 62838 | UNCERTIFIED 60153 |
| tpdb-8.0/TRS/ICFP_2010_relative/25743.xml | UNCERTIFIED 61679 | UNCERTIFIED 60171 |
| tpdb-8.0/TRS/ICFP_2010_relative/25775.xml | UNCERTIFIED 61125 | UNCERTIFIED 60187 |
| tpdb-8.0/TRS/ICFP_2010_relative/25808.xml | UNCERTIFIED 61355 | UNCERTIFIED 60146 |
| tpdb-8.0/TRS/ICFP_2010_relative/25849.xml | UNCERTIFIED 61345 | UNCERTIFIED 60214 |
| tpdb-8.0/TRS/ICFP_2010_relative/259405.xml | YES 16088 | UNCERTIFIED 60229 |
| tpdb-8.0/TRS/ICFP_2010_relative/259625.xml | YES 13784 | UNCERTIFIED 60237 |
| tpdb-8.0/TRS/ICFP_2010_relative/26069.xml | UNCERTIFIED 61432 | YES 7923 |
| tpdb-8.0/TRS/ICFP_2010_relative/26105.xml | UNCERTIFIED 62814 | UNCERTIFIED 60238 |
| tpdb-8.0/TRS/ICFP_2010_relative/26110.xml | UNCERTIFIED 61795 | UNCERTIFIED 60127 |
| tpdb-8.0/TRS/ICFP_2010_relative/26116.xml | UNCERTIFIED 61477 | UNCERTIFIED 60198 |
| tpdb-8.0/TRS/ICFP_2010_relative/26123.xml | UNCERTIFIED 61605 | YES 7245 |
| tpdb-8.0/TRS/ICFP_2010_relative/26127.xml | UNCERTIFIED 61820 | UNCERTIFIED 60122 |
| tpdb-8.0/TRS/ICFP_2010_relative/26130.xml | UNCERTIFIED 61983 | YES 8388 |
| tpdb-8.0/TRS/ICFP_2010_relative/26132.xml | UNCERTIFIED 63064 | UNCERTIFIED 60201 |
| tpdb-8.0/TRS/ICFP_2010_relative/26186.xml | UNCERTIFIED 61404 | YES 7534 |
| tpdb-8.0/TRS/ICFP_2010_relative/26226.xml | UNCERTIFIED 61815 | YES 7996 |
| tpdb-8.0/TRS/ICFP_2010_relative/26291.xml | UNCERTIFIED 61540 | YES 9956 |
| tpdb-8.0/TRS/ICFP_2010_relative/263745.xml | YES 13625 | UNCERTIFIED 60331 |
| tpdb-8.0/TRS/ICFP_2010_relative/26683.xml | UNCERTIFIED 62065 | YES 10120 |
| tpdb-8.0/TRS/ICFP_2010_relative/26741.xml | UNCERTIFIED 61165 | UNCERTIFIED 60147 |
| tpdb-8.0/TRS/ICFP_2010_relative/26845.xml | UNCERTIFIED 61669 | UNCERTIFIED 60126 |
| tpdb-8.0/TRS/ICFP_2010_relative/26862.xml | UNCERTIFIED 61355 | UNCERTIFIED 60174 |
| tpdb-8.0/TRS/ICFP_2010_relative/26871.xml | UNCERTIFIED 61715 | UNCERTIFIED 60207 |
| tpdb-8.0/TRS/ICFP_2010_relative/26875.xml | UNCERTIFIED 61271 | UNCERTIFIED 60113 |
| tpdb-8.0/TRS/ICFP_2010_relative/26879.xml | UNCERTIFIED 61221 | UNCERTIFIED 60188 |
| tpdb-8.0/TRS/ICFP_2010_relative/26882.xml | UNCERTIFIED 61910 | UNCERTIFIED 60145 |
| tpdb-8.0/TRS/ICFP_2010_relative/26886.xml | UNCERTIFIED 62690 | UNCERTIFIED 60120 |
| tpdb-8.0/TRS/ICFP_2010_relative/26896.xml | UNCERTIFIED 62405 | UNCERTIFIED 60178 |
| tpdb-8.0/TRS/ICFP_2010_relative/26903.xml | UNCERTIFIED 61498 | UNCERTIFIED 60219 |
| tpdb-8.0/TRS/ICFP_2010_relative/26910.xml | UNCERTIFIED 61979 | UNCERTIFIED 60187 |
| tpdb-8.0/TRS/ICFP_2010_relative/26916.xml | UNCERTIFIED 61624 | UNCERTIFIED 60247 |
| tpdb-8.0/TRS/ICFP_2010_relative/26919.xml | UNCERTIFIED 61025 | UNCERTIFIED 60144 |
| tpdb-8.0/TRS/ICFP_2010_relative/26923.xml | UNCERTIFIED 61535 | UNCERTIFIED 60208 |
| tpdb-8.0/TRS/ICFP_2010_relative/26927.xml | UNCERTIFIED 61438 | UNCERTIFIED 60200 |
| tpdb-8.0/TRS/ICFP_2010_relative/26931.xml | UNCERTIFIED 62579 | UNCERTIFIED 60103 |
| tpdb-8.0/TRS/ICFP_2010_relative/26933.xml | UNCERTIFIED 62397 | UNCERTIFIED 60181 |
| tpdb-8.0/TRS/ICFP_2010_relative/26940.xml | UNCERTIFIED 61263 | UNCERTIFIED 60220 |
| tpdb-8.0/TRS/ICFP_2010_relative/26943.xml | UNCERTIFIED 62252 | UNCERTIFIED 60144 |
| tpdb-8.0/TRS/ICFP_2010_relative/26946.xml | UNCERTIFIED 62131 | UNCERTIFIED 60150 |
| tpdb-8.0/TRS/ICFP_2010_relative/26949.xml | UNCERTIFIED 61818 | UNCERTIFIED 60204 |
| tpdb-8.0/TRS/ICFP_2010_relative/26951.xml | UNCERTIFIED 63954 | UNCERTIFIED 60123 |
| tpdb-8.0/TRS/ICFP_2010_relative/26954.xml | UNCERTIFIED 61434 | UNCERTIFIED 60170 |
| tpdb-8.0/TRS/ICFP_2010_relative/26957.xml | UNCERTIFIED 62195 | UNCERTIFIED 60161 |
| tpdb-8.0/TRS/ICFP_2010_relative/26960.xml | UNCERTIFIED 61285 | UNCERTIFIED 60130 |
| tpdb-8.0/TRS/ICFP_2010_relative/26965.xml | UNCERTIFIED 61876 | UNCERTIFIED 60173 |
| tpdb-8.0/TRS/ICFP_2010_relative/26969.xml | UNCERTIFIED 61554 | UNCERTIFIED 60150 |
| tpdb-8.0/TRS/ICFP_2010_relative/26972.xml | UNCERTIFIED 62820 | UNCERTIFIED 60204 |
| tpdb-8.0/TRS/ICFP_2010_relative/26974.xml | UNCERTIFIED 62057 | UNCERTIFIED 60205 |
| tpdb-8.0/TRS/ICFP_2010_relative/26976.xml | UNCERTIFIED 62566 | UNCERTIFIED 60164 |
| tpdb-8.0/TRS/ICFP_2010_relative/26978.xml | UNCERTIFIED 61807 | UNCERTIFIED 60185 |
| tpdb-8.0/TRS/ICFP_2010_relative/26980.xml | UNCERTIFIED 61216 | UNCERTIFIED 60204 |
| tpdb-8.0/TRS/ICFP_2010_relative/26986.xml | UNCERTIFIED 61500 | UNCERTIFIED 60153 |
| tpdb-8.0/TRS/ICFP_2010_relative/26993.xml | UNCERTIFIED 61436 | UNCERTIFIED 60207 |
| tpdb-8.0/TRS/ICFP_2010_relative/26998.xml | UNCERTIFIED 61799 | UNCERTIFIED 60210 |
| tpdb-8.0/TRS/ICFP_2010_relative/27001.xml | UNCERTIFIED 62436 | UNCERTIFIED 60218 |
| tpdb-8.0/TRS/ICFP_2010_relative/27003.xml | UNCERTIFIED 61210 | UNCERTIFIED 60156 |
| tpdb-8.0/TRS/ICFP_2010_relative/27006.xml | UNCERTIFIED 61156 | UNCERTIFIED 60171 |
| tpdb-8.0/TRS/ICFP_2010_relative/27009.xml | UNCERTIFIED 62895 | UNCERTIFIED 60127 |
| tpdb-8.0/TRS/ICFP_2010_relative/27013.xml | UNCERTIFIED 61229 | UNCERTIFIED 60157 |
| tpdb-8.0/TRS/ICFP_2010_relative/27015.xml | UNCERTIFIED 61655 | UNCERTIFIED 60186 |
| tpdb-8.0/TRS/ICFP_2010_relative/27019.xml | UNCERTIFIED 62393 | UNCERTIFIED 60203 |
| tpdb-8.0/TRS/ICFP_2010_relative/27023.xml | UNCERTIFIED 61216 | UNCERTIFIED 60212 |
| tpdb-8.0/TRS/ICFP_2010_relative/27026.xml | UNCERTIFIED 61085 | UNCERTIFIED 60176 |
| tpdb-8.0/TRS/ICFP_2010_relative/27028.xml | UNCERTIFIED 61251 | UNCERTIFIED 60190 |
| tpdb-8.0/TRS/ICFP_2010_relative/27030.xml | UNCERTIFIED 61470 | YES 8477 |
| tpdb-8.0/TRS/ICFP_2010_relative/27034.xml | UNCERTIFIED 61408 | UNCERTIFIED 60185 |
| tpdb-8.0/TRS/ICFP_2010_relative/27036.xml | UNCERTIFIED 61838 | UNCERTIFIED 60192 |
| tpdb-8.0/TRS/ICFP_2010_relative/27039.xml | UNCERTIFIED 61350 | UNCERTIFIED 60223 |
| tpdb-8.0/TRS/ICFP_2010_relative/27131.xml | UNCERTIFIED 61776 | YES 10073 |
| tpdb-8.0/TRS/ICFP_2010_relative/27134.xml | UNCERTIFIED 61877 | YES 8823 |
| tpdb-8.0/TRS/ICFP_2010_relative/27213.xml | UNCERTIFIED 61737 | YES 9969 |
| tpdb-8.0/TRS/ICFP_2010_relative/27235.xml | UNCERTIFIED 61352 | YES 9628 |
| tpdb-8.0/TRS/ICFP_2010_relative/27280.xml | UNCERTIFIED 61590 | YES 12604 |
| tpdb-8.0/TRS/ICFP_2010_relative/28293.xml | UNCERTIFIED 62049 | YES 9776 |
| tpdb-8.0/TRS/ICFP_2010_relative/28464.xml | UNCERTIFIED 62187 | YES 15154 |
| tpdb-8.0/TRS/ICFP_2010_relative/28643.xml | UNCERTIFIED 61449 | YES 13299 |
| tpdb-8.0/TRS/ICFP_2010_relative/28838.xml | UNCERTIFIED 61660 | YES 12620 |
| tpdb-8.0/TRS/ICFP_2010_relative/29415.xml | YES 19175 | UNCERTIFIED 60233 |
| tpdb-8.0/TRS/ICFP_2010_relative/3268.xml | YES 59673 | UNCERTIFIED 57671 |
| tpdb-8.0/TRS/ICFP_2010_relative/3336.xml | UNCERTIFIED 705 | UNCERTIFIED 57717 |
| tpdb-8.0/TRS/ICFP_2010_relative/3385.xml | UNCERTIFIED 61584 | UNCERTIFIED 57703 |
| tpdb-8.0/TRS/ICFP_2010_relative/3450.xml | UNCERTIFIED 61299 | UNCERTIFIED 58100 |
| tpdb-8.0/TRS/ICFP_2010_relative/3467.xml | UNCERTIFIED 61571 | UNCERTIFIED 58070 |
| tpdb-8.0/TRS/ICFP_2010_relative/3498.xml | UNCERTIFIED 61639 | UNCERTIFIED 58010 |
| tpdb-8.0/TRS/ICFP_2010_relative/3533.xml | UNCERTIFIED 61718 | UNCERTIFIED 58069 |
| tpdb-8.0/TRS/ICFP_2010_relative/3562.xml | UNCERTIFIED 61321 | UNCERTIFIED 58079 |
| tpdb-8.0/TRS/ICFP_2010_relative/3589.xml | UNCERTIFIED 61748 | UNCERTIFIED 58072 |
| tpdb-8.0/TRS/ICFP_2010_relative/3633.xml | UNCERTIFIED 61389 | UNCERTIFIED 58076 |
| tpdb-8.0/TRS/ICFP_2010_relative/3680.xml | UNCERTIFIED 61429 | UNCERTIFIED 58073 |
| tpdb-8.0/TRS/ICFP_2010_relative/3705.xml | UNCERTIFIED 61633 | UNCERTIFIED 58130 |
| tpdb-8.0/TRS/ICFP_2010_relative/3729.xml | UNCERTIFIED 61296 | UNCERTIFIED 58095 |
| tpdb-8.0/TRS/ICFP_2010_relative/3746.xml | UNCERTIFIED 61691 | UNCERTIFIED 58066 |
| tpdb-8.0/TRS/ICFP_2010_relative/3762.xml | UNCERTIFIED 61626 | UNCERTIFIED 58086 |
| tpdb-8.0/TRS/ICFP_2010_relative/3770.xml | UNCERTIFIED 61267 | UNCERTIFIED 58085 |
| tpdb-8.0/TRS/ICFP_2010_relative/3786.xml | UNCERTIFIED 61771 | UNCERTIFIED 58080 |
| tpdb-8.0/TRS/ICFP_2010_relative/3817.xml | UNCERTIFIED 61417 | UNCERTIFIED 58109 |
| tpdb-8.0/TRS/ICFP_2010_relative/3831.xml | UNCERTIFIED 61311 | UNCERTIFIED 58079 |
| tpdb-8.0/TRS/ICFP_2010_relative/3842.xml | UNCERTIFIED 61613 | UNCERTIFIED 58067 |
| tpdb-8.0/TRS/ICFP_2010_relative/3856.xml | UNCERTIFIED 61688 | UNCERTIFIED 58092 |
| tpdb-8.0/TRS/ICFP_2010_relative/3861.xml | UNCERTIFIED 61798 | UNCERTIFIED 58065 |
| tpdb-8.0/TRS/ICFP_2010_relative/3865.xml | UNCERTIFIED 61650 | UNCERTIFIED 58085 |
| tpdb-8.0/TRS/ICFP_2010_relative/3916.xml | UNCERTIFIED 780 | UNCERTIFIED 58042 |
| tpdb-8.0/TRS/ICFP_2010_relative/3927.xml | UNCERTIFIED 61009 | UNCERTIFIED 60135 |
| tpdb-8.0/TRS/ICFP_2010_relative/3930.xml | UNCERTIFIED 61232 | UNCERTIFIED 58073 |
| tpdb-8.0/TRS/ICFP_2010_relative/3939.xml | UNCERTIFIED 61380 | UNCERTIFIED 58061 |
| tpdb-8.0/TRS/ICFP_2010_relative/39830.xml | UNCERTIFIED 61132 | UNCERTIFIED 60174 |
| tpdb-8.0/TRS/ICFP_2010_relative/3989.xml | UNCERTIFIED 61767 | UNCERTIFIED 58101 |
| tpdb-8.0/TRS/ICFP_2010_relative/3995.xml | UNCERTIFIED 61727 | UNCERTIFIED 58078 |
| tpdb-8.0/TRS/ICFP_2010_relative/4002.xml | UNCERTIFIED 61267 | UNCERTIFIED 57996 |
| tpdb-8.0/TRS/ICFP_2010_relative/40033.xml | UNCERTIFIED 61035 | UNCERTIFIED 60217 |
| tpdb-8.0/TRS/ICFP_2010_relative/4017.xml | UNCERTIFIED 61414 | UNCERTIFIED 58056 |
| tpdb-8.0/TRS/ICFP_2010_relative/4029.xml | UNCERTIFIED 61766 | UNCERTIFIED 58061 |
| tpdb-8.0/TRS/ICFP_2010_relative/4036.xml | UNCERTIFIED 61802 | UNCERTIFIED 58077 |
| tpdb-8.0/TRS/ICFP_2010_relative/4046.xml | UNCERTIFIED 715 | UNCERTIFIED 58037 |
| tpdb-8.0/TRS/ICFP_2010_relative/4051.xml | UNCERTIFIED 61875 | UNCERTIFIED 58065 |
| tpdb-8.0/TRS/ICFP_2010_relative/40540.xml | YES 16082 | UNCERTIFIED 60208 |
| tpdb-8.0/TRS/ICFP_2010_relative/4057.xml | UNCERTIFIED 61714 | UNCERTIFIED 58093 |
| tpdb-8.0/TRS/ICFP_2010_relative/40708.xml | UNCERTIFIED 61515 | YES 10506 |
| tpdb-8.0/TRS/ICFP_2010_relative/4074.xml | UNCERTIFIED 61414 | UNCERTIFIED 58106 |
| tpdb-8.0/TRS/ICFP_2010_relative/40976.xml | YES 36202 | UNCERTIFIED 60120 |
| tpdb-8.0/TRS/ICFP_2010_relative/4106.xml | UNCERTIFIED 61260 | UNCERTIFIED 58003 |
| tpdb-8.0/TRS/ICFP_2010_relative/41378.xml | UNCERTIFIED 61463 | UNCERTIFIED 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/4141.xml | UNCERTIFIED 61358 | UNCERTIFIED 58075 |
| tpdb-8.0/TRS/ICFP_2010_relative/41427.xml | UNCERTIFIED 60945 | UNCERTIFIED 60184 |
| tpdb-8.0/TRS/ICFP_2010_relative/4157.xml | UNCERTIFIED 61652 | UNCERTIFIED 58088 |
| tpdb-8.0/TRS/ICFP_2010_relative/41688.xml | UNCERTIFIED 60973 | UNCERTIFIED 60247 |
| tpdb-8.0/TRS/ICFP_2010_relative/4181.xml | UNCERTIFIED 61850 | UNCERTIFIED 58119 |
| tpdb-8.0/TRS/ICFP_2010_relative/41838.xml | UNCERTIFIED 61552 | UNCERTIFIED 60181 |
| tpdb-8.0/TRS/ICFP_2010_relative/41843.xml | UNCERTIFIED 61569 | UNCERTIFIED 60115 |
| tpdb-8.0/TRS/ICFP_2010_relative/41865.xml | UNCERTIFIED 60762 | UNCERTIFIED 60223 |
| tpdb-8.0/TRS/ICFP_2010_relative/4200.xml | UNCERTIFIED 61824 | UNCERTIFIED 58124 |
| tpdb-8.0/TRS/ICFP_2010_relative/4206.xml | UNCERTIFIED 61246 | UNCERTIFIED 60175 |
| tpdb-8.0/TRS/ICFP_2010_relative/42170.xml | UNCERTIFIED 60910 | UNCERTIFIED 60203 |
| tpdb-8.0/TRS/ICFP_2010_relative/42321.xml | YES 14633 | UNCERTIFIED 60167 |
| tpdb-8.0/TRS/ICFP_2010_relative/42466.xml | UNCERTIFIED 60793 | UNCERTIFIED 60168 |
| tpdb-8.0/TRS/ICFP_2010_relative/4248.xml | UNCERTIFIED 61226 | UNCERTIFIED 58109 |
| tpdb-8.0/TRS/ICFP_2010_relative/42683.xml | YES 15478 | UNCERTIFIED 60151 |
| tpdb-8.0/TRS/ICFP_2010_relative/4282.xml | UNCERTIFIED 61317 | UNCERTIFIED 58010 |
| tpdb-8.0/TRS/ICFP_2010_relative/43266.xml | UNCERTIFIED 60723 | UNCERTIFIED 60140 |
| tpdb-8.0/TRS/ICFP_2010_relative/43603.xml | UNCERTIFIED 61337 | UNCERTIFIED 60149 |
| tpdb-8.0/TRS/ICFP_2010_relative/43621.xml | UNCERTIFIED 61438 | UNCERTIFIED 60160 |
| tpdb-8.0/TRS/ICFP_2010_relative/43650.xml | UNCERTIFIED 61036 | UNCERTIFIED 60141 |
| tpdb-8.0/TRS/ICFP_2010_relative/4374.xml | UNCERTIFIED 61296 | UNCERTIFIED 58032 |
| tpdb-8.0/TRS/ICFP_2010_relative/43987.xml | UNCERTIFIED 60900 | UNCERTIFIED 60201 |
| tpdb-8.0/TRS/ICFP_2010_relative/4412.xml | UNCERTIFIED 61298 | UNCERTIFIED 58108 |
| tpdb-8.0/TRS/ICFP_2010_relative/44332.xml | YES 16251 | UNCERTIFIED 60169 |
| tpdb-8.0/TRS/ICFP_2010_relative/4484.xml | UNCERTIFIED 61326 | UNCERTIFIED 58053 |
| tpdb-8.0/TRS/ICFP_2010_relative/4487.xml | UNCERTIFIED 61405 | UNCERTIFIED 58085 |
| tpdb-8.0/TRS/ICFP_2010_relative/45720.xml | UNCERTIFIED 61470 | UNCERTIFIED 60158 |
| tpdb-8.0/TRS/ICFP_2010_relative/45757.xml | UNCERTIFIED 61360 | UNCERTIFIED 60165 |
| tpdb-8.0/TRS/ICFP_2010_relative/45970.xml | UNCERTIFIED 60696 | UNCERTIFIED 60175 |
| tpdb-8.0/TRS/ICFP_2010_relative/4816.xml | UNCERTIFIED 61301 | UNCERTIFIED 58107 |
| tpdb-8.0/TRS/ICFP_2010_relative/4819.xml | UNCERTIFIED 61669 | UNCERTIFIED 58037 |
| tpdb-8.0/TRS/ICFP_2010_relative/4824.xml | UNCERTIFIED 61667 | UNCERTIFIED 58071 |
| tpdb-8.0/TRS/ICFP_2010_relative/48262.xml | UNCERTIFIED 61492 | UNCERTIFIED 60197 |
| tpdb-8.0/TRS/ICFP_2010_relative/48267.xml | UNCERTIFIED 61666 | UNCERTIFIED 60224 |
| tpdb-8.0/TRS/ICFP_2010_relative/4827.xml | UNCERTIFIED 61322 | UNCERTIFIED 58047 |
| tpdb-8.0/TRS/ICFP_2010_relative/48328.xml | UNCERTIFIED 61663 | UNCERTIFIED 60250 |
| tpdb-8.0/TRS/ICFP_2010_relative/48374.xml | UNCERTIFIED 61755 | UNCERTIFIED 60179 |
| tpdb-8.0/TRS/ICFP_2010_relative/4840.xml | UNCERTIFIED 61753 | UNCERTIFIED 58111 |
| tpdb-8.0/TRS/ICFP_2010_relative/4847.xml | UNCERTIFIED 61605 | UNCERTIFIED 58043 |
| tpdb-8.0/TRS/ICFP_2010_relative/4854.xml | UNCERTIFIED 61437 | UNCERTIFIED 58105 |
| tpdb-8.0/TRS/ICFP_2010_relative/48686.xml | UNCERTIFIED 60950 | UNCERTIFIED 60126 |
| tpdb-8.0/TRS/ICFP_2010_relative/4893.xml | UNCERTIFIED 61451 | UNCERTIFIED 58052 |
| tpdb-8.0/TRS/ICFP_2010_relative/4920.xml | UNCERTIFIED 61817 | UNCERTIFIED 58122 |
| tpdb-8.0/TRS/ICFP_2010_relative/4934.xml | UNCERTIFIED 61664 | UNCERTIFIED 58068 |
| tpdb-8.0/TRS/ICFP_2010_relative/4938.xml | UNCERTIFIED 61769 | UNCERTIFIED 58095 |
| tpdb-8.0/TRS/ICFP_2010_relative/4943.xml | UNCERTIFIED 61519 | UNCERTIFIED 58041 |
| tpdb-8.0/TRS/ICFP_2010_relative/4953.xml | UNCERTIFIED 61377 | UNCERTIFIED 58135 |
| tpdb-8.0/TRS/ICFP_2010_relative/4964.xml | UNCERTIFIED 61386 | UNCERTIFIED 58051 |
| tpdb-8.0/TRS/ICFP_2010_relative/4970.xml | UNCERTIFIED 715 | UNCERTIFIED 58041 |
| tpdb-8.0/TRS/ICFP_2010_relative/4979.xml | UNCERTIFIED 61285 | UNCERTIFIED 58052 |
| tpdb-8.0/TRS/ICFP_2010_relative/4991.xml | UNCERTIFIED 61361 | UNCERTIFIED 58082 |
| tpdb-8.0/TRS/ICFP_2010_relative/5011.xml | UNCERTIFIED 718 | UNCERTIFIED 58058 |
| tpdb-8.0/TRS/ICFP_2010_relative/5076.xml | UNCERTIFIED 61457 | UNCERTIFIED 58050 |
| tpdb-8.0/TRS/ICFP_2010_relative/50904.xml | UNCERTIFIED 60879 | UNCERTIFIED 60134 |
| tpdb-8.0/TRS/ICFP_2010_relative/5109.xml | UNCERTIFIED 61600 | UNCERTIFIED 58095 |
| tpdb-8.0/TRS/ICFP_2010_relative/5130.xml | UNCERTIFIED 61841 | UNCERTIFIED 58099 |
| tpdb-8.0/TRS/ICFP_2010_relative/51424.xml | UNCERTIFIED 61235 | UNCERTIFIED 60211 |
| tpdb-8.0/TRS/ICFP_2010_relative/51577.xml | UNCERTIFIED 61032 | UNCERTIFIED 60166 |
| tpdb-8.0/TRS/ICFP_2010_relative/51842.xml | UNCERTIFIED 61102 | UNCERTIFIED 60226 |
| tpdb-8.0/TRS/ICFP_2010_relative/53216.xml | UNCERTIFIED 61071 | UNCERTIFIED 60164 |
| tpdb-8.0/TRS/ICFP_2010_relative/54097.xml | UNCERTIFIED 61895 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/56144.xml | YES 16563 | UNCERTIFIED 60183 |
| tpdb-8.0/TRS/ICFP_2010_relative/57278.xml | UNCERTIFIED 61830 | UNCERTIFIED 60173 |
| tpdb-8.0/TRS/ICFP_2010_relative/57355.xml | UNCERTIFIED 61546 | UNCERTIFIED 60155 |
| tpdb-8.0/TRS/ICFP_2010_relative/58125.xml | UNCERTIFIED 60972 | UNCERTIFIED 60225 |
| tpdb-8.0/TRS/ICFP_2010_relative/58194.xml | UNCERTIFIED 61401 | UNCERTIFIED 60269 |
| tpdb-8.0/TRS/ICFP_2010_relative/63142.xml | UNCERTIFIED 61821 | UNCERTIFIED 58174 |
| tpdb-8.0/TRS/ICFP_2010_relative/64160.xml | UNCERTIFIED 61462 | UNCERTIFIED 58197 |
| tpdb-8.0/TRS/ICFP_2010_relative/88143.xml | UNCERTIFIED 61800 | UNCERTIFIED 58159 |
| tpdb-8.0/TRS/ICFP_2010_relative/88156.xml | UNCERTIFIED 61771 | UNCERTIFIED 60253 |
| tpdb-8.0/TRS/ICFP_2010_relative/88172.xml | UNCERTIFIED 61857 | UNCERTIFIED 58197 |
| tpdb-8.0/TRS/ICFP_2010_relative/88183.xml | UNCERTIFIED 61550 | UNCERTIFIED 60288 |
| tpdb-8.0/TRS/ICFP_2010_relative/88208.xml | UNCERTIFIED 61693 | UNCERTIFIED 60258 |
| tpdb-8.0/TRS/ICFP_2010_relative/88283.xml | UNCERTIFIED 61753 | UNCERTIFIED 60166 |
| tpdb-8.0/TRS/ICFP_2010_relative/91210.xml | YES 13750 | UNCERTIFIED 60200 |
| tpdb-8.0/TRS/ICFP_2010_relative/91218.xml | UNCERTIFIED 61084 | UNCERTIFIED 60194 |
| tpdb-8.0/TRS/ICFP_2010_relative/91233.xml | YES 12050 | UNCERTIFIED 60196 |
| tpdb-8.0/TRS/ICFP_2010_relative/91242.xml | UNCERTIFIED 61320 | UNCERTIFIED 59986 |
| tpdb-8.0/TRS/ICFP_2010_relative/91254.xml | UNCERTIFIED 61286 | UNCERTIFIED 60144 |
| tpdb-8.0/TRS/ICFP_2010_relative/97885.xml | UNCERTIFIED 61167 | UNCERTIFIED 60368 |
| tpdb-8.0/TRS/ICFP_2010_relative/97888.xml | UNCERTIFIED 61577 | UNCERTIFIED 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/97901.xml | UNCERTIFIED 61653 | UNCERTIFIED 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/97917.xml | UNCERTIFIED 61720 | UNCERTIFIED 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/97929.xml | UNCERTIFIED 61678 | UNCERTIFIED 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/98623.xml | UNCERTIFIED 60875 | UNCERTIFIED 60175 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup02.xml | YES 8186 | UNCERTIFIED 57493 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml | YES 5056 | YES 1732 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml | UNCERTIFIED 61258 | YES 3201 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | UNCERTIFIED 61225 | UNCERTIFIED 57396 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un03.xml | UNCERTIFIED 61185 | UNCERTIFIED 57426 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml | YES 2599 | YES 856 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02new.xml | YES 3654 | UNCERTIFIED 2411 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml | YES 2942 | UNCERTIFIED 2027 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml | YES 2503 | YES 525 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml | YES 3685 | YES 3918 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml | YES 3704 | YES 3780 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml | YES 2521 | YES 569 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml | YES 2666 | YES 613 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr07.xml | YES 2796 | YES 899 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml | YES 2398 | YES 1064 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr09.xml | YES 2574 | UNCERTIFIED 738 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml | YES 3152 | YES 1099 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr11.xml | YES 2909 | UNCERTIFIED 1024 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml | YES 2815 | YES 807 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml | UNCERTIFIED 60065 | NO 546 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | UNCERTIFIED 60506 | UNCERTIFIED 57394 |
| tpdb-8.0/TRS/Waldmann_06_relative/r1.xml | UNCERTIFIED 584 | UNCERTIFIED 57384 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | UNCERTIFIED 565 | UNCERTIFIED 57386 |
| tpdb-8.0/TRS/Waldmann_06_relative/r3.xml | UNCERTIFIED 18020 | UNCERTIFIED 57388 |
| tpdb-8.0/TRS/Waldmann_06_relative/r4.xml | UNCERTIFIED 60591 | UNCERTIFIED 57388 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 6760 | UNCERTIFIED 1091 |
| tpdb-8.0/TRS/Waldmann_06_relative/r6.xml | YES 5517 | UNCERTIFIED 1061 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 2900 | YES 822 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 5861 | YES 1107 |
| tpdb-8.0/TRS/Waldmann_06_relative/r9.xml | YES 6723 | YES 1415 |
| tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml | UNCERTIFIED 570 | UNCERTIFIED 57390 |
| tpdb-8.0/TRS/Zantema_06_relative/cars.xml | UNCERTIFIED 60860 | UNCERTIFIED 57454 |
| tpdb-8.0/TRS/Zantema_06_relative/rel01.xml | YES 2783 | YES 858 |
| tpdb-8.0/TRS/Zantema_06_relative/rel02.xml | UNCERTIFIED 60265 | UNCERTIFIED 57438 |
| tpdb-8.0/TRS/Zantema_06_relative/rel03.xml | UNCERTIFIED 60672 | UNCERTIFIED 57391 |
| tpdb-8.0/TRS/Zantema_06_relative/rel04.xml | YES 2820 | YES 1064 |
| tpdb-8.0/TRS/Zantema_06_relative/rel05.xml | YES 2821 | YES 889 |
| tpdb-8.0/TRS/Zantema_06_relative/rel06.xml | UNCERTIFIED 60281 | UNCERTIFIED 57391 |
| tpdb-8.0/TRS/Zantema_06_relative/rel07.xml | UNCERTIFIED 60569 | UNCERTIFIED 57401 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 3005 | UNCERTIFIED 2049 |
| tpdb-8.0/TRS/Zantema_06_relative/rel09.xml | YES 4267 | UNCERTIFIED 1583 |
| tpdb-8.0/TRS/Zantema_06_relative/rel10.xml | YES 3150 | UNCERTIFIED 1368 |
| tpdb-8.0/TRS/Zantema_06_relative/rel11.xml | UNCERTIFIED 60578 | UNCERTIFIED 57392 |
| tpdb-8.0/TRS/Zantema_06_relative/rel12.xml | YES 56704 | UNCERTIFIED 57393 |
| tpdb-8.0/TRS/Zantema_06_relative/rel13.xml | YES 3477 | YES 1737 | 55 | 40 |