| benchmark | AProVE | TTT2 |
|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | TIMEOUT 60918 | MAYBE 59558 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | TIMEOUT 60922 | MAYBE 59556 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 1024 | MAYBE 59470 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 2817 | YES 3298 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | TIMEOUT 60882 | NO 12371 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 919 | NO 690 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | TIMEOUT 61042 | MAYBE 59482 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 1660 | YES 1855 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | TIMEOUT 60886 | MAYBE 59471 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 6838 | MAYBE 59595 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 41380 | MAYBE 59567 |
| tpdb-8.0/TRS/Relative_05/rt1-4.xml | YES 1091 | YES 1179 |
| tpdb-8.0/TRS/Relative_05/rt2-8.xml | NO 903 | NO 10925 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 968 | YES 1557 |
| tpdb-8.0/TRS/Relative_05/rt3-4.xml | YES 19495 | MAYBE 59523 |
| tpdb-8.0/TRS/Relative_05/rt3-5.xml | YES 5939 | YES 2443 |
| tpdb-8.0/TRS/Relative_05/rt3-9.xml | YES 1161 | YES 2179 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml | YES 49226 | MAYBE 59502 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | NO 1228 | NO 1022 |
| tpdb-8.0/TRS/Relative_05/rtL-me2.xml | YES 1125 | YES 4544 |
| tpdb-8.0/TRS/Relative_05/rtL-pwl.xml | YES 43039 | MAYBE 59514 |
| tpdb-8.0/TRS/Relative_05/rtL-rw2.xml | TIMEOUT 61014 | MAYBE 59560 | 16 | 11 |