| benchmark | AProVE | AProVE-CeTA | TTT2 | TTT2Cert |
|---|---|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | TIMEOUT 60982 | TIMEOUT 61084 | MAYBE 59609 | MAYBE 7568 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | TIMEOUT 61138 | TIMEOUT 61519 | MAYBE 59608 | MAYBE 7620 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 1349 | NO 3462 | MAYBE 59521 | MAYBE 7418 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 2851 | YES 4577 | YES 3492 | YES 2249 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | TIMEOUT 60959 | TIMEOUT 60719 | MAYBE 59540 | MAYBE 7449 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 1170 | NO 3236 | NO 692 | NO 521 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | TIMEOUT 60927 | TIMEOUT 60879 | MAYBE 59527 | MAYBE 7471 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 1246 | YES 3409 | YES 1752 | YES 668 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | TIMEOUT 61133 | TIMEOUT 60653 | MAYBE 59520 | MAYBE 7425 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 6233 | YES 22199 | MAYBE 59648 | MAYBE 7608 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 7591 | YES 8061 | MAYBE 59619 | MAYBE 7586 |
| tpdb-8.0/TRS/Relative_05/rt1-1.xml | YES 1125 | YES 3233 | YES 745 | YES 509 |
| tpdb-8.0/TRS/Relative_05/rt1-2.xml | YES 1136 | YES 3236 | YES 741 | YES 543 |
| tpdb-8.0/TRS/Relative_05/rt1-3.xml | YES 1016 | YES 3300 | YES 1522 | YES 963 |
| tpdb-8.0/TRS/Relative_05/rt1-4.xml | YES 1320 | YES 3300 | YES 1261 | YES 634 |
| tpdb-8.0/TRS/Relative_05/rt1-5.xml | YES 1239 | YES 3265 | YES 2283 | YES 966 |
| tpdb-8.0/TRS/Relative_05/rt2-1.xml | YES 1183 | YES 3320 | YES 897 | YES 515 |
| tpdb-8.0/TRS/Relative_05/rt2-2.xml | YES 1381 | YES 3219 | YES 787 | YES 643 |
| tpdb-8.0/TRS/Relative_05/rt2-3.xml | YES 1261 | YES 3383 | YES 1185 | YES 626 |
| tpdb-8.0/TRS/Relative_05/rt2-4.xml | YES 1243 | YES 3303 | YES 845 | YES 522 |
| tpdb-8.0/TRS/Relative_05/rt2-5.xml | YES 1156 | YES 3421 | YES 958 | YES 670 |
| tpdb-8.0/TRS/Relative_05/rt2-7.xml | YES 2187 | YES 3394 | YES 1371 | YES 756 |
| tpdb-8.0/TRS/Relative_05/rt2-8.xml | NO 1185 | NO 3201 | MAYBE 59524 | MAYBE 7422 |
| tpdb-8.0/TRS/Relative_05/rt3-1.xml | YES 1362 | YES 3383 | YES 991 | YES 567 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 1276 | YES 3332 | YES 1587 | YES 681 |
| tpdb-8.0/TRS/Relative_05/rt3-3.xml | NO 1148 | NO 3097 | MAYBE 59516 | MAYBE 7414 |
| tpdb-8.0/TRS/Relative_05/rt3-4.xml | YES 20121 | MAYBE 1693 | MAYBE 59581 | MAYBE 7425 |
| tpdb-8.0/TRS/Relative_05/rt3-5.xml | YES 3111 | YES 3732 | YES 2747 | YES 876 |
| tpdb-8.0/TRS/Relative_05/rt3-6.xml | NO 1120 | NO 3338 | NO 708 | NO 712 |
| tpdb-8.0/TRS/Relative_05/rt3-7.xml | YES 1301 | YES 3461 | YES 1459 | YES 704 |
| tpdb-8.0/TRS/Relative_05/rt3-8.xml | NO 1138 | NO 3153 | NO 683 | NO 510 |
| tpdb-8.0/TRS/Relative_05/rt3-9.xml | YES 1472 | YES 3436 | YES 2246 | YES 938 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml | YES 6738 | TIMEOUT 60674 | MAYBE 59561 | MAYBE 7480 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml | YES 13005 | TIMEOUT 60727 | MAYBE 59559 | MAYBE 7482 |
| tpdb-8.0/TRS/Relative_05/rtL-cbo.xml | TIMEOUT 61151 | TIMEOUT 60635 | MAYBE 59551 | MAYBE 7464 |
| tpdb-8.0/TRS/Relative_05/rtL-evnz.xml | NO 27198 | NO 18108 | MAYBE 59566 | MAYBE 7525 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | NO 1615 | NO 3649 | NO 1092 | NO 547 |
| tpdb-8.0/TRS/Relative_05/rtL-me2.xml | YES 1470 | YES 3512 | YES 3577 | YES 1214 |
| tpdb-8.0/TRS/Relative_05/rtL-me3.xml | YES 1719 | YES 3875 | YES 4608 | YES 2832 |
| tpdb-8.0/TRS/Relative_05/rtL-pwl.xml | YES 5756 | TIMEOUT 61004 | MAYBE 59562 | MAYBE 7484 |
| tpdb-8.0/TRS/Relative_05/rtL-rw2.xml | TIMEOUT 60989 | TIMEOUT 60856 | MAYBE 59623 | MAYBE 7579 |
| tpdb-8.0/TRS/Relative_05/rtL-rw5.xml | TIMEOUT 61163 | TIMEOUT 60921 | MAYBE 59595 | MAYBE 7760 |
| tpdb-8.0/TRS/Relative_05/rtL-wl1nz.xml | YES 1832 | YES 3528 | YES 2251 | YES 1441 |
| tpdb-8.0/TRS/Relative_05/rtL-wl1o.xml | TIMEOUT 60756 | TIMEOUT 60689 | MAYBE 59522 | MAYBE 7415 | 35 | 31 | 25 | 25 |