| benchmark | AProVE-CeTA |
|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | UNCERTIFIED 2713 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | UNCERTIFIED 2519 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | UNCERTIFIED 60772 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 2803 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 23181 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 8912 |
| tpdb-8.0/TRS/Relative_05/rt1-1.xml | YES 2629 |
| tpdb-8.0/TRS/Relative_05/rt1-2.xml | YES 2584 |
| tpdb-8.0/TRS/Relative_05/rt1-3.xml | YES 2775 |
| tpdb-8.0/TRS/Relative_05/rt2-2.xml | YES 2631 |
| tpdb-8.0/TRS/Relative_05/rt2-4.xml | YES 2692 |
| tpdb-8.0/TRS/Relative_05/rt2-5.xml | YES 2813 |
| tpdb-8.0/TRS/Relative_05/rt2-8.xml | UNCERTIFIED 2520 |
| tpdb-8.0/TRS/Relative_05/rt3-1.xml | YES 2688 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 2808 | 11 |