Termination Competition 2020: SRS Relative41209

Job info CSV
benchmark NaTT v.1.6c Default ttt2-1.20 ttt2 matchbox-2020-06-19b tc20-std.sh AProVE standard MultumNonMulta 20 June 2020 20G sparse default
Mixed_relative_SRS/dup02.xml 11771692 MAYBE 1.92/1.90 MAYBE 831.72/299.36 timeout (wallclock) [out] YES 77.27/20.47 timeout (wallclock) [out]
Mixed_relative_SRS/dup03.xml 11771700 YES 2.28/1.67 MAYBE 770.62/299.33 YES 0.31/0.13 YES 59.42/20.26 YES 1.01/0.53
Mixed_relative_SRS/dup04.xml 11771701 MAYBE 18.84/18.83 MAYBE 923.77/299.33 YES 2.74/0.73 YES 217.50/56.29 YES 0.70/0.43
Mixed_relative_SRS/un01.xml 11771709 MAYBE 0.04/0.16 MAYBE 768.75/299.33 timeout (wallclock) [out] YES 26.92/8.09 YES 0.98/2.32
Mixed_relative_SRS/un03.xml 11771697 MAYBE 2.11/1.99 MAYBE 798.88/299.34 YES 12.48/3.24 timeout (wallclock) [out] YES 53.49/16.85
Mixed_relative_SRS/zr01.xml 11771696 MAYBE 0.02/0.07 YES 4.76/1.46 YES 0.11/0.04 YES 5.86/2.21 YES 0.67/0.41
Mixed_relative_SRS/zr02.xml 11771706 MAYBE 0.06/0.20 YES 11.88/3.29 YES 0.81/0.23 YES 6.79/2.47 YES 0.75/0.47
Mixed_relative_SRS/zr02new.xml 11771691 MAYBE 0.03/0.15 YES 23.01/6.11 timeout (wallclock) [out] YES 7.49/2.63 YES 1.67/0.67
Mixed_relative_SRS/zr03.xml 11771708 YES 0.01/0.01 YES 2.09/0.77 YES 0.10/0.05 YES 3.93/1.70 YES 0.62/0.40
Mixed_relative_SRS/zr04.xml 11771710 MAYBE 0.04/0.33 MAYBE 906.85/299.34 timeout (wallclock) [out] YES 19.09/5.64 YES 1.24/0.61
Mixed_relative_SRS/zr04new.xml 11771702 MAYBE 0.02/0.12 MAYBE 907.13/299.33 timeout (wallclock) [out] YES 14.96/5.40 YES 1.60/0.72
Mixed_relative_SRS/zr05.xml 11771705 YES 0.02/0.04 YES 2.13/0.78 YES 0.15/0.07 YES 4.49/1.84 YES 0.62/0.40
Mixed_relative_SRS/zr06.xml 11771698 YES 0.02/0.04 YES 1.83/0.70 YES 0.09/0.04 YES 6.76/2.41 YES 0.62/0.39
Mixed_relative_SRS/zr07.xml 11771694 YES 0.03/0.09 YES 6.35/1.87 YES 0.07/0.03 YES 8.15/2.84 YES 0.74/0.43
Mixed_relative_SRS/zr08.xml 11771699 YES 0.01/0.01 YES 4.57/1.41 YES 0.07/0.03 YES 7.02/2.48 YES 0.63/0.38
Mixed_relative_SRS/zr09.xml 11771693 MAYBE 0.02/0.05 YES 4.61/1.48 YES 0.07/0.03 YES 6.01/2.21 YES 0.68/0.40
Mixed_relative_SRS/zr10.xml 11771703 MAYBE 0.03/0.17 YES 17.52/4.94 YES 0.23/0.08 YES 10.91/4.63 YES 0.65/0.40
Mixed_relative_SRS/zr11.xml 11771695 MAYBE 0.04/0.22 YES 6.35/1.87 YES 0.06/0.03 YES 9.45/3.28 YES 0.72/0.41
Mixed_relative_SRS/zr12.xml 11771707 MAYBE 0.02/0.05 YES 5.86/1.78 YES 0.08/0.03 YES 6.11/2.33 YES 0.77/0.43
Mixed_relative_SRS/zr13.xml 11771704 MAYBE 0.03/0.07 NO 0.38/0.35 NO 0.06/0.03 NO 3.70/1.63 timeout (wallclock) [out]
Waldmann_06_relative/r1.xml 11771719 YES 0.01/0.01 MAYBE 607.12/299.33 YES 0.06/0.03 ERROR 0.35/0.47 YES 0.74/0.47
Waldmann_06_relative/r10.xml 11771715 MAYBE 0.08/0.27 MAYBE 772.5/299.33 timeout (wallclock) [out] YES 487.04/124.06 YES 1.72/0.70
Waldmann_06_relative/r2.xml 11771712 YES 0.02/0.02 YES 18.10/4.86 YES 0.19/0.07 ERROR 0.35/0.75 timeout (wallclock) [out]
Waldmann_06_relative/r3.xml 11771713 MAYBE 0.02/0.07 YES 4.88/1.49 YES 0.62/0.18 YES 31.60/8.76 YES 1.06/0.55
Waldmann_06_relative/r4.xml 11771714 MAYBE 0.02/0.10 MAYBE 769.24/299.33 YES 1.69/0.46 YES 1107.33/281.55 timeout (wallclock) [out]
Waldmann_06_relative/r5.xml 11771711 MAYBE 0.02/0.09 YES 10.01/2.80 timeout (wallclock) [out] YES 19.45/5.69 timeout (wallclock) [out]
Waldmann_06_relative/r6.xml 11771720 MAYBE 0.03/0.13 YES 8.65/1.93 YES 10.02/2.59 YES 10.03/3.28 YES 0.71/0.45
Waldmann_06_relative/r7.xml 11771717 MAYBE 0.03/0.13 YES 4.22/1.34 YES 0.07/0.03 YES 4.40/1.82 YES 0.72/0.42
Waldmann_06_relative/r8.xml 11771721 MAYBE 0.07/0.28 YES 8.96/2.53 YES 0.21/0.07 YES 21.85/6.45 YES 0.99/0.49
Waldmann_06_relative/r9.xml 11771716 YES 0.01/0.02 YES 2.06/0.77 YES 0.08/0.03 YES 24.36/6.94 YES 0.70/0.41
Waldmann_06_relative/rbeans.xml 11771718 YES 0.01/0.02 MAYBE 624.90/299.33 timeout (wallclock) [out] ERROR 0.36/0.32 timeout (wallclock) [out]
Zantema_06_relative/cars.xml 11771735 MAYBE 0.02/0.11 MAYBE 907.47/299.33 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel01.xml 11771733 MAYBE 0.03/0.07 YES 8.56/1.43 YES 0.09/0.03 YES 6.10/2.40 YES 0.90/0.46
Zantema_06_relative/rel02.xml 11771723 MAYBE 0.02/0.16 MAYBE 1054.75/299.33 YES 0.11/0.05 YES 10.80/3.46 YES 1.33/0.58
Zantema_06_relative/rel03.xml 11771727 MAYBE 0.04/0.16 MAYBE 779.07/299.33 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel04.xml 11771726 MAYBE 0.04/0.16 YES 16.31/4.34 YES 0.14/0.05 YES 11.99/3.83 YES 0.91/0.52
Zantema_06_relative/rel05.xml 11771724 MAYBE 0.03/0.16 YES 9.75/2.74 YES 0.13/0.04 YES 11.19/3.67 YES 0.77/0.43
Zantema_06_relative/rel06.xml 11771732 MAYBE 0.02/0.08 MAYBE 786.59/299.33 timeout (wallclock) [out] YES 29.94/8.33 timeout (wallclock) [out]
Zantema_06_relative/rel07.xml 11771728 MAYBE 0.06/0.25 MAYBE 804.57/299.33 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel08.xml 11771731 MAYBE 0.06/0.11 MAYBE 781.21/299.32 timeout (wallclock) [out] YES 8.70/2.94 YES 7.39/2.14
Zantema_06_relative/rel09.xml 11771729 MAYBE 0.03/0.30 MAYBE 807.00/299.33 YES 1.18/0.32 YES 27.61/7.82 YES 32.96/9.44
Zantema_06_relative/rel10.xml 11771734 MAYBE 0.03/0.28 MAYBE 791.44/299.33 YES 0.24/0.08 YES 36.91/10.43 YES 1.01/0.49
Zantema_06_relative/rel11.xml 11771730 MAYBE 0.02/0.12 MAYBE 931.74/299.33 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel12.xml 11771725 MAYBE 0.05/0.24 MAYBE 779.13/299.33 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
Zantema_06_relative/rel13.xml 11771722 MAYBE 0.02/0.06 YES 12.71/3.50 YES 0.10/0.04 YES 8.12/2.75 YES 0.80/0.44
ICFP_2010_relative/107220.xml 11771882 timeout (wallclock) [out] timeout (wallclock) [out] YES 798.70/205.04 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/107236.xml 11771859 timeout (wallclock) [out] timeout (wallclock) [out] YES 1021.41/262.14 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/123759.xml 11771807 timeout (wallclock) [out] MAYBE 785.38/299.92 timeout (wallclock) [out] timeout (wallclock) [out] YES 17.66/5.46
ICFP_2010_relative/124211.xml 11771775 timeout (wallclock) [out] MAYBE 935.18/299.91 timeout (wallclock) [out] timeout (wallclock) [out] YES 16.07/4.97
ICFP_2010_relative/124269.xml 11771871 timeout (wallclock) [out] MAYBE 956.52/299.93 YES 7.89/2.11 timeout (wallclock) [out] YES 19.11/5.75
ICFP_2010_relative/124791.xml 11771853 timeout (wallclock) [out] MAYBE 940.67/300.00 YES 16.82/4.41 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/127538.xml 11771877 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.77/2.63 YES 49.84/13.47 YES 8.93/2.85
ICFP_2010_relative/128056.xml 11771855 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/128182.xml 11771753 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.31/2.71 YES 32.84/9.27 YES 7.00/2.23
ICFP_2010_relative/128280.xml 11771890 timeout (wallclock) [out] timeout (wallclock) [out] YES 4.97/1.35 YES 54.32/14.78 YES 8.64/2.69
ICFP_2010_relative/128430.xml 11771854 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.75/2.57 YES 55.65/15.07 YES 7.51/2.44
ICFP_2010_relative/128486.xml 11771810 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.10/2.41 YES 47.00/12.83 YES 7.46/2.43
ICFP_2010_relative/128515.xml 11771878 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.25/2.70 YES 63.31/16.91 YES 5.52/1.72
ICFP_2010_relative/128550.xml 11771794 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.32/2.46 YES 44.95/12.31 YES 8.29/3.26
ICFP_2010_relative/128620.xml 11771840 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.88/3.05 YES 38.06/10.67 YES 33.37/10.89
ICFP_2010_relative/128691.xml 11771791 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.06/2.41 YES 39.14/10.72 YES 30.52/9.86
ICFP_2010_relative/131633.xml 11771773 timeout (wallclock) [out] MAYBE 784.20/299.92 timeout (wallclock) [out] timeout (wallclock) [out] YES 34.17/10.81
ICFP_2010_relative/131982.xml 11771827 timeout (wallclock) [out] MAYBE 786.25/299.92 YES 16.30/4.29 timeout (wallclock) [out] YES 18.97/5.83
ICFP_2010_relative/132235.xml 11771743 timeout (wallclock) [out] MAYBE 784.41/299.91 YES 16.37/4.31 timeout (wallclock) [out] YES 32.75/10.24
ICFP_2010_relative/132478.xml 11771755 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.94/2.70 YES 61.51/16.46 YES 7.47/2.21
ICFP_2010_relative/132540.xml 11771881 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.65/2.55 YES 55.96/15.08 YES 6.75/2.08
ICFP_2010_relative/132622.xml 11771886 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.28/2.72 YES 43.07/11.86 YES 8.17/2.60
ICFP_2010_relative/132720.xml 11771808 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.43/2.95 YES 55.98/15.13 YES 7.87/2.59
ICFP_2010_relative/132738.xml 11771798 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.55/2.77 YES 34.29/9.67 YES 7.51/2.41
ICFP_2010_relative/132782.xml 11771764 timeout (wallclock) [out] timeout (wallclock) [out] YES 4.64/1.27 YES 38.62/10.66 YES 15.08/2.45
ICFP_2010_relative/132833.xml 11771831 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.06/2.66 YES 53.74/14.45 YES 32.64/10.50
ICFP_2010_relative/132864.xml 11771892 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.52/2.51 YES 38.04/10.56 YES 8.46/2.67
ICFP_2010_relative/132920.xml 11771757 timeout (wallclock) [out] timeout (wallclock) [out] YES 4.78/1.31 YES 30.26/8.50 YES 10.34/3.23
ICFP_2010_relative/132957.xml 11771837 timeout (wallclock) [out] timeout (wallclock) [out] YES 20.16/5.29 YES 55.72/15.34 YES 41.95/12.91
ICFP_2010_relative/132969.xml 11771769 timeout (wallclock) [out] MAYBE 935.61/299.93 YES 16.93/4.47 timeout (wallclock) [out] YES 20.49/6.15
ICFP_2010_relative/133010.xml 11771884 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.47/2.92 YES 35.30/9.77 YES 10.9/3.53
ICFP_2010_relative/133159.xml 11771860 timeout (wallclock) [out] MAYBE 933.72/299.98 YES 7.90/2.13 timeout (wallclock) [out] YES 10.36/3.28
ICFP_2010_relative/133486.xml 11771814 timeout (wallclock) [out] MAYBE 935.98/299.94 timeout (wallclock) [out] timeout (wallclock) [out] YES 82.71/15.36
ICFP_2010_relative/133881.xml 11771809 timeout (wallclock) [out] MAYBE 935.77/299.93 timeout (wallclock) [out] timeout (wallclock) [out] YES 17.31/5.41
ICFP_2010_relative/134918.xml 11771850 timeout (wallclock) [out] MAYBE 784.81/299.98 YES 8.26/2.23 timeout (wallclock) [out] YES 19.27/6.14
ICFP_2010_relative/135115.xml 11771737 timeout (wallclock) [out] MAYBE 935.83/299.94 YES 16.73/4.39 timeout (wallclock) [out] YES 17.13/5.23
ICFP_2010_relative/135328.xml 11771742 timeout (wallclock) [out] MAYBE 935.47/299.92 YES 16.22/4.28 timeout (wallclock) [out] YES 18.02/5.63
ICFP_2010_relative/135604.xml 11771867 timeout (wallclock) [out] MAYBE 784.36/299.92 YES 18.19/4.77 timeout (wallclock) [out] YES 15.93/5.06
ICFP_2010_relative/135652.xml 11771891 timeout (wallclock) [out] MAYBE 784.74/299.91 timeout (wallclock) [out] timeout (wallclock) [out] YES 20.08/6.08
ICFP_2010_relative/135782.xml 11771823 timeout (wallclock) [out] MAYBE 940.59/299.93 timeout (wallclock) [out] timeout (wallclock) [out] YES 19.94/6.11
ICFP_2010_relative/135936.xml 11771842 timeout (wallclock) [out] MAYBE 785.01/299.90 timeout (wallclock) [out] timeout (wallclock) [out] YES 18.87/5.91
ICFP_2010_relative/136051.xml 11771759 timeout (wallclock) [out] MAYBE 785.12/299.91 YES 16.57/4.40 timeout (wallclock) [out] YES 21.41/6.52
ICFP_2010_relative/136562.xml 11771856 timeout (wallclock) [out] MAYBE 785.00/299.92 YES 16.25/4.27 timeout (wallclock) [out] YES 27.67/8.50
ICFP_2010_relative/136623.xml 11771880 timeout (wallclock) [out] MAYBE 784.69/299.90 YES 16.51/4.41 timeout (wallclock) [out] YES 15.68/4.86
ICFP_2010_relative/137404.xml 11771848 timeout (wallclock) [out] MAYBE 936.19/299.91 YES 7.90/2.12 timeout (wallclock) [out] YES 20.93/6.49
ICFP_2010_relative/137809.xml 11771800 timeout (wallclock) [out] MAYBE 784.62/299.92 timeout (wallclock) [out] timeout (wallclock) [out] YES 18.07/5.64
ICFP_2010_relative/138194.xml 11771820 timeout (wallclock) [out] MAYBE 940.70/299.92 timeout (wallclock) [out] timeout (wallclock) [out] YES 57.91/18.45
ICFP_2010_relative/138269.xml 11771812 timeout (wallclock) [out] MAYBE 786.33/299.92 YES 16.49/4.35 timeout (wallclock) [out] YES 18.78/5.88
ICFP_2010_relative/138330.xml 11771766 timeout (wallclock) [out] MAYBE 936.00/299.94 YES 16.57/4.36 timeout (wallclock) [out] YES 21.99/7.16
ICFP_2010_relative/138477.xml 11771862 timeout (wallclock) [out] MAYBE 797.54/299.91 timeout (wallclock) [out] timeout (wallclock) [out] YES 18.54/5.56
ICFP_2010_relative/138993.xml 11771895 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.41/2.77 YES 36.80/10.24 YES 6.34/1.99
ICFP_2010_relative/139004.xml 11771861 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.12/2.67 YES 57.36/15.41 YES 7.95/2.56
ICFP_2010_relative/139018.xml 11771748 timeout (wallclock) [out] timeout (wallclock) [out] YES 4.84/1.32 YES 36.96/10.34 YES 7.09/2.09
ICFP_2010_relative/139025.xml 11771796 timeout (wallclock) [out] timeout (wallclock) [out] YES 4.80/1.31 YES 35.91/9.97 YES 7.53/2.23
ICFP_2010_relative/139036.xml 11771869 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.61/2.54 YES 53.39/14.80 YES 5.29/1.65
ICFP_2010_relative/139100.xml 11771741 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.36/2.47 YES 50.71/13.86 YES 7.42/2.26
ICFP_2010_relative/139163.xml 11771783 timeout (wallclock) [out] timeout (wallclock) [out] YES 27.36/7.18 YES 56.11/15.69 YES 153.14/49.45
ICFP_2010_relative/139167.xml 11771874 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.47/2.50 YES 55.91/15.01 YES 8.94/2.64
ICFP_2010_relative/139174.xml 11771801 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.11/2.41 YES 55.61/15.20 YES 7.45/2.29
ICFP_2010_relative/139180.xml 11771754 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.75/2.57 YES 78.89/21.09 YES 7.22/2.20
ICFP_2010_relative/139185.xml 11771838 timeout (wallclock) [out] timeout (wallclock) [out] YES 4.80/1.31 YES 28.88/8.18 YES 36.87/11.86
ICFP_2010_relative/139190.xml 11771788 timeout (wallclock) [out] timeout (wallclock) [out] YES 5.00/1.36 YES 50.37/13.77 YES 7.89/2.61
ICFP_2010_relative/139214.xml 11771879 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.52/2.51 YES 42.77/11.75 YES 8.3/2.65
ICFP_2010_relative/139236.xml 11771834 timeout (wallclock) [out] timeout (wallclock) [out] YES 10.32/2.72 YES 40.30/11.80 YES 7.84/2.99
ICFP_2010_relative/139256.xml 11771787 timeout (wallclock) [out] timeout (wallclock) [out] YES 4.71/1.28 YES 46.48/12.64 YES 9.32/2.77
ICFP_2010_relative/139282.xml 11771887 timeout (wallclock) [out] timeout (wallclock) [out] YES 4.79/1.32 YES 34.84/9.66 YES 8.03/2.46
ICFP_2010_relative/139310.xml 11771756 timeout (wallclock) [out] timeout (wallclock) [out] YES 8.60/2.28 YES 35.49/10.05 YES 6.26/2.10
ICFP_2010_relative/139378.xml 11771846 timeout (wallclock) [out] timeout (wallclock) [out] YES 8.37/2.23 YES 44.75/12.40 YES 5.31/1.64
ICFP_2010_relative/140287.xml 11771847 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140318.xml 11771836 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.22/2.44 YES 37.93/10.60 YES 10.09/4.32
ICFP_2010_relative/140359.xml 11771873 timeout (wallclock) [out] timeout (wallclock) [out] YES 9.13/2.42 YES 44.11/12.20 YES 8.3/2.63
ICFP_2010_relative/140631.xml 11771883 timeout (wallclock) [out] MAYBE 935.53/299.87 YES 605.26/155.52 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140639.xml 11771843 timeout (wallclock) [out] MAYBE 935.89/299.86 YES 234.04/59.97 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140649.xml 11771745 timeout (wallclock) [out] MAYBE 936.63/299.89 YES 710.83/182.00 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140654.xml 11771839 timeout (wallclock) [out] MAYBE 916.69/299.86 YES 1036.85/267.17 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140659.xml 11771815 timeout (wallclock) [out] MAYBE 935.57/299.84 YES 569.04/146.29 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/140664.xml 11771781 timeout (wallclock) [out] MAYBE 943.99/299.85 YES 666.83/171.13 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/142142.xml 11771813 timeout (wallclock) [out] MAYBE 934.68/299.91 YES 790.75/203.38 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/142146.xml 11771832 timeout (wallclock) [out] MAYBE 944.82/299.84 YES 5.34/1.44 YES 69.43/32.42 YES 5.66/1.74
ICFP_2010_relative/142150.xml 11771851 timeout (wallclock) [out] MAYBE 936.16/299.85 YES 676.93/173.37 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/142157.xml 11771849 timeout (wallclock) [out] MAYBE 939.69/299.85 YES 522.29/133.63 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3268.xml 11771749 timeout (wallclock) [out] MAYBE 812.20/299.38 YES 43.62/11.26 timeout (wallclock) [out] YES 4.04/1.33
ICFP_2010_relative/3336.xml 11771785 ERROR 16.69/15.36 MAYBE 650.89/299.40 YES 385.01/98.57 ERROR 0.55/0.32 YES 18.08/5.22
ICFP_2010_relative/3385.xml 11771763 timeout (wallclock) [out] MAYBE 809.72/299.40 timeout (wallclock) [out] timeout (wallclock) [out] YES 15.55/4.48
ICFP_2010_relative/3450.xml 11771751 timeout (wallclock) [out] MAYBE 935.15/299.51 YES 39.54/10.15 timeout (wallclock) [out] YES 56.28/17.17
ICFP_2010_relative/3467.xml 11771825 timeout (wallclock) [out] MAYBE 935.4/299.51 YES 3.08/0.84 timeout (wallclock) [out] YES 8.0/2.56
ICFP_2010_relative/3498.xml 11771792 timeout (wallclock) [out] MAYBE 870.15/299.49 YES 8.60/2.28 timeout (wallclock) [out] YES 11.91/3.80
ICFP_2010_relative/3533.xml 11771765 timeout (wallclock) [out] MAYBE 935.00/299.51 YES 105.64/27.08 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3562.xml 11771747 timeout (wallclock) [out] MAYBE 934.71/299.51 YES 41.07/10.54 timeout (wallclock) [out] YES 49.53/14.95
ICFP_2010_relative/3589.xml 11771797 timeout (wallclock) [out] MAYBE 935.25/299.51 timeout (wallclock) [out] timeout (wallclock) [out] YES 41.97/12.29
ICFP_2010_relative/3633.xml 11771799 timeout (wallclock) [out] MAYBE 935.29/299.51 YES 39.12/10.07 timeout (wallclock) [out] YES 507.53/162.29
ICFP_2010_relative/3680.xml 11771774 timeout (wallclock) [out] MAYBE 935.26/299.52 YES 7.21/1.91 YES 104.09/27.44 YES 6.55/2.15
ICFP_2010_relative/3705.xml 11771830 timeout (wallclock) [out] MAYBE 935.03/299.51 YES 44.90/11.58 timeout (wallclock) [out] YES 283.06/90.88
ICFP_2010_relative/3729.xml 11771889 timeout (wallclock) [out] MAYBE 944.12/299.51 YES 3.31/0.90 timeout (wallclock) [out] YES 7.77/2.48
ICFP_2010_relative/3746.xml 11771819 timeout (wallclock) [out] MAYBE 934.91/299.50 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3762.xml 11771805 timeout (wallclock) [out] MAYBE 934.46/299.51 YES 24.64/6.33 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3770.xml 11771826 timeout (wallclock) [out] MAYBE 938.23/299.51 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3786.xml 11771784 timeout (wallclock) [out] MAYBE 941.28/299.52 timeout (wallclock) [out] timeout (wallclock) [out] YES 33.43/9.90
ICFP_2010_relative/3817.xml 11771778 timeout (wallclock) [out] MAYBE 935.59/299.51 YES 53.54/13.79 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3831.xml 11771844 timeout (wallclock) [out] MAYBE 935.15/299.51 YES 7.80/2.06 YES 124.95/32.89 YES 8.16/2.49
ICFP_2010_relative/3842.xml 11771885 timeout (wallclock) [out] MAYBE 936.82/299.51 timeout (wallclock) [out] timeout (wallclock) [out] YES 18.94/5.48
ICFP_2010_relative/3856.xml 11771816 timeout (wallclock) [out] MAYBE 935.77/299.52 YES 7.56/1.99 YES 174.78/45.12 YES 8.25/2.59
ICFP_2010_relative/3861.xml 11771863 timeout (wallclock) [out] MAYBE 935.27/299.50 timeout (wallclock) [out] timeout (wallclock) [out] YES 74.68/22.85
ICFP_2010_relative/3865.xml 11771767 timeout (wallclock) [out] MAYBE 933.41/299.57 timeout (wallclock) [out] timeout (wallclock) [out] YES 348.23/109.86
ICFP_2010_relative/3916.xml 11771786 timeout (wallclock) [out] MAYBE 653.12/299.55 timeout (wallclock) [out] ERROR 0.63/0.35 timeout (wallclock) [out]
ICFP_2010_relative/3930.xml 11771872 timeout (wallclock) [out] MAYBE 934.01/299.53 timeout (wallclock) [out] timeout (wallclock) [out] YES 51.92/15.82
ICFP_2010_relative/3939.xml 11771864 timeout (wallclock) [out] MAYBE 935.03/299.51 YES 6.95/1.85 timeout (wallclock) [out] YES 9.27/2.77
ICFP_2010_relative/3989.xml 11771804 timeout (wallclock) [out] MAYBE 935.02/299.51 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/3995.xml 11771833 timeout (wallclock) [out] MAYBE 944.54/299.51 YES 11.16/2.88 timeout (wallclock) [out] YES 8.54/2.78
ICFP_2010_relative/4002.xml 11771868 timeout (wallclock) [out] MAYBE 882.63/299.48 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4017.xml 11771740 timeout (wallclock) [out] MAYBE 935.10/299.51 YES 35.37/9.10 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4029.xml 11771845 timeout (wallclock) [out] MAYBE 935.83/299.52 YES 40.58/10.45 timeout (wallclock) [out] YES 581.49/180.16
ICFP_2010_relative/4036.xml 11771835 timeout (wallclock) [out] MAYBE 935.34/299.51 YES 6.84/1.81 YES 199.09/51.18 YES 8.23/2.53
ICFP_2010_relative/4046.xml 11771752 timeout (wallclock) [out] MAYBE 652.31/299.49 timeout (wallclock) [out] ERROR 0.51/0.31 timeout (wallclock) [out]
ICFP_2010_relative/4051.xml 11771789 timeout (wallclock) [out] MAYBE 935.22/299.51 YES 7.02/1.86 YES 202.82/52.30 YES 5.48/1.82
ICFP_2010_relative/4057.xml 11771750 timeout (wallclock) [out] MAYBE 934.07/299.57 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4074.xml 11771772 timeout (wallclock) [out] MAYBE 934.77/299.57 YES 3.22/0.87 timeout (wallclock) [out] YES 8.13/2.90
ICFP_2010_relative/4106.xml 11771744 timeout (wallclock) [out] MAYBE 869.70/299.48 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/41378.xml 11771771 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 19.79/5.78
ICFP_2010_relative/4141.xml 11771738 timeout (wallclock) [out] MAYBE 934.35/299.50 YES 48.19/12.40 timeout (wallclock) [out] YES 30.15/9.06
ICFP_2010_relative/4157.xml 11771779 timeout (wallclock) [out] MAYBE 934.93/299.52 YES 33.79/8.67 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4181.xml 11771776 timeout (wallclock) [out] MAYBE 940.44/299.51 YES 3.43/0.93 YES 199.32/51.46 YES 8.34/2.47
ICFP_2010_relative/4200.xml 11771758 timeout (wallclock) [out] MAYBE 934.86/299.51 YES 53.21/13.82 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4248.xml 11771811 timeout (wallclock) [out] MAYBE 934.48/299.58 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4282.xml 11771852 timeout (wallclock) [out] MAYBE 822.31/299.5 YES 7.12/1.90 timeout (wallclock) [out] YES 7.02/2.22
ICFP_2010_relative/4374.xml 11771806 timeout (wallclock) [out] MAYBE 944.05/299.53 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4412.xml 11771780 timeout (wallclock) [out] MAYBE 935.11/299.51 YES 7.99/2.11 YES 140.34/36.77 YES 17.94/5.20
ICFP_2010_relative/4484.xml 11771760 timeout (wallclock) [out] MAYBE 934.48/299.52 timeout (wallclock) [out] timeout (wallclock) [out] YES 86.68/27.29
ICFP_2010_relative/4487.xml 11771857 timeout (wallclock) [out] MAYBE 935.71/299.50 YES 2.96/0.81 timeout (wallclock) [out] YES 7.6/2.64
ICFP_2010_relative/4816.xml 11771866 timeout (wallclock) [out] MAYBE 935.22/299.51 YES 7.12/1.89 YES 184.83/47.67 YES 7.55/2.28
ICFP_2010_relative/4819.xml 11771824 timeout (wallclock) [out] MAYBE 929.89/299.49 YES 7.63/2.02 YES 81.98/22.01 YES 8.92/2.72
ICFP_2010_relative/4824.xml 11771858 timeout (wallclock) [out] MAYBE 935.97/299.50 YES 11.59/3.07 timeout (wallclock) [out] YES 19.15/5.46
ICFP_2010_relative/4827.xml 11771761 timeout (wallclock) [out] MAYBE 940.82/299.50 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4840.xml 11771893 timeout (wallclock) [out] MAYBE 934.97/299.51 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4847.xml 11771888 timeout (wallclock) [out] MAYBE 934.76/299.51 YES 72.15/18.71 timeout (wallclock) [out] YES 439.87/138.69
ICFP_2010_relative/4854.xml 11771822 timeout (wallclock) [out] MAYBE 935.14/299.51 YES 41.51/10.70 timeout (wallclock) [out] YES 624.65/196.13
ICFP_2010_relative/4893.xml 11771790 timeout (wallclock) [out] MAYBE 935.32/299.50 YES 6.80/1.80 timeout (wallclock) [out] YES 18.63/5.16
ICFP_2010_relative/4920.xml 11771739 timeout (wallclock) [out] MAYBE 934.09/299.51 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4934.xml 11771829 timeout (wallclock) [out] MAYBE 935.33/299.50 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/4938.xml 11771782 timeout (wallclock) [out] MAYBE 934.04/299.53 YES 11.55/3.00 timeout (wallclock) [out] YES 8.11/2.64
ICFP_2010_relative/4943.xml 11771777 timeout (wallclock) [out] MAYBE 935.43/299.51 YES 5.09/1.33 timeout (wallclock) [out] YES 160.71/50.20
ICFP_2010_relative/4953.xml 11771802 timeout (wallclock) [out] MAYBE 935.72/299.51 YES 6.95/1.83 timeout (wallclock) [out] YES 8.56/2.79
ICFP_2010_relative/4964.xml 11771894 timeout (wallclock) [out] MAYBE 935.11/299.51 timeout (wallclock) [out] timeout (wallclock) [out] YES 13.57/3.91
ICFP_2010_relative/4970.xml 11771821 timeout (wallclock) [out] MAYBE 652.70/299.48 timeout (wallclock) [out] ERROR 0.56/0.32 timeout (wallclock) [out]
ICFP_2010_relative/4979.xml 11771818 timeout (wallclock) [out] MAYBE 934.64/299.50 timeout (wallclock) [out] timeout (wallclock) [out] YES 290.00/92.69
ICFP_2010_relative/4991.xml 11771876 timeout (wallclock) [out] MAYBE 944.75/299.54 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/5011.xml 11771828 timeout (wallclock) [out] MAYBE 655.55/299.49 timeout (wallclock) [out] ERROR 0.56/0.41 timeout (wallclock) [out]
ICFP_2010_relative/5076.xml 11771803 timeout (wallclock) [out] MAYBE 936.69/299.55 timeout (wallclock) [out] timeout (wallclock) [out] YES 499.51/156.28
ICFP_2010_relative/5109.xml 11771841 timeout (wallclock) [out] MAYBE 852.97/299.50 YES 7.41/1.96 YES 84.54/22.44 YES 7.76/2.33
ICFP_2010_relative/5130.xml 11771768 timeout (wallclock) [out] MAYBE 936.81/299.52 YES 3.54/0.95 YES 113.33/29.76 YES 7.92/2.49
ICFP_2010_relative/54097.xml 11771736 timeout (wallclock) [out] timeout (wallclock) [out] YES 54.90/14.12 timeout (wallclock) [out] YES 17.8/5.11
ICFP_2010_relative/63142.xml 11771875 timeout (wallclock) [out] MAYBE 842.19/299.55 YES 6.27/1.64 timeout (wallclock) [out] YES 34.81/10.61
ICFP_2010_relative/64160.xml 11771746 timeout (wallclock) [out] MAYBE 870.46/299.55 YES 43.05/11.17 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/88143.xml 11771762 timeout (wallclock) [out] MAYBE 810.97/299.53 YES 2.93/0.79 YES 71.44/23.75 YES 2.32/0.88
ICFP_2010_relative/88172.xml 11771865 timeout (wallclock) [out] MAYBE 943.53/299.56 YES 3.14/0.84 timeout (wallclock) [out] YES 2.82/0.96
ICFP_2010_relative/91242.xml 11771770 timeout (wallclock) [out] MAYBE 955.99/300.03 YES 79.14/20.34 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/97888.xml 11771793 timeout (wallclock) [out] timeout (wallclock) [out] YES 1004.01/257.44 timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/97901.xml 11771795 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/97917.xml 11771817 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
ICFP_2010_relative/97929.xml 11771870 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out]
10 24 145 89 150