| benchmark | AProVE | VMTL |
|---|---|---|
| tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml | YES 24383 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml | YES 37145 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Mixed_CTRS/fib.xml | YES 1023 | YES 961 |
| tpdb-8.0/TRS/Mixed_CTRS/gcd.xml | YES 1393 | YES 1768 |
| tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml | YES 1566 | YES 1956 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | YES 1629 | YES 1696 |
| tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml | YES 1287 | YES 1561 | 7 | 5 |