Termination Competition 2019: SRS Standard Certified33117

Job info CSV
benchmark AProVE certified ttt2-1.19 ttt2_cert
ICFP_2010/167391.xml 5163713 YES 273.85/71.54 (CERTIFIED 28.0) timeout (wallclock) [out]
ICFP_2010/4484.xml 5163714 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/26862.xml 5163715 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137956.xml 5163716 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86559.xml 5163717 YES 10.82/3.66 (CERTIFIED 0.5) YES 4.73/1.75 (CERTIFIED 0.2)
ICFP_2010/264033.xml 5163718 YES 37.47/11.59 (CERTIFIED 3.0) YES 37.60/10.15 (CERTIFIED 0.5)
ICFP_2010/131982.xml 5163719 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137809.xml 5163720 YES 649.48/193.32 (CERTIFIED 5.1) timeout (wallclock) [out]
ICFP_2010/4057.xml 5163721 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/45757.xml 5163722 MAYBE 912.25/293.43 post-processor error [out]
ICFP_2010/139256.xml 5163723 YES 66.66/18.25 (CERTIFIED 11.3) timeout (wallclock) [out]
ICFP_2010/158208.xml 5163724 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/5130.xml 5163725 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3770.xml 5163726 YES 101.99/26.90 (CERTIFIED 5.7) YES 116.63/29.66 (CERTIFIED 89.2)
ICFP_2010/48267.xml 5163727 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4206.xml 5163728 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/185453.xml 5163729 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/214011.xml 5163730 YES 42.74/11.71 (CERTIFIED 0.4) YES 35.83/9.74 (CERTIFIED 0.4)
ICFP_2010/96334.xml 5163731 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/135604.xml 5163732 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3842.xml 5163733 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/41688.xml 5163734 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4979.xml 5163735 YES 174.92/45.30 (CERTIFIED 8.7) post-processor error [out]
ICFP_2010/4487.xml 5163736 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4943.xml 5163737 timeout (wallclock) [out] YES 147.47/38.09 (CERTIFIED 517.3)
ICFP_2010/3916.xml 5163738 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/160068.xml 5163739 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4106.xml 5163740 timeout (wallclock) [out] YES 155.66/40.15 (CERTIFIED 803.2)
ICFP_2010/26741.xml 5163741 MAYBE 1020.69/294.94 timeout (wallclock) [out]
ICFP_2010/4893.xml 5163742 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149849.xml 5163743 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136051.xml 5163744 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/246924.xml 5163745 YES 26.84/7.81 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/26927.xml 5163746 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26923.xml 5163747 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161533.xml 5163748 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135659.xml 5163749 YES 354.97/97.95 (CERTIFIED 12.1) timeout (wallclock) [out]
ICFP_2010/139310.xml 5163750 YES 59.16/16.09 (CERTIFIED 6.2) timeout (wallclock) [out]
ICFP_2010/136623.xml 5163751 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212062.xml 5163752 YES 24.77/7.17 (CERTIFIED 0.3) YES 23.29/6.42 (CERTIFIED 0.3)
ICFP_2010/54532.xml 5163753 YES 11.27/3.69 (CERTIFIED 0.3) YES 39.88/23.72 (CERTIFIED 0.3)
ICFP_2010/27039.xml 5163754 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132478.xml 5163755 YES 68.14/18.40 (CERTIFIED 7.7) timeout (wallclock) [out]
ICFP_2010/157275.xml 5163756 YES 70.10/18.90 (CERTIFIED 9.6) timeout (wallclock) [out]
ICFP_2010/4824.xml 5163757 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/4938.xml 5163758 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/88172.xml 5163759 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/152865.xml 5163760 MAYBE 898.55/293.80 timeout (wallclock) [out]
ICFP_2010/132920.xml 5163761 YES 47.26/13.36 (CERTIFIED 5.3) timeout (wallclock) [out]
ICFP_2010/88183.xml 5163762 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27001.xml 5163763 MAYBE 1120.68/298.38 timeout (wallclock) [out]
ICFP_2010/157593.xml 5163764 YES 35.55/9.98 (CERTIFIED 0.6) timeout (wallclock) [out]
ICFP_2010/91218.xml 5163765 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26845.xml 5163766 MAYBE 1068.28/295.80 timeout (wallclock) [out]
ICFP_2010/139163.xml 5163767 YES 73.02/19.88 (CERTIFIED 15.4) timeout (wallclock) [out]
ICFP_2010/4314.xml 5163768 MAYBE 874.21/292.99 post-processor error [out]
ICFP_2010/26886.xml 5163769 MAYBE 1104.97/298.42 timeout (wallclock) [out]
ICFP_2010/158477.xml 5163770 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27213.xml 5163771 YES 50.16/14.08 (CERTIFIED 0.3) YES 44.36/11.75 (CERTIFIED 0.4)
ICFP_2010/96289.xml 5163772 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26946.xml 5163773 MAYBE 1082.48/297.48 timeout (wallclock) [out]
ICFP_2010/97888.xml 5163774 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4374.xml 5163775 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/26871.xml 5163776 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/43266.xml 5163777 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/98623.xml 5163778 YES 51.01/14.01 (CERTIFIED 9.4) timeout (wallclock) [out]
ICFP_2010/128430.xml 5163779 YES 54.70/15.06 (CERTIFIED 6.9) timeout (wallclock) [out]
ICFP_2010/41427.xml 5163780 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160263.xml 5163781 YES 50.67/13.90 (CERTIFIED 0.4) YES 40.09/10.55 (CERTIFIED 0.4)
ICFP_2010/25422.xml 5163782 memout [out] timeout (wallclock) [out]
ICFP_2010/96464.xml 5163783 YES 56.01/15.17 (CERTIFIED 1.3) post-processor error [out]
ICFP_2010/26974.xml 5163784 MAYBE 974.56/295.34 timeout (wallclock) [out]
ICFP_2010/85079.xml 5163785 YES 229.71/59.66 (CERTIFIED 1.6) timeout (wallclock) [out]
ICFP_2010/135328.xml 5163786 MAYBE 947.17/298.64 timeout (wallclock) [out]
ICFP_2010/97885.xml 5163787 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/231300.xml 5163788 YES 30.56/8.74 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/140639.xml 5163789 YES 22.52/8.25 (CERTIFIED 2.6) timeout (wallclock) [out]
ICFP_2010/212693.xml 5163790 YES 26.63/8.52 (CERTIFIED 0.3) YES 25.24/7.01 (CERTIFIED 0.3)
ICFP_2010/139174.xml 5163791 YES 49.24/13.70 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010/96256.xml 5163792 MAYBE 801.06/298.23 post-processor error [out]
ICFP_2010/166493.xml 5163793 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/259405.xml 5163794 YES 52.67/14.54 (CERTIFIED 6.4) timeout (wallclock) [out]
ICFP_2010/4157.xml 5163795 MAYBE 741.41/293.16 post-processor error [out]
ICFP_2010/86816.xml 5163796 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/230780.xml 5163797 YES 33.32/9.50 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/91242.xml 5163798 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149251.xml 5163799 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/42321.xml 5163800 YES 67.41/18.33 (CERTIFIED 7.6) timeout (wallclock) [out]
ICFP_2010/140664.xml 5163801 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85294.xml 5163802 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/51842.xml 5163803 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26969.xml 5163804 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/128691.xml 5163805 YES 50.02/13.89 (CERTIFIED 7.2) timeout (wallclock) [out]
ICFP_2010/27009.xml 5163806 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/165713.xml 5163807 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26903.xml 5163808 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4953.xml 5163809 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133236.xml 5163810 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/131633.xml 5163811 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161917.xml 5163812 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/128550.xml 5163813 YES 47.75/13.20 (CERTIFIED 9.8) timeout (wallclock) [out]
ICFP_2010/211471.xml 5163814 YES 26.85/8.23 (CERTIFIED 0.1) timeout (wallclock) [out]
ICFP_2010/39830.xml 5163815 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/57355.xml 5163816 YES 446.49/115.10 (CERTIFIED 0.7) timeout (wallclock) [out]
ICFP_2010/132611.xml 5163817 YES 30.23/11.37 (CERTIFIED 0.8) timeout (wallclock) [out]
ICFP_2010/153090.xml 5163818 YES 76.54/20.62 (CERTIFIED 9.4) timeout (wallclock) [out]
ICFP_2010/159731.xml 5163819 YES 96.45/25.68 (CERTIFIED 8.3) timeout (wallclock) [out]
ICFP_2010/212037.xml 5163820 YES 98.83/26.02 (CERTIFIED 1.0) timeout (wallclock) [out]
ICFP_2010/149633.xml 5163821 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133486.xml 5163822 MAYBE 940.98/295.16 timeout (wallclock) [out]
ICFP_2010/134918.xml 5163823 MAYBE 796.45/297.04 timeout (wallclock) [out]
ICFP_2010/213719.xml 5163824 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212263.xml 5163825 YES 30.33/9.98 (CERTIFIED 0.3) YES 24.82/6.78 (CERTIFIED 0.3)
ICFP_2010/152694.xml 5163826 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138269.xml 5163827 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/157436.xml 5163828 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4964.xml 5163829 MAYBE 843.84/297.30 post-processor error [out]
ICFP_2010/133010.xml 5163830 YES 60.05/16.44 (CERTIFIED 10.0) timeout (wallclock) [out]
ICFP_2010/247906.xml 5163831 YES 124.13/33.44 (CERTIFIED 11.9) timeout (wallclock) [out]
ICFP_2010/130472.xml 5163832 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/28464.xml 5163833 YES 60.62/16.36 (CERTIFIED 0.4) YES 49.70/13.85 (CERTIFIED 0.7)
ICFP_2010/138468.xml 5163834 YES 56.56/15.54 (CERTIFIED 10.2) timeout (wallclock) [out]
ICFP_2010/133159.xml 5163835 MAYBE 919.25/296.62 timeout (wallclock) [out]
ICFP_2010/211857.xml 5163836 YES 24.60/7.50 (CERTIFIED 0.3) YES 32.86/8.92 (CERTIFIED 0.3)
ICFP_2010/96523.xml 5163837 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/247504.xml 5163838 YES 24.90/7.23 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/25711.xml 5163839 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86452.xml 5163840 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26993.xml 5163841 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/128280.xml 5163842 YES 63.10/17.17 (CERTIFIED 6.1) timeout (wallclock) [out]
ICFP_2010/158152.xml 5163843 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/127538.xml 5163844 YES 58.11/15.97 (CERTIFIED 11.5) timeout (wallclock) [out]
ICFP_2010/96198.xml 5163845 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27026.xml 5163846 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212795.xml 5163847 YES 277.35/71.21 (CERTIFIED 0.5) YES 147.74/37.91 (CERTIFIED 520.1)
ICFP_2010/26116.xml 5163848 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25743.xml 5163849 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160475.xml 5163850 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26919.xml 5163851 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26683.xml 5163852 YES 36.85/10.40 (CERTIFIED 0.2) YES 35.78/9.59 (CERTIFIED 0.3)
ICFP_2010/27019.xml 5163853 MAYBE 960.78/296.39 timeout (wallclock) [out]
ICFP_2010/248060.xml 5163854 YES 37.60/12.05 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/3989.xml 5163855 timeout (wallclock) [out] YES 144.59/37.29 (CERTIFIED 226.2)
ICFP_2010/96029.xml 5163856 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/135505.xml 5163857 MAYBE 888.84/297.88 timeout (wallclock) [out]
ICFP_2010/27013.xml 5163858 MAYBE 1060.03/295.93 timeout (wallclock) [out]
ICFP_2010/140631.xml 5163859 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/231149.xml 5163860 YES 31.39/9.06 (CERTIFIED 0.1) timeout (wallclock) [out]
ICFP_2010/85477.xml 5163861 YES 78.92/20.87 (CERTIFIED 1.4) timeout (wallclock) [out]
ICFP_2010/128486.xml 5163862 YES 55.08/15.22 (CERTIFIED 6.3) timeout (wallclock) [out]
ICFP_2010/149415.xml 5163863 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/124791.xml 5163864 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/247020.xml 5163865 YES 26.26/8.78 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/28838.xml 5163866 YES 89.56/23.73 (CERTIFIED 0.4) ERROR 53.29/15.04
ICFP_2010/27131.xml 5163867 YES 38.20/10.84 (CERTIFIED 0.2) YES 38.59/10.48 (CERTIFIED 0.3)
ICFP_2010/91254.xml 5163868 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/139018.xml 5163869 YES 55.38/15.30 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010/86745.xml 5163870 YES 16.88/5.08 (CERTIFIED 0.5) timeout (wallclock) [out]
ICFP_2010/26110.xml 5163871 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3533.xml 5163872 timeout (wallclock) [out] YES 158.52/40.08 (CERTIFIED 286.6)
ICFP_2010/139036.xml 5163873 YES 47.62/13.30 (CERTIFIED 8.8) timeout (wallclock) [out]
ICFP_2010/139180.xml 5163874 YES 76.87/21.24 (CERTIFIED 12.0) timeout (wallclock) [out]
ICFP_2010/57453.xml 5163875 MAYBE 773.08/296.87 timeout (wallclock) [out]
ICFP_2010/139378.xml 5163876 YES 65.54/17.82 (CERTIFIED 8.6) timeout (wallclock) [out]
ICFP_2010/26951.xml 5163877 MAYBE 1149.09/297.23 timeout (wallclock) [out]
ICFP_2010/27030.xml 5163878 YES 32.28/9.38 (CERTIFIED 0.2) YES 41.24/11.02 (CERTIFIED 0.4)
ICFP_2010/153288.xml 5163879 YES 186.04/49.50 (CERTIFIED 9.2) timeout (wallclock) [out]
ICFP_2010/136571.xml 5163880 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138254.xml 5163881 YES 30.54/8.68 (CERTIFIED 1.0) timeout (wallclock) [out]
ICFP_2010/140359.xml 5163882 YES 42.70/12.16 (CERTIFIED 6.8) timeout (wallclock) [out]
ICFP_2010/186023.xml 5163883 YES 24.41/7.08 (CERTIFIED 1.7) timeout (wallclock) [out]
ICFP_2010/137136.xml 5163884 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4920.xml 5163885 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/48374.xml 5163886 MAYBE 876.52/293.95 timeout (wallclock) [out]
ICFP_2010/88208.xml 5163887 YES 35.25/9.81 (CERTIFIED 4.1) timeout (wallclock) [out]
ICFP_2010/85380.xml 5163888 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/95952.xml 5163889 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96176.xml 5163890 MAYBE 801.50/298.22 timeout (wallclock) [out]
ICFP_2010/26954.xml 5163891 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/182946.xml 5163892 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/41378.xml 5163893 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/213051.xml 5163894 YES 46.77/12.73 (CERTIFIED 0.5) YES 62.61/16.83 (CERTIFIED 0.6)
ICFP_2010/3831.xml 5163895 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/136693.xml 5163896 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160427.xml 5163897 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/84977.xml 5163898 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136934.xml 5163899 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/24100.xml 5163900 memout [out] timeout (wallclock) [out]
ICFP_2010/96119.xml 5163901 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/124211.xml 5163902 MAYBE 867.35/295.80 timeout (wallclock) [out]
ICFP_2010/27036.xml 5163903 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138142.xml 5163904 YES 16.46/5.02 (CERTIFIED 0.9) timeout (wallclock) [out]
ICFP_2010/26127.xml 5163905 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212117.xml 5163906 YES 46.37/12.63 (CERTIFIED 0.6) YES 135.68/34.25 (CERTIFIED 0.7)
ICFP_2010/88156.xml 5163907 YES 63.94/17.19 (CERTIFIED 4.9) timeout (wallclock) [out]
ICFP_2010/138330.xml 5163908 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/40976.xml 5163909 YES 78.29/21.02 (CERTIFIED 9.0) timeout (wallclock) [out]
ICFP_2010/138477.xml 5163910 MAYBE 937.08/297.19 timeout (wallclock) [out]
ICFP_2010/85039.xml 5163911 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/40093.xml 5163912 timeout (wallclock) [out] YES 28.56/7.54 (CERTIFIED 0.3)
ICFP_2010/132235.xml 5163913 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212534.xml 5163914 YES 66.40/17.81 (CERTIFIED 0.6) YES 119.38/32.15 (CERTIFIED 0.7)
ICFP_2010/139214.xml 5163915 YES 60.30/16.80 (CERTIFIED 7.1) timeout (wallclock) [out]
ICFP_2010/150630.xml 5163916 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160254.xml 5163917 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26910.xml 5163918 MAYBE 1031.99/295.83 timeout (wallclock) [out]
ICFP_2010/44332.xml 5163919 YES 96.90/25.90 (CERTIFIED 10.0) timeout (wallclock) [out]
ICFP_2010/188674.xml 5163920 YES 41.65/11.60 (CERTIFIED 2.2) timeout (wallclock) [out]
ICFP_2010/41838.xml 5163921 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133532.xml 5163922 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/53216.xml 5163923 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25736.xml 5163924 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3268.xml 5163925 YES 38.15/10.72 (CERTIFIED 1.5) YES 30.79/8.15 (CERTIFIED 6.8)
ICFP_2010/186919.xml 5163926 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160398.xml 5163927 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167240.xml 5163928 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85874.xml 5163929 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/88283.xml 5163930 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/139025.xml 5163931 YES 56.79/15.64 (CERTIFIED 6.8) timeout (wallclock) [out]
ICFP_2010/153444.xml 5163932 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212189.xml 5163933 YES 354.44/90.80 (CERTIFIED 0.7) timeout (wallclock) [out]
ICFP_2010/5109.xml 5163934 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/139185.xml 5163935 YES 52.39/14.69 (CERTIFIED 7.3) timeout (wallclock) [out]
ICFP_2010/85267.xml 5163936 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/213865.xml 5163937 YES 64.08/17.13 (CERTIFIED 0.6) timeout (wallclock) [out]
ICFP_2010/85782.xml 5163938 MAYBE 851.38/293.89 timeout (wallclock) [out]
ICFP_2010/98362.xml 5163939 YES 74.99/19.91 (CERTIFIED 1.2) post-processor error [out]
ICFP_2010/4200.xml 5163940 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/3467.xml 5163941 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/139100.xml 5163942 YES 55.22/15.27 (CERTIFIED 6.7) timeout (wallclock) [out]
ICFP_2010/128182.xml 5163943 YES 50.23/14.13 (CERTIFIED 5.2) timeout (wallclock) [out]
ICFP_2010/26882.xml 5163944 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/147437.xml 5163945 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26132.xml 5163946 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135714.xml 5163947 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/124269.xml 5163948 MAYBE 956.24/296.73 timeout (wallclock) [out]
ICFP_2010/262998.xml 5163949 YES 28.30/11.75 (CERTIFIED 1.6) timeout (wallclock) [out]
ICFP_2010/137087.xml 5163950 MAYBE 763.93/296.41 timeout (wallclock) [out]
ICFP_2010/136463.xml 5163951 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/214183.xml 5163952 YES 42.54/11.80 (CERTIFIED 0.5) YES 130.56/34.16 (CERTIFIED 0.6)
ICFP_2010/136534.xml 5163953 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96104.xml 5163954 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86025.xml 5163955 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26123.xml 5163956 YES 19.86/5.89 (CERTIFIED 0.1) YES 28.97/7.71 (CERTIFIED 0.2)
ICFP_2010/40708.xml 5163957 timeout (wallclock) [out] YES 38.91/10.25 (CERTIFIED 2.1)
ICFP_2010/26943.xml 5163958 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85920.xml 5163959 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212026.xml 5163960 YES 119.48/31.26 (CERTIFIED 0.7) timeout (wallclock) [out]
ICFP_2010/85749.xml 5163961 YES 11.92/3.82 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/211960.xml 5163962 YES 63.29/16.94 (CERTIFIED 0.5) timeout (wallclock) [out]
ICFP_2010/167433.xml 5163963 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/57799.xml 5163964 YES 67.99/18.70 (CERTIFIED 12.5) timeout (wallclock) [out]
ICFP_2010/152786.xml 5163965 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/165975.xml 5163966 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27003.xml 5163967 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160660.xml 5163968 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25731.xml 5163969 YES 8.38/3.01 (CERTIFIED 0.0) YES 23.17/6.19 (CERTIFIED 0.1)
ICFP_2010/142142.xml 5163970 YES 21.00/6.27 (CERTIFIED 3.5) timeout (wallclock) [out]
ICFP_2010/138089.xml 5163971 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27023.xml 5163972 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/84886.xml 5163973 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3865.xml 5163974 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/3995.xml 5163975 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137621.xml 5163976 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/107193.xml 5163977 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/231604.xml 5163978 YES 36.39/10.21 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/138993.xml 5163979 YES 60.61/16.61 (CERTIFIED 10.0) timeout (wallclock) [out]
ICFP_2010/96156.xml 5163980 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/142146.xml 5163981 YES 31.40/9.09 (CERTIFIED 4.6) timeout (wallclock) [out]
ICFP_2010/63142.xml 5163982 YES 13.99/5.20 (CERTIFIED 1.2) timeout (wallclock) [out]
ICFP_2010/162075.xml 5163983 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96485.xml 5163984 YES 13.55/4.28 (CERTIFIED 0.1) timeout (wallclock) [out]
ICFP_2010/43621.xml 5163985 YES 1071.12/283.29 (CERTIFIED 19.2) timeout (wallclock) [out]
ICFP_2010/4819.xml 5163986 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/247992.xml 5163987 YES 27.53/8.01 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/135601.xml 5163988 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135782.xml 5163989 MAYBE 935.92/296.06 timeout (wallclock) [out]
ICFP_2010/160210.xml 5163990 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/157150.xml 5163991 YES 173.95/45.52 (CERTIFIED 28.4) timeout (wallclock) [out]
ICFP_2010/166001.xml 5163992 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/188296.xml 5163993 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26130.xml 5163994 YES 32.31/9.47 (CERTIFIED 0.1) YES 29.96/7.95 (CERTIFIED 0.2)
ICFP_2010/26960.xml 5163995 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4282.xml 5163996 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/133827.xml 5163997 YES 17.66/5.28 (CERTIFIED 0.9) timeout (wallclock) [out]
ICFP_2010/85721.xml 5163998 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149297.xml 5163999 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137404.xml 5164000 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26998.xml 5164001 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/264370.xml 5164002 YES 4.87/2.08 (CERTIFIED 0.0) YES 1.52/0.67 (CERTIFIED 0.0)
ICFP_2010/25416.xml 5164003 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27235.xml 5164004 YES 48.17/13.24 (CERTIFIED 0.3) YES 42.52/11.75 (CERTIFIED 0.5)
ICFP_2010/26069.xml 5164005 YES 9.00/3.11 (CERTIFIED 0.1) YES 32.17/6.90 (CERTIFIED 0.1)
ICFP_2010/149319.xml 5164006 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160462.xml 5164007 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26291.xml 5164008 YES 23.06/6.96 (CERTIFIED 0.2) YES 35.36/9.43 (CERTIFIED 0.3)
ICFP_2010/180915.xml 5164009 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/139190.xml 5164010 YES 41.95/11.97 (CERTIFIED 5.2) timeout (wallclock) [out]
ICFP_2010/26916.xml 5164011 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/188261.xml 5164012 MAYBE 849.74/298.53 timeout (wallclock) [out]
ICFP_2010/162016.xml 5164013 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3786.xml 5164014 timeout (wallclock) [out] YES 193.69/49.76 (CERTIFIED 621.0)
ICFP_2010/4074.xml 5164015 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/42170.xml 5164016 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167087.xml 5164017 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/97917.xml 5164018 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/254704.xml 5164019 MAYBE 983.87/293.83 timeout (wallclock) [out]
ICFP_2010/86636.xml 5164020 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/68322.xml 5164021 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132622.xml 5164022 YES 54.71/15.15 (CERTIFIED 7.1) timeout (wallclock) [out]
ICFP_2010/153170.xml 5164023 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133079.xml 5164024 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26986.xml 5164025 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212612.xml 5164026 YES 123.42/32.29 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010/231230.xml 5164027 YES 21.36/6.28 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/135115.xml 5164028 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/230948.xml 5164029 YES 40.55/11.27 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/212043.xml 5164030 YES 68.96/18.48 (CERTIFIED 5.1) timeout (wallclock) [out]
ICFP_2010/107236.xml 5164031 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161864.xml 5164032 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149713.xml 5164033 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/213437.xml 5164034 YES 70.11/18.74 (CERTIFIED 0.8) timeout (wallclock) [out]
ICFP_2010/132720.xml 5164035 YES 49.19/13.88 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010/153371.xml 5164036 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167742.xml 5164037 YES 94.01/25.59 (CERTIFIED 9.9) timeout (wallclock) [out]
ICFP_2010/140659.xml 5164038 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/50904.xml 5164039 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/139167.xml 5164040 YES 56.89/15.58 (CERTIFIED 8.7) timeout (wallclock) [out]
ICFP_2010/26978.xml 5164041 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4412.xml 5164042 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/68535.xml 5164043 YES 212.55/54.94 (CERTIFIED 1.2) timeout (wallclock) [out]
ICFP_2010/96403.xml 5164044 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/183803.xml 5164045 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149277.xml 5164046 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/130962.xml 5164047 YES 211.25/55.19 (CERTIFIED 7.4) timeout (wallclock) [out]
ICFP_2010/43603.xml 5164048 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86052.xml 5164049 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161593.xml 5164050 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/249459.xml 5164051 YES 37.56/10.53 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/140287.xml 5164052 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/48686.xml 5164053 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26186.xml 5164054 YES 51.40/7.76 (CERTIFIED 0.1) YES 31.24/8.31 (CERTIFIED 0.2)
ICFP_2010/188004.xml 5164055 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/138194.xml 5164056 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25409.xml 5164057 MAYBE 1155.52/298.84 timeout (wallclock) [out]
ICFP_2010/186617.xml 5164058 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136323.xml 5164059 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4934.xml 5164060 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/58194.xml 5164061 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/43987.xml 5164062 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/188238.xml 5164063 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135936.xml 5164064 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/29415.xml 5164065 YES 128.94/34.24 (CERTIFIED 16.3) timeout (wallclock) [out]
ICFP_2010/26931.xml 5164066 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96065.xml 5164067 timeout (wallclock) [out] YES 422.12/123.78 (CERTIFIED 447.3)
ICFP_2010/39849.xml 5164068 YES 72.06/19.36 (CERTIFIED 1.1) timeout (wallclock) [out]
ICFP_2010/68989.xml 5164069 YES 16.53/5.07 (CERTIFIED 0.4) timeout (wallclock) [out]
ICFP_2010/123759.xml 5164070 MAYBE 909.69/295.67 timeout (wallclock) [out]
ICFP_2010/187837.xml 5164071 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150188.xml 5164072 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96642.xml 5164073 YES 93.12/24.65 (CERTIFIED 1.1) timeout (wallclock) [out]
ICFP_2010/96438.xml 5164074 YES 346.05/104.96 (CERTIFIED 29.6) YES 239.45/62.93 (CERTIFIED 425.2)
ICFP_2010/25726.xml 5164075 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133432.xml 5164076 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/247254.xml 5164077 YES 27.73/8.04 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/28643.xml 5164078 YES 82.98/22.20 (CERTIFIED 0.4) ERROR 46.56/13.21
ICFP_2010/137623.xml 5164079 YES 20.21/5.97 (CERTIFIED 0.5) timeout (wallclock) [out]
ICFP_2010/85834.xml 5164080 YES 11.94/4.01 (CERTIFIED 0.5) timeout (wallclock) [out]
ICFP_2010/58125.xml 5164081 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132848.xml 5164082 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/42683.xml 5164083 YES 42.53/11.78 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010/86577.xml 5164084 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/4991.xml 5164085 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/3633.xml 5164086 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/26875.xml 5164087 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/139004.xml 5164088 YES 57.75/15.83 (CERTIFIED 8.5) timeout (wallclock) [out]
ICFP_2010/212364.xml 5164089 YES 819.86/209.73 (CERTIFIED 1.3) timeout (wallclock) [out]
ICFP_2010/96563.xml 5164090 YES 17.76/7.78 (CERTIFIED 0.6) YES 142.12/36.81 (CERTIFIED 211.2)
ICFP_2010/96086.xml 5164091 YES 15.65/4.88 (CERTIFIED 0.1) YES 2.01/0.90 (CERTIFIED 0.1)
ICFP_2010/231480.xml 5164092 YES 35.82/10.03 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/135410.xml 5164093 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/48328.xml 5164094 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3705.xml 5164095 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3746.xml 5164096 YES 29.32/8.32 (CERTIFIED 0.5) post-processor error [out]
ICFP_2010/91233.xml 5164097 YES 54.36/14.99 (CERTIFIED 3.8) timeout (wallclock) [out]
ICFP_2010/161519.xml 5164098 YES 219.86/57.81 (CERTIFIED 27.3) timeout (wallclock) [out]
ICFP_2010/142157.xml 5164099 MAYBE 761.71/298.39 timeout (wallclock) [out]
ICFP_2010/150725.xml 5164100 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/57278.xml 5164101 MAYBE 1127.05/294.47 timeout (wallclock) [out]
ICFP_2010/263745.xml 5164102 YES 51.47/14.14 (CERTIFIED 4.9) timeout (wallclock) [out]
ICFP_2010/25395.xml 5164103 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150468.xml 5164104 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167041.xml 5164105 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4051.xml 5164106 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26976.xml 5164107 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26957.xml 5164108 MAYBE 1143.83/299.08 timeout (wallclock) [out]
ICFP_2010/4248.xml 5164109 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4840.xml 5164110 timeout (wallclock) [out] YES 146.15/37.65 (CERTIFIED 162.6)
ICFP_2010/81452.xml 5164111 MAYBE 768.18/293.58 YES 372.45/107.16 (CERTIFIED 700.4)
ICFP_2010/140654.xml 5164112 YES 44.11/12.33 (CERTIFIED 5.5) timeout (wallclock) [out]
ICFP_2010/231378.xml 5164113 YES 42.69/11.70 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/128515.xml 5164114 YES 67.54/18.24 (CERTIFIED 7.5) timeout (wallclock) [out]
ICFP_2010/151247.xml 5164115 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/128620.xml 5164116 YES 44.61/12.56 (CERTIFIED 6.6) timeout (wallclock) [out]
ICFP_2010/230819.xml 5164117 YES 28.97/8.34 (CERTIFIED 0.1) timeout (wallclock) [out]
ICFP_2010/212892.xml 5164118 YES 46.40/12.82 (CERTIFIED 0.5) timeout (wallclock) [out]
ICFP_2010/85590.xml 5164119 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/85345.xml 5164120 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/166558.xml 5164121 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96302.xml 5164122 MAYBE 716.35/297.17 timeout (wallclock) [out]
ICFP_2010/26965.xml 5164123 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160234.xml 5164124 YES 35.88/10.17 (CERTIFIED 0.5) YES 84.81/23.47 (CERTIFIED 0.7)
ICFP_2010/27006.xml 5164125 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4970.xml 5164126 MAYBE 800.51/293.64 YES 77.85/20.24 (CERTIFIED 61.0)
ICFP_2010/3498.xml 5164127 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/43650.xml 5164128 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3450.xml 5164129 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/213281.xml 5164130 YES 38.48/10.71 (CERTIFIED 0.4) YES 46.35/12.41 (CERTIFIED 0.4)
ICFP_2010/188696.xml 5164131 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150258.xml 5164132 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/214091.xml 5164133 YES 29.65/8.41 (CERTIFIED 0.3) YES 25.32/6.99 (CERTIFIED 0.3)
ICFP_2010/45720.xml 5164134 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/213407.xml 5164135 YES 35.42/9.94 (CERTIFIED 0.5) YES 55.82/14.87 (CERTIFIED 0.5)
ICFP_2010/157713.xml 5164136 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212308.xml 5164137 YES 61.66/16.72 (CERTIFIED 5.1) timeout (wallclock) [out]
ICFP_2010/27015.xml 5164138 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3589.xml 5164139 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/132833.xml 5164140 YES 59.42/16.09 (CERTIFIED 7.3) timeout (wallclock) [out]
ICFP_2010/26879.xml 5164141 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/133881.xml 5164142 timeout (cpu) [out] timeout (wallclock) [out]
ICFP_2010/26226.xml 5164143 YES 30.68/9.19 (CERTIFIED 0.1) YES 34.76/9.01 (CERTIFIED 0.3)
ICFP_2010/137715.xml 5164144 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/40540.xml 5164145 YES 53.91/14.74 (CERTIFIED 8.8) timeout (wallclock) [out]
ICFP_2010/213537.xml 5164146 YES 73.35/19.62 (CERTIFIED 0.8) timeout (wallclock) [out]
ICFP_2010/130304.xml 5164147 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/51424.xml 5164148 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/96274.xml 5164149 YES 12.08/3.89 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/150815.xml 5164150 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3680.xml 5164151 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136601.xml 5164152 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/153034.xml 5164153 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149915.xml 5164154 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4036.xml 5164155 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/95858.xml 5164156 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167636.xml 5164157 YES 145.72/38.48 (CERTIFIED 20.7) timeout (wallclock) [out]
ICFP_2010/85675.xml 5164158 YES 12.73/4.09 (CERTIFIED 0.3) timeout (wallclock) [out]
ICFP_2010/26949.xml 5164159 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86499.xml 5164160 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/56144.xml 5164161 YES 83.57/22.44 (CERTIFIED 9.7) timeout (wallclock) [out]
ICFP_2010/214261.xml 5164162 YES 70.39/18.74 (CERTIFIED 0.6) timeout (wallclock) [out]
ICFP_2010/54097.xml 5164163 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/166465.xml 5164164 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3817.xml 5164165 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/4141.xml 5164166 MAYBE 849.07/292.72 post-processor error [out]
ICFP_2010/214320.xml 5164167 YES 26.00/7.49 (CERTIFIED 0.4) YES 66.55/15.26 (CERTIFIED 0.5)
ICFP_2010/166848.xml 5164168 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4181.xml 5164169 YES 9.65/3.54 (CERTIFIED 0.3) post-processor error [out]
ICFP_2010/26103.xml 5164170 YES 14.45/4.55 (CERTIFIED 0.1) YES 27.88/7.42 (CERTIFIED 0.1)
ICFP_2010/26980.xml 5164171 MAYBE 1104.09/295.90 timeout (wallclock) [out]
ICFP_2010/3562.xml 5164172 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/187254.xml 5164173 YES 27.36/7.85 (CERTIFIED 1.7) timeout (wallclock) [out]
ICFP_2010/58301.xml 5164174 YES 70.15/18.86 (CERTIFIED 0.9) timeout (wallclock) [out]
ICFP_2010/157161.xml 5164175 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/184957.xml 5164176 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/165755.xml 5164177 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4002.xml 5164178 YES 53.24/14.51 (CERTIFIED 2.0) YES 76.91/19.80 (CERTIFIED 86.8)
ICFP_2010/137316.xml 5164179 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/42466.xml 5164180 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/249386.xml 5164181 YES 64.63/17.32 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/26972.xml 5164182 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/54622.xml 5164183 YES 13.06/4.33 (CERTIFIED 0.3) YES 40.98/24.24 (CERTIFIED 0.3)
ICFP_2010/57852.xml 5164184 YES 63.31/17.07 (CERTIFIED 2.9) timeout (wallclock) [out]
ICFP_2010/51577.xml 5164185 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136562.xml 5164186 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132969.xml 5164187 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4827.xml 5164188 MAYBE 729.99/294.36 YES 190.18/48.99 (CERTIFIED 786.2)
ICFP_2010/186810.xml 5164189 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/140318.xml 5164190 YES 42.45/11.87 (CERTIFIED 6.6) timeout (wallclock) [out]
ICFP_2010/96612.xml 5164191 MAYBE 809.35/297.60 timeout (wallclock) [out]
ICFP_2010/27034.xml 5164192 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132782.xml 5164193 YES 48.26/13.45 (CERTIFIED 7.4) timeout (wallclock) [out]
ICFP_2010/95899.xml 5164194 MAYBE 731.61/298.66 timeout (wallclock) [out]
ICFP_2010/25808.xml 5164195 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/86526.xml 5164196 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212094.xml 5164197 YES 52.27/14.16 (CERTIFIED 0.5) timeout (wallclock) [out]
ICFP_2010/211639.xml 5164198 YES 28.63/8.26 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/41843.xml 5164199 YES 830.79/239.69 (CERTIFIED 3.4) timeout (wallclock) [out]
ICFP_2010/139236.xml 5164200 YES 47.64/13.33 (CERTIFIED 6.4) timeout (wallclock) [out]
ICFP_2010/25734.xml 5164201 MAYBE 1091.63/297.43 timeout (wallclock) [out]
ICFP_2010/96370.xml 5164202 YES 48.82/13.22 (CERTIFIED 0.9) YES 167.16/43.14 (CERTIFIED 637.0)
ICFP_2010/3729.xml 5164203 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/48262.xml 5164204 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/95978.xml 5164205 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96673.xml 5164206 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3939.xml 5164207 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25849.xml 5164208 MAYBE 1092.9/299.44 timeout (wallclock) [out]
ICFP_2010/158620.xml 5164209 YES 83.06/22.46 (CERTIFIED 11.0) timeout (wallclock) [out]
ICFP_2010/25388.xml 5164210 MAYBE 984.08/294.79 timeout (wallclock) [out]
ICFP_2010/3336.xml 5164211 YES 30.16/8.47 (CERTIFIED 0.4) YES 38.21/8.65 (CERTIFIED 0.4)
ICFP_2010/3385.xml 5164212 YES 74.85/20.05 (CERTIFIED 5.7) YES 43.40/11.40 (CERTIFIED 19.8)
ICFP_2010/27028.xml 5164213 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26933.xml 5164214 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167452.xml 5164215 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/128056.xml 5164216 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/186222.xml 5164217 MAYBE 878.45/297.62 timeout (wallclock) [out]
ICFP_2010/212480.xml 5164218 YES 51.63/14.41 (CERTIFIED 0.6) timeout (wallclock) [out]
ICFP_2010/136354.xml 5164219 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/107220.xml 5164220 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150067.xml 5164221 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/264405.xml 5164222 YES 4.59/1.92 (CERTIFIED 0.0) YES 1.51/0.65 (CERTIFIED 0.0)
ICFP_2010/85650.xml 5164223 YES 59.50/16.10 (CERTIFIED 1.2) timeout (cpu) [out]
ICFP_2010/136497.xml 5164224 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/135652.xml 5164225 MAYBE 962.84/295.97 timeout (wallclock) [out]
ICFP_2010/3856.xml 5164226 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/57132.xml 5164227 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25775.xml 5164228 MAYBE 1036.98/295.61 timeout (wallclock) [out]
ICFP_2010/157388.xml 5164229 YES 57.10/15.35 (CERTIFIED 1.1) timeout (wallclock) [out]
ICFP_2010/132540.xml 5164230 YES 43.90/12.44 (CERTIFIED 7.6) timeout (wallclock) [out]
ICFP_2010/58221.xml 5164231 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160364.xml 5164232 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/3930.xml 5164233 MAYBE 872.96/300.00 post-processor error [out]
ICFP_2010/86617.xml 5164234 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/136280.xml 5164235 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96417.xml 5164236 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/4029.xml 5164237 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/211915.xml 5164238 YES 43.82/12.11 (CERTIFIED 0.6) timeout (wallclock) [out]
ICFP_2010/86857.xml 5164239 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/160324.xml 5164240 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26940.xml 5164241 MAYBE 1085.7/299.53 timeout (wallclock) [out]
ICFP_2010/130161.xml 5164242 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4816.xml 5164243 MAYBE 771.31/293.30 timeout (wallclock) [out]
ICFP_2010/96224.xml 5164244 YES 11.50/4.42 (CERTIFIED 0.1) YES 2.35/1.02 (CERTIFIED 0.2)
ICFP_2010/142150.xml 5164245 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/153243.xml 5164246 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/167310.xml 5164247 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/249663.xml 5164248 YES 29.08/8.35 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/231043.xml 5164249 YES 30.19/9.35 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/5011.xml 5164250 timeout (wallclock) [out] YES 143.91/37.12 (CERTIFIED 188.0)
ICFP_2010/186775.xml 5164251 MAYBE 852.86/299.66 timeout (wallclock) [out]
ICFP_2010/211978.xml 5164252 YES 16.99/5.33 (CERTIFIED 0.4) YES 25.60/7.12 (CERTIFIED 0.4)
ICFP_2010/213218.xml 5164253 YES 15.93/4.91 (CERTIFIED 0.5) YES 24.54/6.79 (CERTIFIED 0.5)
ICFP_2010/3861.xml 5164254 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/186973.xml 5164255 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/149361.xml 5164256 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/91210.xml 5164257 YES 54.87/15.12 (CERTIFIED 3.7) timeout (wallclock) [out]
ICFP_2010/259625.xml 5164258 YES 47.59/13.28 (CERTIFIED 6.6) timeout (wallclock) [out]
ICFP_2010/3927.xml 5164259 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/132864.xml 5164260 YES 53.18/14.67 (CERTIFIED 7.2) timeout (wallclock) [out]
ICFP_2010/132957.xml 5164261 YES 47.75/13.54 (CERTIFIED 9.0) timeout (wallclock) [out]
ICFP_2010/27280.xml 5164262 YES 62.11/16.82 (CERTIFIED 0.3) YES 44.91/12.42 (CERTIFIED 0.6)
ICFP_2010/3762.xml 5164263 timeout (wallclock) [out] post-processor error [out]
ICFP_2010/26105.xml 5164264 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/139282.xml 5164265 YES 51.18/14.18 (CERTIFIED 7.7) timeout (wallclock) [out]
ICFP_2010/162244.xml 5164266 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/4854.xml 5164267 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/65081.xml 5164268 YES 10.31/3.49 (CERTIFIED 0.1) post-processor error [out]
ICFP_2010/132738.xml 5164269 YES 43.29/12.08 (CERTIFIED 6.4) timeout (wallclock) [out]
ICFP_2010/167526.xml 5164270 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/213611.xml 5164271 YES 30.45/8.68 (CERTIFIED 0.2) timeout (wallclock) [out]
ICFP_2010/157603.xml 5164272 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/161930.xml 5164273 YES 57.49/15.54 (CERTIFIED 8.5) timeout (wallclock) [out]
ICFP_2010/165936.xml 5164274 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/96239.xml 5164275 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150839.xml 5164276 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/214169.xml 5164277 YES 42.55/11.77 (CERTIFIED 0.6) YES 120.12/31.31 (CERTIFIED 0.7)
ICFP_2010/88143.xml 5164278 YES 54.07/14.70 (CERTIFIED 2.5) timeout (cpu) [out]
ICFP_2010/165904.xml 5164279 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/41865.xml 5164280 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/186333.xml 5164281 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/5076.xml 5164282 timeout (wallclock) [out] YES 156.55/40.52 (CERTIFIED 387.0)
ICFP_2010/4847.xml 5164283 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/148543.xml 5164284 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/212774.xml 5164285 YES 18.97/7.01 (CERTIFIED 0.7) YES 58.99/15.82 (CERTIFIED 0.7)
ICFP_2010/4046.xml 5164286 YES 11.38/3.81 (CERTIFIED 0.2) YES 24.00/6.49 (CERTIFIED 0.2)
ICFP_2010/152949.xml 5164287 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/137799.xml 5164288 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/213560.xml 5164289 YES 63.41/17.23 (CERTIFIED 7.4) timeout (wallclock) [out]
ICFP_2010/167294.xml 5164290 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/150877.xml 5164291 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/45970.xml 5164292 MAYBE 789.47/297.18 timeout (wallclock) [out]
ICFP_2010/97901.xml 5164293 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/27134.xml 5164294 YES 45.15/12.43 (CERTIFIED 0.2) YES 38.14/10.32 (CERTIFIED 0.4)
ICFP_2010/64160.xml 5164295 MAYBE 675.69/292.68 YES 56.17/14.68 (CERTIFIED 17.9)
ICFP_2010/212421.xml 5164296 YES 82.11/21.81 (CERTIFIED 7.7) YES 36.84/9.88 (CERTIFIED 0.5)
ICFP_2010/185628.xml 5164297 MAYBE 940.11/299.46 timeout (wallclock) [out]
ICFP_2010/158342.xml 5164298 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/26896.xml 5164299 MAYBE 1067.7/297.78 timeout (wallclock) [out]
ICFP_2010/97929.xml 5164300 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/213147.xml 5164301 YES 82.35/21.87 (CERTIFIED 5.2) timeout (wallclock) [out]
ICFP_2010/4017.xml 5164302 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/25192.xml 5164303 YES 6.92/3.02 (CERTIFIED 0.0) YES 0.71/0.44 (CERTIFIED 0.0)
ICFP_2010/157466.xml 5164304 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/162095.xml 5164305 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/40033.xml 5164306 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010/28293.xml 5164307 YES 69.74/18.58 (CERTIFIED 0.4) YES 45.19/12.49 (CERTIFIED 0.6)
Gebhardt_06/05.xml 5162898 NO 26.86/7.64 (CERTIFIED 0.1) timeout (wallclock) [out]
Gebhardt_06/03.xml 5162899 NO 6.20/2.46 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/01.xml 5162900 timeout (wallclock) [out] timeout (wallclock) [out]
Gebhardt_06/12.xml 5162901 NO 19.38/5.82 (CERTIFIED 0.1) timeout (wallclock) [out]
Gebhardt_06/10.xml 5162902 MAYBE 1143.89/291.87 timeout (wallclock) [out]
Gebhardt_06/06.xml 5162903 NO 1111.06/283.46 (CERTIFIED 0.1) timeout (wallclock) [out]
Gebhardt_06/02.xml 5162904 YES 963.33/245.79 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/14.xml 5162905 YES 49.97/13.55 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/13.xml 5162906 MAYBE 1144.4/291.77 timeout (wallclock) [out]
Gebhardt_06/20.xml 5162907 timeout (wallclock) [out] timeout (wallclock) [out]
Gebhardt_06/04.xml 5162908 YES 36.33/10.29 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/17.xml 5162909 YES 39.06/11.05 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/08.xml 5162910 NO 5.60/2.13 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/19.xml 5162911 memout [out] timeout (wallclock) [out]
Gebhardt_06/16.xml 5162912 YES 23.86/6.94 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/09.xml 5162913 YES 246.99/63.73 (CERTIFIED 0.0) YES 109.28/26.38 (CERTIFIED 0.1)
Gebhardt_06/11.xml 5162914 YES 23.70/6.90 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/07.xml 5162915 YES 29.04/8.27 (CERTIFIED 0.0) timeout (wallclock) [out]
Gebhardt_06/18.xml 5162916 YES 248.17/63.89 (CERTIFIED 0.1) timeout (wallclock) [out]
Gebhardt_06/15.xml 5162917 NO 33.41/11.37 (CERTIFIED 0.1) timeout (wallclock) [out]
Secret_05_SRS/aprove2.xml 5163224 YES 25.76/9.12 (CERTIFIED 0.1) YES 30.79/8.12 (CERTIFIED 0.1)
Secret_05_SRS/jambox3.xml 5163225 YES 97.29/25.65 (CERTIFIED 0.1) post-processor error [out]
Secret_05_SRS/jambox4.xml 5163226 YES 35.24/9.83 (CERTIFIED 0.1) YES 25.34/6.73 (CERTIFIED 0.1)
Secret_05_SRS/matchbox1.xml 5163227 YES 33.93/9.60 (CERTIFIED 0.1) YES 7.57/2.18 (CERTIFIED 0.1)
Secret_05_SRS/aprove3.xml 5163228 YES 23.19/6.80 (CERTIFIED 0.1) YES 21.90/5.83 (CERTIFIED 0.1)
Secret_05_SRS/aprove1.xml 5163229 YES 23.74/6.98 (CERTIFIED 0.1) YES 31.02/8.15 (CERTIFIED 0.1)
Secret_05_SRS/torpa2.xml 5163230 YES 33.03/9.25 (CERTIFIED 0.0) YES 52.41/13.22 (CERTIFIED 0.0)
Secret_05_SRS/jambox2.xml 5163231 MAYBE 1145.28/292.24 timeout (wallclock) [out]
Secret_05_SRS/jambox5.xml 5163232 YES 67.90/18.22 (CERTIFIED 0.1) timeout (wallclock) [out]
Secret_05_SRS/torpa3.xml 5163233 YES 16.27/5.01 (CERTIFIED 0.7) YES 9.84/2.77 (CERTIFIED 0.1)
Secret_05_SRS/jambox1.xml 5163234 YES 39.76/10.96 (CERTIFIED 0.2) timeout (wallclock) [out]
Secret_05_SRS/aprove4.xml 5163235 YES 34.46/10.00 (CERTIFIED 0.2) YES 37.50/9.84 (CERTIFIED 0.1)
Secret_05_SRS/aprove5.xml 5163236 memout [out] YES 37.08/9.73 (CERTIFIED 0.1)
Secret_05_SRS/torpa4.xml 5163237 YES 22.22/9.35 (CERTIFIED 0.1) YES 21.68/5.78 (CERTIFIED 0.1)
Secret_05_SRS/torpa1.xml 5163238 YES 27.42/7.99 (CERTIFIED 0.0) YES 20.30/5.42 (CERTIFIED 0.1)
Secret_05_SRS/matchbox2.xml 5163239 YES 29.75/8.64 (CERTIFIED 0.1) YES 8.74/2.48 (CERTIFIED 0.1)
Mixed_SRS/01-oppelt08.xml 5162951 NO 21.62/6.62 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/05.xml 5162952 memout [out] YES 63.97/16.44 (CERTIFIED 0.1)
Mixed_SRS/03.xml 5162953 YES 45.95/12.70 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/01.xml 5162954 YES 21.58/6.53 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/touzet.xml 5162955 YES 9.00/3.15 (CERTIFIED 0.0) YES 9.27/2.70 (CERTIFIED 0.0)
Mixed_SRS/06.xml 5162956 memout [out] YES 26.54/7.01 (CERTIFIED 0.0)
Mixed_SRS/02.xml 5162957 YES 33.87/9.44 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/08-oppelt08.xml 5162958 NO 6.43/2.52 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/07-oppelt08.xml 5162959 NO 4.14/1.86 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/3.xml 5162960 YES 10.24/3.45 (CERTIFIED 0.1) YES 3.25/1.12 (CERTIFIED 0.0)
Mixed_SRS/1.xml 5162961 NO 5.11/2.05 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/04.xml 5162962 YES 41.25/11.53 (CERTIFIED 0.2) YES 93.64/24.09 (CERTIFIED 0.0)
Mixed_SRS/08.xml 5162963 memout [out] timeout (wallclock) [out]
Mixed_SRS/04-oppelt08.xml 5162964 NO 25.00/7.18 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/03-oppelt08.xml 5162965 NO 49.00/13.35 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/s6.xml 5162966 YES 18.84/5.74 (CERTIFIED 0.1) YES 2.37/0.88 (CERTIFIED 0.1)
Mixed_SRS/09.xml 5162967 memout [out] YES 29.11/7.19 (CERTIFIED 0.0)
Mixed_SRS/06-oppelt08.xml 5162968 NO 3.59/1.62 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/07.xml 5162969 YES 24.08/6.99 (CERTIFIED 0.1) YES 21.00/5.63 (CERTIFIED 0.0)
Mixed_SRS/2.xml 5162970 YES 21.09/6.33 (CERTIFIED 0.0) YES 192.49/44.09 (CERTIFIED 0.2)
Mixed_SRS/02-oppelt08.xml 5162971 NO 48.60/13.44 (CERTIFIED 0.0) timeout (wallclock) [out]
Mixed_SRS/turing_copy.xml 5162972 NO 3.12/1.54 (CERTIFIED 0.0) NO 0.35/0.35 (CERTIFIED 0.1)
Mixed_SRS/turing_add.xml 5162973 YES 10.52/3.47 (CERTIFIED 0.1) YES 1.60/0.67 (CERTIFIED 0.0)
Mixed_SRS/4.xml 5162974 timeout (wallclock) [out] timeout (wallclock) [out]
Mixed_SRS/turing_mult.xml 5162975 NO 3.57/1.71 (CERTIFIED 0.1) NO 1.87/0.76 (CERTIFIED 0.1)
Mixed_SRS/05-oppelt08.xml 5162976 NO 8.49/3.10 (CERTIFIED 0.0) timeout (wallclock) [out]
Bouchare_06/05.xml 5162880 YES 24.98/7.15 (CERTIFIED 0.0) YES 10.30/2.91 (CERTIFIED 0.0)
Bouchare_06/03.xml 5162881 memout [out] YES 26.65/6.96 (CERTIFIED 0.0)
Bouchare_06/01.xml 5162882 YES 5.68/2.22 (CERTIFIED 0.0) YES 6.09/1.80 (CERTIFIED 0.0)
Bouchare_06/12.xml 5162883 YES 28.35/8.09 (CERTIFIED 0.0) YES 10.00/2.80 (CERTIFIED 0.0)
Bouchare_06/10.xml 5162884 YES 32.87/9.17 (CERTIFIED 0.1) YES 7.67/2.20 (CERTIFIED 0.0)
Bouchare_06/06.xml 5162885 YES 31.98/9.33 (CERTIFIED 0.0) YES 30.20/7.82 (CERTIFIED 0.0)
Bouchare_06/02.xml 5162886 YES 6.11/2.45 (CERTIFIED 0.0) YES 3.88/1.24 (CERTIFIED 0.0)
Bouchare_06/14.xml 5162887 YES 8.24/2.94 (CERTIFIED 0.1) YES 5.33/1.60 (CERTIFIED 0.0)
Bouchare_06/13.xml 5162888 YES 18.26/5.50 (CERTIFIED 0.0) YES 31.30/8.21 (CERTIFIED 0.0)
Bouchare_06/04.xml 5162889 YES 5.10/2.23 (CERTIFIED 0.0) YES 6.75/1.97 (CERTIFIED 0.1)
Bouchare_06/17.xml 5162890 YES 5.83/2.28 (CERTIFIED 0.0) YES 5.54/1.67 (CERTIFIED 0.0)
Bouchare_06/08.xml 5162891 NO 3.27/2.41 (CERTIFIED 0.0) NO 1.82/0.72 (CERTIFIED 0.0)
Bouchare_06/16.xml 5162892 YES 5.02/2.27 (CERTIFIED 0.0) YES 4.59/1.42 (CERTIFIED 0.0)
Bouchare_06/09.xml 5162893 NO 3.43/1.67 (CERTIFIED 0.0) NO 2.09/0.79 (CERTIFIED 0.0)
Bouchare_06/11.xml 5162894 YES 52.72/14.43 (CERTIFIED 0.1) YES 4.86/1.50 (CERTIFIED 0.1)
Bouchare_06/07.xml 5162895 memout [out] YES 28.11/7.42 (CERTIFIED 0.1)
Bouchare_06/18.xml 5162896 YES 30.45/9.20 (CERTIFIED 0.0) YES 35.98/9.44 (CERTIFIED 0.1)
Bouchare_06/15.xml 5162897 YES 7.74/2.70 (CERTIFIED 0.0) YES 5.41/1.63 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-108.xml 5163367 YES 24.15/7.08 (CERTIFIED 0.0) YES 19.21/5.18 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-507.xml 5163368 YES 26.86/7.72 (CERTIFIED 0.0) YES 7.72/2.23 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-279.xml 5163369 YES 26.56/9.17 (CERTIFIED 0.0) YES 12.10/3.33 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-85.xml 5163370 YES 29.33/8.39 (CERTIFIED 0.3) YES 50.57/13.17 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-202.xml 5163371 YES 27.73/7.87 (CERTIFIED 0.4) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-487.xml 5163372 YES 43.26/11.83 (CERTIFIED 0.1) YES 39.23/10.24 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-199.xml 5163373 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-200.xml 5163374 YES 15.21/4.75 (CERTIFIED 0.3) YES 23.12/6.46 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-32.xml 5163375 MAYBE 1163.6/294.14 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-461.xml 5163376 YES 30.01/8.46 (CERTIFIED 0.1) YES 29.00/7.65 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-101.xml 5163377 NO 5.53/2.11 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-113.xml 5163378 YES 23.48/6.95 (CERTIFIED 0.0) YES 28.34/7.48 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-255.xml 5163379 YES 38.86/10.90 (CERTIFIED 0.0) YES 18.56/5.03 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-170.xml 5163380 NO 44.86/12.34 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-160.xml 5163381 NO 3.83/1.65 (CERTIFIED 0.0) NO 4.48/1.40 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-399.xml 5163382 YES 24.17/8.65 (CERTIFIED 0.0) YES 28.59/7.54 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-2-num-1.xml 5163383 YES 18.14/5.40 (CERTIFIED 0.0) YES 27.48/7.26 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-503.xml 5163384 YES 18.37/5.55 (CERTIFIED 0.0) YES 62.37/16.15 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-395.xml 5163385 YES 25.97/7.42 (CERTIFIED 0.0) YES 27.47/7.25 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-566.xml 5163386 NO 643.20/164.05 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-59.xml 5163387 YES 12.46/4.01 (CERTIFIED 0.1) YES 13.81/3.90 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-485.xml 5163388 YES 41.79/11.57 (CERTIFIED 0.0) YES 22.80/6.21 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-389.xml 5163389 YES 33.15/9.42 (CERTIFIED 0.1) YES 27.17/7.24 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-2-num-12.xml 5163390 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-560.xml 5163391 YES 32.75/9.26 (CERTIFIED 0.0) YES 22.90/6.07 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-194.xml 5163392 YES 27.36/7.76 (CERTIFIED 0.0) YES 20.37/4.56 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-198.xml 5163393 YES 18.22/5.48 (CERTIFIED 0.0) YES 36.22/9.48 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-2-num-6.xml 5163394 YES 22.65/6.65 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-131.xml 5163395 YES 16.86/5.23 (CERTIFIED 0.0) YES 25.37/6.71 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-257.xml 5163396 NO 4.09/1.76 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-207.xml 5163397 NO 8.11/2.85 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-11.xml 5163398 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-430.xml 5163399 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-201.xml 5163400 YES 25.30/7.37 (CERTIFIED 0.3) YES 19.00/5.44 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-480.xml 5163401 YES 25.47/7.33 (CERTIFIED 0.0) YES 31.39/8.27 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-64.xml 5163402 YES 7.39/2.75 (CERTIFIED 0.0) YES 15.00/4.19 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-263.xml 5163403 YES 31.81/9.05 (CERTIFIED 0.1) YES 100.06/25.70 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-367.xml 5163404 YES 33.85/10.14 (CERTIFIED 0.0) YES 28.07/7.41 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-369.xml 5163405 NO 67.90/18.18 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-478.xml 5163406 YES 33.30/9.35 (CERTIFIED 0.0) YES 72.32/15.44 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-48.xml 5163407 YES 26.33/7.66 (CERTIFIED 0.0) YES 28.26/7.51 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-241.xml 5163408 NO 6.06/2.33 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-448.xml 5163409 YES 39.89/11.05 (CERTIFIED 0.0) YES 28.62/7.58 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-217.xml 5163410 NO 4.65/1.96 (CERTIFIED 0.0) NO 13.20/3.62 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-495.xml 5163411 YES 18.99/5.80 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-291.xml 5163412 MAYBE 1146.76/291.73 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-476.xml 5163413 YES 24.39/7.89 (CERTIFIED 0.0) YES 25.38/6.79 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-375.xml 5163414 YES 23.86/8.53 (CERTIFIED 0.0) YES 27.02/7.13 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-479.xml 5163415 YES 29.49/10.82 (CERTIFIED 0.1) YES 38.05/9.92 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-551.xml 5163416 YES 33.23/9.80 (CERTIFIED 0.0) YES 11.34/3.15 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-536.xml 5163417 YES 28.15/8.32 (CERTIFIED 0.0) YES 25.61/6.77 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-271.xml 5163418 YES 25.43/7.41 (CERTIFIED 0.3) YES 32.96/8.66 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-564.xml 5163419 NO 117.57/32.52 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-249.xml 5163420 NO 21.43/6.46 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-434.xml 5163421 timeout (cpu) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-83.xml 5163422 NO 261.52/67.28 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-335.xml 5163423 YES 22.20/7.28 (CERTIFIED 0.0) YES 27.93/7.58 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-30.xml 5163424 YES 18.98/5.82 (CERTIFIED 0.3) YES 13.35/3.65 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-120.xml 5163425 MAYBE 1149.59/292.62 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-565.xml 5163426 YES 29.58/8.57 (CERTIFIED 0.0) YES 13.35/3.74 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-67.xml 5163427 YES 11.73/3.83 (CERTIFIED 0.0) YES 15.76/4.30 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-511.xml 5163428 NO 25.64/7.41 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-19.xml 5163429 memout [out] YES 25.18/6.65 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-104.xml 5163430 YES 13.67/4.21 (CERTIFIED 0.0) YES 34.08/8.96 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-2-num-10.xml 5163431 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-416.xml 5163432 YES 39.87/11.00 (CERTIFIED 0.1) YES 35.54/9.13 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-468.xml 5163433 YES 34.52/10.98 (CERTIFIED 0.0) YES 29.77/7.84 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-71.xml 5163434 YES 16.68/5.09 (CERTIFIED 0.4) YES 26.47/7.19 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-4.xml 5163435 YES 24.38/7.09 (CERTIFIED 0.1) YES 15.50/4.27 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-233.xml 5163436 NO 50.3/13.65 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-374.xml 5163437 MAYBE 1146.35/292.06 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-376.xml 5163438 YES 18.45/5.54 (CERTIFIED 0.0) YES 26.68/7.08 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-231.xml 5163439 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-2-num-16.xml 5163440 YES 36.94/10.42 (CERTIFIED 0.1) YES 19.45/5.32 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-191.xml 5163441 memout [out] YES 17.05/4.80 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-499.xml 5163442 YES 31.24/8.83 (CERTIFIED 0.0) YES 37.48/9.79 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-460.xml 5163443 YES 31.47/8.85 (CERTIFIED 0.1) YES 29.64/7.80 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-210.xml 5163444 MAYBE 1146.55/291.86 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-190.xml 5163445 YES 15.95/4.95 (CERTIFIED 0.0) YES 21.86/5.85 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-2-num-8.xml 5163446 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-474.xml 5163447 NO 71.16/18.88 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-453.xml 5163448 YES 14.90/4.57 (CERTIFIED 0.3) YES 30.55/8.03 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-10.xml 5163449 YES 12.49/4.02 (CERTIFIED 0.0) YES 13.59/3.64 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-378.xml 5163450 NO 124.07/32.35 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-270.xml 5163451 NO 68.70/18.42 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-451.xml 5163452 YES 20.31/11.35 (CERTIFIED 0.0) YES 28.23/7.45 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-2-num-22.xml 5163453 YES 22.45/9.67 (CERTIFIED 0.0) YES 17.82/4.88 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-206.xml 5163454 NO 7.19/2.60 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-403.xml 5163455 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-429.xml 5163456 YES 27.49/7.95 (CERTIFIED 0.3) YES 12.35/3.43 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-57.xml 5163457 YES 8.92/3.04 (CERTIFIED 0.0) YES 10.27/2.91 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-204.xml 5163458 YES 27.81/10.94 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-238.xml 5163459 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-70.xml 5163460 YES 31.00/8.84 (CERTIFIED 0.3) YES 18.91/5.32 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-402.xml 5163461 NO 222.90/57.41 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-437.xml 5163462 YES 40.09/11.06 (CERTIFIED 0.1) YES 25.66/7.17 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-65.xml 5163463 YES 20.34/6.09 (CERTIFIED 0.0) YES 25.97/6.87 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-413.xml 5163464 YES 23.75/6.92 (CERTIFIED 0.1) YES 28.37/7.47 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-285.xml 5163465 YES 9.02/3.10 (CERTIFIED 0.0) YES 18.26/5.04 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-22.xml 5163466 NO 9.75/3.29 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-2-num-20.xml 5163467 NO 191.97/49.53 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-343.xml 5163468 YES 15.08/4.97 (CERTIFIED 0.3) YES 17.90/4.87 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-563.xml 5163469 YES 38.93/10.85 (CERTIFIED 0.0) YES 23.80/6.18 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-561.xml 5163470 YES 14.62/4.58 (CERTIFIED 0.1) YES 22.61/6.01 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-110.xml 5163471 YES 29.26/8.31 (CERTIFIED 0.0) YES 25.26/6.60 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-226.xml 5163472 YES 34.50/9.63 (CERTIFIED 0.1) YES 28.18/7.42 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-265.xml 5163473 memout [out] YES 21.15/5.64 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-275.xml 5163474 YES 22.29/6.55 (CERTIFIED 0.0) YES 9.13/2.57 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-414.xml 5163475 YES 41.25/11.48 (CERTIFIED 0.1) YES 29.77/7.83 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-98.xml 5163476 YES 29.16/8.30 (CERTIFIED 0.1) YES 36.17/9.48 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-2-num-13.xml 5163477 YES 27.98/8.14 (CERTIFIED 0.0) YES 34.96/9.18 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-124.xml 5163478 YES 33.92/9.53 (CERTIFIED 0.0) YES 79.66/20.49 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-133.xml 5163479 YES 29.98/8.50 (CERTIFIED 0.1) YES 40.65/10.62 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-300.xml 5163480 YES 35.39/9.87 (CERTIFIED 0.0) YES 28.42/7.74 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-289.xml 5163481 YES 13.50/4.29 (CERTIFIED 0.0) YES 28.96/7.76 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-164.xml 5163482 YES 31.56/11.06 (CERTIFIED 0.0) YES 25.66/6.91 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-159.xml 5163483 NO 3.36/1.64 (CERTIFIED 0.0) NO 1.58/0.66 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-559.xml 5163484 YES 34.26/9.62 (CERTIFIED 0.0) YES 17.12/4.66 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-454.xml 5163485 MAYBE 1146.25/292.82 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-401.xml 5163486 NO 339.08/87.41 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-359.xml 5163487 YES 23.13/6.85 (CERTIFIED 0.1) YES 42.39/11.05 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-239.xml 5163488 NO 4.90/1.99 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-477.xml 5163489 YES 14.01/4.42 (CERTIFIED 0.0) YES 52.08/8.72 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-44.xml 5163490 YES 27.82/9.86 (CERTIFIED 0.0) YES 23.81/6.70 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-86.xml 5163491 YES 46.69/12.88 (CERTIFIED 0.1) YES 11.20/3.14 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-88.xml 5163492 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-168.xml 5163493 YES 18.73/5.70 (CERTIFIED 0.0) YES 27.59/7.28 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-2-num-21.xml 5163494 YES 23.44/6.80 (CERTIFIED 0.0) YES 27.67/7.37 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-473.xml 5163495 YES 25.88/7.52 (CERTIFIED 0.0) YES 30.99/8.15 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-7.xml 5163496 NO 6.48/2.41 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-76.xml 5163497 YES 19.27/5.81 (CERTIFIED 0.0) YES 25.17/6.67 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-127.xml 5163498 NO 48.69/13.25 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-350.xml 5163499 YES 25.64/7.50 (CERTIFIED 0.1) YES 23.56/6.42 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-106.xml 5163500 memout [out] YES 36.09/9.45 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-427.xml 5163501 YES 30.00/8.50 (CERTIFIED 0.1) YES 27.34/7.22 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-341.xml 5163502 YES 20.99/6.20 (CERTIFIED 0.0) YES 29.41/7.75 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-417.xml 5163503 YES 36.42/10.10 (CERTIFIED 0.1) YES 29.27/7.70 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-418.xml 5163504 YES 32.04/9.05 (CERTIFIED 0.0) YES 29.80/7.82 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-13.xml 5163505 YES 23.78/6.96 (CERTIFIED 0.0) YES 26.16/6.93 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-84.xml 5163506 MAYBE 1155.23/294.08 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-396.xml 5163507 YES 27.96/7.99 (CERTIFIED 0.0) YES 29.42/7.74 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-247.xml 5163508 MAYBE 1145.9/291.67 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-406.xml 5163509 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-446.xml 5163510 YES 25.65/11.61 (CERTIFIED 0.0) YES 22.67/6.03 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-368.xml 5163511 NO 9.66/3.33 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-327.xml 5163512 YES 46.31/12.69 (CERTIFIED 0.0) YES 26.99/7.03 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-553.xml 5163513 YES 48.33/13.21 (CERTIFIED 0.0) YES 22.40/5.96 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-392.xml 5163514 YES 26.24/7.59 (CERTIFIED 0.0) YES 25.10/6.63 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-354.xml 5163515 memout [out] YES 66.69/17.33 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-384.xml 5163516 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-209.xml 5163517 MAYBE 1146.1/291.73 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-52.xml 5163518 YES 10.54/3.43 (CERTIFIED 0.3) YES 25.88/6.89 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-337.xml 5163519 memout [out] YES 25.60/6.79 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-47.xml 5163520 NO 13.34/4.26 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-550.xml 5163521 YES 27.37/8.04 (CERTIFIED 0.3) YES 20.62/5.51 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-23.xml 5163522 NO 5.83/2.24 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-502.xml 5163523 YES 17.00/5.22 (CERTIFIED 0.0) YES 65.08/16.84 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-363.xml 5163524 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-2-num-14.xml 5163525 YES 24.71/7.23 (CERTIFIED 0.0) YES 52.90/13.70 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-438.xml 5163526 YES 32.54/10.40 (CERTIFIED 0.1) YES 27.96/7.58 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-149.xml 5163527 YES 21.57/6.44 (CERTIFIED 0.0) YES 11.58/3.20 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-219.xml 5163528 MAYBE 1147.59/292.32 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-20.xml 5163529 NO 5.61/2.27 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-415.xml 5163530 YES 38.37/10.63 (CERTIFIED 0.1) YES 27.85/7.37 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-303.xml 5163531 YES 16.68/5.19 (CERTIFIED 0.0) YES 26.01/6.89 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-556.xml 5163532 YES 36.33/10.16 (CERTIFIED 0.0) YES 22.24/5.94 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-126.xml 5163533 YES 26.02/7.51 (CERTIFIED 0.0) YES 40.91/10.68 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-546.xml 5163534 YES 19.73/5.94 (CERTIFIED 0.0) YES 48.22/12.54 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-494.xml 5163535 YES 27.10/7.96 (CERTIFIED 0.0) YES 26.46/6.99 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-90.xml 5163536 NO 95.71/25.26 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-3.xml 5163537 NO 6.47/2.46 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-179.xml 5163538 NO 3.49/1.70 (CERTIFIED 0.0) NO 5.05/1.50 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-412.xml 5163539 YES 33.69/9.47 (CERTIFIED 0.0) YES 29.39/7.74 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-475.xml 5163540 NO 943.42/241.01 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-366.xml 5163541 YES 40.38/11.19 (CERTIFIED 0.0) YES 25.42/7.09 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-294.xml 5163542 YES 25.94/7.50 (CERTIFIED 0.0) YES 25.99/6.87 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-163.xml 5163543 YES 11.91/3.82 (CERTIFIED 0.0) YES 20.81/5.73 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-272.xml 5163544 MAYBE 1146.39/291.83 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-351.xml 5163545 YES 17.43/5.35 (CERTIFIED 0.0) YES 7.24/2.10 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-373.xml 5163546 NO 25.93/7.54 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-2-num-17.xml 5163547 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-470.xml 5163548 YES 27.86/7.94 (CERTIFIED 0.0) YES 35.81/9.42 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-297.xml 5163549 YES 28.29/10.49 (CERTIFIED 0.0) YES 34.15/8.32 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-469.xml 5163550 YES 33.74/10.85 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-213.xml 5163551 YES 16.17/4.97 (CERTIFIED 0.0) YES 15.86/4.49 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-129.xml 5163552 NO 4.51/1.89 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-409.xml 5163553 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-92.xml 5163554 YES 18.31/5.62 (CERTIFIED 0.0) YES 31.21/8.20 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-283.xml 5163555 YES 32.77/9.22 (CERTIFIED 0.0) YES 11.50/3.22 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-40.xml 5163556 YES 24.99/7.33 (CERTIFIED 0.0) YES 17.79/4.78 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-178.xml 5163557 NO 8.67/3.07 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-243.xml 5163558 NO 5.18/2.78 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-498.xml 5163559 YES 43.83/12.10 (CERTIFIED 0.0) YES 26.20/6.93 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-15.xml 5163560 YES 20.20/6.16 (CERTIFIED 0.0) YES 22.29/5.64 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-99.xml 5163561 NO 3.59/2.16 (CERTIFIED 0.0) NO 17.68/4.76 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-488.xml 5163562 NO 7.35/2.83 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-107.xml 5163563 memout [out] YES 16.56/4.68 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-508.xml 5163564 YES 49.80/13.88 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-522.xml 5163565 NO 112.47/29.49 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-330.xml 5163566 YES 27.70/7.88 (CERTIFIED 0.1) YES 27.70/7.37 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-236.xml 5163567 YES 38.34/10.58 (CERTIFIED 0.1) YES 43.17/11.25 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-203.xml 5163568 memout [out] YES 25.50/6.76 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-186.xml 5163569 YES 25.28/7.30 (CERTIFIED 0.0) YES 13.37/3.68 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-35.xml 5163570 YES 35.62/9.88 (CERTIFIED 0.1) YES 34.88/9.27 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-284.xml 5163571 YES 16.95/5.21 (CERTIFIED 0.0) YES 12.95/3.57 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-105.xml 5163572 YES 24.73/7.20 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-462.xml 5163573 YES 26.81/7.61 (CERTIFIED 0.1) YES 29.17/7.65 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-535.xml 5163574 YES 27.94/12.70 (CERTIFIED 0.0) YES 26.64/7.05 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-9.xml 5163575 YES 15.19/4.81 (CERTIFIED 0.0) YES 34.78/6.86 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-94.xml 5163576 YES 18.43/5.52 (CERTIFIED 0.2) YES 11.79/3.26 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-223.xml 5163577 YES 145.01/37.62 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-122.xml 5163578 YES 32.91/10.72 (CERTIFIED 0.1) YES 88.86/22.87 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-385.xml 5163579 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-112.xml 5163580 YES 23.42/6.86 (CERTIFIED 0.0) YES 24.98/6.61 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-282.xml 5163581 YES 26.80/7.79 (CERTIFIED 0.4) YES 11.68/3.27 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-352.xml 5163582 YES 13.02/4.17 (CERTIFIED 0.3) YES 17.87/4.82 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-273.xml 5163583 YES 22.61/6.63 (CERTIFIED 0.0) YES 10.10/2.84 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-128.xml 5163584 YES 27.72/7.90 (CERTIFIED 0.1) YES 56.01/14.62 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-132.xml 5163585 YES 24.66/7.21 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-225.xml 5163586 memout [out] YES 22.56/6.00 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-177.xml 5163587 NO 3.48/1.62 (CERTIFIED 0.0) NO 17.80/4.80 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-353.xml 5163588 NO 4.44/1.88 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-467.xml 5163589 YES 30.64/8.63 (CERTIFIED 0.1) YES 34.69/9.08 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-356.xml 5163590 NO 835.47/212.72 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-547.xml 5163591 YES 28.53/8.28 (CERTIFIED 0.0) YES 43.41/11.29 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-21.xml 5163592 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-299.xml 5163593 YES 23.32/6.92 (CERTIFIED 0.0) YES 29.00/7.81 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-443.xml 5163594 YES 15.41/4.77 (CERTIFIED 0.0) YES 28.84/7.85 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-237.xml 5163595 memout [out] YES 40.04/10.48 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-360.xml 5163596 YES 16.96/5.18 (CERTIFIED 0.0) YES 26.97/7.18 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-287.xml 5163597 YES 27.35/10.09 (CERTIFIED 0.3) YES 9.50/2.72 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-452.xml 5163598 YES 53.55/14.59 (CERTIFIED 0.3) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-493.xml 5163599 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-455.xml 5163600 YES 42.51/11.69 (CERTIFIED 0.1) YES 25.05/6.74 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-362.xml 5163601 NO 288.53/73.94 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-304.xml 5163602 YES 26.41/7.67 (CERTIFIED 0.0) YES 31.96/8.40 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-260.xml 5163603 NO 4.76/1.91 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-391.xml 5163604 memout [out] YES 32.80/8.61 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-484.xml 5163605 YES 21.20/6.29 (CERTIFIED 0.0) YES 27.40/7.24 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-347.xml 5163606 memout [out] YES 27.53/7.31 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-227.xml 5163607 NO 6.01/2.41 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-309.xml 5163608 YES 29.08/12.14 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-410.xml 5163609 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-211.xml 5163610 MAYBE 1147.36/291.93 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-100.xml 5163611 NO 4.60/1.93 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-382.xml 5163612 NO 951.29/241.73 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-292.xml 5163613 MAYBE 1146.97/291.98 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-95.xml 5163614 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-338.xml 5163615 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-301.xml 5163616 YES 33.84/9.50 (CERTIFIED 0.1) YES 28.35/7.55 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-158.xml 5163617 NO 3.63/2.68 (CERTIFIED 0.0) NO 3.41/1.13 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-17.xml 5163618 YES 24.59/10.56 (CERTIFIED 0.0) YES 24.84/6.86 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-568.xml 5163619 memout [out] YES 31.42/7.25 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-431.xml 5163620 MAYBE 1146.64/292.15 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-45.xml 5163621 memout [out] YES 14.16/3.97 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-482.xml 5163622 YES 42.67/11.72 (CERTIFIED 0.0) YES 29.87/7.87 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-232.xml 5163623 YES 15.09/4.83 (CERTIFIED 0.3) YES 20.75/5.63 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-489.xml 5163624 YES 27.21/7.74 (CERTIFIED 0.1) YES 47.18/12.29 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-49.xml 5163625 YES 18.73/5.64 (CERTIFIED 0.0) YES 14.57/3.97 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-377.xml 5163626 YES 35.63/10.01 (CERTIFIED 0.0) YES 21.96/6.09 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-123.xml 5163627 YES 53.85/14.55 (CERTIFIED 0.1) YES 46.14/12.00 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-541.xml 5163628 YES 30.24/8.50 (CERTIFIED 0.0) YES 25.62/6.76 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-288.xml 5163629 YES 27.19/7.75 (CERTIFIED 0.0) YES 15.87/4.31 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-298.xml 5163630 NO 41.11/11.45 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-267.xml 5163631 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-31.xml 5163632 YES 20.62/8.61 (CERTIFIED 0.0) YES 18.01/5.08 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-348.xml 5163633 YES 30.97/8.63 (CERTIFIED 0.0) YES 30.19/7.94 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-506.xml 5163634 YES 36.41/10.22 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-181.xml 5163635 NO 4.05/1.81 (CERTIFIED 0.0) NO 4.64/1.44 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-140.xml 5163636 NO 3.37/1.54 (CERTIFIED 0.0) NO 2.99/1.01 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-465.xml 5163637 YES 31.14/8.75 (CERTIFIED 0.0) YES 27.57/7.26 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-114.xml 5163638 YES 47.96/12.96 (CERTIFIED 0.1) YES 54.73/14.17 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-456.xml 5163639 YES 45.76/12.48 (CERTIFIED 0.1) YES 27.36/7.24 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-109.xml 5163640 YES 20.92/6.25 (CERTIFIED 0.0) YES 20.83/5.93 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-540.xml 5163641 MAYBE 1148.83/292.48 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-492.xml 5163642 NO 76.67/20.40 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-2-num-3.xml 5163643 YES 28.09/7.97 (CERTIFIED 0.0) YES 28.07/7.42 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-274.xml 5163644 MAYBE 1146.05/291.76 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-224.xml 5163645 NO 554.54/142.28 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-386.xml 5163646 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-2-num-7.xml 5163647 MAYBE 1142.97/291.76 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-195.xml 5163648 NO 3.72/1.71 (CERTIFIED 0.0) NO 26.83/4.88 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-558.xml 5163649 NO 171.72/44.65 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-548.xml 5163650 YES 39.39/11.33 (CERTIFIED 0.0) YES 23.59/6.27 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-339.xml 5163651 NO 63.29/16.87 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-248.xml 5163652 MAYBE 1146.12/291.73 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-532.xml 5163653 YES 32.10/9.27 (CERTIFIED 0.0) YES 23.53/6.25 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-435.xml 5163654 memout [out] YES 20.82/5.64 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-383.xml 5163655 NO 960.47/244.63 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-286.xml 5163656 YES 26.33/7.64 (CERTIFIED 0.0) YES 43.43/11.53 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-2-num-15.xml 5163657 YES 11.29/3.70 (CERTIFIED 0.1) YES 127.90/32.86 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-2-num-2.xml 5163658 YES 31.28/11.04 (CERTIFIED 0.0) YES 28.69/7.56 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-220.xml 5163659 MAYBE 1148.76/292.50 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-552.xml 5163660 YES 30.77/8.68 (CERTIFIED 0.0) YES 22.42/5.93 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-16.xml 5163661 YES 20.22/6.11 (CERTIFIED 0.0) YES 25.27/6.88 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-51.xml 5163662 YES 12.86/4.08 (CERTIFIED 0.0) YES 26.67/7.04 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-221.xml 5163663 YES 27.51/7.89 (CERTIFIED 0.0) YES 13.75/3.75 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-346.xml 5163664 YES 46.46/12.74 (CERTIFIED 0.0) YES 30.05/7.88 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-340.xml 5163665 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-491.xml 5163666 NO 40.17/11.14 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-152.xml 5163667 YES 32.04/9.05 (CERTIFIED 0.1) YES 25.53/7.33 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-146.xml 5163668 NO 3.64/1.71 (CERTIFIED 0.0) NO 2.55/0.90 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-543.xml 5163669 YES 25.11/7.32 (CERTIFIED 0.0) YES 26.52/7.01 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-2-num-19.xml 5163670 YES 22.67/6.66 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-450.xml 5163671 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-441.xml 5163672 YES 13.02/4.19 (CERTIFIED 0.0) YES 21.70/5.97 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-355.xml 5163673 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-436.xml 5163674 YES 30.38/8.55 (CERTIFIED 0.1) YES 31.69/8.31 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-439.xml 5163675 YES 23.03/6.74 (CERTIFIED 0.0) YES 24.59/6.51 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-215.xml 5163676 memout [out] YES 21.46/6.45 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-472.xml 5163677 YES 36.39/10.17 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-2-num-4.xml 5163678 YES 33.31/9.35 (CERTIFIED 0.0) YES 41.61/10.86 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-66.xml 5163679 YES 23.64/9.58 (CERTIFIED 0.0) YES 23.03/6.26 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-2-num-5.xml 5163680 YES 25.86/7.41 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-545.xml 5163681 YES 33.84/9.50 (CERTIFIED 0.0) YES 17.89/4.82 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-497.xml 5163682 NO 22.12/7.70 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-135.xml 5163683 NO 16.45/7.34 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-111.xml 5163684 memout [out] YES 12.17/3.36 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-41.xml 5163685 YES 19.09/5.65 (CERTIFIED 0.0) YES 12.24/3.40 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-345.xml 5163686 YES 33.67/9.54 (CERTIFIED 0.0) YES 29.21/7.70 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-526.xml 5163687 YES 11.28/3.65 (CERTIFIED 0.0) YES 25.93/6.86 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-281.xml 5163688 YES 25.33/7.50 (CERTIFIED 0.0) YES 14.03/3.90 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-134.xml 5163689 YES 31.63/9.00 (CERTIFIED 0.3) YES 23.29/6.41 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-408.xml 5163690 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-1.xml 5163691 memout [out] YES 19.06/5.47 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-74.xml 5163692 memout [out] YES 17.49/4.93 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-2-num-18.xml 5163693 MAYBE 1148.17/291.88 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-296.xml 5163694 YES 24.76/10.55 (CERTIFIED 0.0) YES 34.01/8.77 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-176.xml 5163695 YES 26.57/9.19 (CERTIFIED 0.0) YES 46.59/8.15 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-361.xml 5163696 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-2-num-11.xml 5163697 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-328.xml 5163698 memout [out] timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-121.xml 5163699 YES 34.04/9.44 (CERTIFIED 0.1) YES 37.20/9.59 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-222.xml 5163700 MAYBE 1146.26/291.78 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-72.xml 5163701 YES 26.61/7.70 (CERTIFIED 0.0) YES 18.38/4.97 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-174.xml 5163702 MAYBE 1146.14/291.88 timeout (wallclock) [out]
Waldmann_07_size12/size-12-alpha-3-num-14.xml 5163703 YES 25.76/7.53 (CERTIFIED 0.0) YES 25.97/6.87 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-91.xml 5163704 YES 12.47/4.00 (CERTIFIED 0.2) YES 30.65/8.16 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-293.xml 5163705 YES 37.24/10.38 (CERTIFIED 0.1) YES 31.10/8.13 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-165.xml 5163706 YES 22.47/10.67 (CERTIFIED 0.2) YES 25.14/6.71 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-549.xml 5163707 YES 50.66/13.80 (CERTIFIED 0.1) YES 28.30/7.46 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-61.xml 5163708 YES 13.19/4.16 (CERTIFIED 0.3) YES 28.00/7.49 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-180.xml 5163709 YES 26.76/7.73 (CERTIFIED 0.5) YES 18.44/4.99 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-125.xml 5163710 YES 19.25/5.80 (CERTIFIED 0.1) YES 32.89/8.63 (CERTIFIED 0.1)
Waldmann_07_size12/size-12-alpha-3-num-82.xml 5163711 YES 28.00/8.00 (CERTIFIED 0.1) YES 30.08/8.07 (CERTIFIED 0.0)
Waldmann_07_size12/size-12-alpha-3-num-400.xml 5163712 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_07_size11/size-11-alpha-3-num-12.xml 5162816 YES 27.08/7.82 (CERTIFIED 0.0) YES 18.98/4.94 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-20.xml 5162817 YES 14.53/4.49 (CERTIFIED 0.0) YES 18.66/5.43 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-2-num-4.xml 5162818 YES 29.44/8.27 (CERTIFIED 0.0) YES 25.33/6.74 (CERTIFIED 0.1)
Waldmann_07_size11/size-11-alpha-3-num-21.xml 5162819 NO 6.37/2.43 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size11/size-11-alpha-3-num-3.xml 5162820 YES 26.94/7.84 (CERTIFIED 0.3) YES 10.20/3.04 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-8.xml 5162821 YES 22.69/6.54 (CERTIFIED 0.0) YES 27.11/7.20 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-1.xml 5162822 NO 69.73/18.58 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_07_size11/size-11-alpha-3-num-4.xml 5162823 memout [out] timeout (wallclock) [out]
Waldmann_07_size11/size-11-alpha-3-num-5.xml 5162824 YES 28.05/8.10 (CERTIFIED 0.0) YES 34.58/9.17 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-14.xml 5162825 YES 31.60/8.91 (CERTIFIED 0.0) YES 25.41/6.75 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-2.xml 5162826 YES 36.06/10.08 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size11/size-11-alpha-3-num-11.xml 5162827 YES 12.62/4.08 (CERTIFIED 0.0) YES 25.31/6.70 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-2-num-3.xml 5162828 YES 29.70/8.38 (CERTIFIED 0.1) YES 53.64/14.40 (CERTIFIED 0.1)
Waldmann_07_size11/size-11-alpha-3-num-6.xml 5162829 YES 17.10/5.17 (CERTIFIED 0.0) YES 26.25/7.15 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-2-num-2.xml 5162830 YES 39.69/11.86 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size11/size-11-alpha-2-num-1.xml 5162831 YES 33.71/9.51 (CERTIFIED 0.1) YES 60.90/15.78 (CERTIFIED 0.1)
Waldmann_07_size11/size-11-alpha-3-num-16.xml 5162832 YES 6.57/2.55 (CERTIFIED 0.0) YES 13.14/3.71 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-17.xml 5162833 YES 13.10/4.16 (CERTIFIED 0.0) YES 16.82/4.55 (CERTIFIED 0.1)
Waldmann_07_size11/size-11-alpha-3-num-13.xml 5162834 YES 20.13/6.08 (CERTIFIED 0.0) YES 27.93/7.36 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-15.xml 5162835 NO 11.96/3.90 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_07_size11/size-11-alpha-3-num-7.xml 5162836 YES 27.90/7.84 (CERTIFIED 0.0) YES 34.36/6.79 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-10.xml 5162837 YES 17.31/5.25 (CERTIFIED 0.0) YES 16.52/4.47 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-19.xml 5162838 YES 11.91/4.01 (CERTIFIED 0.0) YES 18.02/5.01 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-9.xml 5162839 YES 21.11/6.17 (CERTIFIED 0.0) YES 26.12/6.91 (CERTIFIED 0.0)
Waldmann_07_size11/size-11-alpha-3-num-18.xml 5162840 NO 5.54/2.17 (CERTIFIED 0.0) timeout (wallclock) [out]
Zantema_04/z127.xml 5163240 NO 3.18/1.56 (CERTIFIED 0.0) NO 1.44/0.62 (CERTIFIED 0.0)
Zantema_04/z128.xml 5163241 NO 3.27/1.57 (CERTIFIED 0.0) NO 1.62/0.67 (CERTIFIED 0.0)
Zantema_04/z106.xml 5163242 YES 11.01/3.70 (CERTIFIED 0.0) YES 3.15/1.06 (CERTIFIED 0.0)
Zantema_04/z057.xml 5163243 YES 4.19/1.93 (CERTIFIED 0.0) YES 21.92/5.74 (CERTIFIED 0.0)
Zantema_04/z107.xml 5163244 YES 6.30/2.46 (CERTIFIED 0.0) YES 3.15/0.97 (CERTIFIED 0.0)
Zantema_04/z054.xml 5163245 YES 27.61/7.96 (CERTIFIED 0.1) YES 21.54/5.73 (CERTIFIED 0.1)
Zantema_04/z026.xml 5163246 YES 12.35/3.94 (CERTIFIED 0.0) YES 1.02/0.52 (CERTIFIED 0.0)
Zantema_04/z010.xml 5163247 YES 10.97/3.61 (CERTIFIED 0.0) YES 3.05/1.03 (CERTIFIED 0.1)
Zantema_04/z111.xml 5163248 YES 17.70/5.53 (CERTIFIED 0.0) YES 1.47/0.63 (CERTIFIED 0.0)
Zantema_04/z037.xml 5163249 YES 65.06/17.48 (CERTIFIED 0.0) YES 22.81/6.05 (CERTIFIED 0.1)
Zantema_04/z030.xml 5163250 YES 665.92/191.20 (CERTIFIED 0.1) YES 27.03/7.15 (CERTIFIED 0.7)
Zantema_04/z113.xml 5163251 YES 12.61/4.03 (CERTIFIED 0.0) YES 6.83/2.00 (CERTIFIED 0.0)
Zantema_04/z011.xml 5163252 YES 29.43/8.53 (CERTIFIED 0.0) YES 5.33/1.61 (CERTIFIED 0.1)
Zantema_04/z025.xml 5163253 YES 9.07/3.33 (CERTIFIED 0.0) YES 0.96/0.52 (CERTIFIED 0.0)
Zantema_04/z084.xml 5163254 YES 11.37/3.74 (CERTIFIED 0.0) YES 0.84/0.46 (CERTIFIED 0.0)
Zantema_04/z007.xml 5163255 YES 6.83/2.63 (CERTIFIED 0.0) YES 2.75/0.96 (CERTIFIED 0.0)
Zantema_04/z046.xml 5163256 NO 3.38/1.68 (CERTIFIED 0.0) NO 1.70/0.70 (CERTIFIED 0.0)
Zantema_04/z050.xml 5163257 YES 3.77/1.76 (CERTIFIED 0.0) YES 4.80/1.47 (CERTIFIED 0.0)
Zantema_04/z028.xml 5163258 YES 28.01/8.09 (CERTIFIED 0.0) YES 38.79/10.17 (CERTIFIED 0.1)
Zantema_04/z058.xml 5163259 YES 5.60/2.33 (CERTIFIED 0.0) YES 8.12/2.33 (CERTIFIED 0.0)
Zantema_04/z104.xml 5163260 YES 5.26/2.09 (CERTIFIED 0.0) YES 4.94/1.33 (CERTIFIED 0.0)
Zantema_04/z061.xml 5163261 YES 3.77/1.72 (CERTIFIED 0.0) YES 3.41/1.12 (CERTIFIED 0.0)
Zantema_04/z020.xml 5163262 YES 14.35/4.59 (CERTIFIED 0.0) YES 22.32/5.93 (CERTIFIED 0.0)
Zantema_04/syracuse.xml 5163263 MAYBE 1146.91/294.04 timeout (wallclock) [out]
Zantema_04/z069.xml 5163264 YES 22.17/6.49 (CERTIFIED 0.1) YES 1.39/0.63 (CERTIFIED 0.1)
Zantema_04/z055.xml 5163265 YES 3.64/1.67 (CERTIFIED 0.0) YES 4.90/1.51 (CERTIFIED 0.0)
Zantema_04/z002.xml 5163266 YES 4.15/1.90 (CERTIFIED 0.0) YES 4.78/1.47 (CERTIFIED 0.1)
Zantema_04/z120.xml 5163267 YES 14.65/4.66 (CERTIFIED 0.0) YES 22.52/6.01 (CERTIFIED 0.1)
Zantema_04/z097.xml 5163268 MAYBE 665.82/292.23 YES 27.51/7.30 (CERTIFIED 2.8)
Zantema_04/z082.xml 5163269 YES 39.80/11.15 (CERTIFIED 0.5) YES 15.97/4.31 (CERTIFIED 0.1)
Zantema_04/z116.xml 5163270 YES 4.44/1.92 (CERTIFIED 0.0) YES 0.88/0.47 (CERTIFIED 0.0)
Zantema_04/z034.xml 5163271 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_04/z014.xml 5163272 YES 10.09/3.37 (CERTIFIED 0.0) YES 4.26/1.35 (CERTIFIED 0.1)
Zantema_04/z083.xml 5163273 YES 26.33/7.76 (CERTIFIED 0.1) YES 15.12/4.11 (CERTIFIED 0.1)
Zantema_04/z005.xml 5163274 YES 13.32/4.28 (CERTIFIED 0.2) YES 22.21/5.92 (CERTIFIED 0.0)
Zantema_04/z068.xml 5163275 YES 24.82/7.24 (CERTIFIED 0.1) YES 22.09/5.87 (CERTIFIED 0.1)
Zantema_04/z117.xml 5163276 YES 33.30/9.41 (CERTIFIED 0.1) YES 9.60/2.70 (CERTIFIED 0.0)
Zantema_04/z052.xml 5163277 YES 3.64/1.73 (CERTIFIED 0.0) YES 4.33/1.32 (CERTIFIED 0.0)
Zantema_04/z044.xml 5163278 NO 3.51/1.68 (CERTIFIED 0.0) NO 1.76/0.70 (CERTIFIED 0.0)
Zantema_04/z062.xml 5163279 YES 3.73/1.69 (CERTIFIED 0.0) YES 3.69/1.19 (CERTIFIED 0.0)
Zantema_04/z040.xml 5163280 timeout (wallclock) [out] YES 23.99/6.38 (CERTIFIED 0.5)
Zantema_04/z001.xml 5163281 YES 59.94/16.22 (CERTIFIED 0.2) YES 23.02/6.10 (CERTIFIED 0.5)
Zantema_04/z038.xml 5163282 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_04/z105.xml 5163283 YES 11.69/3.91 (CERTIFIED 0.0) YES 3.69/1.19 (CERTIFIED 0.0)
Zantema_04/z125.xml 5163284 YES 19.35/5.80 (CERTIFIED 0.0) YES 12.07/3.33 (CERTIFIED 0.1)
Zantema_04/z041.xml 5163285 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_04/z018.xml 5163286 YES 13.35/4.30 (CERTIFIED 0.0) YES 21.61/5.84 (CERTIFIED 0.0)
Zantema_04/z085.xml 5163287 YES 4.99/2.10 (CERTIFIED 0.0) YES 0.86/0.47 (CERTIFIED 0.0)
Zantema_04/z053.xml 5163288 YES 4.76/2.06 (CERTIFIED 0.0) YES 4.55/1.41 (CERTIFIED 0.0)
Zantema_04/z042.xml 5163289 NO 3.58/1.63 (CERTIFIED 0.0) NO 1.65/0.68 (CERTIFIED 0.0)
Zantema_04/z095.xml 5163290 YES 182.73/47.28 (CERTIFIED 0.0) YES 29.91/7.89 (CERTIFIED 2.3)
Zantema_04/z003.xml 5163291 YES 18.26/5.54 (CERTIFIED 0.5) YES 8.82/2.49 (CERTIFIED 0.1)
Zantema_04/z048.xml 5163292 memout [out] YES 21.93/5.84 (CERTIFIED 0.1)
Zantema_04/z088.xml 5163293 YES 20.83/6.22 (CERTIFIED 0.1) YES 29.95/7.90 (CERTIFIED 0.0)
Zantema_04/z103.xml 5163294 YES 21.09/6.27 (CERTIFIED 0.0) YES 4.17/1.31 (CERTIFIED 0.0)
Zantema_04/z101.xml 5163295 YES 4.99/2.29 (CERTIFIED 0.0) YES 0.74/0.44 (CERTIFIED 0.0)
Zantema_04/z019.xml 5163296 YES 28.48/8.12 (CERTIFIED 0.0) YES 2.93/1.00 (CERTIFIED 0.0)
Zantema_04/z077.xml 5163297 YES 8.58/3.02 (CERTIFIED 0.0) YES 5.56/1.67 (CERTIFIED 0.1)
Zantema_04/z080.xml 5163298 YES 19.55/6.01 (CERTIFIED 0.4) YES 35.20/9.21 (CERTIFIED 0.0)
Zantema_04/z022.xml 5163299 YES 26.24/7.65 (CERTIFIED 0.5) YES 4.61/1.43 (CERTIFIED 0.0)
Zantema_04/z109.xml 5163300 YES 3.97/1.72 (CERTIFIED 0.0) YES 2.29/0.84 (CERTIFIED 0.0)
Zantema_04/z012.xml 5163301 YES 11.95/3.86 (CERTIFIED 0.0) YES 1.31/0.59 (CERTIFIED 0.0)
Zantema_04/z060.xml 5163302 YES 30.53/8.72 (CERTIFIED 0.0) YES 21.07/5.62 (CERTIFIED 0.0)
Zantema_04/z121.xml 5163303 YES 14.03/4.46 (CERTIFIED 0.0) YES 10.99/3.05 (CERTIFIED 0.1)
Zantema_04/z124.xml 5163304 YES 22.02/6.55 (CERTIFIED 0.1) YES 1.08/0.59 (CERTIFIED 0.0)
Zantema_04/z033.xml 5163305 YES 16.21/5.19 (CERTIFIED 0.1) YES 10.24/2.81 (CERTIFIED 0.0)
Zantema_04/z076.xml 5163306 YES 11.21/3.69 (CERTIFIED 0.0) YES 16.64/4.64 (CERTIFIED 0.0)
Zantema_04/z056.xml 5163307 YES 23.88/6.88 (CERTIFIED 0.0) YES 21.94/5.73 (CERTIFIED 0.0)
Zantema_04/z114.xml 5163308 YES 44.43/12.27 (CERTIFIED 0.0) YES 3.29/1.09 (CERTIFIED 0.0)
Zantema_04/z015.xml 5163309 YES 30.24/10.53 (CERTIFIED 0.0) YES 4.87/1.49 (CERTIFIED 0.1)
Zantema_04/z045.xml 5163310 memout [out] YES 21.72/5.80 (CERTIFIED 0.1)
Zantema_04/z073.xml 5163311 NO 5.66/2.47 (CERTIFIED 0.0) timeout (wallclock) [out]
Zantema_04/z031.xml 5163312 YES 202.04/52.26 (CERTIFIED 0.3) YES 27.03/6.92 (CERTIFIED 1.5)
Zantema_04/z009.xml 5163313 YES 11.71/3.86 (CERTIFIED 0.0) YES 2.28/0.84 (CERTIFIED 0.0)
Zantema_04/z013.xml 5163314 YES 12.22/4.02 (CERTIFIED 0.2) YES 7.74/2.28 (CERTIFIED 0.1)
Zantema_04/z123.xml 5163315 YES 34.11/11.29 (CERTIFIED 0.8) YES 23.54/6.07 (CERTIFIED 0.1)
Zantema_04/z098.xml 5163316 YES 139.09/36.11 (CERTIFIED 0.3) YES 24.26/6.45 (CERTIFIED 0.7)
Zantema_04/z035.xml 5163317 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_04/z075.xml 5163318 YES 24.60/9.52 (CERTIFIED 0.1) YES 6.70/1.97 (CERTIFIED 0.1)
Zantema_04/z119.xml 5163319 YES 31.99/9.20 (CERTIFIED 0.1) YES 11.27/3.11 (CERTIFIED 0.1)
Zantema_04/z072.xml 5163320 YES 14.84/4.64 (CERTIFIED 0.0) YES 3.66/1.18 (CERTIFIED 0.0)
Zantema_04/z079.xml 5163321 MAYBE 1146.5/291.97 timeout (wallclock) [out]
Zantema_04/z066.xml 5163322 YES 37.07/10.46 (CERTIFIED 0.1) YES 24.55/6.51 (CERTIFIED 0.1)
Zantema_04/z112.xml 5163323 YES 8.90/1.89 (CERTIFIED 0.0) YES 3.16/1.06 (CERTIFIED 0.1)
Zantema_04/z118.xml 5163324 YES 7.17/2.62 (CERTIFIED 0.3) YES 6.72/1.99 (CERTIFIED 0.1)
Zantema_04/z074.xml 5163325 YES 17.86/5.48 (CERTIFIED 0.1) YES 19.57/5.24 (CERTIFIED 0.1)
Zantema_04/z078.xml 5163326 YES 17.36/5.29 (CERTIFIED 0.0) YES 21.88/5.83 (CERTIFIED 0.1)
Zantema_04/z102.xml 5163327 YES 5.26/2.07 (CERTIFIED 0.0) YES 1.42/0.64 (CERTIFIED 0.0)
Zantema_04/z093.xml 5163328 YES 8.92/3.24 (CERTIFIED 0.0) YES 0.83/0.45 (CERTIFIED 0.0)
Zantema_04/z092.xml 5163329 YES 21.61/6.42 (CERTIFIED 0.1) YES 1.02/0.52 (CERTIFIED 0.1)
Zantema_04/z039.xml 5163330 YES 17.75/5.34 (CERTIFIED 0.0) YES 22.20/5.91 (CERTIFIED 0.1)
Zantema_04/z047.xml 5163331 YES 7.00/2.58 (CERTIFIED 0.0) YES 23.42/5.93 (CERTIFIED 0.1)
Zantema_04/z049.xml 5163332 YES 3.88/1.74 (CERTIFIED 0.0) YES 4.11/1.29 (CERTIFIED 0.0)
Zantema_04/z006.xml 5163333 YES 7.80/2.83 (CERTIFIED 0.0) YES 1.73/0.70 (CERTIFIED 0.0)
Zantema_04/z089.xml 5163334 YES 22.83/6.62 (CERTIFIED 0.0) YES 6.22/1.84 (CERTIFIED 0.0)
Zantema_04/z065.xml 5163335 YES 18.53/5.59 (CERTIFIED 0.1) YES 1.46/0.63 (CERTIFIED 0.0)
Zantema_04/z008.xml 5163336 memout [out] YES 22.16/5.90 (CERTIFIED 0.1)
Zantema_04/z100.xml 5163337 YES 36.86/10.47 (CERTIFIED 0.1) YES 23.42/6.22 (CERTIFIED 0.1)
Zantema_04/z090.xml 5163338 YES 48.12/13.26 (CERTIFIED 1.4) timeout (wallclock) [out]
Zantema_04/z024.xml 5163339 YES 7.13/2.61 (CERTIFIED 0.0) YES 4.07/1.29 (CERTIFIED 0.0)
Zantema_04/z096.xml 5163340 NO 3.16/1.55 (CERTIFIED 0.0) NO 1.72/0.69 (CERTIFIED 0.0)
Zantema_04/z087.xml 5163341 YES 17.77/5.63 (CERTIFIED 0.2) YES 4.07/1.29 (CERTIFIED 0.0)
Zantema_04/z067.xml 5163342 YES 29.36/8.36 (CERTIFIED 0.1) YES 7.80/2.24 (CERTIFIED 0.0)
Zantema_04/z023.xml 5163343 YES 24.82/7.26 (CERTIFIED 0.5) YES 4.33/1.36 (CERTIFIED 0.0)
Zantema_04/z043.xml 5163344 YES 28.39/10.93 (CERTIFIED 0.3) YES 33.04/5.98 (CERTIFIED 0.1)
Zantema_04/z051.xml 5163345 YES 7.24/3.03 (CERTIFIED 0.0) YES 8.25/2.35 (CERTIFIED 0.0)
Zantema_04/z091.xml 5163346 YES 14.78/4.75 (CERTIFIED 0.1) YES 32.22/8.47 (CERTIFIED 0.1)
Zantema_04/z094.xml 5163347 YES 10.54/3.46 (CERTIFIED 0.0) YES 3.85/1.26 (CERTIFIED 0.0)
Zantema_04/z071.xml 5163348 YES 18.81/5.90 (CERTIFIED 0.1) YES 11.46/3.17 (CERTIFIED 0.1)
Zantema_04/z032.xml 5163349 memout [out] YES 23.57/6.27 (CERTIFIED 0.3)
Zantema_04/z017.xml 5163350 YES 10.62/3.54 (CERTIFIED 0.0) YES 4.47/1.39 (CERTIFIED 0.1)
Zantema_04/z086.xml 5163351 YES 28.62/8.14 (CERTIFIED 0.0) YES 29.96/7.90 (CERTIFIED 0.0)
Zantema_04/z110.xml 5163352 YES 33.85/9.56 (CERTIFIED 0.0) YES 5.56/1.68 (CERTIFIED 0.0)
Zantema_04/z122.xml 5163353 YES 8.21/2.89 (CERTIFIED 0.3) YES 3.57/1.16 (CERTIFIED 0.0)
Zantema_04/z063.xml 5163354 YES 3.48/1.65 (CERTIFIED 0.0) YES 4.41/1.37 (CERTIFIED 0.0)
Zantema_04/z126.xml 5163355 YES 4.61/2.02 (CERTIFIED 0.0) YES 3.17/1.07 (CERTIFIED 0.0)
Zantema_04/z115.xml 5163356 YES 17.08/5.26 (CERTIFIED 0.0) YES 0.81/0.46 (CERTIFIED 0.0)
Zantema_04/z021.xml 5163357 YES 18.18/5.48 (CERTIFIED 0.0) YES 4.03/1.28 (CERTIFIED 0.0)
Zantema_04/z059.xml 5163358 memout [out] YES 21.49/5.73 (CERTIFIED 0.0)
Zantema_04/z070.xml 5163359 YES 34.39/9.55 (CERTIFIED 0.1) YES 1.25/0.60 (CERTIFIED 0.1)
Zantema_04/z029.xml 5163360 timeout (wallclock) [out] YES 24.80/6.58 (CERTIFIED 0.6)
Zantema_04/z036.xml 5163361 YES 29.70/8.53 (CERTIFIED 0.0) YES 27.51/7.29 (CERTIFIED 1.4)
Zantema_04/z004.xml 5163362 YES 9.63/3.29 (CERTIFIED 0.0) YES 7.24/2.10 (CERTIFIED 0.0)
Zantema_04/z027.xml 5163363 timeout (wallclock) [out] YES 25.11/6.43 (CERTIFIED 0.6)
Zantema_04/z108.xml 5163364 YES 6.29/2.38 (CERTIFIED 0.0) YES 1.48/0.62 (CERTIFIED 0.0)
Zantema_04/z064.xml 5163365 YES 5.62/2.25 (CERTIFIED 0.0) YES 10.67/2.97 (CERTIFIED 0.0)
Zantema_04/z081.xml 5163366 YES 16.03/4.99 (CERTIFIED 0.4) YES 1.87/0.73 (CERTIFIED 0.0)
Wenzel_16/babaaaaaaa-aaaaaaaababbab.srs.xml 5162977 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaabaa-aaabaaababaaab.srs.xml 5162978 memout [out] timeout (wallclock) [out]
Wenzel_16/bacaaaaaaa-aaaaaaaabacbac.srs.xml 5162979 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaabababa-aababababaabab.srs.xml 5162980 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaabbaab-aabbaabaabbaa.srs.xml 5162981 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaabaaaa-aaaaabaabaab.srs.xml 5162982 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abcbaaaa-aaaaabcbaabcb.srs.xml 5162983 timeout (wallclock) [out] YES 68.72/17.81 (CERTIFIED 0.1)
Wenzel_16/aabcbaaaa-aaaaaabcbaabcb.srs.xml 5162984 timeout (wallclock) [out] YES 46.49/12.14 (CERTIFIED 0.1)
Wenzel_16/abaababa-aababababaab.srs.xml 5162985 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaaaaa-aaaaaaaaabbabb.srs.xml 5162986 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bababaa-aaaaababababa.srs.xml 5162987 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaaaa-aaaaaaabbaaabb.srs.xml 5162988 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaa-aaaaabbaabb.srs.xml 5162989 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abababaab-aababaabababab.srs.xml 5162990 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaaaa-aaaaaabaaab.srs.xml 5162991 timeout (wallclock) [out] YES 65.53/16.94 (CERTIFIED 0.1)
Wenzel_16/abbabbbbabb-abbbbabbabbbba.srs.xml 5162992 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aaabaaaaa-aaaaaaaabaaaab.srs.xml 5162993 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baabbaaaab-aabbaaaabbaab.srs.xml 5162994 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abababaab-aabaabababab.srs.xml 5162995 YES 145.13/40.81 (CERTIFIED 0.1) timeout (wallclock) [out]
Wenzel_16/abbaaaaaaa-aaaaaaaabbaabb.srs.xml 5162996 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bbcaaaaaaa-aaaaaaabbcbbca.srs.xml 5162997 MAYBE 711.70/297.17 timeout (wallclock) [out]
Wenzel_16/ababaaaaaaa-aaaaaaaababab.srs.xml 5162998 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baabababba-abababbaababab.srs.xml 5162999 timeout (wallclock) [out] YES 95.94/24.73 (CERTIFIED 0.1)
Wenzel_16/abaaba-aababababaab.srs.xml 5163000 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abcbaaaaa-aaaaaabcbabcb.srs.xml 5163001 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaaa-aaaaaaaababab.srs.xml 5163002 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbbaaaaa-aaaaaabbbaabbb.srs.xml 5163003 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaaaa-aaaaaabaabaaab.srs.xml 5163004 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bcbaaaaaaa-aaaaaaabcbbcba.srs.xml 5163005 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababaabaaba-aabaabaababab.srs.xml 5163006 MAYBE 717.06/292.16 timeout (wallclock) [out]
Wenzel_16/babbabbaba-abababbabbabba.srs.xml 5163007 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabababaab.srs.xml 5163008 timeout (wallclock) [out] YES 59.65/15.48 (CERTIFIED 0.1)
Wenzel_16/abaaaaaaaa-aaaaaaaaaabaab.srs.xml 5163009 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababbabab-abbababababba.srs.xml 5163010 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baabbaabaab-aabbaabaabbaab.srs.xml 5163011 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abacaaaaa-aaaaaabacaabac.srs.xml 5163012 timeout (wallclock) [out] timeout (cpu) [out]
Wenzel_16/aabbcaaaa-aaaaaabbcaabbc.srs.xml 5163013 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaaaaa-aaaaaaaabbabb.srs.xml 5163014 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baabbaab-aabbaabaabaabb.srs.xml 5163015 memout [out] timeout (wallclock) [out]
Wenzel_16/aaabbaaaa-aaaaaaabbaaabb.srs.xml 5163016 MAYBE 583.09/295.40 YES 75.07/19.40 (CERTIFIED 0.1)
Wenzel_16/abccaaaaa-aaaaaabccabcc.srs.xml 5163017 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bababaaba-ababaababababa.srs.xml 5163018 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabccaaaa-aaaaaabccaabcc.srs.xml 5163019 timeout (wallclock) [out] YES 67.41/17.51 (CERTIFIED 0.1)
Wenzel_16/abaaaaaa-aaaaaaabaaaab.srs.xml 5163020 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaabaaaa-aaaaaabaabaab.srs.xml 5163021 MAYBE 790.71/299.61 timeout (wallclock) [out]
Wenzel_16/ababaababa-abaabababaabab.srs.xml 5163022 MAYBE 763.09/294.41 timeout (wallclock) [out]
Wenzel_16/abaaababaab-abaababaaababa.srs.xml 5163023 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abababaababa-ababaabababaab.srs.xml 5163024 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaba-aabababababaab.srs.xml 5163025 memout [out] timeout (wallclock) [out]
Wenzel_16/ababaababa-abaababababaab.srs.xml 5163026 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bbcaaaaaa-aaaaaaabbcbbc.srs.xml 5163027 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaa-aaaaaaabaaaaab.srs.xml 5163028 MAYBE 565.88/293.48 timeout (wallclock) [out]
Wenzel_16/abababaababa-abaababaababab.srs.xml 5163029 MAYBE 838.17/296.76 timeout (wallclock) [out]
Wenzel_16/abbaaaaa-aaaaaabbabb.srs.xml 5163030 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaa-aaaaaaabaaabab.srs.xml 5163031 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaa-aaaaaaaababab.srs.xml 5163032 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaabaaaabab.srs.xml 5163033 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabbaaaabaa-aabaaaabbaaaab.srs.xml 5163034 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababaababa-aababababaabab.srs.xml 5163035 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaaa-aaaaaaaabaaaab.srs.xml 5163036 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abacaabaca-aabacabacaabac.srs.xml 5163037 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbbaaaa-aaaaabbbaaabbb.srs.xml 5163038 MAYBE 657.64/295.98 YES 182.57/46.83 (CERTIFIED 0.1)
Wenzel_16/aabaaaabaa-aaaabaabaaaab.srs.xml 5163039 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abcbaabcba-aabcbabcbaabcb.srs.xml 5163040 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaababa-aababababaabab.srs.xml 5163041 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabaabab.srs.xml 5163042 timeout (wallclock) [out] YES 53.24/13.41 (CERTIFIED 0.1)
Wenzel_16/bababaa-aaaaaababababa.srs.xml 5163043 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbcaaaa-aaaaabbcaaabbc.srs.xml 5163044 memout [out] timeout (wallclock) [out]
Wenzel_16/caabccaabc-aabccaabcaabcc.srs.xml 5163045 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabaababaab.srs.xml 5163046 timeout (wallclock) [out] YES 59.85/15.54 (CERTIFIED 0.1)
Wenzel_16/abaaabaaaa-aaaaabaaabaaab.srs.xml 5163047 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaabaabaaab.srs.xml 5163048 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/babaaaaaa-aaaaaaababbab.srs.xml 5163049 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aaabaaaa-aaaaaaabaaab.srs.xml 5163050 timeout (wallclock) [out] YES 209.16/53.56 (CERTIFIED 0.2)
Wenzel_16/abaaaaabaa-aaabaaabaaaaab.srs.xml 5163051 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbbaaaaa-aaaaaabbbabbb.srs.xml 5163052 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bbcaaaaaa-aaaaaabbcbbca.srs.xml 5163053 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabbaaaa-aaaaaabbaabb.srs.xml 5163054 timeout (wallclock) [out] YES 62.01/16.07 (CERTIFIED 0.1)
Wenzel_16/aabbaaba-aabaabbaab.srs.xml 5163055 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaabaaaab.srs.xml 5163056 MAYBE 877.04/294.98 timeout (wallclock) [out]
Wenzel_16/abacababab-ababababacabac.srs.xml 5163057 timeout (wallclock) [out] YES 58.24/15.12 (CERTIFIED 0.1)
Wenzel_16/aabaaaaa-aaaaaaabaaab.srs.xml 5163058 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaaa-aaaaaaaaababab.srs.xml 5163059 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaaaaa-aaaaaaabaab.srs.xml 5163060 MAYBE 601.88/298.13 timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabaaabab.srs.xml 5163061 timeout (wallclock) [out] YES 57.38/14.86 (CERTIFIED 0.1)
Wenzel_16/abaaaaa-aaaaaababaaaab.srs.xml 5163062 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaaabaab-abaaabaabaaab.srs.xml 5163063 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abccaaaaa-aaaaaabccaabcc.srs.xml 5163064 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababaaba-abaababababaab.srs.xml 5163065 MAYBE 728.74/294.94 YES 184.62/47.36 (CERTIFIED 0.2)
Wenzel_16/abbaabbaaba-abaabbaabbaab.srs.xml 5163066 MAYBE 777.41/295.10 timeout (wallclock) [out]
Wenzel_16/abbcaaaaa-aaaaaabbcaabbc.srs.xml 5163067 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abababaaab-aaabaaabababab.srs.xml 5163068 timeout (wallclock) [out] YES 73.83/18.57 (CERTIFIED 0.1)
Wenzel_16/ababaaaa-aaaaababaaabab.srs.xml 5163069 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaaaaaa-aaaaaaaabaaaab.srs.xml 5163070 MAYBE 581.82/297.51 timeout (wallclock) [out]
Wenzel_16/abaababa-aabababababaab.srs.xml 5163071 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/babbabbaba-ababbabbabba.srs.xml 5163072 YES 275.15/71.72 (CERTIFIED 0.2) timeout (wallclock) [out]
Wenzel_16/ababbababab-abbababababba.srs.xml 5163073 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bababaaab-aabaaabababab.srs.xml 5163074 YES 137.87/36.09 (CERTIFIED 0.1) YES 131.11/33.71 (CERTIFIED 0.1)
Wenzel_16/baababaaab-ababaaababaab.srs.xml 5163075 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bacaaaaaaa-aaaaaaabacbaca.srs.xml 5163076 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aaabaaaaaa-aaaaaaaaabaaab.srs.xml 5163077 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abcbaaaaa-aaaaaabcbaabcb.srs.xml 5163078 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaababaabaab.srs.xml 5163079 timeout (wallclock) [out] YES 95.98/24.75 (CERTIFIED 0.1)
Wenzel_16/abaaba-aabababaab.srs.xml 5163080 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaababaaab-aababaaababaab.srs.xml 5163081 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababaabababa-aabababaababab.srs.xml 5163082 memout [out] timeout (wallclock) [out]
Wenzel_16/abacaaaa-aaaaabacaaabac.srs.xml 5163083 timeout (wallclock) [out] YES 132.63/31.87 (CERTIFIED 0.1)
Wenzel_16/abaaaabaa-aaabaabaaaab.srs.xml 5163084 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaababab.srs.xml 5163085 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaabababab.srs.xml 5163086 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bababababaa-aababababababa.srs.xml 5163087 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaaa-aaaaaaaabaab.srs.xml 5163088 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bacaaaaaa-aaaaaaabacbac.srs.xml 5163089 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bacaaaaaa-aaaaaabacbaca.srs.xml 5163090 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbcaaaa-aaaaabbcaabbc.srs.xml 5163091 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaabaaaaa-aaaaaabaabaab.srs.xml 5163092 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaaabababab.srs.xml 5163093 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abababaaaaa-aaaaaabababab.srs.xml 5163094 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bbcaaaaaaa-aaaaaaaabbcbbc.srs.xml 5163095 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababaabababa-abaababababaab.srs.xml 5163096 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababaaaaa-aaaaaababab.srs.xml 5163097 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaababaab-aababaabaababa.srs.xml 5163098 timeout (wallclock) [out] YES 64.41/16.69 (CERTIFIED 0.1)
Wenzel_16/abaaaaaa-aaaaaaababaaab.srs.xml 5163099 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababbabab-abbabababba.srs.xml 5163100 MAYBE 730.47/292.38 timeout (wallclock) [out]
Wenzel_16/abccaaaa-aaaaabccaaabcc.srs.xml 5163101 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaaaaa-aaaaaaaaaaabab.srs.xml 5163102 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/babababaa-aaaabababababa.srs.xml 5163103 memout [out] timeout (wallclock) [out]
Wenzel_16/ababaababa-abaabababaab.srs.xml 5163104 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baabbaab-aabbaabaabb.srs.xml 5163105 MAYBE 850.53/295.55 timeout (wallclock) [out]
Wenzel_16/aabaaaa-aaaaaabaab.srs.xml 5163106 timeout (wallclock) [out] YES 145.83/37.98 (CERTIFIED 0.2)
Wenzel_16/ababaabaaba-abaabaabaabab.srs.xml 5163107 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabababab-ababababaaaaab.srs.xml 5163108 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaba-abaabbaab.srs.xml 5163109 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaa-aaaaabbabbaabb.srs.xml 5163110 timeout (wallclock) [out] YES 62.94/16.69 (CERTIFIED 0.1)
Wenzel_16/ababaaaaa-aaaaaababaabab.srs.xml 5163111 MAYBE 717.54/292.49 timeout (wallclock) [out]
Wenzel_16/abcbaaaa-aaaaabcbaaabcb.srs.xml 5163112 timeout (wallclock) [out] YES 86.67/22.39 (CERTIFIED 0.1)
Wenzel_16/aabbaaaaa-aaaaaaabbaaabb.srs.xml 5163113 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bababaa-aaaababababa.srs.xml 5163114 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaababaab-aababaababaaba.srs.xml 5163115 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababaaaa-aaaaababaabab.srs.xml 5163116 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabaabaab.srs.xml 5163117 timeout (wallclock) [out] YES 62.77/16.29 (CERTIFIED 0.1)
Wenzel_16/abaaaaaaaa-aaaaaaaaaabab.srs.xml 5163118 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaabaa-aaaaababaaaaab.srs.xml 5163119 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/cabababa-ababababccccca.srs.xml 5163120 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaababab-ababababbaabba.srs.xml 5163121 timeout (wallclock) [out] YES 129.31/33.29 (CERTIFIED 0.1)
Wenzel_16/babaaaaaaa-aaaaaaababbaba.srs.xml 5163122 MAYBE 708.43/295.00 timeout (wallclock) [out]
Wenzel_16/aababaaaa-aaaaaababaabab.srs.xml 5163123 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaaa-aaaaaaaababaab.srs.xml 5163124 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaabaaaa-aaaaabaababaab.srs.xml 5163125 timeout (wallclock) [out] YES 90.57/23.36 (CERTIFIED 0.1)
Wenzel_16/babababaa-aaabababababa.srs.xml 5163126 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/babbaabba-abbaabbabba.srs.xml 5163127 memout [out] timeout (wallclock) [out]
Wenzel_16/aabaaaaa-aaaaaaabaabaab.srs.xml 5163128 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaaaaa-aaaaaaabaaaab.srs.xml 5163129 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baabaabbaab-aabbaabaabaabb.srs.xml 5163130 MAYBE 708.16/293.87 timeout (wallclock) [out]
Wenzel_16/abacaaaa-aaaaabacaabac.srs.xml 5163131 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabbaabbaaba-aabaabbaabbaab.srs.xml 5163132 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabbbaaaa-aaaaaabbbaabbb.srs.xml 5163133 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabacaaa-aaaaabacaabac.srs.xml 5163134 timeout (wallclock) [out] YES 72.37/18.54 (CERTIFIED 0.1)
Wenzel_16/abbbaaaa-aaaaabbbaabbb.srs.xml 5163135 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababbbabbab-abbabbbababbba.srs.xml 5163136 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaaa-aaaaaaaabab.srs.xml 5163137 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baababaab-ababaabaabab.srs.xml 5163138 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaabababa-aababababaab.srs.xml 5163139 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bcbaaaaaa-aaaaaabcbbcba.srs.xml 5163140 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabaaabaab.srs.xml 5163141 timeout (wallclock) [out] YES 67.19/17.40 (CERTIFIED 0.1)
Wenzel_16/abbcacabca-abcacabbcacab.srs.xml 5163142 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaaaaaaa-aaaaaaaaabaab.srs.xml 5163143 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bccaaaaaa-aaaaaaabccbcc.srs.xml 5163144 MAYBE 1067.74/294.19 timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaababaabab.srs.xml 5163145 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaabaaabab.srs.xml 5163146 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaa-aaaaabbaabbabb.srs.xml 5163147 memout [out] timeout (wallclock) [out]
Wenzel_16/abababbabab-ababbabababba.srs.xml 5163148 MAYBE 960.20/296.35 timeout (wallclock) [out]
Wenzel_16/aabaaaaaaaa-aaaaaaaaaabaab.srs.xml 5163149 timeout (wallclock) [out] YES 74.60/19.28 (CERTIFIED 0.1)
Wenzel_16/aabaaaa-aaaaaabaabaab.srs.xml 5163150 timeout (wallclock) [out] YES 63.69/16.53 (CERTIFIED 0.1)
Wenzel_16/aabaaaa-aaaaaabaaabaab.srs.xml 5163151 timeout (wallclock) [out] YES 45.43/11.87 (CERTIFIED 0.1)
Wenzel_16/bccaaaaaa-aaaaaabccbcca.srs.xml 5163152 MAYBE 974.52/295.58 timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaabaaabaab.srs.xml 5163153 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/cababababa-abababababccca.srs.xml 5163154 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/babbabbababa-abababbabbabba.srs.xml 5163155 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaa-aaaaaababaaab.srs.xml 5163156 MAYBE 838.57/291.98 timeout (wallclock) [out]
Wenzel_16/aabaaaaaa-aaaaaaaabaaab.srs.xml 5163157 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bababbababa-abababbababba.srs.xml 5163158 YES 170.73/46.99 (CERTIFIED 0.1) timeout (wallclock) [out]
Wenzel_16/abaaaaaaa-aaaaaaaabaaab.srs.xml 5163159 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaabababa-aabababababaab.srs.xml 5163160 MAYBE 743.93/299.71 timeout (wallclock) [out]
Wenzel_16/bcbaaaaaa-aaaaaaabcbbcb.srs.xml 5163161 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabbababa-abababaabbaab.srs.xml 5163162 timeout (wallclock) [out] YES 96.86/24.77 (CERTIFIED 0.1)
Wenzel_16/abbabbaaaaa-aaaaaabbabbabb.srs.xml 5163163 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaaa-aaaaaabbaaaabb.srs.xml 5163164 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abababaababa-ababaababaabab.srs.xml 5163165 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaaaaa-aaaaaaaabaabab.srs.xml 5163166 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaabaaaaa-aaaaaaabaabaab.srs.xml 5163167 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaababa-aabababaab.srs.xml 5163168 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baabbaaaabb-aabbaaaabbaabb.srs.xml 5163169 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabaaabaaab.srs.xml 5163170 timeout (wallclock) [out] YES 79.04/16.00 (CERTIFIED 0.1)
Wenzel_16/abccaaaa-aaaaabccaabcc.srs.xml 5163171 timeout (wallclock) [out] YES 181.78/46.64 (CERTIFIED 0.2)
Wenzel_16/abbcaabbca-aabbcabbcaabbc.srs.xml 5163172 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bababaaaba-aabaaababababa.srs.xml 5163173 MAYBE 616.94/293.21 timeout (wallclock) [out]
Wenzel_16/abaababaab-ababaabaababa.srs.xml 5163174 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bcbaaaaaaa-aaaaaaaabcbbcb.srs.xml 5163175 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baaabbaaab-aaabbaaabaaabb.srs.xml 5163176 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaababababa-aabababababaab.srs.xml 5163177 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabaababab.srs.xml 5163178 timeout (wallclock) [out] YES 49.85/12.97 (CERTIFIED 0.1)
Wenzel_16/abaaaaaa-aaaaaaabaaab.srs.xml 5163179 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaababaabab.srs.xml 5163180 MAYBE 631.18/292.19 YES 70.13/14.12 (CERTIFIED 0.1)
Wenzel_16/aabbaabababa-aabababaabbaab.srs.xml 5163181 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaaa-aaaaaabbabbabb.srs.xml 5163182 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbaaaabaa-abaaaabbaaaab.srs.xml 5163183 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/baabbaaba-aabbaabaabba.srs.xml 5163184 memout [out] timeout (wallclock) [out]
Wenzel_16/abababaababa-aababaabababab.srs.xml 5163185 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/ababaaaaa-aaaaaabababab.srs.xml 5163186 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abcabbcab-abbcabcabbca.srs.xml 5163187 timeout (wallclock) [out] YES 166.91/41.08 (CERTIFIED 0.2)
Wenzel_16/aabaaaaaaa-aaaaaaaaabaaab.srs.xml 5163188 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abacaaaaa-aaaaaabacabac.srs.xml 5163189 MAYBE 686.31/292.42 timeout (wallclock) [out]
Wenzel_16/abaaaaaaaa-aaaaaaaaabaaab.srs.xml 5163190 timeout (wallclock) [out] YES 72.61/18.62 (CERTIFIED 0.1)
Wenzel_16/bccaaaaaaa-aaaaaaaabccbcc.srs.xml 5163191 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabaaabaaba-aaabaabaabaaab.srs.xml 5163192 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabbaaaa-aaaaaabbaaabb.srs.xml 5163193 MAYBE 970.83/291.97 timeout (wallclock) [out]
Wenzel_16/aaabaaaaa-aaaaaaaabaaab.srs.xml 5163194 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/bccaaaaaaa-aaaaaaabccbcca.srs.xml 5163195 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abaaaa-aaaaabaabaabab.srs.xml 5163196 MAYBE 619.97/298.13 YES 127.33/32.78 (CERTIFIED 0.1)
Wenzel_16/abbaaaaa-aaaaaabbaaabb.srs.xml 5163197 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/abbcaaaaa-aaaaaabbcabbc.srs.xml 5163198 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/aabbaaaaa-aaaaaaabbaabb.srs.xml 5163199 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/babaaaaaa-aaaaaababbaba.srs.xml 5163200 MAYBE 897.32/293.77 timeout (wallclock) [out]
Wenzel_16/abaababaab-aababaabaabab.srs.xml 5163201 timeout (wallclock) [out] timeout (wallclock) [out]
Wenzel_16/acbabacba-abacbacbabac.srs.xml 5163202 timeout (wallclock) [out] timeout (wallclock) [out]
Secret_07_SRS/num-515.xml 5163203 NO 23.60/8.36 (CERTIFIED 0.0) timeout (wallclock) [out]
Secret_07_SRS/x02.xml 5163204 YES 118.47/31.15 (CERTIFIED 0.9) YES 36.22/9.73 (CERTIFIED 0.1)
Secret_07_SRS/num-520.xml 5163205 MAYBE 1145.03/291.94 timeout (wallclock) [out]
Secret_07_SRS/x03.xml 5163206 YES 26.03/7.41 (CERTIFIED 0.0) YES 26.58/7.00 (CERTIFIED 0.1)
Secret_07_SRS/x06.xml 5163207 YES 36.08/10.16 (CERTIFIED 0.2) timeout (wallclock) [out]
Secret_07_SRS/num-518.xml 5163208 MAYBE 1144.65/292.14 timeout (wallclock) [out]
Secret_07_SRS/x05.xml 5163209 YES 23.85/6.96 (CERTIFIED 0.1) YES 25.70/6.80 (CERTIFIED 0.1)
Secret_07_SRS/dj.xml 5163210 YES 10.57/3.53 (CERTIFIED 0.0) YES 1.36/0.60 (CERTIFIED 0.0)
Secret_07_SRS/num-539.xml 5163211 NO 5.32/2.17 (CERTIFIED 0.0) timeout (wallclock) [out]
Secret_07_SRS/num-530.xml 5163212 NO 7.72/2.85 (CERTIFIED 0.0) timeout (wallclock) [out]
Secret_07_SRS/x07.xml 5163213 timeout (wallclock) [out] timeout (wallclock) [out]
Secret_07_SRS/num-519.xml 5163214 NO 5.65/2.23 (CERTIFIED 0.0) timeout (wallclock) [out]
Secret_07_SRS/x08.xml 5163215 YES 41.84/12.63 (CERTIFIED 0.1) timeout (wallclock) [out]
Secret_07_SRS/num-521.xml 5163216 NO 431.30/110.21 (CERTIFIED 0.1) timeout (wallclock) [out]
Secret_07_SRS/num-527.xml 5163217 NO 157.82/40.94 (CERTIFIED 0.0) timeout (wallclock) [out]
Secret_07_SRS/num-525.xml 5163218 NO 48.57/13.14 (CERTIFIED 0.0) timeout (wallclock) [out]
Secret_07_SRS/x10.xml 5163219 YES 53.72/14.57 (CERTIFIED 0.1) YES 41.58/10.84 (CERTIFIED 0.1)
Secret_07_SRS/x04.xml 5163220 memout [out] YES 58.92/13.64 (CERTIFIED 0.1)
Secret_07_SRS/x09.xml 5163221 YES 106.36/27.98 (CERTIFIED 0.1) timeout (wallclock) [out]
Secret_07_SRS/x01.xml 5163222 YES 28.85/8.32 (CERTIFIED 0.1) YES 27.96/7.69 (CERTIFIED 0.1)
Secret_07_SRS/num-514.xml 5163223 NO 578.19/147.75 (CERTIFIED 0.1) timeout (wallclock) [out]
Secret_06_SRS/10.xml 5162841 YES 18.23/5.47 (CERTIFIED 0.0) YES 14.20/3.85 (CERTIFIED 0.0)
Secret_06_SRS/aprove07.xml 5162842 YES 38.61/10.93 (CERTIFIED 0.1) YES 50.17/13.10 (CERTIFIED 0.1)
Secret_06_SRS/secr2.xml 5162843 memout [out] YES 19.46/5.47 (CERTIFIED 0.1)
Secret_06_SRS/secr9.xml 5162844 YES 46.07/12.78 (CERTIFIED 1.4) YES 51.75/13.20 (CERTIFIED 0.1)
Secret_06_SRS/aprove04.xml 5162845 YES 33.63/9.63 (CERTIFIED 0.2) YES 63.74/17.41 (CERTIFIED 0.4)
Secret_06_SRS/multum5.xml 5162846 YES 27.92/8.17 (CERTIFIED 0.0) YES 6.71/1.97 (CERTIFIED 0.0)
Secret_06_SRS/secr3.xml 5162847 YES 15.59/5.06 (CERTIFIED 0.1) timeout (wallclock) [out]
Secret_06_SRS/5-matchbox.xml 5162848 YES 17.01/5.24 (CERTIFIED 0.2) YES 43.24/11.27 (CERTIFIED 0.1)
Secret_06_SRS/secr4.xml 5162849 YES 50.92/13.88 (CERTIFIED 0.1) YES 9.14/2.58 (CERTIFIED 0.0)
Secret_06_SRS/3.xml 5162850 YES 396.85/101.48 (CERTIFIED 0.1) timeout (wallclock) [out]
Secret_06_SRS/multum6.xml 5162851 YES 29.76/8.56 (CERTIFIED 0.1) YES 16.96/4.57 (CERTIFIED 0.1)
Secret_06_SRS/7.xml 5162852 YES 25.03/7.23 (CERTIFIED 0.0) YES 25.86/6.85 (CERTIFIED 0.0)
Secret_06_SRS/aprove02.xml 5162853 YES 59.09/19.75 (CERTIFIED 0.1) YES 29.46/7.74 (CERTIFIED 0.1)
Secret_06_SRS/1.xml 5162854 MAYBE 1147.08/291.79 timeout (wallclock) [out]
Secret_06_SRS/aprove08.xml 5162855 YES 36.48/10.24 (CERTIFIED 0.1) YES 38.79/10.31 (CERTIFIED 0.1)
Secret_06_SRS/multum2.xml 5162856 memout [out] YES 7.19/2.09 (CERTIFIED 0.0)
Secret_06_SRS/secr10.xml 5162857 YES 45.12/12.47 (CERTIFIED 0.1) YES 29.31/7.72 (CERTIFIED 0.1)
Secret_06_SRS/multum3.xml 5162858 memout [out] YES 15.55/4.20 (CERTIFIED 0.0)
Secret_06_SRS/aprove09.xml 5162859 YES 16.95/5.29 (CERTIFIED 0.1) YES 25.78/6.85 (CERTIFIED 0.1)
Secret_06_SRS/aprove01.xml 5162860 YES 24.78/7.36 (CERTIFIED 0.1) YES 34.25/9.02 (CERTIFIED 0.1)
Secret_06_SRS/secr7.xml 5162861 YES 31.43/8.97 (CERTIFIED 0.0) YES 22.89/6.12 (CERTIFIED 0.0)
Secret_06_SRS/5.xml 5162862 YES 64.16/17.33 (CERTIFIED 0.1) YES 125.78/24.02 (CERTIFIED 0.1)
Secret_06_SRS/3-matchbox.xml 5162863 YES 45.13/12.37 (CERTIFIED 0.1) YES 15.27/4.14 (CERTIFIED 0.0)
Secret_06_SRS/aprove06.xml 5162864 YES 49.69/13.77 (CERTIFIED 0.2) YES 61.04/16.30 (CERTIFIED 0.3)
Secret_06_SRS/aprove03.xml 5162865 YES 29.41/8.50 (CERTIFIED 0.2) YES 28.50/7.61 (CERTIFIED 0.2)
Secret_06_SRS/2.xml 5162866 memout [out] YES 57.03/14.79 (CERTIFIED 0.0)
Secret_06_SRS/2-matchbox.xml 5162867 YES 235.30/60.68 (CERTIFIED 1.5) YES 20.94/5.59 (CERTIFIED 0.0)
Secret_06_SRS/8.xml 5162868 memout [out] YES 18.47/4.98 (CERTIFIED 0.0)
Secret_06_SRS/secr8.xml 5162869 YES 28.20/8.17 (CERTIFIED 0.1) YES 54.96/9.57 (CERTIFIED 0.1)
Secret_06_SRS/secr6.xml 5162870 YES 39.27/11.16 (CERTIFIED 0.0) YES 30.49/8.04 (CERTIFIED 0.1)
Secret_06_SRS/6.xml 5162871 YES 25.98/7.61 (CERTIFIED 0.0) YES 8.51/2.35 (CERTIFIED 0.0)
Secret_06_SRS/aprove00.xml 5162872 YES 15.74/5.06 (CERTIFIED 0.1) YES 25.97/6.89 (CERTIFIED 0.1)
Secret_06_SRS/secr5.xml 5162873 YES 151.51/39.31 (CERTIFIED 1.5) timeout (wallclock) [out]
Secret_06_SRS/9.xml 5162874 YES 23.10/6.71 (CERTIFIED 0.0) YES 14.45/3.90 (CERTIFIED 0.0)
Secret_06_SRS/multum1.xml 5162875 YES 206.63/53.40 (CERTIFIED 0.0) YES 15.33/4.15 (CERTIFIED 0.0)
Secret_06_SRS/aprove05.xml 5162876 YES 29.54/8.65 (CERTIFIED 0.2) YES 27.81/7.42 (CERTIFIED 0.2)
Secret_06_SRS/secr1.xml 5162877 YES 13.10/4.22 (CERTIFIED 0.1) YES 10.57/3.00 (CERTIFIED 0.0)
Secret_06_SRS/1-matchbox.xml 5162878 NO 248.21/63.84 (CERTIFIED 0.0) timeout (wallclock) [out]
Secret_06_SRS/multum4.xml 5162879 timeout (wallclock) [out] YES 54.51/14.17 (CERTIFIED 2.5)
Waldmann_06_SRS/sym-1.xml 5164308 YES 5.90/2.36 (CERTIFIED 0.0) YES 5.14/1.55 (CERTIFIED 0.0)
Waldmann_06_SRS/sym-4.xml 5164309 YES 6.91/2.74 (CERTIFIED 0.1) YES 4.58/1.43 (CERTIFIED 0.0)
Waldmann_06_SRS/z086-variant.xml 5164310 YES 40.91/11.34 (CERTIFIED 0.1) YES 42.44/11.12 (CERTIFIED 0.1)
Waldmann_06_SRS/uni-1.xml 5164311 YES 5.87/3.09 (CERTIFIED 0.0) YES 5.55/1.68 (CERTIFIED 0.0)
Waldmann_06_SRS/uni-7.xml 5164312 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_06_SRS/pi.xml 5164313 YES 45.65/12.85 (CERTIFIED 0.2) YES 24.56/6.62 (CERTIFIED 0.2)
Waldmann_06_SRS/jw3.xml 5164314 YES 29.59/8.46 (CERTIFIED 0.1) YES 132.57/34.08 (CERTIFIED 0.1)
Waldmann_06_SRS/uni-4.xml 5164315 NO 3.72/1.71 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_06_SRS/jw4.xml 5164316 YES 90.57/24.23 (CERTIFIED 0.1) YES 28.55/7.55 (CERTIFIED 0.1)
Waldmann_06_SRS/uni-3.xml 5164317 NO 5.60/2.15 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_06_SRS/sym-2.xml 5164318 YES 29.12/8.35 (CERTIFIED 0.1) YES 12.41/3.46 (CERTIFIED 0.0)
Waldmann_06_SRS/uni-2.xml 5164319 NO 4.07/1.77 (CERTIFIED 0.0) NO 2.81/0.97 (CERTIFIED 0.0)
Waldmann_06_SRS/jw1.xml 5164320 YES 38.25/10.62 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_06_SRS/uni-5.xml 5164321 YES 35.95/10.11 (CERTIFIED 0.0) YES 27.00/7.14 (CERTIFIED 0.0)
Waldmann_06_SRS/uni-6.xml 5164322 NO 7.17/2.68 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_06_SRS/sym-6.xml 5164323 YES 106.42/27.90 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_06_SRS/jw5.xml 5164324 timeout (wallclock) [out] YES 31.60/8.31 (CERTIFIED 0.1)
Waldmann_06_SRS/sym-5.xml 5164325 YES 339.34/87.21 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_06_SRS/e.xml 5164326 YES 70.90/18.91 (CERTIFIED 0.3) YES 24.53/6.53 (CERTIFIED 0.2)
Trafo_06/un08.xml 5162918 YES 30.44/8.81 (CERTIFIED 0.1) YES 33.48/8.81 (CERTIFIED 0.1)
Trafo_06/hom01.xml 5162919 YES 50.96/13.98 (CERTIFIED 0.1) YES 13.88/3.79 (CERTIFIED 0.1)
Trafo_06/dup06.xml 5162920 YES 35.71/10.18 (CERTIFIED 0.1) YES 23.29/6.18 (CERTIFIED 0.1)
Trafo_06/un07.xml 5162921 YES 24.20/7.02 (CERTIFIED 0.1) YES 31.50/8.28 (CERTIFIED 0.1)
Trafo_06/hom03.xml 5162922 YES 148.40/40.51 (CERTIFIED 0.1) YES 43.80/11.43 (CERTIFIED 0.1)
Trafo_06/dup10.xml 5162923 timeout (wallclock) [out] YES 68.06/17.60 (CERTIFIED 0.1)
Trafo_06/un12.xml 5162924 timeout (wallclock) [out] timeout (wallclock) [out]
Trafo_06/un14.xml 5162925 YES 132.41/34.66 (CERTIFIED 0.1) YES 48.43/12.58 (CERTIFIED 0.1)
Trafo_06/dup08.xml 5162926 YES 49.24/13.70 (CERTIFIED 1.7) YES 18.69/5.02 (CERTIFIED 0.1)
Trafo_06/dup15.xml 5162927 YES 46.55/12.83 (CERTIFIED 0.1) YES 9.89/2.77 (CERTIFIED 0.0)
Trafo_06/un10.xml 5162928 YES 850.15/280.36 (CERTIFIED 0.1) YES 69.16/17.90 (CERTIFIED 0.1)
Trafo_06/hom02.xml 5162929 memout [out] YES 1.54/0.64 (CERTIFIED 0.0)
Trafo_06/un13.xml 5162930 timeout (wallclock) [out] timeout (wallclock) [out]
Trafo_06/dup05.xml 5162931 YES 26.65/7.74 (CERTIFIED 0.2) YES 32.14/8.53 (CERTIFIED 0.1)
Trafo_06/dup14.xml 5162932 YES 31.56/9.00 (CERTIFIED 0.1) YES 38.05/10.00 (CERTIFIED 0.1)
Trafo_06/dup01.xml 5162933 YES 39.87/11.25 (CERTIFIED 0.2) YES 3.20/1.15 (CERTIFIED 0.1)
Trafo_06/un16.xml 5162934 timeout (wallclock) [out] timeout (wallclock) [out]
Trafo_06/dup13.xml 5162935 YES 218.29/56.27 (CERTIFIED 0.4) YES 57.97/14.82 (CERTIFIED 0.1)
Trafo_06/un02.xml 5162936 timeout (wallclock) [out] timeout (wallclock) [out]
Trafo_06/un04.xml 5162937 NO 12.07/3.99 (CERTIFIED 0.0) timeout (wallclock) [out]
Trafo_06/un15.xml 5162938 timeout (wallclock) [out] timeout (wallclock) [out]
Trafo_06/dup12.xml 5162939 YES 130.22/34.16 (CERTIFIED 2.7) timeout (wallclock) [out]
Trafo_06/un06.xml 5162940 YES 31.20/8.80 (CERTIFIED 0.0) YES 17.41/4.60 (CERTIFIED 0.1)
Trafo_06/dup17.xml 5162941 YES 37.68/10.53 (CERTIFIED 0.1) YES 15.73/4.27 (CERTIFIED 0.0)
Trafo_06/un05.xml 5162942 YES 37.41/10.42 (CERTIFIED 0.0) timeout (wallclock) [out]
Trafo_06/un11.xml 5162943 timeout (wallclock) [out] timeout (wallclock) [out]
Trafo_06/dup16.xml 5162944 YES 7.03/2.61 (CERTIFIED 0.0) YES 11.55/3.20 (CERTIFIED 0.0)
Trafo_06/dup11.xml 5162945 YES 43.46/11.89 (CERTIFIED 0.1) YES 57.55/15.08 (CERTIFIED 0.2)
Trafo_06/un18.xml 5162946 timeout (wallclock) [out] timeout (wallclock) [out]
Trafo_06/un09.xml 5162947 YES 72.47/21.01 (CERTIFIED 0.1) YES 62.96/16.33 (CERTIFIED 0.1)
Trafo_06/un17.xml 5162948 YES 255.13/65.48 (CERTIFIED 0.2) timeout (wallclock) [out]
Trafo_06/dup09.xml 5162949 memout [out] YES 2.09/0.79 (CERTIFIED 0.0)
Trafo_06/dup07.xml 5162950 YES 29.87/8.51 (CERTIFIED 0.1) YES 28.98/7.69 (CERTIFIED 0.1)
Waldmann_19/random-390.xml 8321425 YES 18.55/5.63 (CERTIFIED 0.1) YES 1.66/0.68 (CERTIFIED 0.0)
Waldmann_19/random-341.xml 8321426 YES 9.36/3.23 (CERTIFIED 0.1) YES 10.70/2.99 (CERTIFIED 0.0)
Waldmann_19/random-55.xml 8321427 YES 36.95/10.28 (CERTIFIED 0.1) YES 17.08/4.58 (CERTIFIED 0.0)
Waldmann_19/random-397.xml 8321428 YES 24.53/7.09 (CERTIFIED 0.1) YES 2.05/0.76 (CERTIFIED 0.0)
Waldmann_19/random-27.xml 8321429 YES 13.52/4.33 (CERTIFIED 0.2) YES 30.40/7.98 (CERTIFIED 0.0)
Waldmann_19/random-470.xml 8321430 memout [out] YES 30.49/8.04 (CERTIFIED 0.1)
Waldmann_19/random-554.xml 8321431 YES 171.75/44.55 (CERTIFIED 0.4) timeout (wallclock) [out]
Waldmann_19/random-222.xml 8321432 YES 17.19/5.36 (CERTIFIED 0.0) YES 6.50/1.92 (CERTIFIED 0.0)
Waldmann_19/random-132.xml 8321433 YES 25.53/10.35 (CERTIFIED 0.0) YES 28.71/7.58 (CERTIFIED 0.0)
Waldmann_19/random-373.xml 8321434 YES 178.00/46.07 (CERTIFIED 0.1) YES 41.88/10.93 (CERTIFIED 0.1)
Waldmann_19/random-147.xml 8321435 YES 160.95/41.82 (CERTIFIED 0.5) timeout (wallclock) [out]
Waldmann_19/random-402.xml 8321436 YES 20.99/6.45 (CERTIFIED 0.1) YES 35.72/9.33 (CERTIFIED 0.1)
Waldmann_19/random-319.xml 8321437 YES 38.36/10.72 (CERTIFIED 0.0) YES 63.92/16.56 (CERTIFIED 0.1)
Waldmann_19/random-414.xml 8321438 YES 12.52/4.08 (CERTIFIED 0.1) YES 6.68/1.96 (CERTIFIED 0.0)
Waldmann_19/random-246.xml 8321439 YES 10.05/3.56 (CERTIFIED 0.0) YES 1.67/0.68 (CERTIFIED 0.0)
Waldmann_19/random-530.xml 8321440 YES 31.99/9.09 (CERTIFIED 0.2) YES 8.81/2.50 (CERTIFIED 0.0)
Waldmann_19/random-234.xml 8321441 memout [out] YES 80.49/20.78 (CERTIFIED 0.1)
Waldmann_19/random-123.xml 8321442 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-78.xml 8321443 YES 38.09/10.69 (CERTIFIED 0.1) YES 44.34/11.58 (CERTIFIED 0.1)
Waldmann_19/random-466.xml 8321444 YES 9.60/3.29 (CERTIFIED 0.1) YES 0.89/0.47 (CERTIFIED 0.0)
Waldmann_19/random-158.xml 8321445 YES 21.95/6.70 (CERTIFIED 0.1) YES 1.86/0.73 (CERTIFIED 0.0)
Waldmann_19/random-539.xml 8321446 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-317.xml 8321447 YES 38.43/10.61 (CERTIFIED 0.1) YES 41.29/10.84 (CERTIFIED 0.1)
Waldmann_19/random-545.xml 8321448 YES 18.03/5.43 (CERTIFIED 0.1) YES 8.98/2.60 (CERTIFIED 0.0)
Waldmann_19/random-453.xml 8321449 YES 12.89/4.14 (CERTIFIED 0.0) YES 1.69/0.68 (CERTIFIED 0.0)
Waldmann_19/random-421.xml 8321450 YES 29.12/8.37 (CERTIFIED 0.0) YES 37.07/9.72 (CERTIFIED 0.1)
Waldmann_19/random-403.xml 8321451 YES 32.73/9.34 (CERTIFIED 0.0) YES 34.65/9.08 (CERTIFIED 0.1)
Waldmann_19/random-404.xml 8321452 YES 37.39/10.77 (CERTIFIED 0.1) YES 10.57/2.95 (CERTIFIED 0.0)
Waldmann_19/random-141.xml 8321453 YES 9.92/3.38 (CERTIFIED 0.1) YES 10.20/2.92 (CERTIFIED 0.0)
Waldmann_19/random-552.xml 8321454 YES 9.00/3.24 (CERTIFIED 0.1) YES 1.80/0.71 (CERTIFIED 0.0)
Waldmann_19/random-289.xml 8321455 YES 47.34/13.05 (CERTIFIED 0.1) YES 39.01/10.20 (CERTIFIED 0.1)
Waldmann_19/random-529.xml 8321456 YES 16.40/5.00 (CERTIFIED 0.1) YES 2.10/0.81 (CERTIFIED 0.0)
Waldmann_19/random-332.xml 8321457 memout [out] YES 168.24/43.21 (CERTIFIED 0.2)
Waldmann_19/random-26.xml 8321458 YES 12.76/4.22 (CERTIFIED 0.1) YES 43.68/11.42 (CERTIFIED 0.1)
Waldmann_19/random-216.xml 8321459 YES 19.60/5.99 (CERTIFIED 0.1) YES 11.78/3.26 (CERTIFIED 0.0)
Waldmann_19/random-101.xml 8321460 YES 36.75/10.28 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-106.xml 8321461 YES 33.89/9.60 (CERTIFIED 0.1) YES 57.87/14.81 (CERTIFIED 0.1)
Waldmann_19/random-443.xml 8321462 YES 40.08/11.10 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-396.xml 8321463 YES 13.25/4.36 (CERTIFIED 0.1) YES 33.35/8.68 (CERTIFIED 0.1)
Waldmann_19/random-82.xml 8321464 YES 25.86/9.07 (CERTIFIED 0.2) YES 1.64/0.68 (CERTIFIED 0.0)
Waldmann_19/random-391.xml 8321465 YES 31.91/9.10 (CERTIFIED 0.2) YES 31.08/8.09 (CERTIFIED 0.1)
Waldmann_19/random-436.xml 8321466 YES 24.96/9.04 (CERTIFIED 0.0) YES 6.88/2.02 (CERTIFIED 0.0)
Waldmann_19/random-45.xml 8321467 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-387.xml 8321468 YES 229.25/59.29 (CERTIFIED 0.0) YES 55.70/14.51 (CERTIFIED 0.1)
Waldmann_19/random-504.xml 8321469 YES 11.31/3.68 (CERTIFIED 0.1) YES 9.87/2.76 (CERTIFIED 0.0)
Waldmann_19/random-467.xml 8321470 YES 55.86/15.19 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-77.xml 8321471 YES 47.11/12.95 (CERTIFIED 0.1) YES 58.07/15.06 (CERTIFIED 0.1)
Waldmann_19/random-90.xml 8321472 YES 64.34/17.36 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-355.xml 8321473 YES 18.68/5.67 (CERTIFIED 0.2) YES 4.46/1.39 (CERTIFIED 0.0)
Waldmann_19/random-97.xml 8321474 YES 14.08/4.56 (CERTIFIED 0.2) YES 41.19/10.77 (CERTIFIED 0.1)
Waldmann_19/random-383.xml 8321475 YES 12.68/4.13 (CERTIFIED 0.1) YES 9.59/2.70 (CERTIFIED 0.0)
Waldmann_19/random-278.xml 8321476 timeout (wallclock) [out] timeout (wallclock) [out]
Waldmann_19/random-320.xml 8321477 YES 11.61/3.82 (CERTIFIED 0.1) YES 2.06/0.78 (CERTIFIED 0.0)
Waldmann_19/random-113.xml 8321478 YES 35.08/11.60 (CERTIFIED 0.0) YES 41.78/10.90 (CERTIFIED 0.1)
Waldmann_19/random-114.xml 8321479 YES 54.08/14.66 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-33.xml 8321480 YES 392.26/100.82 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-327.xml 8321481 YES 36.03/12.50 (CERTIFIED 0.2) YES 10.50/2.54 (CERTIFIED 0.0)
Waldmann_19/random-540.xml 8321482 YES 16.85/5.36 (CERTIFIED 0.0) YES 6.46/1.91 (CERTIFIED 0.0)
Waldmann_19/random-126.xml 8321483 YES 19.35/5.96 (CERTIFIED 0.0) YES 1.75/0.71 (CERTIFIED 0.0)
Waldmann_19/random-369.xml 8321484 YES 61.98/16.81 (CERTIFIED 0.2) timeout (wallclock) [out]
Waldmann_19/random-185.xml 8321485 YES 36.75/11.81 (CERTIFIED 0.3) YES 33.23/8.34 (CERTIFIED 0.1)
Waldmann_19/random-238.xml 8321486 YES 41.46/11.45 (CERTIFIED 0.2) YES 132.44/34.15 (CERTIFIED 0.2)
Waldmann_19/random-244.xml 8321487 YES 21.07/6.30 (CERTIFIED 0.2) YES 29.95/7.91 (CERTIFIED 0.1)
Waldmann_19/random-371.xml 8321488 YES 17.72/5.33 (CERTIFIED 0.0) YES 1.65/0.68 (CERTIFIED 0.0)
Waldmann_19/random-65.xml 8321489 memout [out] timeout (wallclock) [out]
Waldmann_19/random-19.xml 8321490 YES 1060.07/262.53 (CERTIFIED 0.4) timeout (wallclock) [out]
Waldmann_19/random-284.xml 8321491 YES 53.86/14.60 (CERTIFIED 0.1) YES 30.55/8.03 (CERTIFIED 0.1)
Waldmann_19/random-194.xml 8321492 memout [out] YES 40.92/10.71 (CERTIFIED 0.1)
Waldmann_19/random-376.xml 8321493 YES 19.63/5.83 (CERTIFIED 0.0) YES 1.78/0.71 (CERTIFIED 0.0)
Waldmann_19/random-400.xml 8321494 NO 160.20/41.54 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-472.xml 8321495 YES 16.07/4.98 (CERTIFIED 0.1) YES 0.90/0.48 (CERTIFIED 0.0)
Waldmann_19/random-10.xml 8321496 YES 25.45/10.14 (CERTIFIED 0.2) YES 30.50/7.75 (CERTIFIED 0.0)
Waldmann_19/random-17.xml 8321497 memout [out] YES 1.82/0.72 (CERTIFIED 0.0)
Waldmann_19/random-22.xml 8321498 YES 30.27/8.66 (CERTIFIED 0.1) YES 195.38/49.94 (CERTIFIED 0.4)
Waldmann_19/random-215.xml 8321499 YES 17.35/5.36 (CERTIFIED 0.0) YES 1.71/0.69 (CERTIFIED 0.0)
Waldmann_19/random-498.xml 8321500 memout [out] timeout (wallclock) [out]
Waldmann_19/random-395.xml 8321501 YES 164.98/42.84 (CERTIFIED 0.2) YES 169.48/43.62 (CERTIFIED 0.3)
Waldmann_19/random-516.xml 8321502 YES 28.80/8.25 (CERTIFIED 0.2) YES 6.83/2.00 (CERTIFIED 0.0)
Waldmann_19/random-239.xml 8321503 YES 40.64/11.36 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-361.xml 8321504 YES 29.65/9.42 (CERTIFIED 0.1) YES 0.73/0.45 (CERTIFIED 0.0)
Waldmann_19/random-152.xml 8321505 YES 12.72/4.16 (CERTIFIED 0.1) YES 6.40/1.89 (CERTIFIED 0.0)
Waldmann_19/random-230.xml 8321506 memout [out] YES 39.29/10.31 (CERTIFIED 0.1)
Waldmann_19/random-546.xml 8321507 YES 13.87/4.42 (CERTIFIED 0.0) YES 2.13/0.79 (CERTIFIED 0.0)
Waldmann_19/random-127.xml 8321508 memout [out] YES 70.57/18.18 (CERTIFIED 0.1)
Waldmann_19/random-120.xml 8321509 YES 19.78/7.01 (CERTIFIED 0.0) YES 1.98/0.76 (CERTIFIED 0.0)
Waldmann_19/random-115.xml 8321510 YES 15.90/4.99 (CERTIFIED 0.1) YES 1.82/0.72 (CERTIFIED 0.0)
Waldmann_19/random-202.xml 8321511 YES 51.50/13.95 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-169.xml 8321512 YES 18.38/5.64 (CERTIFIED 0.1) YES 1.31/0.66 (CERTIFIED 0.0)
Waldmann_19/random-450.xml 8321513 YES 16.04/4.94 (CERTIFIED 0.1) YES 8.99/2.55 (CERTIFIED 0.0)
Waldmann_19/random-486.xml 8321514 YES 20.43/6.30 (CERTIFIED 0.1) YES 6.43/1.89 (CERTIFIED 0.0)
Waldmann_19/random-8.xml 8321515 YES 48.50/13.28 (CERTIFIED 0.1) timeout (wallclock) [out]
Waldmann_19/random-488.xml 8321516 YES 11.98/3.92 (CERTIFIED 0.1) YES 8.73/2.47 (CERTIFIED 0.0)
Waldmann_19/random-425.xml 8321517 YES 24.31/7.18 (CERTIFIED 0.0) YES 1.85/0.73 (CERTIFIED 0.0)
Waldmann_19/random-354.xml 8321518 YES 21.57/6.38 (CERTIFIED 0.0) YES 0.96/0.50 (CERTIFIED 0.0)
Waldmann_19/random-266.xml 8321519 YES 14.47/4.52 (CERTIFIED 0.1) YES 17.86/4.81 (CERTIFIED 0.0)
Waldmann_19/random-87.xml 8321520 YES 12.75/4.02 (CERTIFIED 0.1) YES 0.81/0.45 (CERTIFIED 0.0)
Waldmann_19/random-330.xml 8321521 YES 10.77/3.51 (CERTIFIED 0.1) YES 38.33/10.03 (CERTIFIED 0.1)
Waldmann_19/random-268.xml 8321522 YES 21.20/8.40 (CERTIFIED 0.1) YES 2.18/0.81 (CERTIFIED 0.0)
Waldmann_19/random-519.xml 8321523 YES 82.20/21.74 (CERTIFIED 0.0) timeout (wallclock) [out]
Waldmann_19/random-408.xml 8321524 YES 21.62/6.39 (CERTIFIED 0.2) YES 30.38/8.01 (CERTIFIED 0.1)
Waldmann_19/random-254.xml 8321525 YES 106.80/28.21 (CERTIFIED 0.3) YES 162.51/41.76 (CERTIFIED 0.3)
Zantema_06/05.xml 5164327 YES 145.55/37.77 (CERTIFIED 0.1) timeout (wallclock) [out]
Zantema_06/03.xml 5164328 YES 166.78/43.21 (CERTIFIED 0.1) YES 57.49/14.90 (CERTIFIED 0.1)
Zantema_06/01.xml 5164329 YES 16.73/5.10 (CERTIFIED 0.0) YES 18.54/5.03 (CERTIFIED 0.0)
Zantema_06/12.xml 5164330 YES 294.81/76.11 (CERTIFIED 0.1) YES 36.46/9.58 (CERTIFIED 0.1)
Zantema_06/10.xml 5164331 YES 29.78/8.54 (CERTIFIED 0.0) YES 24.66/6.62 (CERTIFIED 0.1)
Zantema_06/beans3.xml 5164332 YES 23.38/10.23 (CERTIFIED 0.1) YES 30.58/8.05 (CERTIFIED 0.1)
Zantema_06/06.xml 5164333 YES 29.49/8.42 (CERTIFIED 0.1) YES 52.74/13.70 (CERTIFIED 0.1)
Zantema_06/while2.xml 5164334 YES 17.67/5.44 (CERTIFIED 0.0) YES 5.91/1.77 (CERTIFIED 0.1)
Zantema_06/beans2.xml 5164335 YES 30.83/8.80 (CERTIFIED 0.1) YES 24.50/6.51 (CERTIFIED 0.0)
Zantema_06/02.xml 5164336 YES 20.68/6.14 (CERTIFIED 0.0) YES 3.98/1.27 (CERTIFIED 0.0)
Zantema_06/beans7.xml 5164337 YES 18.90/5.77 (CERTIFIED 0.1) YES 32.07/8.43 (CERTIFIED 0.1)
Zantema_06/14.xml 5164338 YES 55.10/14.93 (CERTIFIED 0.1) timeout (wallclock) [out]
Zantema_06/abc.xml 5164339 YES 23.01/6.88 (CERTIFIED 0.3) YES 22.78/6.33 (CERTIFIED 0.0)
Zantema_06/13.xml 5164340 YES 37.02/10.40 (CERTIFIED 0.1) YES 128.28/33.00 (CERTIFIED 0.1)
Zantema_06/beans1.xml 5164341 YES 20.43/6.26 (CERTIFIED 0.1) YES 7.23/2.10 (CERTIFIED 0.1)
Zantema_06/04.xml 5164342 YES 29.76/8.49 (CERTIFIED 0.0) YES 27.33/7.18 (CERTIFIED 0.0)
Zantema_06/17.xml 5164343 YES 5.66/2.49 (CERTIFIED 0.4) YES 22.70/6.08 (CERTIFIED 0.1)
Zantema_06/08.xml 5164344 MAYBE 1138.06/292.61 timeout (wallclock) [out]
Zantema_06/beans4.xml 5164345 YES 16.90/5.24 (CERTIFIED 0.0) YES 1.47/0.63 (CERTIFIED 0.0)
Zantema_06/loop1.xml 5164346 NO 3.31/1.62 (CERTIFIED 0.0) NO 1.70/0.69 (CERTIFIED 0.0)
Zantema_06/16.xml 5164347 YES 16.07/5.09 (CERTIFIED 0.3) YES 18.29/4.90 (CERTIFIED 0.1)
Zantema_06/beans5.xml 5164348 YES 21.95/6.59 (CERTIFIED 0.0) YES 25.36/6.43 (CERTIFIED 0.0)
Zantema_06/09.xml 5164349 YES 24.87/7.28 (CERTIFIED 0.1) YES 22.57/6.01 (CERTIFIED 0.1)
Zantema_06/11.xml 5164350 YES 34.79/9.94 (CERTIFIED 0.1) YES 30.63/8.06 (CERTIFIED 0.1)
Zantema_06/07.xml 5164351 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06/18.xml 5164352 YES 6.66/2.46 (CERTIFIED 0.5) timeout (wallclock) [out]
Zantema_06/loop2.xml 5164353 NO 3.28/1.56 (CERTIFIED 0.0) NO 1.03/0.51 (CERTIFIED 0.0)
Zantema_06/15.xml 5164354 YES 39.84/12.30 (CERTIFIED 0.7) YES 114.58/28.30 (CERTIFIED 0.2)
Zantema_06/while1.xml 5164355 MAYBE 1149.28/294.04 timeout (wallclock) [out]
Zantema_06/beans6.xml 5164356 YES 34.46/11.20 (CERTIFIED 0.0) YES 26.05/6.84 (CERTIFIED 0.1)
894 694