Termination Competition 2018: SRS Relative30037

benchmark AProVE NaTT ttt2-1.17+nonreach MultumNonMulta3.12_29June2018A
Waldmann_06_relative/rbeans.xml MAYBE 0.36/0.28 MAYBE 0.02/0.01 MAYBE 99.11/42.37 timeout (cpu)
Waldmann_06_relative/r8.xml YES 21.66/6.16 MAYBE 0.24/0.20 YES 11.00/3.05 YES 1.14/0.54
Waldmann_06_relative/r4.xml YES 1093.41/274.31 MAYBE 0.10/0.09 MAYBE 158.98/42.38 timeout (cpu)
Waldmann_06_relative/r1.xml MAYBE 0.33/2.63 MAYBE 0.01/0.01 MAYBE 91.57/42.38 YES 0.66/0.42
Waldmann_06_relative/r5.xml YES 20.14/5.73 MAYBE 0.08/0.07 YES 14.34/3.87 memout
Waldmann_06_relative/r9.xml YES 27.23/7.77 YES 0.02/0.03 YES 4.35/1.37 YES 0.97/0.51
Waldmann_06_relative/r6.xml YES 9.58/3.15 MAYBE 0.10/0.09 YES 9.99/2.80 YES 0.83/0.47
Waldmann_06_relative/r7.xml YES 4.64/1.89 MAYBE 0.13/0.11 YES 7.23/2.11 YES 0.88/0.59
Waldmann_06_relative/r3.xml YES 31.01/8.50 MAYBE 0.07/0.06 YES 4.35/1.37 YES 1.27/0.59
Waldmann_06_relative/r10.xml YES 479.01/120.61 MAYBE 0.26/0.21 MAYBE 159.36/42.37 YES 2.89/1.18
Waldmann_06_relative/r2.xml MAYBE 0.34/0.25 MAYBE 0.02/0.02 YES 17.88/4.79 memout
Mixed_relative_SRS/zr07.xml YES 9.26/3.05 YES 0.11/0.09 YES 10.14/2.83 YES 0.88/0.49
Mixed_relative_SRS/zr02new.xml YES 8.20/2.80 MAYBE 0.13/0.11 YES 24.27/6.38 YES 1.72/0.70
Mixed_relative_SRS/zr01.xml YES 5.30/2.07 MAYBE 0.08/0.07 YES 6.43/1.90 YES 0.62/0.41
Mixed_relative_SRS/zr05.xml YES 4.44/1.82 YES 0.04/0.03 YES 3.81/1.24 YES 0.87/0.59
Mixed_relative_SRS/un03.xml StarExec error MAYBE 1.69/1.46 MAYBE 160.41/42.40 YES 65.24/16.74
Mixed_relative_SRS/zr03.xml YES 4.21/1.75 YES 0.01/0.01 YES 3.02/1.04 YES 0.70/0.44
Mixed_relative_SRS/zr11.xml YES 9.80/3.22 MAYBE 0.20/0.17 YES 12.08/3.32 YES 0.83/0.55
Mixed_relative_SRS/dup04.xml YES 192.44/49.39 MAYBE 16.77/16.69 MAYBE 159.37/42.38 YES 0.79/0.45
Mixed_relative_SRS/zr04.xml YES 20.86/6.04 MAYBE 0.23/0.21 MAYBE 168.50/42.46 YES 1.11/0.55
Mixed_relative_SRS/zr08.xml YES 8.65/3.08 YES 0.02/0.02 YES 6.35/1.89 YES 0.62/0.42
Mixed_relative_SRS/zr09.xml YES 5.87/2.16 StarExec error YES 7.82/2.24 YES 0.69/0.44
Mixed_relative_SRS/zr12.xml YES 6.20/2.24 MAYBE 0.06/0.05 YES 9.20/2.60 YES 0.84/0.48
Mixed_relative_SRS/un01.xml YES 29.70/10.27 MAYBE 0.16/0.14 MAYBE 159.53/42.38 YES 0.76/0.44
Mixed_relative_SRS/zr13.xml NO 3.85/1.68 MAYBE 0.06/0.05 NO 2.63/0.97 NO 0.46/0.36
Mixed_relative_SRS/dup02.xml YES 98.75/25.69 MAYBE 1.82/1.72 MAYBE 168.13/42.49 memout
Mixed_relative_SRS/zr04new.xml YES 15.74/4.77 MAYBE 0.10/0.09 MAYBE 168.41/42.46 YES 1.28/0.59
Mixed_relative_SRS/zr06.xml YES 7.61/3.13 YES 0.04/0.04 YES 4.06/1.30 YES 0.86/0.48
Mixed_relative_SRS/dup03.xml YES 53.06/14.25 YES 2.44/1.79 MAYBE 165.98/42.38 YES 1.26/0.67
Mixed_relative_SRS/zr02.xml YES 7.13/2.69 MAYBE 0.14/0.12 YES 22.80/6.02 YES 0.80/0.46
Mixed_relative_SRS/zr10.xml YES 11.60/3.93 MAYBE 0.13/0.11 YES 21.11/5.58 YES 0.76/0.45
Zantema_06_relative/rel12.xml StarExec error MAYBE 0.15/0.13 MAYBE 163.48/42.38 memout
Zantema_06_relative/rel10.xml YES 32.45/9.26 MAYBE 0.23/0.22 MAYBE 151.61/42.38 YES 2.34/0.86
Zantema_06_relative/rel11.xml StarExec error MAYBE 0.10/0.09 MAYBE 169.51/42.77 memout
Zantema_06_relative/rel08.xml YES 8.66/2.90 MAYBE 0.12/0.10 MAYBE 164.10/42.38 YES 5.74/1.95
Zantema_06_relative/rel06.xml YES 32.21/8.90 MAYBE 0.08/0.07 MAYBE 156.98/42.38 memout
Zantema_06_relative/rel05.xml YES 11.28/3.63 MAYBE 0.14/0.11 YES 11.90/3.29 YES 0.98/0.62
Zantema_06_relative/rel02.xml YES 13.23/4.05 MAYBE 0.14/0.13 MAYBE 159.15/42.38 YES 1.62/0.70
Zantema_06_relative/rel13.xml YES 6.27/2.32 MAYBE 0.07/0.06 YES 19.97/5.29 YES 0.88/0.49
Zantema_06_relative/rel01.xml YES 5.51/2.15 MAYBE 0.07/0.05 YES 7.43/2.16 YES 0.88/0.49
Zantema_06_relative/rel07.xml StarExec error MAYBE 0.22/0.19 MAYBE 158.10/42.38 timeout (cpu)
Zantema_06_relative/rel03.xml StarExec error MAYBE 0.17/0.14 MAYBE 160.23/42.37 memout
Zantema_06_relative/cars.xml StarExec error MAYBE 0.10/0.09 MAYBE 168.39/42.48 memout
Zantema_06_relative/rel04.xml YES 11.02/3.61 MAYBE 0.16/0.13 YES 20.42/5.41 YES 0.84/0.48
Zantema_06_relative/rel09.xml YES 27.56/7.97 MAYBE 0.23/0.22 MAYBE 155.43/42.39 YES 101.77/28.43
ICFP_2010_relative/4484.xml StarExec error StarExec error MAYBE 141.51/42.67 YES 120.20/42.98
ICFP_2010_relative/131982.xml timeout (wallclock) StarExec error MAYBE 142.93/43.51 YES 325.61/83.16
ICFP_2010_relative/137809.xml StarExec error StarExec error MAYBE 142.83/43.50 YES 1017.88/256.48
ICFP_2010_relative/4057.xml StarExec error StarExec error MAYBE 141.49/42.67 memout
ICFP_2010_relative/139256.xml YES 52.83/14.08 StarExec error MAYBE 142.78/43.83 YES 65.61/17.00
ICFP_2010_relative/5130.xml YES 120.02/31.13 StarExec error MAYBE 141.37/42.67 YES 108.80/28.89
ICFP_2010_relative/3770.xml StarExec error StarExec error MAYBE 141.49/42.68 timeout (wallclock)
ICFP_2010_relative/135604.xml StarExec error StarExec error MAYBE 142.76/43.51 YES 789.33/199.42
ICFP_2010_relative/3842.xml StarExec error StarExec error MAYBE 141.59/42.68 YES 25.52/7.74
ICFP_2010_relative/4979.xml StarExec error StarExec error MAYBE 141.19/42.66 YES 371.11/96.57
ICFP_2010_relative/4487.xml StarExec error StarExec error MAYBE 141.55/42.68 YES 77.15/19.73
ICFP_2010_relative/4943.xml StarExec error StarExec error MAYBE 141.76/42.67 YES 233.33/61.58
ICFP_2010_relative/3916.xml MAYBE 0.59/0.33 MAYBE 1.13/1.11 MAYBE 100.30/42.62 memout
ICFP_2010_relative/4106.xml StarExec error StarExec error MAYBE 141.44/42.65 memout
ICFP_2010_relative/4893.xml StarExec error StarExec error MAYBE 141.39/42.67 YES 33.76/10.55
ICFP_2010_relative/136051.xml StarExec error StarExec error MAYBE 142.63/43.49 YES 869.10/219.68
ICFP_2010_relative/139310.xml YES 39.95/10.92 StarExec error MAYBE 141.80/43.83 YES 48.93/13.13
ICFP_2010_relative/136623.xml StarExec error StarExec error MAYBE 142.38/43.45 YES 929.44/235.69
ICFP_2010_relative/132478.xml YES 55.50/14.67 StarExec error MAYBE 142.82/43.84 YES 61.37/17.72
ICFP_2010_relative/4824.xml StarExec error StarExec error MAYBE 141.55/42.66 YES 19.53/5.30
ICFP_2010_relative/4938.xml StarExec error StarExec error MAYBE 141.63/42.67 YES 110.10/27.95
ICFP_2010_relative/88172.xml StarExec error StarExec error MAYBE 141.72/42.81 YES 11.86/3.58
ICFP_2010_relative/132920.xml YES 39.29/10.68 StarExec error MAYBE 141.71/43.84 YES 120.86/71.54
ICFP_2010_relative/139163.xml YES 70.21/18.68 StarExec error MAYBE 142.00/43.85 StarExec error
ICFP_2010_relative/97888.xml StarExec error StarExec error MAYBE 144.85/45.95 timeout (cpu)
ICFP_2010_relative/4374.xml StarExec error StarExec error StarExec error timeout (cpu)
ICFP_2010_relative/128430.xml YES 47.32/12.83 StarExec error MAYBE 142.28/43.83 YES 64.56/22.45
ICFP_2010_relative/135328.xml StarExec error StarExec error MAYBE 142.65/43.47 YES 1148.32/288.13
ICFP_2010_relative/140639.xml StarExec error StarExec error MAYBE 142.46/43.35 timeout (cpu)
ICFP_2010_relative/139174.xml YES 41.88/11.42 StarExec error MAYBE 142.85/43.85 YES 57.74/15.22
ICFP_2010_relative/4157.xml StarExec error StarExec error MAYBE 141.61/42.71 timeout (cpu)
ICFP_2010_relative/91242.xml StarExec error StarExec error MAYBE 143.07/43.86 timeout (cpu)
ICFP_2010_relative/140664.xml StarExec error StarExec error MAYBE 141.86/43.32 timeout (cpu)
ICFP_2010_relative/128691.xml YES 39.44/10.73 StarExec error MAYBE 142.85/43.84 YES 56.43/17.52
ICFP_2010_relative/4953.xml StarExec error StarExec error MAYBE 141.65/42.69 YES 112.51/28.81
ICFP_2010_relative/131633.xml StarExec error StarExec error MAYBE 142.77/43.51 YES 358.45/92.91
ICFP_2010_relative/128550.xml YES 54.62/15.00 StarExec error MAYBE 142.81/43.84 YES 76.83/31.02
ICFP_2010_relative/133486.xml StarExec error StarExec error MAYBE 142.64/43.47 YES 886.07/222.23
ICFP_2010_relative/134918.xml StarExec error StarExec error MAYBE 143.00/43.49 YES 876.02/220.07
ICFP_2010_relative/138269.xml StarExec error StarExec error MAYBE 142.88/43.51 StarExec error
ICFP_2010_relative/4964.xml StarExec error StarExec error MAYBE 141.71/42.66 YES 13.13/3.60
ICFP_2010_relative/133010.xml YES 44.15/11.86 StarExec error MAYBE 141.86/43.82 YES 97.05/54.59
ICFP_2010_relative/133159.xml StarExec error StarExec error MAYBE 142.56/43.49 YES 769.99/196.44
ICFP_2010_relative/128280.xml YES 44.48/12.45 StarExec error MAYBE 142.91/43.83 YES 58.95/15.70
ICFP_2010_relative/127538.xml YES 49.80/13.51 StarExec error MAYBE 141.75/43.83 YES 58.25/17.07
ICFP_2010_relative/3989.xml StarExec error StarExec error MAYBE 141.43/42.66 timeout (cpu)
ICFP_2010_relative/140631.xml StarExec error StarExec error MAYBE 142.33/43.39 timeout (cpu)
ICFP_2010_relative/128486.xml YES 32.40/8.95 StarExec error MAYBE 141.78/43.94 YES 58.67/15.35
ICFP_2010_relative/140649.xml StarExec error StarExec error MAYBE 142.35/43.41 timeout (cpu)
ICFP_2010_relative/124791.xml StarExec error StarExec error MAYBE 142.93/43.49 YES 791.49/199.37
ICFP_2010_relative/139018.xml YES 40.02/10.94 StarExec error MAYBE 142.04/43.88 YES 59.52/17.57
ICFP_2010_relative/3533.xml StarExec error StarExec error MAYBE 142.78/42.68 timeout (cpu)
ICFP_2010_relative/139036.xml YES 40.79/11.11 StarExec error MAYBE 142.67/43.83 YES 57.91/17.08
ICFP_2010_relative/139180.xml YES 81.19/21.73 StarExec error MAYBE 142.75/43.85 StarExec error
ICFP_2010_relative/139378.xml YES 49.00/13.63 StarExec error MAYBE 141.78/43.82 YES 51.93/14.27
ICFP_2010_relative/140359.xml YES 41.79/11.36 StarExec error MAYBE 142.67/43.84 StarExec error
ICFP_2010_relative/4920.xml StarExec error StarExec error MAYBE 141.52/42.67 memout
ICFP_2010_relative/41378.xml StarExec error StarExec error MAYBE 153.44/54.33 YES 66.26/18.41
ICFP_2010_relative/3831.xml YES 114.12/29.78 StarExec error MAYBE 141.43/42.69 YES 71.85/20.38
ICFP_2010_relative/124211.xml StarExec error StarExec error MAYBE 142.75/43.46 YES 693.50/173.89
ICFP_2010_relative/138330.xml StarExec error StarExec error MAYBE 142.61/43.49 YES 788.69/199.88
ICFP_2010_relative/138477.xml StarExec error StarExec error MAYBE 142.67/43.48 YES 982.28/246.70
ICFP_2010_relative/132235.xml StarExec error StarExec error MAYBE 142.61/43.48 YES 840.89/214.25
ICFP_2010_relative/139214.xml YES 47.62/12.80 StarExec error MAYBE 142.79/43.84 YES 59.25/15.24
ICFP_2010_relative/3268.xml StarExec error StarExec error MAYBE 138.69/42.47 YES 4.09/1.48
ICFP_2010_relative/139025.xml YES 52.00/13.92 StarExec error MAYBE 142.61/43.84 YES 275.26/78.86
ICFP_2010_relative/5109.xml YES 98.27/25.73 StarExec error MAYBE 141.73/42.67 YES 116.15/30.10
ICFP_2010_relative/139185.xml YES 39.25/10.74 StarExec error MAYBE 142.73/43.83 YES 82.29/36.55
ICFP_2010_relative/4200.xml StarExec error StarExec error MAYBE 141.53/42.68 timeout (cpu)
ICFP_2010_relative/3467.xml StarExec error StarExec error MAYBE 141.39/42.68 YES 76.21/19.52
ICFP_2010_relative/139100.xml YES 49.16/13.13 StarExec error MAYBE 142.82/43.88 StarExec error
ICFP_2010_relative/128182.xml YES 49.81/13.49 StarExec error MAYBE 142.75/43.84 YES 57.69/15.41
ICFP_2010_relative/124269.xml StarExec error StarExec error StarExec error timeout (cpu)
ICFP_2010_relative/142142.xml StarExec error StarExec error MAYBE 142.28/43.38 timeout (cpu)
ICFP_2010_relative/3865.xml StarExec error StarExec error MAYBE 141.62/42.69 YES 436.81/113.18
ICFP_2010_relative/3995.xml StarExec error StarExec error MAYBE 141.49/42.68 YES 69.51/18.20
ICFP_2010_relative/138993.xml YES 52.76/14.05 StarExec error MAYBE 141.76/43.93 YES 54.67/16.49
ICFP_2010_relative/142146.xml YES 69.99/31.01 StarExec error MAYBE 141.51/43.33 YES 15.97/4.40
ICFP_2010_relative/63142.xml StarExec error StarExec error MAYBE 141.93/42.80 YES 40.96/10.70
ICFP_2010_relative/4819.xml YES 86.46/23.27 StarExec error MAYBE 141.53/42.67 YES 41.86/11.16
ICFP_2010_relative/135782.xml StarExec error StarExec error MAYBE 142.55/43.49 YES 599.07/151.68
ICFP_2010_relative/4282.xml timeout (wallclock) StarExec error MAYBE 141.67/42.66 YES 76.74/21.61
ICFP_2010_relative/137404.xml StarExec error StarExec error MAYBE 143.00/43.50 YES 1033.82/262.41
ICFP_2010_relative/139190.xml YES 38.66/11.05 StarExec error MAYBE 142.77/43.85 YES 73.98/30.73
ICFP_2010_relative/3786.xml StarExec error StarExec error MAYBE 141.70/42.69 YES 51.45/15.50
ICFP_2010_relative/4074.xml StarExec error StarExec error MAYBE 141.49/42.68 YES 71.86/20.49
ICFP_2010_relative/97917.xml StarExec error StarExec error MAYBE 144.68/45.94 timeout (cpu)
ICFP_2010_relative/132622.xml YES 44.15/11.91 StarExec error MAYBE 142.63/43.86 YES 216.97/85.07
ICFP_2010_relative/135115.xml StarExec error StarExec error MAYBE 143.00/43.51 YES 1038.31/262.59
ICFP_2010_relative/107236.xml StarExec error StarExec error MAYBE 143.90/44.99 timeout (cpu)
ICFP_2010_relative/132720.xml YES 37.76/10.42 StarExec error MAYBE 141.89/43.84 YES 74.75/21.43
ICFP_2010_relative/140659.xml StarExec error StarExec error MAYBE 142.28/43.33 timeout (cpu)
ICFP_2010_relative/139167.xml YES 52.02/14.39 StarExec error MAYBE 142.85/43.86 YES 71.65/30.96
ICFP_2010_relative/4412.xml YES 133.79/34.34 StarExec error MAYBE 141.48/42.68 YES 19.76/5.38
ICFP_2010_relative/140287.xml StarExec error StarExec error MAYBE 141.75/43.82 timeout (cpu)
ICFP_2010_relative/138194.xml StarExec error StarExec error MAYBE 142.60/43.46 YES 660.34/167.87
ICFP_2010_relative/4934.xml StarExec error StarExec error MAYBE 141.61/42.67 timeout (cpu)
ICFP_2010_relative/135936.xml YES 559.58/154.02 StarExec error MAYBE 142.69/43.47 YES 943.11/238.06
ICFP_2010_relative/123759.xml StarExec error StarExec error StarExec error StarExec error
ICFP_2010_relative/4991.xml StarExec error StarExec error MAYBE 141.58/42.67 timeout (cpu)
ICFP_2010_relative/3633.xml timeout (wallclock) StarExec error MAYBE 141.60/42.68 YES 638.30/163.69
ICFP_2010_relative/139004.xml YES 44.82/12.09 StarExec error MAYBE 142.02/43.88 YES 82.06/32.85
ICFP_2010_relative/3705.xml StarExec error StarExec error MAYBE 141.56/42.68 YES 332.41/83.93
ICFP_2010_relative/3746.xml StarExec error StarExec error MAYBE 142.99/42.66 timeout (cpu)
ICFP_2010_relative/142157.xml StarExec error StarExec error MAYBE 141.98/43.36 timeout (cpu)
ICFP_2010_relative/4051.xml YES 233.69/59.37 StarExec error MAYBE 141.59/42.68 YES 66.10/18.73
ICFP_2010_relative/4248.xml StarExec error StarExec error MAYBE 141.54/42.69 timeout (cpu)
ICFP_2010_relative/4840.xml StarExec error StarExec error MAYBE 141.35/42.67 memout
ICFP_2010_relative/140654.xml StarExec error StarExec error MAYBE 142.25/43.38 timeout (cpu)
ICFP_2010_relative/128515.xml YES 63.72/16.75 StarExec error MAYBE 142.88/43.83 StarExec error
ICFP_2010_relative/128620.xml YES 42.68/11.62 StarExec error MAYBE 142.68/43.83 YES 58.67/17.16
ICFP_2010_relative/4970.xml MAYBE 0.54/0.31 MAYBE 0.96/0.95 MAYBE 100.60/42.62 memout
ICFP_2010_relative/3498.xml StarExec error StarExec error MAYBE 141.45/42.65 YES 16.80/4.54
ICFP_2010_relative/3450.xml timeout (wallclock) StarExec error MAYBE 141.55/42.68 YES 80.68/37.23
ICFP_2010_relative/3589.xml StarExec error StarExec error MAYBE 141.35/42.71 YES 89.24/52.34
ICFP_2010_relative/132833.xml YES 53.19/14.18 StarExec error MAYBE 142.86/43.84 YES 62.32/17.87
ICFP_2010_relative/133881.xml StarExec error StarExec error MAYBE 142.65/43.51 YES 776.38/194.89
ICFP_2010_relative/3680.xml YES 114.52/29.88 StarExec error MAYBE 141.71/42.68 YES 188.73/49.68
ICFP_2010_relative/4036.xml YES 213.30/54.86 StarExec error MAYBE 141.57/42.70 YES 84.21/23.59
ICFP_2010_relative/54097.xml StarExec error StarExec error MAYBE 153.57/54.34 YES 133.32/35.28
ICFP_2010_relative/3817.xml StarExec error StarExec error MAYBE 141.54/42.67 timeout (cpu)
ICFP_2010_relative/4141.xml StarExec error StarExec error MAYBE 142.95/42.67 YES 37.20/10.48
ICFP_2010_relative/4181.xml YES 243.97/61.86 StarExec error MAYBE 141.56/42.68 YES 283.32/74.05
ICFP_2010_relative/3562.xml StarExec error StarExec error MAYBE 143.12/42.68 YES 100.56/54.12
ICFP_2010_relative/4002.xml StarExec error StarExec error MAYBE 141.58/42.65 memout
ICFP_2010_relative/136562.xml StarExec error StarExec error MAYBE 142.59/43.49 YES 987.33/249.41
ICFP_2010_relative/132969.xml StarExec error StarExec error MAYBE 142.74/43.50 YES 467.42/117.47
ICFP_2010_relative/4827.xml StarExec error StarExec error MAYBE 141.42/42.67 timeout (cpu)
ICFP_2010_relative/140318.xml YES 38.58/10.50 StarExec error MAYBE 142.65/43.85 YES 114.99/37.16
ICFP_2010_relative/132782.xml YES 38.54/10.56 StarExec error MAYBE 142.44/43.84 YES 68.50/18.14
ICFP_2010_relative/139236.xml YES 32.73/9.38 StarExec error MAYBE 141.80/43.81 StarExec error
ICFP_2010_relative/3729.xml StarExec error StarExec error MAYBE 141.36/42.68 YES 83.33/23.41
ICFP_2010_relative/3939.xml StarExec error StarExec error MAYBE 141.71/42.68 YES 76.61/19.61
ICFP_2010_relative/3336.xml MAYBE 0.56/0.31 MAYBE 0.19/0.19 MAYBE 100.01/42.49 YES 14.48/3.98
ICFP_2010_relative/3385.xml StarExec error StarExec error MAYBE 138.04/42.51 YES 15.29/4.17
ICFP_2010_relative/128056.xml StarExec error StarExec error MAYBE 142.72/43.84 timeout (cpu)
ICFP_2010_relative/107220.xml StarExec error StarExec error MAYBE 143.98/44.96 timeout (cpu)
ICFP_2010_relative/135652.xml StarExec error StarExec error MAYBE 142.68/43.48 timeout (cpu)
ICFP_2010_relative/3856.xml YES 172.81/44.00 StarExec error MAYBE 141.55/42.68 YES 78.40/20.02
ICFP_2010_relative/132540.xml YES 42.76/11.57 StarExec error MAYBE 142.75/43.84 StarExec error
ICFP_2010_relative/3930.xml StarExec error StarExec error MAYBE 141.52/42.67 YES 103.01/47.82
ICFP_2010_relative/4029.xml StarExec error StarExec error MAYBE 141.44/42.68 YES 779.91/199.69
ICFP_2010_relative/4816.xml YES 188.13/47.88 StarExec error MAYBE 141.60/42.69 YES 30.85/9.43
ICFP_2010_relative/142150.xml StarExec error StarExec error MAYBE 142.37/43.38 timeout (cpu)
ICFP_2010_relative/5011.xml MAYBE 0.55/0.34 MAYBE 0.70/0.69 MAYBE 100.43/42.64 memout
ICFP_2010_relative/3861.xml StarExec error StarExec error MAYBE 141.45/42.66 YES 97.91/43.08
ICFP_2010_relative/132864.xml YES 45.33/12.59 StarExec error MAYBE 142.85/43.85 YES 85.64/41.61
ICFP_2010_relative/132957.xml YES 55.68/15.54 StarExec error MAYBE 141.81/43.83 StarExec error
ICFP_2010_relative/3762.xml StarExec error StarExec error MAYBE 141.77/42.68 timeout (wallclock)
ICFP_2010_relative/139282.xml YES 37.42/10.25 StarExec error MAYBE 142.64/43.86 YES 156.79/111.52
ICFP_2010_relative/4854.xml StarExec error StarExec error MAYBE 141.28/42.68 YES 727.46/182.65
ICFP_2010_relative/132738.xml YES 39.90/10.84 StarExec error MAYBE 142.57/43.84 YES 61.25/17.37
ICFP_2010_relative/88143.xml YES 53.80/18.07 StarExec error MAYBE 141.53/42.77 YES 9.90/3.14
ICFP_2010_relative/5076.xml StarExec error StarExec error MAYBE 141.42/42.66 YES 769.45/197.16
ICFP_2010_relative/4847.xml StarExec error StarExec error MAYBE 141.56/42.68 YES 541.65/139.54
ICFP_2010_relative/4046.xml MAYBE 0.51/0.32 MAYBE 1.02/1.01 MAYBE 100.70/42.63 memout
ICFP_2010_relative/97901.xml StarExec error StarExec error MAYBE 144.12/45.98 timeout (cpu)
ICFP_2010_relative/64160.xml StarExec error StarExec error MAYBE 141.97/42.81 timeout (cpu)
ICFP_2010_relative/97929.xml StarExec error StarExec error MAYBE 144.84/45.94 timeout (cpu)
ICFP_2010_relative/4017.xml StarExec error StarExec error MAYBE 141.51/42.68 timeout (cpu)
90 7 24 142