| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml | YES 24401 |
| tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml | YES 30720 |
| tpdb-8.0/TRS/Mixed_CTRS/fib.xml | YES 1432 |
| tpdb-8.0/TRS/Mixed_CTRS/gcd.xml | YES 1773 |
| tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml | YES 1973 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | YES 1992 |
| tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml | YES 1781 | 7 |