| benchmark | AProVE | muterm |
|---|---|---|
| tpdb-8.0/TRS/AG01_innermost/#4.12a.xml | YES 1170 | YES 321 |
| tpdb-8.0/TRS/AG01_innermost/#4.13.xml | YES 884 | YES 95 |
| tpdb-8.0/TRS/AG01_innermost/#4.14.xml | YES 938 | YES 67 |
| tpdb-8.0/TRS/AG01_innermost/#4.15.xml | YES 977 | YES 71 |
| tpdb-8.0/TRS/AG01_innermost/#4.16.xml | YES 908 | YES 117 |
| tpdb-8.0/TRS/AG01_innermost/#4.17.xml | YES 1090 | YES 6505 |
| tpdb-8.0/TRS/AG01_innermost/#4.18.xml | YES 1016 | YES 115 |
| tpdb-8.0/TRS/AG01_innermost/#4.19.xml | YES 953 | YES 104 |
| tpdb-8.0/TRS/AG01_innermost/#4.20a.xml | YES 741 | YES 90 |
| tpdb-8.0/TRS/AG01_innermost/#4.20.xml | YES 765 | YES 47 |
| tpdb-8.0/TRS/AG01_innermost/#4.21.xml | YES 771 | YES 51 |
| tpdb-8.0/TRS/AG01_innermost/#4.22.xml | YES 924 | YES 75 |
| tpdb-8.0/TRS/AG01_innermost/#4.23.xml | YES 1352 | YES 88 |
| tpdb-8.0/TRS/AG01_innermost/#4.24.xml | YES 1100 | YES 68 |
| tpdb-8.0/TRS/AG01_innermost/#4.25.xml | YES 954 | YES 151 |
| tpdb-8.0/TRS/AG01_innermost/#4.26.xml | YES 1330 | YES 184 |
| tpdb-8.0/TRS/AG01_innermost/#4.27.xml | YES 1022 | YES 111 |
| tpdb-8.0/TRS/AG01_innermost/#4.28.xml | YES 793 | YES 100 |
| tpdb-8.0/TRS/AG01_innermost/#4.29.xml | YES 1562 | YES 166 |
| tpdb-8.0/TRS/AG01_innermost/#4.2.xml | YES 926 | YES 61 |
| tpdb-8.0/TRS/AG01_innermost/#4.30a.xml | YES 1543 | YES 231 |
| tpdb-8.0/TRS/AG01_innermost/#4.30b.xml | YES 4314 | YES 3066 |
| tpdb-8.0/TRS/AG01_innermost/#4.30.xml | YES 4152 | YES 5220 |
| tpdb-8.0/TRS/AG01_innermost/#4.31.xml | YES 2876 | YES 7789 |
| tpdb-8.0/TRS/AG01_innermost/#4.32.xml | YES 962 | YES 68 |
| tpdb-8.0/TRS/AG01_innermost/#4.33.xml | YES 1182 | YES 116 |
| tpdb-8.0/TRS/AG01_innermost/#4.34.xml | YES 1142 | YES 109 |
| tpdb-8.0/TRS/AG01_innermost/#4.35.xml | YES 2234 | YES 258 |
| tpdb-8.0/TRS/AG01_innermost/#4.36.xml | YES 1842 | YES 157 |
| tpdb-8.0/TRS/AG01_innermost/#4.37a.xml | YES 1029 | YES 91 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | YES 969 | YES 94 |
| tpdb-8.0/TRS/AG01_innermost/#4.3.xml | YES 874 | YES 43 |
| tpdb-8.0/TRS/AG01_innermost/#4.4.xml | YES 876 | YES 97 |
| tpdb-8.0/TRS/AG01_innermost/#4.5.xml | YES 1247 | YES 42 |
| tpdb-8.0/TRS/AG01_innermost/#4.7.xml | YES 870 | YES 53 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | YES 1447 | YES 90 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | YES 1527 | YES 95 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | YES 1681 | YES 146 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml | YES 1692 | YES 3777 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | YES 1756 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | YES 1565 | MAYBE 8802 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.24.xml | YES 1765 | YES 112 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml | YES 2345 | MAYBE 20164 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml | YES 1515 | MAYBE 2098 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | YES 1474 | YES 100 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml | YES 1848 | YES 1280 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | YES 3446 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.3.xml | YES 1496 | YES 90 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml | YES 1344 | YES 88 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | YES 1477 | YES 97 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | YES 3259 | YES 1393 |
| tpdb-8.0/TRS/Mixed_innermost/bn111.xml | YES 879 | YES 72 |
| tpdb-8.0/TRS/Mixed_innermost/cade04.xml | TIMEOUT 60160 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | YES 2440 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Mixed_innermost/cade12.xml | TIMEOUT 60521 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Mixed_innermost/cade13.xml | YES 2090 | TIMEOUT 60037 |
| tpdb-8.0/TRS/Mixed_innermost/gkg.xml | YES 884 | YES 50 |
| tpdb-8.0/TRS/Mixed_innermost/innermost1.xml | YES 875 | YES 48 |
| tpdb-8.0/TRS/Mixed_innermost/innermost2.xml | YES 963 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Mixed_innermost/innermost3.xml | YES 1211 | YES 954 |
| tpdb-8.0/TRS/Mixed_innermost/innermost4.xml | YES 1195 | YES 2929 |
| tpdb-8.0/TRS/Mixed_innermost/innermost5.xml | YES 1260 | TIMEOUT 60039 |
| tpdb-8.0/TRS/Mixed_innermost/muladd.xml | NO 1410 | MAYBE 327 |
| tpdb-8.0/TRS/Mixed_innermost/n001.xml | NO 1686 | MAYBE 1083 |
| tpdb-8.0/TRS/Mixed_innermost/test10.xml | YES 993 | YES 66 |
| tpdb-8.0/TRS/Mixed_innermost/test75.xml | YES 1438 | YES 216 |
| tpdb-8.0/TRS/Mixed_innermost/test76.xml | YES 2654 | YES 232 |
| tpdb-8.0/TRS/Mixed_innermost/test77.xml | YES 1353 | YES 256 |
| tpdb-8.0/TRS/Mixed_innermost/test830.xml | YES 985 | YES 91 |
| tpdb-8.0/TRS/Mixed_innermost/test833.xml | YES 956 | YES 204 |
| tpdb-8.0/TRS/Mixed_innermost/test9.xml | YES 1187 | YES 314 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml | YES 3195 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml | YES 4757 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Mixed_innermost/toyama.xml | YES 850 | YES 103 |
| tpdb-8.0/TRS/Mixed_innermost/tricky1.xml | YES 944 | YES 70 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe13.xml | YES 2256 | YES 406 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe14.xml | YES 2230 | YES 548 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml | TIMEOUT 60470 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml | YES 34724 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml | YES 33846 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml | YES 1503 | YES 162 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml | YES 2574 | YES 471 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml | YES 4734 | YES 985 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml | YES 3315 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml | YES 1317 | YES 103 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml | YES 3243 | YES 709 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml | TIMEOUT 60413 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml | YES 1239 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml | YES 2726 | TIMEOUT 60039 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml | YES 1342 | YES 17426 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml | YES 761 | YES 117 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml | YES 1147 | YES 84 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml | YES 5918 | YES 356 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml | YES 1269 | YES 240 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml | YES 4486 | YES 813 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml | YES 27772 | TIMEOUT 60036 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml | YES 929 | YES 66 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml | YES 1222 | MAYBE 58760 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml | YES 1076 | YES 111 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml | YES 783 | YES 68 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml | YES 938 | YES 97 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml | YES 756 | YES 41 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml | YES 5011 | YES 10352 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml | YES 1136 | YES 77 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml | YES 1727 | YES 1169 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_C.xml | TIMEOUT 60456 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml | TIMEOUT 60475 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml | TIMEOUT 60519 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_C.xml | YES 41361 | TIMEOUT 60043 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml | YES 1208 | YES 89 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml | YES 9094 | MAYBE 54181 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml | TIMEOUT 60729 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml | TIMEOUT 60473 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml | TIMEOUT 60493 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml | YES 3441 | YES 2858 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml | YES 2033 | YES 820 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml | YES 3244 | YES 4318 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml | YES 1799 | YES 16350 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml | YES 782 | YES 84 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml | YES 876 | YES 87 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml | YES 1335 | YES 186 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml | YES 780 | YES 59 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml | YES 1352 | YES 68 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml | YES 742 | YES 46 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_C.xml | TIMEOUT 60472 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml | YES 999 | YES 108 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml | YES 1300 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml | YES 1471 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml | YES 1017 | YES 62 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml | YES 1371 | TIMEOUT 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml | YES 1176 | YES 158 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml | YES 780 | YES 70 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml | YES 1728 | YES 155 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml | YES 775 | YES 44 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml | YES 4228 | YES 714 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml | YES 3253 | YES 283 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml | YES 6627 | YES 872 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml | YES 814 | YES 74 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml | YES 4747 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml | YES 3383 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml | YES 5411 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml | YES 970 | YES 71 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml | YES 3740 | YES 372 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml | YES 2355 | YES 231 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml | YES 4119 | YES 556 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml | YES 807 | YES 63 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml | TIMEOUT 60497 | TIMEOUT 60040 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 60411 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml | TIMEOUT 60502 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml | TIMEOUT 60441 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml | TIMEOUT 60974 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml | TIMEOUT 60543 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml | YES 3204 | YES 523 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml | YES 2916 | YES 393 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml | YES 5032 | YES 630 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml | YES 776 | YES 66 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml | YES 1003 | YES 127 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml | YES 1259 | YES 104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml | YES 1337 | YES 107 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml | YES 742 | YES 49 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml | YES 9877 | YES 27855 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml | YES 1189 | YES 152 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml | YES 3556 | YES 417 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml | YES 741 | YES 81 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml | TIMEOUT 60456 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 61051 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml | TIMEOUT 60414 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml | TIMEOUT 60468 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml | YES 3113 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml | YES 7211 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml | YES 1492 | YES 209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml | YES 800 | YES 105 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml | YES 1239 | YES 243 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_C.xml | YES 3090 | YES 5486 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml | YES 3681 | YES 873 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml | YES 5798 | YES 1465 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml | TIMEOUT 60538 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml | YES 19570 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml | YES 29148 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml | TIMEOUT 60369 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml | TIMEOUT 60797 | TIMEOUT 60040 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml | TIMEOUT 60388 | TIMEOUT 60043 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml | TIMEOUT 60547 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml | TIMEOUT 61279 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml | TIMEOUT 60470 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml | YES 6277 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml | YES 3387 | YES 5347 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml | YES 12636 | YES 18086 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml | YES 1893 | YES 4040 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml | YES 996 | YES 2012 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml | YES 1853 | YES 8946 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml | TIMEOUT 60524 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml | TIMEOUT 60431 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml | TIMEOUT 60433 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml | YES 1510 | YES 224 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml | YES 3287 | YES 44110 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml | YES 9787 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_C.xml | YES 1045 | YES 174 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml | YES 776 | YES 60 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml | YES 787 | YES 111 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml | YES 2585 | YES 265 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml | YES 1492 | YES 140 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml | YES 3073 | YES 223 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml | YES 758 | YES 51 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml | TIMEOUT 60536 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml | TIMEOUT 60712 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml | TIMEOUT 60545 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml | TIMEOUT 60451 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml | TIMEOUT 60572 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml | TIMEOUT 60492 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml | YES 5689 | YES 509 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml | YES 3009 | YES 241 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml | YES 6190 | YES 672 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml | YES 777 | YES 105 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml | TIMEOUT 60430 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml | YES 1922 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml | TIMEOUT 60434 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml | YES 23706 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml | YES 765 | YES 84 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml | YES 1403 | YES 11367 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml | TIMEOUT 60434 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml | TIMEOUT 60336 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml | YES 46463 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml | YES 1304 | YES 134 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml | YES 750 | YES 66 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml | YES 1298 | YES 76 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml | YES 748 | YES 43 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml | YES 3785 | YES 2985 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml | YES 2340 | YES 1545 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml | YES 3665 | YES 3496 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml | YES 2668 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml | YES 1282 | YES 159 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml | YES 2850 | YES 1862 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml | TIMEOUT 60384 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml | YES 20175 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml | TIMEOUT 60524 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml | TIMEOUT 60542 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml | TIMEOUT 60546 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml | TIMEOUT 60524 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml | YES 42998 | YES 28104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml | YES 1243 | YES 217 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml | YES 4016 | YES 588 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml | YES 757 | YES 152 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml | YES 4969 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml | YES 3870 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml | YES 5756 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml | YES 1021 | YES 67 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml | TIMEOUT 60496 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60812 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml | TIMEOUT 60469 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml | TIMEOUT 60470 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml | YES 15176 | YES 36692 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60426 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml | TIMEOUT 60642 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml | YES 15186 | YES 7258 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml | TIMEOUT 60611 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | TIMEOUT 60705 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml | YES 2803 | YES 2007 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml | TIMEOUT 60412 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml | TIMEOUT 60343 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml | YES 3300 | YES 895 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | YES 21331 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml | TIMEOUT 60725 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml | NO 1707 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60424 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml | TIMEOUT 60389 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml | NO 3262 | TIMEOUT 60035 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | TIMEOUT 60378 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml | TIMEOUT 60655 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml | TIMEOUT 60519 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml | TIMEOUT 60505 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml | TIMEOUT 60545 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml | TIMEOUT 60516 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml | TIMEOUT 60551 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60606 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml | TIMEOUT 60379 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml | TIMEOUT 60523 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml | TIMEOUT 60707 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml | TIMEOUT 60619 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml | TIMEOUT 60632 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml | TIMEOUT 60450 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml | TIMEOUT 60354 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml | TIMEOUT 60456 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml | TIMEOUT 60514 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 60535 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml | TIMEOUT 60391 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_C.xml | YES 5103 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml | YES 2578 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml | YES 3956 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml | TIMEOUT 60626 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml | TIMEOUT 60343 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml | TIMEOUT 60546 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml | YES 2551 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml | YES 1537 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml | YES 2028 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml | TIMEOUT 60379 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml | YES 9924 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml | YES 25467 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml | YES 1673 | YES 6219 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml | YES 1118 | YES 36474 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml | YES 1363 | YES 26288 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml | YES 2693 | YES 14682 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml | YES 1443 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml | YES 2663 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml | TIMEOUT 60560 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml | TIMEOUT 60507 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml | TIMEOUT 60719 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml | TIMEOUT 60769 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml | YES 33286 | YES 20317 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml | TIMEOUT 60409 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml | TIMEOUT 60476 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60366 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60423 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml | TIMEOUT 60450 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml | YES 9603 | YES 2051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml | TIMEOUT 60612 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml | TIMEOUT 60396 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml | NO 5815 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml | TIMEOUT 60494 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml | TIMEOUT 60483 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml | NO 12964 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml | TIMEOUT 60707 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml | YES 6050 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml | YES 3287 | YES 25423 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml | YES 6846 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml | YES 28995 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml | YES 6758 | YES 9480 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml | TIMEOUT 60391 | TIMEOUT 60440 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml | YES 2961 | YES 557 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml | YES 2267 | YES 1027 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml | YES 2510 | YES 2321 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml | YES 9015 | YES 1754 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml | YES 1931 | YES 1570 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml | YES 4961 | YES 12747 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml | YES 1340 | YES 273 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml | YES 828 | YES 525 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml | YES 1278 | YES 948 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml | YES 1835 | YES 297 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml | YES 859 | YES 464 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml | YES 1286 | YES 1143 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_C.xml | YES 3892 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_GM.xml | YES 1789 | YES 11115 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml | YES 2992 | YES 17832 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml | YES 24057 | TIMEOUT 60051 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml | YES 6881 | YES 1998 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml | YES 49310 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml | YES 2477 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml | YES 1271 | YES 1266 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml | YES 1634 | YES 3233 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml | YES 6065 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml | YES 2879 | YES 382 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml | YES 11665 | YES 8120 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml | YES 1687 | YES 261 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml | YES 807 | YES 218 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml | YES 1331 | YES 696 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml | YES 1668 | YES 354 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml | YES 832 | YES 257 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml | YES 1917 | YES 1924 | 261 | 196 |