| benchmark | AProVE | TTT2 |
|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | TIMEOUT 61225 | MAYBE 59557 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | TIMEOUT 61253 | MAYBE 59567 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 1039 | MAYBE 59468 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 2905 | YES 4507 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | TIMEOUT 61021 | MAYBE 59488 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 898 | NO 679 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | TIMEOUT 60978 | MAYBE 59482 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 1341 | YES 1698 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | TIMEOUT 61227 | MAYBE 59480 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 7112 | MAYBE 59589 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 41489 | MAYBE 59569 |
| tpdb-8.0/TRS/Relative_05/rt1-1.xml | YES 912 | YES 726 |
| tpdb-8.0/TRS/Relative_05/rt1-2.xml | YES 932 | YES 739 |
| tpdb-8.0/TRS/Relative_05/rt1-3.xml | YES 936 | YES 1869 |
| tpdb-8.0/TRS/Relative_05/rt1-4.xml | YES 1073 | YES 1238 |
| tpdb-8.0/TRS/Relative_05/rt1-5.xml | YES 977 | YES 2317 |
| tpdb-8.0/TRS/Relative_05/rt2-1.xml | YES 937 | YES 864 |
| tpdb-8.0/TRS/Relative_05/rt2-2.xml | YES 906 | YES 770 |
| tpdb-8.0/TRS/Relative_05/rt2-3.xml | YES 955 | YES 832 |
| tpdb-8.0/TRS/Relative_05/rt2-4.xml | YES 960 | YES 872 |
| tpdb-8.0/TRS/Relative_05/rt2-5.xml | YES 929 | YES 1007 |
| tpdb-8.0/TRS/Relative_05/rt2-7.xml | YES 1769 | YES 1431 |
| tpdb-8.0/TRS/Relative_05/rt2-8.xml | NO 910 | MAYBE 59472 |
| tpdb-8.0/TRS/Relative_05/rt3-1.xml | YES 1677 | YES 1431 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 971 | YES 1558 |
| tpdb-8.0/TRS/Relative_05/rt3-3.xml | NO 893 | MAYBE 59470 |
| tpdb-8.0/TRS/Relative_05/rt3-4.xml | YES 19246 | MAYBE 59523 |
| tpdb-8.0/TRS/Relative_05/rt3-5.xml | YES 4902 | YES 2238 |
| tpdb-8.0/TRS/Relative_05/rt3-6.xml | NO 866 | NO 699 |
| tpdb-8.0/TRS/Relative_05/rt3-7.xml | YES 1085 | YES 1523 |
| tpdb-8.0/TRS/Relative_05/rt3-8.xml | NO 869 | NO 676 |
| tpdb-8.0/TRS/Relative_05/rt3-9.xml | YES 1206 | YES 2258 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml | YES 15277 | MAYBE 59510 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml | YES 48501 | MAYBE 59507 |
| tpdb-8.0/TRS/Relative_05/rtL-cbo.xml | TIMEOUT 61027 | MAYBE 59503 |
| tpdb-8.0/TRS/Relative_05/rtL-evnz.xml | NO 28460 | MAYBE 59516 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | NO 1232 | NO 969 |
| tpdb-8.0/TRS/Relative_05/rtL-me2.xml | YES 1165 | YES 3958 |
| tpdb-8.0/TRS/Relative_05/rtL-me3.xml | YES 1481 | MAYBE 59507 |
| tpdb-8.0/TRS/Relative_05/rtL-pwl.xml | YES 43577 | MAYBE 59511 |
| tpdb-8.0/TRS/Relative_05/rtL-rw2.xml | TIMEOUT 61141 | MAYBE 59568 |
| tpdb-8.0/TRS/Relative_05/rtL-rw5.xml | TIMEOUT 61175 | MAYBE 59548 |
| tpdb-8.0/TRS/Relative_05/rtL-wl1nz.xml | YES 1805 | YES 2233 |
| tpdb-8.0/TRS/Relative_05/rtL-wl1o.xml | TIMEOUT 60736 | MAYBE 59479 | 35 | 24 |