| benchmark | AProVE | TTT2 |
|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | TIMEOUT 60878 | MAYBE 59951 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | TIMEOUT 60722 | MAYBE 59871 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 1010 | MAYBE 59336 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | TIMEOUT 60642 | MAYBE 59424 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 886 | NO 379 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | TIMEOUT 60609 | MAYBE 59402 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 1133 | YES 833 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | TIMEOUT 60600 | MAYBE 59393 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 5378 | YES 2064 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 12726 | YES 18745 |
| tpdb-8.0/TRS/Relative_05/rt1-1.xml | YES 951 | YES 309 |
| tpdb-8.0/TRS/Relative_05/rt1-2.xml | YES 972 | YES 307 |
| tpdb-8.0/TRS/Relative_05/rt1-3.xml | YES 942 | YES 947 |
| tpdb-8.0/TRS/Relative_05/rt2-2.xml | YES 897 | YES 329 |
| tpdb-8.0/TRS/Relative_05/rt2-4.xml | YES 1080 | YES 416 |
| tpdb-8.0/TRS/Relative_05/rt2-5.xml | YES 1323 | YES 512 |
| tpdb-8.0/TRS/Relative_05/rt2-8.xml | NO 893 | MAYBE 59398 |
| tpdb-8.0/TRS/Relative_05/rt3-1.xml | YES 1077 | YES 573 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 1008 | YES 584 |
| tpdb-8.0/TRS/Relative_05/rt3-4.xml | MAYBE 1305 | MAYBE 59380 | 14 | 12 |