| benchmark | AProVE | AProVE-CeTA | TTT2Cert |
|---|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | TIMEOUT 61071 | TIMEOUT 60927 | MAYBE 7549 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | TIMEOUT 61188 | TIMEOUT 60781 | MAYBE 7560 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 1162 | NO 2457 | MAYBE 7410 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 2170 | YES 3658 | YES 2641 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | TIMEOUT 61002 | TIMEOUT 60625 | MAYBE 7437 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 872 | NO 2330 | NO 505 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | TIMEOUT 61163 | TIMEOUT 60651 | MAYBE 7427 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 1159 | YES 2536 | YES 635 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | TIMEOUT 61114 | TIMEOUT 60588 | MAYBE 7420 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 5544 | YES 20859 | MAYBE 7592 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 5737 | YES 6623 | MAYBE 7616 |
| tpdb-8.0/TRS/Relative_05/rt2-1.xml | YES 925 | YES 2435 | YES 510 |
| tpdb-8.0/TRS/Relative_05/rt2-2.xml | YES 874 | YES 2317 | YES 495 |
| tpdb-8.0/TRS/Relative_05/rt2-3.xml | YES 994 | YES 2431 | YES 510 |
| tpdb-8.0/TRS/Relative_05/rt2-5.xml | YES 967 | YES 2479 | YES 792 |
| tpdb-8.0/TRS/Relative_05/rt2-7.xml | YES 1488 | YES 2493 | YES 747 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 979 | YES 2595 | YES 695 |
| tpdb-8.0/TRS/Relative_05/rt3-7.xml | YES 1006 | YES 2621 | YES 667 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml | YES 5774 | TIMEOUT 60579 | MAYBE 7462 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml | YES 11397 | TIMEOUT 60629 | MAYBE 7465 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | NO 1251 | NO 2652 | NO 522 |
| tpdb-8.0/TRS/Relative_05/rtL-me2.xml | YES 1133 | YES 2582 | YES 1300 | 17 | 15 | 12 |