| benchmark | AProVE | AProVE-CeTA | TTT2Cert |
|---|---|---|---|
| tpdb-8.0/TRS/ICFP_2010_relative/124269.xml | TIMEOUT 60987 | TIMEOUT 61070 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/128430.xml | YES 13976 | YES 20295 | TIMEOUT 60221 |
| tpdb-8.0/TRS/ICFP_2010_relative/128515.xml | YES 14736 | YES 21822 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/128691.xml | YES 14776 | YES 22570 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/131982.xml | TIMEOUT 60981 | TIMEOUT 60978 | TIMEOUT 60045 |
| tpdb-8.0/TRS/ICFP_2010_relative/132622.xml | YES 15092 | YES 21465 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/132782.xml | YES 14014 | YES 21176 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/132920.xml | YES 13411 | YES 19023 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/132957.xml | YES 15544 | YES 22594 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/133881.xml | TIMEOUT 61195 | TIMEOUT 60893 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/134918.xml | TIMEOUT 61131 | TIMEOUT 61151 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/135782.xml | TIMEOUT 61100 | TIMEOUT 60029 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/136051.xml | TIMEOUT 61140 | TIMEOUT 61155 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/138269.xml | TIMEOUT 60912 | TIMEOUT 61152 | TIMEOUT 60040 |
| tpdb-8.0/TRS/ICFP_2010_relative/138477.xml | TIMEOUT 61154 | TIMEOUT 60981 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/138993.xml | YES 15827 | YES 20016 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010_relative/139018.xml | YES 13325 | YES 18699 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010_relative/139180.xml | YES 14384 | YES 18456 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010_relative/139310.xml | YES 14122 | YES 20594 | TIMEOUT 60046 |
| tpdb-8.0/TRS/ICFP_2010_relative/140318.xml | YES 14242 | YES 19611 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010_relative/140664.xml | TIMEOUT 60958 | TIMEOUT 61107 | MAYBE 59492 |
| tpdb-8.0/TRS/ICFP_2010_relative/3562.xml | TIMEOUT 61135 | TIMEOUT 60950 | MAYBE 58189 |
| tpdb-8.0/TRS/ICFP_2010_relative/3705.xml | TIMEOUT 61129 | TIMEOUT 60850 | MAYBE 58257 |
| tpdb-8.0/TRS/ICFP_2010_relative/3856.xml | YES 30961 | TIMEOUT 60804 | MAYBE 58265 |
| tpdb-8.0/TRS/ICFP_2010_relative/4002.xml | TIMEOUT 60870 | TIMEOUT 60933 | MAYBE 58114 |
| tpdb-8.0/TRS/ICFP_2010_relative/4046.xml | MAYBE 339 | MAYBE 620 | MAYBE 7975 |
| tpdb-8.0/TRS/ICFP_2010_relative/4057.xml | TIMEOUT 60984 | TIMEOUT 60034 | MAYBE 58253 |
| tpdb-8.0/TRS/ICFP_2010_relative/4141.xml | TIMEOUT 61394 | TIMEOUT 60905 | MAYBE 58201 |
| tpdb-8.0/TRS/ICFP_2010_relative/4282.xml | TIMEOUT 61085 | TIMEOUT 61072 | MAYBE 58116 |
| tpdb-8.0/TRS/ICFP_2010_relative/4487.xml | TIMEOUT 61070 | TIMEOUT 60820 | MAYBE 58209 |
| tpdb-8.0/TRS/ICFP_2010_relative/4943.xml | TIMEOUT 61082 | TIMEOUT 61048 | MAYBE 58156 |
| tpdb-8.0/TRS/ICFP_2010_relative/5076.xml | TIMEOUT 60984 | TIMEOUT 61026 | MAYBE 58255 |
| tpdb-8.0/TRS/ICFP_2010_relative/5130.xml | YES 31160 | TIMEOUT 61104 | MAYBE 58246 |
| tpdb-8.0/TRS/ICFP_2010_relative/63142.xml | TIMEOUT 60910 | TIMEOUT 61053 | MAYBE 58434 |
| tpdb-8.0/TRS/ICFP_2010_relative/88143.xml | YES 8500 | TIMEOUT 60895 | MAYBE 58272 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml | YES 33954 | YES 4533 | YES 2313 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | YES 8808 | TIMEOUT 60818 | MAYBE 57440 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml | YES 917 | YES 2494 | YES 658 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml | YES 4130 | YES 3734 | YES 4842 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml | YES 1426 | YES 2456 | YES 749 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml | YES 1624 | YES 2490 | YES 777 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr07.xml | YES 1921 | YES 2649 | YES 1039 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr09.xml | YES 1297 | YES 2525 | YES 915 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml | YES 3234 | YES 2979 | YES 1552 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml | YES 1328 | YES 2618 | YES 775 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml | NO 881 | TIMEOUT 60069 | NO 725 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | TIMEOUT 60777 | TIMEOUT 60398 | MAYBE 57436 |
| tpdb-8.0/TRS/Waldmann_06_relative/r1.xml | MAYBE 253 | MAYBE 554 | MAYBE 7405 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | MAYBE 258 | MAYBE 566 | MAYBE 7415 |
| tpdb-8.0/TRS/Waldmann_06_relative/r3.xml | YES 12717 | MAYBE 15409 | YES 886 |
| tpdb-8.0/TRS/Waldmann_06_relative/r4.xml | TIMEOUT 61068 | TIMEOUT 60413 | MAYBE 57436 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 3288 | YES 5869 | YES 1177 |
| tpdb-8.0/TRS/Waldmann_06_relative/r6.xml | YES 2085 | YES 4519 | YES 1325 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 1050 | YES 2693 | YES 1023 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 3989 | YES 5484 | YES 1464 |
| tpdb-8.0/TRS/Waldmann_06_relative/r9.xml | YES 7012 | YES 6009 | YES 1826 |
| tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml | MAYBE 256 | MAYBE 576 | MAYBE 7410 |
| tpdb-8.0/TRS/Zantema_06_relative/rel01.xml | YES 1441 | YES 2634 | YES 1150 |
| tpdb-8.0/TRS/Zantema_06_relative/rel02.xml | YES 4587 | TIMEOUT 60288 | MAYBE 57437 |
| tpdb-8.0/TRS/Zantema_06_relative/rel03.xml | TIMEOUT 60898 | TIMEOUT 60604 | MAYBE 57433 |
| tpdb-8.0/TRS/Zantema_06_relative/rel04.xml | YES 3414 | YES 2732 | YES 1245 |
| tpdb-8.0/TRS/Zantema_06_relative/rel06.xml | YES 5221 | TIMEOUT 60032 | MAYBE 57437 |
| tpdb-8.0/TRS/Zantema_06_relative/rel07.xml | TIMEOUT 60701 | TIMEOUT 60653 | MAYBE 57444 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 1928 | YES 2869 | YES 2900 |
| tpdb-8.0/TRS/Zantema_06_relative/rel09.xml | YES 39031 | YES 3836 | YES 1855 |
| tpdb-8.0/TRS/Zantema_06_relative/rel11.xml | TIMEOUT 60808 | TIMEOUT 60413 | MAYBE 57431 |
| tpdb-8.0/TRS/Zantema_06_relative/rel12.xml | TIMEOUT 61264 | YES 58115 | MAYBE 57433 |
| tpdb-8.0/TRS/Zantema_06_relative/rel13.xml | YES 2375 | YES 3281 | YES 2314 | 39 | 32 | 21 |