| benchmark | AProVE | Jambox |
|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | TIMEOUT 60877 | TIMEOUT 60313 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | TIMEOUT 60723 | TIMEOUT 60288 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 1852 | MAYBE 1974 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 3048 | YES 779 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | TIMEOUT 60731 | TIMEOUT 60264 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 1742 | MAYBE 8686 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | TIMEOUT 60697 | MAYBE 5725 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 1917 | YES 799 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | TIMEOUT 60555 | MAYBE 4035 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 6946 | YES 4441 |
| tpdb-8.0/TRS/Relative_05/rt1-3.xml | YES 1753 | YES 244 |
| tpdb-8.0/TRS/Relative_05/rt2-2.xml | YES 1737 | YES 235 |
| tpdb-8.0/TRS/Relative_05/rt2-7.xml | YES 4731 | YES 1415 |
| tpdb-8.0/TRS/Relative_05/rt3-6.xml | NO 1759 | MAYBE 1863 |
| tpdb-8.0/TRS/Relative_05/rt3-8.xml | NO 1688 | MAYBE 3518 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | NO 2159 | TIMEOUT 60250 |
| tpdb-8.0/TRS/Relative_05/rtL-me2.xml | YES 1931 | YES 282 |
| tpdb-8.0/TRS/Relative_05/rtL-me3.xml | YES 2027 | YES 357 |
| tpdb-8.0/TRS/Relative_05/rtL-rw2.xml | TIMEOUT 60763 | TIMEOUT 60273 |
| tpdb-8.0/TRS/Relative_05/rtL-wl1nz.xml | YES 2191 | YES 718 | 14 | 9 |