| benchmark | AProVE | AProVE-CeTA | muterm |
|---|---|---|---|
| tpdb-8.0/TRS/AG01_innermost/#4.12a.xml | YES 1608 | YES 3599 | YES 254 |
| tpdb-8.0/TRS/AG01_innermost/#4.13.xml | YES 1190 | YES 3476 | YES 42 |
| tpdb-8.0/TRS/AG01_innermost/#4.14.xml | YES 1263 | YES 3529 | YES 55 |
| tpdb-8.0/TRS/AG01_innermost/#4.15.xml | YES 1339 | YES 3855 | YES 57 |
| tpdb-8.0/TRS/AG01_innermost/#4.16.xml | YES 1246 | YES 3537 | YES 54 |
| tpdb-8.0/TRS/AG01_innermost/#4.17.xml | YES 1415 | YES 4981 | YES 6915 |
| tpdb-8.0/TRS/AG01_innermost/#4.18.xml | YES 1164 | YES 3223 | YES 43 |
| tpdb-8.0/TRS/AG01_innermost/#4.19.xml | YES 1319 | YES 3811 | YES 58 |
| tpdb-8.0/TRS/AG01_innermost/#4.20a.xml | YES 1016 | YES 3389 | YES 74 |
| tpdb-8.0/TRS/AG01_innermost/#4.20.xml | YES 1022 | YES 3478 | YES 42 |
| tpdb-8.0/TRS/AG01_innermost/#4.21.xml | YES 1017 | YES 3420 | YES 42 |
| tpdb-8.0/TRS/AG01_innermost/#4.22.xml | YES 1276 | YES 3717 | YES 56 |
| tpdb-8.0/TRS/AG01_innermost/#4.23.xml | YES 1560 | YES 4119 | YES 77 |
| tpdb-8.0/TRS/AG01_innermost/#4.24.xml | YES 1471 | YES 4433 | YES 59 |
| tpdb-8.0/TRS/AG01_innermost/#4.25.xml | YES 1284 | YES 3607 | YES 145 |
| tpdb-8.0/TRS/AG01_innermost/#4.26.xml | YES 1750 | YES 4361 | YES 117 |
| tpdb-8.0/TRS/AG01_innermost/#4.27.xml | YES 1406 | YES 4261 | YES 94 |
| tpdb-8.0/TRS/AG01_innermost/#4.28.xml | YES 1025 | YES 3918 | YES 96 |
| tpdb-8.0/TRS/AG01_innermost/#4.29.xml | YES 1921 | YES 5225 | YES 177 |
| tpdb-8.0/TRS/AG01_innermost/#4.2.xml | YES 1271 | YES 3638 | YES 55 |
| tpdb-8.0/TRS/AG01_innermost/#4.30a.xml | YES 2059 | YES 4542 | YES 238 |
| tpdb-8.0/TRS/AG01_innermost/#4.30b.xml | YES 4421 | YES 33501 | YES 3135 |
| tpdb-8.0/TRS/AG01_innermost/#4.30.xml | YES 4749 | YES 26833 | YES 5504 |
| tpdb-8.0/TRS/AG01_innermost/#4.31.xml | YES 3715 | YES 5104 | YES 10543 |
| tpdb-8.0/TRS/AG01_innermost/#4.32.xml | YES 1301 | YES 3782 | YES 67 |
| tpdb-8.0/TRS/AG01_innermost/#4.33.xml | YES 1624 | YES 4941 | YES 119 |
| tpdb-8.0/TRS/AG01_innermost/#4.34.xml | YES 1608 | YES 3994 | YES 115 |
| tpdb-8.0/TRS/AG01_innermost/#4.35.xml | YES 2490 | YES 6887 | YES 368 |
| tpdb-8.0/TRS/AG01_innermost/#4.36.xml | YES 2191 | YES 6215 | YES 171 |
| tpdb-8.0/TRS/AG01_innermost/#4.37a.xml | YES 1417 | YES 3435 | YES 89 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | YES 1364 | YES 3346 | YES 89 |
| tpdb-8.0/TRS/AG01_innermost/#4.3.xml | YES 1236 | YES 3433 | YES 42 |
| tpdb-8.0/TRS/AG01_innermost/#4.4.xml | YES 1185 | YES 3348 | YES 43 |
| tpdb-8.0/TRS/AG01_innermost/#4.5.xml | YES 1245 | YES 3590 | YES 43 |
| tpdb-8.0/TRS/AG01_innermost/#4.7.xml | YES 1217 | YES 3779 | YES 45 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | YES 1793 | YES 5248 | YES 80 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | YES 1918 | YES 5782 | YES 99 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | YES 2053 | YES 6631 | YES 107 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml | YES 2046 | YES 16815 | YES 3690 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | YES 2117 | YES 6409 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | YES 1923 | YES 6519 | MAYBE 9282 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.24.xml | YES 2111 | YES 7047 | YES 116 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml | YES 2453 | YES 22718 | MAYBE 21843 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml | YES 1959 | YES 6235 | MAYBE 2184 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | YES 1864 | YES 5510 | YES 88 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml | YES 2310 | YES 48116 | YES 1179 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | YES 3378 | TIMEOUT 61475 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.3.xml | YES 1854 | YES 5963 | YES 84 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml | YES 1770 | YES 5559 | YES 81 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | YES 1847 | YES 5842 | YES 82 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | YES 3724 | YES 9627 | YES 1490 |
| tpdb-8.0/TRS/Mixed_innermost/bn111.xml | YES 1222 | YES 3513 | YES 57 |
| tpdb-8.0/TRS/Mixed_innermost/cade04.xml | TIMEOUT 60163 | TIMEOUT 60031 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | YES 3091 | YES 26689 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Mixed_innermost/cade12.xml | TIMEOUT 60477 | TIMEOUT 60705 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Mixed_innermost/cade13.xml | YES 2519 | YES 16812 | TIMEOUT 60031 |
| tpdb-8.0/TRS/Mixed_innermost/gkg.xml | YES 1178 | YES 3643 | YES 41 |
| tpdb-8.0/TRS/Mixed_innermost/innermost1.xml | YES 1191 | YES 3439 | YES 42 |
| tpdb-8.0/TRS/Mixed_innermost/innermost2.xml | YES 1315 | YES 3612 | TIMEOUT 60029 |
| tpdb-8.0/TRS/Mixed_innermost/innermost3.xml | YES 1652 | YES 3782 | YES 973 |
| tpdb-8.0/TRS/Mixed_innermost/innermost4.xml | YES 1588 | YES 4950 | YES 3057 |
| tpdb-8.0/TRS/Mixed_innermost/innermost5.xml | YES 1723 | YES 26084 | TIMEOUT 60033 |
| tpdb-8.0/TRS/Mixed_innermost/muladd.xml | NO 1915 | NO 6206 | MAYBE 340 |
| tpdb-8.0/TRS/Mixed_innermost/n001.xml | NO 1304 | NO 13323 | MAYBE 1214 |
| tpdb-8.0/TRS/Mixed_innermost/test10.xml | YES 1362 | YES 3849 | YES 69 |
| tpdb-8.0/TRS/Mixed_innermost/test75.xml | YES 1860 | YES 3827 | YES 180 |
| tpdb-8.0/TRS/Mixed_innermost/test76.xml | YES 3139 | YES 3990 | YES 225 |
| tpdb-8.0/TRS/Mixed_innermost/test77.xml | YES 1832 | YES 4069 | YES 225 |
| tpdb-8.0/TRS/Mixed_innermost/test830.xml | YES 1357 | YES 3408 | YES 78 |
| tpdb-8.0/TRS/Mixed_innermost/test833.xml | YES 1296 | YES 3490 | YES 159 |
| tpdb-8.0/TRS/Mixed_innermost/test9.xml | YES 1624 | YES 3636 | YES 264 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml | YES 3631 | YES 40993 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml | YES 5022 | YES 30763 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Mixed_innermost/toyama.xml | YES 1149 | YES 3492 | YES 56 |
| tpdb-8.0/TRS/Mixed_innermost/tricky1.xml | YES 1283 | YES 3648 | YES 56 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe13.xml | YES 2501 | YES 7094 | YES 376 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe14.xml | YES 2385 | YES 8060 | YES 540 |
| tpdb-8.0/TRS/raML/appendAll.raml.xml | YES 1120 | YES 3518 | YES 65 |
| tpdb-8.0/TRS/raML/bfs.raml.xml | MAYBE 429 | MAYBE 874 | YES 412 |
| tpdb-8.0/TRS/raML/bft_mmult.raml.xml | MAYBE 442 | MAYBE 892 | YES 351 |
| tpdb-8.0/TRS/raML/bitvectors.raml.xml | MAYBE 556 | MAYBE 986 | YES 716 |
| tpdb-8.0/TRS/raML/clevermmult.raml.xml | MAYBE 397 | MAYBE 848 | YES 128 |
| tpdb-8.0/TRS/raML/duplicates.raml.xml | MAYBE 377 | MAYBE 831 | YES 174 |
| tpdb-8.0/TRS/raML/dyade.raml.xml | MAYBE 376 | MAYBE 830 | YES 106 |
| tpdb-8.0/TRS/raML/eratosthenes.raml.xml | MAYBE 455 | MAYBE 896 | YES 437 |
| tpdb-8.0/TRS/raML/flatten.raml.xml | MAYBE 369 | MAYBE 827 | YES 124 |
| tpdb-8.0/TRS/raML/insertionsort.raml.xml | MAYBE 404 | MAYBE 862 | YES 142 |
| tpdb-8.0/TRS/raML/listsort.raml.xml | MAYBE 407 | MAYBE 861 | YES 159 |
| tpdb-8.0/TRS/raML/longestCommonSubsequence.raml.xml | MAYBE 496 | MAYBE 938 | YES 266 |
| tpdb-8.0/TRS/raML/matrix.raml.xml | MAYBE 485 | MAYBE 935 | YES 319 |
| tpdb-8.0/TRS/raML/mergesort.raml.xml | MAYBE 399 | MAYBE 859 | YES 10558 |
| tpdb-8.0/TRS/raML/minsort.raml.xml | MAYBE 354 | MAYBE 809 | YES 139 |
| tpdb-8.0/TRS/raML/queue.raml.xml | YES 8275 | YES 11429 | YES 32789 |
| tpdb-8.0/TRS/raML/quicksort.raml.xml | MAYBE 428 | MAYBE 885 | YES 292 |
| tpdb-8.0/TRS/raML/rationalPotential.raml.xml | YES 1138 | YES 3409 | YES 67 |
| tpdb-8.0/TRS/raML/splitandsort.raml.xml | MAYBE 447 | MAYBE 894 | YES 304 |
| tpdb-8.0/TRS/raML/subtrees.raml.xml | YES 1607 | YES 4360 | YES 63 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml | TIMEOUT 60453 | TIMEOUT 61902 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml | YES 32480 | TIMEOUT 61358 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml | YES 14704 | TIMEOUT 63006 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml | YES 1758 | YES 5705 | YES 174 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml | YES 2798 | YES 5019 | YES 718 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml | YES 5739 | YES 5767 | YES 1158 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml | YES 3125 | YES 8529 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml | YES 1730 | YES 4268 | YES 99 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml | YES 2686 | YES 5631 | YES 951 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml | TIMEOUT 60509 | TIMEOUT 60872 | TIMEOUT 60034 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml | YES 1759 | YES 5492 | TIMEOUT 60031 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml | YES 2848 | YES 18326 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml | YES 1346 | YES 5153 | YES 27064 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml | YES 1038 | YES 3524 | YES 71 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml | YES 1078 | YES 3931 | YES 92 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml | YES 3431 | YES 15728 | YES 385 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml | YES 1558 | YES 4419 | YES 311 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml | YES 4028 | YES 8872 | YES 1174 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml | YES 27859 | YES 38206 | TIMEOUT 60033 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml | YES 1250 | YES 3659 | YES 58 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml | YES 1678 | YES 5555 | TIMEOUT 60032 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml | YES 1362 | YES 4500 | YES 118 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml | YES 1042 | YES 3494 | YES 56 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml | YES 1162 | YES 4207 | YES 89 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml | YES 1001 | YES 3149 | YES 42 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml | YES 4689 | YES 12989 | YES 10898 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml | YES 1482 | YES 4194 | YES 69 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml | YES 2078 | YES 7487 | YES 1525 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_C.xml | TIMEOUT 60386 | TIMEOUT 61564 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml | TIMEOUT 60404 | TIMEOUT 61275 | TIMEOUT 60040 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml | TIMEOUT 60417 | TIMEOUT 61617 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_C.xml | YES 42106 | TIMEOUT 61042 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml | YES 1673 | YES 3976 | YES 87 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml | YES 9487 | YES 24007 | TIMEOUT 60032 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml | TIMEOUT 60350 | TIMEOUT 61078 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml | TIMEOUT 60439 | TIMEOUT 61260 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml | TIMEOUT 60491 | TIMEOUT 61150 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml | YES 3054 | YES 10829 | YES 2774 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml | YES 2333 | YES 5654 | YES 905 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml | YES 4147 | YES 11200 | YES 5582 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml | YES 2566 | YES 28899 | YES 16691 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml | YES 1025 | YES 3279 | YES 74 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml | YES 1065 | YES 3826 | YES 91 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml | YES 1480 | YES 4875 | YES 137 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml | YES 1008 | YES 3528 | YES 95 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml | YES 1211 | YES 4022 | YES 72 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml | YES 985 | YES 3103 | YES 42 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_C.xml | TIMEOUT 60396 | TIMEOUT 61358 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml | YES 1369 | YES 3784 | YES 59 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml | YES 1694 | YES 4822 | TIMEOUT 60037 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml | YES 2026 | YES 5938 | TIMEOUT 60039 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml | YES 1333 | YES 3808 | YES 58 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml | YES 1872 | YES 16523 | TIMEOUT 60032 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml | YES 1356 | YES 5077 | YES 165 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml | YES 1059 | YES 3791 | YES 59 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml | YES 2185 | YES 5330 | YES 174 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml | YES 987 | YES 3083 | YES 42 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml | YES 4327 | YES 14757 | YES 529 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml | YES 3018 | YES 7623 | YES 353 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml | YES 4595 | YES 13502 | YES 1331 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml | YES 1103 | YES 3470 | YES 56 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml | YES 4068 | YES 15291 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml | YES 3371 | YES 7808 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml | YES 5143 | YES 13829 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml | YES 1294 | YES 3696 | YES 60 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml | YES 3409 | YES 8817 | YES 353 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml | YES 2672 | YES 5456 | YES 283 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml | YES 5647 | YES 9891 | YES 750 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml | YES 1111 | YES 3238 | YES 55 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml | TIMEOUT 60418 | TIMEOUT 60823 | TIMEOUT 60038 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 60433 | TIMEOUT 60836 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml | TIMEOUT 60413 | TIMEOUT 60794 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml | TIMEOUT 60477 | TIMEOUT 61267 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml | TIMEOUT 60469 | TIMEOUT 61029 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml | TIMEOUT 60472 | TIMEOUT 61359 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml | YES 4333 | YES 15116 | YES 401 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml | YES 2951 | YES 6674 | YES 485 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml | YES 5670 | YES 12330 | YES 860 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml | YES 1084 | YES 3385 | YES 55 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml | YES 1386 | YES 4496 | YES 129 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml | YES 1737 | YES 4128 | YES 110 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml | YES 2347 | YES 4327 | YES 101 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml | YES 1018 | YES 3071 | YES 42 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml | YES 8725 | YES 13210 | YES 37226 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml | YES 1532 | YES 4683 | YES 80 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml | YES 3310 | YES 8128 | YES 641 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml | YES 999 | YES 3502 | YES 73 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml | TIMEOUT 60427 | TIMEOUT 61327 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 60413 | TIMEOUT 61791 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml | TIMEOUT 60342 | TIMEOUT 61552 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml | TIMEOUT 60506 | TIMEOUT 61233 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml | YES 5031 | YES 21963 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml | YES 4436 | TIMEOUT 60862 | TIMEOUT 60043 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml | YES 2015 | YES 4975 | YES 219 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml | YES 1158 | YES 3399 | YES 85 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml | YES 1683 | YES 5154 | YES 278 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_C.xml | YES 4123 | YES 11090 | YES 4948 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml | YES 3045 | YES 5836 | YES 244 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml | YES 4456 | YES 12396 | YES 738 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml | TIMEOUT 60471 | TIMEOUT 61304 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml | YES 11434 | YES 43875 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml | YES 28677 | TIMEOUT 61147 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml | TIMEOUT 60373 | TIMEOUT 60787 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml | TIMEOUT 60538 | TIMEOUT 61179 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml | TIMEOUT 60321 | TIMEOUT 60829 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml | TIMEOUT 60320 | TIMEOUT 61566 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml | TIMEOUT 60518 | TIMEOUT 61202 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml | TIMEOUT 60329 | TIMEOUT 61351 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml | YES 8097 | YES 20962 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml | YES 3139 | YES 7062 | YES 4806 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml | YES 10185 | YES 30009 | YES 25151 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml | YES 2316 | YES 8573 | YES 4204 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml | YES 1382 | YES 3850 | YES 1763 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml | YES 2928 | YES 5444 | YES 4896 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml | TIMEOUT 60440 | TIMEOUT 61978 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml | TIMEOUT 60497 | TIMEOUT 61629 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml | TIMEOUT 60465 | TIMEOUT 60033 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml | YES 2023 | YES 5824 | YES 260 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml | YES 3216 | YES 7316 | YES 47354 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml | YES 6674 | YES 17686 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_C.xml | YES 1225 | YES 4302 | YES 115 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml | YES 1002 | YES 3237 | YES 56 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml | YES 1044 | YES 3526 | YES 61 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml | YES 2677 | YES 7377 | YES 224 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml | YES 2151 | YES 4421 | YES 168 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml | YES 3676 | YES 5648 | YES 265 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml | YES 1069 | YES 3267 | YES 42 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml | TIMEOUT 60441 | TIMEOUT 61353 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml | TIMEOUT 60381 | TIMEOUT 61183 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml | TIMEOUT 60420 | TIMEOUT 60031 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml | TIMEOUT 60408 | TIMEOUT 61084 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml | TIMEOUT 60579 | TIMEOUT 61099 | TIMEOUT 60043 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml | TIMEOUT 60653 | TIMEOUT 61112 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml | YES 4583 | YES 13700 | YES 571 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml | YES 2883 | YES 6544 | YES 305 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml | YES 5008 | YES 13258 | YES 948 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml | YES 1074 | YES 3304 | YES 56 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml | TIMEOUT 60439 | TIMEOUT 61219 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml | YES 2373 | YES 28368 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml | TIMEOUT 60570 | TIMEOUT 60675 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml | YES 24873 | YES 4384 | TIMEOUT 60037 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml | YES 1363 | YES 3417 | YES 75 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml | YES 1897 | YES 4483 | YES 12790 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml | TIMEOUT 60655 | TIMEOUT 61589 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml | YES 45113 | TIMEOUT 61343 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml | YES 39019 | TIMEOUT 62508 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml | YES 1199 | YES 4461 | YES 131 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml | YES 1086 | YES 3544 | YES 58 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml | YES 1202 | YES 4120 | YES 67 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml | YES 1010 | YES 3085 | YES 42 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml | YES 4091 | YES 14674 | YES 3039 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml | YES 2683 | YES 7300 | YES 1230 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml | YES 4751 | YES 19222 | YES 4713 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml | YES 3315 | YES 15137 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml | YES 1708 | YES 4183 | YES 185 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml | YES 3694 | YES 10319 | YES 2513 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml | TIMEOUT 60283 | TIMEOUT 61665 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml | YES 16779 | TIMEOUT 62625 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml | TIMEOUT 60561 | TIMEOUT 61682 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml | TIMEOUT 60489 | TIMEOUT 61346 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml | TIMEOUT 60537 | TIMEOUT 61306 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml | TIMEOUT 60446 | TIMEOUT 61797 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml | YES 8530 | YES 16320 | YES 36220 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml | YES 1691 | YES 4144 | YES 239 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml | YES 4378 | YES 6440 | YES 848 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml | YES 1035 | YES 3397 | YES 88 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml | YES 4956 | YES 15985 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml | YES 3785 | YES 8705 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml | YES 5981 | YES 15846 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml | YES 1334 | YES 3801 | YES 63 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml | TIMEOUT 60561 | TIMEOUT 61765 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60335 | TIMEOUT 61655 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml | TIMEOUT 60442 | TIMEOUT 61357 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml | TIMEOUT 60468 | TIMEOUT 61414 | TIMEOUT 60088 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml | YES 8495 | YES 20427 | YES 24344 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60480 | TIMEOUT 61719 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml | TIMEOUT 60333 | TIMEOUT 61619 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml | YES 12023 | YES 25099 | YES 3056 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml | TIMEOUT 60434 | TIMEOUT 61187 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | TIMEOUT 60459 | TIMEOUT 61080 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml | YES 2292 | YES 7364 | YES 519 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml | TIMEOUT 60572 | YES 38215 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml | TIMEOUT 60442 | TIMEOUT 61586 | TIMEOUT 60115 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml | YES 3161 | YES 7654 | YES 444 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | YES 18562 | YES 32760 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml | TIMEOUT 60301 | TIMEOUT 61130 | TIMEOUT 60040 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml | NO 2176 | NO 7367 | TIMEOUT 60032 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml | TIMEOUT 60452 | TIMEOUT 60683 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml | TIMEOUT 60423 | TIMEOUT 61069 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml | NO 3034 | NO 7032 | TIMEOUT 60032 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | TIMEOUT 60341 | TIMEOUT 60824 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml | TIMEOUT 60842 | TIMEOUT 61340 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml | TIMEOUT 60331 | TIMEOUT 61342 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml | TIMEOUT 60434 | TIMEOUT 60166 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml | TIMEOUT 60718 | TIMEOUT 60030 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml | TIMEOUT 60429 | TIMEOUT 61382 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml | TIMEOUT 60467 | TIMEOUT 61278 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60368 | TIMEOUT 61720 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml | TIMEOUT 60364 | TIMEOUT 62153 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml | TIMEOUT 60350 | TIMEOUT 61327 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml | TIMEOUT 60971 | TIMEOUT 60608 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml | TIMEOUT 60515 | TIMEOUT 62133 | TIMEOUT 60147 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml | TIMEOUT 60553 | TIMEOUT 60035 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml | TIMEOUT 60424 | TIMEOUT 61495 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml | TIMEOUT 60306 | TIMEOUT 61634 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml | TIMEOUT 60451 | TIMEOUT 61264 | TIMEOUT 60083 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml | TIMEOUT 60479 | TIMEOUT 61606 | TIMEOUT 60110 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 60306 | TIMEOUT 61574 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml | TIMEOUT 60389 | TIMEOUT 61517 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_C.xml | YES 5101 | YES 31290 | TIMEOUT 60089 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml | YES 2630 | YES 9409 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml | YES 3860 | YES 33016 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml | TIMEOUT 60347 | TIMEOUT 61508 | TIMEOUT 60098 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml | TIMEOUT 60333 | YES 42069 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml | TIMEOUT 60497 | TIMEOUT 61248 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml | YES 3013 | YES 16705 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml | YES 1827 | YES 6638 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml | YES 2451 | YES 7679 | TIMEOUT 60079 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml | TIMEOUT 60388 | TIMEOUT 63029 | TIMEOUT 60315 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml | YES 8809 | YES 10790 | TIMEOUT 60070 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml | YES 25290 | TIMEOUT 61711 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml | YES 1812 | YES 5303 | YES 5726 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml | YES 1505 | YES 4307 | YES 38038 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml | YES 1703 | YES 4772 | YES 18336 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml | YES 2903 | YES 7683 | YES 16306 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml | YES 1751 | YES 5590 | TIMEOUT 60172 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml | YES 2734 | YES 8072 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml | TIMEOUT 60473 | TIMEOUT 62678 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml | TIMEOUT 60536 | TIMEOUT 62801 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml | TIMEOUT 60342 | TIMEOUT 61163 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml | TIMEOUT 60507 | TIMEOUT 60032 | TIMEOUT 60102 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml | YES 22252 | YES 39216 | YES 16031 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml | TIMEOUT 60497 | TIMEOUT 61161 | TIMEOUT 60106 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml | TIMEOUT 60350 | TIMEOUT 61526 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60495 | TIMEOUT 61195 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60389 | TIMEOUT 63006 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml | TIMEOUT 60373 | TIMEOUT 62507 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml | YES 8261 | YES 11845 | YES 2324 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml | YES 40664 | TIMEOUT 60966 | TIMEOUT 60097 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml | TIMEOUT 60385 | TIMEOUT 61792 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml | NO 4161 | NO 11831 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml | TIMEOUT 60361 | TIMEOUT 60846 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml | TIMEOUT 60420 | TIMEOUT 61846 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml | NO 7884 | NO 21576 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml | TIMEOUT 60360 | TIMEOUT 61410 | TIMEOUT 60094 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml | YES 6251 | YES 34270 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml | YES 3583 | YES 9128 | YES 36093 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml | YES 6010 | YES 48563 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml | YES 20857 | TIMEOUT 61346 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml | YES 7199 | YES 20754 | YES 14635 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml | TIMEOUT 60405 | TIMEOUT 61270 | TIMEOUT 60104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml | YES 2997 | YES 18019 | YES 393 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml | YES 1292 | YES 5219 | YES 1255 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml | YES 2780 | YES 7762 | YES 1819 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml | YES 6367 | YES 36465 | YES 2294 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml | YES 2305 | YES 6906 | YES 2173 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml | YES 4325 | YES 34574 | YES 8744 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml | YES 1663 | YES 4907 | YES 191 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml | YES 1117 | YES 4088 | YES 465 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml | YES 1609 | YES 4811 | YES 327 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml | YES 2116 | YES 5998 | YES 221 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml | YES 1133 | YES 4475 | YES 436 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml | YES 1618 | YES 4936 | YES 451 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_C.xml | YES 3993 | YES 19307 | TIMEOUT 60099 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_GM.xml | YES 2023 | YES 6524 | YES 20508 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml | YES 2749 | YES 32012 | YES 23103 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml | TIMEOUT 60605 | TIMEOUT 63777 | TIMEOUT 60108 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml | YES 7469 | YES 12077 | YES 3280 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml | YES 36108 | YES 43769 | TIMEOUT 60109 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml | YES 2362 | YES 7486 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml | YES 1586 | YES 4942 | YES 1895 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml | YES 1954 | YES 6357 | YES 2634 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml | YES 6466 | TIMEOUT 61978 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml | YES 3042 | YES 6679 | YES 479 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml | YES 8798 | YES 21442 | YES 7916 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml | YES 2046 | YES 5294 | YES 180 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml | YES 1106 | YES 4009 | YES 245 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml | YES 1728 | YES 4489 | YES 258 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml | YES 1855 | YES 6052 | YES 417 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml | YES 1155 | YES 4479 | YES 329 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml | YES 2035 | YES 7484 | YES 517 | 266 | 255 | 216 |