| benchmark | AProVE-CeTA | TTT2Cert |
|---|---|---|
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | UNCERTIFIED 61236 | UNCERTIFIED 7550 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | UNCERTIFIED 60821 | UNCERTIFIED 7613 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | NO 2448 | UNCERTIFIED 7381 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 4470 | YES 2114 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | UNCERTIFIED 60973 | UNCERTIFIED 7390 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | NO 2404 | NO 466 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | UNCERTIFIED 60645 | UNCERTIFIED 7410 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 2572 | YES 693 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | UNCERTIFIED 60617 | UNCERTIFIED 7400 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 21776 | UNCERTIFIED 7620 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 8323 | UNCERTIFIED 7576 |
| tpdb-8.0/TRS/Relative_05/rt1-1.xml | YES 2333 | YES 440 |
| tpdb-8.0/TRS/Relative_05/rt1-2.xml | YES 2368 | YES 466 |
| tpdb-8.0/TRS/Relative_05/rt1-3.xml | YES 2419 | YES 836 |
| tpdb-8.0/TRS/Relative_05/rt1-4.xml | YES 2421 | YES 584 |
| tpdb-8.0/TRS/Relative_05/rt1-5.xml | YES 2471 | YES 758 |
| tpdb-8.0/TRS/Relative_05/rt2-1.xml | YES 2417 | YES 469 |
| tpdb-8.0/TRS/Relative_05/rt2-2.xml | YES 2324 | YES 461 |
| tpdb-8.0/TRS/Relative_05/rt2-3.xml | YES 2437 | YES 575 |
| tpdb-8.0/TRS/Relative_05/rt2-4.xml | YES 2404 | YES 479 |
| tpdb-8.0/TRS/Relative_05/rt2-5.xml | YES 2488 | UNCERTIFIED 585 |
| tpdb-8.0/TRS/Relative_05/rt2-7.xml | YES 2671 | YES 617 |
| tpdb-8.0/TRS/Relative_05/rt2-8.xml | NO 2388 | UNCERTIFIED 7384 |
| tpdb-8.0/TRS/Relative_05/rt3-1.xml | YES 2528 | YES 645 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 2533 | YES 647 |
| tpdb-8.0/TRS/Relative_05/rt3-3.xml | NO 2287 | UNCERTIFIED 7373 |
| tpdb-8.0/TRS/Relative_05/rt3-4.xml | UNCERTIFIED 1467 | UNCERTIFIED 7386 |
| tpdb-8.0/TRS/Relative_05/rt3-5.xml | YES 3056 | YES 747 |
| tpdb-8.0/TRS/Relative_05/rt3-6.xml | NO 2319 | UNCERTIFIED 490 |
| tpdb-8.0/TRS/Relative_05/rt3-7.xml | YES 2603 | YES 629 |
| tpdb-8.0/TRS/Relative_05/rt3-8.xml | NO 2335 | NO 449 |
| tpdb-8.0/TRS/Relative_05/rt3-9.xml | YES 2574 | YES 841 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml | UNCERTIFIED 60660 | UNCERTIFIED 7455 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn5.xml | UNCERTIFIED 60920 | UNCERTIFIED 7457 |
| tpdb-8.0/TRS/Relative_05/rtL-cbo.xml | UNCERTIFIED 60659 | UNCERTIFIED 7439 |
| tpdb-8.0/TRS/Relative_05/rtL-evnz.xml | NO 20860 | UNCERTIFIED 7431 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | NO 2653 | NO 467 |
| tpdb-8.0/TRS/Relative_05/rtL-me2.xml | YES 2602 | YES 1074 |
| tpdb-8.0/TRS/Relative_05/rtL-me3.xml | YES 2912 | YES 2292 |
| tpdb-8.0/TRS/Relative_05/rtL-pwl.xml | UNCERTIFIED 61151 | UNCERTIFIED 7444 |
| tpdb-8.0/TRS/Relative_05/rtL-rw2.xml | UNCERTIFIED 60708 | UNCERTIFIED 7559 |
| tpdb-8.0/TRS/Relative_05/rtL-rw5.xml | UNCERTIFIED 61080 | UNCERTIFIED 7522 |
| tpdb-8.0/TRS/Relative_05/rtL-wl1nz.xml | YES 2600 | YES 1297 |
| tpdb-8.0/TRS/Relative_05/rtL-wl1o.xml | UNCERTIFIED 60552 | UNCERTIFIED 7396 | 31 | 23 |