| benchmark | AProVE | AProVE-CeTA | TTT2 | TTT2Cert |
|---|---|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | TIMEOUT 60879 | TIMEOUT 61296 | MAYBE 59610 | MAYBE 7566 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | TIMEOUT 61069 | TIMEOUT 61139 | MAYBE 59622 | MAYBE 7572 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 1393 | NO 3353 | MAYBE 59517 | MAYBE 7419 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 2927 | YES 4659 | YES 3505 | YES 2351 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | TIMEOUT 60894 | TIMEOUT 60870 | MAYBE 59535 | MAYBE 7446 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 1175 | NO 3308 | NO 762 | NO 527 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 1283 | YES 3492 | YES 1636 | YES 696 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | TIMEOUT 60864 | TIMEOUT 60735 | MAYBE 59525 | MAYBE 7427 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 7771 | YES 8330 | MAYBE 59619 | MAYBE 7580 |
| tpdb-8.0/TRS/Relative_05/rt2-4.xml | YES 1241 | YES 3319 | YES 882 | YES 519 |
| tpdb-8.0/TRS/Relative_05/rt2-5.xml | YES 1189 | YES 3411 | YES 953 | YES 1114 |
| tpdb-8.0/TRS/Relative_05/rt3-3.xml | NO 1054 | NO 3144 | MAYBE 59521 | MAYBE 7413 |
| tpdb-8.0/TRS/Relative_05/rt3-4.xml | YES 21424 | MAYBE 1726 | MAYBE 59569 | MAYBE 7419 |
| tpdb-8.0/TRS/Relative_05/rt3-7.xml | YES 1295 | YES 3541 | YES 1351 | YES 684 |
| tpdb-8.0/TRS/Relative_05/rt3-8.xml | NO 1144 | NO 3197 | NO 687 | NO 525 |
| tpdb-8.0/TRS/Relative_05/rtL-cbo.xml | TIMEOUT 60880 | TIMEOUT 60608 | MAYBE 59553 | MAYBE 7466 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | NO 1612 | NO 3733 | NO 1044 | NO 548 |
| tpdb-8.0/TRS/Relative_05/rtL-rw2.xml | TIMEOUT 61116 | TIMEOUT 60749 | MAYBE 59611 | MAYBE 7581 | 12 | 11 | 8 | 8 |