| benchmark | AProVE | VMTL |
|---|---|---|
| tpdb-8.0/TRS/Mixed_CTRS/AAECCcond.xml | YES 24111 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Mixed_CTRS/AAECC-ring-cond.xml | YES 35945 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Mixed_CTRS/fib.xml | YES 1053 | YES 942 |
| tpdb-8.0/TRS/Mixed_CTRS/gcd.xml | YES 1408 | YES 1884 |
| tpdb-8.0/TRS/Mixed_CTRS/quicksort.xml | YES 1548 | YES 2012 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | YES 1567 | YES 1692 |
| tpdb-8.0/TRS/Mixed_CTRS/quotrem.xml | YES 1294 | YES 1530 | 7 | 5 |