| benchmark | AProVE | TTT2 | VMTL |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | YES 1001 | YES 960 | YES 928 |
| tpdb-8.0/TRS/AG01/#3.19.xml | YES 1401 | YES 1423 | YES 5064 |
| tpdb-8.0/TRS/AG01/#3.23.xml | YES 901 | YES 864 | YES 322 |
| tpdb-8.0/TRS/AG01/#3.29.xml | YES 807 | YES 519 | YES 303 |
| tpdb-8.0/TRS/AG01/#3.35.xml | YES 747 | YES 577 | YES 506 |
| tpdb-8.0/TRS/AG01/#3.36.xml | YES 1300 | YES 980 | YES 1762 |
| tpdb-8.0/TRS/AG01/#3.41.xml | YES 956 | YES 816 | YES 3968 |
| tpdb-8.0/TRS/AG01/#3.47.xml | YES 922 | YES 770 | YES 496 |
| tpdb-8.0/TRS/AG01/#3.52.xml | YES 965 | YES 661 | YES 399 |
| tpdb-8.0/TRS/AG01/#3.53.xml | YES 1380 | YES 2285 | YES 1831 |
| tpdb-8.0/TRS/AG01/#3.54.xml | YES 1464 | YES 703 | YES 518 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | YES 1504 | YES 1393 | YES 1591 |
| tpdb-8.0/TRS/AG01/#3.5.xml | YES 1368 | YES 1232 | YES 1203 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | YES 1468 | YES 1593 | YES 1539 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | YES 1556 | YES 1921 | YES 2041 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | YES 1207 | YES 872 | TIMEOUT 60064 |
| tpdb-8.0/TRS/AotoYamada_05/006.xml | YES 1156 | YES 900 | TIMEOUT 60065 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | YES 1300 | YES 937 | TIMEOUT 60064 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | YES 19454 | YES 2469 | TIMEOUT 60072 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | YES 1482 | YES 980 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AotoYamada_05/021.xml | YES 1339 | YES 1009 | TIMEOUT 60089 |
| tpdb-8.0/TRS/AotoYamada_05/022.xml | YES 1135 | YES 884 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AotoYamada_05/024.xml | YES 981 | YES 698 | MAYBE 50567 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | YES 730 | YES 463 | YES 246 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | YES 1188 | YES 836 | TIMEOUT 60058 |
| tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml | TIMEOUT 60435 | MAYBE 10699 | TIMEOUT 60074 |
| tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml | TIMEOUT 60485 | MAYBE 10683 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | YES 764 | YES 460 | YES 312 |
| tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml | TIMEOUT 60504 | MAYBE 10554 | MAYBE 50134 |
| tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml | TIMEOUT 60560 | MAYBE 10667 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | YES 982 | YES 693 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | TIMEOUT 60525 | MAYBE 10625 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | YES 1220 | YES 865 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | YES 11297 | MAYBE 10673 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | NO 3274 | NO 1835 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | NO 1971 | NO 769 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Applicative_05/TypeEx3.xml | NO 4359 | NO 445 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Applicative_first_order_05/13.xml | YES 12878 | MAYBE 7398 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | YES 1836 | YES 1238 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | YES 2528 | YES 1934 | MAYBE 42880 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml | YES 1819 | YES 1195 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | YES 1944 | YES 1976 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Applicative_first_order_05/31.xml | YES 1840 | YES 8129 | MAYBE 40458 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | YES 1549 | YES 1271 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml | YES 1652 | YES 1190 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | YES 3388 | YES 2993 | TIMEOUT 60080 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | TIMEOUT 60610 | MAYBE 10737 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml | YES 1567 | YES 1315 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | YES 24020 | MAYBE 7782 | TIMEOUT 60051 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | YES 1184 | YES 789 | YES 1890 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | YES 1321 | YES 1141 | YES 992 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | TIMEOUT 60461 | MAYBE 10715 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | YES 2273 | YES 5319 | YES 5552 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | YES 1644 | YES 1288 | TIMEOUT 60045 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | YES 1095 | YES 1002 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | YES 1770 | YES 2205 | TIMEOUT 60058 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | YES 27455 | MAYBE 10717 | TIMEOUT 60080 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | YES 1780 | YES 1678 | TIMEOUT 60070 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | YES 809 | YES 525 | YES 320 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | YES 12349 | MAYBE 10679 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | TIMEOUT 60432 | MAYBE 10676 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | YES 3163 | MAYBE 10615 | TIMEOUT 60089 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | YES 2105 | MAYBE 10639 | TIMEOUT 60045 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | YES 3154 | YES 1708 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | YES 1745 | MAYBE 10615 | TIMEOUT 60081 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | NO 1986 | NO 1102 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | YES 2286 | MAYBE 10509 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | YES 1220 | YES 1121 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | YES 13769 | YES 8933 | TIMEOUT 60069 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | YES 1407 | YES 2499 | TIMEOUT 60091 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | YES 1541 | YES 3237 | YES 32147 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | YES 1656 | YES 2148 | TIMEOUT 60076 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | YES 2295 | MAYBE 10570 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | YES 1748 | MAYBE 10572 | TIMEOUT 60084 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | YES 3996 | MAYBE 10623 | TIMEOUT 60045 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | YES 1378 | MAYBE 10605 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | YES 8554 | MAYBE 10681 | TIMEOUT 60061 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | YES 1402 | MAYBE 10671 | TIMEOUT 60085 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | YES 1428 | YES 1269 | TIMEOUT 60039 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | YES 6160 | MAYBE 10592 | TIMEOUT 60060 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | NO 27840 | MAYBE 10611 | TIMEOUT 60043 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | YES 6867 | MAYBE 10654 | TIMEOUT 60051 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | YES 11343 | MAYBE 10651 | TIMEOUT 60077 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | YES 6942 | MAYBE 10674 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | YES 2383 | YES 3294 | TIMEOUT 60059 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | YES 1294 | YES 1034 | TIMEOUT 60079 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | YES 1818 | MAYBE 10555 | TIMEOUT 60055 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | YES 2140 | YES 3167 | TIMEOUT 60049 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | YES 2451 | YES 5508 | TIMEOUT 60072 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | YES 2299 | YES 5402 | TIMEOUT 60073 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | YES 1990 | YES 3147 | TIMEOUT 60054 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | YES 1753 | YES 2242 | TIMEOUT 60046 |
| tpdb-8.0/TRS/AProVE_08/log.xml | YES 2712 | MAYBE 10700 | TIMEOUT 60087 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | YES 5777 | MAYBE 10673 | TIMEOUT 60046 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | YES 7242 | MAYBE 10675 | TIMEOUT 60047 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | YES 5804 | MAYBE 10652 | TIMEOUT 60050 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | YES 7512 | MAYBE 10674 | TIMEOUT 60053 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | YES 6762 | MAYBE 10717 | TIMEOUT 60052 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | NO 1422 | NO 750 | MAYBE 21210 |
| tpdb-8.0/TRS/AProVE_08/round.xml | YES 1375 | MAYBE 10530 | MAYBE 19771 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | YES 12206 | YES 1304 | TIMEOUT 60038 |
| tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml | TIMEOUT 60415 | MAYBE 10641 | TIMEOUT 60089 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | YES 13505 | MAYBE 10640 | TIMEOUT 60072 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | YES 15452 | MAYBE 10635 | TIMEOUT 60079 |
| tpdb-8.0/TRS/AProVE_09_Inductive/log.xml | TIMEOUT 60410 | MAYBE 10623 | TIMEOUT 60103 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | YES 5569 | MAYBE 10664 | TIMEOUT 60082 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | YES 6735 | MAYBE 10709 | TIMEOUT 60046 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | YES 7486 | MAYBE 10692 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | YES 12962 | MAYBE 10649 | TIMEOUT 60044 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | YES 14666 | MAYBE 10693 | TIMEOUT 60057 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml | TIMEOUT 60357 | MAYBE 7965 | TIMEOUT 60048 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | YES 2213 | MAYBE 10540 | TIMEOUT 60073 |
| tpdb-8.0/TRS/AProVE_10/andIsNat.xml | TIMEOUT 60371 | MAYBE 10576 | TIMEOUT 60041 |
| tpdb-8.0/TRS/AProVE_10/challenge_fab.xml | TIMEOUT 60300 | MAYBE 10668 | TIMEOUT 60042 |
| tpdb-8.0/TRS/AProVE_10/double.xml | TIMEOUT 60298 | MAYBE 10526 | MAYBE 38621 |
| tpdb-8.0/TRS/AProVE_10/ex1.xml | TIMEOUT 60104 | MAYBE 10578 | MAYBE 20717 |
| tpdb-8.0/TRS/AProVE_10/ex2.xml | TIMEOUT 60272 | MAYBE 10576 | TIMEOUT 60036 |
| tpdb-8.0/TRS/AProVE_10/ex4.xml | TIMEOUT 60508 | MAYBE 10623 | TIMEOUT 60077 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | YES 761 | YES 536 | YES 329 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | NO 1822 | NO 606 | MAYBE 32506 |
| tpdb-8.0/TRS/AProVE_10/isNat.xml | TIMEOUT 60104 | MAYBE 10521 | MAYBE 34384 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | YES 833 | YES 599 | YES 399 |
| tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml | TIMEOUT 60629 | MAYBE 10660 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | YES 1945 | YES 1945 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | YES 2531 | MAYBE 10594 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | YES 2471 | MAYBE 10615 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | YES 1241 | YES 1048 | TIMEOUT 60087 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | YES 1662 | YES 1517 | TIMEOUT 60047 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | YES 9786 | MAYBE 10673 | TIMEOUT 60062 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | YES 1570 | MAYBE 10605 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | YES 1400 | MAYBE 10554 | MAYBE 34570 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | YES 1656 | YES 1327 | TIMEOUT 60084 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | YES 1194 | YES 1059 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | YES 1238 | YES 1152 | TIMEOUT 60040 |
| tpdb-8.0/TRS/CiME_04/big.xml | YES 2653 | YES 5640 | YES 4820 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | YES 970 | YES 725 | YES 685 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | YES 780 | YES 850 | YES 701 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | YES 1198 | YES 1735 | YES 1810 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | YES 1060 | YES 1096 | YES 1058 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | YES 1187 | YES 2501 | YES 3075 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | YES 1154 | YES 2194 | YES 2156 |
| tpdb-8.0/TRS/CiME_04/lse.xml | YES 1514 | YES 2724 | YES 11645 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | TIMEOUT 60851 | MAYBE 10595 | TIMEOUT 60084 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | YES 10867 | YES 2834 | YES 8114 |
| tpdb-8.0/TRS/CiME_04/tree.xml | YES 2402 | YES 4619 | YES 6933 |
| tpdb-8.0/TRS/Der95/03.xml | YES 756 | YES 743 | YES 280 |
| tpdb-8.0/TRS/Der95/06.xml | YES 743 | YES 1102 | YES 417 |
| tpdb-8.0/TRS/Der95/07.xml | YES 1423 | YES 808 | YES 402 |
| tpdb-8.0/TRS/Der95/09.xml | YES 728 | YES 458 | YES 295 |
| tpdb-8.0/TRS/Der95/12.xml | YES 956 | YES 1121 | YES 746 |
| tpdb-8.0/TRS/Der95/17.xml | YES 770 | YES 750 | YES 641 |
| tpdb-8.0/TRS/Der95/28.xml | YES 861 | YES 655 | YES 375 |
| tpdb-8.0/TRS/Der95/30.xml | YES 966 | YES 501 | MAYBE 31953 |
| tpdb-8.0/TRS/Der95/31.xml | YES 981 | YES 1112 | YES 297 |
| tpdb-8.0/TRS/Der95/32.xml | YES 1229 | YES 845 | YES 689 |
| tpdb-8.0/TRS/Der95/33.xml | TIMEOUT 60580 | MAYBE 7284 | TIMEOUT 60061 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | YES 1406 | YES 779 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | YES 11167 | MAYBE 10521 | MAYBE 23233 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | YES 2160 | YES 1869 | YES 20734 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | YES 20945 | YES 3460 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | YES 1274 | YES 1054 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | YES 1388 | MAYBE 10567 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | YES 3880 | MAYBE 10612 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 1472 | YES 2456 | TIMEOUT 60058 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | YES 1589 | YES 3185 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | YES 2255 | YES 952 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | YES 10480 | YES 842 | TIMEOUT 60055 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | TIMEOUT 60154 | MAYBE 6825 | MAYBE 13652 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | YES 2863 | MAYBE 10592 | TIMEOUT 60049 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | YES 2407 | MAYBE 10643 | TIMEOUT 60043 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | YES 1958 | MAYBE 10612 | TIMEOUT 60043 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | YES 1654 | MAYBE 10572 | MAYBE 48002 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | TIMEOUT 60379 | MAYBE 10679 | TIMEOUT 60046 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | YES 2020 | MAYBE 10568 | TIMEOUT 60048 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | YES 6367 | MAYBE 10587 | TIMEOUT 60063 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | YES 5643 | MAYBE 10682 | TIMEOUT 60052 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | YES 2071 | MAYBE 10585 | TIMEOUT 60076 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | TIMEOUT 60501 | MAYBE 10696 | TIMEOUT 60045 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | NO 713 | NO 431 | NO 377 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | NO 1085 | NO 435 | NO 707 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | NO 1285 | NO 430 | NO 525 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | YES 1474 | YES 2001 | TIMEOUT 60054 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | YES 1375 | YES 1314 | YES 1519 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | YES 756 | YES 1151 | TIMEOUT 60042 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | YES 4813 | YES 3425 | YES 12838 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | YES 943 | YES 587 | YES 362 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | YES 11777 | MAYBE 10927 | TIMEOUT 60050 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | YES 980 | YES 577 | YES 357 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | YES 1218 | YES 897 | YES 1282 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | YES 1407 | YES 925 | YES 8842 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | YES 1248 | YES 936 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | YES 1207 | YES 686 | MAYBE 42525 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | YES 1765 | MAYBE 10667 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | YES 1534 | YES 1448 | YES 1603 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | YES 1004 | YES 1096 | YES 773 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | TIMEOUT 60439 | MAYBE 10688 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | YES 753 | YES 597 | YES 265 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | YES 836 | YES 545 | YES 371 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | YES 873 | YES 823 | YES 487 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | YES 1418 | YES 1330 | YES 1590 |
| tpdb-8.0/TRS/MNZ_10/0.xml | TIMEOUT 60430 | YES 2858 | TIMEOUT 60071 |
| tpdb-8.0/TRS/MNZ_10/2.xml | TIMEOUT 60341 | YES 3125 | TIMEOUT 60074 |
| tpdb-8.0/TRS/MNZ_10/3.xml | YES 49491 | YES 3412 | TIMEOUT 60074 |
| tpdb-8.0/TRS/MNZ_10/4.xml | TIMEOUT 60492 | YES 9197 | TIMEOUT 60063 |
| tpdb-8.0/TRS/MNZ_10/5.xml | TIMEOUT 60355 | YES 8652 | TIMEOUT 60073 |
| tpdb-8.0/TRS/MNZ_10/7.xml | TIMEOUT 60470 | YES 3303 | TIMEOUT 60064 |
| tpdb-8.0/TRS/MNZ_10/8.xml | TIMEOUT 60438 | YES 3428 | TIMEOUT 60071 |
| tpdb-8.0/TRS/MNZ_10/9.xml | TIMEOUT 60363 | YES 3488 | TIMEOUT 60052 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | YES 42669 | MAYBE 16531 | TIMEOUT 60029 |
| tpdb-8.0/TRS/MNZ_10/nrvsq.xml | TIMEOUT 60653 | MAYBE 10754 | TIMEOUT 60068 |
| tpdb-8.0/TRS/MNZ_10/nvsr.xml | TIMEOUT 60596 | YES 5793 | TIMEOUT 60057 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | YES 764 | YES 1106 | YES 769 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | YES 864 | YES 618 | YES 408 |
| tpdb-8.0/TRS/Rubio_04/division.xml | YES 1324 | YES 1279 | YES 1341 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | YES 1402 | YES 1697 | YES 1879 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | YES 1015 | YES 864 | YES 599 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | YES 1185 | YES 1547 | YES 2683 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | YES 835 | YES 565 | YES 460 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | YES 755 | YES 1524 | YES 528 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | YES 1122 | YES 1191 | YES 1184 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | YES 1700 | YES 3077 | YES 6617 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | YES 873 | YES 690 | YES 610 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | YES 1372 | YES 3143 | TIMEOUT 60101 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | YES 17714 | MAYBE 10595 | MAYBE 54332 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | TIMEOUT 60535 | MAYBE 10686 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | NO 1236 | MAYBE 10525 | MAYBE 11173 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | YES 30315 | MAYBE 10916 | TIMEOUT 60069 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | YES 1064 | YES 1099 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | YES 3521 | MAYBE 7120 | MAYBE 51548 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | TIMEOUT 60119 | YES 1841 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | TIMEOUT 60446 | MAYBE 10627 | TIMEOUT 60078 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | NO 1529 | NO 1040 | TIMEOUT 60125 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | NO 1614 | NO 712 | NO 32872 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | YES 1983 | YES 1705 | YES 11248 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | YES 7887 | YES 832 | YES 52967 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | YES 2133 | MAYBE 7756 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | YES 1220 | YES 1202 | YES 17264 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | YES 1178 | YES 1654 | YES 57212 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | YES 1688 | YES 940 | YES 10378 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | YES 14697 | YES 1255 | TIMEOUT 60064 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | YES 2483 | YES 1736 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | YES 15228 | MAYBE 10688 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | YES 6875 | MAYBE 7051 | MAYBE 34129 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | TIMEOUT 60867 | MAYBE 10639 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | TIMEOUT 60419 | MAYBE 10628 | TIMEOUT 60092 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | TIMEOUT 60644 | YES 4569 | MAYBE 47284 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | YES 21281 | YES 4051 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | YES 17167 | YES 4871 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | YES 8179 | MAYBE 10560 | TIMEOUT 60091 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | TIMEOUT 60453 | MAYBE 10717 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | YES 5471 | MAYBE 10699 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | YES 2295 | MAYBE 10617 | TIMEOUT 60082 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | YES 6723 | MAYBE 10690 | TIMEOUT 60090 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | YES 5928 | MAYBE 10657 | TIMEOUT 60041 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | YES 5367 | MAYBE 10614 | TIMEOUT 60081 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | YES 1109 | YES 1353 | YES 1772 |
| tpdb-8.0/TRS/SK90/2.02.xml | YES 746 | YES 668 | YES 383 |
| tpdb-8.0/TRS/SK90/2.03.xml | YES 750 | YES 636 | YES 380 |
| tpdb-8.0/TRS/SK90/2.04.xml | YES 840 | YES 615 | YES 339 |
| tpdb-8.0/TRS/SK90/2.07.xml | YES 991 | YES 758 | YES 539 |
| tpdb-8.0/TRS/SK90/2.08.xml | YES 978 | YES 867 | YES 634 |
| tpdb-8.0/TRS/SK90/2.16.xml | YES 944 | YES 882 | YES 629 |
| tpdb-8.0/TRS/SK90/2.23.xml | YES 950 | YES 838 | YES 696 |
| tpdb-8.0/TRS/SK90/2.24.xml | YES 852 | YES 644 | YES 479 |
| tpdb-8.0/TRS/SK90/2.30.xml | YES 912 | YES 785 | YES 432 |
| tpdb-8.0/TRS/SK90/2.31.xml | YES 785 | YES 854 | YES 457 |
| tpdb-8.0/TRS/SK90/2.32.xml | YES 946 | YES 703 | YES 541 |
| tpdb-8.0/TRS/SK90/2.37.xml | YES 820 | YES 549 | YES 380 |
| tpdb-8.0/TRS/SK90/2.38.xml | YES 760 | YES 657 | YES 407 |
| tpdb-8.0/TRS/SK90/2.42.xml | YES 910 | YES 1144 | YES 749 |
| tpdb-8.0/TRS/SK90/2.44.xml | YES 1274 | YES 1033 | YES 1400 |
| tpdb-8.0/TRS/SK90/2.45.xml | YES 1289 | YES 1524 | YES 2014 |
| tpdb-8.0/TRS/SK90/2.47.xml | YES 744 | YES 960 | YES 332 |
| tpdb-8.0/TRS/SK90/2.51.xml | YES 894 | YES 657 | YES 472 |
| tpdb-8.0/TRS/SK90/2.54.xml | YES 857 | YES 594 | YES 332 |
| tpdb-8.0/TRS/SK90/2.56.xml | YES 747 | YES 577 | YES 355 |
| tpdb-8.0/TRS/SK90/4.01.xml | YES 741 | YES 633 | YES 483 |
| tpdb-8.0/TRS/SK90/4.03.xml | YES 979 | YES 791 | YES 608 |
| tpdb-8.0/TRS/SK90/4.05.xml | YES 885 | YES 753 | YES 460 |
| tpdb-8.0/TRS/SK90/4.12.xml | YES 869 | YES 574 | YES 944 |
| tpdb-8.0/TRS/SK90/4.14.xml | YES 968 | YES 897 | YES 746 |
| tpdb-8.0/TRS/SK90/4.15.xml | YES 744 | YES 606 | YES 341 |
| tpdb-8.0/TRS/SK90/4.19.xml | YES 754 | YES 577 | YES 304 |
| tpdb-8.0/TRS/SK90/4.25.xml | YES 757 | YES 696 | YES 443 |
| tpdb-8.0/TRS/SK90/4.26.xml | YES 1040 | YES 898 | YES 698 |
| tpdb-8.0/TRS/SK90/4.30.xml | YES 1209 | YES 1382 | YES 1418 |
| tpdb-8.0/TRS/SK90/4.34.xml | NO 729 | NO 790 | MAYBE 38457 |
| tpdb-8.0/TRS/SK90/4.36.xml | YES 758 | YES 752 | YES 343 |
| tpdb-8.0/TRS/SK90/4.39.xml | YES 830 | YES 551 | YES 393 |
| tpdb-8.0/TRS/SK90/4.47.xml | YES 2003 | YES 735 | YES 273 |
| tpdb-8.0/TRS/SK90/4.53.xml | YES 946 | YES 808 | YES 623 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | NO 1219 | NO 775 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml | NO 1425 | NO 713 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml | NO 1469 | NO 642 | MAYBE 5833 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | NO 1804 | NO 1373 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.19.xml | TIMEOUT 60587 | MAYBE 7162 | MAYBE 25196 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | YES 958 | MAYBE 6671 | MAYBE 1819 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | YES 1054 | YES 1186 | YES 10569 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | YES 3826 | YES 8372 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | YES 1862 | YES 2816 | YES 4001 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | NO 1141 | NO 613 | MAYBE 32339 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | NO 1405 | NO 1516 | TIMEOUT 60036 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | NO 2074 | NO 435 | MAYBE 11325 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | NO 1729 | NO 433 | MAYBE 7397 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | NO 1306 | NO 444 | MAYBE 29224 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | NO 1135 | NO 590 | MAYBE 1557 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | NO 1221 | MAYBE 6640 | MAYBE 1465 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | NO 1660 | NO 437 | MAYBE 8671 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | NO 1195 | NO 433 | NO 1803 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | NO 1726 | NO 433 | MAYBE 7808 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | YES 1015 | YES 941 | YES 1211 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | NO 1810 | NO 434 | NO 2491 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | NO 2189 | NO 482 | MAYBE 42985 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | YES 12435 | MAYBE 6707 | MAYBE 7126 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | NO 1365 | NO 435 | NO 998 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | NO 2368 | NO 439 | MAYBE 4998 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | NO 1366 | NO 436 | NO 719 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | NO 1578 | NO 855 | MAYBE 12442 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | NO 1977 | NO 450 | MAYBE 41414 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | NO 1199 | NO 667 | MAYBE 3362 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | NO 734 | NO 816 | TIMEOUT 60042 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | NO 1272 | NO 821 | TIMEOUT 60116 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | YES 973 | YES 817 | YES 594 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | NO 1146 | MAYBE 10520 | TIMEOUT 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | YES 1328 | MAYBE 10697 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | YES 1206 | YES 1571 | YES 1951 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | YES 921 | YES 942 | YES 405 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | YES 1670 | YES 1909 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | NO 1329 | NO 446 | MAYBE 24516 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | YES 1805 | YES 1149 | YES 22207 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | TIMEOUT 60570 | MAYBE 6787 | MAYBE 8529 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | YES 987 | YES 3730 | YES 10744 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | NO 4221 | NO 1041 | TIMEOUT 60068 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | YES 1907 | MAYBE 10749 | TIMEOUT 60095 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | YES 1656 | YES 3563 | YES 5057 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | YES 935 | YES 737 | YES 564 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | NO 632 | NO 429 | NO 164 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | YES 1236 | YES 1848 | YES 2245 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | TIMEOUT 60419 | MAYBE 10754 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | YES 961 | YES 800 | YES 940 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | TIMEOUT 60596 | MAYBE 10870 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml | TIMEOUT 60431 | MAYBE 10884 | TIMEOUT 60066 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | YES 986 | YES 851 | YES 681 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | YES 787 | YES 900 | YES 813 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | YES 1366 | YES 3204 | YES 1679 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml | TIMEOUT 60415 | MAYBE 10783 | TIMEOUT 60071 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | TIMEOUT 60583 | MAYBE 10618 | TIMEOUT 60072 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | YES 1335 | YES 1633 | YES 1823 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | NO 658 | NO 438 | NO 176 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | TIMEOUT 60545 | MAYBE 10724 | TIMEOUT 60086 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | YES 29560 | MAYBE 10758 | TIMEOUT 60067 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml | TIMEOUT 60435 | MAYBE 10981 | TIMEOUT 60059 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | YES 3296 | MAYBE 11229 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | YES 2282 | YES 2077 | YES 4610 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | TIMEOUT 61167 | MAYBE 10806 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml | TIMEOUT 60335 | MAYBE 10885 | TIMEOUT 60073 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | NO 33284 | MAYBE 10748 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml | YES 1530 | YES 9269 | TIMEOUT 60077 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml | YES 1361 | YES 1525 | YES 17362 |
| tpdb-8.0/TRS/Various_04/02.xml | YES 867 | YES 588 | YES 307 |
| tpdb-8.0/TRS/Various_04/08.xml | TIMEOUT 60351 | MAYBE 10588 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Various_04/09.xml | YES 1007 | YES 573 | YES 447 |
| tpdb-8.0/TRS/Various_04/10.xml | YES 1419 | YES 2723 | YES 1862 |
| tpdb-8.0/TRS/Various_04/11.xml | YES 1251 | MAYBE 10523 | TIMEOUT 60096 |
| tpdb-8.0/TRS/Various_04/15.xml | YES 1481 | YES 860 | TIMEOUT 60039 |
| tpdb-8.0/TRS/Various_04/18.xml | YES 756 | YES 681 | YES 402 |
| tpdb-8.0/TRS/Various_04/19.xml | YES 771 | YES 882 | YES 2496 |
| tpdb-8.0/TRS/Various_04/22.xml | YES 938 | YES 690 | YES 396 |
| tpdb-8.0/TRS/Various_04/24.xml | YES 1142 | YES 1103 | YES 1984 |
| tpdb-8.0/TRS/Various_04/26.xml | YES 1069 | YES 849 | YES 2033 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | YES 7079 | MAYBE 6935 | MAYBE 46191 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | YES 1609 | YES 1026 | MAYBE 40982 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | YES 13832 | YES 1007 | YES 5194 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | NO 2827 | NO 716 | MAYBE 46444 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | NO 1954 | NO 963 | TIMEOUT 60044 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | TIMEOUT 60127 | MAYBE 6818 | TIMEOUT 60053 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | TIMEOUT 60309 | MAYBE 10557 | MAYBE 45652 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | NO 2891 | NO 709 | TIMEOUT 60100 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | YES 1060 | MAYBE 10601 | TIMEOUT 60056 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | YES 1051 | MAYBE 10598 | TIMEOUT 60065 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | YES 1470 | YES 1939 | YES 15759 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | YES 1141 | YES 1101 | YES 7262 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | YES 1074 | YES 621 | YES 4296 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | YES 1056 | YES 669 | YES 3834 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | YES 1144 | YES 1083 | YES 4106 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | YES 1086 | YES 882 | TIMEOUT 60055 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | YES 1220 | YES 648 | YES 12698 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | YES 1066 | YES 796 | TIMEOUT 60093 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | YES 1090 | YES 563 | YES 5670 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | YES 1164 | YES 1180 | YES 6932 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | YES 1188 | YES 1189 | YES 7503 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | YES 1025 | YES 1142 | YES 9133 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | YES 1181 | YES 1049 | YES 18140 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | YES 753 | YES 462 | YES 518 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | YES 3047 | YES 776 | TIMEOUT 60052 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | YES 1063 | YES 686 | YES 32469 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | YES 1023 | MAYBE 7787 | TIMEOUT 60046 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | YES 1021 | MAYBE 7526 | TIMEOUT 60043 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | TIMEOUT 60572 | MAYBE 7382 | TIMEOUT 60060 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | YES 1049 | YES 3329 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | YES 1153 | YES 1016 | TIMEOUT 60054 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | YES 12677 | MAYBE 6764 | MAYBE 10966 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | YES 1068 | YES 1663 | YES 1155 | 347 | 273 | 158 |