| benchmark | AProVE | AProVE-CeTA | TTT2 | TTT2Cert |
|---|---|---|---|---|
| tpdb-8.0/TRS/ICFP_2010_relative/128056.xml | TIMEOUT 60818 | TIMEOUT 61054 | TIMEOUT 60051 | TIMEOUT 60038 |
| tpdb-8.0/TRS/ICFP_2010_relative/128486.xml | YES 11225 | YES 19383 | TIMEOUT 60045 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/131633.xml | TIMEOUT 61061 | TIMEOUT 61182 | TIMEOUT 60048 | TIMEOUT 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/132833.xml | YES 12794 | YES 21504 | TIMEOUT 60049 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/134918.xml | TIMEOUT 61089 | TIMEOUT 61758 | TIMEOUT 60042 | TIMEOUT 60041 |
| tpdb-8.0/TRS/ICFP_2010_relative/135652.xml | TIMEOUT 61137 | TIMEOUT 61881 | TIMEOUT 60043 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010_relative/136562.xml | TIMEOUT 61062 | TIMEOUT 62000 | TIMEOUT 60044 | TIMEOUT 60036 |
| tpdb-8.0/TRS/ICFP_2010_relative/137404.xml | TIMEOUT 61062 | TIMEOUT 61443 | TIMEOUT 60045 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139185.xml | YES 10914 | YES 17935 | TIMEOUT 60046 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/139378.xml | YES 13544 | YES 20187 | TIMEOUT 60050 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/140287.xml | TIMEOUT 60956 | TIMEOUT 61312 | TIMEOUT 60046 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/3533.xml | TIMEOUT 61061 | TIMEOUT 61830 | MAYBE 59998 | MAYBE 58222 |
| tpdb-8.0/TRS/ICFP_2010_relative/3680.xml | TIMEOUT 60801 | TIMEOUT 61384 | MAYBE 60014 | MAYBE 58223 |
| tpdb-8.0/TRS/ICFP_2010_relative/4029.xml | TIMEOUT 61152 | TIMEOUT 61749 | MAYBE 60013 | MAYBE 58202 |
| tpdb-8.0/TRS/ICFP_2010_relative/4036.xml | YES 46213 | TIMEOUT 61943 | MAYBE 59999 | MAYBE 58173 |
| tpdb-8.0/TRS/ICFP_2010_relative/4248.xml | TIMEOUT 60790 | TIMEOUT 61351 | MAYBE 59993 | MAYBE 58256 |
| tpdb-8.0/TRS/ICFP_2010_relative/4934.xml | TIMEOUT 60997 | TIMEOUT 61847 | MAYBE 59987 | MAYBE 58206 |
| tpdb-8.0/TRS/ICFP_2010_relative/4938.xml | TIMEOUT 60861 | TIMEOUT 61563 | MAYBE 59970 | MAYBE 58157 |
| tpdb-8.0/TRS/ICFP_2010_relative/4943.xml | TIMEOUT 61059 | TIMEOUT 61629 | MAYBE 60001 | MAYBE 58140 |
| tpdb-8.0/TRS/ICFP_2010_relative/97901.xml | TIMEOUT 60958 | TIMEOUT 61250 | TIMEOUT 60054 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup02.xml | YES 13666 | YES 8231 | MAYBE 59553 | MAYBE 57556 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | YES 7699 | TIMEOUT 60911 | MAYBE 59528 | MAYBE 57448 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un03.xml | TIMEOUT 60773 | TIMEOUT 61156 | MAYBE 59595 | MAYBE 57478 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml | YES 1872 | YES 3456 | YES 1680 | YES 1030 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml | YES 2487 | YES 3970 | YES 2482 | YES 2486 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml | YES 4104 | YES 4703 | YES 6811 | YES 4188 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml | YES 1927 | YES 3443 | YES 1389 | YES 763 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr11.xml | YES 2158 | YES 3730 | YES 2689 | YES 1159 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml | NO 1103 | TIMEOUT 60068 | NO 699 | NO 720 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | TIMEOUT 60758 | TIMEOUT 60500 | MAYBE 59515 | MAYBE 57437 |
| tpdb-8.0/TRS/Waldmann_06_relative/r1.xml | MAYBE 284 | MAYBE 765 | MAYBE 59517 | MAYBE 7415 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | MAYBE 281 | MAYBE 756 | YES 2732 | MAYBE 7412 |
| tpdb-8.0/TRS/Waldmann_06_relative/r3.xml | YES 14139 | MAYBE 15682 | YES 978 | YES 794 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 4193 | YES 6720 | YES 2024 | YES 1082 |
| tpdb-8.0/TRS/Waldmann_06_relative/r6.xml | YES 2405 | YES 5744 | YES 2037 | YES 1217 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 1355 | YES 3560 | YES 1670 | YES 1022 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 4779 | YES 6325 | YES 2447 | YES 1558 |
| tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml | MAYBE 284 | MAYBE 755 | MAYBE 59511 | MAYBE 7420 |
| tpdb-8.0/TRS/Zantema_06_relative/cars.xml | TIMEOUT 60883 | TIMEOUT 60652 | MAYBE 59544 | MAYBE 57507 |
| tpdb-8.0/TRS/Zantema_06_relative/rel02.xml | YES 5655 | TIMEOUT 60213 | MAYBE 59513 | MAYBE 57437 |
| tpdb-8.0/TRS/Zantema_06_relative/rel04.xml | YES 3878 | YES 3694 | YES 3492 | YES 1241 |
| tpdb-8.0/TRS/Zantema_06_relative/rel07.xml | TIMEOUT 60605 | TIMEOUT 60643 | MAYBE 59527 | MAYBE 57449 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 2317 | YES 3796 | YES 4654 | YES 2866 |
| tpdb-8.0/TRS/Zantema_06_relative/rel10.xml | YES 7466 | YES 3998 | YES 3114 | YES 1504 |
| tpdb-8.0/TRS/Zantema_06_relative/rel11.xml | TIMEOUT 60923 | TIMEOUT 60547 | MAYBE 59522 | MAYBE 57434 |
| tpdb-8.0/TRS/Zantema_06_relative/rel12.xml | TIMEOUT 60586 | TIMEOUT 60038 | MAYBE 59519 | MAYBE 57436 |
| tpdb-8.0/TRS/Zantema_06_relative/rel13.xml | YES 2795 | YES 4148 | YES 2526 | YES 2189 | 23 | 18 | 16 | 15 |