| benchmark | AProVE | matchbox-srs-rel-nocert | TTT2 |
|---|---|---|---|
| tpdb-8.0/TRS/ICFP_2010_relative/107236.xml | TIMEOUT 61202 | TIMEOUT 60148 | TIMEOUT 60324 |
| tpdb-8.0/TRS/ICFP_2010_relative/123759.xml | TIMEOUT 61113 | TIMEOUT 60127 | TIMEOUT 60259 |
| tpdb-8.0/TRS/ICFP_2010_relative/128056.xml | TIMEOUT 61288 | TIMEOUT 60156 | TIMEOUT 60657 |
| tpdb-8.0/TRS/ICFP_2010_relative/128280.xml | TIMEOUT 60988 | TIMEOUT 60149 | TIMEOUT 60481 |
| tpdb-8.0/TRS/ICFP_2010_relative/130161.xml | TIMEOUT 60710 | MAYBE 1649 | TIMEOUT 60130 |
| tpdb-8.0/TRS/ICFP_2010_relative/130472.xml | TIMEOUT 60768 | MAYBE 1695 | TIMEOUT 60136 |
| tpdb-8.0/TRS/ICFP_2010_relative/131633.xml | TIMEOUT 62755 | TIMEOUT 60124 | TIMEOUT 60395 |
| tpdb-8.0/TRS/ICFP_2010_relative/132782.xml | TIMEOUT 61655 | TIMEOUT 60129 | TIMEOUT 60430 |
| tpdb-8.0/TRS/ICFP_2010_relative/132848.xml | TIMEOUT 60831 | MAYBE 1698 | TIMEOUT 60140 |
| tpdb-8.0/TRS/ICFP_2010_relative/132920.xml | TIMEOUT 61154 | TIMEOUT 60125 | TIMEOUT 60593 |
| tpdb-8.0/TRS/ICFP_2010_relative/132969.xml | TIMEOUT 60978 | TIMEOUT 60126 | TIMEOUT 60360 |
| tpdb-8.0/TRS/ICFP_2010_relative/135328.xml | TIMEOUT 61049 | TIMEOUT 60142 | TIMEOUT 60311 |
| tpdb-8.0/TRS/ICFP_2010_relative/136354.xml | TIMEOUT 60829 | MAYBE 1653 | TIMEOUT 60145 |
| tpdb-8.0/TRS/ICFP_2010_relative/139036.xml | TIMEOUT 60990 | TIMEOUT 60137 | TIMEOUT 60308 |
| tpdb-8.0/TRS/ICFP_2010_relative/139100.xml | TIMEOUT 60955 | TIMEOUT 60145 | TIMEOUT 60599 |
| tpdb-8.0/TRS/ICFP_2010_relative/140631.xml | TIMEOUT 61101 | TIMEOUT 60153 | TIMEOUT 60633 |
| tpdb-8.0/TRS/ICFP_2010_relative/140639.xml | TIMEOUT 61122 | TIMEOUT 60132 | TIMEOUT 60484 |
| tpdb-8.0/TRS/ICFP_2010_relative/140659.xml | TIMEOUT 60991 | TIMEOUT 60131 | TIMEOUT 60612 |
| tpdb-8.0/TRS/ICFP_2010_relative/142150.xml | TIMEOUT 61231 | TIMEOUT 60130 | TIMEOUT 60493 |
| tpdb-8.0/TRS/ICFP_2010_relative/151247.xml | TIMEOUT 60626 | MAYBE 3027 | TIMEOUT 60132 |
| tpdb-8.0/TRS/ICFP_2010_relative/152694.xml | TIMEOUT 60724 | MAYBE 1659 | TIMEOUT 60130 |
| tpdb-8.0/TRS/ICFP_2010_relative/153034.xml | TIMEOUT 60754 | MAYBE 1646 | TIMEOUT 60117 |
| tpdb-8.0/TRS/ICFP_2010_relative/153243.xml | TIMEOUT 60745 | MAYBE 1669 | TIMEOUT 60130 |
| tpdb-8.0/TRS/ICFP_2010_relative/157150.xml | TIMEOUT 61209 | MAYBE 653 | TIMEOUT 60120 |
| tpdb-8.0/TRS/ICFP_2010_relative/157466.xml | TIMEOUT 60752 | MAYBE 1679 | TIMEOUT 60131 |
| tpdb-8.0/TRS/ICFP_2010_relative/160660.xml | TIMEOUT 60699 | MAYBE 1763 | TIMEOUT 60126 |
| tpdb-8.0/TRS/ICFP_2010_relative/161593.xml | TIMEOUT 60895 | MAYBE 1811 | TIMEOUT 60136 |
| tpdb-8.0/TRS/ICFP_2010_relative/162244.xml | TIMEOUT 60763 | MAYBE 1774 | TIMEOUT 60125 |
| tpdb-8.0/TRS/ICFP_2010_relative/167041.xml | TIMEOUT 60706 | MAYBE 1772 | TIMEOUT 60134 |
| tpdb-8.0/TRS/ICFP_2010_relative/185628.xml | TIMEOUT 60732 | MAYBE 2030 | TIMEOUT 60152 |
| tpdb-8.0/TRS/ICFP_2010_relative/211915.xml | YES 38721 | MAYBE 221 | YES 2208 |
| tpdb-8.0/TRS/ICFP_2010_relative/212308.xml | TIMEOUT 61277 | MAYBE 214 | MAYBE 59924 |
| tpdb-8.0/TRS/ICFP_2010_relative/213437.xml | YES 49874 | MAYBE 229 | YES 2258 |
| tpdb-8.0/TRS/ICFP_2010_relative/214011.xml | YES 15977 | MAYBE 208 | YES 2100 |
| tpdb-8.0/TRS/ICFP_2010_relative/25395.xml | TIMEOUT 61147 | MAYBE 1077 | TIMEOUT 60127 |
| tpdb-8.0/TRS/ICFP_2010_relative/25422.xml | TIMEOUT 61222 | MAYBE 1001 | TIMEOUT 60126 |
| tpdb-8.0/TRS/ICFP_2010_relative/25736.xml | TIMEOUT 61179 | MAYBE 1065 | TIMEOUT 60123 |
| tpdb-8.0/TRS/ICFP_2010_relative/26105.xml | TIMEOUT 61092 | MAYBE 986 | TIMEOUT 60136 |
| tpdb-8.0/TRS/ICFP_2010_relative/26132.xml | TIMEOUT 61065 | MAYBE 1144 | TIMEOUT 60131 |
| tpdb-8.0/TRS/ICFP_2010_relative/26186.xml | TIMEOUT 61020 | MAYBE 170 | YES 3393 |
| tpdb-8.0/TRS/ICFP_2010_relative/26862.xml | TIMEOUT 61203 | MAYBE 1014 | TIMEOUT 60126 |
| tpdb-8.0/TRS/ICFP_2010_relative/26875.xml | TIMEOUT 61263 | MAYBE 1140 | TIMEOUT 60150 |
| tpdb-8.0/TRS/ICFP_2010_relative/26903.xml | TIMEOUT 61014 | MAYBE 1085 | TIMEOUT 60124 |
| tpdb-8.0/TRS/ICFP_2010_relative/26940.xml | TIMEOUT 61181 | MAYBE 1073 | TIMEOUT 60119 |
| tpdb-8.0/TRS/ICFP_2010_relative/26946.xml | TIMEOUT 61228 | MAYBE 1135 | TIMEOUT 60119 |
| tpdb-8.0/TRS/ICFP_2010_relative/26974.xml | TIMEOUT 61039 | MAYBE 1046 | TIMEOUT 60127 |
| tpdb-8.0/TRS/ICFP_2010_relative/26986.xml | TIMEOUT 61039 | MAYBE 1065 | TIMEOUT 60128 |
| tpdb-8.0/TRS/ICFP_2010_relative/27003.xml | TIMEOUT 61085 | MAYBE 1059 | TIMEOUT 60122 |
| tpdb-8.0/TRS/ICFP_2010_relative/27034.xml | TIMEOUT 61015 | MAYBE 1079 | TIMEOUT 60097 |
| tpdb-8.0/TRS/ICFP_2010_relative/27039.xml | TIMEOUT 61202 | MAYBE 1050 | TIMEOUT 60124 |
| tpdb-8.0/TRS/ICFP_2010_relative/27131.xml | TIMEOUT 61211 | MAYBE 305 | YES 7771 |
| tpdb-8.0/TRS/ICFP_2010_relative/27235.xml | TIMEOUT 61281 | MAYBE 395 | YES 12969 |
| tpdb-8.0/TRS/ICFP_2010_relative/27280.xml | TIMEOUT 61213 | MAYBE 407 | YES 14134 |
| tpdb-8.0/TRS/ICFP_2010_relative/3705.xml | TIMEOUT 61049 | TIMEOUT 60126 | TIMEOUT 60436 |
| tpdb-8.0/TRS/ICFP_2010_relative/3786.xml | TIMEOUT 61084 | TIMEOUT 60428 | TIMEOUT 60364 |
| tpdb-8.0/TRS/ICFP_2010_relative/3865.xml | TIMEOUT 60937 | TIMEOUT 61753 | TIMEOUT 60276 |
| tpdb-8.0/TRS/ICFP_2010_relative/3995.xml | TIMEOUT 60920 | TIMEOUT 60099 | TIMEOUT 60294 |
| tpdb-8.0/TRS/ICFP_2010_relative/4017.xml | TIMEOUT 61593 | TIMEOUT 60121 | TIMEOUT 60218 |
| tpdb-8.0/TRS/ICFP_2010_relative/4029.xml | TIMEOUT 60964 | TIMEOUT 60112 | TIMEOUT 60436 |
| tpdb-8.0/TRS/ICFP_2010_relative/4046.xml | MAYBE 405 | TIMEOUT 60093 | TIMEOUT 60231 |
| tpdb-8.0/TRS/ICFP_2010_relative/40540.xml | TIMEOUT 60729 | MAYBE 1642 | TIMEOUT 60138 |
| tpdb-8.0/TRS/ICFP_2010_relative/40976.xml | TIMEOUT 60885 | MAYBE 1640 | TIMEOUT 60143 |
| tpdb-8.0/TRS/ICFP_2010_relative/41838.xml | TIMEOUT 61299 | MAYBE 398 | TIMEOUT 60135 |
| tpdb-8.0/TRS/ICFP_2010_relative/42466.xml | TIMEOUT 60802 | MAYBE 1650 | TIMEOUT 60131 |
| tpdb-8.0/TRS/ICFP_2010_relative/43650.xml | TIMEOUT 60663 | MAYBE 4353 | TIMEOUT 60126 |
| tpdb-8.0/TRS/ICFP_2010_relative/44332.xml | TIMEOUT 60850 | MAYBE 1646 | TIMEOUT 60131 |
| tpdb-8.0/TRS/ICFP_2010_relative/45970.xml | TIMEOUT 60794 | MAYBE 1818 | TIMEOUT 60214 |
| tpdb-8.0/TRS/ICFP_2010_relative/48328.xml | TIMEOUT 61340 | MAYBE 470 | TIMEOUT 60320 |
| tpdb-8.0/TRS/ICFP_2010_relative/4854.xml | TIMEOUT 61152 | TIMEOUT 60125 | TIMEOUT 60349 |
| tpdb-8.0/TRS/ICFP_2010_relative/4943.xml | TIMEOUT 61187 | TIMEOUT 60128 | TIMEOUT 60412 |
| tpdb-8.0/TRS/ICFP_2010_relative/4991.xml | TIMEOUT 61130 | TIMEOUT 60119 | TIMEOUT 60283 |
| tpdb-8.0/TRS/ICFP_2010_relative/54097.xml | TIMEOUT 61127 | TIMEOUT 60184 | TIMEOUT 60608 |
| tpdb-8.0/TRS/ICFP_2010_relative/57278.xml | TIMEOUT 61188 | MAYBE 573 | TIMEOUT 60117 |
| tpdb-8.0/TRS/ICFP_2010_relative/97901.xml | TIMEOUT 61155 | TIMEOUT 60142 | TIMEOUT 60443 |
| tpdb-8.0/TRS/ICFP_2010_relative/98623.xml | TIMEOUT 60737 | MAYBE 1669 | TIMEOUT 60152 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup02.xml | YES 13736 | TIMEOUT 60149 | YES 2468 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml | YES 28058 | YES 30261 | YES 7403 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml | TIMEOUT 60607 | YES 29526 | YES 4813 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | YES 32144 | TIMEOUT 60137 | YES 1853 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un03.xml | TIMEOUT 60958 | TIMEOUT 60130 | MAYBE 59881 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02new.xml | YES 3777 | TIMEOUT 60134 | YES 2952 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml | YES 5459 | TIMEOUT 60119 | YES 4159 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml | YES 2170 | YES 2442 | YES 849 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr07.xml | YES 3859 | YES 9785 | YES 1645 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml | NO 844 | TIMEOUT 60172 | YES 535 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | TIMEOUT 60480 | TIMEOUT 60121 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_06_relative/r1.xml | MAYBE 314 | TIMEOUT 60110 | YES 20593 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | MAYBE 317 | YES 11284 | YES 1674 |
| tpdb-8.0/TRS/Waldmann_06_relative/r3.xml | YES 41093 | YES 1980 | YES 523 |
| tpdb-8.0/TRS/Waldmann_06_relative/r4.xml | TIMEOUT 60476 | YES 28275 | YES 921 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 5034 | YES 14614 | YES 902 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 2865 | YES 10687 | YES 1047 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 15056 | YES 13803 | YES 1029 |
| tpdb-8.0/TRS/Waldmann_06_relative/r9.xml | YES 20324 | YES 10110 | YES 874 |
| tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml | MAYBE 324 | TIMEOUT 60147 | MAYBE 59971 |
| tpdb-8.0/TRS/Zantema_06_relative/cars.xml | TIMEOUT 60638 | TIMEOUT 60147 | MAYBE 59890 |
| tpdb-8.0/TRS/Zantema_06_relative/rel01.xml | YES 1610 | TIMEOUT 60119 | YES 971 |
| tpdb-8.0/TRS/Zantema_06_relative/rel02.xml | YES 24699 | TIMEOUT 60169 | YES 25786 |
| tpdb-8.0/TRS/Zantema_06_relative/rel05.xml | YES 2808 | YES 2165 | YES 1812 |
| tpdb-8.0/TRS/Zantema_06_relative/rel06.xml | YES 10594 | TIMEOUT 60143 | YES 1771 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 2851 | TIMEOUT 60128 | YES 7276 |
| tpdb-8.0/TRS/Zantema_06_relative/rel09.xml | TIMEOUT 60564 | YES 21056 | YES 5506 |
| tpdb-8.0/TRS/Zantema_06_relative/rel11.xml | TIMEOUT 60643 | TIMEOUT 60158 | MAYBE 59898 |
| tpdb-8.0/TRS/Zantema_06_relative/rel12.xml | TIMEOUT 60548 | TIMEOUT 60132 | MAYBE 59993 |
| tpdb-8.0/TRS/Zantema_06_relative/rel13.xml | YES 3733 | YES 4225 | YES 1773 | 22 | 14 | 31 |