| benchmark | AProVE | matchbox-srs-rel-nocert | TTT2 |
|---|---|---|---|
| tpdb-8.0/TRS/ICFP_2010_relative/107193.xml | TIMEOUT 60988 | MAYBE 1693 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/107220.xml | TIMEOUT 60938 | TIMEOUT 60051 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/107236.xml | TIMEOUT 61136 | TIMEOUT 60050 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/123759.xml | TIMEOUT 60562 | TIMEOUT 60045 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/124211.xml | TIMEOUT 61091 | TIMEOUT 60044 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/124269.xml | TIMEOUT 60697 | TIMEOUT 60039 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/124791.xml | TIMEOUT 61012 | TIMEOUT 60042 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/127538.xml | TIMEOUT 60596 | TIMEOUT 60045 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/128056.xml | TIMEOUT 60466 | TIMEOUT 60052 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/128182.xml | TIMEOUT 60532 | TIMEOUT 60044 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/128280.xml | TIMEOUT 60658 | TIMEOUT 60044 | TIMEOUT 60055 |
| tpdb-8.0/TRS/ICFP_2010_relative/128430.xml | TIMEOUT 60595 | TIMEOUT 60044 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/128486.xml | TIMEOUT 60673 | TIMEOUT 60047 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/128515.xml | TIMEOUT 60591 | TIMEOUT 60049 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/128550.xml | TIMEOUT 60483 | TIMEOUT 60052 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/128620.xml | TIMEOUT 60430 | TIMEOUT 60047 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/128691.xml | TIMEOUT 60433 | TIMEOUT 60050 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/130161.xml | TIMEOUT 60694 | MAYBE 1615 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/130304.xml | TIMEOUT 60658 | MAYBE 1606 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/130472.xml | TIMEOUT 60775 | MAYBE 1635 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/130962.xml | TIMEOUT 61133 | MAYBE 1654 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/131633.xml | TIMEOUT 60734 | TIMEOUT 60044 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/131982.xml | TIMEOUT 60857 | TIMEOUT 60040 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/132235.xml | TIMEOUT 60954 | TIMEOUT 60042 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/132478.xml | TIMEOUT 60513 | TIMEOUT 60047 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/132540.xml | TIMEOUT 60516 | TIMEOUT 60043 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/132622.xml | TIMEOUT 60638 | TIMEOUT 60317 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/132720.xml | TIMEOUT 60423 | TIMEOUT 60047 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/132738.xml | TIMEOUT 60424 | TIMEOUT 60048 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/132782.xml | TIMEOUT 60437 | TIMEOUT 60050 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/132833.xml | TIMEOUT 60448 | TIMEOUT 60043 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/132848.xml | TIMEOUT 60815 | MAYBE 1628 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/132864.xml | TIMEOUT 60473 | TIMEOUT 60045 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/132920.xml | TIMEOUT 60514 | TIMEOUT 60049 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/132957.xml | TIMEOUT 60516 | TIMEOUT 60045 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/132969.xml | TIMEOUT 60839 | TIMEOUT 60041 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/133010.xml | TIMEOUT 60517 | TIMEOUT 60290 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/133079.xml | TIMEOUT 60737 | MAYBE 1603 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/133159.xml | TIMEOUT 60677 | TIMEOUT 60044 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/133236.xml | TIMEOUT 60840 | MAYBE 1608 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/133432.xml | TIMEOUT 60876 | MAYBE 1610 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/133486.xml | TIMEOUT 60966 | TIMEOUT 60042 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/133532.xml | TIMEOUT 60824 | MAYBE 1593 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/133881.xml | TIMEOUT 60547 | TIMEOUT 60043 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/134918.xml | TIMEOUT 60724 | TIMEOUT 60041 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/135115.xml | TIMEOUT 61055 | TIMEOUT 60043 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/135328.xml | TIMEOUT 60423 | TIMEOUT 60044 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/135410.xml | TIMEOUT 60809 | MAYBE 1609 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/135505.xml | TIMEOUT 60820 | MAYBE 1628 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/135601.xml | TIMEOUT 60743 | MAYBE 1629 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/135604.xml | TIMEOUT 60662 | TIMEOUT 60042 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/135652.xml | TIMEOUT 60579 | TIMEOUT 60039 | TIMEOUT 60179 |
| tpdb-8.0/TRS/ICFP_2010_relative/135659.xml | TIMEOUT 61198 | MAYBE 1624 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/135714.xml | TIMEOUT 60673 | MAYBE 1633 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/135782.xml | TIMEOUT 60919 | TIMEOUT 60190 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/135936.xml | TIMEOUT 60780 | TIMEOUT 60042 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/136051.xml | TIMEOUT 61022 | TIMEOUT 60043 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/136280.xml | TIMEOUT 60699 | MAYBE 1621 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/136323.xml | TIMEOUT 60797 | MAYBE 1623 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/136354.xml | TIMEOUT 60775 | MAYBE 1604 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/136463.xml | TIMEOUT 60680 | MAYBE 1597 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/136497.xml | TIMEOUT 60824 | MAYBE 1646 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/136534.xml | TIMEOUT 60808 | MAYBE 1624 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/136562.xml | TIMEOUT 60867 | TIMEOUT 60044 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/136571.xml | TIMEOUT 60703 | MAYBE 1601 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/136601.xml | TIMEOUT 60692 | MAYBE 1622 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/136623.xml | TIMEOUT 60891 | TIMEOUT 60062 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/136693.xml | TIMEOUT 60647 | MAYBE 1603 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/136934.xml | TIMEOUT 60819 | MAYBE 1616 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/137087.xml | TIMEOUT 60689 | MAYBE 1609 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/137136.xml | TIMEOUT 60760 | MAYBE 1614 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/137316.xml | TIMEOUT 60720 | MAYBE 1636 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/137404.xml | TIMEOUT 60709 | TIMEOUT 60048 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/137621.xml | TIMEOUT 60842 | MAYBE 1629 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/137715.xml | TIMEOUT 60877 | MAYBE 1609 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/137799.xml | TIMEOUT 60767 | MAYBE 1615 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/137809.xml | TIMEOUT 60570 | TIMEOUT 60042 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/137956.xml | TIMEOUT 60680 | MAYBE 1619 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/138089.xml | TIMEOUT 60790 | MAYBE 1616 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/138194.xml | TIMEOUT 60984 | TIMEOUT 60041 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/138269.xml | TIMEOUT 60371 | TIMEOUT 60042 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/138330.xml | TIMEOUT 60745 | TIMEOUT 60042 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/138477.xml | TIMEOUT 61121 | TIMEOUT 60042 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/138993.xml | TIMEOUT 60542 | TIMEOUT 60049 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/139004.xml | TIMEOUT 60521 | TIMEOUT 60043 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/139018.xml | TIMEOUT 60481 | TIMEOUT 60044 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/139025.xml | TIMEOUT 60785 | TIMEOUT 60049 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/139036.xml | TIMEOUT 60546 | TIMEOUT 60049 | TIMEOUT 60053 |
| tpdb-8.0/TRS/ICFP_2010_relative/139100.xml | TIMEOUT 60421 | TIMEOUT 60050 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/139163.xml | TIMEOUT 60482 | TIMEOUT 60050 | TIMEOUT 60054 |
| tpdb-8.0/TRS/ICFP_2010_relative/139167.xml | TIMEOUT 60535 | TIMEOUT 60318 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/139174.xml | TIMEOUT 60419 | TIMEOUT 60053 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/139180.xml | TIMEOUT 60379 | TIMEOUT 60045 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/139185.xml | TIMEOUT 60508 | TIMEOUT 60046 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/139190.xml | TIMEOUT 60489 | TIMEOUT 60052 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/139214.xml | TIMEOUT 60582 | TIMEOUT 60045 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/139236.xml | TIMEOUT 60574 | TIMEOUT 60044 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139256.xml | TIMEOUT 60507 | TIMEOUT 60044 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/139282.xml | TIMEOUT 60460 | TIMEOUT 60287 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/139310.xml | TIMEOUT 60591 | TIMEOUT 60049 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/139378.xml | TIMEOUT 60406 | TIMEOUT 60049 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/140287.xml | TIMEOUT 60424 | TIMEOUT 60047 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/140318.xml | TIMEOUT 60639 | TIMEOUT 60046 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/140359.xml | TIMEOUT 60447 | TIMEOUT 60045 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/140631.xml | TIMEOUT 61101 | TIMEOUT 60041 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/140639.xml | TIMEOUT 60861 | TIMEOUT 60224 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/140649.xml | TIMEOUT 61099 | TIMEOUT 60170 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/140654.xml | TIMEOUT 60834 | TIMEOUT 60039 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/140659.xml | TIMEOUT 60952 | TIMEOUT 60041 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/140664.xml | TIMEOUT 60879 | TIMEOUT 60040 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/142142.xml | TIMEOUT 60965 | TIMEOUT 60319 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/142146.xml | TIMEOUT 60887 | TIMEOUT 60043 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/142150.xml | TIMEOUT 60969 | TIMEOUT 60041 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/142157.xml | TIMEOUT 60805 | TIMEOUT 60040 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/147437.xml | TIMEOUT 60659 | MAYBE 2819 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/148543.xml | TIMEOUT 60691 | MAYBE 2831 | TIMEOUT 60057 |
| tpdb-8.0/TRS/ICFP_2010_relative/149251.xml | TIMEOUT 60655 | MAYBE 2551 | TIMEOUT 60054 |
| tpdb-8.0/TRS/ICFP_2010_relative/149277.xml | TIMEOUT 60558 | MAYBE 2811 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/149297.xml | TIMEOUT 60596 | MAYBE 2928 | TIMEOUT 60056 |
| tpdb-8.0/TRS/ICFP_2010_relative/149319.xml | TIMEOUT 60774 | MAYBE 2534 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/149361.xml | TIMEOUT 60517 | MAYBE 2718 | TIMEOUT 60055 |
| tpdb-8.0/TRS/ICFP_2010_relative/149415.xml | TIMEOUT 60588 | MAYBE 2762 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/149633.xml | TIMEOUT 60606 | MAYBE 2616 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/149713.xml | TIMEOUT 60574 | MAYBE 2850 | TIMEOUT 60054 |
| tpdb-8.0/TRS/ICFP_2010_relative/149849.xml | TIMEOUT 60591 | MAYBE 2915 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/149915.xml | TIMEOUT 60624 | MAYBE 2700 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/150067.xml | TIMEOUT 60614 | MAYBE 2770 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/150188.xml | TIMEOUT 60907 | MAYBE 2872 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/150258.xml | TIMEOUT 60661 | MAYBE 2863 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/150468.xml | TIMEOUT 60577 | MAYBE 2773 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/150630.xml | TIMEOUT 60703 | MAYBE 2722 | TIMEOUT 60054 |
| tpdb-8.0/TRS/ICFP_2010_relative/150725.xml | TIMEOUT 60570 | MAYBE 2749 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/150815.xml | TIMEOUT 60580 | MAYBE 2987 | TIMEOUT 60056 |
| tpdb-8.0/TRS/ICFP_2010_relative/150839.xml | TIMEOUT 60614 | MAYBE 1974 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/150877.xml | TIMEOUT 60704 | MAYBE 2616 | TIMEOUT 60053 |
| tpdb-8.0/TRS/ICFP_2010_relative/151247.xml | TIMEOUT 60566 | MAYBE 2980 | TIMEOUT 60074 |
| tpdb-8.0/TRS/ICFP_2010_relative/152694.xml | TIMEOUT 60665 | MAYBE 1613 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/152786.xml | TIMEOUT 60658 | MAYBE 1606 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/152865.xml | TIMEOUT 60933 | MAYBE 1613 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/152949.xml | TIMEOUT 60654 | MAYBE 1621 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/153034.xml | TIMEOUT 60635 | MAYBE 1613 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/153090.xml | YES 16381 | MAYBE 1614 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/153170.xml | TIMEOUT 60644 | MAYBE 1624 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/153243.xml | TIMEOUT 60842 | MAYBE 1631 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/153288.xml | TIMEOUT 61944 | MAYBE 1600 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/153371.xml | TIMEOUT 60811 | MAYBE 1608 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/153444.xml | TIMEOUT 60748 | MAYBE 1624 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/157150.xml | YES 49145 | MAYBE 609 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/157161.xml | TIMEOUT 60987 | MAYBE 520 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/157275.xml | YES 18106 | MAYBE 1617 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/157388.xml | YES 18496 | MAYBE 466 | TIMEOUT 60291 |
| tpdb-8.0/TRS/ICFP_2010_relative/157466.xml | TIMEOUT 60668 | MAYBE 1618 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/157603.xml | TIMEOUT 60878 | MAYBE 1625 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/157713.xml | TIMEOUT 60708 | MAYBE 1593 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/158152.xml | TIMEOUT 61039 | MAYBE 264 | TIMEOUT 60184 |
| tpdb-8.0/TRS/ICFP_2010_relative/158208.xml | TIMEOUT 60642 | MAYBE 1613 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/158342.xml | TIMEOUT 60841 | MAYBE 1637 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/158477.xml | TIMEOUT 60619 | MAYBE 1620 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/158620.xml | YES 15048 | MAYBE 1627 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/160068.xml | TIMEOUT 60621 | MAYBE 1695 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/160210.xml | TIMEOUT 60616 | MAYBE 1945 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/160254.xml | TIMEOUT 60689 | MAYBE 1766 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/160324.xml | TIMEOUT 60618 | MAYBE 1726 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/160364.xml | TIMEOUT 60624 | MAYBE 2314 | TIMEOUT 60053 |
| tpdb-8.0/TRS/ICFP_2010_relative/160398.xml | TIMEOUT 60724 | MAYBE 1701 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/160427.xml | TIMEOUT 60597 | MAYBE 1693 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/160462.xml | TIMEOUT 60589 | MAYBE 1795 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/160475.xml | TIMEOUT 60712 | MAYBE 1858 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/160660.xml | TIMEOUT 60763 | MAYBE 1719 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/161519.xml | TIMEOUT 60927 | MAYBE 1756 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/161533.xml | TIMEOUT 60539 | MAYBE 1935 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/161593.xml | TIMEOUT 60718 | MAYBE 1691 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/161864.xml | TIMEOUT 60793 | MAYBE 1649 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/161917.xml | TIMEOUT 60692 | MAYBE 1850 | TIMEOUT 60053 |
| tpdb-8.0/TRS/ICFP_2010_relative/161930.xml | YES 13938 | MAYBE 1684 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/162016.xml | TIMEOUT 60699 | MAYBE 1773 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/162075.xml | TIMEOUT 60704 | MAYBE 1898 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/162095.xml | TIMEOUT 60602 | MAYBE 1686 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/162244.xml | TIMEOUT 60648 | MAYBE 1735 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/165713.xml | TIMEOUT 60616 | MAYBE 1698 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/165755.xml | TIMEOUT 60622 | MAYBE 1785 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/165904.xml | TIMEOUT 60700 | MAYBE 1797 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/165936.xml | TIMEOUT 60577 | MAYBE 1813 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/165975.xml | TIMEOUT 60639 | MAYBE 1817 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/166001.xml | TIMEOUT 60599 | MAYBE 1883 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/166465.xml | TIMEOUT 60710 | MAYBE 1674 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/166493.xml | TIMEOUT 60656 | MAYBE 1926 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/166558.xml | TIMEOUT 60744 | MAYBE 1856 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/166848.xml | TIMEOUT 60661 | MAYBE 1860 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/167041.xml | TIMEOUT 60737 | MAYBE 1723 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/167087.xml | TIMEOUT 60608 | MAYBE 1863 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/167240.xml | TIMEOUT 60962 | MAYBE 1733 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/167294.xml | TIMEOUT 60776 | MAYBE 1798 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/167310.xml | TIMEOUT 61070 | MAYBE 1695 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/167391.xml | TIMEOUT 60829 | MAYBE 1858 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/167433.xml | TIMEOUT 60508 | MAYBE 1855 | TIMEOUT 60073 |
| tpdb-8.0/TRS/ICFP_2010_relative/167452.xml | TIMEOUT 60642 | MAYBE 1846 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/167526.xml | TIMEOUT 60748 | MAYBE 1704 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/167636.xml | YES 35353 | MAYBE 1905 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/167742.xml | YES 13866 | MAYBE 1915 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/180915.xml | TIMEOUT 60696 | MAYBE 1975 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/182946.xml | TIMEOUT 60596 | MAYBE 2021 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/183803.xml | TIMEOUT 60721 | MAYBE 1972 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/184957.xml | TIMEOUT 60554 | MAYBE 2003 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/185453.xml | TIMEOUT 60744 | MAYBE 1968 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/185628.xml | TIMEOUT 60586 | MAYBE 1974 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/186222.xml | TIMEOUT 60622 | MAYBE 1952 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/186333.xml | TIMEOUT 60615 | MAYBE 1974 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/186617.xml | TIMEOUT 60644 | MAYBE 1970 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/186775.xml | TIMEOUT 60572 | MAYBE 1972 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/186810.xml | TIMEOUT 60552 | MAYBE 1995 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/186919.xml | TIMEOUT 60587 | MAYBE 1984 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/186973.xml | TIMEOUT 60602 | MAYBE 1984 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/187837.xml | TIMEOUT 60703 | MAYBE 1972 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/188004.xml | TIMEOUT 60611 | MAYBE 1979 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/188238.xml | TIMEOUT 60766 | MAYBE 2003 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/188261.xml | TIMEOUT 60594 | MAYBE 2007 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/188296.xml | TIMEOUT 60721 | MAYBE 1990 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/188696.xml | TIMEOUT 60569 | MAYBE 1984 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/211915.xml | YES 10649 | MAYBE 161 | YES 3095 |
| tpdb-8.0/TRS/ICFP_2010_relative/212043.xml | TIMEOUT 61175 | MAYBE 157 | YES 2454 |
| tpdb-8.0/TRS/ICFP_2010_relative/212308.xml | TIMEOUT 61124 | MAYBE 160 | TIMEOUT 60178 |
| tpdb-8.0/TRS/ICFP_2010_relative/212364.xml | TIMEOUT 61158 | MAYBE 161 | TIMEOUT 60131 |
| tpdb-8.0/TRS/ICFP_2010_relative/213147.xml | YES 21879 | MAYBE 193 | YES 3053 |
| tpdb-8.0/TRS/ICFP_2010_relative/213437.xml | YES 22677 | MAYBE 192 | YES 3031 |
| tpdb-8.0/TRS/ICFP_2010_relative/213560.xml | YES 24682 | MAYBE 185 | YES 2507 |
| tpdb-8.0/TRS/ICFP_2010_relative/214011.xml | YES 4177 | MAYBE 157 | YES 2713 |
| tpdb-8.0/TRS/ICFP_2010_relative/214183.xml | YES 12294 | MAYBE 189 | YES 4795 |
| tpdb-8.0/TRS/ICFP_2010_relative/24100.xml | TIMEOUT 60926 | MAYBE 555 | TIMEOUT 60317 |
| tpdb-8.0/TRS/ICFP_2010_relative/25388.xml | TIMEOUT 60877 | MAYBE 1057 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/25395.xml | TIMEOUT 60834 | MAYBE 1044 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/25409.xml | TIMEOUT 60812 | MAYBE 1029 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/25416.xml | TIMEOUT 60925 | MAYBE 1055 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/25422.xml | TIMEOUT 60999 | MAYBE 962 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/254704.xml | TIMEOUT 60659 | MAYBE 4820 | TIMEOUT 60250 |
| tpdb-8.0/TRS/ICFP_2010_relative/25711.xml | TIMEOUT 60866 | MAYBE 1094 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/25726.xml | TIMEOUT 60837 | MAYBE 965 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/25734.xml | TIMEOUT 60914 | MAYBE 1017 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/25736.xml | TIMEOUT 60776 | MAYBE 1020 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/25743.xml | TIMEOUT 61147 | MAYBE 1049 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/25775.xml | TIMEOUT 60814 | MAYBE 1047 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/25808.xml | TIMEOUT 60896 | MAYBE 1089 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/25849.xml | TIMEOUT 61108 | MAYBE 1017 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/259405.xml | YES 16050 | MAYBE 4811 | TIMEOUT 60213 |
| tpdb-8.0/TRS/ICFP_2010_relative/259625.xml | YES 16638 | MAYBE 4870 | TIMEOUT 60247 |
| tpdb-8.0/TRS/ICFP_2010_relative/26069.xml | TIMEOUT 61063 | MAYBE 59 | YES 1311 |
| tpdb-8.0/TRS/ICFP_2010_relative/26105.xml | TIMEOUT 60851 | MAYBE 932 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/26110.xml | TIMEOUT 61115 | MAYBE 1006 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/26116.xml | TIMEOUT 60813 | MAYBE 1027 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/26123.xml | YES 1212 | MAYBE 83 | YES 2343 |
| tpdb-8.0/TRS/ICFP_2010_relative/26127.xml | TIMEOUT 60825 | MAYBE 1098 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/26130.xml | YES 1325 | MAYBE 104 | YES 3056 |
| tpdb-8.0/TRS/ICFP_2010_relative/26132.xml | TIMEOUT 60928 | MAYBE 1124 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/26186.xml | YES 1391 | MAYBE 119 | YES 4126 |
| tpdb-8.0/TRS/ICFP_2010_relative/26226.xml | TIMEOUT 60848 | MAYBE 131 | YES 7394 |
| tpdb-8.0/TRS/ICFP_2010_relative/26291.xml | TIMEOUT 60853 | MAYBE 173 | YES 8000 |
| tpdb-8.0/TRS/ICFP_2010_relative/263745.xml | YES 15636 | MAYBE 4882 | TIMEOUT 60065 |
| tpdb-8.0/TRS/ICFP_2010_relative/26683.xml | TIMEOUT 60992 | MAYBE 184 | YES 13155 |
| tpdb-8.0/TRS/ICFP_2010_relative/26741.xml | TIMEOUT 60884 | MAYBE 1042 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26845.xml | TIMEOUT 60910 | MAYBE 1025 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26862.xml | TIMEOUT 60921 | MAYBE 981 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/26871.xml | TIMEOUT 60917 | MAYBE 1047 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/26875.xml | TIMEOUT 60901 | MAYBE 1081 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/26879.xml | TIMEOUT 60926 | MAYBE 1043 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/26882.xml | TIMEOUT 61035 | MAYBE 1085 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/26886.xml | TIMEOUT 60910 | MAYBE 934 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/26896.xml | TIMEOUT 60960 | MAYBE 1062 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/26903.xml | TIMEOUT 60924 | MAYBE 1056 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/26910.xml | TIMEOUT 61104 | MAYBE 1068 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/26916.xml | TIMEOUT 60857 | MAYBE 1005 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/26919.xml | TIMEOUT 61105 | MAYBE 1080 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26923.xml | TIMEOUT 60855 | MAYBE 1032 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/26927.xml | TIMEOUT 60859 | MAYBE 1069 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26931.xml | TIMEOUT 60886 | MAYBE 1089 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/26933.xml | TIMEOUT 61123 | MAYBE 1051 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26940.xml | TIMEOUT 60872 | MAYBE 1055 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/26943.xml | TIMEOUT 60853 | MAYBE 974 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26946.xml | TIMEOUT 60901 | MAYBE 1084 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/26949.xml | TIMEOUT 60884 | MAYBE 1015 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/26951.xml | TIMEOUT 60863 | MAYBE 1021 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/26954.xml | TIMEOUT 60847 | MAYBE 1041 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26957.xml | TIMEOUT 60920 | MAYBE 995 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/26960.xml | TIMEOUT 60915 | MAYBE 1022 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/26965.xml | TIMEOUT 60843 | MAYBE 1028 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/26969.xml | TIMEOUT 60929 | MAYBE 1060 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/26972.xml | TIMEOUT 60953 | MAYBE 1059 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/26974.xml | TIMEOUT 60990 | MAYBE 1012 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/26976.xml | TIMEOUT 61064 | MAYBE 994 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/26978.xml | TIMEOUT 61107 | MAYBE 945 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/26980.xml | TIMEOUT 61008 | MAYBE 976 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/26986.xml | TIMEOUT 60834 | MAYBE 1018 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/26993.xml | TIMEOUT 60939 | MAYBE 1067 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26998.xml | TIMEOUT 60914 | MAYBE 1037 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/27001.xml | TIMEOUT 60926 | MAYBE 1045 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/27003.xml | TIMEOUT 61138 | MAYBE 1030 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/27006.xml | TIMEOUT 61133 | MAYBE 1100 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/27009.xml | TIMEOUT 60760 | MAYBE 1059 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/27013.xml | TIMEOUT 61211 | MAYBE 977 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/27015.xml | TIMEOUT 60820 | MAYBE 970 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/27019.xml | TIMEOUT 60849 | MAYBE 1039 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/27023.xml | TIMEOUT 61118 | MAYBE 972 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/27026.xml | TIMEOUT 61032 | MAYBE 1058 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/27028.xml | TIMEOUT 61147 | MAYBE 984 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/27030.xml | TIMEOUT 61115 | MAYBE 203 | YES 9276 |
| tpdb-8.0/TRS/ICFP_2010_relative/27034.xml | TIMEOUT 61145 | MAYBE 1069 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/27036.xml | TIMEOUT 61117 | MAYBE 1053 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/27039.xml | TIMEOUT 60906 | MAYBE 1007 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/27131.xml | TIMEOUT 61541 | MAYBE 258 | YES 8710 |
| tpdb-8.0/TRS/ICFP_2010_relative/27134.xml | TIMEOUT 60912 | MAYBE 290 | YES 10079 |
| tpdb-8.0/TRS/ICFP_2010_relative/27213.xml | TIMEOUT 60919 | MAYBE 334 | YES 10100 |
| tpdb-8.0/TRS/ICFP_2010_relative/27235.xml | TIMEOUT 60979 | MAYBE 338 | YES 11079 |
| tpdb-8.0/TRS/ICFP_2010_relative/27280.xml | TIMEOUT 61013 | MAYBE 368 | YES 11698 |
| tpdb-8.0/TRS/ICFP_2010_relative/28293.xml | TIMEOUT 61022 | MAYBE 485 | YES 17894 |
| tpdb-8.0/TRS/ICFP_2010_relative/28464.xml | TIMEOUT 61083 | MAYBE 510 | YES 17454 |
| tpdb-8.0/TRS/ICFP_2010_relative/28643.xml | TIMEOUT 61110 | MAYBE 554 | YES 17621 |
| tpdb-8.0/TRS/ICFP_2010_relative/28838.xml | TIMEOUT 61100 | MAYBE 591 | YES 17675 |
| tpdb-8.0/TRS/ICFP_2010_relative/29415.xml | YES 18311 | MAYBE 2970 | TIMEOUT 60070 |
| tpdb-8.0/TRS/ICFP_2010_relative/3268.xml | TIMEOUT 61052 | TIMEOUT 60042 | MAYBE 59599 |
| tpdb-8.0/TRS/ICFP_2010_relative/3336.xml | MAYBE 353 | TIMEOUT 60051 | MAYBE 59648 |
| tpdb-8.0/TRS/ICFP_2010_relative/3385.xml | TIMEOUT 60943 | TIMEOUT 60050 | MAYBE 59665 |
| tpdb-8.0/TRS/ICFP_2010_relative/3450.xml | TIMEOUT 60921 | TIMEOUT 60036 | MAYBE 59904 |
| tpdb-8.0/TRS/ICFP_2010_relative/3467.xml | TIMEOUT 60998 | TIMEOUT 60035 | MAYBE 59888 |
| tpdb-8.0/TRS/ICFP_2010_relative/3498.xml | TIMEOUT 60832 | TIMEOUT 60035 | MAYBE 59883 |
| tpdb-8.0/TRS/ICFP_2010_relative/3533.xml | TIMEOUT 61028 | TIMEOUT 60284 | MAYBE 59924 |
| tpdb-8.0/TRS/ICFP_2010_relative/3562.xml | TIMEOUT 61094 | TIMEOUT 60035 | MAYBE 59900 |
| tpdb-8.0/TRS/ICFP_2010_relative/3589.xml | TIMEOUT 60786 | TIMEOUT 60102 | MAYBE 59917 |
| tpdb-8.0/TRS/ICFP_2010_relative/3633.xml | TIMEOUT 61048 | TIMEOUT 60142 | MAYBE 59912 |
| tpdb-8.0/TRS/ICFP_2010_relative/3680.xml | TIMEOUT 60765 | TIMEOUT 60246 | MAYBE 59917 |
| tpdb-8.0/TRS/ICFP_2010_relative/3705.xml | TIMEOUT 60836 | TIMEOUT 60035 | MAYBE 59906 |
| tpdb-8.0/TRS/ICFP_2010_relative/3729.xml | TIMEOUT 60902 | TIMEOUT 60063 | MAYBE 59899 |
| tpdb-8.0/TRS/ICFP_2010_relative/3746.xml | TIMEOUT 61392 | TIMEOUT 60038 | MAYBE 59894 |
| tpdb-8.0/TRS/ICFP_2010_relative/3762.xml | TIMEOUT 60788 | TIMEOUT 60314 | MAYBE 59907 |
| tpdb-8.0/TRS/ICFP_2010_relative/3770.xml | TIMEOUT 60832 | TIMEOUT 60036 | MAYBE 59916 |
| tpdb-8.0/TRS/ICFP_2010_relative/3786.xml | TIMEOUT 60907 | TIMEOUT 60036 | MAYBE 59913 |
| tpdb-8.0/TRS/ICFP_2010_relative/3817.xml | TIMEOUT 60939 | TIMEOUT 60036 | MAYBE 59935 |
| tpdb-8.0/TRS/ICFP_2010_relative/3831.xml | TIMEOUT 60790 | TIMEOUT 60036 | MAYBE 59933 |
| tpdb-8.0/TRS/ICFP_2010_relative/3842.xml | TIMEOUT 61028 | TIMEOUT 60035 | MAYBE 59907 |
| tpdb-8.0/TRS/ICFP_2010_relative/3856.xml | YES 50585 | TIMEOUT 60286 | MAYBE 59918 |
| tpdb-8.0/TRS/ICFP_2010_relative/3861.xml | TIMEOUT 60881 | TIMEOUT 60053 | MAYBE 59900 |
| tpdb-8.0/TRS/ICFP_2010_relative/3865.xml | TIMEOUT 60777 | TIMEOUT 60037 | MAYBE 59922 |
| tpdb-8.0/TRS/ICFP_2010_relative/3916.xml | MAYBE 423 | TIMEOUT 60035 | MAYBE 59880 |
| tpdb-8.0/TRS/ICFP_2010_relative/3927.xml | TIMEOUT 60918 | MAYBE 4616 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/3930.xml | TIMEOUT 60786 | TIMEOUT 60037 | MAYBE 59890 |
| tpdb-8.0/TRS/ICFP_2010_relative/3939.xml | TIMEOUT 60914 | TIMEOUT 60267 | MAYBE 59905 |
| tpdb-8.0/TRS/ICFP_2010_relative/39830.xml | TIMEOUT 60912 | MAYBE 1618 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/3989.xml | TIMEOUT 60976 | TIMEOUT 60036 | MAYBE 59907 |
| tpdb-8.0/TRS/ICFP_2010_relative/3995.xml | TIMEOUT 60774 | TIMEOUT 60037 | MAYBE 59919 |
| tpdb-8.0/TRS/ICFP_2010_relative/4002.xml | TIMEOUT 60764 | TIMEOUT 60035 | MAYBE 59871 |
| tpdb-8.0/TRS/ICFP_2010_relative/40033.xml | TIMEOUT 60703 | MAYBE 1622 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/4017.xml | TIMEOUT 60785 | TIMEOUT 60126 | MAYBE 59903 |
| tpdb-8.0/TRS/ICFP_2010_relative/4029.xml | TIMEOUT 60791 | TIMEOUT 60039 | MAYBE 59920 |
| tpdb-8.0/TRS/ICFP_2010_relative/4036.xml | YES 59170 | TIMEOUT 60035 | MAYBE 59918 |
| tpdb-8.0/TRS/ICFP_2010_relative/4046.xml | MAYBE 347 | TIMEOUT 60489 | MAYBE 59906 |
| tpdb-8.0/TRS/ICFP_2010_relative/4051.xml | TIMEOUT 60960 | TIMEOUT 60034 | MAYBE 59913 |
| tpdb-8.0/TRS/ICFP_2010_relative/40540.xml | YES 16239 | MAYBE 1607 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/4057.xml | TIMEOUT 61185 | TIMEOUT 60034 | MAYBE 59906 |
| tpdb-8.0/TRS/ICFP_2010_relative/40708.xml | TIMEOUT 60876 | MAYBE 80 | YES 1284 |
| tpdb-8.0/TRS/ICFP_2010_relative/4074.xml | TIMEOUT 60825 | TIMEOUT 60036 | MAYBE 59912 |
| tpdb-8.0/TRS/ICFP_2010_relative/40976.xml | YES 25664 | MAYBE 1599 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/4106.xml | TIMEOUT 60890 | TIMEOUT 60035 | MAYBE 59882 |
| tpdb-8.0/TRS/ICFP_2010_relative/41378.xml | TIMEOUT 60970 | TIMEOUT 60088 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/4141.xml | TIMEOUT 61414 | TIMEOUT 60037 | MAYBE 59900 |
| tpdb-8.0/TRS/ICFP_2010_relative/41427.xml | TIMEOUT 60825 | MAYBE 1618 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/4157.xml | TIMEOUT 61200 | TIMEOUT 60046 | MAYBE 59933 |
| tpdb-8.0/TRS/ICFP_2010_relative/41688.xml | TIMEOUT 60843 | MAYBE 1595 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/4181.xml | TIMEOUT 60820 | TIMEOUT 60036 | MAYBE 59920 |
| tpdb-8.0/TRS/ICFP_2010_relative/41838.xml | TIMEOUT 61157 | MAYBE 353 | TIMEOUT 60202 |
| tpdb-8.0/TRS/ICFP_2010_relative/41843.xml | TIMEOUT 60941 | MAYBE 324 | TIMEOUT 60197 |
| tpdb-8.0/TRS/ICFP_2010_relative/41865.xml | TIMEOUT 60744 | MAYBE 1615 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/4200.xml | TIMEOUT 61060 | TIMEOUT 60036 | MAYBE 59910 |
| tpdb-8.0/TRS/ICFP_2010_relative/4206.xml | TIMEOUT 60982 | MAYBE 4617 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/42170.xml | TIMEOUT 60651 | MAYBE 1600 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/42321.xml | YES 15989 | MAYBE 1636 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/42466.xml | TIMEOUT 60705 | MAYBE 1589 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/4248.xml | TIMEOUT 60814 | TIMEOUT 60035 | MAYBE 59908 |
| tpdb-8.0/TRS/ICFP_2010_relative/42683.xml | YES 15163 | MAYBE 1737 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/4282.xml | TIMEOUT 61076 | TIMEOUT 60336 | MAYBE 59918 |
| tpdb-8.0/TRS/ICFP_2010_relative/43266.xml | TIMEOUT 60738 | MAYBE 1629 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/43603.xml | TIMEOUT 60919 | MAYBE 4277 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/43621.xml | TIMEOUT 60960 | MAYBE 1607 | TIMEOUT 60053 |
| tpdb-8.0/TRS/ICFP_2010_relative/43650.xml | TIMEOUT 60961 | MAYBE 4295 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/4374.xml | TIMEOUT 60756 | TIMEOUT 60035 | MAYBE 59937 |
| tpdb-8.0/TRS/ICFP_2010_relative/43987.xml | TIMEOUT 60710 | MAYBE 1621 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/4412.xml | TIMEOUT 60861 | TIMEOUT 60036 | MAYBE 59966 |
| tpdb-8.0/TRS/ICFP_2010_relative/44332.xml | YES 16090 | MAYBE 1613 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/4484.xml | TIMEOUT 60836 | TIMEOUT 60223 | MAYBE 59892 |
| tpdb-8.0/TRS/ICFP_2010_relative/4487.xml | TIMEOUT 61538 | TIMEOUT 60034 | MAYBE 59894 |
| tpdb-8.0/TRS/ICFP_2010_relative/45720.xml | TIMEOUT 61139 | MAYBE 344 | TIMEOUT 60250 |
| tpdb-8.0/TRS/ICFP_2010_relative/45757.xml | TIMEOUT 60897 | MAYBE 324 | TIMEOUT 60184 |
| tpdb-8.0/TRS/ICFP_2010_relative/45970.xml | TIMEOUT 60500 | MAYBE 1714 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/4816.xml | YES 36331 | TIMEOUT 60242 | MAYBE 59907 |
| tpdb-8.0/TRS/ICFP_2010_relative/4819.xml | TIMEOUT 61063 | TIMEOUT 60152 | MAYBE 59903 |
| tpdb-8.0/TRS/ICFP_2010_relative/4824.xml | TIMEOUT 60901 | TIMEOUT 60208 | MAYBE 59910 |
| tpdb-8.0/TRS/ICFP_2010_relative/48262.xml | TIMEOUT 60908 | MAYBE 415 | TIMEOUT 60216 |
| tpdb-8.0/TRS/ICFP_2010_relative/48267.xml | TIMEOUT 60868 | MAYBE 420 | TIMEOUT 60251 |
| tpdb-8.0/TRS/ICFP_2010_relative/4827.xml | TIMEOUT 61337 | TIMEOUT 60038 | MAYBE 59876 |
| tpdb-8.0/TRS/ICFP_2010_relative/48328.xml | TIMEOUT 60909 | MAYBE 426 | TIMEOUT 60143 |
| tpdb-8.0/TRS/ICFP_2010_relative/48374.xml | TIMEOUT 61040 | MAYBE 455 | TIMEOUT 60163 |
| tpdb-8.0/TRS/ICFP_2010_relative/4840.xml | TIMEOUT 61027 | TIMEOUT 60036 | MAYBE 59917 |
| tpdb-8.0/TRS/ICFP_2010_relative/4847.xml | TIMEOUT 61042 | TIMEOUT 60037 | MAYBE 59885 |
| tpdb-8.0/TRS/ICFP_2010_relative/4854.xml | TIMEOUT 61112 | TIMEOUT 60043 | MAYBE 59916 |
| tpdb-8.0/TRS/ICFP_2010_relative/48686.xml | TIMEOUT 61082 | MAYBE 2025 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/4893.xml | TIMEOUT 61005 | TIMEOUT 60104 | MAYBE 59897 |
| tpdb-8.0/TRS/ICFP_2010_relative/4920.xml | TIMEOUT 60948 | TIMEOUT 60035 | MAYBE 59899 |
| tpdb-8.0/TRS/ICFP_2010_relative/4934.xml | TIMEOUT 61237 | TIMEOUT 60038 | MAYBE 59897 |
| tpdb-8.0/TRS/ICFP_2010_relative/4938.xml | TIMEOUT 60765 | TIMEOUT 60036 | MAYBE 59922 |
| tpdb-8.0/TRS/ICFP_2010_relative/4943.xml | TIMEOUT 61090 | TIMEOUT 60036 | MAYBE 59917 |
| tpdb-8.0/TRS/ICFP_2010_relative/4953.xml | TIMEOUT 60990 | TIMEOUT 60036 | MAYBE 59926 |
| tpdb-8.0/TRS/ICFP_2010_relative/4964.xml | TIMEOUT 60897 | TIMEOUT 60035 | MAYBE 59880 |
| tpdb-8.0/TRS/ICFP_2010_relative/4970.xml | MAYBE 365 | TIMEOUT 60035 | MAYBE 59875 |
| tpdb-8.0/TRS/ICFP_2010_relative/4979.xml | TIMEOUT 61085 | TIMEOUT 60047 | MAYBE 59898 |
| tpdb-8.0/TRS/ICFP_2010_relative/4991.xml | TIMEOUT 61026 | TIMEOUT 60037 | MAYBE 59928 |
| tpdb-8.0/TRS/ICFP_2010_relative/5011.xml | MAYBE 375 | TIMEOUT 60036 | MAYBE 59875 |
| tpdb-8.0/TRS/ICFP_2010_relative/5076.xml | TIMEOUT 60918 | TIMEOUT 60135 | MAYBE 59882 |
| tpdb-8.0/TRS/ICFP_2010_relative/50904.xml | TIMEOUT 60733 | MAYBE 1560 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/5109.xml | TIMEOUT 60770 | TIMEOUT 60034 | MAYBE 59916 |
| tpdb-8.0/TRS/ICFP_2010_relative/5130.xml | TIMEOUT 61012 | TIMEOUT 60089 | MAYBE 59921 |
| tpdb-8.0/TRS/ICFP_2010_relative/51424.xml | TIMEOUT 60903 | MAYBE 4259 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/51577.xml | TIMEOUT 60744 | MAYBE 4300 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/51842.xml | TIMEOUT 60833 | MAYBE 4260 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/53216.xml | TIMEOUT 60884 | MAYBE 4324 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/54097.xml | TIMEOUT 60995 | TIMEOUT 60088 | TIMEOUT 60153 |
| tpdb-8.0/TRS/ICFP_2010_relative/56144.xml | TIMEOUT 60874 | MAYBE 1650 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/57278.xml | TIMEOUT 61136 | MAYBE 542 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/57355.xml | TIMEOUT 60991 | MAYBE 323 | TIMEOUT 60175 |
| tpdb-8.0/TRS/ICFP_2010_relative/58125.xml | TIMEOUT 60538 | MAYBE 2828 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/58194.xml | TIMEOUT 61126 | MAYBE 591 | TIMEOUT 60212 |
| tpdb-8.0/TRS/ICFP_2010_relative/63142.xml | TIMEOUT 60951 | TIMEOUT 60035 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/64160.xml | TIMEOUT 60803 | TIMEOUT 60035 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010_relative/88143.xml | TIMEOUT 60762 | TIMEOUT 60222 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/88156.xml | TIMEOUT 60884 | MAYBE 347 | TIMEOUT 60149 |
| tpdb-8.0/TRS/ICFP_2010_relative/88172.xml | TIMEOUT 60945 | TIMEOUT 60038 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/88183.xml | TIMEOUT 61119 | MAYBE 342 | TIMEOUT 60158 |
| tpdb-8.0/TRS/ICFP_2010_relative/88208.xml | TIMEOUT 60904 | MAYBE 346 | TIMEOUT 60107 |
| tpdb-8.0/TRS/ICFP_2010_relative/88283.xml | TIMEOUT 61083 | MAYBE 349 | TIMEOUT 60138 |
| tpdb-8.0/TRS/ICFP_2010_relative/91210.xml | YES 15223 | MAYBE 941 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/91218.xml | TIMEOUT 60737 | MAYBE 939 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/91233.xml | YES 14177 | MAYBE 929 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/91242.xml | TIMEOUT 61067 | TIMEOUT 60042 | TIMEOUT 60050 |
| tpdb-8.0/TRS/ICFP_2010_relative/91254.xml | TIMEOUT 60677 | MAYBE 1834 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/97885.xml | TIMEOUT 60738 | MAYBE 2061 | TIMEOUT 60053 |
| tpdb-8.0/TRS/ICFP_2010_relative/97888.xml | TIMEOUT 60834 | TIMEOUT 60066 | TIMEOUT 60054 |
| tpdb-8.0/TRS/ICFP_2010_relative/97901.xml | TIMEOUT 61007 | TIMEOUT 60073 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/97917.xml | TIMEOUT 60888 | TIMEOUT 60066 | TIMEOUT 60055 |
| tpdb-8.0/TRS/ICFP_2010_relative/97929.xml | TIMEOUT 60845 | TIMEOUT 60066 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/98623.xml | TIMEOUT 60875 | MAYBE 1631 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup02.xml | TIMEOUT 60763 | TIMEOUT 60035 | MAYBE 59511 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml | YES 34589 | YES 31144 | MAYBE 59584 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml | YES 34482 | YES 29705 | MAYBE 59480 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | YES 10567 | TIMEOUT 60175 | MAYBE 59524 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un03.xml | TIMEOUT 60976 | TIMEOUT 60033 | MAYBE 59506 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml | YES 1518 | YES 2610 | YES 1701 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02new.xml | YES 3366 | TIMEOUT 60033 | MAYBE 59486 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml | YES 2253 | YES 6420 | YES 2840 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml | YES 942 | YES 1479 | YES 978 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml | YES 4895 | TIMEOUT 60035 | MAYBE 59489 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml | YES 4665 | TIMEOUT 60035 | MAYBE 59488 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml | YES 1690 | YES 1771 | YES 1344 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml | YES 1935 | YES 2145 | YES 1498 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr07.xml | YES 2498 | YES 10197 | YES 2638 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml | YES 1930 | YES 47 | YES 2031 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr09.xml | YES 1705 | TIMEOUT 60034 | YES 1815 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml | YES 4933 | YES 7479 | YES 3948 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr11.xml | YES 2531 | YES 9150 | YES 2965 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml | YES 1548 | YES 4595 | YES 2021 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml | NO 853 | TIMEOUT 60035 | NO 694 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | TIMEOUT 60861 | TIMEOUT 60033 | MAYBE 59473 |
| tpdb-8.0/TRS/Waldmann_06_relative/r1.xml | MAYBE 250 | TIMEOUT 60033 | MAYBE 59465 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | MAYBE 240 | YES 11984 | YES 2635 |
| tpdb-8.0/TRS/Waldmann_06_relative/r3.xml | YES 14205 | YES 1986 | YES 1014 |
| tpdb-8.0/TRS/Waldmann_06_relative/r4.xml | TIMEOUT 61046 | YES 27957 | MAYBE 59462 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 4837 | YES 14881 | YES 2033 |
| tpdb-8.0/TRS/Waldmann_06_relative/r6.xml | YES 2561 | YES 23030 | YES 2429 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 1035 | YES 9794 | YES 1920 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 5634 | YES 14033 | YES 2453 |
| tpdb-8.0/TRS/Waldmann_06_relative/r9.xml | YES 7588 | YES 9810 | YES 1418 |
| tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml | MAYBE 242 | TIMEOUT 60033 | MAYBE 59468 |
| tpdb-8.0/TRS/Zantema_06_relative/cars.xml | TIMEOUT 61100 | TIMEOUT 60294 | MAYBE 59491 |
| tpdb-8.0/TRS/Zantema_06_relative/rel01.xml | YES 1592 | TIMEOUT 60035 | YES 2227 |
| tpdb-8.0/TRS/Zantema_06_relative/rel02.xml | YES 5261 | TIMEOUT 60202 | MAYBE 59466 |
| tpdb-8.0/TRS/Zantema_06_relative/rel03.xml | TIMEOUT 60888 | TIMEOUT 60034 | MAYBE 59471 |
| tpdb-8.0/TRS/Zantema_06_relative/rel04.xml | YES 6079 | YES 13042 | YES 4036 |
| tpdb-8.0/TRS/Zantema_06_relative/rel05.xml | YES 2621 | YES 2289 | YES 3272 |
| tpdb-8.0/TRS/Zantema_06_relative/rel06.xml | YES 7929 | TIMEOUT 60035 | MAYBE 59469 |
| tpdb-8.0/TRS/Zantema_06_relative/rel07.xml | TIMEOUT 61038 | TIMEOUT 60034 | MAYBE 59477 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 3913 | TIMEOUT 60037 | MAYBE 59468 |
| tpdb-8.0/TRS/Zantema_06_relative/rel09.xml | TIMEOUT 61553 | YES 23387 | MAYBE 59474 |
| tpdb-8.0/TRS/Zantema_06_relative/rel10.xml | YES 10050 | YES 10787 | YES 4019 |
| tpdb-8.0/TRS/Zantema_06_relative/rel11.xml | TIMEOUT 60875 | TIMEOUT 60034 | MAYBE 59472 |
| tpdb-8.0/TRS/Zantema_06_relative/rel12.xml | TIMEOUT 60967 | TIMEOUT 60216 | MAYBE 59470 |
| tpdb-8.0/TRS/Zantema_06_relative/rel13.xml | YES 3726 | YES 4612 | YES 3471 | 63 | 25 | 49 |