| benchmark | AProVE | Jambox | TTT2 |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | YES 4083 | YES 12378 | YES 1758 |
| tpdb-8.0/TRS/AG01/#3.12.xml | YES 2577 | YES 364 | YES 300 |
| tpdb-8.0/TRS/AG01/#3.13.xml | YES 3831 | YES 30443 | YES 912 |
| tpdb-8.0/TRS/AG01/#3.15.xml | YES 1699 | YES 327 | YES 140 |
| tpdb-8.0/TRS/AG01/#3.16.xml | YES 1977 | YES 1417 | YES 134 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | YES 3490 | YES 410 | YES 158 |
| tpdb-8.0/TRS/AG01/#3.17.xml | YES 3473 | YES 355 | YES 338 |
| tpdb-8.0/TRS/AG01/#3.18.xml | YES 2382 | YES 1725 | YES 404 |
| tpdb-8.0/TRS/AG01/#3.19.xml | YES 3212 | YES 1990 | YES 476 |
| tpdb-8.0/TRS/AG01/#3.1.xml | YES 2068 | YES 1369 | YES 300 |
| tpdb-8.0/TRS/AG01/#3.21.xml | YES 2092 | YES 1418 | YES 234 |
| tpdb-8.0/TRS/AG01/#3.22.xml | YES 2296 | YES 2036 | YES 483 |
| tpdb-8.0/TRS/AG01/#3.23.xml | YES 1634 | YES 1114 | YES 185 |
| tpdb-8.0/TRS/AG01/#3.24.xml | YES 2491 | YES 264 | YES 137 |
| tpdb-8.0/TRS/AG01/#3.26.xml | YES 2038 | YES 1472 | YES 167 |
| tpdb-8.0/TRS/AG01/#3.29.xml | YES 1636 | YES 1007 | YES 135 |
| tpdb-8.0/TRS/AG01/#3.2.xml | YES 2327 | YES 1599 | YES 314 |
| tpdb-8.0/TRS/AG01/#3.31.xml | YES 2334 | YES 1470 | YES 136 |
| tpdb-8.0/TRS/AG01/#3.33.xml | YES 2158 | YES 1346 | YES 451 |
| tpdb-8.0/TRS/AG01/#3.35.xml | YES 1842 | YES 1088 | YES 139 |
| tpdb-8.0/TRS/AG01/#3.36.xml | YES 2632 | YES 1583 | YES 313 |
| tpdb-8.0/TRS/AG01/#3.37.xml | YES 2155 | YES 1867 | YES 138 |
| tpdb-8.0/TRS/AG01/#3.38.xml | YES 2281 | YES 4936 | YES 404 |
| tpdb-8.0/TRS/AG01/#3.39.xml | YES 2552 | YES 4214 | YES 572 |
| tpdb-8.0/TRS/AG01/#3.40.xml | YES 2971 | TIMEOUT 60347 | YES 797 |
| tpdb-8.0/TRS/AG01/#3.41.xml | YES 2240 | YES 1374 | YES 140 |
| tpdb-8.0/TRS/AG01/#3.42.xml | YES 2409 | YES 3383 | YES 416 |
| tpdb-8.0/TRS/AG01/#3.47.xml | YES 2004 | YES 1436 | YES 198 |
| tpdb-8.0/TRS/AG01/#3.48.xml | YES 2357 | YES 1774 | YES 405 |
| tpdb-8.0/TRS/AG01/#3.49.xml | YES 2431 | YES 1590 | YES 265 |
| tpdb-8.0/TRS/AG01/#3.4.xml | YES 2272 | YES 1846 | YES 457 |
| tpdb-8.0/TRS/AG01/#3.51.xml | YES 2282 | YES 851 | YES 142 |
| tpdb-8.0/TRS/AG01/#3.52.xml | YES 1708 | YES 1270 | YES 212 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | YES 1643 | YES 1160 | YES 155 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | YES 1696 | YES 1322 | YES 216 |
| tpdb-8.0/TRS/AG01/#3.53.xml | YES 2970 | YES 3678 | YES 827 |
| tpdb-8.0/TRS/AG01/#3.54.xml | YES 2393 | YES 2237 | YES 246 |
| tpdb-8.0/TRS/AG01/#3.55.xml | YES 3575 | YES 9855 | YES 1320 |
| tpdb-8.0/TRS/AG01/#3.56.xml | YES 2438 | YES 2059 | YES 145 |
| tpdb-8.0/TRS/AG01/#3.57.xml | YES 3477 | YES 3674 | YES 1050 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | YES 2437 | YES 4146 | YES 502 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | YES 2499 | YES 5840 | YES 607 |
| tpdb-8.0/TRS/AG01/#3.5.xml | YES 2543 | YES 2105 | YES 475 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | YES 2494 | YES 4659 | YES 520 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | YES 2580 | YES 6038 | YES 584 |
| tpdb-8.0/TRS/AG01/#3.6.xml | YES 2697 | YES 6116 | YES 500 |
| tpdb-8.0/TRS/AG01/#3.7.xml | YES 1913 | YES 310 | YES 140 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | YES 2897 | YES 3634 | YES 459 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | YES 3071 | YES 7139 | YES 655 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | YES 16000 | TIMEOUT 60304 | MAYBE 5127 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | NO 2148 | MAYBE 4362 | NO 111 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | YES 2360 | YES 2021 | YES 421 |
| tpdb-8.0/TRS/AotoYamada_05/003.xml | NO 2770 | MAYBE 10391 | NO 114 |
| tpdb-8.0/TRS/AotoYamada_05/004.xml | YES 2082 | YES 1865 | YES 384 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | YES 2088 | YES 309 | YES 115 |
| tpdb-8.0/TRS/AotoYamada_05/006.xml | YES 2424 | YES 2062 | YES 449 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | YES 2321 | YES 1924 | YES 406 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | YES 2371 | YES 2388 | YES 591 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | YES 27421 | YES 7840 | YES 903 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | YES 34164 | YES 5547 | YES 620 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | YES 2355 | YES 2515 | YES 579 |
| tpdb-8.0/TRS/AotoYamada_05/013.xml | YES 2316 | YES 2278 | YES 549 |
| tpdb-8.0/TRS/AotoYamada_05/014.xml | YES 2305 | YES 2789 | YES 512 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | YES 2548 | YES 2536 | YES 421 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | YES 2499 | YES 2700 | YES 737 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | YES 1480 | YES 257 | YES 111 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | YES 1633 | YES 1367 | YES 157 |
| tpdb-8.0/TRS/AotoYamada_05/020.xml | YES 2324 | YES 1955 | YES 169 |
| tpdb-8.0/TRS/AotoYamada_05/021.xml | YES 2363 | YES 3083 | YES 559 |
| tpdb-8.0/TRS/AotoYamada_05/022.xml | YES 2295 | YES 1925 | YES 456 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | YES 2247 | YES 256 | YES 111 |
| tpdb-8.0/TRS/AotoYamada_05/024.xml | YES 1818 | YES 1420 | YES 290 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | YES 1533 | YES 256 | YES 110 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | YES 2223 | YES 1648 | YES 470 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | YES 2295 | YES 1970 | YES 437 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | YES 2356 | YES 1801 | YES 354 |
| tpdb-8.0/TRS/AotoYamada_05/Ex1SimplyTyped.xml | YES 2417 | YES 1807 | YES 401 |
| tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml | TIMEOUT 60714 | MAYBE 16114 | MAYBE 5132 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | YES 2955 | YES 3488 | YES 192 |
| tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml | TIMEOUT 60258 | TIMEOUT 60317 | MAYBE 5133 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | YES 1474 | YES 258 | YES 111 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | NO 2227 | MAYBE 12149 | NO 1480 |
| tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml | TIMEOUT 60563 | MAYBE 15259 | MAYBE 5127 |
| tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml | YES 2377 | YES 3030 | YES 723 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | YES 2214 | YES 1743 | YES 298 |
| tpdb-8.0/TRS/Applicative_05/Ex5Folding.xml | TIMEOUT 60436 | TIMEOUT 60304 | MAYBE 5135 |
| tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml | TIMEOUT 60444 | TIMEOUT 60338 | MAYBE 5145 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | YES 2289 | YES 1419 | YES 322 |
| tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml | TIMEOUT 60280 | TIMEOUT 60316 | MAYBE 5132 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | TIMEOUT 60389 | MAYBE 11902 | MAYBE 5126 |
| tpdb-8.0/TRS/Applicative_05/Ex7_9.xml | YES 3308 | MAYBE 9476 | YES 980 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | TIMEOUT 60455 | TIMEOUT 60292 | MAYBE 5166 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | TIMEOUT 60349 | TIMEOUT 60376 | MAYBE 5149 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | YES 2321 | YES 1977 | YES 619 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | YES 17379 | TIMEOUT 60451 | MAYBE 5140 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | NO 5271 | MAYBE 43373 | MAYBE 5132 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml | YES 2975 | MAYBE 8522 | YES 593 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | YES 2583 | MAYBE 6294 | YES 537 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | NO 12815 | TIMEOUT 60273 | MAYBE 5129 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | YES 2583 | YES 364 | YES 154 |
| tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml | YES 2550 | YES 3327 | YES 598 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | NO 2973 | MAYBE 49815 | MAYBE 5122 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | YES 2372 | YES 2972 | YES 562 |
| tpdb-8.0/TRS/Applicative_05/TreeHeight.xml | YES 2600 | YES 3102 | YES 660 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | YES 3030 | YES 3582 | YES 860 |
| tpdb-8.0/TRS/Applicative_05/TreeMap.xml | YES 2387 | YES 1849 | YES 498 |
| tpdb-8.0/TRS/Applicative_05/TreeSize.xml | YES 2589 | YES 2693 | YES 579 |
| tpdb-8.0/TRS/Applicative_05/TypeEx1.xml | YES 1652 | YES 1318 | YES 359 |
| tpdb-8.0/TRS/Applicative_05/TypeEx3.xml | NO 9637 | MAYBE 13173 | NO 115 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | NO 2497 | MAYBE 2194 | NO 111 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | YES 2969 | YES 6795 | YES 876 |
| tpdb-8.0/TRS/Applicative_first_order_05/02.xml | YES 2785 | YES 4120 | YES 765 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | YES 2686 | YES 4409 | YES 655 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | YES 3129 | YES 4182 | YES 1218 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | YES 4271 | YES 7745 | YES 2046 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | YES 3387 | YES 4841 | YES 1246 |
| tpdb-8.0/TRS/Applicative_first_order_05/13.xml | YES 17247 | YES 8958 | MAYBE 5128 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | YES 3232 | YES 6316 | YES 1082 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | YES 2847 | YES 3114 | YES 676 |
| tpdb-8.0/TRS/Applicative_first_order_05/21.xml | YES 3211 | YES 3858 | YES 1068 |
| tpdb-8.0/TRS/Applicative_first_order_05/29.xml | YES 3088 | YES 3606 | YES 787 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | YES 6145 | YES 4938 | YES 791 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | YES 6927 | TIMEOUT 60359 | YES 2451 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml | YES 6806 | TIMEOUT 60520 | YES 1942 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml | YES 2891 | YES 4761 | YES 857 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | YES 3667 | YES 5650 | YES 1070 |
| tpdb-8.0/TRS/Applicative_first_order_05/31.xml | YES 3445 | TIMEOUT 60317 | MAYBE 5125 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.22.xml | YES 3755 | YES 5629 | YES 1236 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | YES 3359 | YES 5659 | YES 766 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.27.xml | YES 2754 | YES 4350 | YES 670 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml | YES 3184 | MAYBE 11384 | YES 961 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | YES 2717 | YES 2965 | YES 543 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml | YES 3235 | MAYBE 13524 | YES 1015 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | YES 3464 | YES 11745 | YES 969 |
| tpdb-8.0/TRS/Applicative_first_order_05/33.xml | MAYBE 59847 | TIMEOUT 60354 | MAYBE 5175 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml | YES 4957 | TIMEOUT 60457 | YES 1537 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | YES 3044 | YES 3500 | YES 857 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | YES 3233 | YES 5577 | YES 1172 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml | YES 2856 | YES 3799 | YES 712 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.55.xml | YES 6121 | MAYBE 29429 | YES 2062 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | YES 4828 | YES 8147 | YES 1767 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.6.xml | YES 4424 | MAYBE 16927 | YES 1210 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | YES 3943 | MAYBE 12708 | YES 1025 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | YES 3128 | YES 5122 | YES 900 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | TIMEOUT 60603 | MAYBE 31517 | MAYBE 5135 |
| tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml | YES 3056 | YES 3764 | YES 753 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | YES 5669 | TIMEOUT 60439 | YES 1599 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml | YES 4321 | YES 14354 | YES 1315 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | YES 53507 | TIMEOUT 60439 | MAYBE 5206 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | YES 21163 | TIMEOUT 60356 | MAYBE 5164 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | YES 2712 | YES 1852 | YES 490 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | YES 1680 | YES 1333 | YES 155 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | YES 1682 | YES 2139 | YES 142 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | YES 2595 | YES 2430 | YES 554 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | YES 3024 | YES 4166 | YES 1082 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | YES 2096 | YES 1594 | YES 292 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | YES 3637 | YES 4835 | YES 1093 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | YES 3662 | YES 4516 | YES 1113 |
| tpdb-8.0/TRS/AProVE_04/improved_usable2.xml | YES 1696 | YES 1332 | YES 139 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | YES 1729 | YES 2660 | YES 139 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | YES 56798 | YES 10230 | MAYBE 5155 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | YES 4004 | YES 12663 | YES 2888 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | YES 3504 | YES 1868 | YES 431 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | YES 2647 | YES 1495 | YES 293 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | YES 4270 | YES 1981 | YES 709 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | YES 50285 | YES 8234 | YES 2939 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | YES 3542 | YES 3742 | YES 842 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | YES 3552 | YES 2884 | YES 1038 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | YES 2773 | YES 2454 | YES 295 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | YES 2405 | YES 1902 | YES 670 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | YES 1748 | YES 973 | YES 138 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | YES 1819 | MAYBE 25595 | YES 357 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | YES 16797 | TIMEOUT 60307 | MAYBE 5149 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60377 | TIMEOUT 60347 | MAYBE 5143 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | YES 3234 | TIMEOUT 60295 | YES 778 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | YES 8261 | MAYBE 12168 | MAYBE 5125 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | YES 2992 | TIMEOUT 60264 | YES 1295 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | YES 14936 | TIMEOUT 60309 | MAYBE 5154 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | YES 3660 | TIMEOUT 60340 | YES 994 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | YES 15836 | MAYBE 16313 | MAYBE 5123 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | NO 10072 | TIMEOUT 60265 | NO 192 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | YES 4095 | TIMEOUT 60371 | YES 1908 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | YES 13307 | MAYBE 8300 | MAYBE 5126 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | YES 2370 | TIMEOUT 60389 | MAYBE 5128 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | YES 25606 | MAYBE 48577 | YES 1067 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | YES 3242 | TIMEOUT 60295 | YES 922 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | YES 6225 | TIMEOUT 60397 | MAYBE 5159 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | YES 4065 | MAYBE 31215 | YES 1828 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | YES 3590 | TIMEOUT 60348 | YES 1598 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | YES 2822 | TIMEOUT 60288 | YES 863 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | YES 4116 | TIMEOUT 60320 | YES 1056 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | YES 3039 | MAYBE 23891 | YES 843 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | YES 5658 | TIMEOUT 60392 | YES 1669 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | YES 3958 | TIMEOUT 60268 | MAYBE 5119 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | YES 2619 | MAYBE 59550 | MAYBE 5119 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | YES 4113 | MAYBE 58934 | MAYBE 5123 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | YES 2837 | TIMEOUT 60275 | YES 612 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | YES 4046 | TIMEOUT 60277 | MAYBE 5126 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | YES 2507 | MAYBE 37836 | MAYBE 5120 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | YES 2904 | MAYBE 14456 | MAYBE 5129 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | YES 3256 | MAYBE 18262 | MAYBE 5130 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | YES 4401 | TIMEOUT 60304 | MAYBE 5126 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | YES 2822 | MAYBE 11195 | MAYBE 5120 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | YES 3099 | TIMEOUT 60582 | MAYBE 5126 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | YES 4044 | MAYBE 55695 | MAYBE 5122 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | YES 8139 | MAYBE 51109 | MAYBE 5119 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | YES 5234 | MAYBE 55455 | MAYBE 5161 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | YES 2860 | TIMEOUT 60322 | MAYBE 5146 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | YES 24343 | TIMEOUT 60835 | MAYBE 5182 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | YES 2609 | MAYBE 12182 | MAYBE 5128 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | YES 11779 | TIMEOUT 60320 | MAYBE 5139 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | YES 10230 | MAYBE 8082 | MAYBE 5137 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | YES 2604 | MAYBE 8423 | YES 595 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | TIMEOUT 60289 | MAYBE 12727 | MAYBE 5131 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | YES 2526 | TIMEOUT 60282 | YES 540 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | YES 9403 | TIMEOUT 60393 | MAYBE 5161 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | YES 3307 | TIMEOUT 60280 | YES 675 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | YES 9283 | TIMEOUT 60312 | MAYBE 5160 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | YES 10429 | MAYBE 8748 | YES 1211 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | YES 2358 | TIMEOUT 60278 | YES 507 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | YES 4353 | TIMEOUT 60291 | YES 1354 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | YES 4703 | TIMEOUT 60320 | YES 1023 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | YES 4571 | TIMEOUT 60430 | YES 1757 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | YES 6899 | MAYBE 29928 | MAYBE 5126 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | YES 2927 | TIMEOUT 60296 | MAYBE 5131 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | TIMEOUT 60442 | MAYBE 29227 | MAYBE 5144 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | YES 3595 | TIMEOUT 60320 | MAYBE 5151 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | YES 6870 | MAYBE 47110 | MAYBE 5119 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | YES 2904 | MAYBE 19696 | MAYBE 5119 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | YES 2993 | TIMEOUT 60423 | MAYBE 5120 |
| tpdb-8.0/TRS/AProVE_07/thiemann26.xml | TIMEOUT 60724 | TIMEOUT 60316 | MAYBE 5131 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | YES 2430 | MAYBE 53635 | MAYBE 5121 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | NO 49378 | TIMEOUT 60294 | MAYBE 5130 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | YES 19102 | TIMEOUT 60613 | MAYBE 5156 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | TIMEOUT 60424 | MAYBE 45967 | MAYBE 5137 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | YES 4400 | TIMEOUT 60297 | MAYBE 5135 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | YES 7771 | TIMEOUT 60288 | MAYBE 5352 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | YES 7035 | MAYBE 47868 | MAYBE 5180 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | YES 2860 | MAYBE 49709 | MAYBE 5135 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | YES 4258 | MAYBE 26547 | YES 1625 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | YES 6658 | TIMEOUT 60503 | MAYBE 5133 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | YES 9396 | TIMEOUT 60470 | MAYBE 5123 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | YES 3510 | TIMEOUT 60413 | MAYBE 5125 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | YES 3778 | TIMEOUT 60288 | YES 1208 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | YES 2439 | MAYBE 20000 | YES 297 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | YES 2920 | MAYBE 50462 | MAYBE 5118 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | YES 5180 | MAYBE 13361 | YES 1064 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | YES 6297 | MAYBE 40181 | YES 2105 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | YES 6074 | MAYBE 40115 | YES 2230 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | YES 5384 | MAYBE 14185 | YES 1156 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | YES 5316 | MAYBE 18147 | YES 1329 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | YES 19425 | MAYBE 31246 | MAYBE 5136 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | YES 4261 | MAYBE 13138 | YES 1210 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | YES 5411 | MAYBE 24387 | YES 1577 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | YES 7425 | MAYBE 33272 | YES 2550 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | YES 6796 | MAYBE 43497 | YES 2440 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | YES 3736 | YES 2590 | YES 666 |
| tpdb-8.0/TRS/AProVE_08/log.xml | YES 10537 | MAYBE 7003 | MAYBE 5146 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | TIMEOUT 60480 | TIMEOUT 60339 | MAYBE 5141 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | TIMEOUT 60277 | TIMEOUT 60300 | MAYBE 5145 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | TIMEOUT 60496 | TIMEOUT 60328 | MAYBE 5146 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | TIMEOUT 60652 | TIMEOUT 60350 | MAYBE 5168 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | TIMEOUT 60279 | TIMEOUT 60354 | MAYBE 5144 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | NO 2563 | MAYBE 3811 | MAYBE 5121 |
| tpdb-8.0/TRS/AProVE_08/round.xml | YES 2579 | MAYBE 4332 | MAYBE 5120 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | YES 25673 | TIMEOUT 60278 | YES 454 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | YES 3001 | MAYBE 6682 | YES 757 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | YES 3787 | MAYBE 48702 | MAYBE 5125 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | YES 3897 | MAYBE 42808 | MAYBE 5127 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | YES 5104 | TIMEOUT 60264 | MAYBE 5125 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | YES 3479 | MAYBE 17789 | MAYBE 5120 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | YES 2991 | TIMEOUT 60304 | MAYBE 5127 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | YES 20586 | TIMEOUT 60393 | MAYBE 5132 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | YES 20398 | MAYBE 44670 | MAYBE 5136 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | YES 3819 | TIMEOUT 60305 | MAYBE 5130 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | YES 23335 | TIMEOUT 60385 | MAYBE 5135 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | YES 2225 | MAYBE 12103 | YES 305 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | YES 2894 | TIMEOUT 60306 | MAYBE 5128 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | YES 42048 | TIMEOUT 60327 | MAYBE 5134 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | YES 2384 | MAYBE 25215 | YES 491 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | YES 3058 | MAYBE 52686 | YES 472 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | YES 10629 | TIMEOUT 60300 | MAYBE 5141 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | YES 2539 | MAYBE 5299 | YES 333 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | YES 2434 | MAYBE 34005 | MAYBE 5118 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | YES 2391 | MAYBE 35667 | MAYBE 5116 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | YES 3150 | MAYBE 11836 | YES 484 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | YES 2388 | MAYBE 3109 | YES 297 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | YES 2601 | MAYBE 4903 | YES 372 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | YES 2612 | TIMEOUT 60276 | YES 467 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | YES 2967 | TIMEOUT 60300 | YES 501 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | YES 2329 | YES 1575 | YES 420 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | YES 2190 | MAYBE 4375 | YES 325 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | NO 2527 | TIMEOUT 60268 | MAYBE 5127 |
| tpdb-8.0/TRS/CiME_04/append.xml | YES 1764 | YES 1650 | YES 158 |
| tpdb-8.0/TRS/CiME_04/big.xml | YES 5108 | YES 17310 | YES 3294 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | YES 2419 | YES 1705 | YES 156 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | YES 2233 | YES 677 | YES 144 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | YES 8479 | TIMEOUT 60281 | MAYBE 5134 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | YES 3196 | YES 4057 | YES 776 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | YES 3377 | YES 6458 | YES 1419 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | YES 2882 | YES 2662 | YES 456 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | YES 2651 | YES 4399 | YES 1034 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | YES 2595 | YES 3250 | YES 152 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | YES 2596 | YES 2502 | YES 144 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | YES 3076 | YES 4909 | YES 1522 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | YES 2686 | YES 3267 | YES 900 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | YES 2628 | YES 2516 | YES 661 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | YES 2385 | YES 1905 | YES 148 |
| tpdb-8.0/TRS/CiME_04/log2.xml | YES 3900 | YES 6490 | YES 1918 |
| tpdb-8.0/TRS/CiME_04/lse.xml | YES 3075 | YES 10105 | YES 1736 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | TIMEOUT 60728 | MAYBE 22442 | MAYBE 5133 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | YES 18312 | TIMEOUT 60417 | YES 2906 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | YES 3113 | YES 4500 | YES 1926 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | YES 2967 | YES 4133 | YES 1455 |
| tpdb-8.0/TRS/CiME_04/tree.xml | YES 4110 | YES 11998 | YES 2242 |
| tpdb-8.0/TRS/Der95/01.xml | YES 1809 | YES 309 | YES 144 |
| tpdb-8.0/TRS/Der95/02.xml | YES 1589 | YES 265 | YES 141 |
| tpdb-8.0/TRS/Der95/03.xml | YES 1545 | YES 263 | YES 162 |
| tpdb-8.0/TRS/Der95/04.xml | YES 1596 | YES 255 | YES 150 |
| tpdb-8.0/TRS/Der95/06.xml | YES 1860 | YES 254 | YES 195 |
| tpdb-8.0/TRS/Der95/07.xml | YES 1724 | YES 304 | YES 170 |
| tpdb-8.0/TRS/Der95/08.xml | YES 2198 | YES 1768 | YES 141 |
| tpdb-8.0/TRS/Der95/09.xml | YES 1701 | YES 256 | YES 106 |
| tpdb-8.0/TRS/Der95/11.xml | YES 2758 | YES 3664 | YES 152 |
| tpdb-8.0/TRS/Der95/12.xml | YES 2231 | YES 2702 | YES 526 |
| tpdb-8.0/TRS/Der95/13.xml | YES 1878 | YES 2229 | MAYBE 5123 |
| tpdb-8.0/TRS/Der95/17.xml | YES 1979 | YES 323 | YES 141 |
| tpdb-8.0/TRS/Der95/18.xml | YES 1643 | YES 1261 | YES 137 |
| tpdb-8.0/TRS/Der95/20.xml | YES 2397 | YES 1625 | YES 138 |
| tpdb-8.0/TRS/Der95/21.xml | YES 2311 | YES 1558 | YES 164 |
| tpdb-8.0/TRS/Der95/27.xml | YES 1647 | YES 1035 | YES 134 |
| tpdb-8.0/TRS/Der95/28.xml | YES 1692 | YES 2459 | YES 135 |
| tpdb-8.0/TRS/Der95/30.xml | YES 2113 | YES 1869 | YES 108 |
| tpdb-8.0/TRS/Der95/31.xml | YES 1911 | YES 1757 | YES 483 |
| tpdb-8.0/TRS/Der95/32.xml | YES 2311 | YES 4633 | YES 373 |
| tpdb-8.0/TRS/Der95/33.xml | TIMEOUT 60337 | TIMEOUT 60337 | MAYBE 5153 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | YES 2778 | YES 3737 | YES 149 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | YES 12943 | YES 6046 | MAYBE 2140 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | YES 3030 | YES 4110 | YES 601 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | TIMEOUT 60289 | YES 8356 | YES 1230 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | YES 45651 | YES 6196 | YES 842 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | YES 2188 | YES 4445 | YES 146 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | YES 2911 | YES 7789 | MAYBE 2147 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | YES 5560 | YES 4998 | MAYBE 5131 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 2937 | YES 5019 | YES 750 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | YES 4680 | YES 8731 | YES 846 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | YES 2614 | YES 2793 | YES 149 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | YES 24306 | YES 8110 | YES 143 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | YES 2482 | MAYBE 11130 | MAYBE 5121 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | YES 2600 | MAYBE 10847 | MAYBE 5123 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | TIMEOUT 60364 | MAYBE 5665 | MAYBE 5120 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | YES 2756 | TIMEOUT 60269 | MAYBE 5136 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | YES 3417 | MAYBE 54180 | MAYBE 5119 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | YES 3227 | MAYBE 52332 | MAYBE 5118 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | TIMEOUT 60382 | MAYBE 13438 | MAYBE 5117 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | YES 2594 | TIMEOUT 60277 | MAYBE 5134 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | YES 2757 | TIMEOUT 60281 | MAYBE 5130 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | YES 2590 | MAYBE 47761 | MAYBE 5115 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60272 | TIMEOUT 60290 | MAYBE 5142 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | YES 3301 | MAYBE 16025 | MAYBE 5114 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | YES 6350 | TIMEOUT 60267 | MAYBE 5132 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | YES 3987 | TIMEOUT 60324 | MAYBE 5131 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | YES 2783 | MAYBE 31016 | MAYBE 5122 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | YES 15242 | TIMEOUT 60310 | MAYBE 5147 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | NO 2287 | MAYBE 853 | NO 111 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | NO 2589 | MAYBE 1095 | NO 112 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | NO 2017 | MAYBE 916 | NO 111 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | NO 2041 | MAYBE 1806 | NO 111 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | NO 2436 | MAYBE 1445 | NO 111 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | NO 1793 | MAYBE 2055 | NO 113 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | NO 2106 | MAYBE 953 | NO 112 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | YES 4907 | YES 1009 | YES 210 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | YES 2935 | YES 8228 | YES 913 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | YES 2521 | MAYBE 4412 | YES 517 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | YES 2939 | YES 9297 | YES 723 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | YES 3734 | YES 1271 | YES 153 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | YES 6858 | YES 12610 | YES 2629 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | YES 1479 | YES 257 | YES 139 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | YES 1694 | YES 1097 | YES 138 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | YES 2469 | YES 1534 | YES 419 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | YES 12876 | TIMEOUT 60548 | YES 4275 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | YES 1583 | YES 267 | YES 137 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | YES 1775 | YES 1056 | YES 147 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | YES 2566 | YES 2484 | YES 267 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | YES 2343 | YES 1840 | YES 307 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | YES 2500 | YES 1866 | YES 483 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | YES 3035 | YES 52663 | YES 790 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | YES 2252 | YES 3052 | YES 140 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | YES 2495 | YES 2965 | YES 277 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | YES 1696 | YES 2183 | YES 183 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | YES 2370 | YES 2040 | YES 136 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | YES 1685 | YES 2189 | YES 143 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | TIMEOUT 60299 | MAYBE 38173 | MAYBE 2157 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | TIMEOUT 60591 | TIMEOUT 60287 | MAYBE 5130 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | TIMEOUT 60281 | YES 2812 | MAYBE 5228 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | YES 3997 | YES 3834 | YES 1346 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | YES 3452 | MAYBE 8482 | YES 703 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | YES 4154 | YES 7896 | YES 1029 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | YES 3056 | YES 4846 | YES 657 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | YES 2263 | YES 1582 | YES 275 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | MAYBE 46167 | TIMEOUT 60326 | MAYBE 5152 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | YES 1905 | YES 266 | YES 138 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | YES 2024 | YES 1847 | YES 147 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | YES 1530 | YES 253 | YES 132 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | YES 1774 | YES 1009 | YES 149 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | YES 1960 | YES 305 | YES 138 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | TIMEOUT 60873 | MAYBE 18740 | MAYBE 5129 |
| tpdb-8.0/TRS/Mixed_TRS/motivation.xml | YES 2281 | YES 1662 | YES 240 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | YES 2920 | YES 8842 | YES 809 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | YES 2473 | YES 8238 | YES 507 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | YES 1930 | YES 1095 | YES 147 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | TIMEOUT 60332 | TIMEOUT 60264 | MAYBE 5141 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | YES 2248 | MAYBE 49429 | MAYBE 5111 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | YES 2510 | YES 1448 | YES 197 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | YES 1809 | YES 314 | YES 147 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | YES 1614 | YES 1264 | YES 159 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | YES 2299 | YES 1937 | YES 146 |
| tpdb-8.0/TRS/Rubio_04/division.xml | YES 2400 | YES 5248 | YES 492 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | YES 2425 | YES 2582 | YES 543 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | YES 2740 | YES 12736 | YES 744 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | YES 2459 | YES 4601 | YES 525 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | YES 2279 | YES 448 | YES 140 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | YES 2251 | YES 1646 | YES 330 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | YES 1478 | YES 264 | YES 141 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | YES 1918 | YES 1169 | YES 140 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | YES 2241 | YES 1325 | YES 143 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | YES 2706 | YES 3404 | YES 445 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | YES 4484 | YES 34503 | YES 2164 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | YES 1593 | YES 270 | YES 137 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | YES 1805 | YES 1166 | YES 142 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | YES 2109 | YES 1537 | YES 221 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | YES 2230 | YES 1419 | YES 302 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | YES 2869 | YES 3481 | YES 154 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | YES 2044 | YES 1213 | YES 224 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | YES 3081 | YES 7974 | YES 1098 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | YES 2248 | YES 1698 | YES 463 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | YES 2558 | YES 4262 | YES 491 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | YES 3981 | YES 13333 | YES 1240 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | YES 2000 | YES 971 | YES 141 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | YES 1890 | YES 263 | YES 137 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | YES 4165 | YES 20541 | YES 143 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml | YES 3691 | TIMEOUT 60340 | YES 961 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | YES 9393 | TIMEOUT 60289 | MAYBE 5126 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | YES 8849 | MAYBE 54825 | MAYBE 5121 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | YES 5165 | MAYBE 8041 | MAYBE 5127 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | YES 3453 | YES 3593 | YES 923 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | YES 22327 | YES 6012 | MAYBE 5191 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | YES 2240 | YES 3119 | MAYBE 5148 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | TIMEOUT 60496 | TIMEOUT 60316 | MAYBE 5139 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | NO 1982 | MAYBE 2452 | NO 153 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | YES 32343 | TIMEOUT 60472 | YES 5512 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | YES 2518 | YES 2789 | YES 257 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | YES 1800 | YES 1964 | YES 141 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | YES 2350 | YES 6893 | YES 144 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | YES 5766 | YES 18150 | MAYBE 5341 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | YES 21361 | YES 7002 | MAYBE 5129 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | YES 2935 | MAYBE 8018 | YES 690 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | YES 3758 | TIMEOUT 60277 | YES 562 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | TIMEOUT 60262 | MAYBE 8354 | MAYBE 5124 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | TIMEOUT 60504 | MAYBE 8367 | MAYBE 5126 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | TIMEOUT 60602 | TIMEOUT 60299 | MAYBE 5144 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | NO 2493 | MAYBE 3176 | MAYBE 5121 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | NO 2325 | MAYBE 2228 | NO 194 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | YES 3760 | YES 10148 | YES 156 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | YES 2906 | YES 1525 | YES 892 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | YES 51761 | YES 9061 | MAYBE 5162 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | YES 2540 | YES 36082 | YES 485 |
| tpdb-8.0/TRS/Secret_06_TRS/5.xml | YES 14347 | YES 5569 | YES 1112 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | YES 2655 | YES 1680 | YES 349 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | YES 2706 | YES 1538 | YES 211 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | YES 2442 | YES 1645 | YES 141 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | YES 3033 | YES 3747 | YES 141 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | YES 4748 | TIMEOUT 60460 | YES 2515 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | TIMEOUT 60260 | TIMEOUT 60309 | MAYBE 5145 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | YES 2794 | MAYBE 6485 | YES 437 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | YES 10230 | TIMEOUT 60320 | MAYBE 5119 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | YES 4021 | MAYBE 9991 | MAYBE 5125 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | YES 2559 | YES 6650 | YES 147 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | YES 3216 | YES 4410 | YES 609 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | YES 3072 | YES 9211 | YES 432 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | YES 2636 | YES 3889 | YES 456 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml | YES 3114 | YES 5467 | YES 738 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | YES 3021 | YES 2108 | YES 345 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | YES 3397 | YES 8691 | YES 1401 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | TIMEOUT 60284 | YES 9854 | YES 629 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | YES 3829 | YES 8126 | YES 533 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | YES 2552 | YES 4696 | YES 608 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | YES 14550 | TIMEOUT 60298 | MAYBE 5140 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | YES 3445 | TIMEOUT 60329 | MAYBE 5137 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | YES 3155 | TIMEOUT 60316 | YES 797 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | YES 3676 | TIMEOUT 60422 | YES 1463 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | YES 10504 | MAYBE 23450 | MAYBE 5127 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | YES 12210 | TIMEOUT 60371 | MAYBE 5142 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | YES 8969 | YES 5068 | MAYBE 5120 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | YES 3842 | MAYBE 20764 | MAYBE 5125 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | YES 11535 | MAYBE 40621 | MAYBE 5120 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | TIMEOUT 60300 | TIMEOUT 60313 | MAYBE 5148 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | TIMEOUT 60260 | MAYBE 8407 | MAYBE 5137 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | YES 9488 | TIMEOUT 60346 | MAYBE 5158 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | TIMEOUT 60449 | MAYBE 10427 | MAYBE 5121 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | TIMEOUT 60262 | MAYBE 8879 | MAYBE 5139 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | TIMEOUT 60266 | MAYBE 12863 | MAYBE 5147 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | YES 3238 | MAYBE 14147 | YES 898 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | YES 1859 | YES 310 | YES 206 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | TIMEOUT 60400 | TIMEOUT 60280 | MAYBE 59236 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | YES 15496 | TIMEOUT 60250 | YES 157 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | TIMEOUT 60578 | TIMEOUT 60331 | YES 1905 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | YES 7952 | YES 18004 | YES 4790 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | YES 16909 | TIMEOUT 60254 | YES 1760 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | YES 12099 | YES 17819 | MAYBE 5188 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | TIMEOUT 60448 | TIMEOUT 60302 | MAYBE 5148 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | YES 12029 | MAYBE 22711 | MAYBE 5127 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | YES 9008 | MAYBE 37801 | MAYBE 5128 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | TIMEOUT 60393 | TIMEOUT 60344 | MAYBE 5145 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | YES 5617 | TIMEOUT 60342 | MAYBE 5121 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | YES 3470 | MAYBE 54675 | MAYBE 5122 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | YES 5383 | TIMEOUT 60313 | MAYBE 5150 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | YES 3468 | MAYBE 14853 | MAYBE 5124 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | YES 11322 | TIMEOUT 60548 | MAYBE 5150 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | YES 10548 | TIMEOUT 60340 | MAYBE 5122 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | YES 23373 | TIMEOUT 60380 | MAYBE 5160 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | YES 3207 | YES 3795 | YES 152 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | YES 2442 | YES 4895 | YES 150 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | YES 2321 | YES 2985 | YES 584 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | YES 2614 | YES 5001 | YES 911 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | YES 2862 | YES 6127 | YES 930 |
| tpdb-8.0/TRS/SK90/2.01.xml | YES 2517 | YES 363 | YES 146 |
| tpdb-8.0/TRS/SK90/2.02.xml | YES 1875 | YES 308 | YES 141 |
| tpdb-8.0/TRS/SK90/2.03.xml | YES 1747 | YES 309 | YES 138 |
| tpdb-8.0/TRS/SK90/2.04.xml | YES 1685 | YES 268 | YES 140 |
| tpdb-8.0/TRS/SK90/2.05.xml | NO 2854 | TIMEOUT 60446 | MAYBE 5142 |
| tpdb-8.0/TRS/SK90/2.06.xml | YES 1801 | YES 312 | YES 140 |
| tpdb-8.0/TRS/SK90/2.07.xml | YES 2297 | YES 2050 | YES 140 |
| tpdb-8.0/TRS/SK90/2.08.xml | YES 1984 | YES 1683 | YES 139 |
| tpdb-8.0/TRS/SK90/2.09.xml | YES 1749 | YES 267 | YES 141 |
| tpdb-8.0/TRS/SK90/2.10.xml | YES 2016 | YES 361 | YES 143 |
| tpdb-8.0/TRS/SK90/2.11.xml | YES 1752 | YES 310 | YES 141 |
| tpdb-8.0/TRS/SK90/2.12.xml | YES 2371 | YES 1818 | YES 144 |
| tpdb-8.0/TRS/SK90/2.13.xml | YES 2248 | YES 362 | YES 140 |
| tpdb-8.0/TRS/SK90/2.14.xml | YES 2339 | YES 365 | YES 144 |
| tpdb-8.0/TRS/SK90/2.15.xml | YES 1921 | YES 1684 | YES 143 |
| tpdb-8.0/TRS/SK90/2.16.xml | YES 2200 | YES 1443 | YES 146 |
| tpdb-8.0/TRS/SK90/2.17.xml | YES 1821 | YES 1852 | YES 143 |
| tpdb-8.0/TRS/SK90/2.18.xml | YES 1701 | YES 1363 | YES 144 |
| tpdb-8.0/TRS/SK90/2.19.xml | YES 2247 | YES 1631 | YES 148 |
| tpdb-8.0/TRS/SK90/2.20.xml | YES 2233 | YES 1233 | YES 139 |
| tpdb-8.0/TRS/SK90/2.21.xml | YES 2128 | YES 1425 | YES 142 |
| tpdb-8.0/TRS/SK90/2.22.xml | YES 1805 | YES 1524 | YES 140 |
| tpdb-8.0/TRS/SK90/2.23.xml | YES 2231 | YES 1554 | YES 143 |
| tpdb-8.0/TRS/SK90/2.24.xml | YES 2175 | YES 259 | YES 140 |
| tpdb-8.0/TRS/SK90/2.25.xml | YES 2122 | YES 1324 | YES 141 |
| tpdb-8.0/TRS/SK90/2.26.xml | YES 2396 | YES 2234 | YES 148 |
| tpdb-8.0/TRS/SK90/2.27.xml | YES 2329 | YES 2377 | YES 148 |
| tpdb-8.0/TRS/SK90/2.28.xml | YES 1655 | YES 256 | YES 140 |
| tpdb-8.0/TRS/SK90/2.29.xml | YES 2454 | YES 1701 | YES 154 |
| tpdb-8.0/TRS/SK90/2.30.xml | YES 1801 | YES 1366 | YES 140 |
| tpdb-8.0/TRS/SK90/2.31.xml | YES 1790 | YES 358 | YES 140 |
| tpdb-8.0/TRS/SK90/2.32.xml | YES 2416 | YES 373 | YES 140 |
| tpdb-8.0/TRS/SK90/2.33.xml | YES 2200 | YES 311 | YES 141 |
| tpdb-8.0/TRS/SK90/2.34.xml | YES 2293 | YES 309 | YES 142 |
| tpdb-8.0/TRS/SK90/2.35.xml | YES 1924 | YES 1266 | YES 176 |
| tpdb-8.0/TRS/SK90/2.36.xml | YES 1894 | YES 307 | YES 143 |
| tpdb-8.0/TRS/SK90/2.37.xml | YES 2139 | YES 256 | YES 139 |
| tpdb-8.0/TRS/SK90/2.38.xml | YES 1797 | YES 305 | YES 140 |
| tpdb-8.0/TRS/SK90/2.39.xml | YES 2336 | YES 358 | YES 146 |
| tpdb-8.0/TRS/SK90/2.40.xml | YES 2160 | YES 1378 | YES 143 |
| tpdb-8.0/TRS/SK90/2.41.xml | YES 1857 | YES 321 | YES 143 |
| tpdb-8.0/TRS/SK90/2.42.xml | YES 2770 | YES 413 | YES 144 |
| tpdb-8.0/TRS/SK90/2.43.xml | YES 2635 | YES 6787 | YES 143 |
| tpdb-8.0/TRS/SK90/2.44.xml | YES 2556 | YES 4465 | YES 733 |
| tpdb-8.0/TRS/SK90/2.45.xml | YES 2613 | YES 3908 | YES 150 |
| tpdb-8.0/TRS/SK90/2.46.xml | YES 1954 | YES 260 | YES 163 |
| tpdb-8.0/TRS/SK90/2.47.xml | YES 1633 | YES 260 | YES 154 |
| tpdb-8.0/TRS/SK90/2.48.xml | YES 1591 | YES 312 | YES 182 |
| tpdb-8.0/TRS/SK90/2.49.xml | YES 2232 | YES 307 | YES 186 |
| tpdb-8.0/TRS/SK90/2.50.xml | YES 1630 | YES 250 | YES 155 |
| tpdb-8.0/TRS/SK90/2.51.xml | YES 1686 | YES 1319 | YES 140 |
| tpdb-8.0/TRS/SK90/2.52.xml | YES 2625 | YES 2904 | YES 145 |
| tpdb-8.0/TRS/SK90/2.53.xml | YES 1898 | YES 263 | YES 137 |
| tpdb-8.0/TRS/SK90/2.54.xml | YES 1602 | YES 260 | YES 136 |
| tpdb-8.0/TRS/SK90/2.55.xml | YES 1590 | YES 256 | YES 143 |
| tpdb-8.0/TRS/SK90/2.56.xml | YES 1537 | YES 257 | YES 138 |
| tpdb-8.0/TRS/SK90/2.57.xml | YES 2216 | YES 252 | YES 143 |
| tpdb-8.0/TRS/SK90/2.58.xml | YES 1754 | YES 824 | YES 143 |
| tpdb-8.0/TRS/SK90/2.59.xml | YES 1631 | YES 1220 | YES 136 |
| tpdb-8.0/TRS/SK90/2.60.xml | YES 2197 | YES 255 | YES 145 |
| tpdb-8.0/TRS/SK90/2.61.xml | YES 1695 | YES 368 | YES 144 |
| tpdb-8.0/TRS/SK90/4.01.xml | YES 1758 | YES 305 | YES 138 |
| tpdb-8.0/TRS/SK90/4.02.xml | YES 2409 | YES 11131 | YES 144 |
| tpdb-8.0/TRS/SK90/4.03.xml | YES 2243 | YES 1606 | YES 140 |
| tpdb-8.0/TRS/SK90/4.04.xml | YES 1690 | YES 263 | YES 139 |
| tpdb-8.0/TRS/SK90/4.05.xml | YES 1697 | YES 2083 | YES 141 |
| tpdb-8.0/TRS/SK90/4.06.xml | NO 2411 | MAYBE 18716 | NO 158 |
| tpdb-8.0/TRS/SK90/4.07.xml | YES 1702 | YES 266 | YES 140 |
| tpdb-8.0/TRS/SK90/4.08.xml | YES 1642 | YES 289 | YES 145 |
| tpdb-8.0/TRS/SK90/4.09.xml | YES 1756 | YES 2181 | YES 145 |
| tpdb-8.0/TRS/SK90/4.10.xml | YES 2137 | YES 2080 | YES 144 |
| tpdb-8.0/TRS/SK90/4.11.xml | YES 1700 | YES 312 | YES 144 |
| tpdb-8.0/TRS/SK90/4.12.xml | YES 2054 | YES 259 | YES 145 |
| tpdb-8.0/TRS/SK90/4.13.xml | YES 2341 | YES 1389 | YES 155 |
| tpdb-8.0/TRS/SK90/4.14.xml | YES 2386 | YES 2319 | YES 150 |
| tpdb-8.0/TRS/SK90/4.15.xml | YES 1660 | YES 271 | YES 140 |
| tpdb-8.0/TRS/SK90/4.16.xml | YES 2637 | YES 309 | YES 144 |
| tpdb-8.0/TRS/SK90/4.17.xml | YES 2807 | YES 1476 | YES 249 |
| tpdb-8.0/TRS/SK90/4.18.xml | YES 2209 | YES 2165 | YES 140 |
| tpdb-8.0/TRS/SK90/4.19.xml | YES 1526 | YES 255 | YES 140 |
| tpdb-8.0/TRS/SK90/4.20.xml | YES 2174 | YES 1478 | YES 145 |
| tpdb-8.0/TRS/SK90/4.21.xml | YES 1873 | YES 1792 | YES 141 |
| tpdb-8.0/TRS/SK90/4.22.xml | YES 2049 | YES 1689 | YES 143 |
| tpdb-8.0/TRS/SK90/4.23.xml | YES 2232 | YES 4041 | YES 143 |
| tpdb-8.0/TRS/SK90/4.24.xml | YES 2357 | MAYBE 11706 | YES 420 |
| tpdb-8.0/TRS/SK90/4.25.xml | YES 1788 | YES 310 | YES 136 |
| tpdb-8.0/TRS/SK90/4.26.xml | YES 2292 | YES 357 | YES 142 |
| tpdb-8.0/TRS/SK90/4.27.xml | YES 2568 | YES 2497 | YES 146 |
| tpdb-8.0/TRS/SK90/4.28.xml | YES 2647 | YES 2717 | YES 148 |
| tpdb-8.0/TRS/SK90/4.29.xml | YES 2438 | YES 306 | YES 140 |
| tpdb-8.0/TRS/SK90/4.30.xml | YES 2726 | YES 1485 | YES 142 |
| tpdb-8.0/TRS/SK90/4.31.xml | YES 2031 | YES 2489 | YES 440 |
| tpdb-8.0/TRS/SK90/4.32.xml | YES 2829 | YES 1903 | YES 632 |
| tpdb-8.0/TRS/SK90/4.33.xml | YES 1544 | YES 254 | YES 151 |
| tpdb-8.0/TRS/SK90/4.34.xml | NO 2074 | TIMEOUT 60250 | NO 164 |
| tpdb-8.0/TRS/SK90/4.35.xml | YES 1806 | YES 1069 | YES 167 |
| tpdb-8.0/TRS/SK90/4.36.xml | YES 1744 | YES 1164 | YES 153 |
| tpdb-8.0/TRS/SK90/4.37.xml | YES 1521 | YES 254 | YES 149 |
| tpdb-8.0/TRS/SK90/4.38.xml | YES 1823 | YES 316 | YES 138 |
| tpdb-8.0/TRS/SK90/4.39.xml | YES 1861 | YES 852 | YES 150 |
| tpdb-8.0/TRS/SK90/4.40.xml | NO 2988 | MAYBE 8779 | MAYBE 5116 |
| tpdb-8.0/TRS/SK90/4.41.xml | YES 1694 | YES 1164 | YES 137 |
| tpdb-8.0/TRS/SK90/4.42.xml | YES 2054 | YES 1497 | YES 523 |
| tpdb-8.0/TRS/SK90/4.43.xml | YES 2105 | YES 368 | YES 153 |
| tpdb-8.0/TRS/SK90/4.44.xml | YES 1820 | YES 1169 | YES 139 |
| tpdb-8.0/TRS/SK90/4.45.xml | YES 1650 | YES 255 | YES 132 |
| tpdb-8.0/TRS/SK90/4.46.xml | YES 1751 | YES 1254 | YES 136 |
| tpdb-8.0/TRS/SK90/4.47.xml | YES 2994 | YES 874 | YES 138 |
| tpdb-8.0/TRS/SK90/4.48.xml | YES 1680 | YES 304 | YES 139 |
| tpdb-8.0/TRS/SK90/4.49.xml | NO 2154 | TIMEOUT 60411 | NO 106 |
| tpdb-8.0/TRS/SK90/4.50.xml | YES 1574 | YES 1325 | YES 131 |
| tpdb-8.0/TRS/SK90/4.51.xml | YES 2311 | YES 1263 | YES 139 |
| tpdb-8.0/TRS/SK90/4.52.xml | YES 2335 | YES 358 | YES 139 |
| tpdb-8.0/TRS/SK90/4.53.xml | YES 2242 | YES 1581 | YES 137 |
| tpdb-8.0/TRS/SK90/4.54.xml | NO 2120 | TIMEOUT 60268 | NO 139 |
| tpdb-8.0/TRS/SK90/4.55.xml | YES 1576 | YES 1280 | YES 144 |
| tpdb-8.0/TRS/SK90/4.56.xml | YES 1584 | YES 816 | YES 146 |
| tpdb-8.0/TRS/SK90/4.57.xml | YES 2239 | YES 3886 | YES 258 |
| tpdb-8.0/TRS/SK90/4.59.xml | YES 2404 | YES 4160 | YES 682 |
| tpdb-8.0/TRS/SK90/4.60.xml | YES 2596 | YES 3210 | YES 628 |
| tpdb-8.0/TRS/SK90/4.61.xml | YES 2800 | YES 9564 | YES 949 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | NO 2122 | MAYBE 2263 | NO 3737 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | NO 4502 | MAYBE 2415 | MAYBE 5118 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.14.xml | NO 2513 | MAYBE 16436 | NO 142 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml | NO 5050 | MAYBE 9199 | NO 160 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml | NO 2072 | MAYBE 2178 | NO 140 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | NO 7638 | TIMEOUT 60258 | NO 143 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | NO 2178 | TIMEOUT 60318 | NO 169 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.19.xml | TIMEOUT 60259 | MAYBE 12312 | MAYBE 5118 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | YES 2287 | YES 905 | YES 143 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | YES 1629 | YES 1205 | YES 135 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml | YES 2175 | YES 1797 | YES 139 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml | YES 1767 | YES 1472 | YES 240 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.23.xml | YES 2414 | YES 1746 | YES 395 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | YES 1643 | YES 1096 | YES 202 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.26.xml | YES 2544 | MAYBE 5556 | YES 369 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | YES 2438 | YES 1899 | YES 160 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml | YES 2370 | YES 2274 | YES 403 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml | YES 2878 | YES 5260 | YES 767 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.2.xml | NO 7915 | TIMEOUT 60261 | NO 141 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml | YES 2302 | MAYBE 4605 | YES 373 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | YES 13840 | MAYBE 11223 | MAYBE 5127 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | YES 13624 | TIMEOUT 60288 | MAYBE 5130 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | YES 9219 | MAYBE 51961 | MAYBE 5128 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | YES 2158 | YES 1591 | YES 206 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml | YES 2766 | YES 2192 | YES 520 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.34.xml | YES 2771 | YES 3500 | YES 818 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml | YES 4993 | YES 34655 | YES 2536 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | YES 3740 | YES 10659 | YES 1126 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | YES 2589 | YES 1542 | YES 138 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml | YES 2344 | YES 1631 | YES 137 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | NO 1754 | MAYBE 3383 | MAYBE 5118 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | NO 1899 | MAYBE 2721 | MAYBE 5117 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | NO 7429 | TIMEOUT 60255 | NO 140 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | NO 3374 | MAYBE 8170 | NO 108 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | NO 2639 | MAYBE 2484 | NO 107 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | NO 2666 | MAYBE 1908 | NO 107 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | NO 2982 | MAYBE 3363 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | NO 2975 | MAYBE 5335 | NO 111 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | NO 2529 | MAYBE 3378 | NO 110 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | NO 1813 | MAYBE 2066 | NO 157 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | NO 2824 | MAYBE 3507 | NO 107 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | NO 2856 | MAYBE 1465 | NO 138 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | NO 1970 | MAYBE 2226 | MAYBE 2132 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | NO 3437 | MAYBE 3683 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml | NO 2830 | MAYBE 3226 | NO 110 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | NO 2789 | MAYBE 2539 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | NO 3253 | MAYBE 3979 | NO 111 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | NO 3218 | MAYBE 6839 | NO 110 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | NO 2129 | MAYBE 2137 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | NO 3316 | MAYBE 1756 | NO 144 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml | NO 3149 | MAYBE 8611 | NO 112 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | NO 2774 | MAYBE 2354 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | NO 2269 | MAYBE 945 | NO 108 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | YES 2409 | YES 2058 | YES 449 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml | NO 2376 | MAYBE 3584 | NO 111 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | NO 3605 | MAYBE 8116 | NO 111 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | NO 2709 | MAYBE 2024 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | NO 4000 | MAYBE 9404 | NO 113 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml | NO 2689 | MAYBE 2659 | NO 110 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | NO 2472 | MAYBE 1664 | NO 111 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | NO 2728 | MAYBE 2548 | NO 106 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | NO 2877 | MAYBE 3726 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | NO 2305 | MAYBE 4196 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml | NO 3437 | MAYBE 8544 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | NO 3627 | MAYBE 11461 | NO 112 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | NO 2384 | MAYBE 1651 | NO 110 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | NO 3043 | MAYBE 2790 | NO 108 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | NO 2970 | MAYBE 2176 | NO 111 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml | NO 4138 | MAYBE 5426 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | NO 3510 | MAYBE 3286 | NO 108 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | TIMEOUT 60601 | MAYBE 7848 | MAYBE 5112 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | NO 2374 | MAYBE 1690 | NO 111 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | NO 2600 | MAYBE 4009 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | NO 2337 | MAYBE 1857 | NO 108 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | NO 2792 | MAYBE 2075 | NO 142 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | NO 2267 | MAYBE 1129 | NO 109 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | NO 2648 | MAYBE 2851 | MAYBE 5115 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | NO 3687 | MAYBE 3841 | NO 114 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | NO 1974 | MAYBE 2167 | NO 148 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | NO 2121 | MAYBE 36006 | NO 1194 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | NO 4104 | MAYBE 7165 | NO 168 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | NO 3197 | MAYBE 6012 | NO 146 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | NO 2058 | MAYBE 2376 | MAYBE 5119 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | NO 5027 | MAYBE 3365 | MAYBE 5124 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | NO 13883 | MAYBE 3176 | MAYBE 5121 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | YES 2078 | YES 1284 | YES 145 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | NO 2148 | MAYBE 2289 | MAYBE 5121 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | NO 1802 | MAYBE 2090 | NO 2098 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | YES 2172 | YES 1422 | YES 140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | YES 2489 | TIMEOUT 60450 | MAYBE 5198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | YES 2892 | YES 3372 | YES 897 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | TIMEOUT 60337 | TIMEOUT 60450 | MAYBE 5193 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml | TIMEOUT 60337 | TIMEOUT 60488 | MAYBE 5166 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | NO 1365 | NO 204 | NO 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | YES 2754 | YES 3387 | YES 843 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | YES 3590 | YES 4812 | YES 882 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | YES 2318 | YES 1485 | YES 140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | YES 2312 | YES 9775 | YES 681 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml | YES 6117 | YES 3137 | YES 768 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | NO 1419 | NO 200 | NO 107 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | YES 2315 | YES 1426 | YES 143 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | YES 2268 | YES 20182 | YES 3459 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml | NO 10055 | TIMEOUT 60270 | NO 360 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | YES 2773 | YES 2650 | YES 551 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml | YES 5464 | YES 5123 | YES 1831 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml | NO 2383 | MAYBE 905 | NO 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml | NO 7742 | TIMEOUT 60273 | NO 198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | YES 2769 | TIMEOUT 60327 | MAYBE 5175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | NO 8624 | MAYBE 2367 | NO 154 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | NO 7879 | MAYBE 3544 | NO 517 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml | TIMEOUT 60520 | TIMEOUT 60344 | MAYBE 5168 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | NO 2759 | MAYBE 1451 | NO 150 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | YES 2162 | YES 1704 | YES 471 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | YES 2308 | YES 890 | YES 143 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | YES 2376 | YES 1323 | YES 145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | YES 3007 | YES 1865 | YES 144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | NO 2158 | MAYBE 711 | NO 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | YES 2174 | YES 705 | YES 151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | YES 2306 | YES 14702 | YES 3267 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | YES 10503 | TIMEOUT 60298 | YES 1177 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | YES 3683 | YES 3136 | YES 356 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | YES 13141 | YES 12936 | YES 3079 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | NO 1376 | NO 204 | NO 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | YES 2515 | YES 2521 | YES 719 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | YES 2137 | YES 3067 | YES 1842 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml | YES 1649 | YES 1391 | YES 139 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | YES 1959 | YES 677 | YES 220 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | YES 3444 | YES 4819 | YES 342 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | NO 2643 | MAYBE 1150 | NO 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | YES 2186 | YES 1657 | YES 583 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | YES 1860 | YES 312 | YES 144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | YES 2455 | YES 703 | YES 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | YES 2634 | YES 1694 | YES 162 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | YES 1485 | YES 260 | YES 137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | YES 1648 | YES 602 | YES 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | YES 2237 | YES 24670 | YES 5245 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | TIMEOUT 60431 | TIMEOUT 60358 | MAYBE 5163 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | YES 2614 | YES 2589 | YES 158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml | YES 5612 | YES 29906 | YES 3304 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | NO 2291 | MAYBE 805 | NO 107 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | NO 28085 | TIMEOUT 60308 | MAYBE 5156 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | TIMEOUT 60317 | TIMEOUT 60450 | MAYBE 5198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | TIMEOUT 60270 | TIMEOUT 60364 | MAYBE 5161 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | TIMEOUT 60290 | TIMEOUT 60329 | MAYBE 5158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | TIMEOUT 60637 | TIMEOUT 60549 | MAYBE 5141 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | NO 1418 | NO 221 | NO 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | NO 2554 | MAYBE 9544 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | YES 2176 | YES 10451 | MAYBE 5155 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | NO 1909 | MAYBE 2019 | NO 182 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | NO 5886 | TIMEOUT 60288 | MAYBE 5124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml | NO 13884 | TIMEOUT 60352 | MAYBE 5138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | NO 2273 | MAYBE 959 | NO 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | YES 2354 | TIMEOUT 60433 | MAYBE 5195 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | YES 3186 | YES 2397 | YES 631 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | TIMEOUT 60286 | TIMEOUT 60298 | MAYBE 5158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml | TIMEOUT 60405 | TIMEOUT 60452 | MAYBE 5140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | NO 1417 | NO 212 | NO 107 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | YES 2264 | YES 1747 | YES 420 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | YES 2444 | YES 7131 | YES 2580 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | NO 13852 | TIMEOUT 60272 | MAYBE 5138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | YES 4071 | YES 3617 | YES 1309 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml | YES 8517 | YES 7317 | YES 2315 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | NO 1424 | NO 206 | NO 134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | NO 2864 | MAYBE 3175 | NO 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | YES 2207 | YES 1665 | YES 661 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | NO 2820 | MAYBE 1711 | NO 160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | YES 1577 | YES 312 | YES 146 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | YES 2413 | YES 872 | YES 153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | NO 2376 | MAYBE 911 | NO 157 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | YES 2174 | YES 2555 | YES 714 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | YES 2550 | YES 363 | YES 338 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | YES 2381 | YES 364 | YES 147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | YES 2465 | YES 2004 | YES 163 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | YES 1591 | YES 260 | YES 140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | YES 1702 | YES 271 | YES 144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | YES 2167 | YES 12574 | MAYBE 5168 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | TIMEOUT 60541 | MAYBE 3590 | MAYBE 5119 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | NO 7684 | MAYBE 3672 | MAYBE 5118 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml | TIMEOUT 60365 | MAYBE 36942 | MAYBE 5123 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml | NO 2275 | MAYBE 699 | NO 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | TIMEOUT 60256 | MAYBE 3031 | MAYBE 5119 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | YES 2117 | YES 4080 | MAYBE 5121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | NO 2794 | MAYBE 2102 | NO 178 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | NO 3232 | MAYBE 2546 | NO 150 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml | NO 10564 | TIMEOUT 60338 | MAYBE 5158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | NO 2525 | MAYBE 1308 | NO 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | YES 3084 | YES 1126 | YES 198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | YES 3224 | YES 1795 | YES 460 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | YES 2882 | YES 414 | YES 268 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml | YES 3381 | YES 4272 | YES 1810 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | YES 1731 | YES 271 | YES 138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | YES 1746 | YES 380 | YES 290 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | YES 2408 | YES 13042 | YES 3783 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | YES 25211 | TIMEOUT 60315 | MAYBE 5164 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | YES 5453 | YES 12612 | YES 1441 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml | YES 17686 | YES 41390 | YES 5748 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | YES 1867 | YES 309 | YES 144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | YES 14012 | TIMEOUT 60378 | YES 1460 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | YES 2338 | TIMEOUT 60626 | YES 3974 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | YES 3042 | YES 5276 | YES 920 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | TIMEOUT 60335 | TIMEOUT 60352 | MAYBE 5174 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | TIMEOUT 60350 | TIMEOUT 60557 | YES 4016 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | YES 2278 | YES 1554 | YES 151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | YES 2524 | YES 2595 | YES 558 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | YES 2347 | YES 9569 | YES 3007 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | YES 4889 | YES 3552 | YES 1213 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | YES 3962 | YES 6239 | YES 877 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml | YES 7763 | YES 33343 | YES 3534 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | YES 1600 | YES 306 | YES 143 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | YES 2818 | YES 3702 | YES 468 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | YES 2333 | TIMEOUT 60363 | MAYBE 5182 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | YES 2212 | YES 1594 | YES 146 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | TIMEOUT 60328 | TIMEOUT 60299 | MAYBE 5246 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | TIMEOUT 60345 | TIMEOUT 60379 | MAYBE 5169 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | NO 1372 | NO 211 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | YES 2130 | YES 1317 | YES 151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | TIMEOUT 60338 | TIMEOUT 60482 | MAYBE 5204 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | TIMEOUT 60337 | TIMEOUT 60340 | MAYBE 5156 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | TIMEOUT 60329 | TIMEOUT 60297 | MAYBE 5155 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml | TIMEOUT 60348 | TIMEOUT 60711 | MAYBE 5170 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | NO 1374 | NO 234 | NO 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | TIMEOUT 60405 | TIMEOUT 60325 | MAYBE 5160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | YES 2264 | YES 12600 | YES 3293 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | TIMEOUT 60396 | TIMEOUT 60372 | MAYBE 5160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | YES 4553 | YES 5160 | YES 1051 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml | YES 14891 | YES 8438 | YES 3016 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | YES 1584 | YES 308 | YES 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml | NO 3244 | MAYBE 9092 | NO 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | YES 2689 | YES 3018 | YES 339 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | NO 7603 | TIMEOUT 60276 | MAYBE 5123 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | YES 2251 | YES 4679 | YES 300 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | YES 2904 | YES 2181 | YES 364 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | YES 1522 | YES 244 | YES 147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml | NO 2186 | TIMEOUT 60260 | NO 167 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | YES 2302 | YES 5811 | YES 4171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | YES 3243 | YES 626 | YES 149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | YES 3591 | YES 958 | YES 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml | YES 5932 | YES 3744 | YES 1693 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | YES 2291 | YES 1161 | YES 137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | YES 2207 | YES 304 | YES 136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | YES 2991 | TIMEOUT 60542 | MAYBE 5198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | YES 3111 | YES 7337 | YES 986 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | TIMEOUT 60432 | TIMEOUT 60469 | MAYBE 5176 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml | TIMEOUT 60339 | TIMEOUT 60594 | MAYBE 5170 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | NO 1368 | NO 221 | NO 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | YES 2827 | YES 3234 | YES 700 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | YES 2268 | TIMEOUT 60375 | MAYBE 5189 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | YES 2161 | YES 1471 | YES 143 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | YES 8433 | TIMEOUT 60306 | YES 1035 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | YES 16275 | TIMEOUT 60384 | YES 3286 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | NO 1322 | NO 207 | NO 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | YES 2091 | YES 1271 | YES 142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | YES 2194 | YES 3178 | YES 1345 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | YES 1474 | YES 268 | YES 137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | YES 1956 | YES 359 | YES 146 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | YES 3210 | YES 2134 | YES 237 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 1373 | NO 201 | NO 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | YES 2367 | TIMEOUT 60482 | YES 2662 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | YES 14303 | TIMEOUT 60328 | YES 3700 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | YES 4357 | YES 11606 | YES 2225 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml | YES 10919 | YES 48852 | YES 3215 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | NO 1419 | NO 203 | NO 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | YES 2855 | YES 3194 | YES 635 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | YES 4005 | TIMEOUT 60521 | MAYBE 5209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml | NO 16878 | TIMEOUT 60501 | MAYBE 5159 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | YES 24566 | TIMEOUT 60728 | MAYBE 5187 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml | TIMEOUT 60399 | TIMEOUT 60443 | MAYBE 5175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | NO 1378 | NO 230 | NO 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml | NO 14679 | TIMEOUT 60494 | MAYBE 5163 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | YES 2324 | TIMEOUT 60381 | MAYBE 5200 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | YES 2225 | YES 1620 | YES 141 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | TIMEOUT 60559 | TIMEOUT 60321 | MAYBE 5154 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | TIMEOUT 60342 | TIMEOUT 60399 | MAYBE 5165 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | NO 1430 | NO 211 | NO 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | YES 2289 | YES 1428 | YES 146 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | TIMEOUT 60319 | TIMEOUT 60596 | MAYBE 5214 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | TIMEOUT 60327 | TIMEOUT 60299 | MAYBE 5161 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | TIMEOUT 60510 | TIMEOUT 60363 | MAYBE 5175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | TIMEOUT 60436 | TIMEOUT 60486 | MAYBE 5162 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | NO 1424 | NO 225 | NO 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | TIMEOUT 60392 | TIMEOUT 60348 | MAYBE 5155 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | YES 2613 | YES 20458 | MAYBE 5211 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | NO 20718 | TIMEOUT 60537 | MAYBE 5174 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | YES 6587 | YES 41414 | YES 1875 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | YES 22617 | YES 14116 | YES 5625 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | NO 1378 | NO 204 | NO 115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | NO 5249 | MAYBE 9912 | NO 766 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | YES 2351 | YES 6150 | YES 1815 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | YES 2173 | YES 359 | YES 144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | YES 2951 | YES 2253 | YES 303 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | YES 4630 | YES 4738 | YES 1275 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | NO 1422 | NO 206 | NO 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | YES 1549 | YES 312 | YES 147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | YES 6558 | TIMEOUT 61190 | MAYBE 5205 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | TIMEOUT 60347 | TIMEOUT 60303 | MAYBE 5153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | TIMEOUT 60988 | TIMEOUT 60402 | MAYBE 5212 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml | TIMEOUT 60354 | TIMEOUT 60786 | MAYBE 5174 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | NO 1331 | NO 223 | NO 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml | NO 20721 | TIMEOUT 60344 | MAYBE 5140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | YES 3946 | YES 6044 | YES 1812 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | YES 2185 | YES 1564 | YES 351 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | YES 4522 | YES 11809 | YES 1011 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | YES 9244 | YES 49149 | YES 4111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | NO 1314 | NO 205 | NO 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | YES 2221 | YES 1822 | YES 324 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | YES 2190 | YES 1598 | YES 483 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | NO 2994 | MAYBE 1383 | NO 168 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | YES 1528 | YES 306 | YES 139 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | YES 2402 | YES 2013 | YES 141 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | YES 1591 | YES 257 | YES 134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | YES 2186 | YES 6311 | YES 2445 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | YES 2733 | YES 1918 | YES 541 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | YES 2637 | YES 2316 | YES 558 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml | YES 3449 | YES 4045 | YES 1623 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | YES 1598 | YES 255 | YES 133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | YES 2614 | YES 1740 | YES 200 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | YES 2420 | TIMEOUT 60465 | MAYBE 5195 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | YES 3392 | YES 2805 | YES 772 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | TIMEOUT 60345 | TIMEOUT 60340 | MAYBE 5160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml | TIMEOUT 60314 | TIMEOUT 60514 | MAYBE 5161 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | NO 1428 | NO 215 | NO 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | YES 2370 | YES 2148 | YES 512 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | YES 2495 | TIMEOUT 60496 | MAYBE 5198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | YES 2416 | YES 2511 | YES 147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | TIMEOUT 60318 | TIMEOUT 60330 | MAYBE 5160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml | TIMEOUT 60324 | TIMEOUT 60515 | MAYBE 5144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | NO 1425 | NO 214 | NO 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | YES 2314 | YES 1653 | YES 145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | YES 2350 | YES 12101 | YES 3102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | YES 11129 | TIMEOUT 60332 | YES 1838 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | YES 6270 | YES 4243 | YES 1259 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml | YES 11251 | YES 7557 | YES 5310 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | YES 1866 | YES 307 | YES 140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | YES 3130 | YES 7332 | YES 1121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | YES 2360 | TIMEOUT 60319 | MAYBE 5156 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | NO 1892 | MAYBE 1904 | NO 167 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | NO 9741 | TIMEOUT 60335 | MAYBE 5127 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml | TIMEOUT 60514 | TIMEOUT 60396 | MAYBE 5134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | NO 1798 | MAYBE 1815 | NO 139 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | YES 2820 | YES 3664 | YES 779 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | NO 2535 | TIMEOUT 60253 | MAYBE 5121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | YES 2452 | YES 757 | YES 162 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml | YES 2916 | YES 2597 | YES 469 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | YES 2637 | TIMEOUT 60469 | MAYBE 5209 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | YES 2846 | YES 3277 | YES 855 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | TIMEOUT 60474 | TIMEOUT 60509 | MAYBE 5209 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml | TIMEOUT 60327 | TIMEOUT 60387 | MAYBE 5170 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | NO 1369 | NO 206 | NO 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | YES 2830 | YES 3325 | YES 731 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | YES 2789 | YES 675 | YES 165 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | YES 2190 | YES 365 | YES 274 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | YES 2482 | YES 311 | YES 356 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | YES 2611 | YES 3688 | YES 812 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | YES 1543 | YES 254 | YES 128 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml | NO 2385 | MAYBE 1919 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | YES 2308 | YES 8236 | YES 3979 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | NO 43620 | TIMEOUT 60294 | MAYBE 5159 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | YES 3729 | YES 3591 | YES 1565 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | YES 7441 | YES 6807 | YES 3224 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | NO 1419 | NO 203 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml | NO 14497 | TIMEOUT 60291 | MAYBE 5161 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | YES 2477 | YES 8074 | YES 3347 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | NO 40510 | TIMEOUT 60324 | MAYBE 5161 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | YES 3591 | YES 574 | YES 470 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | YES 7757 | YES 7662 | YES 3352 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | NO 1427 | NO 207 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml | NO 16962 | TIMEOUT 60320 | MAYBE 5166 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | YES 2490 | TIMEOUT 60721 | MAYBE 5210 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | TIMEOUT 60287 | TIMEOUT 60356 | MAYBE 5177 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | TIMEOUT 60490 | TIMEOUT 60686 | MAYBE 5143 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml | TIMEOUT 60342 | TIMEOUT 60528 | MAYBE 5189 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | NO 1424 | NO 227 | NO 117 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | NO 10143 | TIMEOUT 60365 | MAYBE 5139 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | TIMEOUT 60380 | TIMEOUT 60553 | MAYBE 5204 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | TIMEOUT 60632 | MAYBE 52523 | MAYBE 5144 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | TIMEOUT 60353 | TIMEOUT 60337 | MAYBE 5164 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml | TIMEOUT 60347 | TIMEOUT 60468 | MAYBE 5176 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | NO 1427 | NO 209 | NO 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml | NO 3333 | MAYBE 6910 | NO 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | YES 2307 | YES 15515 | MAYBE 5131 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | YES 3186 | YES 709 | YES 150 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | YES 3357 | YES 1869 | YES 441 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml | YES 7156 | YES 7358 | YES 2312 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | YES 2287 | YES 1049 | YES 139 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | YES 2495 | YES 307 | YES 140 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | YES 2705 | TIMEOUT 60801 | YES 4424 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | YES 2895 | YES 5402 | YES 1108 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | YES 15590 | TIMEOUT 60419 | MAYBE 5174 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | YES 52730 | TIMEOUT 60579 | YES 4527 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | YES 2404 | YES 1939 | YES 151 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | YES 2662 | YES 2643 | YES 675 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | YES 2502 | TIMEOUT 60441 | MAYBE 5202 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | YES 2578 | YES 3283 | YES 184 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | TIMEOUT 60342 | TIMEOUT 60430 | MAYBE 5204 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml | TIMEOUT 60347 | TIMEOUT 60495 | MAYBE 5180 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | NO 1441 | NO 217 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | YES 2532 | YES 3363 | YES 180 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml | YES 58049 | TIMEOUT 60319 | MAYBE 5198 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | TIMEOUT 60468 | TIMEOUT 60450 | MAYBE 5209 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml | YES 19399 | TIMEOUT 60452 | MAYBE 5209 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml | TIMEOUT 60476 | TIMEOUT 60305 | MAYBE 5183 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | NO 1373 | NO 223 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml | YES 7980 | TIMEOUT 60342 | MAYBE 5180 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml | NO 50315 | TIMEOUT 60457 | MAYBE 5215 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml | YES 21077 | TIMEOUT 60456 | MAYBE 5226 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml | TIMEOUT 60723 | TIMEOUT 60407 | MAYBE 5176 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | NO 1430 | NO 226 | NO 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml | NO 45440 | TIMEOUT 60849 | MAYBE 5213 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | TIMEOUT 60311 | TIMEOUT 60520 | MAYBE 5198 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml | YES 3430 | YES 20272 | MAYBE 5203 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml | NO 29151 | TIMEOUT 60488 | MAYBE 5145 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml | YES 5006 | YES 924 | YES 2510 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml | YES 56833 | TIMEOUT 61219 | MAYBE 5149 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | NO 1364 | NO 213 | NO 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml | YES 4010 | TIMEOUT 60824 | MAYBE 5218 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | NO 22628 | TIMEOUT 60335 | MAYBE 5163 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml | YES 6559 | YES 2744 | YES 2816 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | YES 39651 | TIMEOUT 60433 | MAYBE 5169 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | NO 1373 | NO 211 | NO 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | NO 18799 | TIMEOUT 60332 | MAYBE 5192 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | NO 27982 | TIMEOUT 60369 | MAYBE 5153 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | TIMEOUT 60460 | TIMEOUT 60463 | MAYBE 5205 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | NO 2615 | TIMEOUT 60246 | NO 186 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | NO 3888 | TIMEOUT 60278 | NO 217 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | NO 29341 | TIMEOUT 60444 | MAYBE 5179 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | NO 1373 | NO 231 | NO 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | TIMEOUT 60303 | TIMEOUT 60499 | MAYBE 5206 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml | NO 5929 | TIMEOUT 60269 | NO 213 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml | NO 4705 | TIMEOUT 60262 | NO 228 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | TIMEOUT 60467 | TIMEOUT 60517 | MAYBE 5185 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | NO 1427 | NO 220 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml | TIMEOUT 60923 | TIMEOUT 60409 | MAYBE 5210 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | TIMEOUT 60424 | TIMEOUT 60344 | MAYBE 5249 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml | TIMEOUT 60374 | TIMEOUT 60400 | MAYBE 5180 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml | TIMEOUT 61063 | TIMEOUT 60293 | MAYBE 5210 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | NO 1437 | NO 266 | NO 120 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml | YES 13438 | TIMEOUT 60405 | MAYBE 5326 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | TIMEOUT 60477 | TIMEOUT 60408 | MAYBE 5225 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml | TIMEOUT 62211 | TIMEOUT 60433 | MAYBE 5236 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml | TIMEOUT 60274 | TIMEOUT 60465 | MAYBE 5370 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | NO 1539 | NO 265 | NO 121 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | TIMEOUT 60276 | TIMEOUT 60375 | MAYBE 5219 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | TIMEOUT 60314 | TIMEOUT 60586 | MAYBE 5245 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml | TIMEOUT 60350 | TIMEOUT 60337 | MAYBE 5164 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | TIMEOUT 60639 | TIMEOUT 60517 | MAYBE 5222 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml | TIMEOUT 60290 | TIMEOUT 60610 | MAYBE 5233 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml | TIMEOUT 60439 | TIMEOUT 60357 | MAYBE 5164 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | NO 1425 | NO 229 | NO 116 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | YES 4941 | TIMEOUT 60364 | MAYBE 5201 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | TIMEOUT 60667 | TIMEOUT 60415 | MAYBE 5225 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml | TIMEOUT 60473 | TIMEOUT 60342 | MAYBE 5241 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml | TIMEOUT 60280 | TIMEOUT 60381 | MAYBE 5206 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | NO 1483 | NO 203 | NO 118 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | TIMEOUT 60370 | TIMEOUT 60516 | MAYBE 5221 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | TIMEOUT 60860 | TIMEOUT 60609 | MAYBE 5229 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml | YES 2667 | TIMEOUT 60580 | MAYBE 5209 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | YES 2765 | YES 4801 | YES 872 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml | TIMEOUT 60402 | TIMEOUT 60414 | MAYBE 5202 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml | TIMEOUT 60488 | TIMEOUT 60350 | MAYBE 5140 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | NO 1420 | NO 214 | NO 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml | YES 3017 | TIMEOUT 60421 | MAYBE 5166 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | YES 3787 | YES 9786 | YES 1527 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml | TIMEOUT 60484 | TIMEOUT 60508 | MAYBE 5231 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml | TIMEOUT 60398 | TIMEOUT 60378 | MAYBE 5175 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | NO 1394 | NO 210 | NO 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | YES 3992 | YES 7596 | YES 1272 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | YES 2671 | YES 3138 | YES 770 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml | YES 9668 | TIMEOUT 60339 | MAYBE 5199 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | YES 4783 | TIMEOUT 60436 | MAYBE 5202 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | YES 8000 | TIMEOUT 60443 | MAYBE 5215 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml | YES 7858 | TIMEOUT 60313 | MAYBE 5204 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | NO 1373 | NO 213 | NO 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml | YES 4743 | TIMEOUT 60374 | MAYBE 5192 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | TIMEOUT 60276 | TIMEOUT 60462 | MAYBE 5208 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml | TIMEOUT 60475 | TIMEOUT 60405 | MAYBE 5215 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml | TIMEOUT 60580 | TIMEOUT 60358 | MAYBE 5195 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | NO 1386 | NO 215 | NO 114 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | TIMEOUT 60909 | TIMEOUT 60471 | MAYBE 5222 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | YES 3899 | YES 59217 | MAYBE 5207 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml | YES 4349 | TIMEOUT 60541 | MAYBE 5207 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | YES 3462 | YES 20114 | MAYBE 5168 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml | YES 4861 | YES 55110 | MAYBE 5194 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_iGM.xml | YES 4897 | TIMEOUT 60474 | MAYBE 5185 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | NO 1413 | NO 210 | NO 107 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | YES 2870 | TIMEOUT 60323 | MAYBE 5205 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | YES 12667 | YES 28634 | MAYBE 5181 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | YES 17133 | YES 34296 | MAYBE 5214 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml | YES 53289 | TIMEOUT 60458 | MAYBE 5160 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | NO 1381 | NO 204 | NO 112 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | YES 12475 | YES 49952 | MAYBE 5189 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | YES 3034 | YES 18281 | MAYBE 5143 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | YES 2174 | YES 7878 | YES 2509 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | YES 1753 | YES 1817 | YES 151 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml | YES 2641 | YES 2722 | MAYBE 5151 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml | YES 3173 | YES 4137 | YES 1789 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | NO 1417 | NO 200 | NO 107 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml | YES 2401 | YES 17925 | MAYBE 5195 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | YES 2825 | YES 2595 | YES 203 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml | YES 4900 | YES 5623 | MAYBE 5163 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml | YES 5102 | YES 14995 | MAYBE 5164 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | NO 1431 | NO 206 | NO 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml | TIMEOUT 60344 | TIMEOUT 60424 | MAYBE 5164 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | TIMEOUT 60560 | TIMEOUT 60383 | MAYBE 5227 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml | TIMEOUT 60533 | TIMEOUT 60413 | MAYBE 5235 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_iGM.xml | TIMEOUT 60461 | TIMEOUT 60360 | MAYBE 5163 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | NO 1417 | NO 213 | NO 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | YES 9739 | TIMEOUT 60396 | MAYBE 5207 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | TIMEOUT 60422 | TIMEOUT 60465 | MAYBE 5220 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml | YES 37345 | TIMEOUT 60489 | MAYBE 5246 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml | TIMEOUT 60371 | TIMEOUT 60290 | MAYBE 5255 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | NO 1472 | NO 256 | NO 117 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | TIMEOUT 60508 | TIMEOUT 60459 | MAYBE 5223 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | TIMEOUT 60390 | TIMEOUT 60389 | MAYBE 5232 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml | TIMEOUT 60397 | TIMEOUT 60482 | MAYBE 5214 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | TIMEOUT 60282 | TIMEOUT 60468 | MAYBE 5214 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml | TIMEOUT 60356 | TIMEOUT 60609 | MAYBE 5143 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60396 | TIMEOUT 60434 | MAYBE 5177 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | NO 1441 | NO 242 | NO 117 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | YES 5438 | TIMEOUT 60368 | MAYBE 5205 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | NO 39005 | TIMEOUT 60507 | MAYBE 5148 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | YES 14889 | TIMEOUT 60402 | MAYBE 5207 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml | TIMEOUT 60349 | TIMEOUT 60328 | MAYBE 5189 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | NO 1370 | NO 213 | NO 115 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | NO 34808 | TIMEOUT 60548 | MAYBE 5200 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | TIMEOUT 60412 | TIMEOUT 60459 | MAYBE 5147 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | TIMEOUT 60372 | TIMEOUT 60422 | MAYBE 5203 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | NO 3093 | TIMEOUT 60278 | NO 944 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | NO 9251 | TIMEOUT 60299 | NO 837 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml | TIMEOUT 60353 | TIMEOUT 60530 | MAYBE 5154 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | NO 1474 | NO 244 | NO 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | TIMEOUT 60343 | TIMEOUT 60376 | MAYBE 5210 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml | NO 11718 | TIMEOUT 60290 | MAYBE 5138 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | NO 34697 | TIMEOUT 60522 | MAYBE 5166 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml | TIMEOUT 60321 | TIMEOUT 60463 | MAYBE 5179 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | NO 1373 | NO 216 | NO 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | NO 9063 | TIMEOUT 60298 | MAYBE 5130 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | NO 2769 | TIMEOUT 60274 | NO 1793 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | YES 4329 | TIMEOUT 60325 | MAYBE 5176 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | YES 4867 | YES 39233 | YES 3969 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml | YES 8748 | TIMEOUT 60455 | MAYBE 5174 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml | YES 11926 | TIMEOUT 60328 | MAYBE 5160 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | NO 1372 | NO 211 | NO 118 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | YES 6522 | TIMEOUT 60348 | MAYBE 5206 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | YES 5260 | YES 45506 | MAYBE 5219 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml | YES 24307 | TIMEOUT 60410 | MAYBE 5237 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml | TIMEOUT 60370 | TIMEOUT 60399 | MAYBE 5190 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | NO 7221 | TIMEOUT 60311 | NO 120 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | YES 5742 | YES 45204 | YES 5187 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | YES 4123 | YES 23586 | YES 4022 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | YES 3006 | YES 3746 | YES 2734 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | YES 3655 | YES 2151 | YES 157 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | YES 3989 | YES 3702 | YES 160 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | YES 4394 | YES 1239 | YES 1898 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | NO 1370 | NO 200 | NO 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | YES 3520 | YES 26667 | MAYBE 5155 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | YES 3348 | YES 2249 | YES 194 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | YES 5715 | YES 7952 | YES 213 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml | YES 5235 | YES 4671 | MAYBE 5237 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | NO 3906 | MAYBE 4368 | NO 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | YES 2131 | YES 1763 | YES 192 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | YES 2007 | YES 1452 | YES 159 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | YES 2187 | YES 1482 | YES 1588 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | YES 1900 | YES 325 | YES 143 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | YES 3069 | YES 2029 | YES 148 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml | YES 3467 | YES 571 | YES 936 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | NO 1372 | NO 207 | NO 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | YES 2356 | YES 2137 | YES 2324 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | YES 1915 | YES 364 | YES 143 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | YES 3559 | YES 1926 | YES 150 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml | YES 3411 | YES 743 | YES 1125 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | YES 2338 | YES 314 | YES 146 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml | YES 3379 | TIMEOUT 60473 | MAYBE 5210 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | YES 4225 | YES 35821 | MAYBE 5196 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml | YES 5981 | TIMEOUT 60423 | YES 4594 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml | YES 5736 | TIMEOUT 60425 | MAYBE 5168 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | NO 1371 | NO 215 | NO 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml | YES 4478 | TIMEOUT 60371 | MAYBE 5205 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | YES 16878 | YES 39158 | MAYBE 5158 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml | YES 12653 | YES 31689 | MAYBE 5170 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml | TIMEOUT 60492 | TIMEOUT 60335 | MAYBE 5153 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | NO 1325 | NO 203 | NO 113 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | YES 13320 | YES 38345 | YES 3946 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | YES 3236 | YES 16138 | YES 1750 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | YES 2560 | TIMEOUT 60501 | MAYBE 5207 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | YES 2699 | YES 10407 | YES 842 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml | YES 3296 | YES 19954 | YES 1642 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml | YES 4058 | YES 47874 | MAYBE 5144 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | NO 1381 | NO 202 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml | YES 2608 | TIMEOUT 60977 | MAYBE 5212 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | YES 4551 | YES 12919 | YES 1245 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml | YES 6216 | YES 18629 | YES 1882 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml | YES 25041 | TIMEOUT 60455 | MAYBE 5165 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | NO 1377 | NO 215 | NO 109 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | YES 5586 | YES 13390 | YES 1330 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | YES 2592 | YES 10422 | YES 776 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | YES 2170 | YES 1492 | YES 1643 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | YES 1808 | YES 307 | YES 138 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | YES 2858 | YES 1954 | YES 141 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml | YES 3651 | YES 567 | YES 666 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | NO 1423 | NO 200 | NO 107 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | YES 2386 | YES 10091 | YES 2287 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | YES 2650 | YES 1577 | YES 145 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml | YES 3212 | YES 3193 | YES 150 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml | YES 3845 | YES 6471 | YES 1111 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | NO 1429 | NO 199 | NO 108 |
| tpdb-8.0/TRS/Various_04/02.xml | YES 1592 | YES 1265 | YES 133 |
| tpdb-8.0/TRS/Various_04/03.xml | YES 1684 | YES 1531 | YES 164 |
| tpdb-8.0/TRS/Various_04/04.xml | TIMEOUT 60440 | TIMEOUT 60510 | MAYBE 5124 |
| tpdb-8.0/TRS/Various_04/05.xml | TIMEOUT 60356 | TIMEOUT 60474 | MAYBE 5123 |
| tpdb-8.0/TRS/Various_04/06.xml | YES 1961 | YES 1293 | YES 141 |
| tpdb-8.0/TRS/Various_04/07.xml | YES 1494 | YES 264 | YES 136 |
| tpdb-8.0/TRS/Various_04/08.xml | TIMEOUT 61433 | TIMEOUT 60385 | MAYBE 5134 |
| tpdb-8.0/TRS/Various_04/09.xml | YES 2423 | YES 1628 | YES 144 |
| tpdb-8.0/TRS/Various_04/10.xml | YES 3618 | YES 4125 | YES 1035 |
| tpdb-8.0/TRS/Various_04/11.xml | YES 1705 | YES 2682 | MAYBE 5120 |
| tpdb-8.0/TRS/Various_04/12.xml | YES 2393 | YES 1978 | YES 562 |
| tpdb-8.0/TRS/Various_04/13.xml | YES 2735 | YES 3534 | YES 869 |
| tpdb-8.0/TRS/Various_04/14.xml | YES 5610 | YES 10059 | YES 2449 |
| tpdb-8.0/TRS/Various_04/15.xml | YES 2373 | YES 1272 | YES 139 |
| tpdb-8.0/TRS/Various_04/18.xml | YES 1755 | YES 309 | YES 143 |
| tpdb-8.0/TRS/Various_04/19.xml | YES 2404 | YES 1416 | YES 146 |
| tpdb-8.0/TRS/Various_04/21.xml | YES 3924 | YES 469 | YES 160 |
| tpdb-8.0/TRS/Various_04/22.xml | YES 1744 | YES 1370 | YES 227 |
| tpdb-8.0/TRS/Various_04/23.xml | YES 1882 | YES 311 | YES 154 |
| tpdb-8.0/TRS/Various_04/24.xml | YES 2412 | YES 2112 | YES 405 |
| tpdb-8.0/TRS/Various_04/25.xml | YES 1899 | YES 1270 | YES 140 |
| tpdb-8.0/TRS/Various_04/26.xml | YES 2344 | YES 1474 | YES 230 |
| tpdb-8.0/TRS/Various_04/27.xml | YES 1660 | YES 259 | YES 138 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | YES 12596 | YES 3546 | YES 376 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | YES 11903 | YES 3501 | YES 869 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | YES 3659 | YES 3665 | YES 481 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | YES 4718 | YES 3938 | YES 140 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | YES 2500 | YES 2815 | YES 169 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | YES 2383 | YES 2695 | YES 143 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | NO 9601 | TIMEOUT 60262 | MAYBE 5129 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | TIMEOUT 60324 | MAYBE 47799 | MAYBE 2164 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | TIMEOUT 60305 | TIMEOUT 60233 | MAYBE 2151 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | NO 2179 | TIMEOUT 60267 | MAYBE 5124 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | TIMEOUT 60364 | MAYBE 41237 | MAYBE 2156 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | NO 2174 | TIMEOUT 60259 | MAYBE 5123 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | TIMEOUT 60779 | MAYBE 48074 | MAYBE 2149 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | TIMEOUT 60304 | TIMEOUT 60239 | MAYBE 2163 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | NO 5633 | MAYBE 48027 | MAYBE 5121 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | YES 1807 | YES 3500 | MAYBE 5124 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | YES 2079 | YES 3372 | MAYBE 5137 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | YES 11127 | YES 5136 | YES 144 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | YES 3316 | YES 3023 | YES 485 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | YES 3476 | YES 3259 | YES 482 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | YES 2289 | YES 7070 | YES 8537 |
| tpdb-8.0/TRS/Zantema_04/z080.xml | YES 6052 | TIMEOUT 60282 | YES 6085 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | YES 2198 | YES 1318 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | YES 2098 | YES 2071 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | YES 2148 | YES 1173 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | YES 2033 | YES 1368 | YES 135 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | YES 2166 | YES 2341 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | YES 2130 | YES 1319 | YES 133 |
| tpdb-8.0/TRS/Zantema_05/jw07.xml | YES 2161 | YES 1365 | YES 139 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | YES 2150 | YES 2396 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | YES 2209 | YES 1357 | YES 139 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | YES 2174 | YES 918 | YES 141 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | YES 2245 | YES 916 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | YES 2348 | YES 1097 | YES 141 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | YES 2115 | YES 1580 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | YES 2251 | YES 1428 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | YES 2220 | YES 1273 | YES 139 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | YES 2288 | YES 2337 | YES 142 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | YES 2271 | YES 2285 | YES 142 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | YES 2223 | YES 3524 | YES 143 |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | YES 2201 | YES 1231 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | YES 2290 | YES 1375 | YES 141 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | YES 2210 | YES 2596 | YES 139 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | YES 2158 | YES 1368 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | YES 2132 | YES 1221 | YES 139 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | YES 2138 | YES 1210 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | YES 2149 | YES 1417 | YES 141 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | YES 2209 | YES 2387 | YES 144 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | YES 2186 | YES 1374 | YES 137 |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | YES 2149 | YES 1224 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | YES 2367 | YES 3523 | YES 137 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | YES 2227 | YES 2236 | YES 137 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | YES 2182 | YES 2563 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | YES 2234 | YES 1269 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | YES 2179 | YES 1374 | YES 139 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | YES 2122 | YES 869 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | YES 2350 | YES 867 | YES 138 |
| tpdb-8.0/TRS/Zantema_05/jw37.xml | YES 2159 | YES 859 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | YES 2204 | YES 864 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | YES 2296 | YES 2165 | YES 139 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | YES 2240 | YES 1313 | YES 136 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | YES 2269 | YES 2712 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | YES 2250 | YES 1315 | YES 144 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | YES 1763 | YES 803 | YES 142 |
| tpdb-8.0/TRS/Zantema_05/jw44.xml | YES 1593 | YES 258 | YES 195 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | YES 1663 | YES 257 | YES 111 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | YES 2073 | YES 775 | YES 141 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | YES 2504 | TIMEOUT 60287 | YES 171 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | YES 4392 | YES 3039 | YES 137 |
| tpdb-8.0/TRS/Zantema_05/z03.xml | YES 2493 | YES 1897 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/z04.xml | YES 1738 | YES 1329 | YES 154 |
| tpdb-8.0/TRS/Zantema_05/z05.xml | YES 2385 | YES 1709 | YES 141 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | YES 1928 | YES 3800 | YES 148 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | YES 2325 | YES 1483 | YES 271 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | YES 2410 | YES 1711 | YES 264 |
| tpdb-8.0/TRS/Zantema_05/z09.xml | YES 6099 | MAYBE 19646 | MAYBE 5134 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | YES 3382 | MAYBE 20437 | MAYBE 5118 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | YES 2592 | YES 1634 | YES 155 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | YES 2637 | TIMEOUT 60349 | MAYBE 5137 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | YES 2383 | YES 2390 | MAYBE 5137 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | YES 2286 | YES 360 | MAYBE 5131 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | YES 2295 | YES 329 | MAYBE 5126 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | YES 2236 | YES 311 | MAYBE 5133 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | TIMEOUT 60306 | YES 1426 | MAYBE 5125 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | YES 2280 | YES 321 | MAYBE 5127 |
| tpdb-8.0/TRS/Zantema_05/z19.xml | YES 23752 | YES 3894 | YES 810 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | TIMEOUT 60341 | YES 7118 | YES 2439 |
| tpdb-8.0/TRS/Zantema_05/z21.xml | YES 27698 | YES 6652 | YES 765 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | YES 29074 | YES 6873 | YES 384 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | YES 2395 | YES 2251 | YES 1314 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | YES 2488 | YES 464 | MAYBE 5138 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | YES 2425 | YES 360 | YES 140 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | YES 2951 | YES 1639 | YES 305 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | YES 22450 | YES 2649 | MAYBE 5123 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | YES 3717 | YES 3981 | MAYBE 5128 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | YES 2077 | YES 1584 | YES 438 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | YES 3245 | YES 45231 | YES 201 | 1207 | 801 | 952 |