| benchmark | AProVE-CeTA | TTT2Cert |
|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | UNCERTIFIED 61231 | UNCERTIFIED 7497 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 2386 | UNCERTIFIED 7369 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 4309 | YES 1625 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | UNCERTIFIED 60690 | UNCERTIFIED 7392 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 2307 | NO 447 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | UNCERTIFIED 60740 | UNCERTIFIED 7386 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 2481 | YES 690 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 20263 | UNCERTIFIED 7535 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 8096 | UNCERTIFIED 7511 |
| tpdb-8.0/TRS/Relative_05/rt1-4.xml | YES 2425 | YES 560 |
| tpdb-8.0/TRS/Relative_05/rt2-8.xml | NO 2318 | UNCERTIFIED 7372 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 2485 | YES 635 |
| tpdb-8.0/TRS/Relative_05/rt3-4.xml | UNCERTIFIED 1393 | UNCERTIFIED 7377 |
| tpdb-8.0/TRS/Relative_05/rt3-5.xml | YES 3027 | YES 772 |
| tpdb-8.0/TRS/Relative_05/rt3-9.xml | YES 2555 | YES 850 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml | UNCERTIFIED 60688 | UNCERTIFIED 7415 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | NO 2605 | NO 475 |
| tpdb-8.0/TRS/Relative_05/rtL-me2.xml | YES 2573 | YES 1398 |
| tpdb-8.0/TRS/Relative_05/rtL-pwl.xml | UNCERTIFIED 60897 | UNCERTIFIED 7579 | 13 | 9 |