| benchmark | AProVE | TTT2 |
|---|---|---|
| tpdb-8.0/TRS/ICFP_2010_relative/107193.xml | TIMEOUT 60930 | TIMEOUT 60055 |
| tpdb-8.0/TRS/ICFP_2010_relative/128691.xml | TIMEOUT 60471 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/132720.xml | TIMEOUT 60463 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/133010.xml | TIMEOUT 60566 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/133236.xml | TIMEOUT 60802 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/133432.xml | TIMEOUT 60744 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/135604.xml | TIMEOUT 60436 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/136534.xml | TIMEOUT 60712 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/138330.xml | TIMEOUT 60855 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139004.xml | TIMEOUT 60552 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/140287.xml | TIMEOUT 60444 | TIMEOUT 60049 |
| tpdb-8.0/TRS/ICFP_2010_relative/150630.xml | TIMEOUT 60642 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/153170.xml | TIMEOUT 60667 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/158342.xml | TIMEOUT 60722 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/160427.xml | TIMEOUT 60624 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/167087.xml | TIMEOUT 60759 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/167391.xml | YES 48298 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010_relative/187837.xml | TIMEOUT 60664 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010_relative/25422.xml | TIMEOUT 60916 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/25734.xml | TIMEOUT 61053 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/259405.xml | YES 16664 | TIMEOUT 60179 |
| tpdb-8.0/TRS/ICFP_2010_relative/26110.xml | TIMEOUT 61136 | TIMEOUT 60037 |
| tpdb-8.0/TRS/ICFP_2010_relative/26116.xml | TIMEOUT 61033 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/26132.xml | TIMEOUT 61136 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/26845.xml | TIMEOUT 61108 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/26882.xml | TIMEOUT 60807 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/26972.xml | TIMEOUT 60967 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/26998.xml | TIMEOUT 60934 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/27036.xml | TIMEOUT 61015 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/28464.xml | TIMEOUT 61098 | YES 17699 |
| tpdb-8.0/TRS/ICFP_2010_relative/4017.xml | TIMEOUT 61158 | MAYBE 59909 |
| tpdb-8.0/TRS/ICFP_2010_relative/43603.xml | TIMEOUT 60858 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/4893.xml | TIMEOUT 61151 | MAYBE 59911 |
| tpdb-8.0/TRS/ICFP_2010_relative/5130.xml | TIMEOUT 60987 | MAYBE 59895 |
| tpdb-8.0/TRS/ICFP_2010_relative/57278.xml | TIMEOUT 61117 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml | YES 35836 | MAYBE 59482 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | YES 9276 | MAYBE 59475 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml | YES 1499 | YES 1783 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml | YES 2246 | YES 3118 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml | YES 922 | YES 999 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml | YES 5305 | MAYBE 59487 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml | YES 1574 | YES 1298 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml | YES 2183 | YES 2119 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml | YES 4487 | YES 3986 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml | YES 1481 | YES 2024 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml | NO 883 | NO 696 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | TIMEOUT 61058 | MAYBE 59476 |
| tpdb-8.0/TRS/Waldmann_06_relative/r1.xml | MAYBE 235 | MAYBE 59457 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | MAYBE 239 | YES 2681 |
| tpdb-8.0/TRS/Waldmann_06_relative/r3.xml | YES 12750 | YES 1059 |
| tpdb-8.0/TRS/Waldmann_06_relative/r4.xml | TIMEOUT 60983 | MAYBE 59462 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 6048 | YES 1882 |
| tpdb-8.0/TRS/Waldmann_06_relative/r6.xml | YES 2775 | YES 2282 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 1055 | YES 1765 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 5650 | YES 2591 |
| tpdb-8.0/TRS/Waldmann_06_relative/r9.xml | YES 7859 | YES 1602 |
| tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml | MAYBE 242 | MAYBE 59464 |
| tpdb-8.0/TRS/Zantema_06_relative/rel01.xml | YES 1979 | YES 2288 |
| tpdb-8.0/TRS/Zantema_06_relative/rel03.xml | TIMEOUT 60938 | MAYBE 59467 |
| tpdb-8.0/TRS/Zantema_06_relative/rel04.xml | YES 7344 | YES 3777 |
| tpdb-8.0/TRS/Zantema_06_relative/rel05.xml | YES 5341 | YES 2645 |
| tpdb-8.0/TRS/Zantema_06_relative/rel06.xml | YES 7322 | TIMEOUT 78577 |
| tpdb-8.0/TRS/Zantema_06_relative/rel07.xml | TIMEOUT 60836 | MAYBE 59477 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 3833 | MAYBE 59468 |
| tpdb-8.0/TRS/Zantema_06_relative/rel09.xml | TIMEOUT 60917 | MAYBE 59482 |
| tpdb-8.0/TRS/Zantema_06_relative/rel10.xml | YES 11426 | MAYBE 59477 |
| tpdb-8.0/TRS/Zantema_06_relative/rel11.xml | TIMEOUT 60927 | MAYBE 59469 |
| tpdb-8.0/TRS/Zantema_06_relative/rel13.xml | YES 3456 | YES 3590 | 26 | 20 |