| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/AG01_innermost/#4.25.xml | YES 944 |
| tpdb-8.0/TRS/AG01_innermost/#4.26.xml | YES 1294 |
| tpdb-8.0/TRS/AG01_innermost/#4.28.xml | YES 763 |
| tpdb-8.0/TRS/AG01_innermost/#4.2.xml | YES 910 |
| tpdb-8.0/TRS/AG01_innermost/#4.30a.xml | YES 1535 |
| tpdb-8.0/TRS/AG01_innermost/#4.30b.xml | YES 3831 |
| tpdb-8.0/TRS/AG01_innermost/#4.30.xml | YES 4101 |
| tpdb-8.0/TRS/AG01_innermost/#4.31.xml | YES 2696 |
| tpdb-8.0/TRS/AG01_innermost/#4.32.xml | YES 945 |
| tpdb-8.0/TRS/AG01_innermost/#4.35.xml | YES 2197 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | YES 950 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | YES 1441 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | YES 1502 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | YES 1682 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml | YES 1706 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | YES 1805 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | YES 1678 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml | YES 1538 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | YES 1524 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml | YES 1881 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | YES 3419 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | YES 3207 |
| tpdb-8.0/TRS/Mixed_innermost/bn111.xml | YES 869 |
| tpdb-8.0/TRS/Mixed_innermost/cade04.xml | TIMEOUT 60136 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | YES 2449 |
| tpdb-8.0/TRS/Mixed_innermost/cade12.xml | TIMEOUT 60397 |
| tpdb-8.0/TRS/Mixed_innermost/gkg.xml | YES 884 |
| tpdb-8.0/TRS/Mixed_innermost/muladd.xml | NO 1427 |
| tpdb-8.0/TRS/Mixed_innermost/test75.xml | YES 1421 |
| tpdb-8.0/TRS/Mixed_innermost/test77.xml | YES 1340 |
| tpdb-8.0/TRS/Mixed_innermost/test833.xml | YES 934 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml | YES 4331 |
| tpdb-8.0/TRS/Mixed_innermost/toyama.xml | YES 843 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml | TIMEOUT 60448 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml | YES 1314 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml | YES 1120 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml | YES 1230 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml | YES 8826 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml | TIMEOUT 60663 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml | YES 765 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml | YES 1301 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml | YES 1000 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml | YES 728 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml | YES 1179 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml | YES 3068 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml | YES 776 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml | YES 19798 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml | YES 6232 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml | YES 12105 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml | TIMEOUT 60706 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml | YES 1904 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml | YES 1396 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml | TIMEOUT 60359 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml | YES 770 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml | TIMEOUT 60520 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml | TIMEOUT 60435 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60605 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml | TIMEOUT 60420 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 60519 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml | TIMEOUT 60404 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml | TIMEOUT 60514 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml | YES 1945 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml | YES 26388 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml | YES 32722 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml | NO 5654 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml | YES 23780 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml | YES 1662 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml | YES 808 | 55 |