| benchmark | AProVE |
|---|---|
| tpdb-8.0/TRS/AG01_innermost/#4.12a.xml | YES 1734 |
| tpdb-8.0/TRS/AG01_innermost/#4.13.xml | YES 1634 |
| tpdb-8.0/TRS/AG01_innermost/#4.14.xml | YES 1633 |
| tpdb-8.0/TRS/AG01_innermost/#4.15.xml | YES 2083 |
| tpdb-8.0/TRS/AG01_innermost/#4.16.xml | YES 1759 |
| tpdb-8.0/TRS/AG01_innermost/#4.17.xml | YES 2293 |
| tpdb-8.0/TRS/AG01_innermost/#4.18.xml | YES 2093 |
| tpdb-8.0/TRS/AG01_innermost/#4.19.xml | YES 1756 |
| tpdb-8.0/TRS/AG01_innermost/#4.20a.xml | YES 2203 |
| tpdb-8.0/TRS/AG01_innermost/#4.20.xml | YES 1807 |
| tpdb-8.0/TRS/AG01_innermost/#4.21.xml | YES 2102 |
| tpdb-8.0/TRS/AG01_innermost/#4.22.xml | YES 1705 |
| tpdb-8.0/TRS/AG01_innermost/#4.23.xml | YES 2295 |
| tpdb-8.0/TRS/AG01_innermost/#4.24.xml | YES 2444 |
| tpdb-8.0/TRS/AG01_innermost/#4.25.xml | YES 1629 |
| tpdb-8.0/TRS/AG01_innermost/#4.26.xml | YES 2487 |
| tpdb-8.0/TRS/AG01_innermost/#4.27.xml | YES 2429 |
| tpdb-8.0/TRS/AG01_innermost/#4.28.xml | YES 2523 |
| tpdb-8.0/TRS/AG01_innermost/#4.29.xml | YES 2944 |
| tpdb-8.0/TRS/AG01_innermost/#4.2.xml | YES 1752 |
| tpdb-8.0/TRS/AG01_innermost/#4.30a.xml | YES 2464 |
| tpdb-8.0/TRS/AG01_innermost/#4.30b.xml | YES 14066 |
| tpdb-8.0/TRS/AG01_innermost/#4.30.xml | YES 9043 |
| tpdb-8.0/TRS/AG01_innermost/#4.31.xml | YES 4906 |
| tpdb-8.0/TRS/AG01_innermost/#4.32.xml | YES 2123 |
| tpdb-8.0/TRS/AG01_innermost/#4.33.xml | YES 2767 |
| tpdb-8.0/TRS/AG01_innermost/#4.34.xml | YES 2672 |
| tpdb-8.0/TRS/AG01_innermost/#4.35.xml | YES 4105 |
| tpdb-8.0/TRS/AG01_innermost/#4.36.xml | YES 3789 |
| tpdb-8.0/TRS/AG01_innermost/#4.37a.xml | YES 2560 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | YES 2573 |
| tpdb-8.0/TRS/AG01_innermost/#4.3.xml | YES 1524 |
| tpdb-8.0/TRS/AG01_innermost/#4.4.xml | YES 1576 |
| tpdb-8.0/TRS/AG01_innermost/#4.5.xml | YES 1597 |
| tpdb-8.0/TRS/AG01_innermost/#4.7.xml | YES 2111 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | YES 2653 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | YES 2660 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | YES 2964 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml | YES 2945 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | YES 3145 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | YES 2967 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.24.xml | YES 3095 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml | YES 3711 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml | YES 3122 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | YES 2873 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml | YES 3241 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | YES 5809 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.3.xml | YES 2716 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml | YES 2614 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | YES 2540 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | YES 2842 |
| tpdb-8.0/TRS/Mixed_innermost/bn111.xml | YES 1588 |
| tpdb-8.0/TRS/Mixed_innermost/cade04.xml | TIMEOUT 60610 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | YES 2734 |
| tpdb-8.0/TRS/Mixed_innermost/cade12.xml | TIMEOUT 60762 |
| tpdb-8.0/TRS/Mixed_innermost/cade13.xml | YES 3395 |
| tpdb-8.0/TRS/Mixed_innermost/gkg.xml | YES 1910 |
| tpdb-8.0/TRS/Mixed_innermost/innermost1.xml | YES 1588 |
| tpdb-8.0/TRS/Mixed_innermost/innermost2.xml | YES 2272 |
| tpdb-8.0/TRS/Mixed_innermost/innermost3.xml | YES 1695 |
| tpdb-8.0/TRS/Mixed_innermost/innermost4.xml | YES 2336 |
| tpdb-8.0/TRS/Mixed_innermost/innermost5.xml | MAYBE 18625 |
| tpdb-8.0/TRS/Mixed_innermost/muladd.xml | NO 2132 |
| tpdb-8.0/TRS/Mixed_innermost/n001.xml | NO 4091 |
| tpdb-8.0/TRS/Mixed_innermost/test10.xml | YES 2296 |
| tpdb-8.0/TRS/Mixed_innermost/test75.xml | YES 1746 |
| tpdb-8.0/TRS/Mixed_innermost/test76.xml | YES 1707 |
| tpdb-8.0/TRS/Mixed_innermost/test77.xml | YES 1755 |
| tpdb-8.0/TRS/Mixed_innermost/test830.xml | YES 2068 |
| tpdb-8.0/TRS/Mixed_innermost/test833.xml | YES 1681 |
| tpdb-8.0/TRS/Mixed_innermost/test9.xml | YES 1690 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml | YES 9706 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml | YES 9978 |
| tpdb-8.0/TRS/Mixed_innermost/toyama.xml | YES 1582 |
| tpdb-8.0/TRS/Mixed_innermost/tricky1.xml | YES 2329 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe13.xml | YES 5453 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe14.xml | YES 5031 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml | TIMEOUT 60349 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml | TIMEOUT 60416 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml | YES 34430 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml | YES 3804 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml | YES 2374 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml | YES 5215 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml | TIMEOUT 60478 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml | YES 2628 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml | YES 4620 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml | TIMEOUT 60427 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml | YES 2614 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml | YES 3915 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml | YES 2607 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml | YES 2329 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml | YES 2544 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml | YES 6242 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml | YES 3597 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml | YES 8946 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml | TIMEOUT 60316 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml | YES 1947 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml | YES 2556 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml | YES 2673 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml | YES 2457 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml | YES 2638 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml | YES 1474 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml | YES 6048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml | YES 2558 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml | YES 3342 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_C.xml | TIMEOUT 60308 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml | TIMEOUT 60476 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml | TIMEOUT 60284 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_C.xml | TIMEOUT 60354 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml | YES 1927 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml | YES 7148 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml | TIMEOUT 60402 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml | TIMEOUT 60355 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml | TIMEOUT 60412 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml | YES 6914 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml | YES 3953 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml | YES 7766 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml | YES 2789 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml | YES 1592 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml | YES 2549 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml | YES 2848 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml | YES 2424 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml | YES 2424 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml | YES 1482 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_C.xml | TIMEOUT 61645 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml | YES 1755 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml | YES 2633 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml | YES 4567 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml | YES 2285 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml | YES 2746 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml | YES 3186 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml | YES 2665 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml | YES 2937 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml | YES 1642 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml | YES 7922 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml | YES 6070 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml | YES 13549 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml | YES 1965 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml | YES 13491 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml | YES 53940 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml | YES 49870 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml | YES 2194 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml | YES 5701 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml | YES 4130 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml | YES 4801 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml | YES 1609 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml | TIMEOUT 60429 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 61083 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml | TIMEOUT 60358 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml | TIMEOUT 60323 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml | TIMEOUT 60362 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml | TIMEOUT 60331 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml | YES 6732 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml | YES 5020 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml | YES 11242 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml | YES 1584 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml | YES 2822 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml | YES 2140 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml | YES 3510 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml | YES 1543 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml | YES 4851 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml | YES 3703 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml | YES 6059 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml | YES 2120 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml | TIMEOUT 60324 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 60596 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml | TIMEOUT 60369 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml | TIMEOUT 60492 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml | YES 8276 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml | YES 14509 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml | YES 3458 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml | YES 2002 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml | YES 3007 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_C.xml | YES 11645 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml | YES 4347 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml | YES 8615 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml | TIMEOUT 60341 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml | YES 24801 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml | TIMEOUT 60393 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml | TIMEOUT 60285 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml | TIMEOUT 61089 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml | TIMEOUT 60571 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml | TIMEOUT 60337 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml | TIMEOUT 60393 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml | TIMEOUT 60370 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml | YES 16788 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml | YES 6082 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml | YES 20440 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml | YES 4225 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml | YES 3066 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml | YES 5303 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml | TIMEOUT 60581 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml | TIMEOUT 60508 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml | TIMEOUT 60406 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml | YES 3772 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml | YES 4900 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml | YES 6954 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_C.xml | YES 3589 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml | YES 1608 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml | YES 2330 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml | YES 4653 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml | YES 2994 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml | YES 4931 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml | YES 1643 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml | TIMEOUT 60308 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml | TIMEOUT 60334 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml | TIMEOUT 60428 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml | TIMEOUT 60344 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml | TIMEOUT 61092 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml | TIMEOUT 60327 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml | YES 11424 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml | YES 6639 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml | YES 8313 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml | YES 1813 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml | TIMEOUT 60501 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml | YES 2700 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml | TIMEOUT 60269 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml | YES 4498 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml | YES 2454 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml | YES 2804 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml | TIMEOUT 60827 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml | TIMEOUT 60381 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml | TIMEOUT 60609 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml | YES 2827 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml | YES 2464 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml | YES 2361 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml | YES 1539 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml | YES 7046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml | YES 3724 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml | YES 6939 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml | YES 5506 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml | YES 3231 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml | YES 5682 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml | TIMEOUT 60383 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml | TIMEOUT 60360 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml | TIMEOUT 60514 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml | TIMEOUT 60320 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml | TIMEOUT 60399 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml | TIMEOUT 60316 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml | YES 4881 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml | YES 3118 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml | YES 7510 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml | YES 2313 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml | YES 13702 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml | TIMEOUT 60654 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml | YES 18258 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml | YES 2437 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml | TIMEOUT 60492 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60518 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml | TIMEOUT 60348 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml | TIMEOUT 60895 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml | YES 21524 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60329 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml | TIMEOUT 60386 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml | YES 21706 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml | TIMEOUT 60428 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | TIMEOUT 60327 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml | YES 5419 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml | TIMEOUT 60369 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml | TIMEOUT 60301 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml | YES 6609 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | YES 32431 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml | TIMEOUT 60385 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml | NO 3700 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60360 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml | TIMEOUT 60314 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml | NO 4685 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | TIMEOUT 60381 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml | TIMEOUT 60455 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml | TIMEOUT 60395 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml | TIMEOUT 60291 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml | TIMEOUT 60838 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml | TIMEOUT 60276 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml | TIMEOUT 60665 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60405 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml | TIMEOUT 60345 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml | TIMEOUT 60322 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml | TIMEOUT 60338 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml | TIMEOUT 60516 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml | TIMEOUT 60553 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml | TIMEOUT 60960 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml | TIMEOUT 60379 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml | TIMEOUT 60344 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml | TIMEOUT 60448 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 60502 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml | TIMEOUT 60394 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_C.xml | YES 11795 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml | YES 9236 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml | YES 8094 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml | TIMEOUT 60502 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml | TIMEOUT 60420 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml | TIMEOUT 60361 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml | YES 6877 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml | YES 4636 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml | YES 5111 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml | TIMEOUT 60479 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml | YES 18872 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml | TIMEOUT 60346 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml | YES 3919 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml | YES 2940 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml | YES 3364 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml | YES 9808 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml | YES 4123 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml | YES 5635 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml | TIMEOUT 60456 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml | TIMEOUT 60289 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml | TIMEOUT 61023 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml | TIMEOUT 60377 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml | YES 34008 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml | TIMEOUT 60277 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml | TIMEOUT 60283 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60303 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60323 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml | TIMEOUT 60358 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml | YES 16300 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml | TIMEOUT 60350 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml | TIMEOUT 60273 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml | TIMEOUT 60852 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml | TIMEOUT 60396 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml | TIMEOUT 60395 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml | TIMEOUT 60935 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml | TIMEOUT 60470 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml | YES 15369 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml | YES 9310 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml | YES 13145 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml | TIMEOUT 60262 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml | YES 23102 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml | TIMEOUT 60470 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml | YES 5426 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml | YES 4548 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml | YES 5979 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml | YES 8583 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml | YES 6452 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml | YES 5695 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml | YES 4419 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml | YES 3066 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml | YES 3281 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml | YES 5759 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml | YES 3312 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml | YES 3859 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_C.xml | YES 7640 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_GM.xml | YES 5125 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml | YES 5283 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml | TIMEOUT 60355 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml | YES 12361 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml | TIMEOUT 60450 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml | YES 6520 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml | YES 3214 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml | YES 4130 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml | TIMEOUT 60347 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml | YES 7210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml | YES 19563 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml | YES 4601 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml | YES 3011 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml | YES 3106 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml | YES 6356 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml | YES 3736 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml | YES 4427 | 245 |