| benchmark | AProVE | TTT2 |
|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/01.xml | YES 1072 | YES 1630 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | YES 5288 | YES 1368 |
| tpdb-8.0/TRS/Bouchare_06/06.xml | YES 4172 | YES 7384 |
| tpdb-8.0/TRS/Bouchare_06/07.xml | YES 2185 | YES 6786 |
| tpdb-8.0/TRS/Bouchare_06/08.xml | NO 784 | NO 826 |
| tpdb-8.0/TRS/Bouchare_06/09.xml | NO 839 | NO 849 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | YES 4629 | YES 1366 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | YES 1043 | YES 1642 |
| tpdb-8.0/TRS/Bouchare_06/16.xml | YES 1127 | YES 1551 |
| tpdb-8.0/TRS/Bouchare_06/17.xml | YES 1126 | YES 1617 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | YES 3854 | YES 9072 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | NO 7540 | NO 42712 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | YES 3837 | MAYBE 59896 |
| tpdb-8.0/TRS/Gebhardt_06/05.xml | NO 9973 | MAYBE 59952 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | NO 6065 | NO 23853 |
| tpdb-8.0/TRS/Gebhardt_06/09.xml | YES 31949 | YES 16640 |
| tpdb-8.0/TRS/Gebhardt_06/10.xml | TIMEOUT 60931 | MAYBE 59948 |
| tpdb-8.0/TRS/Gebhardt_06/13.xml | TIMEOUT 61045 | MAYBE 59973 |
| tpdb-8.0/TRS/Gebhardt_06/15.xml | NO 12301 | MAYBE 59935 |
| tpdb-8.0/TRS/Gebhardt_06/17.xml | YES 5919 | MAYBE 59944 |
| tpdb-8.0/TRS/Gebhardt_06/18.xml | TIMEOUT 61080 | MAYBE 59928 |
| tpdb-8.0/TRS/Gebhardt_06/19.xml | TIMEOUT 60932 | MAYBE 59966 |
| tpdb-8.0/TRS/ICFP_2010/132833.xml | YES 13751 | TIMEOUT 60042 |
| tpdb-8.0/TRS/ICFP_2010/135936.xml | TIMEOUT 60824 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010/136497.xml | TIMEOUT 61083 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010/136571.xml | TIMEOUT 60712 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010/137087.xml | TIMEOUT 60772 | TIMEOUT 60043 |
| tpdb-8.0/TRS/ICFP_2010/139004.xml | YES 14249 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010/149633.xml | TIMEOUT 60528 | TIMEOUT 60056 |
| tpdb-8.0/TRS/ICFP_2010/150468.xml | TIMEOUT 60632 | TIMEOUT 60052 |
| tpdb-8.0/TRS/ICFP_2010/157150.xml | YES 55427 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010/157466.xml | TIMEOUT 60851 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010/157593.xml | YES 17353 | YES 33004 |
| tpdb-8.0/TRS/ICFP_2010/157713.xml | TIMEOUT 60812 | TIMEOUT 60048 |
| tpdb-8.0/TRS/ICFP_2010/158342.xml | TIMEOUT 60787 | TIMEOUT 60044 |
| tpdb-8.0/TRS/ICFP_2010/167636.xml | YES 34366 | TIMEOUT 60054 |
| tpdb-8.0/TRS/ICFP_2010/167742.xml | TIMEOUT 60565 | TIMEOUT 60051 |
| tpdb-8.0/TRS/ICFP_2010/188004.xml | TIMEOUT 60565 | TIMEOUT 60047 |
| tpdb-8.0/TRS/ICFP_2010/212480.xml | YES 7302 | YES 3925 |
| tpdb-8.0/TRS/ICFP_2010/212612.xml | TIMEOUT 60922 | TIMEOUT 60197 |
| tpdb-8.0/TRS/ICFP_2010/213147.xml | YES 23340 | YES 3360 |
| tpdb-8.0/TRS/ICFP_2010/214091.xml | YES 3063 | YES 2369 |
| tpdb-8.0/TRS/ICFP_2010/263745.xml | YES 15882 | TIMEOUT 60057 |
| tpdb-8.0/TRS/ICFP_2010/27015.xml | TIMEOUT 61120 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010/28293.xml | TIMEOUT 60929 | YES 16311 |
| tpdb-8.0/TRS/ICFP_2010/4157.xml | TIMEOUT 61084 | TIMEOUT 60316 |
| tpdb-8.0/TRS/ICFP_2010/4819.xml | TIMEOUT 60890 | TIMEOUT 60232 |
| tpdb-8.0/TRS/ICFP_2010/4991.xml | TIMEOUT 60982 | TIMEOUT 60214 |
| tpdb-8.0/TRS/ICFP_2010/85267.xml | TIMEOUT 61123 | TIMEOUT 60431 |
| tpdb-8.0/TRS/ICFP_2010/85477.xml | YES 19704 | TIMEOUT 60155 |
| tpdb-8.0/TRS/ICFP_2010/85782.xml | TIMEOUT 60922 | TIMEOUT 60230 |
| tpdb-8.0/TRS/ICFP_2010/85920.xml | TIMEOUT 60834 | YES 5157 |
| tpdb-8.0/TRS/ICFP_2010/86636.xml | TIMEOUT 61181 | YES 4361 |
| tpdb-8.0/TRS/ICFP_2010/91242.xml | TIMEOUT 61004 | TIMEOUT 60039 |
| tpdb-8.0/TRS/ICFP_2010/95858.xml | TIMEOUT 60890 | TIMEOUT 60202 |
| tpdb-8.0/TRS/ICFP_2010/96176.xml | TIMEOUT 60864 | YES 3429 |
| tpdb-8.0/TRS/ICFP_2010/96198.xml | TIMEOUT 60915 | YES 3885 |
| tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml | NO 8510 | MAYBE 59927 |
| tpdb-8.0/TRS/Mixed_SRS/04.xml | YES 11205 | YES 12515 |
| tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml | NO 4698 | TIMEOUT 60037 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | YES 7501 | YES 13374 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | NO 966 | MAYBE 59865 |
| tpdb-8.0/TRS/Mixed_SRS/06.xml | YES 4030 | YES 8051 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | NO 2007 | MAYBE 59984 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | YES 4620 | YES 8841 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | NO 3364 | TIMEOUT 60049 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | NO 2861 | NO 10475 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | NO 818 | NO 487 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | YES 3532 | YES 7623 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | YES 3748 | YES 2226 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml | YES 4164 | YES 13311 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | TIMEOUT 60995 | MAYBE 59957 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | TIMEOUT 61351 | TIMEOUT 60050 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml | YES 937 | YES 1489 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | YES 11670 | YES 2118 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | YES 7086 | YES 2481 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | YES 817 | YES 1346 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | YES 995 | YES 1146 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | YES 3390 | YES 10319 |
| tpdb-8.0/TRS/Secret_06_SRS/3-matchbox.xml | YES 6178 | YES 4059 |
| tpdb-8.0/TRS/Secret_06_SRS/3.xml | TIMEOUT 60851 | YES 1653 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | YES 4658 | YES 6153 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | YES 4312 | YES 2692 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | YES 2666 | YES 1803 |
| tpdb-8.0/TRS/Secret_06_SRS/multum1.xml | YES 21639 | YES 13978 |
| tpdb-8.0/TRS/Secret_06_SRS/multum5.xml | YES 4961 | YES 2068 |
| tpdb-8.0/TRS/Secret_06_SRS/multum6.xml | YES 5556 | YES 4105 |
| tpdb-8.0/TRS/Secret_06_SRS/secr2.xml | YES 1907 | YES 982 |
| tpdb-8.0/TRS/Secret_06_SRS/secr7.xml | YES 7418 | YES 6682 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | YES 5229 | YES 8726 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | TIMEOUT 60855 | MAYBE 59991 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | NO 4031 | MAYBE 59894 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | TIMEOUT 60852 | MAYBE 59942 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | TIMEOUT 60901 | MAYBE 59939 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | NO 3212 | MAYBE 59926 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | YES 4640 | YES 11216 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | YES 2781 | YES 6006 |
| tpdb-8.0/TRS/Secret_07_SRS/x04.xml | YES 8626 | YES 11069 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | YES 2276 | YES 7157 |
| tpdb-8.0/TRS/Secret_07_SRS/x06.xml | YES 6189 | YES 24870 |
| tpdb-8.0/TRS/Secret_07_SRS/x09.xml | TIMEOUT 61050 | MAYBE 59951 |
| tpdb-8.0/TRS/Trafo_06/dup06.xml | YES 1895 | YES 8784 |
| tpdb-8.0/TRS/Trafo_06/dup08.xml | YES 15601 | YES 4232 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | YES 14751 | YES 3153 |
| tpdb-8.0/TRS/Trafo_06/dup15.xml | YES 5536 | YES 1838 |
| tpdb-8.0/TRS/Trafo_06/dup16.xml | YES 1003 | YES 8367 |
| tpdb-8.0/TRS/Trafo_06/dup17.xml | YES 5359 | YES 2206 |
| tpdb-8.0/TRS/Trafo_06/un04.xml | NO 5795 | NO 35274 |
| tpdb-8.0/TRS/Trafo_06/un06.xml | YES 8100 | YES 12022 |
| tpdb-8.0/TRS/Trafo_06/un10.xml | TIMEOUT 60819 | YES 12286 |
| tpdb-8.0/TRS/Trafo_06/un11.xml | TIMEOUT 60860 | TIMEOUT 60040 |
| tpdb-8.0/TRS/Trafo_06/un15.xml | TIMEOUT 61530 | TIMEOUT 60063 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml | YES 2820 | YES 11151 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | TIMEOUT 60866 | TIMEOUT 60165 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml | TIMEOUT 61135 | TIMEOUT 60043 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | YES 10216 | YES 3244 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | YES 6045 | YES 1870 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml | YES 1075 | YES 1435 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml | YES 54552 | MAYBE 59932 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | YES 1077 | YES 1584 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml | NO 1451 | NO 975 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-7.xml | TIMEOUT 61340 | TIMEOUT 60048 |
| tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml | YES 9473 | YES 21467 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | YES 2170 | YES 5760 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | YES 3557 | YES 5700 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml | YES 2356 | YES 6461 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | NO 4867 | MAYBE 59939 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml | NO 5432 | MAYBE 59578 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml | YES 2289 | YES 5663 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml | NO 5511 | NO 11477 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml | YES 3361 | YES 7400 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | TIMEOUT 61000 | MAYBE 59821 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | YES 3212 | YES 5637 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | YES 3067 | YES 5812 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml | YES 3829 | YES 6790 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml | TIMEOUT 61365 | YES 16066 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml | YES 2138 | YES 6258 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml | YES 2678 | YES 5797 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml | YES 2278 | YES 5505 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml | YES 4605 | YES 5863 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml | YES 3126 | YES 9245 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml | YES 1861 | YES 7079 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | NO 10786 | MAYBE 59739 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml | TIMEOUT 61141 | MAYBE 59879 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml | NO 848 | NO 1296 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml | YES 2266 | YES 5560 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml | YES 9760 | YES 7241 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml | YES 4449 | YES 9646 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml | YES 6163 | YES 42507 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml | YES 2831 | YES 5688 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml | TIMEOUT 60937 | MAYBE 59920 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml | TIMEOUT 60971 | MAYBE 59914 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml | TIMEOUT 61198 | MAYBE 59950 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml | YES 4074 | YES 6301 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | TIMEOUT 61686 | MAYBE 59933 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml | YES 3616 | YES 5825 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml | TIMEOUT 61101 | TIMEOUT 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml | YES 3564 | YES 6523 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml | TIMEOUT 60793 | MAYBE 59856 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml | YES 3393 | YES 6125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml | YES 2309 | YES 5994 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml | YES 2614 | YES 6785 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml | YES 3278 | YES 7783 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | YES 8747 | YES 6329 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | NO 48636 | MAYBE 59868 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml | YES 1018 | YES 6349 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml | YES 3917 | YES 7125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml | TIMEOUT 61113 | MAYBE 59681 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | NO 1043 | NO 11113 |
| tpdb-8.0/TRS/Zantema_04/syracuse.xml | TIMEOUT 61178 | TIMEOUT 60076 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | YES 768 | YES 914 |
| tpdb-8.0/TRS/Zantema_04/z006.xml | YES 767 | YES 1067 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | YES 2060 | YES 936 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | YES 791 | YES 857 |
| tpdb-8.0/TRS/Zantema_04/z030.xml | YES 799 | YES 911 |
| tpdb-8.0/TRS/Zantema_04/z034.xml | YES 790 | YES 921 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | YES 778 | YES 879 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | YES 759 | YES 931 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | NO 812 | NO 857 |
| tpdb-8.0/TRS/Zantema_04/z047.xml | YES 781 | YES 900 |
| tpdb-8.0/TRS/Zantema_04/z050.xml | YES 775 | YES 844 |
| tpdb-8.0/TRS/Zantema_04/z051.xml | YES 768 | YES 875 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | YES 780 | YES 899 |
| tpdb-8.0/TRS/Zantema_04/z067.xml | YES 2193 | YES 2338 |
| tpdb-8.0/TRS/Zantema_04/z068.xml | YES 3463 | YES 1841 |
| tpdb-8.0/TRS/Zantema_04/z070.xml | YES 3573 | YES 2011 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | YES 1567 | YES 1651 |
| tpdb-8.0/TRS/Zantema_04/z079.xml | TIMEOUT 60842 | TIMEOUT 60045 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | YES 3380 | YES 2096 |
| tpdb-8.0/TRS/Zantema_04/z084.xml | YES 1404 | YES 1433 |
| tpdb-8.0/TRS/Zantema_04/z088.xml | YES 873 | YES 1023 |
| tpdb-8.0/TRS/Zantema_04/z092.xml | YES 1775 | YES 3026 |
| tpdb-8.0/TRS/Zantema_04/z094.xml | YES 1558 | YES 1698 |
| tpdb-8.0/TRS/Zantema_04/z095.xml | YES 813 | YES 883 |
| tpdb-8.0/TRS/Zantema_04/z096.xml | NO 733 | NO 852 |
| tpdb-8.0/TRS/Zantema_04/z097.xml | YES 806 | YES 917 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | YES 876 | YES 1079 |
| tpdb-8.0/TRS/Zantema_04/z103.xml | YES 1958 | YES 1710 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | YES 1465 | YES 1867 |
| tpdb-8.0/TRS/Zantema_04/z111.xml | YES 1578 | YES 5480 |
| tpdb-8.0/TRS/Zantema_04/z112.xml | YES 882 | YES 2794 |
| tpdb-8.0/TRS/Zantema_04/z121.xml | YES 1170 | YES 2213 |
| tpdb-8.0/TRS/Zantema_04/z122.xml | YES 1860 | YES 2615 |
| tpdb-8.0/TRS/Zantema_04/z127.xml | NO 775 | NO 846 |
| tpdb-8.0/TRS/Zantema_06/04.xml | YES 2608 | YES 6789 |
| tpdb-8.0/TRS/Zantema_06/05.xml | YES 1007 | YES 1342 |
| tpdb-8.0/TRS/Zantema_06/06.xml | YES 3206 | YES 11505 |
| tpdb-8.0/TRS/Zantema_06/07.xml | TIMEOUT 60889 | YES 1489 |
| tpdb-8.0/TRS/Zantema_06/09.xml | YES 3369 | YES 1502 |
| tpdb-8.0/TRS/Zantema_06/10.xml | YES 2715 | YES 7296 |
| tpdb-8.0/TRS/Zantema_06/12.xml | YES 16322 | YES 10087 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | YES 2401 | YES 10716 |
| tpdb-8.0/TRS/Zantema_06/beans4.xml | YES 1648 | YES 1715 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | YES 6449 | YES 7037 |
| tpdb-8.0/TRS/Zantema_06/while1.xml | TIMEOUT 61527 | TIMEOUT 60082 | 159 | 146 |