| benchmark | AProVE | AProVE-CeTA |
|---|---|---|
| tpdb-8.0/TRS/AG01_innermost/#4.16.xml | YES 962 | YES 2579 |
| tpdb-8.0/TRS/AG01_innermost/#4.22.xml | YES 1013 | YES 2768 |
| tpdb-8.0/TRS/AG01_innermost/#4.27.xml | YES 1093 | YES 3463 |
| tpdb-8.0/TRS/AG01_innermost/#4.2.xml | YES 974 | YES 2638 |
| tpdb-8.0/TRS/AG01_innermost/#4.30a.xml | YES 1592 | YES 3426 |
| tpdb-8.0/TRS/AG01_innermost/#4.30.xml | YES 3996 | YES 24686 |
| tpdb-8.0/TRS/AG01_innermost/#4.31.xml | YES 3051 | YES 3987 |
| tpdb-8.0/TRS/AG01_innermost/#4.33.xml | YES 1251 | YES 4033 |
| tpdb-8.0/TRS/AG01_innermost/#4.34.xml | YES 1236 | YES 3074 |
| tpdb-8.0/TRS/AG01_innermost/#4.37a.xml | YES 1071 | YES 2502 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | YES 1029 | YES 2431 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | YES 1409 | YES 3871 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | YES 1510 | YES 4915 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | YES 1624 | YES 5521 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml | YES 1630 | YES 15653 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | YES 1674 | YES 5625 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | YES 1486 | YES 5281 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | YES 1433 | YES 4585 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml | YES 1830 | YES 50065 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | YES 2726 | TIMEOUT 61109 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | YES 1412 | YES 4657 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | YES 3183 | YES 7604 |
| tpdb-8.0/TRS/Mixed_innermost/bn111.xml | YES 927 | YES 2609 |
| tpdb-8.0/TRS/Mixed_innermost/cade04.xml | TIMEOUT 60219 | TIMEOUT 60410 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | YES 2441 | TIMEOUT 60033 |
| tpdb-8.0/TRS/Mixed_innermost/cade13.xml | YES 2058 | TIMEOUT 61082 |
| tpdb-8.0/TRS/Mixed_innermost/innermost2.xml | YES 1000 | YES 2725 |
| tpdb-8.0/TRS/Mixed_innermost/innermost4.xml | YES 1219 | YES 3708 |
| tpdb-8.0/TRS/Mixed_innermost/muladd.xml | NO 1480 | NO 5209 |
| tpdb-8.0/TRS/Mixed_innermost/test10.xml | YES 1109 | YES 2753 |
| tpdb-8.0/TRS/Mixed_innermost/test76.xml | YES 2709 | YES 3014 |
| tpdb-8.0/TRS/Mixed_innermost/test830.xml | YES 998 | YES 2595 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml | YES 4410 | YES 27518 |
| tpdb-8.0/TRS/raML/appendAll.raml.xml | YES 876 | YES 2710 |
| tpdb-8.0/TRS/raML/bfs.raml.xml | MAYBE 379 | MAYBE 666 |
| tpdb-8.0/TRS/raML/bitvectors.raml.xml | MAYBE 464 | MAYBE 744 |
| tpdb-8.0/TRS/raML/clevermmult.raml.xml | MAYBE 363 | MAYBE 641 |
| tpdb-8.0/TRS/raML/duplicates.raml.xml | MAYBE 350 | MAYBE 623 |
| tpdb-8.0/TRS/raML/flatten.raml.xml | MAYBE 336 | MAYBE 619 |
| tpdb-8.0/TRS/raML/listsort.raml.xml | MAYBE 371 | MAYBE 666 |
| tpdb-8.0/TRS/raML/longestCommonSubsequence.raml.xml | MAYBE 398 | MAYBE 680 |
| tpdb-8.0/TRS/raML/queue.raml.xml | YES 7918 | YES 11397 |
| tpdb-8.0/TRS/raML/rationalPotential.raml.xml | YES 899 | YES 2532 |
| tpdb-8.0/TRS/raML/subtrees.raml.xml | YES 1136 | YES 3021 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml | YES 2115 | YES 4130 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml | YES 1046 | YES 4145 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_C.xml | TIMEOUT 60544 | TIMEOUT 60945 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml | TIMEOUT 60567 | TIMEOUT 61165 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml | YES 843 | YES 2975 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml | YES 936 | YES 2939 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml | YES 750 | YES 2220 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml | YES 1054 | YES 2743 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml | YES 799 | YES 2797 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml | YES 1004 | YES 2813 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml | YES 855 | YES 2375 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml | TIMEOUT 60493 | TIMEOUT 60688 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml | TIMEOUT 60483 | TIMEOUT 60940 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml | YES 8031 | YES 8384 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml | TIMEOUT 60506 | TIMEOUT 60922 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml | YES 4068 | YES 21858 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_C.xml | YES 3312 | YES 9185 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml | YES 1012 | YES 2903 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml | YES 2210 | YES 4104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml | YES 3929 | YES 12958 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml | TIMEOUT 60399 | TIMEOUT 61073 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml | YES 47116 | TIMEOUT 60907 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml | YES 40337 | TIMEOUT 60969 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml | YES 937 | YES 3147 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml | TIMEOUT 60324 | TIMEOUT 61063 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml | TIMEOUT 60374 | TIMEOUT 61118 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60486 | TIMEOUT 62167 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | TIMEOUT 60529 | TIMEOUT 60985 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml | TIMEOUT 60418 | TIMEOUT 60984 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml | TIMEOUT 60452 | TIMEOUT 60963 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml | TIMEOUT 60411 | TIMEOUT 61110 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml | YES 1078 | YES 3791 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml | YES 2235 | YES 6424 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml | YES 2537 | YES 25312 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml | YES 905 | YES 3297 | 58 | 53 |