Termination Competition 2020: SRS Relative Certified41233

Job info CSV
benchmark ttt2-1.20 ttt2_cert AProVE certified
Mixed_relative_SRS/dup02.xml 11771692 timeout (wallclock) [out] CERTIFIED YES 70.86/18.83 (CERTIFIED 0.50)
Mixed_relative_SRS/dup03.xml 11771700 CERTIFIED YES 11.82/3.29 (CERTIFIED 0.14) CERTIFIED YES 59.18/15.85 (CERTIFIED 0.08)
Mixed_relative_SRS/dup04.xml 11771701 timeout (wallclock) [out] CERTIFIED YES 423.94/108.06 (CERTIFIED 0.27)
Mixed_relative_SRS/un01.xml 11771709 timeout (wallclock) [out] CERTIFIED YES 34.53/9.73 (CERTIFIED 0.21)
Mixed_relative_SRS/un03.xml 11771697 timeout (wallclock) [out] timeout (wallclock) [out]
Mixed_relative_SRS/zr01.xml 11771696 CERTIFIED YES 3.42/1.10 (CERTIFIED 0.17) CERTIFIED YES 6.57/2.42 (CERTIFIED 0.07)
Mixed_relative_SRS/zr02.xml 11771706 CERTIFIED YES 7.01/2.01 (CERTIFIED 0.22) CERTIFIED YES 42.69/11.74 (CERTIFIED 0.21)
Mixed_relative_SRS/zr02new.xml 11771691 CERTIFIED YES 14.30/3.89 (CERTIFIED 0.30) CERTIFIED YES 7.82/2.84 (CERTIFIED 0.22)
Mixed_relative_SRS/zr03.xml 11771708 CERTIFIED YES 1.29/0.54 (CERTIFIED 0.06) CERTIFIED YES 4.18/1.82 (CERTIFIED 0.05)
Mixed_relative_SRS/zr04.xml 11771710 timeout (wallclock) [out] CERTIFIED YES 15.77/4.81 (CERTIFIED 0.33)
Mixed_relative_SRS/zr04new.xml 11771702 timeout (wallclock) [out] CERTIFIED YES 15.47/4.90 (CERTIFIED 0.33)
Mixed_relative_SRS/zr05.xml 11771705 CERTIFIED YES 1.62/0.63 (CERTIFIED 0.06) CERTIFIED YES 5.04/1.98 (CERTIFIED 0.06)
Mixed_relative_SRS/zr06.xml 11771698 CERTIFIED YES 1.96/0.71 (CERTIFIED 0.06) CERTIFIED YES 6.12/2.29 (CERTIFIED 0.09)
Mixed_relative_SRS/zr07.xml 11771694 CERTIFIED YES 3.38/1.09 (CERTIFIED 0.12) CERTIFIED YES 9.45/3.22 (CERTIFIED 0.31)
Mixed_relative_SRS/zr08.xml 11771699 CERTIFIED YES 5.30/1.56 (CERTIFIED 0.18) CERTIFIED YES 8.27/2.83 (CERTIFIED 0.09)
Mixed_relative_SRS/zr09.xml 11771693 CERTIFIED YES 2.60/0.88 (CERTIFIED 0.18) CERTIFIED YES 5.92/2.28 (CERTIFIED 0.07)
Mixed_relative_SRS/zr10.xml 11771703 CERTIFIED YES 5.28/1.56 (CERTIFIED 0.10) CERTIFIED YES 11.60/3.73 (CERTIFIED 0.25)
Mixed_relative_SRS/zr11.xml 11771695 CERTIFIED YES 3.97/1.23 (CERTIFIED 0.11) CERTIFIED YES 11.13/3.54 (CERTIFIED 0.32)
Mixed_relative_SRS/zr12.xml 11771707 CERTIFIED YES 3.15/1.03 (CERTIFIED 0.19) CERTIFIED YES 6.28/2.32 (CERTIFIED 0.09)
Mixed_relative_SRS/zr13.xml 11771704 CERTIFIED NO 0.92/0.45 (CERTIFIED 0.05) CERTIFIED NO 3.73/1.72 (CERTIFIED 0.02)
Waldmann_06_relative/r1.xml 11771719 MAYBE 8.73/7.30 ERROR 0.35/0.33
Waldmann_06_relative/r10.xml 11771715 timeout (wallclock) [out] CERTIFIED YES 491.37/125.52 (CERTIFIED 0.08)
Waldmann_06_relative/r2.xml 11771712 MAYBE 9.55/7.29 ERROR 0.35/0.27
Waldmann_06_relative/r3.xml 11771713 CERTIFIED YES 3.03/0.99 (CERTIFIED 0.05) CERTIFIED YES 29.82/8.32 (CERTIFIED 0.22)
Waldmann_06_relative/r4.xml 11771714 timeout (wallclock) [out] CERTIFIED YES 913.67/232.27 (CERTIFIED 9.86)
Waldmann_06_relative/r5.xml 11771711 CERTIFIED YES 3.83/1.20 (CERTIFIED 0.07) CERTIFIED YES 16.92/10.28 (CERTIFIED 0.06)
Waldmann_06_relative/r6.xml 11771720 CERTIFIED YES 5.34/1.49 (CERTIFIED 0.14) CERTIFIED YES 9.61/3.23 (CERTIFIED 0.06)
Waldmann_06_relative/r7.xml 11771717 CERTIFIED YES 3.12/1.02 (CERTIFIED 0.11) CERTIFIED YES 5.97/2.38 (CERTIFIED 0.25)
Waldmann_06_relative/r8.xml 11771721 CERTIFIED YES 7.12/2.04 (CERTIFIED 0.14) CERTIFIED YES 18.46/5.55 (CERTIFIED 0.11)
Waldmann_06_relative/r9.xml 11771716 CERTIFIED YES 7.28/2.11 (CERTIFIED 0.07) CERTIFIED YES 28.16/7.95 (CERTIFIED 0.08)
Waldmann_06_relative/rbeans.xml 11771718 MAYBE 9.00/7.29 ERROR 0.36/0.31
Zantema_06_relative/cars.xml 11771735 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel01.xml 11771733 CERTIFIED YES 3.38/1.08 (CERTIFIED 0.10) CERTIFIED YES 6.23/2.33 (CERTIFIED 0.06)
Zantema_06_relative/rel02.xml 11771723 timeout (wallclock) [out] CERTIFIED YES 13.38/4.14 (CERTIFIED 0.29)
Zantema_06_relative/rel03.xml 11771727 timeout (wallclock) [out] ERROR 1173.42/298.86
Zantema_06_relative/rel04.xml 11771726 CERTIFIED YES 4.81/1.45 (CERTIFIED 0.22) CERTIFIED YES 14.11/4.45 (CERTIFIED 0.10)
Zantema_06_relative/rel05.xml 11771724 CERTIFIED YES 2.51/0.87 (CERTIFIED 0.17) CERTIFIED YES 10.54/3.45 (CERTIFIED 0.12)
Zantema_06_relative/rel06.xml 11771732 timeout (wallclock) [out] CERTIFIED YES 31.73/8.94 (CERTIFIED 0.86)
Zantema_06_relative/rel07.xml 11771728 timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel08.xml 11771731 CERTIFIED YES 12.83/3.56 (CERTIFIED 0.15) CERTIFIED YES 10.10/3.32 (CERTIFIED 0.10)
Zantema_06_relative/rel09.xml 11771729 CERTIFIED YES 9.14/2.55 (CERTIFIED 0.17) CERTIFIED YES 27.73/8.02 (CERTIFIED 0.19)
Zantema_06_relative/rel10.xml 11771734 CERTIFIED YES 4.73/1.42 (CERTIFIED 0.11) CERTIFIED YES 25.08/12.76 (CERTIFIED 0.09)
Zantema_06_relative/rel11.xml 11771730 timeout (wallclock) [out] ERROR 1172.48/297.85
Zantema_06_relative/rel12.xml 11771725 timeout (wallclock) [out] ERROR 1154.29/293.24
Zantema_06_relative/rel13.xml 11771722 CERTIFIED YES 10.60/2.92 (CERTIFIED 0.27) CERTIFIED YES 7.63/2.69 (CERTIFIED 0.12)
ICFP_2010_relative/107220.xml 11771882 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/107236.xml 11771859 timeout (wallclock) [out] ERROR 550.06/294.95
ICFP_2010_relative/123759.xml 11771807 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/124211.xml 11771775 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/124269.xml 11771871 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/124791.xml 11771853 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/127538.xml 11771877 timeout (wallclock) [out] CERTIFIED YES 59.87/16.39 (CERTIFIED 32.43)
ICFP_2010_relative/128056.xml 11771855 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128182.xml 11771753 timeout (wallclock) [out] CERTIFIED YES 48.68/13.55 (CERTIFIED 15.52)
ICFP_2010_relative/128280.xml 11771890 timeout (wallclock) [out] CERTIFIED YES 57.23/15.69 (CERTIFIED 16.92)
ICFP_2010_relative/128430.xml 11771854 timeout (wallclock) [out] CERTIFIED YES 63.71/17.38 (CERTIFIED 19.36)
ICFP_2010_relative/128486.xml 11771810 timeout (wallclock) [out] CERTIFIED YES 34.12/9.85 (CERTIFIED 17.65)
ICFP_2010_relative/128515.xml 11771878 timeout (wallclock) [out] CERTIFIED YES 74.32/19.96 (CERTIFIED 21.61)
ICFP_2010_relative/128550.xml 11771794 timeout (wallclock) [out] CERTIFIED YES 59.27/16.24 (CERTIFIED 29.09)
ICFP_2010_relative/128620.xml 11771840 timeout (wallclock) [out] CERTIFIED YES 42.53/12.00 (CERTIFIED 18.29)
ICFP_2010_relative/128691.xml 11771791 timeout (wallclock) [out] CERTIFIED YES 41.02/11.62 (CERTIFIED 20.58)
ICFP_2010_relative/131633.xml 11771773 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/131982.xml 11771827 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/132235.xml 11771743 timeout (wallclock) [out] ERROR 918.11/296.96
ICFP_2010_relative/132478.xml 11771755 timeout (wallclock) [out] CERTIFIED YES 75.52/20.97 (CERTIFIED 22.56)
ICFP_2010_relative/132540.xml 11771881 timeout (wallclock) [out] CERTIFIED YES 49.24/13.70 (CERTIFIED 22.08)
ICFP_2010_relative/132622.xml 11771886 timeout (wallclock) [out] CERTIFIED YES 57.13/15.65 (CERTIFIED 19.97)
ICFP_2010_relative/132720.xml 11771808 timeout (wallclock) [out] CERTIFIED YES 44.67/12.40 (CERTIFIED 21.25)
ICFP_2010_relative/132738.xml 11771798 timeout (wallclock) [out] CERTIFIED YES 44.80/12.56 (CERTIFIED 17.71)
ICFP_2010_relative/132782.xml 11771764 timeout (wallclock) [out] CERTIFIED YES 45.64/12.77 (CERTIFIED 21.21)
ICFP_2010_relative/132833.xml 11771831 timeout (wallclock) [out] CERTIFIED YES 72.04/19.39 (CERTIFIED 20.99)
ICFP_2010_relative/132864.xml 11771892 timeout (wallclock) [out] CERTIFIED YES 68.87/19.99 (CERTIFIED 20.49)
ICFP_2010_relative/132920.xml 11771757 timeout (wallclock) [out] CERTIFIED YES 32.11/9.28 (CERTIFIED 15.57)
ICFP_2010_relative/132957.xml 11771837 timeout (wallclock) [out] CERTIFIED YES 69.17/18.97 (CERTIFIED 23.51)
ICFP_2010_relative/132969.xml 11771769 timeout (wallclock) [out] ERROR 887.43/297.35
ICFP_2010_relative/133010.xml 11771884 timeout (wallclock) [out] CERTIFIED YES 68.76/18.55 (CERTIFIED 28.19)
ICFP_2010_relative/133159.xml 11771860 timeout (wallclock) [out] ERROR 979.88/297.64
ICFP_2010_relative/133486.xml 11771814 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/133881.xml 11771809 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/134918.xml 11771850 timeout (wallclock) [out] ERROR 925.91/296.33
ICFP_2010_relative/135115.xml 11771737 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135328.xml 11771742 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135604.xml 11771867 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135652.xml 11771891 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/135782.xml 11771823 timeout (wallclock) [out] ERROR 804.19/294.72
ICFP_2010_relative/135936.xml 11771842 timeout (wallclock) [out] CERTIFIED YES 519.56/166.95 (CERTIFIED 13.40)
ICFP_2010_relative/136051.xml 11771759 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/136562.xml 11771856 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/136623.xml 11771880 timeout (wallclock) [out] ERROR 889.06/296.61
ICFP_2010_relative/137404.xml 11771848 timeout (wallclock) [out] ERROR 882.82/296.56
ICFP_2010_relative/137809.xml 11771800 timeout (wallclock) [out] CERTIFIED YES 637.68/201.27 (CERTIFIED 14.33)
ICFP_2010_relative/138194.xml 11771820 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138269.xml 11771812 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138330.xml 11771766 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138477.xml 11771862 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/138993.xml 11771895 timeout (wallclock) [out] CERTIFIED YES 46.00/12.79 (CERTIFIED 21.69)
ICFP_2010_relative/139004.xml 11771861 timeout (wallclock) [out] CERTIFIED YES 58.61/16.00 (CERTIFIED 24.90)
ICFP_2010_relative/139018.xml 11771748 timeout (wallclock) [out] CERTIFIED YES 52.60/14.66 (CERTIFIED 21.65)
ICFP_2010_relative/139025.xml 11771796 timeout (wallclock) [out] CERTIFIED YES 42.83/12.12 (CERTIFIED 19.17)
ICFP_2010_relative/139036.xml 11771869 timeout (wallclock) [out] CERTIFIED YES 53.23/14.85 (CERTIFIED 25.82)
ICFP_2010_relative/139100.xml 11771741 timeout (wallclock) [out] CERTIFIED YES 65.17/17.83 (CERTIFIED 30.19)
ICFP_2010_relative/139163.xml 11771783 timeout (wallclock) [out] CERTIFIED YES 72.38/19.78 (CERTIFIED 44.45)
ICFP_2010_relative/139167.xml 11771874 timeout (wallclock) [out] CERTIFIED YES 72.50/19.68 (CERTIFIED 24.60)
ICFP_2010_relative/139174.xml 11771801 timeout (wallclock) [out] CERTIFIED YES 43.00/12.37 (CERTIFIED 21.34)
ICFP_2010_relative/139180.xml 11771754 timeout (wallclock) [out] CERTIFIED YES 90.88/24.38 (CERTIFIED 34.11)
ICFP_2010_relative/139185.xml 11771838 timeout (wallclock) [out] CERTIFIED YES 44.68/12.77 (CERTIFIED 17.76)
ICFP_2010_relative/139190.xml 11771788 timeout (wallclock) [out] CERTIFIED YES 39.86/11.13 (CERTIFIED 15.42)
ICFP_2010_relative/139214.xml 11771879 timeout (wallclock) [out] CERTIFIED YES 52.79/14.52 (CERTIFIED 20.31)
ICFP_2010_relative/139236.xml 11771834 timeout (wallclock) [out] CERTIFIED YES 46.91/17.83 (CERTIFIED 21.54)
ICFP_2010_relative/139256.xml 11771787 timeout (wallclock) [out] CERTIFIED YES 52.22/14.34 (CERTIFIED 32.01)
ICFP_2010_relative/139282.xml 11771887 timeout (wallclock) [out] CERTIFIED YES 49.75/13.73 (CERTIFIED 22.31)
ICFP_2010_relative/139310.xml 11771756 timeout (wallclock) [out] CERTIFIED YES 40.02/11.35 (CERTIFIED 17.14)
ICFP_2010_relative/139378.xml 11771846 timeout (wallclock) [out] CERTIFIED YES 50.53/14.15 (CERTIFIED 23.74)
ICFP_2010_relative/140287.xml 11771847 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140318.xml 11771836 timeout (wallclock) [out] CERTIFIED YES 43.46/12.22 (CERTIFIED 18.17)
ICFP_2010_relative/140359.xml 11771873 timeout (wallclock) [out] CERTIFIED YES 44.95/12.68 (CERTIFIED 19.10)
ICFP_2010_relative/140631.xml 11771883 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140639.xml 11771843 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140649.xml 11771745 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140654.xml 11771839 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140659.xml 11771815 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140664.xml 11771781 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/142142.xml 11771813 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/142146.xml 11771832 timeout (wallclock) [out] CERTIFIED YES 63.39/23.68 (CERTIFIED 14.65)
ICFP_2010_relative/142150.xml 11771851 timeout (wallclock) [out] ERROR 634.34/299.42
ICFP_2010_relative/142157.xml 11771849 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3268.xml 11771749 timeout (wallclock) [out] ERROR 1065.99/292.68
ICFP_2010_relative/3336.xml 11771785 MAYBE 22.30/7.38 ERROR 0.56/0.31
ICFP_2010_relative/3385.xml 11771763 timeout (wallclock) [out] ERROR 1092.41/297.99
ICFP_2010_relative/3450.xml 11771751 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3467.xml 11771825 UNSUPPORTED YES 327.45/111.99 (UNSUPPORTED 0.31) timeout (wallclock) [out]
ICFP_2010_relative/3498.xml 11771792 UNSUPPORTED YES 341.36/116.35 (UNSUPPORTED 0.29) timeout (wallclock) [out]
ICFP_2010_relative/3533.xml 11771765 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3562.xml 11771747 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3589.xml 11771797 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3633.xml 11771799 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3680.xml 11771774 timeout (wallclock) [out] CERTIFIED YES 105.56/28.23 (CERTIFIED 32.76)
ICFP_2010_relative/3705.xml 11771830 UNSUPPORTED YES 210.58/72.53 (UNSUPPORTED 0.30) timeout (wallclock) [out]
ICFP_2010_relative/3729.xml 11771889 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3746.xml 11771819 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3762.xml 11771805 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3770.xml 11771826 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3786.xml 11771784 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3817.xml 11771778 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3831.xml 11771844 timeout (wallclock) [out] CERTIFIED YES 112.21/29.74 (CERTIFIED 18.83)
ICFP_2010_relative/3842.xml 11771885 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3856.xml 11771816 timeout (wallclock) [out] CERTIFIED YES 160.40/41.70 (CERTIFIED 22.27)
ICFP_2010_relative/3861.xml 11771863 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3865.xml 11771767 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3916.xml 11771786 MAYBE 22.46/7.48 ERROR 0.63/0.35
ICFP_2010_relative/3930.xml 11771872 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3939.xml 11771864 timeout (wallclock) [out] ERROR 773.05/296.51
ICFP_2010_relative/3989.xml 11771804 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3995.xml 11771833 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4002.xml 11771868 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4017.xml 11771740 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4029.xml 11771845 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4036.xml 11771835 UNSUPPORTED YES 144.13/50.34 (UNSUPPORTED 0.31) CERTIFIED YES 174.12/45.23 (CERTIFIED 26.56)
ICFP_2010_relative/4046.xml 11771752 MAYBE 22.37/7.49 ERROR 0.51/0.31
ICFP_2010_relative/4051.xml 11771789 timeout (wallclock) [out] CERTIFIED YES 218.95/56.47 (CERTIFIED 33.92)
ICFP_2010_relative/4057.xml 11771750 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4074.xml 11771772 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4106.xml 11771744 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/41378.xml 11771771 UNSUPPORTED YES 175.42/64.86 (UNSUPPORTED 1.07) timeout (wallclock) [out]
ICFP_2010_relative/4141.xml 11771738 UNSUPPORTED YES 415.68/141.17 (UNSUPPORTED 0.28) timeout (wallclock) [out]
ICFP_2010_relative/4157.xml 11771779 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4181.xml 11771776 UNSUPPORTED YES 273.33/93.72 (UNSUPPORTED 0.31) CERTIFIED YES 230.75/59.47 (CERTIFIED 26.14)
ICFP_2010_relative/4200.xml 11771758 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4248.xml 11771811 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4282.xml 11771852 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4374.xml 11771806 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4412.xml 11771780 timeout (wallclock) [out] CERTIFIED YES 191.04/49.45 (CERTIFIED 25.58)
ICFP_2010_relative/4484.xml 11771760 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4487.xml 11771857 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4816.xml 11771866 UNSUPPORTED YES 136.26/47.92 (UNSUPPORTED 0.31) CERTIFIED YES 199.82/51.80 (CERTIFIED 21.33)
ICFP_2010_relative/4819.xml 11771824 timeout (wallclock) [out] CERTIFIED YES 90.16/24.16 (CERTIFIED 21.98)
ICFP_2010_relative/4824.xml 11771858 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4827.xml 11771761 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4840.xml 11771893 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4847.xml 11771888 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4854.xml 11771822 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4893.xml 11771790 timeout (wallclock) [out] ERROR 616.63/292.40
ICFP_2010_relative/4920.xml 11771739 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4934.xml 11771829 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4938.xml 11771782 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4943.xml 11771777 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4953.xml 11771802 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4964.xml 11771894 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4970.xml 11771821 MAYBE 22.34/7.47 ERROR 0.57/0.41
ICFP_2010_relative/4979.xml 11771818 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4991.xml 11771876 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/5011.xml 11771828 MAYBE 24.71/7.49 ERROR 0.56/0.50
ICFP_2010_relative/5076.xml 11771803 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/5109.xml 11771841 UNSUPPORTED YES 274.16/93.72 (UNSUPPORTED 0.30) CERTIFIED YES 103.78/27.52 (CERTIFIED 28.33)
ICFP_2010_relative/5130.xml 11771768 timeout (wallclock) [out] CERTIFIED YES 96.62/25.95 (CERTIFIED 18.71)
ICFP_2010_relative/54097.xml 11771736 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/63142.xml 11771875 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/64160.xml 11771746 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/88143.xml 11771762 UNSUPPORTED YES 641.76/216.79 (UNSUPPORTED 0.26) CERTIFIED YES 63.51/21.20 (CERTIFIED 8.40)
ICFP_2010_relative/88172.xml 11771865 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/91242.xml 11771770 timeout (wallclock) [out] ERROR 567.98/299.12
ICFP_2010_relative/97888.xml 11771793 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/97901.xml 11771795 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/97917.xml 11771817 timeout (wallclock) [out] ERROR 537.66/293.97
ICFP_2010_relative/97929.xml 11771870 timeout (wallclock) [out] timeout (wallclock) [out]
27 91