| benchmark | AProVE-CeTA | TTT2Cert |
|---|---|---|
| tpdb-8.0/TRS/ICFP_2010_relative/167391.xml | UNCERTIFIED 61033 | UNCERTIFIED 60344 |
| tpdb-8.0/TRS/ICFP_2010_relative/259405.xml | YES 14854 | UNCERTIFIED 60128 |
| tpdb-8.0/TRS/ICFP_2010_relative/28464.xml | UNCERTIFIED 62132 | YES 13182 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml | UNCERTIFIED 61212 | YES 3246 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | UNCERTIFIED 61173 | UNCERTIFIED 57398 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml | YES 2521 | YES 861 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml | YES 2895 | UNCERTIFIED 2071 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml | YES 2411 | YES 530 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml | YES 3798 | YES 3676 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml | YES 2514 | YES 587 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml | YES 2393 | UNCERTIFIED 1121 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml | YES 3217 | YES 1106 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml | YES 2664 | YES 781 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml | UNCERTIFIED 60078 | NO 603 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | UNCERTIFIED 60717 | UNCERTIFIED 57393 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | UNCERTIFIED 565 | UNCERTIFIED 57393 |
| tpdb-8.0/TRS/Waldmann_06_relative/r3.xml | UNCERTIFIED 15471 | UNCERTIFIED 57387 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 6805 | UNCERTIFIED 1045 |
| tpdb-8.0/TRS/Waldmann_06_relative/r6.xml | YES 5848 | YES 1079 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 2816 | YES 844 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 6008 | YES 1116 |
| tpdb-8.0/TRS/Waldmann_06_relative/r9.xml | YES 7610 | YES 1563 |
| tpdb-8.0/TRS/Zantema_06_relative/rel01.xml | YES 2650 | YES 868 |
| tpdb-8.0/TRS/Zantema_06_relative/rel04.xml | YES 2839 | YES 1046 |
| tpdb-8.0/TRS/Zantema_06_relative/rel05.xml | YES 2864 | YES 894 |
| tpdb-8.0/TRS/Zantema_06_relative/rel06.xml | UNCERTIFIED 60346 | UNCERTIFIED 57397 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 2842 | YES 2028 |
| tpdb-8.0/TRS/Zantema_06_relative/rel09.xml | YES 4167 | UNCERTIFIED 1570 |
| tpdb-8.0/TRS/Zantema_06_relative/rel10.xml | YES 3116 | UNCERTIFIED 1280 |
| tpdb-8.0/TRS/Zantema_06_relative/rel13.xml | YES 3336 | YES 1822 | 21 | 18 |