Termination Competition 2019: SRS Standard33458

Job info CSV
benchmark AProVE standard matchbox-2019-03-17 std.sh MultumNonMulta 3.12 2019 20G default muterm 6.0.3 default NaTT Default ttt2-1.19 ttt2
ICFP_2010/167391.xml 5163713 YES 261.38/67.99 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.75/52.41
ICFP_2010/4484.xml 5163714 timeout (wallclock) [out] YES 7.37/1.90 YES 80.89/20.76 timeout (wallclock) [out] timeout (wallclock) [out] YES 62.39/16.32
ICFP_2010/26862.xml 5163715 timeout (wallclock) [out] YES 86.98/22.28 YES 29.36/7.84 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.49/50.59
ICFP_2010/137956.xml 5163716 timeout (wallclock) [out] YES 495.07/127.13 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.59/51.58
ICFP_2010/86559.xml 5163717 YES 11.25/3.68 YES 0.36/0.11 YES 2.25/0.78 timeout (wallclock) [out] timeout (wallclock) [out] YES 2.95/1.31
ICFP_2010/264033.xml 5163718 YES 22.22/6.77 YES 0.52/0.15 YES 2.06/0.73 timeout (wallclock) [out] YES 0.05/0.20 YES 17.12/4.87
ICFP_2010/131982.xml 5163719 timeout (wallclock) [out] YES 153.30/39.13 YES 593.42/150.41 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.34/50.50
ICFP_2010/137809.xml 5163720 YES 768.85/265.89 YES 117.25/29.77 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.36/50.48
ICFP_2010/4057.xml 5163721 timeout (wallclock) [out] YES 6.34/1.64 YES 29.73/7.98 timeout (wallclock) [out] timeout (wallclock) [out] YES 61.61/16.14
ICFP_2010/45757.xml 5163722 timeout (wallclock) [out] YES 15.17/3.90 YES 89.46/23.38 timeout (wallclock) [out] timeout (wallclock) [out] YES 75.02/19.50
ICFP_2010/139256.xml 5163723 YES 47.57/12.90 YES 267.84/68.45 YES 89.78/23.28 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.83/50.82
ICFP_2010/158208.xml 5163724 timeout (wallclock) [out] YES 602.25/153.81 YES 876.46/236.94 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.59/51.58
ICFP_2010/5130.xml 5163725 timeout (wallclock) [out] YES 18.04/4.64 YES 275.49/70.02 timeout (wallclock) [out] timeout (wallclock) [out] YES 67.32/17.57
ICFP_2010/3770.xml 5163726 YES 104.08/27.35 YES 0.81/0.22 YES 3.01/0.98 timeout (wallclock) [out] YES 0.08/0.46 YES 7.35/2.21
ICFP_2010/48267.xml 5163727 timeout (wallclock) [out] YES 35.30/9.06 YES 322.7/82.19 timeout (wallclock) [out] timeout (wallclock) [out] YES 154.85/39.83
ICFP_2010/4206.xml 5163728 timeout (wallclock) [out] YES 686.97/180.42 YES 487.87/125.38 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 190.46/63.43
ICFP_2010/185453.xml 5163729 timeout (wallclock) [out] YES 563.26/143.80 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.96/51.99
ICFP_2010/214011.xml 5163730 YES 34.68/9.68 YES 3.25/0.85 YES 16.30/4.46 timeout (wallclock) [out] YES 10.55/8.87 YES 20.06/5.50
ICFP_2010/96334.xml 5163731 timeout (wallclock) [out] YES 4.93/1.28 YES 19.20/6.07 timeout (wallclock) [out] timeout (wallclock) [out] YES 22.49/5.99
ICFP_2010/135604.xml 5163732 timeout (wallclock) [out] YES 112.83/28.64 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 174.00/50.52
ICFP_2010/3842.xml 5163733 timeout (wallclock) [out] YES 7.40/1.91 YES 42.98/11.20 timeout (wallclock) [out] timeout (wallclock) [out] YES 62.02/16.25
ICFP_2010/41688.xml 5163734 timeout (wallclock) [out] YES 585.13/150.14 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 257.54/51.59
ICFP_2010/4979.xml 5163735 YES 186.54/48.21 YES 8.43/2.17 YES 25.18/6.76 timeout (wallclock) [out] timeout (wallclock) [out] YES 54.96/14.45
ICFP_2010/4487.xml 5163736 timeout (wallclock) [out] YES 7.60/1.96 YES 65.81/18.15 timeout (wallclock) [out] timeout (wallclock) [out] YES 64.95/16.96
ICFP_2010/4943.xml 5163737 timeout (wallclock) [out] YES 4.22/1.10 YES 30.64/8.09 timeout (wallclock) [out] timeout (wallclock) [out] YES 39.35/10.46
ICFP_2010/3916.xml 5163738 timeout (wallclock) [out] YES 8.44/2.18 YES 167.70/44.88 timeout (wallclock) [out] timeout (wallclock) [out] YES 113.09/21.02
ICFP_2010/160068.xml 5163739 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.66/51.73
ICFP_2010/4106.xml 5163740 timeout (wallclock) [out] YES 4.84/1.26 YES 11.22/3.11 timeout (wallclock) [out] timeout (wallclock) [out] YES 50.68/13.28
ICFP_2010/26741.xml 5163741 timeout (wallclock) [out] YES 47.01/12.06 YES 29.44/7.88 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.83/50.81
ICFP_2010/4893.xml 5163742 timeout (wallclock) [out] YES 11.28/2.93 YES 38.48/10.08 timeout (wallclock) [out] timeout (wallclock) [out] YES 70.12/18.30
ICFP_2010/149849.xml 5163743 timeout (wallclock) [out] YES 589.0/149.15 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 182.21/55.21
ICFP_2010/136051.xml 5163744 timeout (wallclock) [out] YES 110.06/27.96 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.43/50.49
ICFP_2010/246924.xml 5163745 YES 9.39/3.20 YES 0.53/0.15 YES 1.02/0.47 MAYBE 0.01/0.01 MAYBE 0.01/0.00 MAYBE 182.99/56.01
ICFP_2010/26927.xml 5163746 timeout (wallclock) [out] YES 48.21/12.36 YES 35.80/9.49 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.91/50.79
ICFP_2010/26923.xml 5163747 timeout (wallclock) [out] YES 105.15/26.98 YES 35.82/9.49 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.60/50.71
ICFP_2010/161533.xml 5163748 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.35/52.60
ICFP_2010/135659.xml 5163749 YES 387.83/111.78 YES 148.93/40.70 YES 171.87/44.37 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.54/51.61
ICFP_2010/139310.xml 5163750 YES 37.14/10.29 YES 253.72/64.75 YES 85.65/22.29 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.72/50.81
ICFP_2010/136623.xml 5163751 timeout (wallclock) [out] YES 95.58/24.27 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 197.28/50.47
ICFP_2010/212062.xml 5163752 YES 14.11/4.56 YES 6.51/1.70 YES 16.61/4.52 YES 1.80/1.90 timeout (wallclock) [out] YES 26.28/5.01
ICFP_2010/54532.xml 5163753 YES 10.64/3.54 YES 0.23/0.08 YES 1.03/0.47 MAYBE 0.01/0.01 MAYBE 0.01/0.01 YES 24.28/19.89
ICFP_2010/27039.xml 5163754 timeout (wallclock) [out] YES 36.91/9.47 YES 28.76/7.74 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.51/50.62
ICFP_2010/132478.xml 5163755 YES 55.93/15.07 YES 273.71/69.93 YES 186.02/54.15 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.76/50.82
ICFP_2010/157275.xml 5163756 YES 63.02/16.97 YES 697.88/177.93 YES 67.04/18.89 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.41/51.60
ICFP_2010/4824.xml 5163757 timeout (wallclock) [out] YES 12.02/3.11 YES 15.55/4.44 timeout (wallclock) [out] timeout (wallclock) [out] YES 58.10/15.22
ICFP_2010/4938.xml 5163758 timeout (wallclock) [out] YES 9.90/2.56 YES 323.68/82.45 timeout (wallclock) [out] timeout (wallclock) [out] YES 81.82/21.26
ICFP_2010/88172.xml 5163759 timeout (wallclock) [out] YES 8.04/2.07 YES 32.49/10.08 timeout (wallclock) [out] timeout (wallclock) [out] YES 63.71/16.75
ICFP_2010/152865.xml 5163760 timeout (wallclock) [out] YES 125.13/33.72 YES 35.41/9.31 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.55/51.73
ICFP_2010/132920.xml 5163761 YES 43.82/11.99 YES 274.71/71.07 YES 141.19/68.83 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.62/50.81
ICFP_2010/88183.xml 5163762 timeout (wallclock) [out] YES 11.53/2.97 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 70.46/18.90
ICFP_2010/27001.xml 5163763 timeout (wallclock) [out] YES 48.66/12.50 YES 37.87/10.04 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.77/50.76
ICFP_2010/157593.xml 5163764 YES 44.02/12.15 YES 0.61/0.19 YES 25.25/6.69 YES 5.94/6.11 timeout (wallclock) [out] MAYBE 193.65/50.08
ICFP_2010/91218.xml 5163765 timeout (wallclock) [out] YES 63.86/16.22 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.75/50.80
ICFP_2010/26845.xml 5163766 timeout (wallclock) [out] YES 48.79/12.50 YES 36.45/9.59 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.85/50.73
ICFP_2010/139163.xml 5163767 YES 71.05/19.20 YES 275.66/70.31 YES 510.08/129.42 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 194.69/50.82
ICFP_2010/4314.xml 5163768 timeout (wallclock) [out] YES 13.30/3.42 YES 38.01/10.11 timeout (wallclock) [out] timeout (wallclock) [out] YES 57.12/14.97
ICFP_2010/26886.xml 5163769 timeout (wallclock) [out] YES 33.93/8.73 YES 23.74/6.40 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.40/50.53
ICFP_2010/158477.xml 5163770 timeout (wallclock) [out] YES 599.95/153.11 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.37/51.59
ICFP_2010/27213.xml 5163771 YES 49.18/13.56 YES 26.09/7.22 YES 18.29/5.03 timeout (wallclock) [out] YES 0.61/0.63 YES 20.23/5.87
ICFP_2010/96289.xml 5163772 timeout (wallclock) [out] YES 8.49/2.18 YES 18.00/5.51 timeout (wallclock) [out] timeout (wallclock) [out] YES 23.44/6.24
ICFP_2010/26946.xml 5163773 timeout (wallclock) [out] YES 54.37/13.87 YES 37.65/9.96 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.00/50.82
ICFP_2010/97888.xml 5163774 timeout (wallclock) [out] YES 538.35/136.83 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.62/52.77
ICFP_2010/4374.xml 5163775 timeout (wallclock) [out] YES 6.90/1.78 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 58.23/15.27
ICFP_2010/26871.xml 5163776 timeout (wallclock) [out] YES 105.39/27.08 YES 35.61/9.43 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.9/50.74
ICFP_2010/43266.xml 5163777 timeout (wallclock) [out] YES 584.37/149.61 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.53/51.59
ICFP_2010/98623.xml 5163778 YES 36.38/10.07 YES 709.43/180.77 YES 88.87/23.51 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.65/51.63
ICFP_2010/128430.xml 5163779 YES 46.44/12.78 YES 266.86/68.17 YES 130.64/35.80 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.81/50.82
ICFP_2010/41427.xml 5163780 timeout (wallclock) [out] YES 568.38/145.22 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.55/51.59
ICFP_2010/160263.xml 5163781 YES 56.19/15.21 YES 3.22/0.85 YES 16.61/4.46 timeout (wallclock) [out] YES 1.25/1.27 YES 17.45/4.85
ICFP_2010/25422.xml 5163782 timeout (wallclock) [out] YES 33.01/8.49 YES 27.44/7.37 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.54/50.53
ICFP_2010/96464.xml 5163783 YES 70.71/18.81 YES 4.65/1.21 YES 3.09/1.08 timeout (wallclock) [out] timeout (wallclock) [out] YES 26.54/7.25
ICFP_2010/26974.xml 5163784 timeout (wallclock) [out] YES 45.76/11.75 YES 31.83/8.51 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.57/50.67
ICFP_2010/85079.xml 5163785 YES 222.42/57.44 YES 6.73/1.74 YES 7.42/2.12 timeout (wallclock) [out] timeout (wallclock) [out] YES 73.34/19.23
ICFP_2010/135328.xml 5163786 timeout (wallclock) [out] YES 138.96/35.39 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.49/50.46
ICFP_2010/97885.xml 5163787 timeout (wallclock) [out] YES 495.85/125.79 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.96/52.96
ICFP_2010/231300.xml 5163788 YES 19.41/5.70 YES 0.18/0.11 YES 1.07/0.49 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 181.95/54.84
ICFP_2010/140639.xml 5163789 YES 21.78/6.85 YES 72.68/18.55 YES 36.72/18.91 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 176.85/50.02
ICFP_2010/212693.xml 5163790 YES 20.52/10.16 YES 5.07/1.32 YES 7.72/2.21 timeout (wallclock) [out] YES 0.85/0.87 YES 28.59/7.69
ICFP_2010/139174.xml 5163791 YES 40.92/11.30 YES 286.47/73.19 YES 93.28/24.30 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.79/50.83
ICFP_2010/96256.xml 5163792 timeout (wallclock) [out] YES 6.52/1.68 YES 6.69/1.90 timeout (wallclock) [out] timeout (wallclock) [out] YES 24.17/6.66
ICFP_2010/166493.xml 5163793 timeout (wallclock) [out] YES 763.33/194.20 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.06/52.02
ICFP_2010/259405.xml 5163794 YES 65.36/17.39 YES 283.49/71.91 YES 123.85/56.04 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 191.00/64.10
ICFP_2010/4157.xml 5163795 timeout (wallclock) [out] YES 23.49/6.05 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 72.92/19.02
ICFP_2010/86816.xml 5163796 timeout (wallclock) [out] YES 13.34/3.42 YES 165.99/43.87 timeout (wallclock) [out] timeout (wallclock) [out] YES 56.31/14.37
ICFP_2010/230780.xml 5163797 YES 24.28/7.06 YES 0.28/0.09 YES 1.14/0.48 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 190.88/63.51
ICFP_2010/91242.xml 5163798 timeout (wallclock) [out] YES 78.56/19.91 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.71/50.69
ICFP_2010/149251.xml 5163799 timeout (wallclock) [out] YES 945.87/239.69 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.37/54.29
ICFP_2010/42321.xml 5163800 YES 51.55/13.96 YES 666.25/169.83 YES 91.27/40.63 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.48/51.62
ICFP_2010/140664.xml 5163801 timeout (wallclock) [out] YES 148.89/37.93 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.31/50.32
ICFP_2010/85294.xml 5163802 timeout (wallclock) [out] YES 27.80/7.10 YES 298.31/75.70 timeout (wallclock) [out] timeout (wallclock) [out] YES 68.06/17.92
ICFP_2010/51842.xml 5163803 timeout (wallclock) [out] YES 299.33/75.54 YES 157.39/49.62 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 183.34/61.51
ICFP_2010/26969.xml 5163804 timeout (wallclock) [out] YES 47.37/12.24 YES 37.90/10.02 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.83/50.79
ICFP_2010/128691.xml 5163805 YES 37.28/10.34 YES 256.00/65.42 YES 95.07/24.97 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.82/50.82
ICFP_2010/27009.xml 5163806 timeout (wallclock) [out] YES 54.54/13.94 YES 32.54/8.61 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.72/50.79
ICFP_2010/165713.xml 5163807 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.79/51.83
ICFP_2010/26903.xml 5163808 timeout (wallclock) [out] YES 46.87/12.02 YES 31.82/8.48 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.68/50.69
ICFP_2010/4953.xml 5163809 timeout (wallclock) [out] YES 17.29/4.51 YES 283.38/72.21 timeout (wallclock) [out] timeout (wallclock) [out] YES 64.35/16.83
ICFP_2010/133236.xml 5163810 timeout (wallclock) [out] YES 510.33/131.07 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.49/51.62
ICFP_2010/131633.xml 5163811 timeout (wallclock) [out] YES 106.92/27.10 YES 1022.25/258.92 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 180.40/50.48
ICFP_2010/161917.xml 5163812 timeout (wallclock) [out] YES 651.12/165.28 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.17/52.20
ICFP_2010/128550.xml 5163813 YES 47.85/13.01 YES 260.07/66.80 YES 111.16/40.76 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.82/50.82
ICFP_2010/211471.xml 5163814 YES 18.79/7.66 YES 0.19/0.06 YES 0.74/0.40 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 205.74/52.52
ICFP_2010/39830.xml 5163815 timeout (wallclock) [out] YES 660.63/168.50 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.61/51.61
ICFP_2010/57355.xml 5163816 YES 487.16/124.80 YES 18.59/4.80 YES 39.47/10.40 timeout (wallclock) [out] YES 2.73/2.87 YES 38.69/10.30
ICFP_2010/132611.xml 5163817 YES 31.29/9.21 YES 0.64/0.20 YES 2.06/0.72 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.34/50.49
ICFP_2010/153090.xml 5163818 YES 65.59/17.46 YES 672.47/171.46 YES 595.89/171.63 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.60/51.61
ICFP_2010/159731.xml 5163819 YES 90.98/24.19 YES 4.02/1.05 YES 5.77/1.71 timeout (wallclock) [out] timeout (wallclock) [out] YES 17.91/4.61
ICFP_2010/212037.xml 5163820 YES 110.00/28.88 YES 4.67/1.21 YES 48.96/13.40 timeout (wallclock) [out] timeout (wallclock) [out] YES 20.07/5.53
ICFP_2010/149633.xml 5163821 timeout (wallclock) [out] YES 689.35/174.56 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.44/54.40
ICFP_2010/133486.xml 5163822 timeout (wallclock) [out] YES 119.12/30.29 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.47/50.46
ICFP_2010/134918.xml 5163823 timeout (wallclock) [out] YES 107.10/27.19 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.33/50.47
ICFP_2010/213719.xml 5163824 timeout (wallclock) [out] YES 3.96/1.04 YES 34.72/9.12 timeout (wallclock) [out] YES 179.23/175.06 YES 19.13/5.29
ICFP_2010/212263.xml 5163825 YES 16.82/5.10 YES 1.47/0.40 YES 5.05/1.50 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.58/2.84
ICFP_2010/152694.xml 5163826 timeout (wallclock) [out] YES 544.48/138.85 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.53/51.59
ICFP_2010/138269.xml 5163827 timeout (wallclock) [out] YES 115.78/29.45 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.62/50.49
ICFP_2010/157436.xml 5163828 YES 591.02/152.74 YES 24.21/6.24 YES 43.43/11.28 timeout (wallclock) [out] timeout (wallclock) [out] YES 67.39/17.57
ICFP_2010/4964.xml 5163829 timeout (wallclock) [out] YES 7.32/1.89 YES 32.88/8.78 timeout (wallclock) [out] timeout (wallclock) [out] YES 63.06/16.51
ICFP_2010/133010.xml 5163830 YES 42.17/11.66 YES 268.52/68.74 YES 158.60/45.67 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.73/50.81
ICFP_2010/247906.xml 5163831 YES 76.73/20.40 YES 0.25/0.09 YES 1.64/0.65 MAYBE 0.01/0.01 MAYBE 0.01/0.02 MAYBE 186.57/59.18
ICFP_2010/130472.xml 5163832 timeout (wallclock) [out] YES 543.84/139.02 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.58/51.59
ICFP_2010/28464.xml 5163833 YES 75.86/20.96 YES 43.25/11.70 YES 25.89/6.95 timeout (wallclock) [out] YES 1.56/1.59 YES 61.79/8.97
ICFP_2010/138468.xml 5163834 YES 66.61/18.03 YES 7.77/2.04 YES 3.99/1.28 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.02/52.21
ICFP_2010/133159.xml 5163835 timeout (wallclock) [out] YES 125.56/31.89 YES 1119.96/283.83 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.50/50.47
ICFP_2010/211857.xml 5163836 YES 23.20/6.79 YES 0.25/0.08 YES 30.15/7.92 YES 0.70/0.81 YES 1.21/1.23 YES 32.00/8.55
ICFP_2010/96523.xml 5163837 timeout (wallclock) [out] YES 4.62/1.20 YES 8.13/2.37 timeout (wallclock) [out] timeout (wallclock) [out] YES 15.62/4.47
ICFP_2010/247504.xml 5163838 YES 16.37/4.67 YES 0.50/0.15 YES 1.02/0.47 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 182.89/55.90
ICFP_2010/25711.xml 5163839 timeout (wallclock) [out] YES 92.81/23.49 YES 42.04/11.04 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 174.50/50.83
ICFP_2010/86452.xml 5163840 timeout (wallclock) [out] YES 8.68/2.23 YES 65.52/18.01 timeout (wallclock) [out] timeout (wallclock) [out] YES 37.68/10.11
ICFP_2010/26993.xml 5163841 timeout (wallclock) [out] YES 73.12/18.55 YES 41.37/10.87 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.66/50.83
ICFP_2010/128280.xml 5163842 YES 53.43/14.37 YES 278.93/71.45 YES 94.83/24.38 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.77/50.82
ICFP_2010/158152.xml 5163843 YES 589.03/152.77 YES 16.30/4.21 YES 151.73/38.86 timeout (wallclock) [out] timeout (wallclock) [out] YES 44.21/11.67
ICFP_2010/127538.xml 5163844 YES 49.35/13.44 YES 258.59/66.26 YES 88.84/23.01 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.64/50.82
ICFP_2010/96198.xml 5163845 timeout (wallclock) [out] YES 4.79/1.24 YES 17.22/4.78 timeout (wallclock) [out] timeout (wallclock) [out] YES 25.92/7.06
ICFP_2010/27026.xml 5163846 timeout (wallclock) [out] YES 48.09/12.25 YES 32.22/8.53 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.69/50.80
ICFP_2010/212795.xml 5163847 YES 299.15/76.22 YES 2.97/0.78 YES 87.81/22.66 timeout (wallclock) [out] timeout (wallclock) [out] YES 21.48/5.88
ICFP_2010/26116.xml 5163848 timeout (wallclock) [out] YES 39.35/10.09 YES 32.71/8.66 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.53/50.65
ICFP_2010/25743.xml 5163849 timeout (wallclock) [out] YES 45.07/11.55 YES 33.33/8.88 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.66/50.76
ICFP_2010/160475.xml 5163850 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.09/52.28
ICFP_2010/26919.xml 5163851 timeout (wallclock) [out] YES 59.95/15.30 YES 39.91/10.51 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.85/50.87
ICFP_2010/26683.xml 5163852 YES 30.35/8.56 YES 21.59/5.62 YES 9.13/2.60 timeout (wallclock) [out] YES 0.06/0.39 YES 13.15/3.68
ICFP_2010/27019.xml 5163853 timeout (wallclock) [out] YES 47.96/12.31 YES 31.70/8.45 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.71/50.70
ICFP_2010/248060.xml 5163854 YES 18.42/5.44 YES 0.48/0.14 YES 1.10/0.48 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 182.58/55.78
ICFP_2010/3989.xml 5163855 timeout (wallclock) [out] YES 2.43/0.65 YES 6.79/1.94 timeout (wallclock) [out] timeout (wallclock) [out] YES 22.12/6.06
ICFP_2010/96029.xml 5163856 timeout (wallclock) [out] YES 6.14/1.59 YES 44.70/12.66 timeout (wallclock) [out] timeout (wallclock) [out] YES 28.82/7.51
ICFP_2010/135505.xml 5163857 timeout (wallclock) [out] YES 697.10/178.39 YES 161.53/41.52 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.56/51.61
ICFP_2010/27013.xml 5163858 YES 1023.61/289.36 YES 39.33/10.10 YES 26.87/7.21 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.56/50.59
ICFP_2010/140631.xml 5163859 YES 803.33/279.04 YES 19.90/5.22 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 134.37/34.66
ICFP_2010/231149.xml 5163860 YES 10.13/3.53 YES 0.35/0.11 YES 0.98/0.47 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 179.46/52.45
ICFP_2010/85477.xml 5163861 YES 72.19/19.15 YES 2.93/0.77 YES 6.59/1.91 timeout (wallclock) [out] timeout (wallclock) [out] YES 45.12/12.06
ICFP_2010/128486.xml 5163862 YES 37.90/10.52 YES 264.33/67.48 YES 98.12/25.28 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.66/50.82
ICFP_2010/149415.xml 5163863 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.78/54.84
ICFP_2010/124791.xml 5163864 timeout (wallclock) [out] YES 113.17/28.81 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.51/50.48
ICFP_2010/247020.xml 5163865 YES 13.04/5.58 YES 0.29/0.15 YES 1.24/0.51 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 210.68/67.71
ICFP_2010/28838.xml 5163866 YES 88.95/23.49 YES 69.41/18.85 YES 31.93/8.62 timeout (wallclock) [out] YES 1.37/1.35 YES 36.01/10.49
ICFP_2010/27131.xml 5163867 YES 48.04/13.34 YES 42.07/10.92 YES 24.96/6.65 timeout (wallclock) [out] YES 0.10/0.53 YES 15.84/4.62
ICFP_2010/91254.xml 5163868 timeout (wallclock) [out] YES 63.16/16.11 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.90/50.80
ICFP_2010/139018.xml 5163869 YES 49.49/13.51 YES 245.33/62.75 YES 106.99/33.39 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.71/50.80
ICFP_2010/86745.xml 5163870 YES 12.11/3.86 YES 0.31/0.10 YES 1.54/0.60 timeout (wallclock) [out] timeout (wallclock) [out] YES 42.13/11.31
ICFP_2010/26110.xml 5163871 timeout (wallclock) [out] YES 48.95/12.53 YES 29.69/7.93 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.5/50.67
ICFP_2010/3533.xml 5163872 timeout (wallclock) [out] YES 3.10/0.81 YES 27.87/7.42 timeout (wallclock) [out] timeout (wallclock) [out] YES 30.04/8.08
ICFP_2010/139036.xml 5163873 YES 44.66/12.26 YES 280.03/71.66 YES 88.72/23.02 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.76/50.83
ICFP_2010/139180.xml 5163874 YES 76.33/20.30 YES 323.08/82.44 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.74/50.84
ICFP_2010/57453.xml 5163875 timeout (wallclock) [out] YES 18.93/5.08 YES 46.96/13.27 timeout (wallclock) [out] timeout (wallclock) [out] YES 63.30/16.71
ICFP_2010/139378.xml 5163876 YES 54.35/14.66 YES 248.90/63.81 YES 84.62/22.32 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.74/50.82
ICFP_2010/26951.xml 5163877 timeout (wallclock) [out] YES 45.29/11.59 YES 34.19/9.08 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.42/50.59
ICFP_2010/27030.xml 5163878 YES 63.53/17.14 YES 17.87/5.11 YES 10.29/2.99 timeout (wallclock) [out] YES 0.08/0.37 YES 14.91/4.32
ICFP_2010/153288.xml 5163879 YES 162.44/42.41 YES 40.65/10.51 YES 21.77/5.87 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.67/51.61
ICFP_2010/136571.xml 5163880 timeout (wallclock) [out] YES 710.04/180.92 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.47/51.60
ICFP_2010/138254.xml 5163881 YES 37.22/10.28 YES 0.77/0.25 YES 2.03/0.72 timeout (wallclock) [out] YES 77.06/77.19 MAYBE 177.44/50.48
ICFP_2010/140359.xml 5163882 YES 40.09/11.05 YES 261.04/66.69 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.59/50.82
ICFP_2010/186023.xml 5163883 YES 20.05/6.04 YES 0.86/0.30 YES 7.01/4.53 timeout (wallclock) [out] YES 257.23/257.30 MAYBE 179.37/52.02
ICFP_2010/137136.xml 5163884 timeout (wallclock) [out] YES 573.29/146.46 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.63/51.60
ICFP_2010/4920.xml 5163885 timeout (wallclock) [out] YES 6.03/1.56 YES 62.94/16.36 timeout (wallclock) [out] timeout (wallclock) [out] YES 56.31/14.78
ICFP_2010/48374.xml 5163886 timeout (wallclock) [out] YES 39.88/10.22 YES 478.10/121.06 timeout (wallclock) [out] timeout (wallclock) [out] YES 141.20/36.41
ICFP_2010/88208.xml 5163887 YES 31.65/8.85 YES 9.52/2.46 YES 29.29/9.65 timeout (wallclock) [out] timeout (wallclock) [out] YES 72.81/19.09
ICFP_2010/85380.xml 5163888 timeout (wallclock) [out] YES 20.94/5.38 YES 237.49/60.45 timeout (wallclock) [out] timeout (wallclock) [out] YES 94.55/17.70
ICFP_2010/95952.xml 5163889 timeout (wallclock) [out] YES 11.98/3.10 YES 212.14/58.83 timeout (wallclock) [out] timeout (wallclock) [out] YES 56.35/14.91
ICFP_2010/96176.xml 5163890 timeout (wallclock) [out] YES 4.35/1.13 YES 12.08/3.89 timeout (wallclock) [out] timeout (wallclock) [out] YES 23.94/6.62
ICFP_2010/26954.xml 5163891 timeout (wallclock) [out] YES 56.27/14.97 YES 37.26/9.83 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.46/50.69
ICFP_2010/182946.xml 5163892 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 199.64/52.00
ICFP_2010/41378.xml 5163893 timeout (wallclock) [out] YES 260.44/65.92 YES 83.06/28.89 timeout (wallclock) [out] timeout (wallclock) [out] YES 101.02/33.21
ICFP_2010/213051.xml 5163894 YES 69.63/18.55 YES 0.34/0.11 YES 43.68/11.61 YES 7.46/7.29 YES 11.62/11.67 YES 59.71/15.57
ICFP_2010/3831.xml 5163895 timeout (wallclock) [out] YES 22.54/5.81 YES 159.37/40.81 timeout (wallclock) [out] timeout (wallclock) [out] YES 71.52/18.65
ICFP_2010/136693.xml 5163896 timeout (wallclock) [out] YES 543.57/139.55 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.66/51.61
ICFP_2010/160427.xml 5163897 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.06/52.01
ICFP_2010/84977.xml 5163898 timeout (wallclock) [out] YES 19.76/5.07 YES 162.52/41.35 timeout (wallclock) [out] timeout (wallclock) [out] YES 74.40/19.55
ICFP_2010/136934.xml 5163899 timeout (wallclock) [out] YES 533.25/136.77 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.50/51.60
ICFP_2010/24100.xml 5163900 memout [out] YES 19.29/4.97 YES 21.04/5.65 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 176.87/49.89
ICFP_2010/96119.xml 5163901 timeout (wallclock) [out] YES 6.91/1.78 YES 12.41/3.38 timeout (wallclock) [out] timeout (wallclock) [out] YES 24.97/6.91
ICFP_2010/124211.xml 5163902 timeout (wallclock) [out] YES 99.50/25.23 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.28/50.48
ICFP_2010/27036.xml 5163903 timeout (wallclock) [out] YES 48.80/12.44 YES 41.43/10.96 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.78/50.79
ICFP_2010/138142.xml 5163904 YES 16.57/5.06 YES 0.54/0.18 YES 1.95/0.67 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.43/50.51
ICFP_2010/26127.xml 5163905 timeout (wallclock) [out] YES 56.77/14.44 YES 38.75/10.27 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.76/50.85
ICFP_2010/212117.xml 5163906 YES 48.39/13.16 YES 4.43/1.16 YES 12.52/3.47 timeout (wallclock) [out] timeout (wallclock) [out] YES 25.09/6.84
ICFP_2010/88156.xml 5163907 YES 81.31/21.52 YES 11.05/2.86 YES 34.66/10.88 timeout (wallclock) [out] timeout (wallclock) [out] YES 71.63/18.80
ICFP_2010/138330.xml 5163908 timeout (wallclock) [out] YES 105.57/26.85 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.58/50.49
ICFP_2010/40976.xml 5163909 YES 80.03/21.40 YES 349.88/89.07 YES 958.76/242.82 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 185.20/51.60
ICFP_2010/138477.xml 5163910 timeout (wallclock) [out] YES 105.24/26.71 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.58/50.49
ICFP_2010/85039.xml 5163911 timeout (wallclock) [out] YES 15.11/3.93 YES 207.01/52.91 timeout (wallclock) [out] timeout (wallclock) [out] YES 67.19/17.70
ICFP_2010/40093.xml 5163912 timeout (wallclock) [out] YES 1.72/0.50 YES 5.09/1.53 timeout (wallclock) [out] YES 0.5/0.57 YES 3.07/1.11
ICFP_2010/132235.xml 5163913 timeout (wallclock) [out] YES 110.36/28.03 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.31/50.47
ICFP_2010/212534.xml 5163914 YES 51.56/14.00 YES 3.50/0.92 YES 12.65/3.52 YES 11.86/11.95 YES 18.67/18.81 YES 25.38/6.88
ICFP_2010/139214.xml 5163915 YES 51.19/13.93 YES 303.74/77.68 YES 88.32/23.02 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.57/50.81
ICFP_2010/150630.xml 5163916 timeout (wallclock) [out] YES 451.99/114.47 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.84/54.71
ICFP_2010/160254.xml 5163917 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.82/51.96
ICFP_2010/26910.xml 5163918 timeout (wallclock) [out] YES 54.92/14.01 YES 38.83/10.24 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.70/50.75
ICFP_2010/44332.xml 5163919 YES 65.41/17.56 YES 684.38/174.57 YES 69.26/19.33 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.45/51.58
ICFP_2010/188674.xml 5163920 YES 35.93/10.01 YES 0.64/0.27 YES 3.16/0.98 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.91/52.01
ICFP_2010/41838.xml 5163921 timeout (wallclock) [out] YES 27.73/7.10 YES 141.66/36.18 timeout (wallclock) [out] timeout (wallclock) [out] YES 67.62/17.69
ICFP_2010/133532.xml 5163922 timeout (wallclock) [out] YES 628.63/160.88 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.64/51.62
ICFP_2010/53216.xml 5163923 timeout (wallclock) [out] YES 358.44/90.57 YES 141.12/47.18 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 188.54/61.45
ICFP_2010/25736.xml 5163924 timeout (wallclock) [out] YES 41.47/10.66 YES 34.52/9.19 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.44/50.68
ICFP_2010/3268.xml 5163925 YES 47.76/13.11 YES 0.58/0.16 YES 1.66/0.63 timeout (wallclock) [out] YES 0.04/0.31 YES 7.53/2.26
ICFP_2010/186919.xml 5163926 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.92/52.03
ICFP_2010/160398.xml 5163927 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.74/51.81
ICFP_2010/167240.xml 5163928 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.99/51.90
ICFP_2010/85874.xml 5163929 timeout (wallclock) [out] YES 16.59/4.44 YES 22.35/7.41 timeout (wallclock) [out] timeout (wallclock) [out] YES 41.85/11.21
ICFP_2010/88283.xml 5163930 timeout (wallclock) [out] YES 8.84/2.29 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 68.37/17.96
ICFP_2010/139025.xml 5163931 YES 37.48/10.38 YES 263.96/67.44 YES 476.92/131.27 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.56/50.82
ICFP_2010/153444.xml 5163932 timeout (wallclock) [out] YES 558.25/142.67 YES 708.13/200.33 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.48/51.61
ICFP_2010/212189.xml 5163933 YES 394.88/100.93 YES 4.49/1.21 YES 18.84/5.06 timeout (wallclock) [out] YES 7.59/6.61 YES 28.25/7.58
ICFP_2010/5109.xml 5163934 timeout (wallclock) [out] YES 14.50/3.74 YES 260.88/69.87 timeout (wallclock) [out] timeout (wallclock) [out] YES 61.90/16.22
ICFP_2010/139185.xml 5163935 YES 36.89/10.39 YES 330.79/84.50 YES 120.33/48.29 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.79/50.83
ICFP_2010/85267.xml 5163936 timeout (wallclock) [out] YES 18.78/4.82 YES 189.93/48.65 timeout (wallclock) [out] timeout (wallclock) [out] YES 71.05/18.66
ICFP_2010/213865.xml 5163937 YES 43.16/12.01 YES 2.70/0.72 YES 73.85/19.28 timeout (wallclock) [out] YES 4.65/4.88 YES 19.56/5.39
ICFP_2010/85782.xml 5163938 timeout (wallclock) [out] YES 8.71/2.26 YES 25.39/7.54 timeout (wallclock) [out] timeout (wallclock) [out] YES 38.31/10.28
ICFP_2010/98362.xml 5163939 YES 86.07/22.71 YES 1.78/0.48 YES 3.48/1.09 timeout (wallclock) [out] timeout (wallclock) [out] YES 53.13/14.11
ICFP_2010/4200.xml 5163940 timeout (wallclock) [out] YES 9.22/2.38 YES 348.88/89.26 timeout (wallclock) [out] timeout (wallclock) [out] YES 68.40/17.85
ICFP_2010/3467.xml 5163941 timeout (wallclock) [out] YES 7.49/1.93 YES 48.98/12.94 timeout (wallclock) [out] timeout (wallclock) [out] YES 69.10/18.01
ICFP_2010/139100.xml 5163942 YES 40.60/11.13 YES 316.28/80.93 YES 398.10/125.16 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.72/50.81
ICFP_2010/128182.xml 5163943 YES 37.83/10.61 YES 282.86/72.43 YES 95.14/24.91 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.89/50.81
ICFP_2010/26882.xml 5163944 timeout (wallclock) [out] YES 49.61/12.74 YES 30.45/8.10 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.95/50.87
ICFP_2010/147437.xml 5163945 timeout (wallclock) [out] YES 489.76/123.93 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.77/54.78
ICFP_2010/26132.xml 5163946 timeout (wallclock) [out] YES 130.26/33.57 YES 39.58/10.46 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.85/50.89
ICFP_2010/135714.xml 5163947 timeout (wallclock) [out] YES 505.96/129.89 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.49/51.59
ICFP_2010/124269.xml 5163948 timeout (wallclock) [out] YES 102.68/26.06 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.57/50.48
ICFP_2010/262998.xml 5163949 YES 17.51/5.31 YES 0.67/0.23 YES 2.57/0.87 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 190.91/63.70
ICFP_2010/137087.xml 5163950 timeout (wallclock) [out] YES 562.15/143.57 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.74/51.58
ICFP_2010/136463.xml 5163951 timeout (wallclock) [out] YES 550.49/140.36 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.54/51.58
ICFP_2010/214183.xml 5163952 YES 45.22/12.43 YES 9.64/2.51 YES 153.69/39.72 timeout (wallclock) [out] YES 231.59/229.06 YES 34.86/9.30
ICFP_2010/136534.xml 5163953 timeout (wallclock) [out] YES 558.46/142.95 YES 779.00/218.84 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.40/51.58
ICFP_2010/96104.xml 5163954 timeout (wallclock) [out] YES 6.63/1.71 YES 15.10/4.97 timeout (wallclock) [out] timeout (wallclock) [out] YES 24.00/6.64
ICFP_2010/86025.xml 5163955 timeout (wallclock) [out] YES 7.34/1.89 YES 77.30/20.09 timeout (wallclock) [out] timeout (wallclock) [out] YES 32.82/8.49
ICFP_2010/26123.xml 5163956 YES 29.11/10.03 YES 4.66/1.22 YES 3.38/1.08 timeout (wallclock) [out] YES 0.02/0.18 YES 5.70/1.79
ICFP_2010/40708.xml 5163957 timeout (wallclock) [out] YES 0.55/0.15 YES 2.77/0.92 timeout (wallclock) [out] YES 0.68/0.74 YES 4.68/1.56
ICFP_2010/26943.xml 5163958 timeout (wallclock) [out] YES 40.06/10.29 YES 25.39/6.83 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 198.04/50.63
ICFP_2010/85920.xml 5163959 timeout (wallclock) [out] YES 15.87/4.07 YES 56.69/15.89 timeout (wallclock) [out] timeout (wallclock) [out] YES 37.43/10.07
ICFP_2010/212026.xml 5163960 YES 118.18/31.04 YES 5.83/1.51 YES 505.80/139.03 timeout (wallclock) [out] timeout (wallclock) [out] YES 57.87/15.09
ICFP_2010/85749.xml 5163961 YES 13.70/4.86 YES 0.17/0.06 YES 1.44/0.58 timeout (wallclock) [out] YES 106.21/106.26 YES 47.56/12.66
ICFP_2010/211960.xml 5163962 YES 57.49/15.60 YES 6.68/1.74 YES 35.02/9.44 timeout (wallclock) [out] YES 60.82/60.85 YES 42.74/11.27
ICFP_2010/167433.xml 5163963 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.26/52.26
ICFP_2010/57799.xml 5163964 YES 85.05/22.62 YES 1125.49/288.82 YES 15.12/4.04 YES 26.75/27.48 timeout (wallclock) [out] MAYBE 176.64/49.69
ICFP_2010/152786.xml 5163965 timeout (wallclock) [out] YES 551.58/141.29 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.56/51.59
ICFP_2010/165975.xml 5163966 timeout (wallclock) [out] YES 1151.01/294.21 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.21/52.14
ICFP_2010/27003.xml 5163967 timeout (wallclock) [out] YES 48.05/12.32 YES 34.88/9.23 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.65/50.71
ICFP_2010/160660.xml 5163968 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.57/51.77
ICFP_2010/25731.xml 5163969 YES 3.63/1.58 YES 1.47/0.45 YES 1.71/0.63 timeout (wallclock) [out] YES 0.02/0.06 YES 1.94/0.80
ICFP_2010/142142.xml 5163970 YES 20.37/6.17 YES 37.92/9.74 YES 42.78/15.34 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 176.79/49.96
ICFP_2010/138089.xml 5163971 timeout (wallclock) [out] YES 545.92/140.13 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.53/51.59
ICFP_2010/27023.xml 5163972 timeout (wallclock) [out] YES 36.37/9.31 YES 29.16/7.76 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.58/50.58
ICFP_2010/84886.xml 5163973 timeout (wallclock) [out] YES 21.40/5.48 YES 334.06/85.43 timeout (wallclock) [out] timeout (wallclock) [out] YES 77.42/20.29
ICFP_2010/3865.xml 5163974 timeout (wallclock) [out] YES 10.91/2.82 YES 249.69/63.43 timeout (wallclock) [out] timeout (wallclock) [out] YES 72.52/18.91
ICFP_2010/3995.xml 5163975 timeout (wallclock) [out] YES 11.30/2.92 YES 94.33/24.48 timeout (wallclock) [out] timeout (wallclock) [out] YES 74.55/19.40
ICFP_2010/137621.xml 5163976 timeout (wallclock) [out] YES 512.48/131.15 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.59/51.60
ICFP_2010/107193.xml 5163977 timeout (wallclock) [out] YES 268.26/68.10 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.88/52.01
ICFP_2010/231604.xml 5163978 YES 15.20/4.75 YES 0.75/0.22 YES 1.27/0.51 MAYBE 0.01/0.01 MAYBE 0.01/0.02 MAYBE 195.16/68.01
ICFP_2010/138993.xml 5163979 YES 37.24/10.41 YES 281.34/71.84 YES 83.08/21.41 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.73/50.81
ICFP_2010/96156.xml 5163980 timeout (wallclock) [out] YES 7.39/1.90 YES 36.43/10.65 timeout (wallclock) [out] timeout (wallclock) [out] YES 28.81/7.90
ICFP_2010/142146.xml 5163981 YES 37.23/10.36 YES 109.01/27.77 YES 27.77/7.44 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 198.03/50.33
ICFP_2010/63142.xml 5163982 YES 10.87/3.71 YES 5.01/1.30 YES 14.34/4.83 timeout (wallclock) [out] timeout (wallclock) [out] YES 99.98/13.25
ICFP_2010/162075.xml 5163983 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.16/52.26
ICFP_2010/96485.xml 5163984 YES 11.12/3.78 YES 0.14/0.06 YES 1.31/0.54 timeout (wallclock) [out] timeout (wallclock) [out] YES 22.28/6.18
ICFP_2010/43621.xml 5163985 YES 1002.52/263.85 YES 189.94/51.05 YES 589.3/149.22 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.54/51.60
ICFP_2010/4819.xml 5163986 timeout (wallclock) [out] YES 8.31/2.15 YES 43.87/12.55 timeout (wallclock) [out] timeout (wallclock) [out] YES 71.52/18.63
ICFP_2010/247992.xml 5163987 YES 15.30/6.30 YES 0.20/0.07 YES 1.01/0.44 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 186.22/58.85
ICFP_2010/135601.xml 5163988 timeout (wallclock) [out] YES 259.42/70.94 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.65/51.63
ICFP_2010/135782.xml 5163989 timeout (wallclock) [out] YES 130.65/33.16 YES 1091.04/276.82 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.47/50.51
ICFP_2010/160210.xml 5163990 timeout (wallclock) [out] YES 872.39/221.39 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.73/52.57
ICFP_2010/157150.xml 5163991 YES 186.79/48.51 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 176.80/49.82
ICFP_2010/166001.xml 5163992 timeout (wallclock) [out] YES 1167.8/298.33 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.54/52.40
ICFP_2010/188296.xml 5163993 timeout (wallclock) [out] YES 807.03/206.62 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.99/52.01
ICFP_2010/26130.xml 5163994 YES 29.35/8.42 YES 8.77/2.52 YES 14.92/2.16 timeout (wallclock) [out] YES 0.03/0.14 YES 6.93/2.14
ICFP_2010/26960.xml 5163995 timeout (wallclock) [out] YES 59.55/15.10 YES 37.25/9.88 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.72/50.71
ICFP_2010/4282.xml 5163996 timeout (wallclock) [out] YES 15.98/4.13 YES 18.39/4.91 timeout (wallclock) [out] timeout (wallclock) [out] YES 61.47/16.11
ICFP_2010/133827.xml 5163997 YES 15.83/6.07 YES 0.80/0.24 YES 1.93/0.68 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.33/50.48
ICFP_2010/85721.xml 5163998 timeout (wallclock) [out] YES 9.40/2.49 YES 5.43/1.61 timeout (wallclock) [out] timeout (wallclock) [out] YES 44.40/11.87
ICFP_2010/149297.xml 5163999 timeout (wallclock) [out] YES 509.36/129.01 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 182.50/55.51
ICFP_2010/137404.xml 5164000 timeout (wallclock) [out] YES 125.54/31.93 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.35/50.48
ICFP_2010/26998.xml 5164001 timeout (wallclock) [out] YES 77.04/19.56 YES 38.79/10.32 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.72/50.74
ICFP_2010/264370.xml 5164002 YES 3.61/1.89 YES 0.04/0.02 YES 0.92/0.43 YES 0.01/0.01 YES 0.02/0.13 YES 1.27/0.54
ICFP_2010/25416.xml 5164003 timeout (wallclock) [out] YES 49.42/12.68 YES 38.43/10.13 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.90/50.78
ICFP_2010/27235.xml 5164004 YES 55.34/14.96 YES 50.43/13.72 YES 20.54/5.53 timeout (wallclock) [out] YES 0.58/0.60 YES 23.51/6.55
ICFP_2010/26069.xml 5164005 YES 16.32/5.22 YES 1.16/0.34 YES 1.90/0.69 timeout (wallclock) [out] YES 0.02/0.10 YES 4.33/1.42
ICFP_2010/149319.xml 5164006 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 259.68/54.13
ICFP_2010/160462.xml 5164007 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.05/52.09
ICFP_2010/26291.xml 5164008 YES 32.38/9.06 YES 30.63/8.26 YES 8.44/2.42 timeout (wallclock) [out] YES 0.05/0.30 YES 11.29/3.33
ICFP_2010/180915.xml 5164009 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.04/52.01
ICFP_2010/139190.xml 5164010 YES 40.65/11.18 YES 326.53/83.51 YES 118.83/42.63 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 186.36/50.81
ICFP_2010/26916.xml 5164011 timeout (wallclock) [out] YES 84.77/21.74 YES 33.51/8.91 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 174.90/50.69
ICFP_2010/188261.xml 5164012 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.87/52.00
ICFP_2010/162016.xml 5164013 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 199.98/52.07
ICFP_2010/3786.xml 5164014 timeout (wallclock) [out] YES 3.99/1.04 YES 19.32/5.36 timeout (wallclock) [out] timeout (wallclock) [out] YES 31.38/8.44
ICFP_2010/4074.xml 5164015 timeout (wallclock) [out] YES 9.70/2.50 YES 63.57/16.60 timeout (wallclock) [out] timeout (wallclock) [out] YES 65.89/17.24
ICFP_2010/42170.xml 5164016 timeout (wallclock) [out] YES 572.61/146.42 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.55/51.58
ICFP_2010/167087.xml 5164017 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.12/52.26
ICFP_2010/97917.xml 5164018 timeout (wallclock) [out] YES 522.34/132.59 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.86/52.84
ICFP_2010/254704.xml 5164019 timeout (wallclock) [out] YES 106.42/26.94 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 102.30/37.26
ICFP_2010/86636.xml 5164020 timeout (wallclock) [out] YES 9.21/2.37 YES 23.48/7.24 timeout (wallclock) [out] timeout (wallclock) [out] YES 28.60/7.82
ICFP_2010/68322.xml 5164021 timeout (wallclock) [out] YES 34.15/8.74 YES 296.24/75.31 timeout (wallclock) [out] timeout (wallclock) [out] YES 66.13/17.39
ICFP_2010/132622.xml 5164022 YES 43.69/11.97 YES 280.76/72.00 YES 329.86/116.73 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.83/50.83
ICFP_2010/153170.xml 5164023 timeout (wallclock) [out] YES 540.45/138.79 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.61/51.59
ICFP_2010/133079.xml 5164024 timeout (wallclock) [out] YES 594.68/151.64 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.35/51.60
ICFP_2010/26986.xml 5164025 timeout (wallclock) [out] YES 45.47/11.67 YES 30.90/8.22 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.74/50.70
ICFP_2010/212612.xml 5164026 YES 125.31/32.71 YES 6.42/1.68 YES 92.79/23.82 timeout (wallclock) [out] timeout (wallclock) [out] YES 48.05/12.65
ICFP_2010/231230.xml 5164027 YES 19.50/7.11 YES 0.20/0.07 YES 1.30/0.52 MAYBE 0.01/0.01 MAYBE 0.01/0.00 MAYBE 188.08/60.76
ICFP_2010/135115.xml 5164028 timeout (wallclock) [out] YES 92.08/23.38 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.32/50.48
ICFP_2010/230948.xml 5164029 YES 20.73/6.24 YES 0.48/0.14 YES 1.05/0.48 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 180.88/53.87
ICFP_2010/212043.xml 5164030 YES 72.98/19.51 YES 5.68/1.47 YES 13.59/3.79 timeout (wallclock) [out] timeout (wallclock) [out] YES 14.10/3.99
ICFP_2010/107236.xml 5164031 timeout (wallclock) [out] YES 257.29/65.34 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.00/51.88
ICFP_2010/161864.xml 5164032 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.41/51.57
ICFP_2010/149713.xml 5164033 timeout (wallclock) [out] YES 489.84/123.96 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.92/54.87
ICFP_2010/213437.xml 5164034 YES 66.54/17.92 YES 6.37/1.65 YES 13.33/3.72 timeout (wallclock) [out] YES 0.78/0.82 YES 20.06/5.52
ICFP_2010/132720.xml 5164035 YES 46.00/12.64 YES 267.55/68.40 YES 84.59/22.40 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.80/50.81
ICFP_2010/153371.xml 5164036 timeout (wallclock) [out] YES 629.21/160.12 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.70/51.60
ICFP_2010/167742.xml 5164037 YES 63.41/16.94 timeout (wallclock) [out] YES 87.97/24.99 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.27/52.35
ICFP_2010/140659.xml 5164038 timeout (wallclock) [out] YES 66.59/17.04 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.09/50.12
ICFP_2010/50904.xml 5164039 timeout (wallclock) [out] YES 643.47/163.05 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.22/52.25
ICFP_2010/139167.xml 5164040 YES 49.16/13.45 YES 276.17/70.66 YES 138.49/39.41 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.63/50.81
ICFP_2010/26978.xml 5164041 timeout (wallclock) [out] YES 44.86/12.03 YES 21.82/5.98 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.42/50.54
ICFP_2010/4412.xml 5164042 timeout (wallclock) [out] YES 8.91/2.31 YES 35.45/9.76 timeout (wallclock) [out] timeout (wallclock) [out] YES 63.97/16.72
ICFP_2010/68535.xml 5164043 YES 239.07/61.64 YES 2.63/0.69 YES 11.85/3.24 timeout (wallclock) [out] YES 120.88/117.80 YES 24.82/6.82
ICFP_2010/96403.xml 5164044 timeout (wallclock) [out] YES 4.58/1.19 YES 58.94/16.32 timeout (wallclock) [out] timeout (wallclock) [out] YES 23.55/6.13
ICFP_2010/183803.xml 5164045 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 195.32/52.00
ICFP_2010/149277.xml 5164046 timeout (wallclock) [out] YES 975.06/246.84 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.72/54.77
ICFP_2010/130962.xml 5164047 YES 219.31/56.71 YES 277.20/70.68 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.25/51.59
ICFP_2010/43603.xml 5164048 timeout (wallclock) [out] YES 318.11/80.21 YES 137.84/45.51 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 188.38/61.38
ICFP_2010/86052.xml 5164049 timeout (wallclock) [out] YES 8.60/2.22 YES 84.30/23.08 timeout (wallclock) [out] timeout (wallclock) [out] YES 41.31/11.05
ICFP_2010/161593.xml 5164050 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.72/51.81
ICFP_2010/249459.xml 5164051 YES 12.58/3.96 YES 0.20/0.07 YES 1.00/0.46 MAYBE 0.01/0.01 MAYBE 0.01/0.00 MAYBE 186.53/58.99
ICFP_2010/140287.xml 5164052 timeout (wallclock) [out] YES 277.44/70.90 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.79/50.81
ICFP_2010/48686.xml 5164053 timeout (wallclock) [out] YES 79.88/20.29 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 184.10/53.89
ICFP_2010/26186.xml 5164054 YES 11.78/3.79 YES 5.70/1.49 YES 5.86/1.73 timeout (wallclock) [out] YES 0.03/0.21 YES 8.05/2.45
ICFP_2010/188004.xml 5164055 timeout (wallclock) [out] YES 803.00/206.80 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.88/51.99
ICFP_2010/138194.xml 5164056 timeout (wallclock) [out] YES 99.99/25.43 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.45/50.45
ICFP_2010/25409.xml 5164057 timeout (wallclock) [out] YES 50.02/12.83 YES 36.01/9.53 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.86/50.78
ICFP_2010/186617.xml 5164058 timeout (wallclock) [out] YES 1024.79/261.87 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.05/51.98
ICFP_2010/136323.xml 5164059 timeout (wallclock) [out] YES 500.21/127.82 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.53/51.60
ICFP_2010/4934.xml 5164060 timeout (wallclock) [out] YES 5.19/1.35 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 56.12/14.73
ICFP_2010/58194.xml 5164061 timeout (wallclock) [out] YES 116.82/29.94 YES 679.38/172.21 timeout (wallclock) [out] MAYBE 61.26/57.51 MAYBE 176.81/49.80
ICFP_2010/43987.xml 5164062 timeout (wallclock) [out] YES 530.22/135.54 YES 483.98/123.02 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.63/51.60
ICFP_2010/188238.xml 5164063 timeout (wallclock) [out] YES 1114.66/284.82 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.06/52.05
ICFP_2010/135936.xml 5164064 YES 645.79/228.19 YES 106.28/26.97 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 172.85/50.49
ICFP_2010/29415.xml 5164065 YES 86.32/22.97 timeout (wallclock) [out] YES 427.10/127.01 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.56/54.55
ICFP_2010/26931.xml 5164066 timeout (wallclock) [out] YES 56.45/14.41 YES 38.70/10.22 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.71/50.78
ICFP_2010/96065.xml 5164067 timeout (wallclock) [out] YES 14.29/3.75 YES 20.95/6.46 timeout (wallclock) [out] timeout (wallclock) [out] YES 26.19/7.20
ICFP_2010/39849.xml 5164068 YES 67.03/18.22 YES 5.35/1.39 YES 20.22/5.48 timeout (wallclock) [out] timeout (wallclock) [out] YES 38.38/10.18
ICFP_2010/68989.xml 5164069 YES 25.01/8.97 YES 0.44/0.14 YES 1.36/0.57 timeout (wallclock) [out] timeout (wallclock) [out] YES 20.40/5.70
ICFP_2010/123759.xml 5164070 timeout (wallclock) [out] YES 109.51/27.78 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.45/50.49
ICFP_2010/187837.xml 5164071 timeout (wallclock) [out] YES 943.73/240.94 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 219.02/52.03
ICFP_2010/150188.xml 5164072 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.85/54.98
ICFP_2010/96642.xml 5164073 YES 66.72/17.84 YES 2.69/0.71 YES 7.23/2.10 timeout (wallclock) [out] YES 283.93/284.06 YES 22.07/6.15
ICFP_2010/96438.xml 5164074 YES 378.12/116.68 YES 5.22/1.35 YES 13.39/4.62 timeout (wallclock) [out] timeout (wallclock) [out] YES 23.76/6.54
ICFP_2010/25726.xml 5164075 timeout (wallclock) [out] YES 40.66/10.44 YES 31.51/8.37 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.51/50.58
ICFP_2010/133432.xml 5164076 timeout (wallclock) [out] YES 554.76/142.17 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.65/51.61
ICFP_2010/247254.xml 5164077 YES 13.38/4.26 YES 0.23/0.09 YES 1.28/0.54 MAYBE 0.01/0.01 MAYBE 0.01/0.02 MAYBE 190.25/62.94
ICFP_2010/28643.xml 5164078 YES 68.37/18.56 YES 62.13/16.83 YES 34.09/9.17 timeout (wallclock) [out] YES 1.49/1.58 YES 33.94/9.84
ICFP_2010/137623.xml 5164079 YES 13.06/4.09 YES 0.65/0.21 YES 1.64/0.63 timeout (wallclock) [out] YES 97.86/97.89 MAYBE 177.55/50.49
ICFP_2010/85834.xml 5164080 YES 9.63/3.25 YES 0.36/0.11 YES 2.29/0.80 timeout (wallclock) [out] YES 14.74/14.75 YES 68.82/13.96
ICFP_2010/58125.xml 5164081 timeout (wallclock) [out] YES 453.34/114.79 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.89/54.86
ICFP_2010/132848.xml 5164082 timeout (wallclock) [out] YES 646.35/165.24 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.60/51.60
ICFP_2010/42683.xml 5164083 YES 35.57/10.05 YES 675.25/172.14 YES 67.23/19.16 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.64/51.60
ICFP_2010/86577.xml 5164084 timeout (wallclock) [out] YES 7.31/1.90 YES 146.99/37.48 timeout (wallclock) [out] timeout (wallclock) [out] YES 39.20/10.51
ICFP_2010/4991.xml 5164085 timeout (wallclock) [out] YES 5.14/1.33 YES 15.60/4.21 timeout (wallclock) [out] timeout (wallclock) [out] YES 42.95/12.43
ICFP_2010/3633.xml 5164086 timeout (wallclock) [out] YES 7.10/1.83 YES 187.34/47.61 timeout (wallclock) [out] timeout (wallclock) [out] YES 63.71/16.64
ICFP_2010/26875.xml 5164087 timeout (wallclock) [out] YES 57.62/14.75 YES 39.73/10.48 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.63/50.82
ICFP_2010/139004.xml 5164088 YES 50.22/13.81 YES 283.29/72.52 YES 99.07/25.46 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.57/50.82
ICFP_2010/212364.xml 5164089 YES 997.11/254.71 YES 29.94/7.72 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 61.34/15.99
ICFP_2010/96563.xml 5164090 YES 12.02/3.93 YES 0.52/0.15 YES 1.72/0.66 timeout (wallclock) [out] timeout (wallclock) [out] YES 21.62/5.98
ICFP_2010/96086.xml 5164091 YES 12.17/9.02 YES 0.16/0.06 YES 1.07/0.47 YES 180.42/180.19 timeout (wallclock) [out] YES 2.01/0.93
ICFP_2010/231480.xml 5164092 YES 10.75/3.62 YES 0.25/0.09 YES 1.47/0.57 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 190.89/63.64
ICFP_2010/135410.xml 5164093 timeout (wallclock) [out] YES 577.88/147.51 YES 309.18/80.13 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.56/51.60
ICFP_2010/48328.xml 5164094 timeout (wallclock) [out] YES 54.33/13.91 YES 420.09/106.61 timeout (wallclock) [out] timeout (wallclock) [out] YES 133.1/34.32
ICFP_2010/3705.xml 5164095 timeout (wallclock) [out] YES 16.41/2.13 YES 89.50/22.99 timeout (wallclock) [out] timeout (wallclock) [out] YES 70.32/18.32
ICFP_2010/3746.xml 5164096 YES 51.95/14.13 YES 0.38/0.11 YES 2.66/0.88 timeout (wallclock) [out] YES 2.78/2.72 YES 44.51/11.12
ICFP_2010/91233.xml 5164097 YES 58.33/15.69 YES 65.46/16.60 YES 25.46/7.37 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.59/50.79
ICFP_2010/161519.xml 5164098 YES 240.53/62.55 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.88/51.98
ICFP_2010/142157.xml 5164099 timeout (wallclock) [out] YES 69.39/17.67 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 176.98/50.05
ICFP_2010/150725.xml 5164100 timeout (wallclock) [out] YES 541.44/137.07 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.52/54.66
ICFP_2010/57278.xml 5164101 timeout (wallclock) [out] YES 121.32/31.07 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 176.76/49.83
ICFP_2010/263745.xml 5164102 YES 65.98/18.19 YES 989.65/250.65 YES 136.03/58.83 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 190.92/63.98
ICFP_2010/25395.xml 5164103 timeout (wallclock) [out] YES 57.22/14.72 YES 37.10/9.85 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.77/50.75
ICFP_2010/150468.xml 5164104 timeout (wallclock) [out] YES 477.28/120.89 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 182.21/55.18
ICFP_2010/167041.xml 5164105 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.92/51.88
ICFP_2010/4051.xml 5164106 timeout (wallclock) [out] YES 8.44/2.18 YES 103.67/26.55 timeout (wallclock) [out] timeout (wallclock) [out] YES 64.34/16.80
ICFP_2010/26976.xml 5164107 timeout (wallclock) [out] YES 33.95/8.71 YES 30.56/8.09 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.62/50.61
ICFP_2010/26957.xml 5164108 timeout (wallclock) [out] YES 47.10/12.06 YES 32.80/8.76 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.51/50.62
ICFP_2010/4248.xml 5164109 timeout (wallclock) [out] YES 5.87/1.52 YES 46.13/12.03 timeout (wallclock) [out] timeout (wallclock) [out] YES 51.87/13.61
ICFP_2010/4840.xml 5164110 timeout (wallclock) [out] YES 2.20/0.59 YES 7.89/2.35 timeout (wallclock) [out] timeout (wallclock) [out] YES 13.01/3.74
ICFP_2010/81452.xml 5164111 timeout (wallclock) [out] YES 6.10/1.58 YES 10.39/2.90 timeout (wallclock) [out] timeout (wallclock) [out] YES 23.05/6.40
ICFP_2010/140654.xml 5164112 YES 37.91/10.54 YES 5.12/1.33 YES 79.10/20.91 timeout (wallclock) [out] timeout (wallclock) [out] YES 53.15/14.04
ICFP_2010/231378.xml 5164113 YES 12.66/3.98 YES 0.21/0.07 YES 1.11/0.50 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 186.15/58.92
ICFP_2010/128515.xml 5164114 YES 53.53/14.33 YES 270.51/69.26 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.88/50.82
ICFP_2010/151247.xml 5164115 timeout (wallclock) [out] YES 479.35/121.40 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 182.24/55.32
ICFP_2010/128620.xml 5164116 YES 40.99/11.30 YES 293.59/75.12 YES 175.46/50.84 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.12/50.80
ICFP_2010/230819.xml 5164117 YES 18.68/5.59 YES 0.19/0.07 YES 0.99/0.46 MAYBE 0.01/0.01 MAYBE 0.01/0.00 MAYBE 178.51/51.57
ICFP_2010/212892.xml 5164118 YES 50.21/13.65 YES 19.24/4.97 timeout (wallclock) [out] YES 287.00/298.02 timeout (wallclock) [out] MAYBE 222.31/50.91
ICFP_2010/85590.xml 5164119 timeout (wallclock) [out] YES 9.00/2.31 YES 2.11/0.75 timeout (wallclock) [out] timeout (wallclock) [out] YES 39.89/10.73
ICFP_2010/85345.xml 5164120 timeout (wallclock) [out] YES 18.19/4.68 YES 414.11/105.44 timeout (wallclock) [out] timeout (wallclock) [out] YES 71.06/18.71
ICFP_2010/166558.xml 5164121 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.18/52.29
ICFP_2010/96302.xml 5164122 timeout (wallclock) [out] YES 4.97/1.29 YES 109.37/28.29 timeout (wallclock) [out] timeout (wallclock) [out] YES 25.84/7.26
ICFP_2010/26965.xml 5164123 timeout (wallclock) [out] YES 43.22/11.02 YES 39.49/10.46 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.73/50.73
ICFP_2010/160234.xml 5164124 YES 34.73/11.42 YES 0.32/0.10 YES 54.80/14.91 YES 14.91/14.96 timeout (wallclock) [out] YES 29.00/7.81
ICFP_2010/27006.xml 5164125 timeout (wallclock) [out] YES 59.57/15.23 YES 32.17/8.55 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.52/50.62
ICFP_2010/4970.xml 5164126 YES 884.53/279.90 YES 1.24/0.34 YES 2.41/0.83 timeout (wallclock) [out] YES 279.72/267.02 YES 14.11/3.98
ICFP_2010/3498.xml 5164127 timeout (wallclock) [out] YES 11.97/3.09 YES 17.91/5.05 timeout (wallclock) [out] timeout (wallclock) [out] YES 78.09/20.28
ICFP_2010/43650.xml 5164128 timeout (wallclock) [out] YES 312.78/78.90 YES 268.10/71.34 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 188.48/61.47
ICFP_2010/3450.xml 5164129 timeout (wallclock) [out] YES 8.17/2.11 YES 68.09/9.03 timeout (wallclock) [out] timeout (wallclock) [out] YES 60.52/15.84
ICFP_2010/213281.xml 5164130 YES 38.37/10.76 YES 2.05/0.55 YES 7.37/2.14 YES 1.19/1.19 YES 0.96/1.08 YES 13.99/3.96
ICFP_2010/188696.xml 5164131 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.07/51.99
ICFP_2010/150258.xml 5164132 timeout (wallclock) [out] YES 492.22/124.61 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.96/54.93
ICFP_2010/214091.xml 5164133 YES 16.81/5.13 YES 2.99/0.79 YES 44.85/11.77 YES 0.04/0.04 YES 0.13/0.31 YES 14.67/4.13
ICFP_2010/45720.xml 5164134 timeout (wallclock) [out] YES 25.13/6.45 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 243.13/210.25 YES 100.82/26.10
ICFP_2010/213407.xml 5164135 YES 33.30/9.28 YES 1.64/0.44 YES 14.30/3.92 timeout (wallclock) [out] YES 0.58/0.61 YES 13.12/3.66
ICFP_2010/157713.xml 5164136 timeout (wallclock) [out] YES 674.65/172.17 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.46/51.63
ICFP_2010/212308.xml 5164137 YES 61.86/16.71 YES 15.04/3.88 YES 13.82/3.78 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 201.52/51.61
ICFP_2010/27015.xml 5164138 timeout (wallclock) [out] YES 32.61/8.35 YES 26.82/7.22 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.56/50.55
ICFP_2010/3589.xml 5164139 timeout (wallclock) [out] YES 4.64/1.21 YES 40.80/10.66 timeout (wallclock) [out] timeout (wallclock) [out] YES 48.19/12.72
ICFP_2010/132833.xml 5164140 YES 47.16/12.81 YES 261.58/66.78 YES 116.09/31.64 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.68/50.83
ICFP_2010/26879.xml 5164141 timeout (wallclock) [out] YES 72.31/18.34 YES 42.10/11.04 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.58/50.69
ICFP_2010/133881.xml 5164142 timeout (wallclock) [out] YES 104.21/26.44 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.38/50.49
ICFP_2010/26226.xml 5164143 YES 42.88/11.82 YES 9.29/2.64 YES 6.36/1.88 timeout (wallclock) [out] YES 0.04/0.26 YES 9.36/2.82
ICFP_2010/137715.xml 5164144 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.52/51.60
ICFP_2010/40540.xml 5164145 YES 37.38/10.35 YES 637.94/162.68 YES 142.95/41.40 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.57/51.60
ICFP_2010/213537.xml 5164146 YES 69.14/18.37 YES 4.93/1.30 YES 36.84/9.96 YES 21.57/21.95 YES 23.04/23.05 YES 35.53/9.47
ICFP_2010/130304.xml 5164147 timeout (wallclock) [out] YES 515.72/132.35 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.58/51.62
ICFP_2010/51424.xml 5164148 timeout (wallclock) [out] YES 304.78/76.86 YES 238.28/65.93 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 188.40/61.45
ICFP_2010/96274.xml 5164149 YES 9.71/3.37 YES 0.18/0.06 YES 1.49/0.60 timeout (wallclock) [out] YES 19.42/19.46 YES 24.24/6.67
ICFP_2010/150815.xml 5164150 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 182.42/55.56
ICFP_2010/3680.xml 5164151 timeout (wallclock) [out] YES 23.74/6.14 YES 383.21/97.51 timeout (wallclock) [out] timeout (wallclock) [out] YES 74.75/19.52
ICFP_2010/136601.xml 5164152 timeout (wallclock) [out] YES 527.99/134.95 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.46/51.60
ICFP_2010/153034.xml 5164153 timeout (wallclock) [out] YES 502.66/128.87 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.69/51.61
ICFP_2010/149915.xml 5164154 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.83/54.71
ICFP_2010/4036.xml 5164155 timeout (wallclock) [out] YES 11.03/2.85 YES 26.18/7.30 timeout (wallclock) [out] timeout (wallclock) [out] YES 74.60/19.48
ICFP_2010/95858.xml 5164156 timeout (wallclock) [out] YES 9.94/2.55 YES 5.01/1.62 timeout (wallclock) [out] timeout (wallclock) [out] YES 42.67/11.41
ICFP_2010/167636.xml 5164157 YES 146.15/38.22 YES 1160.34/295.81 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.6/52.52
ICFP_2010/85675.xml 5164158 YES 10.15/3.35 YES 0.20/0.07 YES 4.67/1.38 timeout (wallclock) [out] timeout (wallclock) [out] YES 38.95/9.91
ICFP_2010/26949.xml 5164159 timeout (wallclock) [out] YES 58.08/14.71 YES 31.58/8.44 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.72/50.69
ICFP_2010/86499.xml 5164160 timeout (wallclock) [out] YES 8.56/2.21 YES 153.45/41.68 timeout (wallclock) [out] timeout (wallclock) [out] YES 40.46/10.83
ICFP_2010/56144.xml 5164161 YES 53.82/14.53 YES 635.03/161.64 YES 119.67/33.60 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.53/51.61
ICFP_2010/214261.xml 5164162 YES 73.26/19.44 YES 12.07/3.12 YES 40.04/10.81 timeout (wallclock) [out] timeout (wallclock) [out] YES 70.26/18.19
ICFP_2010/54097.xml 5164163 timeout (wallclock) [out] YES 283.16/71.57 YES 114.93/39.09 timeout (wallclock) [out] timeout (wallclock) [out] YES 138.07/43.56
ICFP_2010/166465.xml 5164164 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.71/51.73
ICFP_2010/3817.xml 5164165 timeout (wallclock) [out] YES 7.51/1.95 YES 96.87/24.96 timeout (wallclock) [out] timeout (wallclock) [out] YES 56.63/14.87
ICFP_2010/4141.xml 5164166 timeout (wallclock) [out] YES 7.49/1.95 YES 18.03/4.85 timeout (wallclock) [out] timeout (wallclock) [out] YES 80.91/20.99
ICFP_2010/214320.xml 5164167 YES 31.31/8.92 YES 5.85/1.53 YES 104.10/26.72 YES 0.61/0.61 YES 5.85/5.01 YES 63.03/16.44
ICFP_2010/166848.xml 5164168 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.19/52.24
ICFP_2010/4181.xml 5164169 YES 11.45/3.68 YES 0.28/0.09 YES 1.74/0.65 timeout (wallclock) [out] YES 12.37/12.41 YES 74.74/19.51
ICFP_2010/26103.xml 5164170 YES 17.17/5.43 YES 1.18/0.32 YES 2.65/0.86 timeout (wallclock) [out] YES 0.03/0.13 YES 4.74/1.55
ICFP_2010/26980.xml 5164171 timeout (wallclock) [out] YES 43.02/10.99 YES 26.54/7.14 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.43/50.53
ICFP_2010/3562.xml 5164172 timeout (wallclock) [out] YES 8.79/2.26 YES 19.95/5.62 timeout (wallclock) [out] timeout (wallclock) [out] YES 65.15/17.01
ICFP_2010/187254.xml 5164173 YES 16.81/5.13 YES 0.97/0.33 YES 6.45/4.11 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 219.41/52.02
ICFP_2010/58301.xml 5164174 YES 65.98/17.79 YES 991.27/253.08 YES 537.66/136.49 YES 33.31/34.32 timeout (wallclock) [out] MAYBE 176.43/49.68
ICFP_2010/157161.xml 5164175 timeout (wallclock) [out] YES 66.60/17.14 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 167.19/29.17
ICFP_2010/184957.xml 5164176 timeout (wallclock) [out] timeout (wallclock) [out] YES 138.26/36.37 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.95/52.03
ICFP_2010/165755.xml 5164177 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.84/51.90
ICFP_2010/4002.xml 5164178 YES 51.99/14.43 YES 1.61/0.43 YES 4.81/1.43 timeout (wallclock) [out] YES 145.56/112.70 YES 6.02/1.89
ICFP_2010/137316.xml 5164179 timeout (wallclock) [out] YES 621.10/158.53 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.44/51.63
ICFP_2010/42466.xml 5164180 timeout (wallclock) [out] YES 493.89/126.66 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.52/51.60
ICFP_2010/249386.xml 5164181 YES 22.91/6.67 YES 0.21/0.07 YES 0.95/0.45 MAYBE 0.01/0.02 MAYBE 0.01/0.01 MAYBE 182.56/55.57
ICFP_2010/26972.xml 5164182 timeout (wallclock) [out] YES 55.46/14.18 YES 35.93/9.53 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.73/50.86
ICFP_2010/54622.xml 5164183 YES 11.18/3.71 YES 0.25/0.09 YES 1.04/0.47 MAYBE 0.01/0.02 MAYBE 0.01/0.01 YES 23.53/19.80
ICFP_2010/57852.xml 5164184 YES 69.26/18.64 YES 1.74/0.51 YES 8.95/2.64 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.94/54.91
ICFP_2010/51577.xml 5164185 timeout (wallclock) [out] YES 402.18/101.72 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 188.66/61.47
ICFP_2010/136562.xml 5164186 timeout (wallclock) [out] YES 100.73/25.56 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.51/50.50
ICFP_2010/132969.xml 5164187 timeout (wallclock) [out] YES 103.88/26.35 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.45/50.48
ICFP_2010/4827.xml 5164188 timeout (wallclock) [out] YES 3.01/0.79 YES 32.67/8.70 timeout (wallclock) [out] timeout (wallclock) [out] YES 28.66/7.73
ICFP_2010/186810.xml 5164189 timeout (wallclock) [out] YES 1114.37/285.11 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.96/52.00
ICFP_2010/140318.xml 5164190 YES 49.13/13.37 YES 300.31/76.87 YES 119.06/32.63 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.76/50.81
ICFP_2010/96612.xml 5164191 timeout (wallclock) [out] YES 6.20/1.60 YES 17.80/6.20 timeout (wallclock) [out] timeout (wallclock) [out] YES 26.00/7.15
ICFP_2010/27034.xml 5164192 timeout (wallclock) [out] YES 48.22/12.35 YES 32.80/8.72 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.76/50.76
ICFP_2010/132782.xml 5164193 YES 34.41/9.61 YES 300.26/76.75 YES 97.08/25.16 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.79/50.83
ICFP_2010/95899.xml 5164194 timeout (wallclock) [out] YES 26.80/6.86 YES 93.94/24.09 timeout (wallclock) [out] timeout (wallclock) [out] YES 48.25/12.86
ICFP_2010/25808.xml 5164195 timeout (wallclock) [out] YES 53.59/13.69 YES 38.71/10.22 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.80/50.89
ICFP_2010/86526.xml 5164196 timeout (wallclock) [out] YES 12.16/3.12 YES 95.45/27.67 timeout (wallclock) [out] timeout (wallclock) [out] YES 42.81/11.50
ICFP_2010/212094.xml 5164197 YES 52.08/14.26 YES 6.41/1.67 YES 59.77/7.93 timeout (wallclock) [out] YES 31.99/29.78 YES 45.72/12.04
ICFP_2010/211639.xml 5164198 YES 14.34/4.51 YES 0.51/0.15 YES 0.99/0.46 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 183.11/56.15
ICFP_2010/41843.xml 5164199 timeout (wallclock) [out] YES 13.73/3.54 YES 37.76/9.87 timeout (wallclock) [out] timeout (wallclock) [out] YES 64.79/16.93
ICFP_2010/139236.xml 5164200 YES 36.21/10.06 YES 286.16/73.11 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.75/50.82
ICFP_2010/25734.xml 5164201 timeout (wallclock) [out] YES 38.23/9.77 YES 29.01/7.73 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.67/50.69
ICFP_2010/96370.xml 5164202 YES 44.41/12.08 YES 2.67/0.71 YES 2.83/0.94 timeout (wallclock) [out] timeout (wallclock) [out] YES 24.68/6.79
ICFP_2010/3729.xml 5164203 timeout (wallclock) [out] YES 12.04/3.12 YES 143.71/37.58 timeout (wallclock) [out] timeout (wallclock) [out] YES 86.12/22.36
ICFP_2010/48262.xml 5164204 timeout (wallclock) [out] YES 35.01/8.97 YES 248.70/63.15 timeout (wallclock) [out] timeout (wallclock) [out] YES 126.66/32.72
ICFP_2010/95978.xml 5164205 timeout (wallclock) [out] YES 10.84/2.78 YES 26.83/9.14 timeout (wallclock) [out] timeout (wallclock) [out] YES 50.42/13.44
ICFP_2010/96673.xml 5164206 timeout (wallclock) [out] YES 7.29/1.88 YES 22.26/7.33 timeout (wallclock) [out] timeout (wallclock) [out] YES 30.83/8.40
ICFP_2010/3939.xml 5164207 timeout (wallclock) [out] YES 9.98/2.57 YES 100.49/25.67 timeout (wallclock) [out] timeout (wallclock) [out] YES 70.83/18.44
ICFP_2010/25849.xml 5164208 timeout (wallclock) [out] YES 56.38/14.40 YES 33.86/8.97 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.79/50.73
ICFP_2010/158620.xml 5164209 YES 58.92/15.87 YES 15.53/4.03 YES 22.41/6.07 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.50/51.61
ICFP_2010/25388.xml 5164210 timeout (wallclock) [out] YES 57.03/14.58 YES 47.73/12.53 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.65/50.79
ICFP_2010/3336.xml 5164211 YES 27.90/7.97 YES 1.72/0.47 YES 3.22/1.03 YES 3.88/3.90 YES 0.04/0.22 YES 9.67/2.84
ICFP_2010/3385.xml 5164212 YES 73.16/19.81 YES 0.84/0.24 YES 2.61/0.88 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.47/2.76
ICFP_2010/27028.xml 5164213 timeout (wallclock) [out] YES 38.25/9.81 YES 28.74/7.71 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 256.51/50.64
ICFP_2010/26933.xml 5164214 timeout (wallclock) [out] YES 48.17/12.37 YES 37.64/9.93 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.66/50.77
ICFP_2010/167452.xml 5164215 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.23/52.20
ICFP_2010/128056.xml 5164216 timeout (wallclock) [out] YES 320.71/81.95 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.69/50.82
ICFP_2010/186222.xml 5164217 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.95/52.01
ICFP_2010/212480.xml 5164218 YES 38.15/10.69 YES 6.30/1.64 YES 72.82/19.08 timeout (wallclock) [out] YES 24.69/22.64 YES 30.56/8.20
ICFP_2010/136354.xml 5164219 timeout (wallclock) [out] YES 637.16/162.35 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.70/51.61
ICFP_2010/107220.xml 5164220 timeout (wallclock) [out] YES 215.48/54.70 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.51/51.73
ICFP_2010/150067.xml 5164221 timeout (wallclock) [out] YES 713.87/180.84 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.64/54.71
ICFP_2010/264405.xml 5164222 YES 3.70/1.78 YES 0.05/0.03 YES 0.74/0.38 YES 0.01/0.01 YES 0.01/0.03 YES 1.02/0.56
ICFP_2010/85650.xml 5164223 YES 52.23/14.10 YES 2.41/0.64 YES 13.54/3.71 timeout (wallclock) [out] timeout (wallclock) [out] YES 47.50/12.66
ICFP_2010/136497.xml 5164224 timeout (wallclock) [out] YES 189.09/51.31 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.91/51.56
ICFP_2010/135652.xml 5164225 timeout (wallclock) [out] YES 123.99/31.59 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.41/50.48
ICFP_2010/3856.xml 5164226 timeout (wallclock) [out] YES 10.28/2.65 YES 205.27/52.30 timeout (wallclock) [out] timeout (wallclock) [out] YES 70.38/18.28
ICFP_2010/57132.xml 5164227 timeout (wallclock) [out] YES 17.05/4.38 YES 209.44/53.31 timeout (wallclock) [out] timeout (wallclock) [out] YES 66.14/17.45
ICFP_2010/25775.xml 5164228 timeout (wallclock) [out] YES 55.41/14.23 YES 39.78/10.54 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.71/50.74
ICFP_2010/157388.xml 5164229 YES 60.26/16.18 YES 31.78/8.17 YES 633.90/161.10 timeout (wallclock) [out] YES 71.33/62.19 YES 132.85/23.24
ICFP_2010/132540.xml 5164230 YES 47.51/12.89 YES 279.89/71.45 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.83/50.82
ICFP_2010/58221.xml 5164231 timeout (wallclock) [out] YES 15.61/4.01 YES 111.71/28.56 timeout (wallclock) [out] timeout (wallclock) [out] YES 69.69/18.29
ICFP_2010/160364.xml 5164232 timeout (wallclock) [out] YES 705.14/178.96 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.67/52.75
ICFP_2010/3930.xml 5164233 timeout (wallclock) [out] YES 5.85/1.51 YES 10.95/3.25 timeout (wallclock) [out] timeout (wallclock) [out] YES 55.37/14.45
ICFP_2010/86617.xml 5164234 timeout (wallclock) [out] YES 8.26/2.12 YES 30.77/9.27 timeout (wallclock) [out] timeout (wallclock) [out] YES 38.49/10.35
ICFP_2010/136280.xml 5164235 timeout (wallclock) [out] YES 599.61/153.25 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.61/51.60
ICFP_2010/96417.xml 5164236 timeout (wallclock) [out] YES 5.93/1.54 YES 111.35/28.53 timeout (wallclock) [out] timeout (wallclock) [out] YES 25.46/7.02
ICFP_2010/4029.xml 5164237 timeout (wallclock) [out] YES 4.94/1.29 YES 22.51/6.15 timeout (wallclock) [out] timeout (wallclock) [out] YES 43.63/11.55
ICFP_2010/211915.xml 5164238 YES 52.35/14.63 YES 3.29/0.87 YES 85.99/22.22 timeout (wallclock) [out] YES 12.31/10.64 YES 19.40/5.34
ICFP_2010/86857.xml 5164239 YES 406.20/112.27 YES 6.56/1.69 YES 30.50/8.04 timeout (wallclock) [out] timeout (wallclock) [out] YES 29.66/8.10
ICFP_2010/160324.xml 5164240 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.72/51.81
ICFP_2010/26940.xml 5164241 timeout (wallclock) [out] YES 50.12/12.85 YES 37.65/9.93 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.76/50.75
ICFP_2010/130161.xml 5164242 timeout (wallclock) [out] YES 559.92/143.25 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.76/51.62
ICFP_2010/4816.xml 5164243 timeout (wallclock) [out] YES 9.57/2.47 YES 31.28/8.33 timeout (wallclock) [out] timeout (wallclock) [out] YES 71.16/18.56
ICFP_2010/96224.xml 5164244 YES 10.41/3.53 YES 0.17/0.06 YES 1.45/0.59 timeout (wallclock) [out] timeout (wallclock) [out] YES 2.79/1.18
ICFP_2010/142150.xml 5164245 timeout (wallclock) [out] YES 44.68/11.48 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 176.86/49.98
ICFP_2010/153243.xml 5164246 timeout (wallclock) [out] YES 535.01/136.86 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 354.00/51.59
ICFP_2010/167310.xml 5164247 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.94/51.9
ICFP_2010/249663.xml 5164248 YES 17.32/5.20 YES 0.13/0.06 YES 1.33/0.54 MAYBE 0.01/0.01 MAYBE 0.01/0.01 MAYBE 190.26/62.44
ICFP_2010/231043.xml 5164249 YES 11.77/3.80 YES 0.65/0.19 YES 1.05/0.45 MAYBE 0.01/0.01 MAYBE 0.01/0.02 MAYBE 189.54/62.16
ICFP_2010/5011.xml 5164250 timeout (wallclock) [out] YES 2.49/0.66 YES 7.16/2.05 timeout (wallclock) [out] timeout (wallclock) [out] YES 14.04/3.97
ICFP_2010/186775.xml 5164251 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.99/52.02
ICFP_2010/211978.xml 5164252 YES 11.49/3.77 YES 5.00/1.30 YES 21.62/5.80 YES 0.05/0.05 YES 1.08/1.15 YES 55.19/14.32
ICFP_2010/213218.xml 5164253 YES 16.62/9.42 YES 3.08/0.81 YES 8.83/2.58 YES 0.05/0.05 YES 1.01/1.05 YES 15.72/4.41
ICFP_2010/3861.xml 5164254 timeout (wallclock) [out] YES 15.21/3.91 YES 186.78/53.63 timeout (wallclock) [out] timeout (wallclock) [out] YES 85.56/22.23
ICFP_2010/186973.xml 5164255 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.86/52.00
ICFP_2010/149361.xml 5164256 timeout (wallclock) [out] YES 442.89/112.18 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.71/54.74
ICFP_2010/91210.xml 5164257 YES 58.25/15.70 YES 65.65/16.67 YES 23.26/6.90 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.01/50.80
ICFP_2010/259625.xml 5164258 YES 63.79/17.06 YES 936.38/240.88 YES 112.08/52.69 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 191.29/64.23
ICFP_2010/3927.xml 5164259 timeout (wallclock) [out] YES 659.94/169.46 YES 329.31/94.65 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 190.56/63.54
ICFP_2010/132864.xml 5164260 YES 91.56/12.52 YES 324.26/83.14 YES 326.43/108.07 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 187.61/50.82
ICFP_2010/132957.xml 5164261 YES 48.30/13.36 YES 316.89/81.03 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 218.54/50.84
ICFP_2010/27280.xml 5164262 YES 74.10/19.77 YES 60.20/16.23 YES 21.72/5.94 timeout (wallclock) [out] YES 1.36/1.40 YES 25.58/7.40
ICFP_2010/3762.xml 5164263 timeout (wallclock) [out] YES 17.57/4.53 YES 81.53/20.99 timeout (wallclock) [out] timeout (wallclock) [out] YES 62.57/16.34
ICFP_2010/26105.xml 5164264 timeout (wallclock) [out] YES 46.26/11.86 YES 40.97/10.73 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.44/50.54
ICFP_2010/139282.xml 5164265 YES 40.80/11.48 YES 270.29/69.15 YES 210.17/62.62 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.85/50.82
ICFP_2010/162244.xml 5164266 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 199.50/51.92
ICFP_2010/4854.xml 5164267 timeout (wallclock) [out] YES 11.72/3.02 YES 120.38/30.77 timeout (wallclock) [out] timeout (wallclock) [out] YES 87.17/22.63
ICFP_2010/65081.xml 5164268 YES 10.96/3.71 YES 0.19/0.07 YES 1.35/0.55 timeout (wallclock) [out] timeout (wallclock) [out] YES 12.59/3.64
ICFP_2010/132738.xml 5164269 YES 43.01/11.89 YES 298.61/76.54 YES 95.70/24.75 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.87/50.82
ICFP_2010/167526.xml 5164270 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.19/51.76
ICFP_2010/213611.xml 5164271 YES 11.28/3.67 YES 0.21/0.08 YES 1.06/0.48 MAYBE 0.01/0.01 MAYBE 0.01/0.02 MAYBE 186.00/58.69
ICFP_2010/157603.xml 5164272 timeout (wallclock) [out] YES 616.54/156.91 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.57/51.60
ICFP_2010/161930.xml 5164273 YES 73.06/19.35 timeout (wallclock) [out] YES 64.85/18.28 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.73/51.86
ICFP_2010/165936.xml 5164274 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.03/52.07
ICFP_2010/96239.xml 5164275 timeout (wallclock) [out] YES 5.86/1.52 YES 151.70/39.05 timeout (wallclock) [out] timeout (wallclock) [out] YES 28.43/7.76
ICFP_2010/150839.xml 5164276 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.07/53.50
ICFP_2010/214169.xml 5164277 YES 46.21/12.76 YES 5.83/1.51 YES 9.49/2.67 YES 219.31/225.01 timeout (wallclock) [out] YES 31.97/8.56
ICFP_2010/88143.xml 5164278 YES 67.37/18.04 YES 7.08/1.83 YES 36.46/10.74 timeout (wallclock) [out] timeout (wallclock) [out] YES 59.60/15.74
ICFP_2010/165904.xml 5164279 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.86/52.09
ICFP_2010/41865.xml 5164280 timeout (wallclock) [out] YES 526.53/134.21 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 219.74/51.60
ICFP_2010/186333.xml 5164281 timeout (wallclock) [out] YES 862.73/221.87 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.04/52.01
ICFP_2010/5076.xml 5164282 timeout (wallclock) [out] YES 3.36/0.88 YES 13.89/3.84 timeout (wallclock) [out] timeout (wallclock) [out] YES 24.86/6.77
ICFP_2010/4847.xml 5164283 timeout (wallclock) [out] YES 9.03/2.34 YES 51.04/14.21 timeout (wallclock) [out] timeout (wallclock) [out] YES 70.34/18.37
ICFP_2010/148543.xml 5164284 timeout (wallclock) [out] YES 457.38/115.67 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 182.2/55.19
ICFP_2010/212774.xml 5164285 YES 15.94/5.00 YES 3.77/0.99 YES 12.34/3.47 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.87/2.92
ICFP_2010/4046.xml 5164286 YES 11.23/3.70 YES 0.39/0.11 YES 1.25/0.52 timeout (wallclock) [out] YES 36.71/27.86 YES 3.61/1.24
ICFP_2010/152949.xml 5164287 timeout (wallclock) [out] YES 532.43/136.53 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.49/51.61
ICFP_2010/137799.xml 5164288 timeout (wallclock) [out] YES 543.26/138.55 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.57/51.61
ICFP_2010/213560.xml 5164289 YES 64.76/17.39 YES 2.56/0.68 YES 17.55/4.79 timeout (wallclock) [out] timeout (wallclock) [out] YES 15.37/4.32
ICFP_2010/167294.xml 5164290 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.17/52.18
ICFP_2010/150877.xml 5164291 timeout (wallclock) [out] YES 551.92/139.68 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 181.45/54.43
ICFP_2010/45970.xml 5164292 timeout (wallclock) [out] YES 232.25/59.56 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.59/52.72
ICFP_2010/97901.xml 5164293 timeout (wallclock) [out] YES 114.35/29.02 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.01/51.04
ICFP_2010/27134.xml 5164294 YES 57.53/15.53 YES 50.20/13.49 YES 20.35/5.47 timeout (wallclock) [out] YES 0.13/0.52 YES 18.00/5.23
ICFP_2010/64160.xml 5164295 timeout (wallclock) [out] YES 1.47/0.39 YES 2.96/0.96 timeout (wallclock) [out] timeout (wallclock) [out] YES 5.06/1.66
ICFP_2010/212421.xml 5164296 YES 77.77/20.56 YES 2.06/0.56 YES 46.24/12.48 timeout (wallclock) [out] YES 1.51/1.57 YES 16.10/4.50
ICFP_2010/185628.xml 5164297 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.96/52.00
ICFP_2010/158342.xml 5164298 timeout (wallclock) [out] YES 531.38/136.05 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.35/51.61
ICFP_2010/26896.xml 5164299 timeout (wallclock) [out] YES 79.75/20.25 YES 40.95/10.75 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 177.88/50.77
ICFP_2010/97929.xml 5164300 timeout (wallclock) [out] YES 546.96/138.85 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 179.84/52.90
ICFP_2010/213147.xml 5164301 YES 73.07/19.50 YES 2.79/0.74 YES 27.90/7.77 timeout (wallclock) [out] timeout (wallclock) [out] YES 18.46/5.11
ICFP_2010/4017.xml 5164302 timeout (wallclock) [out] YES 9.86/2.53 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 70.27/18.30
ICFP_2010/25192.xml 5164303 YES 3.12/1.56 YES 0.04/0.05 YES 0.55/0.32 YES 0.05/0.05 YES 0.01/0.02 YES 0.74/0.49
ICFP_2010/157466.xml 5164304 timeout (wallclock) [out] YES 557.26/142.15 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.68/51.61
ICFP_2010/162095.xml 5164305 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.61/51.75
ICFP_2010/40033.xml 5164306 timeout (wallclock) [out] YES 538.95/138.61 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 178.49/51.59
ICFP_2010/28293.xml 5164307 YES 65.50/17.73 YES 63.84/17.03 YES 24.44/6.61 timeout (wallclock) [out] YES 2.93/3.02 YES 27.48/7.98
Gebhardt_06/05.xml 5162898 memout [out] NO 1.35/0.39 NO 0.59/0.34 timeout (wallclock) [out] MAYBE 0.03/0.21 MAYBE 196.81/50.33
Gebhardt_06/03.xml 5162899 NO 9.36/3.22 NO 0.43/0.12 NO 0.96/0.45 timeout (wallclock) [out] MAYBE 0.03/0.25 MAYBE 197.79/50.37
Gebhardt_06/01.xml 5162900 timeout (wallclock) [out] YES 8.66/2.21 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.02/0.18 MAYBE 197.63/50.31
Gebhardt_06/12.xml 5162901 NO 21.22/6.18 NO 1.28/0.38 NO 0.53/0.31 timeout (wallclock) [out] MAYBE 0.05/0.30 MAYBE 197.59/50.50
Gebhardt_06/10.xml 5162902 timeout (wallclock) [out] timeout (wallclock) [out] NO 334.95/86.42 timeout (wallclock) [out] MAYBE 0.04/0.27 MAYBE 198.41/50.70
Gebhardt_06/06.xml