| benchmark | AProVE | Jambox |
|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml | YES 27953 | YES 3534 |
| tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml | TIMEOUT 60696 | TIMEOUT 60251 |
| tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml | YES 32167 | MAYBE 32593 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr02new.xml | YES 4429 | YES 1180 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml | YES 1962 | YES 405 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml | YES 5121 | YES 1204 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml | YES 4922 | YES 1196 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml | YES 2973 | YES 987 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml | YES 1811 | YES 286 |
| tpdb-8.0/TRS/Mixed_relative_SRS/zr09.xml | YES 2526 | YES 873 |
| tpdb-8.0/TRS/Waldmann_06_relative/r10.xml | TIMEOUT 60609 | MAYBE 8176 |
| tpdb-8.0/TRS/Waldmann_06_relative/r1.xml | MAYBE 320 | MAYBE 1437 |
| tpdb-8.0/TRS/Waldmann_06_relative/r2.xml | MAYBE 319 | MAYBE 1926 |
| tpdb-8.0/TRS/Waldmann_06_relative/r4.xml | TIMEOUT 60506 | MAYBE 13440 |
| tpdb-8.0/TRS/Waldmann_06_relative/r5.xml | YES 5190 | MAYBE 5262 |
| tpdb-8.0/TRS/Waldmann_06_relative/r6.xml | YES 3188 | YES 1789 |
| tpdb-8.0/TRS/Waldmann_06_relative/r7.xml | YES 3310 | YES 1729 |
| tpdb-8.0/TRS/Waldmann_06_relative/r8.xml | YES 15765 | MAYBE 44670 |
| tpdb-8.0/TRS/Waldmann_06_relative/r9.xml | YES 21313 | MAYBE 29611 |
| tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml | MAYBE 322 | MAYBE 1767 |
| tpdb-8.0/TRS/Zantema_06_relative/cars.xml | TIMEOUT 60834 | TIMEOUT 60251 |
| tpdb-8.0/TRS/Zantema_06_relative/rel01.xml | YES 2499 | YES 1080 |
| tpdb-8.0/TRS/Zantema_06_relative/rel02.xml | YES 25569 | MAYBE 3080 |
| tpdb-8.0/TRS/Zantema_06_relative/rel04.xml | YES 4566 | YES 2044 |
| tpdb-8.0/TRS/Zantema_06_relative/rel05.xml | YES 3214 | YES 2349 |
| tpdb-8.0/TRS/Zantema_06_relative/rel06.xml | YES 9196 | MAYBE 14840 |
| tpdb-8.0/TRS/Zantema_06_relative/rel08.xml | YES 3618 | YES 1346 |
| tpdb-8.0/TRS/Zantema_06_relative/rel10.xml | YES 12435 | YES 2930 |
| tpdb-8.0/TRS/Zantema_06_relative/rel11.xml | TIMEOUT 60629 | TIMEOUT 60221 |
| tpdb-8.0/TRS/Zantema_06_relative/rel12.xml | TIMEOUT 60611 | TIMEOUT 60218 | 21 | 15 |