| benchmark | AProVE | VMTL |
|---|---|---|
| tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml | YES 23782 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml | YES 30126 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Mixed_CTRS/fib.xml | YES 1083 | YES 919 |
| tpdb-8.0/TRS/Mixed_CTRS/gcd.xml | YES 1414 | YES 1603 |
| tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml | YES 1574 | YES 1829 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | YES 1575 | YES 1549 |
| tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml | YES 1315 | YES 1506 | 7 | 5 |