| benchmark | AProVE | VMTL |
|---|---|---|
| tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml | YES 37053 | TIMEOUT 60201 |
| tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml | YES 41219 | TIMEOUT 60201 |
| tpdb-8.0/TRS/Mixed_CTRS/fib.xml | YES 1911 | YES 996 |
| tpdb-8.0/TRS/Mixed_CTRS/gcd.xml | YES 2301 | YES 1855 |
| tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml | YES 2348 | YES 1967 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | YES 2368 | YES 2026 |
| tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml | YES 2174 | YES 1904 | 7 | 5 |