Termination Competition 2018: SRS Standard30035

benchmark AProVE NaTT ttt2-1.17+nonreach muterm 5.18 MultumNonMulta3.12_29June2018A
Mixed_SRS/01-oppelt08.xml NO 23.54/6.68 MAYBE 0.89/0.86 MAYBE 171.89/43.32 timeout (wallclock) memout
Mixed_SRS/05.xml YES 35.64/9.90 MAYBE 0.26/0.22 YES 136.00/34.37 StarExec error memout
Mixed_SRS/03.xml YES 39.49/10.70 MAYBE 0.24/0.21 MAYBE 170.19/42.90 YES 3.43/3.65 memout
Mixed_SRS/01.xml YES 25.03/7.35 MAYBE 0.18/0.16 MAYBE 170.42/42.96 StarExec error memout
Mixed_SRS/touzet.xml YES 20.20/5.94 MAYBE 0.10/0.08 YES 1.82/0.75 StarExec error YES 1.97/0.76
Mixed_SRS/06.xml YES 40.49/11.01 MAYBE 0.17/0.15 YES 93.01/23.61 StarExec error memout
Mixed_SRS/02.xml YES 27.09/7.68 MAYBE 0.62/0.60 MAYBE 171.48/43.24 StarExec error memout
Mixed_SRS/08-oppelt08.xml NO 6.89/2.58 MAYBE 0.26/0.24 StarExec error StarExec error memout
Mixed_SRS/07-oppelt08.xml NO 4.92/2.03 MAYBE 0.12/0.11 MAYBE 171.98/43.33 StarExec error StarExec error
Mixed_SRS/3.xml YES 3.71/1.61 YES 0.10/0.09 YES 3.11/1.06 YES 0.07/0.08 YES 1.01/0.52
Mixed_SRS/1.xml NO 4.65/1.85 MAYBE 0.12/0.11 NO 2.19/0.84 StarExec error NO 0.49/0.36
Mixed_SRS/04.xml StarExec error MAYBE 0.19/0.17 YES 144.37/36.43 StarExec error memout
Mixed_SRS/08.xml YES 192.66/49.37 MAYBE 0.32/0.27 MAYBE 170.05/42.98 StarExec error memout
Mixed_SRS/04-oppelt08.xml NO 12.99/4.05 MAYBE 0.23/0.21 MAYBE 170.24/42.92 StarExec error memout
Mixed_SRS/03-oppelt08.xml NO 39.06/10.62 MAYBE 0.21/0.18 MAYBE 170.93/43.10 StarExec error memout
Mixed_SRS/s6.xml YES 15.16/5.02 YES 0.73/0.73 YES 41.86/10.92 YES 0.02/0.03 YES 1.19/0.66
Mixed_SRS/09.xml YES 19.42/10.06 MAYBE 0.32/0.27 YES 91.11/23.14 StarExec error YES 1.72/0.69
Mixed_SRS/06-oppelt08.xml NO 3.50/1.54 MAYBE 0.11/0.09 MAYBE 169.77/42.81 StarExec error memout
Mixed_SRS/07.xml YES 23.70/6.79 MAYBE 0.11/0.10 YES 101.93/25.83 StarExec error memout
Mixed_SRS/2.xml YES 23.22/6.72 MAYBE 0.12/0.12 YES 155.71/39.28 StarExec error YES 378.19/98.47
Mixed_SRS/02-oppelt08.xml NO 58.24/15.49 MAYBE 0.19/0.18 MAYBE 170.86/43.07 StarExec error memout
Mixed_SRS/turing_copy.xml NO 3.34/1.56 MAYBE 1.44/1.35 NO 0.37/0.38 NO 0.02/0.02 NO 0.59/0.41
Mixed_SRS/turing_add.xml YES 12.30/3.87 YES 0.02/0.02 YES 1.33/0.63 YES 0.11/0.11 YES 2.23/0.83
Mixed_SRS/4.xml StarExec error MAYBE 0.87/0.76 YES 17.65/4.73 StarExec error memout
Mixed_SRS/turing_mult.xml NO 3.66/1.65 MAYBE 1.36/1.27 NO 0.77/0.51 StarExec error NO 0.61/0.41
Mixed_SRS/05-oppelt08.xml NO 9.97/3.30 MAYBE 0.25/0.23 MAYBE 171.76/43.29 timeout (wallclock) memout
ICFP_2010/167391.xml YES 247.29/64.68 StarExec error MAYBE 127.48/45.39 StarExec error timeout (cpu)
ICFP_2010/4484.xml StarExec error StarExec error YES 37.85/9.92 timeout (wallclock) YES 74.38/19.82
ICFP_2010/26862.xml StarExec error StarExec error MAYBE 141.49/43.57 StarExec error YES 27.42/7.38
ICFP_2010/137956.xml timeout (wallclock) StarExec error MAYBE 126.60/44.55 StarExec error StarExec error
ICFP_2010/86559.xml YES 10.25/3.45 StarExec error YES 3.27/1.36 StarExec error YES 1.55/0.66
ICFP_2010/264033.xml YES 26.39/7.78 YES 0.23/0.21 YES 17.97/5.03 StarExec error YES 2.40/0.88
ICFP_2010/131982.xml StarExec error StarExec error MAYBE 125.53/43.47 StarExec error YES 590.48/151.21
ICFP_2010/137809.xml YES 603.95/219.86 StarExec error StarExec error StarExec error timeout (cpu)
ICFP_2010/4057.xml StarExec error StarExec error YES 36.20/9.53 StarExec error YES 25.45/6.75
ICFP_2010/45757.xml StarExec error StarExec error YES 49.98/12.97 timeout (wallclock) YES 105.81/29.72
ICFP_2010/139256.xml YES 45.60/12.48 StarExec error MAYBE 125.85/43.80 timeout (wallclock) YES 103.37/28.18
ICFP_2010/158208.xml timeout (wallclock) StarExec error MAYBE 126.68/44.54 StarExec error YES 828.30/221.45
ICFP_2010/5130.xml StarExec error StarExec error YES 42.63/11.15 StarExec error YES 253.02/64.02
ICFP_2010/3770.xml YES 114.73/29.56 YES 0.47/0.46 YES 6.70/2.02 timeout (wallclock) YES 2.60/0.95
ICFP_2010/48267.xml StarExec error StarExec error MAYBE 143.73/42.71 StarExec error YES 319.06/81.09
ICFP_2010/4206.xml timeout (wallclock) StarExec error MAYBE 138.53/56.39 StarExec error YES 414.40/110.91
ICFP_2010/185453.xml StarExec error StarExec error MAYBE 127.10/44.94 StarExec error timeout (cpu)
ICFP_2010/214011.xml YES 43.33/11.69 YES 9.85/8.37 YES 17.19/4.67 StarExec error YES 15.01/4.55
ICFP_2010/96334.xml StarExec error StarExec error YES 16.78/4.70 StarExec error YES 21.14/6.71
ICFP_2010/135604.xml StarExec error StarExec error MAYBE 129.55/43.49 StarExec error StarExec error
ICFP_2010/3842.xml StarExec error StarExec error YES 36.25/9.54 StarExec error YES 35.82/9.48
ICFP_2010/41688.xml timeout (wallclock) StarExec error MAYBE 126.65/44.55 StarExec error timeout (cpu)
ICFP_2010/4979.xml YES 176.54/45.07 StarExec error YES 31.04/8.18 timeout (wallclock) YES 19.82/5.89
ICFP_2010/4487.xml StarExec error StarExec error YES 36.21/9.52 StarExec error YES 76.52/21.69
ICFP_2010/4943.xml StarExec error StarExec error YES 24.58/6.56 timeout (wallclock) YES 30.85/8.17
ICFP_2010/3916.xml StarExec error StarExec error YES 58.32/15.04 timeout (wallclock) YES 148.70/39.56
ICFP_2010/160068.xml timeout (wallclock) StarExec error MAYBE 126.87/44.70 StarExec error timeout (cpu)
ICFP_2010/4106.xml StarExec error StarExec error YES 27.34/7.22 StarExec error YES 9.09/2.95
ICFP_2010/26741.xml StarExec error StarExec error MAYBE 138.52/43.80 StarExec error YES 32.83/8.84
ICFP_2010/4893.xml StarExec error StarExec error YES 48.11/12.51 StarExec error YES 34.96/10.01
ICFP_2010/149849.xml timeout (wallclock) StarExec error MAYBE 130.27/48.15 StarExec error timeout (cpu)
ICFP_2010/136051.xml StarExec error StarExec error MAYBE 125.57/43.47 StarExec error StarExec error
ICFP_2010/246924.xml YES 9.07/3.14 MAYBE 0.01/0.01 MAYBE 118.72/48.91 MAYBE 0.01/0.01 YES 1.18/0.58
ICFP_2010/26927.xml StarExec error StarExec error MAYBE 138.15/43.77 StarExec error YES 45.72/13.72
ICFP_2010/26923.xml StarExec error StarExec error MAYBE 139.41/43.66 StarExec error YES 43.24/12.92
ICFP_2010/161533.xml timeout (wallclock) StarExec error MAYBE 127.83/45.57 timeout (wallclock) timeout (cpu)
ICFP_2010/135659.xml YES 384.24/105.36 StarExec error MAYBE 126.71/44.55 StarExec error YES 168.77/42.78
ICFP_2010/139310.xml YES 41.64/11.38 StarExec error MAYBE 125.94/43.82 StarExec error YES 85.27/22.18
ICFP_2010/136623.xml timeout (wallclock) StarExec error MAYBE 128.55/43.62 StarExec error timeout (cpu)
ICFP_2010/212062.xml YES 17.25/5.05 StarExec error YES 17.23/4.68 YES 1.78/1.77 YES 11.07/3.40
ICFP_2010/54532.xml YES 10.63/3.43 MAYBE 0.01/0.01 YES 23.22/19.28 MAYBE 0.01/0.01 YES 0.99/0.79
ICFP_2010/27039.xml StarExec error StarExec error MAYBE 140.19/43.60 StarExec error YES 35.66/10.93
ICFP_2010/132478.xml YES 52.13/13.86 StarExec error MAYBE 125.93/43.82 StarExec error YES 178.33/51.35
ICFP_2010/157275.xml YES 66.45/18.45 StarExec error MAYBE 126.70/44.58 StarExec error YES 67.54/19.09
ICFP_2010/4824.xml StarExec error StarExec error YES 33.83/8.93 StarExec error YES 11.57/4.04
ICFP_2010/4938.xml StarExec error StarExec error YES 56.68/14.67 timeout (wallclock) YES 293.26/74.00
ICFP_2010/88172.xml StarExec error StarExec error YES 36.51/9.71 StarExec error YES 25.78/8.90
ICFP_2010/152865.xml StarExec error StarExec error MAYBE 126.70/44.55 StarExec error YES 38.95/11.72
ICFP_2010/132920.xml YES 46.31/12.90 StarExec error MAYBE 125.89/43.79 StarExec error YES 152.99/69.32
ICFP_2010/88183.xml StarExec error StarExec error YES 43.54/11.49 StarExec error timeout (cpu)
ICFP_2010/27001.xml StarExec error StarExec error MAYBE 139.26/43.74 StarExec error YES 40.59/12.31
ICFP_2010/157593.xml YES 53.70/14.35 StarExec error MAYBE 169.80/43.39 YES 5.58/5.54 YES 22.21/5.92
ICFP_2010/91218.xml StarExec error StarExec error MAYBE 125.86/43.77 StarExec error timeout (cpu)
ICFP_2010/26845.xml StarExec error StarExec error MAYBE 138.91/43.68 StarExec error YES 48.32/14.28
ICFP_2010/139163.xml YES 60.52/16.68 StarExec error MAYBE 125.89/43.80 StarExec error YES 497.12/125.04
ICFP_2010/4314.xml StarExec error StarExec error YES 31.80/8.41 StarExec error YES 44.39/12.50
ICFP_2010/26886.xml StarExec error StarExec error MAYBE 140.30/43.48 StarExec error YES 24.58/6.79
ICFP_2010/158477.xml timeout (wallclock) StarExec error MAYBE 126.36/44.54 StarExec error StarExec error
ICFP_2010/27213.xml YES 60.53/16.55 YES 0.66/0.62 YES 18.25/5.26 StarExec error YES 18.08/4.94
ICFP_2010/96289.xml StarExec error StarExec error YES 18.95/5.21 StarExec error YES 20.60/6.10
ICFP_2010/26946.xml StarExec error StarExec error MAYBE 138.28/43.78 StarExec error YES 46.79/14.00
ICFP_2010/97888.xml timeout (wallclock) StarExec error MAYBE 127.86/45.72 StarExec error timeout (cpu)
ICFP_2010/4374.xml StarExec error StarExec error YES 31.77/8.40 StarExec error StarExec error
ICFP_2010/26871.xml StarExec error StarExec error MAYBE 138.80/43.72 StarExec error YES 39.17/11.80
ICFP_2010/43266.xml timeout (wallclock) StarExec error MAYBE 126.71/44.56 StarExec error StarExec error
ICFP_2010/98623.xml YES 51.94/13.82 StarExec error MAYBE 126.71/44.56 timeout (wallclock) YES 92.58/25.83
ICFP_2010/128430.xml YES 42.05/11.36 StarExec error MAYBE 125.83/43.82 StarExec error YES 137.84/39.48
ICFP_2010/41427.xml timeout (wallclock) StarExec error MAYBE 126.63/44.55 StarExec error StarExec error
ICFP_2010/160263.xml YES 44.27/12.01 YES 1.30/1.27 YES 17.19/4.76 StarExec error YES 6.11/1.82
ICFP_2010/25422.xml StarExec error StarExec error MAYBE 140.17/43.46 StarExec error YES 28.10/7.61
ICFP_2010/96464.xml YES 65.16/17.31 StarExec error YES 20.25/5.55 StarExec error YES 3.03/1.06
ICFP_2010/26974.xml StarExec error StarExec error MAYBE 139.23/43.64 StarExec error YES 31.79/8.50
ICFP_2010/85079.xml YES 206.15/53.79 timeout (wallclock) YES 47.94/12.63 StarExec error YES 5.11/1.78
ICFP_2010/135328.xml StarExec error StarExec error MAYBE 137.05/43.43 StarExec error StarExec error
ICFP_2010/97885.xml timeout (wallclock) StarExec error MAYBE 127.98/45.86 StarExec error timeout (cpu)
ICFP_2010/231300.xml YES 14.18/4.29 MAYBE 0.01/0.01 MAYBE 120.72/47.62 MAYBE 0.01/0.01 YES 1.10/0.65
ICFP_2010/140639.xml YES 20.68/6.31 StarExec error MAYBE 134.98/43.01 StarExec error YES 28.31/7.43
ICFP_2010/212693.xml YES 26.14/7.40 YES 0.90/0.88 YES 21.89/5.84 StarExec error YES 7.89/2.30
ICFP_2010/139174.xml YES 52.63/14.43 StarExec error MAYBE 125.91/43.80 StarExec error YES 104.77/27.26
ICFP_2010/96256.xml StarExec error StarExec error YES 19.38/5.35 StarExec error YES 11.03/4.43
ICFP_2010/166493.xml timeout (wallclock) StarExec error MAYBE 126.49/45.00 StarExec error timeout (cpu)
ICFP_2010/259405.xml YES 65.41/17.21 StarExec error MAYBE 139.08/56.99 timeout (wallclock) YES 118.76/52.58
ICFP_2010/4157.xml StarExec error StarExec error YES 52.16/13.52 timeout (wallclock) timeout (cpu)
ICFP_2010/86816.xml StarExec error StarExec error YES 29.32/7.95 StarExec error YES 144.35/38.50
ICFP_2010/230780.xml YES 21.62/6.20 MAYBE 0.01/0.01 MAYBE 136.24/55.75 MAYBE 0.01/0.01 YES 1.24/0.57
ICFP_2010/91242.xml StarExec error StarExec error MAYBE 128.79/43.66 StarExec error timeout (cpu)
ICFP_2010/149251.xml timeout (wallclock) StarExec error MAYBE 129.18/47.21 StarExec error timeout (cpu)
ICFP_2010/42321.xml YES 40.38/10.91 StarExec error MAYBE 126.79/44.58 StarExec error YES 95.90/39.99
ICFP_2010/140664.xml StarExec error StarExec error MAYBE 125.31/43.27 StarExec error timeout (cpu)
ICFP_2010/85294.xml StarExec error StarExec error YES 41.45/10.98 StarExec error YES 259.67/65.77
ICFP_2010/51842.xml timeout (wallclock) StarExec error MAYBE 136.49/54.36 StarExec error YES 153.35/48.89
ICFP_2010/26969.xml StarExec error StarExec error MAYBE 139.09/43.76 StarExec error YES 41.71/12.49
ICFP_2010/128691.xml YES 38.53/10.51 StarExec error MAYBE 125.88/43.80 StarExec error YES 98.36/25.67
ICFP_2010/27009.xml StarExec error StarExec error MAYBE 137.90/43.78 StarExec error YES 37.98/10.15
ICFP_2010/165713.xml timeout (wallclock) StarExec error MAYBE 126.82/44.75 StarExec error timeout (cpu)
ICFP_2010/26903.xml StarExec error StarExec error MAYBE 138.65/43.65 StarExec error YES 33.55/8.93
ICFP_2010/4953.xml StarExec error StarExec error YES 38.73/10.17 timeout (wallclock) YES 261.67/68.68
ICFP_2010/133236.xml timeout (wallclock) StarExec error MAYBE 126.68/44.57 StarExec error StarExec error
ICFP_2010/131633.xml StarExec error StarExec error MAYBE 125.65/43.49 StarExec error YES 996.75/251.75
ICFP_2010/161917.xml timeout (wallclock) StarExec error MAYBE 127.27/45.13 StarExec error timeout (cpu)
ICFP_2010/128550.xml YES 46.91/12.63 StarExec error MAYBE 125.91/43.79 StarExec error YES 113.14/39.39
ICFP_2010/211471.xml YES 20.16/5.90 MAYBE 0.01/0.01 MAYBE 180.70/47.21 MAYBE 0.01/0.01 YES 0.91/0.52
ICFP_2010/39830.xml timeout (wallclock) StarExec error MAYBE 126.63/44.56 timeout (wallclock) timeout (cpu)
ICFP_2010/57355.xml YES 460.09/117.38 YES 2.81/2.75 YES 23.79/6.41 StarExec error YES 31.82/8.36
ICFP_2010/132611.xml YES 30.42/8.41 StarExec error MAYBE 135.43/43.46 timeout (wallclock) YES 2.25/0.83
ICFP_2010/153090.xml YES 52.74/14.06 StarExec error MAYBE 126.72/44.56 StarExec error YES 561.09/162.89
ICFP_2010/159731.xml YES 87.89/23.17 StarExec error YES 15.90/4.40 StarExec error YES 5.30/1.65
ICFP_2010/212037.xml YES 100.56/26.03 StarExec error YES 17.86/4.83 StarExec error YES 37.63/10.70
ICFP_2010/149633.xml timeout (wallclock) StarExec error MAYBE 129.46/47.35 StarExec error timeout (cpu)
ICFP_2010/133486.xml StarExec error StarExec error MAYBE 128.36/43.45 StarExec error StarExec error
ICFP_2010/134918.xml StarExec error StarExec error MAYBE 127.61/43.46 StarExec error StarExec error
ICFP_2010/213719.xml timeout (wallclock) YES 177.48/173.82 YES 17.86/4.84 StarExec error YES 34.65/9.11
ICFP_2010/212263.xml YES 21.72/6.28 StarExec error YES 9.80/2.83 StarExec error YES 4.55/1.63
ICFP_2010/152694.xml timeout (wallclock) StarExec error MAYBE 126.35/44.55 timeout (wallclock) timeout (wallclock)
ICFP_2010/138269.xml timeout (wallclock) StarExec error MAYBE 125.61/43.50 StarExec error StarExec error
ICFP_2010/157436.xml YES 705.72/180.72 StarExec error YES 41.21/10.74 StarExec error YES 44.31/11.60
ICFP_2010/4964.xml StarExec error StarExec error YES 39.31/10.30 StarExec error YES 29.75/7.98
ICFP_2010/133010.xml YES 42.54/11.55 StarExec error MAYBE 125.92/43.80 StarExec error YES 159.87/46.55
ICFP_2010/247906.xml YES 78.42/20.34 MAYBE 0.01/0.01 MAYBE 134.84/51.95 MAYBE 0.01/0.01 YES 1.24/0.59
ICFP_2010/130472.xml timeout (wallclock) StarExec error MAYBE 126.70/44.57 StarExec error timeout (cpu)
ICFP_2010/28464.xml YES 67.60/18.48 YES 1.69/1.58 YES 21.67/6.47 StarExec error YES 23.21/7.27
ICFP_2010/138468.xml YES 48.45/13.05 StarExec error MAYBE 127.31/45.17 StarExec error YES 3.93/1.33
ICFP_2010/133159.xml StarExec error StarExec error MAYBE 128.15/43.46 StarExec error YES 1048.79/266.48
ICFP_2010/211857.xml YES 22.28/6.80 YES 1.23/1.22 YES 47.66/12.29 YES 0.63/0.62 YES 33.44/8.99
ICFP_2010/96523.xml StarExec error StarExec error YES 15.40/4.35 timeout (wallclock) YES 8.78/2.56
ICFP_2010/247504.xml YES 13.72/4.15 MAYBE 0.01/0.01 MAYBE 126.75/48.65 MAYBE 0.01/0.01 YES 1.01/0.52
ICFP_2010/25711.xml StarExec error StarExec error MAYBE 138.55/43.78 StarExec error YES 44.61/11.70
ICFP_2010/86452.xml StarExec error StarExec error YES 24.99/6.76 StarExec error YES 61.48/16.49
ICFP_2010/26993.xml StarExec error StarExec error MAYBE 138.28/43.77 StarExec error YES 46.08/12.07
ICFP_2010/128280.xml YES 40.10/11.44 StarExec error MAYBE 125.92/43.80 StarExec error YES 101.17/27.84
ICFP_2010/158152.xml YES 603.74/153.02 StarExec error YES 26.74/7.12 StarExec error YES 167.78/45.47
ICFP_2010/127538.xml YES 43.90/12.25 StarExec error MAYBE 125.92/43.82 StarExec error YES 93.01/23.81
ICFP_2010/96198.xml StarExec error StarExec error YES 19.60/5.38 StarExec error YES 13.80/4.97
ICFP_2010/27026.xml StarExec error StarExec error MAYBE 138.24/43.78 StarExec error YES 34.31/9.08
ICFP_2010/212795.xml YES 289.97/73.47 StarExec error YES 18.10/4.90 StarExec error YES 81.24/20.96
ICFP_2010/26116.xml StarExec error StarExec error MAYBE 139.07/43.62 StarExec error YES 38.79/11.51
ICFP_2010/25743.xml StarExec error StarExec error MAYBE 139.30/43.73 StarExec error YES 33.67/8.98
ICFP_2010/160475.xml timeout (wallclock) StarExec error MAYBE 127.34/45.22 StarExec error timeout (cpu)
ICFP_2010/26919.xml StarExec error StarExec error MAYBE 138.72/43.81 StarExec error YES 46.34/13.61
ICFP_2010/26683.xml YES 39.66/11.20 YES 0.42/0.39 YES 11.86/3.46 StarExec error YES 10.50/3.02
ICFP_2010/27019.xml StarExec error StarExec error MAYBE 139.14/43.66 StarExec error YES 36.07/9.60
ICFP_2010/248060.xml YES 16.39/5.13 MAYBE 0.01/0.01 MAYBE 126.43/48.60 MAYBE 0.01/0.01 YES 1.03/0.63
ICFP_2010/3989.xml StarExec error StarExec error YES 18.80/5.12 timeout (wallclock) YES 7.60/2.26
ICFP_2010/96029.xml StarExec error StarExec error YES 20.41/5.62 timeout (wallclock) YES 28.53/9.59
ICFP_2010/135505.xml timeout (wallclock) StarExec error MAYBE 126.66/44.57 StarExec error YES 171.84/43.76
ICFP_2010/27013.xml YES 909.04/262.23 StarExec error MAYBE 140.09/43.59 StarExec error YES 34.54/10.56
ICFP_2010/140631.xml YES 710.36/249.55 StarExec error MAYBE 141.34/42.78 StarExec error timeout (cpu)
ICFP_2010/231149.xml YES 8.18/2.90 MAYBE 0.01/0.01 MAYBE 111.58/45.33 MAYBE 0.01/0.01 YES 1.08/0.57
ICFP_2010/85477.xml YES 63.02/17.18 StarExec error YES 27.49/7.45 StarExec error YES 5.86/1.76
ICFP_2010/128486.xml YES 29.53/8.57 StarExec error MAYBE 125.98/43.82 StarExec error YES 100.48/25.61
ICFP_2010/149415.xml timeout (wallclock) StarExec error StarExec error timeout (wallclock) timeout (cpu)
ICFP_2010/124791.xml StarExec error StarExec error MAYBE 128.09/43.47 StarExec error YES 1184.56/298.64
ICFP_2010/247020.xml YES 12.71/3.93 MAYBE 0.01/0.01 MAYBE 135.33/60.28 MAYBE 0.01/0.03 YES 1.50/0.76
ICFP_2010/28838.xml YES 90.16/23.46 YES 1.42/1.33 YES 25.57/7.68 StarExec error YES 25.39/8.00
ICFP_2010/27131.xml YES 60.17/16.09 YES 0.56/0.52 YES 15.45/4.45 StarExec error YES 14.11/4.32
ICFP_2010/91254.xml StarExec error StarExec error MAYBE 125.50/43.78 StarExec error timeout (cpu)
ICFP_2010/139018.xml YES 38.77/10.60 StarExec error MAYBE 125.95/43.79 StarExec error YES 108.88/32.91
ICFP_2010/86745.xml YES 12.61/4.05 StarExec error YES 26.60/7.22 StarExec error YES 1.53/0.64
ICFP_2010/26110.xml StarExec error StarExec error MAYBE 139.52/43.63 StarExec error YES 28.31/7.63
ICFP_2010/3533.xml StarExec error StarExec error YES 20.86/5.61 StarExec error YES 18.22/5.54
ICFP_2010/139036.xml YES 41.09/11.60 StarExec error MAYBE 125.99/43.81 StarExec error YES 105.47/28.77
ICFP_2010/139180.xml YES 70.55/18.89 StarExec error MAYBE 125.95/43.79 StarExec error StarExec error
ICFP_2010/57453.xml StarExec error StarExec error YES 37.51/10.00 StarExec error YES 47.43/13.84
ICFP_2010/139378.xml YES 45.27/12.19 StarExec error MAYBE 125.91/43.80 StarExec error YES 95.48/26.74
ICFP_2010/26951.xml StarExec error StarExec error MAYBE 139.54/43.62 timeout (wallclock) YES 34.65/9.86
ICFP_2010/27030.xml YES 56.77/15.19 YES 0.39/0.36 YES 13.93/4.03 StarExec error YES 11.03/3.13
ICFP_2010/153288.xml YES 185.03/48.36 StarExec error MAYBE 126.70/44.57 StarExec error StarExec error
ICFP_2010/136571.xml timeout (wallclock) StarExec error MAYBE 126.70/44.56 StarExec error timeout (cpu)
ICFP_2010/138254.xml YES 26.92/7.63 YES 77.67/77.61 MAYBE 126.54/43.46 StarExec error YES 2.14/0.80
ICFP_2010/140359.xml YES 46.72/12.53 StarExec error MAYBE 125.88/43.80 StarExec error StarExec error
ICFP_2010/186023.xml YES 18.62/5.76 YES 256.74/256.69 MAYBE 127.04/44.92 StarExec error YES 5.80/3.98
ICFP_2010/137136.xml StarExec error StarExec error MAYBE 126.67/44.54 StarExec error StarExec error
ICFP_2010/4920.xml StarExec error StarExec error YES 29.99/7.96 StarExec error YES 58.90/16.70
ICFP_2010/48374.xml StarExec error StarExec error MAYBE 143.60/42.77 StarExec error YES 449.07/114.81
ICFP_2010/88208.xml YES 32.39/8.97 StarExec error YES 46.18/12.16 StarExec error YES 34.18/12.22
ICFP_2010/85380.xml StarExec error StarExec error YES 39.96/10.58 StarExec error YES 225.41/59.24
ICFP_2010/95952.xml StarExec error StarExec error YES 29.29/7.94 timeout (wallclock) YES 182.26/49.68
ICFP_2010/96176.xml StarExec error StarExec error YES 18.98/5.20 StarExec error YES 15.03/4.39
ICFP_2010/26954.xml StarExec error StarExec error MAYBE 139.08/43.64 StarExec error YES 47.80/13.97
ICFP_2010/182946.xml StarExec error StarExec error MAYBE 127.01/44.91 StarExec error timeout (cpu)
ICFP_2010/41378.xml timeout (wallclock) StarExec error YES 77.62/26.90 StarExec error YES 73.53/26.54
ICFP_2010/213051.xml YES 61.66/16.21 YES 11.74/11.66 YES 33.05/8.64 YES 7.15/7.40 YES 38.47/10.14
ICFP_2010/3831.xml StarExec error StarExec error YES 45.27/11.80 StarExec error YES 148.72/39.79
ICFP_2010/136693.xml timeout (wallclock) StarExec error MAYBE 126.68/44.54 StarExec error StarExec error
ICFP_2010/160427.xml timeout (wallclock) StarExec error MAYBE 126.88/44.93 StarExec error timeout (cpu)
ICFP_2010/84977.xml StarExec error StarExec error YES 51.09/13.41 StarExec error YES 154.68/39.48
ICFP_2010/136934.xml timeout (wallclock) StarExec error MAYBE 126.69/44.57 StarExec error StarExec error
ICFP_2010/24100.xml YES 497.18/126.38 StarExec error MAYBE 143.24/42.86 StarExec error YES 21.84/5.87
ICFP_2010/96119.xml StarExec error StarExec error YES 19.20/5.32 StarExec error YES 16.70/6.05
ICFP_2010/124211.xml StarExec error StarExec error MAYBE 129.66/43.45 StarExec error timeout (cpu)
ICFP_2010/27036.xml StarExec error StarExec error MAYBE 139.10/43.77 StarExec error YES 37.18/9.83
ICFP_2010/138142.xml YES 17.47/5.09 StarExec error MAYBE 131.44/43.48 StarExec error YES 1.96/0.76
ICFP_2010/26127.xml StarExec error StarExec error MAYBE 137.68/43.80 StarExec error YES 39.37/10.63
ICFP_2010/212117.xml StarExec error StarExec error YES 18.97/5.11 StarExec error YES 16.20/4.47
ICFP_2010/88156.xml YES 72.06/18.90 StarExec error YES 47.20/12.40 StarExec error YES 35.41/11.35
ICFP_2010/138330.xml StarExec error StarExec error MAYBE 135.10/43.49 StarExec error timeout (cpu)
ICFP_2010/40976.xml YES 91.21/24.01 StarExec error MAYBE 126.67/44.57 StarExec error YES 937.36/236.03
ICFP_2010/138477.xml StarExec error StarExec error MAYBE 128.81/43.46 timeout (wallclock) timeout (cpu)
ICFP_2010/85039.xml StarExec error StarExec error YES 41.22/10.93 timeout (wallclock) YES 198.36/50.01
ICFP_2010/40093.xml timeout (wallclock) YES 0.58/0.57 YES 3.17/1.11 StarExec error YES 2.74/0.98
ICFP_2010/132235.xml StarExec error StarExec error MAYBE 125.61/43.48 StarExec error StarExec error
ICFP_2010/212534.xml YES 59.09/17.96 YES 18.71/18.66 YES 20.18/5.42 YES 11.28/11.54 YES 12.10/3.82
ICFP_2010/139214.xml YES 33.76/9.80 StarExec error MAYBE 125.86/43.79 StarExec error YES 101.78/28.16
ICFP_2010/150630.xml timeout (wallclock) StarExec error MAYBE 129.75/47.56 StarExec error timeout (cpu)
ICFP_2010/160254.xml timeout (wallclock) StarExec error MAYBE 127.01/44.91 StarExec error timeout (cpu)
ICFP_2010/26910.xml StarExec error StarExec error MAYBE 138.13/43.74 timeout (wallclock) YES 40.52/11.12
ICFP_2010/44332.xml YES 56.81/15.11 StarExec error MAYBE 126.57/44.57 StarExec error YES 75.43/21.00
ICFP_2010/188674.xml YES 39.45/11.29 StarExec error MAYBE 127.09/44.92 StarExec error YES 3.05/1.02
ICFP_2010/41838.xml StarExec error StarExec error YES 41.03/10.76 timeout (wallclock) YES 153.29/40.98
ICFP_2010/133532.xml timeout (wallclock) StarExec error MAYBE 126.73/44.57 StarExec error StarExec error
ICFP_2010/53216.xml StarExec error StarExec error MAYBE 136.51/54.34 StarExec error YES 149.17/50.00
ICFP_2010/25736.xml StarExec error StarExec error MAYBE 138.97/43.62 timeout (wallclock) YES 41.26/12.47
ICFP_2010/3268.xml YES 46.71/12.64 YES 0.32/0.33 YES 6.81/2.03 StarExec error YES 1.70/0.69
ICFP_2010/186919.xml StarExec error StarExec error MAYBE 127.09/44.93 StarExec error timeout (cpu)
ICFP_2010/160398.xml timeout (wallclock) StarExec error MAYBE 126.84/44.75 StarExec error timeout (cpu)
ICFP_2010/167240.xml timeout (wallclock) StarExec error MAYBE 127.00/44.89 StarExec error timeout (cpu)
ICFP_2010/85874.xml StarExec error StarExec error YES 25.72/6.98 StarExec error YES 21.86/9.01
ICFP_2010/88283.xml StarExec error StarExec error YES 45.03/11.85 StarExec error timeout (cpu)
ICFP_2010/139025.xml YES 38.06/10.90 StarExec error MAYBE 125.91/43.79 StarExec error YES 453.40/123.99
ICFP_2010/153444.xml timeout (wallclock) StarExec error MAYBE 126.55/44.53 timeout (wallclock) YES 689.69/194.19
ICFP_2010/212189.xml YES 386.00/97.55 YES 7.29/6.56 YES 21.05/5.64 StarExec error YES 15.89/4.37
ICFP_2010/5109.xml StarExec error StarExec error YES 36.59/9.63 StarExec error YES 222.52/59.30
ICFP_2010/139185.xml YES 42.20/11.59 StarExec error MAYBE 125.93/43.80 StarExec error YES 126.38/47.64
ICFP_2010/85267.xml StarExec error StarExec error YES 42.85/11.33 StarExec error YES 177.36/44.97
ICFP_2010/213865.xml YES 38.68/10.52 YES 4.94/4.92 YES 17.61/4.79 StarExec error YES 68.25/17.54
ICFP_2010/85782.xml StarExec error StarExec error YES 24.82/6.73 StarExec error YES 25.36/9.37
ICFP_2010/98362.xml StarExec error StarExec error YES 31.00/8.35 StarExec error YES 4.30/1.36
ICFP_2010/4200.xml StarExec error StarExec error YES 44.67/11.66 timeout (wallclock) YES 340.18/88.78
ICFP_2010/3467.xml StarExec error StarExec error YES 45.57/11.86 StarExec error YES 44.72/12.66
ICFP_2010/139100.xml StarExec error StarExec error MAYBE 125.92/43.79 StarExec error YES 363.34/113.92
ICFP_2010/128182.xml YES 46.00/12.56 StarExec error MAYBE 125.93/43.79 StarExec error YES 100.71/26.31
ICFP_2010/26882.xml StarExec error StarExec error MAYBE 138.97/43.82 StarExec error YES 38.84/10.23
ICFP_2010/147437.xml timeout (wallclock) StarExec error MAYBE 129.50/47.69 StarExec error timeout (cpu)
ICFP_2010/26132.xml StarExec error StarExec error MAYBE 137.62/43.87 StarExec error YES 45.24/13.26
ICFP_2010/135714.xml timeout (wallclock) StarExec error MAYBE 126.66/44.55 StarExec error StarExec error
ICFP_2010/124269.xml StarExec error StarExec error MAYBE 127.11/43.46 StarExec error timeout (cpu)
ICFP_2010/262998.xml YES 19.03/5.64 StarExec error MAYBE 138.73/56.47 StarExec error YES 2.35/0.87
ICFP_2010/137087.xml StarExec error StarExec error MAYBE 126.61/44.54 StarExec error YES 900.60/263.28
ICFP_2010/136463.xml StarExec error StarExec error MAYBE 126.65/44.55 StarExec error StarExec error
ICFP_2010/214183.xml YES 44.92/12.06 YES 259.67/257.46 YES 23.06/6.15 StarExec error YES 149.21/38.12
ICFP_2010/136534.xml timeout (wallclock) StarExec error StarExec error StarExec error YES 723.46/196.39
ICFP_2010/96104.xml StarExec error StarExec error YES 19.17/5.30 StarExec error YES 19.21/6.36
ICFP_2010/86025.xml StarExec error StarExec error YES 21.99/6.08 StarExec error YES 77.70/20.96
ICFP_2010/26123.xml YES 30.38/8.50 YES 0.20/0.19 YES 5.74/1.79 StarExec error YES 3.80/1.29
ICFP_2010/40708.xml StarExec error YES 0.74/0.73 YES 4.33/1.43 StarExec error YES 4.90/1.53
ICFP_2010/26943.xml StarExec error StarExec error MAYBE 140.10/43.59 StarExec error YES 34.61/10.61
ICFP_2010/85920.xml StarExec error StarExec error YES 24.69/6.68 StarExec error YES 66.85/18.13
ICFP_2010/212026.xml YES 103.00/27.10 StarExec error YES 33.78/8.81 StarExec error YES 422.37/127.13
ICFP_2010/85749.xml YES 9.00/2.99 YES 104.96/105.01 YES 27.26/7.35 StarExec error YES 1.48/0.64
ICFP_2010/211960.xml YES 62.60/16.57 YES 59.64/59.62 YES 26.79/7.07 StarExec error YES 34.68/10.28
ICFP_2010/167433.xml timeout (wallclock) StarExec error MAYBE 127.26/45.19 StarExec error timeout (cpu)
ICFP_2010/57799.xml YES 67.34/18.39 StarExec error MAYBE 144.09/42.67 YES 25.17/26.06 YES 9.87/2.75
ICFP_2010/152786.xml StarExec error StarExec error MAYBE 126.74/44.55 StarExec error StarExec error
ICFP_2010/165975.xml timeout (wallclock) StarExec error MAYBE 127.17/45.08 StarExec error timeout (cpu)
ICFP_2010/27003.xml StarExec error StarExec error MAYBE 139.47/43.66 StarExec error YES 44.20/13.14
ICFP_2010/160660.xml timeout (wallclock) StarExec error MAYBE 126.80/44.73 StarExec error timeout (cpu)
ICFP_2010/25731.xml YES 4.06/1.69 YES 0.07/0.06 YES 1.78/0.75 StarExec error YES 2.33/0.85
ICFP_2010/142142.xml YES 22.05/6.37 StarExec error MAYBE 138.28/42.94 StarExec error YES 52.19/18.56
ICFP_2010/138089.xml timeout (wallclock) StarExec error MAYBE 126.72/44.57 StarExec error StarExec error
ICFP_2010/27023.xml StarExec error StarExec error MAYBE 139.90/43.54 StarExec error YES 32.96/8.83
ICFP_2010/84886.xml StarExec error StarExec error YES 54.22/14.21 StarExec error YES 307.63/80.45
ICFP_2010/3865.xml StarExec error StarExec error YES 48.24/12.56 StarExec error YES 240.12/60.79
ICFP_2010/3995.xml StarExec error StarExec error YES 51.03/13.24 StarExec error YES 78.69/20.63
ICFP_2010/137621.xml timeout (wallclock) StarExec error MAYBE 126.69/44.56 StarExec error StarExec error
ICFP_2010/107193.xml timeout (wallclock) StarExec error MAYBE 127.02/44.95 timeout (wallclock) timeout (cpu)
ICFP_2010/231604.xml YES 9.71/3.36 MAYBE 0.01/0.01 MAYBE 147.42/60.36 MAYBE 0.01/0.11 YES 1.33/0.60
ICFP_2010/138993.xml StarExec error StarExec error MAYBE 125.98/43.81 StarExec error YES 96.64/25.50
ICFP_2010/96156.xml StarExec error StarExec error YES 20.63/5.72 StarExec error StarExec error
ICFP_2010/142146.xml YES 29.41/9.80 StarExec error MAYBE 125.37/43.29 StarExec error YES 31.00/8.34
ICFP_2010/63142.xml YES 11.85/3.76 StarExec error YES 27.47/7.36 StarExec error YES 6.87/2.03
ICFP_2010/162075.xml timeout (wallclock) StarExec error MAYBE 127.35/45.21 StarExec error timeout (cpu)
ICFP_2010/96485.xml YES 11.60/3.69 timeout (wallclock) YES 18.70/5.17 StarExec error YES 1.22/0.59
ICFP_2010/43621.xml timeout (wallclock) StarExec error MAYBE 126.69/44.57 StarExec error YES 623.49/157.90
ICFP_2010/4819.xml StarExec error StarExec error YES 44.20/11.53 StarExec error StarExec error
ICFP_2010/247992.xml YES 11.95/3.97 MAYBE 0.01/0.01 MAYBE 124.57/51.74 MAYBE 0.01/0.01 YES 1.34/0.60
ICFP_2010/135601.xml timeout (wallclock) StarExec error MAYBE 126.72/44.58 StarExec error timeout (cpu)
ICFP_2010/135782.xml StarExec error StarExec error MAYBE 125.59/43.48 StarExec error YES 1079.75/273.88
ICFP_2010/160210.xml timeout (wallclock) StarExec error MAYBE 127.67/45.51 StarExec error timeout (wallclock)
ICFP_2010/157150.xml YES 170.19/43.56 StarExec error MAYBE 142.64/42.78 timeout (wallclock) timeout (cpu)
ICFP_2010/166001.xml timeout (wallclock) StarExec error MAYBE 127.40/45.33 StarExec error timeout (cpu)
ICFP_2010/188296.xml StarExec error StarExec error MAYBE 127.07/44.94 StarExec error timeout (cpu)
ICFP_2010/26130.xml YES 20.01/5.85 YES 0.16/0.14 YES 7.60/2.25 StarExec error YES 7.32/2.19
ICFP_2010/26960.xml StarExec error StarExec error MAYBE 139.32/43.64 StarExec error StarExec error
ICFP_2010/4282.xml StarExec error StarExec error YES 36.22/9.50 StarExec error YES 25.58/6.82
ICFP_2010/133827.xml YES 15.76/4.70 StarExec error MAYBE 128.27/43.46 StarExec error YES 1.81/0.73
ICFP_2010/85721.xml StarExec error StarExec error YES 25.78/7.00 StarExec error YES 7.27/2.13
ICFP_2010/149297.xml timeout (wallclock) StarExec error MAYBE 130.57/48.44 StarExec error timeout (cpu)
ICFP_2010/137404.xml StarExec error StarExec error MAYBE 127.35/43.46 StarExec error StarExec error
ICFP_2010/26998.xml StarExec error StarExec error MAYBE 137.97/43.72 StarExec error YES 35.32/9.39
ICFP_2010/264370.xml YES 3.77/1.64 YES 0.13/0.13 YES 0.82/0.51 YES 0.01/0.01 YES 0.89/0.49
ICFP_2010/25416.xml StarExec error StarExec error MAYBE 138.68/43.79 StarExec error YES 45.68/13.56
ICFP_2010/27235.xml YES 59.67/15.87 YES 0.64/0.61 YES 19.29/5.59 StarExec error YES 16.97/5.40
ICFP_2010/26069.xml StarExec error YES 0.11/0.10 YES 3.58/1.20 StarExec error YES 2.51/1.05
ICFP_2010/149319.xml timeout (wallclock) StarExec error MAYBE 129.26/47.07 StarExec error StarExec error
ICFP_2010/160462.xml timeout (wallclock) StarExec error MAYBE 127.18/45.06 StarExec error timeout (cpu)
ICFP_2010/26291.xml YES 40.76/11.68 YES 0.32/0.29 YES 10.91/3.18 StarExec error YES 7.75/2.29
ICFP_2010/180915.xml StarExec error StarExec error MAYBE 127.04/44.92 StarExec error timeout (cpu)
ICFP_2010/139190.xml YES 39.82/10.85 StarExec error MAYBE 125.85/43.79 StarExec error YES 112.93/40.28
ICFP_2010/26916.xml StarExec error StarExec error MAYBE 139.08/43.63 StarExec error YES 42.54/11.92
ICFP_2010/188261.xml StarExec error StarExec error MAYBE 127.08/44.93 StarExec error timeout (cpu)
ICFP_2010/162016.xml timeout (wallclock) StarExec error MAYBE 127.17/45.05 StarExec error timeout (cpu)
ICFP_2010/3786.xml StarExec error StarExec error YES 21.66/5.84 StarExec error YES 17.09/5.25
ICFP_2010/4074.xml StarExec error StarExec error YES 38.95/10.25 timeout (wallclock) YES 63.44/18.24
ICFP_2010/42170.xml StarExec error StarExec error MAYBE 126.67/44.55 StarExec error StarExec error
ICFP_2010/167087.xml timeout (wallclock) StarExec error MAYBE 127.43/45.23 StarExec error timeout (cpu)
ICFP_2010/97917.xml timeout (wallclock) StarExec error MAYBE 127.90/45.77 StarExec error timeout (wallclock)
ICFP_2010/254704.xml timeout (wallclock) StarExec error YES 80.21/31.36 StarExec error timeout (cpu)
ICFP_2010/86636.xml StarExec error StarExec error YES 20.22/5.61 StarExec error YES 24.86/7.89
ICFP_2010/68322.xml StarExec error StarExec error YES 40.45/10.72 StarExec error YES 314.08/79.03
ICFP_2010/132622.xml YES 47.50/12.71 StarExec error MAYBE 125.90/43.79 timeout (wallclock) YES 318.31/110.89
ICFP_2010/153170.xml StarExec error StarExec error MAYBE 126.64/44.55 StarExec error timeout (cpu)
ICFP_2010/133079.xml timeout (wallclock) StarExec error MAYBE 126.59/44.57 StarExec error timeout (cpu)
ICFP_2010/26986.xml StarExec error StarExec error MAYBE 140.11/43.67 StarExec error YES 30.95/8.26
ICFP_2010/212612.xml YES 128.00/33.41 StarExec error YES 27.89/7.34 StarExec error YES 87.83/22.59
ICFP_2010/231230.xml YES 16.85/4.93 MAYBE 0.01/0.01 MAYBE 135.55/53.50 MAYBE 0.01/0.02 YES 1.26/0.60
ICFP_2010/135115.xml StarExec error StarExec error MAYBE 129.38/43.49 StarExec error StarExec error
ICFP_2010/230948.xml YES 14.54/4.57 MAYBE 0.01/0.05 MAYBE 115.96/46.75 MAYBE 0.01/0.01 YES 1.10/0.64
ICFP_2010/212043.xml YES 65.25/17.16 StarExec error YES 14.41/3.98 StarExec error YES 11.85/3.39
ICFP_2010/107236.xml StarExec error StarExec error MAYBE 126.92/44.82 StarExec error timeout (cpu)
ICFP_2010/161864.xml timeout (wallclock) StarExec error MAYBE 126.16/44.54 StarExec error timeout (cpu)
ICFP_2010/149713.xml timeout (wallclock) StarExec error MAYBE 130.02/47.79 StarExec error timeout (cpu)
ICFP_2010/213437.xml YES 61.67/16.68 YES 0.86/0.82 YES 17.69/4.80 StarExec error YES 10.50/3.96
ICFP_2010/132720.xml YES 39.96/10.85 StarExec error MAYBE 125.87/43.80 StarExec error YES 104.48/28.46
ICFP_2010/153371.xml timeout (wallclock) StarExec error MAYBE 126.68/44.56 StarExec error timeout (cpu)
ICFP_2010/167742.xml StarExec error StarExec error MAYBE 127.51/45.35 StarExec error YES 97.65/29.18
ICFP_2010/140659.xml StarExec error StarExec error MAYBE 129.30/43.07 StarExec error timeout (cpu)
ICFP_2010/50904.xml StarExec error StarExec error MAYBE 127.19/45.24 StarExec error timeout (cpu)
ICFP_2010/139167.xml YES 49.13/13.22 StarExec error MAYBE 125.97/43.82 StarExec error YES 140.90/40.51
ICFP_2010/26978.xml StarExec error StarExec error MAYBE 140.53/43.51 StarExec error YES 27.17/8.44
ICFP_2010/4412.xml StarExec error StarExec error YES 39.02/10.26 StarExec error YES 36.99/10.29
ICFP_2010/68535.xml YES 228.11/58.97 YES 118.81/115.68 YES 19.79/5.43 StarExec error YES 9.26/2.64
ICFP_2010/96403.xml StarExec error StarExec error YES 17.78/4.90 StarExec error YES 56.89/15.76
ICFP_2010/183803.xml StarExec error StarExec error MAYBE 127.14/44.94 StarExec error timeout (wallclock)
ICFP_2010/149277.xml timeout (wallclock) StarExec error MAYBE 129.89/47.68 timeout (wallclock) timeout (cpu)
ICFP_2010/130962.xml YES 223.62/57.86 StarExec error MAYBE 126.64/44.55 StarExec error StarExec error
ICFP_2010/43603.xml StarExec error StarExec error MAYBE 136.62/54.35 StarExec error YES 144.50/47.82
ICFP_2010/86052.xml StarExec error StarExec error YES 24.49/6.67 StarExec error YES 91.78/26.57
ICFP_2010/161593.xml timeout (wallclock) StarExec error MAYBE 126.82/44.80 timeout (wallclock) timeout (cpu)
ICFP_2010/249459.xml YES 9.01/2.98 MAYBE 0.01/0.01 MAYBE 127.92/51.92 MAYBE 0.01/0.01 YES 1.04/0.55
ICFP_2010/140287.xml StarExec error StarExec error MAYBE 125.85/43.81 StarExec error StarExec error
ICFP_2010/48686.xml StarExec error StarExec error MAYBE 128.95/46.85 StarExec error StarExec error
ICFP_2010/26186.xml YES 33.89/9.38 YES 0.23/0.22 YES 8.32/2.47 StarExec error YES 6.27/2.14
ICFP_2010/188004.xml StarExec error StarExec error MAYBE 127.03/44.93 StarExec error timeout (wallclock)
ICFP_2010/138194.xml StarExec error StarExec error MAYBE 127.59/43.43 StarExec error timeout (cpu)
ICFP_2010/25409.xml StarExec error StarExec error MAYBE 137.57/43.75 StarExec error YES 47.39/13.81
ICFP_2010/186617.xml StarExec error StarExec error MAYBE 127.04/44.92 StarExec error timeout (cpu)
ICFP_2010/136323.xml StarExec error StarExec error MAYBE 126.66/44.54 StarExec error StarExec error
ICFP_2010/4934.xml StarExec error StarExec error YES 28.43/7.55 StarExec error StarExec error
ICFP_2010/58194.xml timeout (wallclock) MAYBE 59.95/56.58 MAYBE 144.20/42.77 StarExec error YES 758.68/190.66
ICFP_2010/43987.xml timeout (wallclock) StarExec error MAYBE 126.73/44.55 StarExec error YES 485.92/123.64
ICFP_2010/188238.xml StarExec error StarExec error MAYBE 127.08/44.93 StarExec error timeout (cpu)
ICFP_2010/135936.xml YES 600.74/242.14 StarExec error MAYBE 128.35/43.45 StarExec error timeout (cpu)
ICFP_2010/29415.xml YES 83.99/21.90 StarExec error MAYBE 129.74/47.53 timeout (wallclock) YES 403.26/120.04
ICFP_2010/26931.xml StarExec error StarExec error MAYBE 138.47/43.78 StarExec error YES 40.56/10.68
ICFP_2010/96065.xml StarExec error StarExec error YES 20.02/5.51 StarExec error YES 20.63/6.68
ICFP_2010/39849.xml StarExec error StarExec error YES 24.25/6.44 StarExec error YES 18.95/5.17
ICFP_2010/68989.xml YES 22.13/6.31 StarExec error YES 17.87/4.97 StarExec error YES 1.45/0.64
ICFP_2010/123759.xml StarExec error StarExec error MAYBE 125.63/43.49 StarExec error StarExec error
ICFP_2010/187837.xml StarExec error StarExec error MAYBE 127.09/44.99 StarExec error timeout (cpu)
ICFP_2010/150188.xml timeout (wallclock) StarExec error MAYBE 129.90/47.87 StarExec error timeout (cpu)
ICFP_2010/96642.xml YES 49.39/13.15 YES 284.16/284.08 YES 18.70/5.18 StarExec error StarExec error
ICFP_2010/96438.xml YES 373.56/110.21 StarExec error YES 18.78/5.16 StarExec error YES 12.30/5.01
ICFP_2010/25726.xml StarExec error StarExec error StarExec error StarExec error YES 34.56/9.19
ICFP_2010/133432.xml timeout (wallclock) StarExec error MAYBE 126.71/44.55 StarExec error StarExec error
ICFP_2010/247254.xml YES 10.03/3.38 MAYBE 0.01/0.01 MAYBE 137.94/55.54 MAYBE 0.01/0.01 YES 1.29/0.59
ICFP_2010/28643.xml YES 99.29/25.87 YES 1.63/1.55 YES 23.43/7.00 StarExec error YES 27.70/7.34
ICFP_2010/137623.xml YES 20.76/5.98 YES 97.39/97.34 MAYBE 125.54/43.46 StarExec error YES 1.71/0.70
ICFP_2010/85834.xml YES 13.84/4.19 YES 14.74/14.72 YES 29.56/7.92 StarExec error YES 2.34/0.87
ICFP_2010/58125.xml timeout (wallclock) StarExec error MAYBE 129.88/47.79 StarExec error timeout (cpu)
ICFP_2010/132848.xml timeout (wallclock) StarExec error MAYBE 126.72/44.55 StarExec error timeout (cpu)
ICFP_2010/42683.xml YES 57.74/15.48 StarExec error MAYBE 126.77/44.57 StarExec error YES 77.22/23.63
ICFP_2010/86577.xml StarExec error StarExec error YES 23.84/6.47 StarExec error YES 119.52/32.65
ICFP_2010/4991.xml StarExec error StarExec error YES 26.36/7.01 timeout (wallclock) YES 16.33/4.61
ICFP_2010/3633.xml StarExec error StarExec error YES 38.02/9.99 StarExec error YES 169.95/45.19
ICFP_2010/26875.xml StarExec error StarExec error MAYBE 138.64/43.80 StarExec error YES 45.80/12.07
ICFP_2010/139004.xml YES 45.80/12.32 StarExec error MAYBE 125.93/43.80 StarExec error YES 100.74/25.83
ICFP_2010/212364.xml YES 981.40/247.77 StarExec error YES 33.74/8.81 StarExec error timeout (cpu)
ICFP_2010/96563.xml YES 13.15/4.18 StarExec error YES 18.38/5.08 timeout (wallclock) YES 1.84/0.76
ICFP_2010/96086.xml YES 13.04/4.03 StarExec error YES 1.75/0.84 YES 151.44/143.93 YES 1.26/0.71
ICFP_2010/231480.xml YES 37.79/10.25 MAYBE 0.01/0.01 MAYBE 142.23/56.58 MAYBE 0.01/0.01 YES 1.31/0.60
ICFP_2010/135410.xml StarExec error StarExec error MAYBE 126.66/44.57 StarExec error YES 302.49/79.61
ICFP_2010/48328.xml StarExec error StarExec error MAYBE 143.49/42.72 StarExec error YES 411.18/106.31
ICFP_2010/3705.xml StarExec error StarExec error YES 42.21/11.03 StarExec error YES 95.65/26.44
ICFP_2010/3746.xml YES 25.13/7.08 YES 2.80/2.69 YES 26.94/7.16 StarExec error YES 2.08/0.79
ICFP_2010/91233.xml YES 42.57/11.48 StarExec error MAYBE 126.71/43.77 StarExec error YES 26.23/7.52
ICFP_2010/161519.xml YES 256.93/66.08 StarExec error MAYBE 127.06/44.92 StarExec error timeout (cpu)
ICFP_2010/142157.xml StarExec error StarExec error MAYBE 132.01/43.04 StarExec error timeout (cpu)
ICFP_2010/150725.xml StarExec error StarExec error MAYBE 129.77/47.63 StarExec error timeout (cpu)
ICFP_2010/57278.xml timeout (wallclock) StarExec error MAYBE 143.31/42.80 StarExec error timeout (cpu)
ICFP_2010/263745.xml YES 59.03/15.59 StarExec error MAYBE 139.19/56.94 StarExec error YES 137.02/57.03
ICFP_2010/25395.xml StarExec error StarExec error MAYBE 139.28/43.73 StarExec error YES 40.95/12.47
ICFP_2010/150468.xml timeout (wallclock) StarExec error MAYBE 130.28/48.07 StarExec error timeout (cpu)
ICFP_2010/167041.xml timeout (wallclock) StarExec error MAYBE 126.20/44.79 StarExec error timeout (cpu)
ICFP_2010/4051.xml StarExec error StarExec error YES 39.86/10.45 StarExec error YES 90.26/25.13
ICFP_2010/26976.xml StarExec error StarExec error MAYBE 139.74/43.61 timeout (wallclock) YES 33.85/9.29
ICFP_2010/26957.xml StarExec error StarExec error MAYBE 139.94/43.60 StarExec error YES 32.83/9.08
ICFP_2010/4248.xml StarExec error StarExec error YES 28.22/7.51 timeout (wallclock) YES 58.94/16.86
ICFP_2010/4840.xml StarExec error StarExec error YES 15.42/4.24 timeout (wallclock) StarExec error
ICFP_2010/81452.xml StarExec error StarExec error YES 18.35/5.14 StarExec error YES 7.11/2.39
ICFP_2010/140654.xml YES 33.70/9.79 StarExec error YES 27.53/7.37 timeout (wallclock) YES 82.98/23.32
ICFP_2010/231378.xml YES 13.24/4.05 MAYBE 0.01/0.01 MAYBE 124.35/51.68 MAYBE 0.01/0.01 YES 1.16/0.67
ICFP_2010/128515.xml YES 52.19/13.83 StarExec error MAYBE 125.95/43.79 StarExec error StarExec error
ICFP_2010/151247.xml timeout (wallclock) StarExec error MAYBE 130.36/48.21 StarExec error timeout (cpu)
ICFP_2010/128620.xml YES 41.71/11.80 StarExec error MAYBE 125.88/43.79 StarExec error YES 169.86/48.59
ICFP_2010/230819.xml YES 16.52/5.07 MAYBE 0.01/0.01 MAYBE 113.99/44.53 MAYBE 0.01/0.01 YES 1.03/0.56
ICFP_2010/212892.xml YES 36.58/10.18 StarExec error MAYBE 176.57/44.76 YES 269.28/286.68 timeout (cpu)
ICFP_2010/85590.xml StarExec error StarExec error YES 24.75/6.73 StarExec error YES 2.62/1.10
ICFP_2010/85345.xml StarExec error StarExec error YES 43.02/11.39 StarExec error YES 385.15/99.62
ICFP_2010/166558.xml timeout (wallclock) StarExec error MAYBE 127.35/45.22 StarExec error timeout (cpu)
ICFP_2010/96302.xml StarExec error StarExec error YES 19.60/5.37 StarExec error YES 86.19/24.23
ICFP_2010/26965.xml StarExec error StarExec error MAYBE 139.04/43.65 StarExec error YES 41.54/12.38
ICFP_2010/160234.xml YES 37.78/10.95 timeout (wallclock) StarExec error YES 13.95/13.91 StarExec error
ICFP_2010/27006.xml StarExec error StarExec error MAYBE 139.63/43.60 StarExec error YES 31.03/8.36
ICFP_2010/4970.xml StarExec error YES 275.06/264.22 YES 14.50/4.00 StarExec error YES 2.48/1.02
ICFP_2010/3498.xml StarExec error StarExec error YES 54.82/14.20 StarExec error YES 18.74/6.04
ICFP_2010/43650.xml timeout (wallclock) StarExec error MAYBE 136.56/54.46 StarExec error StarExec error
ICFP_2010/3450.xml StarExec error StarExec error YES 36.93/9.70 StarExec error YES 33.99/9.03
ICFP_2010/213281.xml YES 33.67/9.21 YES 1.02/0.97 YES 14.59/4.03 YES 1.09/1.07 YES 8.46/2.57
ICFP_2010/188696.xml StarExec error StarExec error MAYBE 126.40/44.92 StarExec error timeout (cpu)
ICFP_2010/150258.xml timeout (wallclock) StarExec error MAYBE 129.79/47.83 StarExec error timeout (cpu)
ICFP_2010/214091.xml YES 19.63/5.72 YES 0.32/0.30 YES 14.09/3.90 YES 0.03/0.04 YES 51.83/15.00
ICFP_2010/45720.xml timeout (wallclock) MAYBE 233.92/205.19 YES 77.50/19.89 StarExec error timeout (cpu)
ICFP_2010/213407.xml YES 35.13/9.70 YES 0.64/0.60 YES 12.39/3.48 StarExec error YES 13.93/4.23
ICFP_2010/157713.xml timeout (wallclock) StarExec error MAYBE 126.64/44.57 StarExec error timeout (cpu)
ICFP_2010/212308.xml YES 61.00/16.60 StarExec error MAYBE 172.86/43.77 StarExec error YES 12.84/3.62
ICFP_2010/27015.xml StarExec error StarExec error MAYBE 140.32/43.56 StarExec error YES 28.33/8.69
ICFP_2010/3589.xml StarExec error StarExec error YES 26.37/7.05 StarExec error YES 38.53/11.05
ICFP_2010/132833.xml YES 49.66/13.59 StarExec error MAYBE 125.90/43.79 StarExec error YES 127.50/35.72
ICFP_2010/26879.xml StarExec error StarExec error MAYBE 138.16/43.66 StarExec error YES 49.88/14.44
ICFP_2010/133881.xml StarExec error StarExec error MAYBE 127.59/43.46 StarExec error StarExec error
ICFP_2010/26226.xml YES 16.03/6.11 YES 0.28/0.26 YES 9.00/2.67 StarExec error YES 7.16/2.10
ICFP_2010/137715.xml StarExec error StarExec error MAYBE 126.70/44.55 StarExec error timeout (cpu)
ICFP_2010/40540.xml YES 52.77/14.01 StarExec error MAYBE 126.68/44.55 StarExec error YES 137.71/39.36
ICFP_2010/213537.xml YES 80.78/21.19 YES 25.98/25.97 YES 23.26/6.19 YES 20.99/20.91 YES 32.66/8.90
ICFP_2010/130304.xml timeout (wallclock) StarExec error MAYBE 126.65/44.54 StarExec error StarExec error
ICFP_2010/51424.xml timeout (wallclock) StarExec error MAYBE 136.43/54.25 StarExec error YES 216.61/61.21
ICFP_2010/96274.xml YES 10.61/3.35 YES 19.42/19.43 YES 19.75/5.42 StarExec error YES 1.29/0.62
ICFP_2010/150815.xml timeout (wallclock) StarExec error MAYBE 130.58/48.38 StarExec error timeout (cpu)
ICFP_2010/3680.xml StarExec error StarExec error YES 45.47/11.88 StarExec error YES 370.90/94.73
ICFP_2010/136601.xml timeout (wallclock) StarExec error MAYBE 126.73/44.56 StarExec error StarExec error
ICFP_2010/153034.xml timeout (wallclock) StarExec error MAYBE 126.70/44.56 StarExec error StarExec error
ICFP_2010/149915.xml timeout (wallclock) StarExec error MAYBE 129.63/47.53 StarExec error timeout (cpu)
ICFP_2010/4036.xml StarExec error StarExec error YES 48.35/12.59 StarExec error YES 22.42/7.03
ICFP_2010/95858.xml StarExec error StarExec error YES 26.45/7.16 StarExec error YES 5.78/1.81
ICFP_2010/167636.xml YES 128.41/33.81 StarExec error MAYBE 127.63/45.46 StarExec error timeout (wallclock)
ICFP_2010/85675.xml YES 7.70/2.63 timeout (wallclock) StarExec error StarExec error YES 3.63/1.21
ICFP_2010/26949.xml StarExec error StarExec error MAYBE 139.36/43.66 timeout (wallclock) YES 36.35/11.24
ICFP_2010/86499.xml StarExec error StarExec error YES 25.05/6.80 StarExec error YES 148.40/39.42
ICFP_2010/56144.xml YES 55.99/14.84 StarExec error MAYBE 126.63/44.55 timeout (wallclock) YES 109.02/30.51
ICFP_2010/214261.xml YES 47.72/13.02 StarExec error YES 43.73/11.31 StarExec error YES 26.85/7.17
ICFP_2010/54097.xml timeout (wallclock) StarExec error MAYBE 135.15/53.09 StarExec error StarExec error
ICFP_2010/166465.xml timeout (wallclock) StarExec error MAYBE 126.26/44.70 StarExec error timeout (cpu)
ICFP_2010/3817.xml StarExec error StarExec error StarExec error StarExec error YES 101.41/26.14
ICFP_2010/4141.xml StarExec error StarExec error YES 56.76/14.66 StarExec error YES 20.05/6.02
ICFP_2010/214320.xml YES 20.52/6.32 YES 5.62/4.81 YES 38.75/10.06 YES 0.45/0.47 StarExec error
ICFP_2010/166848.xml StarExec error StarExec error MAYBE 127.38/45.22 StarExec error timeout (cpu)
ICFP_2010/4181.xml YES 8.46/2.84 YES 12.48/12.47 YES 43.63/11.43 timeout (wallclock) YES 1.77/0.71
ICFP_2010/26103.xml YES 20.70/6.04 YES 0.15/0.14 YES 4.62/1.47 StarExec error YES 2.40/0.87
ICFP_2010/26980.xml timeout (wallclock) StarExec error StarExec error StarExec error YES 31.95/9.93
ICFP_2010/3562.xml StarExec error StarExec error YES 38.74/10.15 timeout (wallclock) YES 22.24/6.04
ICFP_2010/187254.xml YES 19.12/5.61 StarExec error MAYBE 127.14/44.93 StarExec error YES 5.27/3.40
ICFP_2010/58301.xml StarExec error StarExec error MAYBE 147.74/43.33 YES 30.44/31.25 YES 569.44/143.29
ICFP_2010/157161.xml timeout (wallclock) StarExec error MAYBE 143.42/42.76 StarExec error timeout (cpu)
ICFP_2010/184957.xml StarExec error StarExec error MAYBE 127.11/44.93 StarExec error YES 142.37/37.45
ICFP_2010/165755.xml timeout (wallclock) StarExec error MAYBE 126.95/44.82 StarExec error timeout (cpu)
ICFP_2010/4002.xml YES 54.67/14.62 YES 134.33/105.16 YES 6.46/1.94 StarExec error YES 3.82/1.48
ICFP_2010/137316.xml StarExec error StarExec error MAYBE 126.69/44.54 StarExec error StarExec error
ICFP_2010/42466.xml timeout (wallclock) StarExec error MAYBE 126.50/44.56 StarExec error timeout (cpu)
ICFP_2010/249386.xml YES 51.85/13.81 MAYBE 0.01/0.01 MAYBE 123.07/48.40 MAYBE 0.01/0.01 YES 1.39/0.74
ICFP_2010/26972.xml StarExec error StarExec error MAYBE 138.22/43.81 StarExec error YES 41.40/10.94
ICFP_2010/54622.xml YES 12.33/4.03 MAYBE 0.01/0.01 YES 23.56/19.44 MAYBE 0.01/0.01 StarExec error
ICFP_2010/57852.xml YES 72.47/19.10 StarExec error MAYBE 129.92/47.81 StarExec error YES 8.66/2.58
ICFP_2010/51577.xml StarExec error StarExec error MAYBE 136.64/54.48 StarExec error StarExec error
ICFP_2010/136562.xml StarExec error StarExec error MAYBE 128.19/43.47 StarExec error timeout (cpu)
ICFP_2010/132969.xml StarExec error StarExec error MAYBE 125.49/43.46 StarExec error timeout (cpu)
ICFP_2010/4827.xml StarExec error StarExec error YES 21.67/5.80 StarExec error YES 28.22/8.32
ICFP_2010/186810.xml StarExec error StarExec error MAYBE 126.77/44.93 StarExec error timeout (cpu)
ICFP_2010/140318.xml YES 39.33/10.68 StarExec error MAYBE 125.92/43.79 StarExec error YES 125.48/33.76
ICFP_2010/96612.xml StarExec error StarExec error YES 21.21/5.80 StarExec error YES 16.40/6.91
ICFP_2010/27034.xml StarExec error StarExec error MAYBE 138.77/43.70 StarExec error YES 40.12/12.02
ICFP_2010/132782.xml YES 47.36/12.71 StarExec error MAYBE 125.81/43.80 StarExec error YES 108.06/28.53
ICFP_2010/95899.xml StarExec error StarExec error YES 26.38/7.17 StarExec error StarExec error
ICFP_2010/25808.xml StarExec error StarExec error MAYBE 138.99/43.84 StarExec error YES 44.02/13.22
ICFP_2010/86526.xml StarExec error StarExec error YES 26.65/7.26 StarExec error YES 87.11/25.50
ICFP_2010/212094.xml YES 56.90/15.07 YES 30.94/28.92 YES 26.66/7.07 StarExec error YES 27.83/7.73
ICFP_2010/211639.xml YES 8.47/3.00 MAYBE 0.01/0.01 MAYBE 116.89/49.02 MAYBE 0.01/0.01 YES 1.05/0.56
ICFP_2010/41843.xml StarExec error StarExec error YES 39.11/10.26 StarExec error YES 45.98/13.56
ICFP_2010/139236.xml YES 29.87/8.28 StarExec error MAYBE 125.92/43.80 StarExec error StarExec error
ICFP_2010/25734.xml StarExec error StarExec error MAYBE 140.07/43.65 StarExec error YES 31.94/8.54
ICFP_2010/96370.xml YES 49.87/13.80 StarExec error YES 19.37/5.35 StarExec error YES 3.18/1.31
ICFP_2010/3729.xml StarExec error StarExec error YES 62.51/16.18 StarExec error StarExec error
ICFP_2010/48262.xml StarExec error StarExec error MAYBE 159.41/43.47 timeout (wallclock) YES 266.86/67.81
ICFP_2010/95978.xml StarExec error StarExec error YES 27.97/7.59 StarExec error YES 25.60/9.12
ICFP_2010/96673.xml StarExec error StarExec error YES 22.02/6.08 StarExec error YES 24.95/8.70
ICFP_2010/3939.xml StarExec error StarExec error YES 46.24/12.05 StarExec error YES 95.33/24.32
ICFP_2010/25849.xml StarExec error StarExec error MAYBE 138.58/43.67 StarExec error YES 40.63/12.23
ICFP_2010/158620.xml YES 45.25/12.22 StarExec error MAYBE 126.67/44.53 StarExec error YES 11.88/3.37
ICFP_2010/25388.xml StarExec error StarExec error MAYBE 138.99/43.75 StarExec error YES 37.52/10.02
ICFP_2010/3336.xml YES 26.19/7.33 StarExec error YES 9.11/2.62 YES 3.63/3.57 YES 3.64/1.19
ICFP_2010/3385.xml YES 66.78/18.14 StarExec error YES 9.23/2.66 StarExec error YES 4.21/1.35
ICFP_2010/27028.xml StarExec error StarExec error MAYBE 139.82/43.61 timeout (wallclock) YES 29.39/7.91
ICFP_2010/26933.xml StarExec error StarExec error MAYBE 139.17/43.76 timeout (wallclock) YES 42.59/11.21
ICFP_2010/167452.xml timeout (wallclock) StarExec error MAYBE 127.15/45.15 StarExec error timeout (cpu)
ICFP_2010/128056.xml StarExec error StarExec error MAYBE 125.92/43.81 StarExec error timeout (cpu)
ICFP_2010/186222.xml StarExec error StarExec error MAYBE 127.04/44.92 StarExec error timeout (cpu)
ICFP_2010/212480.xml YES 45.27/12.27 YES 23.28/21.48 YES 21.28/5.70 StarExec error YES 65.69/17.16
ICFP_2010/136354.xml timeout (wallclock) StarExec error MAYBE 126.69/44.55 StarExec error timeout (cpu)
ICFP_2010/107220.xml StarExec error StarExec error MAYBE 126.79/44.66 StarExec error timeout (cpu)
ICFP_2010/150067.xml timeout (wallclock) StarExec error MAYBE 129.82/47.58 StarExec error timeout (cpu)
ICFP_2010/264405.xml YES 3.51/1.65 YES 0.03/0.03 StarExec error StarExec error YES 0.89/0.60
ICFP_2010/85650.xml YES 45.60/12.23 StarExec error YES 27.11/7.35 StarExec error YES 13.05/3.59
ICFP_2010/136497.xml StarExec error StarExec error MAYBE 126.77/44.57 StarExec error timeout (cpu)
ICFP_2010/135652.xml StarExec error StarExec error MAYBE 128.21/43.45 StarExec error StarExec error
ICFP_2010/3856.xml StarExec error StarExec error YES 46.50/12.12 timeout (wallclock) YES 211.27/55.45
ICFP_2010/57132.xml StarExec error StarExec error YES 37.36/9.99 StarExec error YES 199.71/52.72
ICFP_2010/25775.xml StarExec error StarExec error MAYBE 139.52/43.68 StarExec error YES 43.17/12.77
ICFP_2010/157388.xml YES 65.17/17.21 YES 66.90/59.25 YES 64.20/16.62 StarExec error YES 650.36/167.33
ICFP_2010/132540.xml YES 39.62/10.85 StarExec error MAYBE 125.90/43.80 StarExec error StarExec error
ICFP_2010/58221.xml StarExec error StarExec error YES 45.46/11.97 StarExec error YES 121.13/31.28
ICFP_2010/160364.xml timeout (wallclock) StarExec error MAYBE 127.73/45.71 StarExec error timeout (cpu)
ICFP_2010/3930.xml StarExec error StarExec error YES 28.70/7.62 StarExec error YES 14.02/3.97
ICFP_2010/86617.xml StarExec error StarExec error YES 24.56/6.70 StarExec error YES 29.88/9.39
ICFP_2010/136280.xml timeout (wallclock) StarExec error StarExec error StarExec error YES 870.35/297.43
ICFP_2010/96417.xml StarExec error StarExec error YES 20.01/5.52 StarExec error YES 84.03/23.50
ICFP_2010/4029.xml StarExec error StarExec error YES 24.08/6.69 timeout (wallclock) YES 18.75/5.14
ICFP_2010/211915.xml StarExec error YES 11.68/10.15 YES 17.96/4.88 StarExec error StarExec error
ICFP_2010/86857.xml YES 370.13/100.33 StarExec error YES 21.04/5.79 StarExec error YES 43.78/12.31
ICFP_2010/160324.xml timeout (wallclock) StarExec error MAYBE 126.84/44.72 StarExec error timeout (cpu)
ICFP_2010/26940.xml StarExec error StarExec error MAYBE 139.34/43.71 StarExec error YES 40.76/10.74
ICFP_2010/130161.xml timeout (wallclock) StarExec error MAYBE 126.72/44.54 StarExec error StarExec error
ICFP_2010/4816.xml StarExec error StarExec error YES 46.91/12.23 timeout (wallclock) YES 32.07/8.42
ICFP_2010/96224.xml YES 10.64/3.40 StarExec error YES 2.85/1.18 StarExec error YES 1.50/0.77
ICFP_2010/142150.xml StarExec error StarExec error MAYBE 135.87/42.96 StarExec error timeout (cpu)
ICFP_2010/153243.xml StarExec error StarExec error MAYBE 126.61/44.55 StarExec error timeout (wallclock)
ICFP_2010/167310.xml timeout (wallclock) StarExec error MAYBE 126.97/44.79 StarExec error timeout (cpu)
ICFP_2010/249663.xml YES 15.02/4.54 MAYBE 0.01/0.01 MAYBE 137.53/55.26 MAYBE 0.01/0.01 YES 1.31/0.61
ICFP_2010/231043.xml YES 12.22/3.77 MAYBE 0.01/0.01 MAYBE 135.74/55.37 MAYBE 0.01/0.01 YES 1.18/0.57
ICFP_2010/5011.xml StarExec error StarExec error YES 13.49/3.76 StarExec error YES 7.07/2.07
ICFP_2010/186775.xml StarExec error StarExec error MAYBE 127.06/44.94 StarExec error timeout (cpu)
ICFP_2010/211978.xml YES 14.18/4.33 YES 1.17/1.15 YES 30.57/8.02 YES 0.05/0.05 YES 18.99/5.09
ICFP_2010/213218.xml YES 18.27/5.39 YES 1.07/1.04 YES 17.08/4.65 YES 0.04/0.04 YES 9.04/2.60
ICFP_2010/3861.xml StarExec error StarExec error YES 59.55/15.39 StarExec error YES 163.13/47.36
ICFP_2010/186973.xml StarExec error StarExec error StarExec error StarExec error timeout (cpu)
ICFP_2010/149361.xml timeout (wallclock) StarExec error MAYBE 129.79/47.64 StarExec error timeout (cpu)
ICFP_2010/91210.xml YES 45.65/12.92 StarExec error MAYBE 127.57/43.78 StarExec error YES 29.00/8.35
ICFP_2010/259625.xml YES 69.38/19.03 StarExec error MAYBE 138.90/56.82 StarExec error YES 108.61/50.20
ICFP_2010/3927.xml timeout (wallclock) StarExec error MAYBE 138.54/56.38 StarExec error YES 314.43/88.02
ICFP_2010/132864.xml YES 43.69/11.74 StarExec error MAYBE 125.92/43.80 StarExec error YES 305.81/99.44
ICFP_2010/132957.xml YES 51.74/14.00 StarExec error MAYBE 125.77/43.81 StarExec error StarExec error
ICFP_2010/27280.xml YES 64.23/17.05 YES 1.45/1.39 YES 20.06/5.88 StarExec error YES 30.18/8.09
ICFP_2010/3762.xml StarExec error StarExec error YES 37.39/9.80 StarExec error YES 97.66/25.37
ICFP_2010/26105.xml StarExec error StarExec error MAYBE 142.01/43.50 StarExec error YES 50.36/14.62
ICFP_2010/139282.xml YES 40.37/10.98 StarExec error MAYBE 125.97/43.81 StarExec error YES 199.06/58.83
ICFP_2010/162244.xml timeout (wallclock) StarExec error MAYBE 126.97/44.87 StarExec error timeout (cpu)
ICFP_2010/4854.xml StarExec error StarExec error YES 65.72/16.95 StarExec error StarExec error
ICFP_2010/65081.xml StarExec error StarExec error YES 12.41/3.52 StarExec error YES 1.32/0.62
ICFP_2010/132738.xml YES 39.12/11.23 StarExec error MAYBE 125.99/43.81 StarExec error YES 101.49/28.25
ICFP_2010/167526.xml timeout (wallclock) StarExec error MAYBE 126.77/44.72 StarExec error timeout (cpu)
ICFP_2010/213611.xml YES 13.70/4.17 MAYBE 0.01/0.01 MAYBE 122.76/51.62 MAYBE 0.01/0.01 YES 1.08/0.56
ICFP_2010/157603.xml timeout (wallclock) StarExec error MAYBE 126.62/44.55 StarExec error StarExec error
ICFP_2010/161930.xml YES 57.56/15.34 StarExec error StarExec error StarExec error YES 69.86/19.21
ICFP_2010/165936.xml timeout (wallclock) StarExec error MAYBE 127.03/45.01 StarExec error timeout (cpu)
ICFP_2010/96239.xml StarExec error StarExec error YES 20.31/5.58 StarExec error StarExec error
ICFP_2010/150839.xml timeout (wallclock) StarExec error MAYBE 128.51/46.39 StarExec error timeout (cpu)
ICFP_2010/214169.xml YES 42.08/11.42 StarExec error YES 21.91/5.88 YES 209.38/215.53 YES 8.94/2.61
ICFP_2010/88143.xml YES 61.40/16.29 StarExec error YES 33.37/8.93 StarExec error YES 32.73/10.61
ICFP_2010/165904.xml timeout (wallclock) StarExec error MAYBE 127.24/45.04 StarExec error timeout (cpu)
ICFP_2010/41865.xml timeout (wallclock) StarExec error MAYBE 126.64/44.55 StarExec error StarExec error
ICFP_2010/186333.xml StarExec error StarExec error MAYBE 127.07/44.94 StarExec error timeout (cpu)
ICFP_2010/5076.xml StarExec error StarExec error YES 19.06/5.17 StarExec error YES 15.02/4.12
ICFP_2010/4847.xml StarExec error StarExec error YES 47.89/12.43 StarExec error YES 47.73/12.78
ICFP_2010/148543.xml timeout (wallclock) StarExec error MAYBE 130.16/48.08 StarExec error StarExec error
ICFP_2010/212774.xml StarExec error StarExec error YES 10.17/2.93 StarExec error YES 13.63/3.74
ICFP_2010/4046.xml YES 8.62/3.12 YES 32.79/25.35 YES 2.49/0.95 StarExec error YES 1.19/0.57
ICFP_2010/152949.xml timeout (wallclock) StarExec error MAYBE 126.71/44.54 StarExec error StarExec error
ICFP_2010/137799.xml StarExec error StarExec error MAYBE 126.70/44.57 StarExec error timeout (cpu)
ICFP_2010/213560.xml YES 68.55/18.75 StarExec error YES 16.34/4.48 StarExec error YES 19.60/5.31
ICFP_2010/167294.xml timeout (wallclock) StarExec error MAYBE 127.31/45.13 StarExec error timeout (cpu)
ICFP_2010/150877.xml timeout (wallclock) StarExec error MAYBE 129.57/47.38 StarExec error timeout (cpu)
ICFP_2010/45970.xml StarExec error StarExec error MAYBE 127.79/45.64 StarExec error StarExec error
ICFP_2010/97901.xml timeout (wallclock) StarExec error MAYBE 126.12/44.07 StarExec error timeout (cpu)
ICFP_2010/27134.xml YES 49.07/13.20 YES 0.57/0.52 YES 17.35/4.97 StarExec error YES 15.58/4.24
ICFP_2010/64160.xml StarExec error StarExec error YES 5.94/1.83 StarExec error YES 2.65/1.14
ICFP_2010/212421.xml YES 75.11/19.70 YES 1.59/1.56 YES 16.01/4.40 StarExec error YES 37.83/10.08
ICFP_2010/185628.xml StarExec error StarExec error MAYBE 127.01/44.92 StarExec error timeout (cpu)
ICFP_2010/158342.xml StarExec error StarExec error MAYBE 126.44/44.54 StarExec error StarExec error
ICFP_2010/26896.xml timeout (wallclock) StarExec error MAYBE 138.55/43.75 StarExec error YES 38.70/10.33
ICFP_2010/97929.xml timeout (wallclock) StarExec error MAYBE 127.99/45.84 StarExec error StarExec error
ICFP_2010/213147.xml YES 65.67/17.44 StarExec error YES 17.23/4.69 StarExec error YES 20.42/5.47
ICFP_2010/4017.xml StarExec error StarExec error YES 43.63/11.41 StarExec error timeout (cpu)
ICFP_2010/25192.xml YES 3.50/1.58 YES 0.02/0.02 YES 0.91/0.52 YES 0.04/0.04 YES 0.60/0.41
ICFP_2010/157466.xml timeout (wallclock) StarExec error MAYBE 126.64/44.55 StarExec error StarExec error
ICFP_2010/162095.xml timeout (wallclock) StarExec error MAYBE 126.88/44.71 StarExec error timeout (cpu)
ICFP_2010/40033.xml timeout (wallclock) StarExec error MAYBE 126.70/44.55 StarExec error timeout (cpu)
ICFP_2010/28293.xml YES 76.60/20.67 YES 3.04/2.98 YES 21.32/6.27 StarExec error YES 17.69/5.01
Secret_06_SRS/10.xml YES 22.39/6.49 MAYBE 0.11/0.10 YES 88.73/22.52 StarExec error YES 3.01/1.03
Secret_06_SRS/aprove07.xml YES 35.46/9.92 YES 0.43/0.40 YES 7.80/2.28 StarExec error timeout (cpu)
Secret_06_SRS/secr2.xml YES 11.09/3.77 MAYBE 0.15/0.12 YES 2.80/1.00 StarExec error YES 71.39/18.30
Secret_06_SRS/secr9.xml YES 31.06/8.73 MAYBE 0.22/0.20 YES 47.26/14.35 StarExec error YES 10.71/3.02
Secret_06_SRS/aprove04.xml YES 19.55/6.24 YES 0.59/0.57 YES 116.84/29.68 StarExec error timeout (cpu)
Secret_06_SRS/multum5.xml YES 28.77/8.09 MAYBE 0.34/0.32 YES 6.33/1.89 timeout (wallclock) YES 1.17/0.67
Secret_06_SRS/secr3.xml StarExec error MAYBE 0.44/0.42 YES 131.44/33.23 timeout (wallclock) timeout (wallclock)
Secret_06_SRS/5-matchbox.xml YES 10.46/3.53 MAYBE 0.24/0.21 YES 6.21/1.86 StarExec error YES 2.97/1.16
Secret_06_SRS/secr4.xml YES 64.77/17.18 YES 0.04/0.04 YES 90.43/22.96 StarExec error memout
Secret_06_SRS/3.xml YES 366.96/93.26 MAYBE 0.25/0.21 YES 7.87/2.28 StarExec error YES 1.35/0.73
Secret_06_SRS/multum6.xml YES 27.87/7.78 MAYBE 0.47/0.43 StarExec error timeout (wallclock) YES 1.72/0.84
Secret_06_SRS/7.xml YES 12.66/4.09 YES 0.15/0.12 YES 88.28/22.45 StarExec error YES 3.37/1.11
Secret_06_SRS/aprove02.xml YES 27.90/8.11 YES 0.41/0.39 YES 7.97/2.33 StarExec error timeout (cpu)
Secret_06_SRS/1.xml StarExec error MAYBE 0.23/0.20 MAYBE 172.67/43.51 StarExec error memout
Secret_06_SRS/aprove08.xml YES 17.54/5.47 YES 0.35/0.33 YES 3.93/1.31 YES 0.80/0.84 memout
Secret_06_SRS/multum2.xml YES 46.85/12.51 MAYBE 0.29/0.25 YES 5.52/1.69 StarExec error YES 0.93/0.50
Secret_06_SRS/secr10.xml YES 32.62/9.04 MAYBE 0.58/0.55 YES 100.54/25.55 StarExec error YES 3.36/1.13
Secret_06_SRS/multum3.xml YES 24.76/7.02 MAYBE 0.29/0.24 YES 109.87/27.83 StarExec error YES 2.09/0.81
Secret_06_SRS/aprove09.xml YES 9.12/3.25 YES 0.15/0.15 YES 3.22/1.12 YES 0.06/0.09 memout
Secret_06_SRS/aprove01.xml YES 13.40/4.43 YES 0.19/0.18 YES 24.88/6.61 YES 0.82/0.85 memout
Secret_06_SRS/secr7.xml YES 35.60/13.97 MAYBE 0.11/0.09 YES 182.87/151.47 StarExec error YES 3.98/1.29
Secret_06_SRS/5.xml YES 55.61/14.83 MAYBE 0.23/0.19 MAYBE 172.50/43.48 StarExec error memout
Secret_06_SRS/3-matchbox.xml YES 45.67/12.40 YES 0.84/0.77 YES 12.02/3.34 YES 39.36/39.65 YES 1.33/0.67
Secret_06_SRS/aprove06.xml YES 18.48/5.81 YES 0.42/0.39 YES 102.08/25.92 YES 0.19/0.23 timeout (cpu)
Secret_06_SRS/aprove03.xml YES 14.18/4.53 YES 0.47/0.44 YES 52.43/13.55 StarExec error memout
Secret_06_SRS/2.xml YES 35.45/9.70 MAYBE 0.29/0.27 YES 167.94/42.35 StarExec error memout
Secret_06_SRS/2-matchbox.xml YES 232.75/59.17 YES 1.89/1.44 YES 43.74/11.24 StarExec error YES 4.37/1.40
Secret_06_SRS/8.xml YES 37.33/10.61 MAYBE 0.79/0.74 YES 13.48/3.69 YES 11.00/11.23 YES 86.15/21.98
Secret_06_SRS/secr8.xml YES 33.34/9.24 MAYBE 0.21/0.19 YES 50.40/13.72 timeout (wallclock) YES 25.83/6.80
Secret_06_SRS/secr6.xml YES 32.78/9.06 MAYBE 1.47/1.33 YES 97.64/24.77 StarExec error YES 177.51/46.85
Secret_06_SRS/6.xml YES 21.60/6.28 MAYBE 0.93/0.89 YES 6.92/2.04 timeout (wallclock) YES 1.05/0.54
Secret_06_SRS/aprove00.xml YES 27.57/7.79 YES 0.06/0.06 YES 2.74/1.00 YES 0.09/0.11 memout
Secret_06_SRS/secr5.xml YES 153.36/39.33 MAYBE 0.25/0.22 MAYBE 170.92/43.13 StarExec error memout
Secret_06_SRS/9.xml YES 11.87/3.92 MAYBE 0.15/0.13 YES 106.43/26.96 StarExec error YES 1.43/0.62
Secret_06_SRS/multum1.xml YES 192.31/49.26 MAYBE 0.46/0.43 YES 109.45/27.76 YES 0.47/0.50 YES 13.12/3.57
Secret_06_SRS/aprove05.xml YES 28.98/8.27 YES 0.35/0.34 YES 14.37/3.95 StarExec error memout
Secret_06_SRS/secr1.xml YES 17.98/5.32 MAYBE 0.14/0.12 YES 1.86/0.77 StarExec error YES 1.61/0.77
Secret_06_SRS/1-matchbox.xml NO 240.61/61.03 MAYBE 0.20/0.16 MAYBE 170.50/42.98 StarExec error NO 12.11/3.43
Secret_06_SRS/multum4.xml YES 3.44/1.75 StarExec error YES 1.19/0.61 StarExec error YES 1.23/0.59
Secret_05_SRS/aprove2.xml YES 33.08/9.20 MAYBE 0.31/0.28 YES 11.28/3.14 StarExec error YES 4.31/1.39
Secret_05_SRS/jambox3.xml YES 69.77/18.77 MAYBE 0.36/0.31 YES 35.61/9.23 StarExec error memout
Secret_05_SRS/jambox4.xml YES 3.64/1.69 MAYBE 0.23/0.20 YES 4.77/1.49 StarExec error memout
Secret_05_SRS/matchbox1.xml YES 23.09/6.88 YES 0.07/0.07 YES 8.90/2.55 YES 11.32/12.74 YES 1.62/0.67
Secret_05_SRS/aprove3.xml YES 26.93/7.62 MAYBE 0.23/0.20 YES 100.78/25.60 StarExec error YES 159.34/41.13
Secret_05_SRS/aprove1.xml YES 22.56/6.49 StarExec error YES 101.62/25.83 StarExec error memout
Secret_05_SRS/torpa2.xml YES 18.78/6.07 MAYBE 0.13/0.12 YES 116.80/29.55 StarExec error memout
Secret_05_SRS/jambox2.xml StarExec error MAYBE 0.82/0.74 MAYBE 171.33/43.20 StarExec error memout
Secret_05_SRS/jambox5.xml YES 59.67/15.91 MAYBE 0.29/0.23 YES 11.38/3.15 StarExec error memout
Secret_05_SRS/torpa3.xml YES 18.36/5.70 YES 0.04/0.04 YES 7.35/2.16 YES 3.66/4.39 YES 11.30/3.16
Secret_05_SRS/jambox1.xml YES 37.09/11.72 MAYBE 0.26/0.23 MAYBE 171.30/43.18 StarExec error memout
Secret_05_SRS/aprove4.xml YES 33.92/9.92 YES 0.18/0.15 YES 119.03/30.17 StarExec error memout
Secret_05_SRS/aprove5.xml YES 49.04/13.27 YES 0.41/0.40 YES 109.10/27.89 YES 25.80/27.83 YES 6.69/2.21
Secret_05_SRS/torpa4.xml YES 9.81/3.33 YES 0.07/0.07 YES 12.33/3.42 StarExec error YES 2.83/0.99
Secret_05_SRS/torpa1.xml YES 4.00/1.74 MAYBE 0.29/0.28 YES 3.79/1.24 YES 2.01/2.12 YES 41.32/12.23
Secret_05_SRS/matchbox2.xml YES 3.73/1.64 YES 0.20/0.17 YES 5.38/1.64 YES 3.67/3.94 YES 3.15/1.06
Gebhardt_06/05.xml NO 19.11/5.60 MAYBE 0.22/0.21 MAYBE 170.93/43.09 StarExec error NO 0.62/0.41
Gebhardt_06/03.xml NO 8.69/2.94 MAYBE 0.26/0.24 MAYBE 171.20/43.15 timeout (wallclock) NO 0.78/0.46
Gebhardt_06/01.xml StarExec error MAYBE 0.20/0.18 MAYBE 172.26/43.45 timeout (wallclock) memout
Gebhardt_06/12.xml NO 28.74/8.34 StarExec error MAYBE 171.56/43.26 StarExec error NO 0.52/0.38
Gebhardt_06/10.xml StarExec error MAYBE 0.29/0.26 MAYBE 170.80/43.08 StarExec error NO 186.94/47.32
Gebhardt_06/06.xml StarExec error MAYBE 0.23/0.22 MAYBE 171.22/43.17 timeout (wallclock) NO 1.66/0.82
Gebhardt_06/02.xml YES 1020.86/256.13 MAYBE 0.18/0.17 MAYBE 170.77/43.09 StarExec error memout
Gebhardt_06/14.xml YES 21.85/6.32 MAYBE 0.29/0.25 YES 165.99/41.87 timeout (wallclock) memout
Gebhardt_06/13.xml StarExec error MAYBE 0.35/0.32 MAYBE 171.49/43.22 StarExec error memout
Gebhardt_06/20.xml StarExec error MAYBE 0.84/0.80 MAYBE 171.86/43.34 StarExec error memout
Gebhardt_06/04.xml YES 15.81/4.99 MAYBE 0.31/0.30 MAYBE 170.19/42.90 StarExec error timeout (cpu)
Gebhardt_06/17.xml YES 15.62/4.98 MAYBE 0.32/0.30 MAYBE 170.64/43.09 StarExec error memout
Gebhardt_06/08.xml NO 6.71/2.49 MAYBE 0.26/0.25 MAYBE 170.39/42.94 StarExec error NO 0.78/0.47
Gebhardt_06/19.xml StarExec error MAYBE 0.66/0.62 MAYBE 171.47/43.22 StarExec error memout
Gebhardt_06/16.xml YES 22.96/6.57 MAYBE 0.34/0.33 MAYBE 171.09/43.11 timeout (wallclock) memout
Gebhardt_06/09.xml YES 237.93/60.64 MAYBE 0.24/0.22 YES 150.77/38.06 YES 211.73/212.33 memout
Gebhardt_06/11.xml YES 24.16/6.82 MAYBE 0.30/0.27 YES 134.73/34.05 StarExec error memout
Gebhardt_06/07.xml YES 16.51/5.20 MAYBE 0.27/0.26 MAYBE 170.89/43.09 timeout (wallclock) memout
Gebhardt_06/18.xml YES 253.75/64.30 MAYBE 0.40/0.35 MAYBE 170.61/43.02 StarExec error memout
Gebhardt_06/15.xml NO 48.09/12.83 MAYBE 0.34/0.31 MAYBE 171.31/43.20 StarExec error NO 0.78/0.55
Bouchare_06/05.xml YES 10.28/3.58 MAYBE 0.16/0.13 YES 97.20/24.65 StarExec error YES 34.44/9.01
Bouchare_06/03.xml YES 10.71/3.66 MAYBE 0.15/0.12 YES 93.30/23.68 StarExec error memout
Bouchare_06/01.xml YES 5.19/2.08 MAYBE 0.19/0.17 YES 43.63/11.42 StarExec error YES 0.96/0.60
Bouchare_06/12.xml YES 21.32/6.48 MAYBE 0.11/0.09 YES 96.53/24.50 StarExec error YES 339.68/87.51
Bouchare_06/10.xml YES 28.87/8.44 MAYBE 0.22/0.18 YES 126.25/31.93 StarExec error memout
Bouchare_06/06.xml YES 20.05/5.87 MAYBE 0.48/0.45 YES 95.14/24.15 StarExec error YES 1.54/0.65
Bouchare_06/02.xml YES 5.30/2.03 YES 0.10/0.08 YES 3.17/1.09 StarExec error YES 0.92/0.49
Bouchare_06/14.xml YES 5.83/2.26 MAYBE 0.14/0.13 YES 94.57/24.01 StarExec error YES 0.98/0.62
Bouchare_06/13.xml YES 25.56/7.22 MAYBE 0.19/0.16 YES 99.96/25.29 StarExec error memout
Bouchare_06/04.xml YES 7.23/2.55 MAYBE 0.18/0.16 YES 43.15/11.27 StarExec error YES 1.56/0.68
Bouchare_06/17.xml YES 8.97/3.02 MAYBE 0.14/0.13 YES 43.19/11.26 StarExec error YES 0.99/0.62
Bouchare_06/08.xml NO 3.39/1.53 MAYBE 0.23/0.21 NO 0.87/0.51 StarExec error NO 0.49/0.38
Bouchare_06/16.xml YES 5.09/2.00 MAYBE 0.11/0.09 YES 42.26/10.98 StarExec error YES 0.99/0.63
Bouchare_06/09.xml NO 3.48/1.54 MAYBE 0.19/0.15 NO 0.94/0.52 StarExec error NO 0.66/0.54
Bouchare_06/11.xml YES 31.34/8.99 MAYBE 0.13/0.11 YES 101.46/25.72 StarExec error memout
Bouchare_06/07.xml YES 29.47/8.22 YES 0.10/0.09 YES 41.42/10.68 YES 2.10/2.13 YES 1.72/0.71
Bouchare_06/18.xml YES 27.40/7.72 MAYBE 0.20/0.17 YES 102.45/25.96 StarExec error memout
Bouchare_06/15.xml YES 7.81/2.72 MAYBE 0.32/0.29 YES 42.70/11.14 StarExec error YES 0.93/0.58
Wenzel_16/babaaaaaaa-aaaaaaaababbab.srs.xml StarExec error MAYBE 24.99/18.06 MAYBE 171.17/43.15 StarExec error NO 65.01/18.65
Wenzel_16/abaaabaa-aaabaaababaaab.srs.xml YES 4.73/1.90 MAYBE 1.68/1.55 MAYBE 172.05/43.37 StarExec error timeout (cpu)
Wenzel_16/bacaaaaaaa-aaaaaaaabacbac.srs.xml StarExec error MAYBE 63.65/45.75 MAYBE 172.55/43.49 StarExec error NO 54.14/14.01
Wenzel_16/abaabababa-aababababaabab.srs.xml YES 3.49/1.55 MAYBE 3.29/3.10 MAYBE 173.01/43.61 StarExec error timeout (cpu)
Wenzel_16/aabaabbaab-aabbaabaabbaa.srs.xml StarExec error MAYBE 0.39/0.36 MAYBE 171.74/43.28 StarExec error YES 9.16/3.14
Wenzel_16/abaabaaaa-aaaaabaabaab.srs.xml YES 3.98/1.70 StarExec error MAYBE 171.38/43.19 StarExec error YES 4.73/1.47
Wenzel_16/abcbaaaa-aaaaabcbaabcb.srs.xml YES 3.90/1.67 MAYBE 10.82/9.42 MAYBE 171.21/43.14 StarExec error YES 1.85/0.72
Wenzel_16/aabcbaaaa-aaaaaabcbaabcb.srs.xml StarExec error MAYBE 25.38/22.88 MAYBE 171.52/43.22 StarExec error YES 4.76/1.48
Wenzel_16/abaababa-aababababaab.srs.xml YES 3.65/1.61 MAYBE 0.95/0.88 MAYBE 172.88/43.58 StarExec error StarExec error
Wenzel_16/abbaaaaaaa-aaaaaaaaabbabb.srs.xml StarExec error MAYBE 22.68/16.29 MAYBE 172.60/43.52 StarExec error NO 3.85/1.26
Wenzel_16/bababaa-aaaaababababa.srs.xml StarExec error MAYBE 0.63/0.50 MAYBE 172.30/43.42 StarExec error NO 1.63/0.82
Wenzel_16/abbaaaaaa-aaaaaaabbaaabb.srs.xml YES 3.64/1.85 MAYBE 3.04/2.40 MAYBE 172.13/43.40 StarExec error YES 9.68/3.08
Wenzel_16/abbaaaa-aaaaabbaabb.srs.xml YES 3.55/1.63 MAYBE 1.01/0.87 MAYBE 171.20/43.32 StarExec error YES 2.35/0.86
Wenzel_16/abababaab-aababaabababab.srs.xml StarExec error MAYBE 0.29/0.26 MAYBE 171.59/43.25 StarExec error YES 2.27/0.85
Wenzel_16/aabaaaa-aaaaaabaaab.srs.xml StarExec error StarExec error StarExec error StarExec error YES 3.84/1.26
Wenzel_16/abbabbbbabb-abbbbabbabbbba.srs.xml StarExec error MAYBE 0.54/0.50 MAYBE 171.85/43.31 StarExec error YES 24.53/6.53
Wenzel_16/aaabaaaaa-aaaaaaaabaaaab.srs.xml StarExec error MAYBE 4.10/3.99 MAYBE 170.84/43.07 StarExec error YES 75.74/21.30
Wenzel_16/baabbaaaab-aabbaaaabbaab.srs.xml YES 3.94/1.74 MAYBE 9.12/6.70 MAYBE 171.98/43.35 StarExec error memout
Wenzel_16/abababaab-aabaabababab.srs.xml YES 117.10/30.60 MAYBE 0.25/0.23 MAYBE 172.42/43.47 StarExec error YES 2.80/1.15
Wenzel_16/abbaaaaaaa-aaaaaaaabbaabb.srs.xml YES 4.03/1.68 MAYBE 10.37/7.52 MAYBE 172.03/43.37 StarExec error YES 5.18/1.83
Wenzel_16/bbcaaaaaaa-aaaaaaabbcbbca.srs.xml StarExec error MAYBE 0.67/0.55 MAYBE 172.41/43.46 StarExec error NO 52.13/13.49
Wenzel_16/ababaaaaaaa-aaaaaaaababab.srs.xml YES 3.93/1.69 MAYBE 4.18/3.19 MAYBE 171.93/43.33 StarExec error YES 5.14/1.82
Wenzel_16/baabababba-abababbaababab.srs.xml StarExec error MAYBE 0.97/0.84 MAYBE 172.84/43.57 StarExec error YES 2.18/0.94
Wenzel_16/abaaba-aababababaab.srs.xml StarExec error MAYBE 0.89/0.83 MAYBE 172.16/43.39 StarExec error memout
Wenzel_16/abcbaaaaa-aaaaaabcbabcb.srs.xml YES 4.38/1.78 MAYBE 68.91/52.20 MAYBE 171.50/43.28 StarExec error YES 6.64/1.97
Wenzel_16/abaaaaaaa-aaaaaaaababab.srs.xml YES 4.18/1.74 MAYBE 1.41/1.27 MAYBE 170.94/43.10 StarExec error YES 5.21/1.58
Wenzel_16/abbbaaaaa-aaaaaabbbaabbb.srs.xml YES 4.09/1.73 MAYBE 19.13/13.98 MAYBE 171.36/43.18 StarExec error YES 4.28/1.36
Wenzel_16/aabaaaa-aaaaaabaabaaab.srs.xml StarExec error MAYBE 13.95/13.84 MAYBE 170.58/43.07 StarExec error YES 21.28/5.70
Wenzel_16/bcbaaaaaaa-aaaaaaabcbbcba.srs.xml StarExec error MAYBE 36.96/26.79 MAYBE 172.62/43.55 StarExec error NO 52.38/13.79
Wenzel_16/ababaabaaba-aabaabaababab.srs.xml YES 4.02/1.78 MAYBE 1.26/1.11 MAYBE 171.88/43.33 StarExec error YES 3.32/1.33
Wenzel_16/babbabbaba-abababbabbabba.srs.xml StarExec error MAYBE 0.83/0.78 MAYBE 171.66/43.26 StarExec error YES 12.98/3.66
Wenzel_16/abaaaa-aaaaabababaab.srs.xml YES 4.08/1.72 MAYBE 0.71/0.64 MAYBE 170.79/43.04 StarExec error YES 5.02/1.54
Wenzel_16/abaaaaaaaa-aaaaaaaaaabaab.srs.xml StarExec error MAYBE 1.03/0.90 MAYBE 171.60/43.27 StarExec error NO 3.68/1.44
Wenzel_16/ababbabab-abbababababba.srs.xml StarExec error MAYBE 0.46/0.42 MAYBE 172.65/43.52 StarExec error memout
Wenzel_16/baabbaabaab-aabbaabaabbaab.srs.xml StarExec error MAYBE 6.90/5.22 MAYBE 173.66/43.81 StarExec error YES 24.51/6.56
Wenzel_16/abacaaaaa-aaaaaabacaabac.srs.xml YES 3.77/1.72 MAYBE 8.05/7.72 MAYBE 173.36/43.72 StarExec error YES 4.07/1.30
Wenzel_16/aabbcaaaa-aaaaaabbcaabbc.srs.xml StarExec error MAYBE 31.40/26.79 MAYBE 172.04/43.37 StarExec error YES 3.88/1.27
Wenzel_16/abbaaaaaaa-aaaaaaaabbabb.srs.xml YES 4.28/1.79 MAYBE 19.83/14.19 MAYBE 172.54/43.49 StarExec error YES 5.66/1.71
Wenzel_16/baabbaab-aabbaabaabaabb.srs.xml YES 3.43/1.53 MAYBE 2.00/1.78 MAYBE 171.02/43.17 StarExec error StarExec error
Wenzel_16/aaabbaaaa-aaaaaaabbaaabb.srs.xml StarExec error MAYBE 3.14/2.90 MAYBE 171.16/43.13 StarExec error YES 3.97/1.51
Wenzel_16/abccaaaaa-aaaaaabccabcc.srs.xml YES 3.69/1.67 MAYBE 98.45/73.31 MAYBE 172.44/43.54 StarExec error YES 5.55/1.94
Wenzel_16/bababaaba-ababaababababa.srs.xml StarExec error MAYBE 0.29/0.26 MAYBE 172.23/43.42 StarExec error YES 13.85/3.81
Wenzel_16/aabccaaaa-aaaaaabccaabcc.srs.xml StarExec error MAYBE 31.13/27.05 MAYBE 172.07/43.36 StarExec error YES 2.56/1.08
Wenzel_16/abaaaaaa-aaaaaaabaaaab.srs.xml YES 4.33/1.80 MAYBE 0.94/0.88 MAYBE 171.45/43.27 StarExec error YES 5.19/1.61
Wenzel_16/aabaabaaaa-aaaaaabaabaab.srs.xml StarExec error StarExec error MAYBE 172.07/43.38 StarExec error YES 735.14/189.20
Wenzel_16/ababaababa-abaabababaabab.srs.xml StarExec error MAYBE 1.54/1.42 MAYBE 173.01/43.63 StarExec error YES 4.98/1.53
Wenzel_16/abaaababaab-abaababaaababa.srs.xml StarExec error MAYBE 0.56/0.52 MAYBE 171.68/43.33 StarExec error timeout (cpu)
Wenzel_16/abababaababa-ababaabababaab.srs.xml StarExec error MAYBE 1.67/1.55 MAYBE 175.03/44.13 StarExec error YES 57.83/14.89
Wenzel_16/abaaba-aabababababaab.srs.xml YES 3.95/1.78 MAYBE 1.27/1.16 MAYBE 171.75/43.34 StarExec error memout
Wenzel_16/ababaababa-abaababababaab.srs.xml StarExec error MAYBE 1.57/1.45 MAYBE 172.44/43.48 StarExec error timeout (cpu)
Wenzel_16/bbcaaaaaa-aaaaaaabbcbbc.srs.xml StarExec error MAYBE 0.46/0.38 MAYBE 172.11/43.37 StarExec error NO 2.85/1.01
Wenzel_16/abaaaaaa-aaaaaaabaaaaab.srs.xml YES 3.78/1.74 MAYBE 0.89/0.99 MAYBE 171.21/43.16 StarExec error YES 16.52/4.42
Wenzel_16/abababaababa-abaababaababab.srs.xml StarExec error MAYBE 1.86/1.71 MAYBE 171.91/43.32 StarExec error YES 4.85/1.54
Wenzel_16/abbaaaaa-aaaaaabbabb.srs.xml YES 3.90/1.70 MAYBE 3.23/2.43 MAYBE 171.08/43.10 StarExec error YES 3.60/1.19
Wenzel_16/abaaaaaa-aaaaaaabaaabab.srs.xml YES 4.15/1.73 MAYBE 1.44/1.35 MAYBE 170.79/43.08 StarExec error YES 28.87/8.65
Wenzel_16/abaaaaaa-aaaaaaaababab.srs.xml StarExec error MAYBE 0.97/0.86 MAYBE 170.94/43.08 StarExec error NO 23.57/6.42
Wenzel_16/abaaaaa-aaaaaabaaaabab.srs.xml YES 3.88/1.74 MAYBE 0.94/0.86 MAYBE 171.27/43.18 StarExec error YES 10.73/3.39
Wenzel_16/aabbaaaabaa-aabaaaabbaaaab.srs.xml StarExec error MAYBE 2.60/2.35 MAYBE 171.64/43.26 StarExec error timeout (wallclock)
Wenzel_16/ababaababa-aababababaabab.srs.xml YES 4.24/1.78 MAYBE 2.00/1.85 MAYBE 173.60/43.76 StarExec error timeout (cpu)
Wenzel_16/abaaaaaaa-aaaaaaaabaaaab.srs.xml YES 4.83/1.88 MAYBE 1.03/0.94 MAYBE 171.03/43.13 StarExec error YES 16.57/4.59
Wenzel_16/abacaabaca-aabacabacaabac.srs.xml YES 4.22/1.73 MAYBE 15.82/15.37 MAYBE 172.37/43.49 StarExec error memout
Wenzel_16/abbbaaaa-aaaaabbbaaabbb.srs.xml YES 4.32/1.79 MAYBE 3.51/2.71 MAYBE 172.44/43.47 StarExec error YES 3.67/1.87
Wenzel_16/aabaaaabaa-aaaabaabaaaab.srs.xml StarExec error MAYBE 2.66/2.52 MAYBE 172.35/43.44 StarExec error timeout (cpu)
Wenzel_16/abcbaabcba-aabcbabcbaabcb.srs.xml YES 3.83/1.65 MAYBE 22.16/20.68 MAYBE 172.64/43.51 StarExec error timeout (cpu)
Wenzel_16/abaababa-aababababaabab.srs.xml YES 3.90/1.73 MAYBE 1.37/1.23 MAYBE 171.59/43.24 StarExec error memout
Wenzel_16/abaaaa-aaaaabaabab.srs.xml YES 4.17/1.74 MAYBE 0.55/0.52 MAYBE 170.80/43.04 StarExec error YES 1.69/0.75
Wenzel_16/bababaa-aaaaaababababa.srs.xml StarExec error MAYBE 0.77/0.59 MAYBE 172.12/43.41 StarExec error NO 5.25/1.86
Wenzel_16/abbcaaaa-aaaaabbcaaabbc.srs.xml YES 3.57/1.64 MAYBE 10.18/8.53 MAYBE 171.66/43.28 StarExec error YES 2.63/0.96
Wenzel_16/caabccaabc-aabccaabcaabcc.srs.xml YES 3.80/1.62 MAYBE 251.91/196.96 MAYBE 172.90/43.61 StarExec error memout
Wenzel_16/abaaaa-aaaaabaababaab.srs.xml YES 3.70/1.70 MAYBE 1.18/1.08 MAYBE 170.74/43.08 StarExec error YES 2.23/0.84
Wenzel_16/abaaabaaaa-aaaaabaaabaaab.srs.xml YES 4.21/1.74 MAYBE 1.67/1.52 MAYBE 171.46/43.26 StarExec error YES 8.75/2.85
Wenzel_16/abaaaaa-aaaaaabaabaaab.srs.xml YES 3.68/1.67 MAYBE 0.80/0.71 MAYBE 170.94/43.09 StarExec error YES 11.27/3.11
Wenzel_16/babaaaaaa-aaaaaaababbab.srs.xml StarExec error MAYBE 10.49/7.61 MAYBE 171.72/43.29 StarExec error NO 3.15/1.06
Wenzel_16/aaabaaaa-aaaaaaabaaab.srs.xml StarExec error MAYBE 1.13/1.07 MAYBE 170.60/43.02 StarExec error YES 6.41/1.93
Wenzel_16/abaaaaabaa-aaabaaabaaaaab.srs.xml YES 3.93/1.69 MAYBE 1.67/1.50 MAYBE 172.94/43.60 StarExec error timeout (cpu)
Wenzel_16/abbbaaaaa-aaaaaabbbabbb.srs.xml YES 3.70/1.64 MAYBE 46.21/33.10 MAYBE 171.44/43.28 StarExec error YES 4.13/1.39
Wenzel_16/bbcaaaaaa-aaaaaabbcbbca.srs.xml StarExec error MAYBE 0.54/0.46 MAYBE 171.72/43.29 StarExec error NO 3.37/1.33
Wenzel_16/aabbaaaa-aaaaaabbaabb.srs.xml StarExec error MAYBE 8.55/8.30 MAYBE 171.84/43.38 StarExec error YES 1.90/0.89
Wenzel_16/aabbaaba-aabaabbaab.srs.xml StarExec error MAYBE 0.95/0.91 MAYBE 172.12/43.56 StarExec error memout
Wenzel_16/abaaaaa-aaaaaabaaaab.srs.xml YES 3.92/1.67 MAYBE 0.56/0.52 MAYBE 170.04/42.85 StarExec error YES 5.64/1.95
Wenzel_16/abacababab-ababababacabac.srs.xml StarExec error MAYBE 0.28/0.26 MAYBE 173.31/43.70 StarExec error YES 4.49/1.65
Wenzel_16/aabaaaaa-aaaaaaabaaab.srs.xml StarExec error MAYBE 43.93/43.87 MAYBE 170.49/42.99 StarExec error YES 12.36/3.42
Wenzel_16/abaaaaaaa-aaaaaaaaababab.srs.xml StarExec error MAYBE 1.52/1.34 MAYBE 170.75/43.11 StarExec error memout
Wenzel_16/aabaaaaa-aaaaaaabaab.srs.xml StarExec error StarExec error MAYBE 170.80/43.05 StarExec error YES 18.10/4.91
Wenzel_16/abaaaa-aaaaabaaabab.srs.xml YES 3.99/1.69 MAYBE 0.79/0.75 MAYBE 170.18/42.88 StarExec error YES 1.76/0.71
Wenzel_16/abaaaaa-aaaaaababaaaab.srs.xml YES 4.28/1.83 MAYBE 0.89/0.79 MAYBE 170.70/43.07 StarExec error YES 2.11/0.94
Wenzel_16/aabaaabaab-abaaabaabaaab.srs.xml StarExec error MAYBE 0.38/0.35 MAYBE 172.55/43.50 StarExec error YES 4.94/1.56
Wenzel_16/abccaaaaa-aaaaaabccaabcc.srs.xml YES 4.08/1.79 MAYBE 44.19/34.08 MAYBE 172.20/43.40 StarExec error YES 2.76/1.18
Wenzel_16/ababaaba-abaababababaab.srs.xml StarExec error MAYBE 1.62/1.53 YES 144.86/36.61 StarExec error YES 4.01/1.28
Wenzel_16/abbaabbaaba-abaabbaabbaab.srs.xml YES 4.44/1.81 MAYBE 2.53/2.08 MAYBE 171.87/43.37 StarExec error memout
Wenzel_16/abbcaaaaa-aaaaaabbcaabbc.srs.xml YES 4.08/1.75 MAYBE 49.69/38.28 MAYBE 171.40/43.19 StarExec error YES 4.92/1.60
Wenzel_16/abababaaab-aaabaaabababab.srs.xml StarExec error MAYBE 0.68/0.57 MAYBE 171.98/43.37 StarExec error YES 3.50/1.35
Wenzel_16/ababaaaa-aaaaababaaabab.srs.xml YES 4.00/1.73 MAYBE 1.54/1.43 MAYBE 172.27/43.42 StarExec error YES 5.95/1.80
Wenzel_16/aabaaaaaa-aaaaaaaabaaaab.srs.xml StarExec error MAYBE 209.84/209.72 MAYBE 171.90/43.32 StarExec error YES 13.86/3.85
Wenzel_16/abaababa-aabababababaab.srs.xml YES 3.86/1.77 MAYBE 1.18/1.05 MAYBE 171.52/43.23 StarExec error memout
Wenzel_16/babbabbaba-ababbabbabba.srs.xml YES 210.57/54.15 MAYBE 0.64/0.60 MAYBE 171.33/43.17 StarExec error YES 2.36/1.02
Wenzel_16/ababbababab-abbababababba.srs.xml StarExec error MAYBE 0.65/0.58 MAYBE 171.56/43.24 StarExec error timeout (cpu)
Wenzel_16/bababaaab-aabaaabababab.srs.xml YES 3.63/1.65 MAYBE 1.82/1.68 MAYBE 171.37/43.19 StarExec error YES 1.96/0.93
Wenzel_16/baababaaab-ababaaababaab.srs.xml YES 3.87/1.67 MAYBE 1.99/1.77 MAYBE 171.64/43.26 StarExec error memout
Wenzel_16/bacaaaaaaa-aaaaaaabacbaca.srs.xml StarExec error MAYBE 49.39/37.44 MAYBE 172.39/43.47 StarExec error NO 56.24/14.47
Wenzel_16/aaabaaaaaa-aaaaaaaaabaaab.srs.xml StarExec error MAYBE 5.60/5.52 MAYBE 171.82/43.32 StarExec error YES 687.77/177.25
Wenzel_16/abcbaaaaa-aaaaaabcbaabcb.srs.xml YES 3.91/1.90 MAYBE 30.29/23.95 MAYBE 172.01/43.43 StarExec error YES 3.27/1.28
Wenzel_16/abaaaa-aaaaababaabaab.srs.xml YES 3.98/1.69 MAYBE 0.95/0.85 MAYBE 170.86/43.10 StarExec error YES 1.97/0.79
Wenzel_16/abaaba-aabababaab.srs.xml YES 3.96/1.69 MAYBE 0.49/0.46 MAYBE 171.68/43.27 StarExec error YES 137.22/37.46
Wenzel_16/abaababaaab-aababaaababaab.srs.xml StarExec error MAYBE 0.92/0.84 MAYBE 174.53/44.01 StarExec error memout
Wenzel_16/ababaabababa-aabababaababab.srs.xml YES 4.14/1.82 MAYBE 2.42/2.23 MAYBE 172.31/43.43 StarExec error timeout (cpu)
Wenzel_16/abacaaaa-aaaaabacaaabac.srs.xml YES 3.79/1.69 MAYBE 4.98/4.83 MAYBE 171.08/43.10 StarExec error YES 2.52/1.28
Wenzel_16/abaaaabaa-aaabaabaaaab.srs.xml YES 3.82/1.73 MAYBE 1.54/1.44 MAYBE 172.31/43.42 StarExec error timeout (cpu)
Wenzel_16/abaaaaa-aaaaaababab.srs.xml YES 4.03/1.72 MAYBE 0.73/0.67 MAYBE 171.92/43.33 StarExec error YES 4.91/1.55
Wenzel_16/abaaaaa-aaaaaabababab.srs.xml YES 3.92/1.68 MAYBE 1.04/0.97 MAYBE 171.47/43.23 StarExec error YES 15.22/4.20
Wenzel_16/bababababaa-aababababababa.srs.xml StarExec error MAYBE 0.44/0.35 MAYBE 171.72/43.30 StarExec error memout
Wenzel_16/abaaaaaaa-aaaaaaaabaab.srs.xml YES 4.20/1.76 MAYBE 0.90/0.83 MAYBE 170.69/43.04 StarExec error YES 27.00/7.17
Wenzel_16/bacaaaaaa-aaaaaaabacbac.srs.xml StarExec error MAYBE 28.59/20.57 MAYBE 172.90/43.59 StarExec error NO 3.69/1.19
Wenzel_16/bacaaaaaa-aaaaaabacbaca.srs.xml StarExec error MAYBE 22.78/17.18 MAYBE 171.61/43.26 StarExec error NO 3.48/1.36
Wenzel_16/abbcaaaa-aaaaabbcaabbc.srs.xml YES 3.81/1.68 MAYBE 12.55/10.06 MAYBE 172.20/43.42 StarExec error YES 2.45/0.88
Wenzel_16/abaabaaaaa-aaaaaabaabaab.srs.xml YES 3.92/1.69 StarExec error MAYBE 171.59/43.25 StarExec error YES 5.51/1.68
Wenzel_16/abaaaaa-aaaaaaabababab.srs.xml StarExec error MAYBE 1.26/1.15 MAYBE 171.04/43.10 StarExec error NO 7.61/2.46
Wenzel_16/abababaaaaa-aaaaaabababab.srs.xml YES 4.39/1.82 MAYBE 2.75/2.20 MAYBE 170.96/43.10 StarExec error YES 11.21/3.13
Wenzel_16/bbcaaaaaaa-aaaaaaaabbcbbc.srs.xml StarExec error MAYBE 0.63/0.57 MAYBE 171.59/43.24 StarExec error NO 57.05/15.59
Wenzel_16/ababaabababa-abaababababaab.srs.xml StarExec error MAYBE 1.92/1.73 MAYBE 172.28/43.42 StarExec error timeout (cpu)
Wenzel_16/ababaaaaa-aaaaaababab.srs.xml YES 4.05/1.68 MAYBE 1.45/1.26 MAYBE 172.65/43.52 StarExec error YES 2.46/0.89
Wenzel_16/aabaababaab-aababaabaababa.srs.xml StarExec error MAYBE 0.27/0.24 MAYBE 173.00/43.65 StarExec error YES 33.35/8.80
Wenzel_16/abaaaaaa-aaaaaaababaaab.srs.xml YES 3.93/1.73 MAYBE 1.09/0.98 MAYBE 171.41/43.19 StarExec error YES 28.34/8.46
Wenzel_16/ababbabab-abbabababba.srs.xml StarExec error MAYBE 0.38/0.35 MAYBE 172.23/43.40 StarExec error memout
Wenzel_16/abccaaaa-aaaaabccaaabcc.srs.xml YES 4.08/1.73 MAYBE 11.58/10.08 MAYBE 171.44/43.19 StarExec error YES 1.62/0.69
Wenzel_16/abaaaaaaaaa-aaaaaaaaaaabab.srs.xml StarExec error MAYBE 1.82/1.61 MAYBE 170.39/43.03 StarExec error timeout (cpu)
Wenzel_16/babababaa-aaaabababababa.srs.xml StarExec error MAYBE 0.94/0.71 MAYBE 171.37/43.19 StarExec error memout
Wenzel_16/ababaababa-abaabababaab.srs.xml StarExec error MAYBE 1.35/1.29 MAYBE 173.03/43.62 StarExec error timeout (cpu)
Wenzel_16/baabbaab-aabbaabaabb.srs.xml YES 3.62/1.59 MAYBE 1.46/1.29 MAYBE 172.06/43.36 StarExec error timeout (cpu)
Wenzel_16/aabaaaa-aaaaaabaab.srs.xml StarExec error MAYBE 7.06/7.02 MAYBE 170.43/42.95 StarExec error YES 2.31/0.86
Wenzel_16/ababaabaaba-abaabaabaabab.srs.xml StarExec error MAYBE 1.46/1.36 MAYBE 172.75/43.55 StarExec error YES 11.70/3.35
Wenzel_16/aabababab-ababababaaaaab.srs.xml StarExec error MAYBE 0.84/0.68 MAYBE 171.73/43.30 StarExec error NO 6.17/1.87
Wenzel_16/abbaaba-abaabbaab.srs.xml YES 4.17/1.69 MAYBE 0.61/0.58 MAYBE 171.59/43.28 StarExec error memout
Wenzel_16/abbaaaa-aaaaabbabbaabb.srs.xml YES 3.88/1.67 MAYBE 2.03/1.71 MAYBE 171.53/43.23 StarExec error YES 2.00/0.91
Wenzel_16/ababaaaaa-aaaaaababaabab.srs.xml YES 4.57/2.43 MAYBE 2.13/1.93 MAYBE 172.80/43.55 StarExec error YES 2.05/0.82
Wenzel_16/abcbaaaa-aaaaabcbaaabcb.srs.xml YES 3.97/1.67 MAYBE 10.13/9.13 MAYBE 173.44/43.72 StarExec error YES 3.01/1.04
Wenzel_16/aabbaaaaa-aaaaaaabbaaabb.srs.xml StarExec error MAYBE 48.78/48.26 MAYBE 171.27/43.15 StarExec error YES 11.95/3.68
Wenzel_16/bababaa-aaaababababa.srs.xml StarExec error MAYBE 0.41/0.33 MAYBE 171.53/43.23 StarExec error NO 0.67/0.43
Wenzel_16/aabaababaab-aababaababaaba.srs.xml StarExec error MAYBE 0.27/0.24 MAYBE 170.11/42.89 StarExec error YES 612.86/158.95
Wenzel_16/ababaaaa-aaaaababaabab.srs.xml YES 4.43/1.84 MAYBE 1.87/1.76 MAYBE 173.68/43.78 StarExec error YES 2.64/0.95
Wenzel_16/abaaaa-aaaaabaabaab.srs.xml YES 3.91/1.70 MAYBE 0.53/0.49 MAYBE 170.24/42.98 StarExec error YES 2.77/0.96
Wenzel_16/abaaaaaaaa-aaaaaaaaaabab.srs.xml StarExec error MAYBE 1.38/1.24 MAYBE 171.04/43.10 StarExec error NO 52.52/13.63
Wenzel_16/abaaaaabaa-aaaaababaaaaab.srs.xml YES 4.04/1.72 MAYBE 2.62/2.33 MAYBE 171.71/43.28 StarExec error memout
Wenzel_16/cabababa-ababababccccca.srs.xml StarExec error MAYBE 24.44/19.35 MAYBE 172.47/43.48 StarExec error NO 45.73/11.91
Wenzel_16/abbaababab-ababababbaabba.srs.xml StarExec error MAYBE 1.11/0.97 MAYBE 172.55/43.49 StarExec error YES 2.38/1.03
Wenzel_16/babaaaaaaa-aaaaaaababbaba.srs.xml StarExec error MAYBE 20.73/14.65 MAYBE 171.76/43.30 StarExec error NO 65.61/18.83
Wenzel_16/aababaaaa-aaaaaababaabab.srs.xml StarExec error MAYBE 10.95/10.78 MAYBE 172.47/43.47 StarExec error YES 3.17/1.07
Wenzel_16/abaaaaaaa-aaaaaaaababaab.srs.xml YES 4.12/2.72 MAYBE 1.42/1.26 MAYBE 170.44/42.99 StarExec error YES 29.94/7.90
Wenzel_16/abaabaaaa-aaaaabaababaab.srs.xml YES 4.08/1.70 MAYBE 2.45/2.30 MAYBE 171.28/43.28 StarExec error YES 2.96/1.02
Wenzel_16/babababaa-aaabababababa.srs.xml StarExec error MAYBE 0.57/0.45 MAYBE 171.75/43.29 StarExec error memout
Wenzel_16/babbaabba-abbaabbabba.srs.xml StarExec error MAYBE 1.08/0.97 MAYBE 171.61/43.27 StarExec error timeout (cpu)
Wenzel_16/aabaaaaa-aaaaaaabaabaab.srs.xml StarExec error MAYBE 54.80/54.69 MAYBE 170.84/43.06 StarExec error YES 97.02/24.73
Wenzel_16/aabaaaaa-aaaaaaabaaaab.srs.xml StarExec error MAYBE 54.10/54.02 MAYBE 171.07/43.14 StarExec error YES 6.84/2.02
Wenzel_16/baabaabbaab-aabbaabaabaabb.srs.xml YES 4.04/1.71 MAYBE 5.84/4.75 MAYBE 172.64/43.55 StarExec error timeout (cpu)
Wenzel_16/abacaaaa-aaaaabacaabac.srs.xml YES 4.40/1.83 MAYBE 4.43/4.28 MAYBE 171.28/43.20 StarExec error YES 1.76/0.71
Wenzel_16/aabbaabbaaba-aabaabbaabbaab.srs.xml StarExec error MAYBE 3.78/3.27 MAYBE 172.09/43.66 StarExec error memout
Wenzel_16/aabbbaaaa-aaaaaabbbaabbb.srs.xml StarExec error MAYBE 14.80/12.91 MAYBE 171.99/43.34 StarExec error YES 3.36/1.13
Wenzel_16/aabacaaa-aaaaabacaabac.srs.xml YES 693.42/175.43 MAYBE 6.88/6.75 YES 138.16/34.90 StarExec error YES 1.83/0.75
Wenzel_16/abbbaaaa-aaaaabbbaabbb.srs.xml YES 3.98/1.76 MAYBE 4.14/3.06 MAYBE 169.31/42.67 StarExec error YES 2.23/0.85
Wenzel_16/ababbbabbab-abbabbbababbba.srs.xml StarExec error MAYBE 0.68/0.62 MAYBE 172.00/43.34 StarExec error memout
Wenzel_16/abaaaaaaa-aaaaaaaabab.srs.xml YES 4.44/1.83 MAYBE 0.78/0.70 MAYBE 171.74/43.30 StarExec error YES 7.95/2.31
Wenzel_16/baababaab-ababaabaabab.srs.xml YES 3.87/1.63 MAYBE 1.37/1.27 MAYBE 173.84/43.82 StarExec error memout
Wenzel_16/abaabababa-aababababaab.srs.xml YES 3.73/1.60 MAYBE 1.53/1.42 MAYBE 171.23/43.21 StarExec error timeout (cpu)
Wenzel_16/bcbaaaaaa-aaaaaabcbbcba.srs.xml StarExec error MAYBE 15.97/11.70 MAYBE 172.48/43.47 StarExec error NO 2.20/0.83
Wenzel_16/abaaaa-aaaaabaaabaab.srs.xml YES 4.04/1.69 MAYBE 0.54/0.48 MAYBE 170.60/43.02 StarExec error YES 2.90/1.16
Wenzel_16/abbcacabca-abcacabbcacab.srs.xml YES 3.93/1.74 MAYBE 12.08/10.30 MAYBE 172.02/43.37 YES 0.05/0.05 memout
Wenzel_16/aabaaaaaaa-aaaaaaaaabaab.srs.xml StarExec error StarExec error MAYBE 170.75/43.04 StarExec error memout
Wenzel_16/bccaaaaaa-aaaaaaabccbcc.srs.xml StarExec error MAYBE 29.42/21.11 MAYBE 171.70/43.28 StarExec error NO 3.85/1.52
Wenzel_16/abaaaaa-aaaaaababaabab.srs.xml YES 3.75/1.66 MAYBE 1.26/1.16 MAYBE 169.46/42.73 StarExec error YES 3.24/1.29
Wenzel_16/abaaaaa-aaaaaabaaabab.srs.xml YES 3.56/1.56 MAYBE 0.70/0.64 MAYBE 171.57/43.27 StarExec error YES 3.58/1.35
Wenzel_16/abbaaaa-aaaaabbaabbabb.srs.xml YES 4.53/1.79 MAYBE 1.92/1.72 MAYBE 171.43/43.20 StarExec error YES 1.50/0.65
Wenzel_16/abababbabab-ababbabababba.srs.xml StarExec error MAYBE 0.51/0.49 MAYBE 171.05/43.10 StarExec error YES 38.29/10.02
Wenzel_16/aabaaaaaaaa-aaaaaaaaaabaab.srs.xml StarExec error StarExec error MAYBE 172.23/43.41 StarExec error timeout (cpu)
Wenzel_16/aabaaaa-aaaaaabaabaab.srs.xml StarExec error MAYBE 11.89/11.82 YES 149.40/37.74 StarExec error YES 7.22/2.12
Wenzel_16/aabaaaa-aaaaaabaaabaab.srs.xml StarExec error MAYBE 13.79/13.68 MAYBE 171.82/43.31 StarExec error YES 6.76/2.03
Wenzel_16/bccaaaaaa-aaaaaabccbcca.srs.xml StarExec error MAYBE 22.65/17.22 MAYBE 171.99/43.41 StarExec error NO 2.49/0.91
Wenzel_16/abaaaaa-aaaaaabaaabaab.srs.xml YES 3.76/1.71 MAYBE 1.00/0.91 MAYBE 170.78/43.04 StarExec error YES 4.31/1.36
Wenzel_16/cababababa-abababababccca.srs.xml StarExec error MAYBE 11.95/9.87 MAYBE 171.92/43.32 StarExec error NO 27.84/8.37
Wenzel_16/babbabbababa-abababbabbabba.srs.xml StarExec error MAYBE 1.09/1.01 MAYBE 200.43/50.46 StarExec error YES 24.11/6.40
Wenzel_16/abaaaaa-aaaaaababaaab.srs.xml YES 4.32/1.73 MAYBE 0.78/0.71 MAYBE 171.25/43.17 StarExec error YES 11.83/3.37
Wenzel_16/aabaaaaaa-aaaaaaaabaaab.srs.xml StarExec error MAYBE 172.65/172.56 MAYBE 171.17/43.14 StarExec error YES 1.98/0.77
Wenzel_16/bababbababa-abababbababba.srs.xml YES 129.02/35.11 MAYBE 1.01/0.95 MAYBE 171.43/43.21 StarExec error YES 3.47/1.16
Wenzel_16/abaaaaaaa-aaaaaaaabaaab.srs.xml YES 3.55/1.59 MAYBE 1.15/1.07 MAYBE 170.79/43.06 StarExec error YES 98.47/25.11
Wenzel_16/abaabababa-aabababababaab.srs.xml YES 4.24/1.75 MAYBE 1.74/1.57 MAYBE 172.87/43.60 StarExec error timeout (cpu)
Wenzel_16/bcbaaaaaa-aaaaaaabcbbcb.srs.xml StarExec error MAYBE 17.17/12.47 MAYBE 173.15/43.69 StarExec error NO 4.36/1.61
Wenzel_16/aabbababa-abababaabbaab.srs.xml YES 3.83/2.03 MAYBE 1.54/1.45 StarExec error StarExec error YES 1.15/0.56
Wenzel_16/abbabbaaaaa-aaaaaabbabbabb.srs.xml YES 4.05/1.91 MAYBE 44.04/31.94 MAYBE 171.78/43.30 StarExec error YES 5.48/1.69
Wenzel_16/abbaaaaa-aaaaaabbaaaabb.srs.xml YES 3.68/1.65 MAYBE 1.60/1.35 MAYBE 171.97/43.35 StarExec error YES 2.89/1.21
Wenzel_16/abababaababa-ababaababaabab.srs.xml StarExec error MAYBE 1.54/1.41 MAYBE 172.65/43.55 StarExec error timeout (cpu)
Wenzel_16/abaaaaaaa-aaaaaaaabaabab.srs.xml YES 3.74/1.63 MAYBE 1.44/1.29 MAYBE 170.58/42.99 StarExec error YES 131.50/34.56
Wenzel_16/aabaabaaaaa-aaaaaaabaabaab.srs.xml StarExec error MAYBE 97.69/97.37 MAYBE 171.86/43.32 StarExec error timeout (cpu)
Wenzel_16/abaababa-aabababaab.srs.xml YES 3.73/1.71 MAYBE 0.63/0.58 MAYBE 171.89/43.32 StarExec error timeout (cpu)
Wenzel_16/baabbaaaabb-aabbaaaabbaabb.srs.xml StarExec error MAYBE 22.00/16.31 MAYBE 172.14/43.52 StarExec error memout
Wenzel_16/abaaaa-aaaaabaaabaaab.srs.xml YES 3.91/1.77 MAYBE 0.93/0.85 MAYBE 171.24/43.30 StarExec error YES 3.83/1.24
Wenzel_16/abccaaaa-aaaaabccaabcc.srs.xml YES 3.87/1.74 StarExec error MAYBE 172.04/43.35 StarExec error YES 2.46/0.88
Wenzel_16/abbcaabbca-aabbcabbcaabbc.srs.xml YES 3.89/1.77 MAYBE 30.13/24.65 MAYBE 172.87/43.57 StarExec error memout
Wenzel_16/bababaaaba-aabaaababababa.srs.xml StarExec error MAYBE 0.68/0.57 MAYBE 171.77/43.28 StarExec error YES 15.80/4.35
Wenzel_16/abaababaab-ababaabaababa.srs.xml StarExec error MAYBE 0.44/0.41 MAYBE 171.78/43.31 StarExec error memout
Wenzel_16/bcbaaaaaaa-aaaaaaaabcbbcb.srs.xml StarExec error MAYBE 41.90/30.89 MAYBE 172.21/43.41 StarExec error NO 53.65/13.92
Wenzel_16/baaabbaaab-aaabbaaabaaabb.srs.xml YES 3.53/1.57 MAYBE 6.35/4.87 MAYBE 173.46/43.79 StarExec error timeout (wallclock)
Wenzel_16/abaababababa-aabababababaab.srs.xml YES 3.92/1.67 MAYBE 2.95/2.68 MAYBE 172.41/43.46 StarExec error timeout (cpu)
Wenzel_16/abaaaa-aaaaabaababab.srs.xml YES 3.67/1.62 MAYBE 0.74/0.68 MAYBE 170.04/42.96 StarExec error YES 5.24/1.61
Wenzel_16/abaaaaaa-aaaaaaabaaab.srs.xml YES 4.65/1.87 MAYBE 0.59/0.54 MAYBE 171.41/43.24 StarExec error YES 19.14/5.78
Wenzel_16/abaaaa-aaaaababaabab.srs.xml YES 3.54/1.63 MAYBE 0.80/0.74 MAYBE 170.78/43.04 StarExec error YES 2.16/0.82
Wenzel_16/aabbaabababa-aabababaabbaab.srs.xml YES 4.43/1.78 MAYBE 2.47/2.27 YES 149.75/37.81 StarExec error YES 4.88/1.74
Wenzel_16/abbaaaaa-aaaaaabbabbabb.srs.xml YES 3.90/1.70 MAYBE 5.31/4.04 MAYBE 171.68/43.28 StarExec error YES 11.91/3.35
Wenzel_16/abbaaaabaa-abaaaabbaaaab.srs.xml YES 3.77/1.64 MAYBE 1.55/1.34 MAYBE 171.73/43.27 StarExec error timeout (cpu)
Wenzel_16/baabbaaba-aabbaabaabba.srs.xml StarExec error MAYBE 1.85/1.71 MAYBE 171.63/43.31 StarExec error YES 3.75/1.43
Wenzel_16/abababaababa-aababaabababab.srs.xml YES 4.26/1.77 MAYBE 2.23/2.05 MAYBE 171.79/43.30 StarExec error YES 9.31/2.65
Wenzel_16/ababaaaaa-aaaaaabababab.srs.xml YES 3.96/1.82 MAYBE 1.82/1.57 StarExec error StarExec error YES 5.84/2.15
Wenzel_16/abcabbcab-abbcabcabbca.srs.xml StarExec error MAYBE 3.19/3.09 MAYBE 171.93/43.33 StarExec error YES 4.46/1.42
Wenzel_16/aabaaaaaaa-aaaaaaaaabaaab.srs.xml StarExec error StarExec error MAYBE 171.49/43.25 StarExec error YES 161.92/40.97
Wenzel_16/abacaaaaa-aaaaaabacabac.srs.xml YES 4.12/1.72 MAYBE 6.53/6.04 MAYBE 171.96/43.34 StarExec error YES 22.64/6.09
Wenzel_16/abaaaaaaaa-aaaaaaaaabaaab.srs.xml YES 4.07/1.77 StarExec error MAYBE 172.03/43.38 StarExec error timeout (cpu)
Wenzel_16/bccaaaaaaa-aaaaaaaabccbcc.srs.xml StarExec error MAYBE 61.68/43.94 MAYBE 171.27/43.16 StarExec error NO 53.26/13.81
Wenzel_16/aabaaabaaba-aaabaabaabaaab.srs.xml YES 4.22/1.77 MAYBE 2.80/2.55 MAYBE 173.02/43.60 StarExec error timeout (cpu)
Wenzel_16/aabbaaaa-aaaaaabbaaabb.srs.xml StarExec error MAYBE 10.58/10.37 MAYBE 172.23/43.43 StarExec error YES 2.33/1.04
Wenzel_16/aaabaaaaa-aaaaaaaabaaab.srs.xml StarExec error MAYBE 3.22/3.14 MAYBE 170.85/43.07 StarExec error YES 11.67/3.71
Wenzel_16/bccaaaaaaa-aaaaaaabccbcca.srs.xml StarExec error MAYBE 50.59/38.38 MAYBE 173.67/43.82 StarExec error NO 63.12/18.44
Wenzel_16/abaaaa-aaaaabaabaabab.srs.xml YES 4.29/1.77 MAYBE 1.07/0.98 MAYBE 171.76/43.29 StarExec error YES 9.85/2.81
Wenzel_16/abbaaaaa-aaaaaabbaaabb.srs.xml YES 4.13/1.76 MAYBE 1.52/1.26 MAYBE 171.43/43.21 StarExec error YES 4.93/1.77
Wenzel_16/abbcaaaaa-aaaaaabbcabbc.srs.xml YES 4.13/1.77 MAYBE 117.39/87.46 MAYBE 171.53/43.23 StarExec error YES 3.57/1.35
Wenzel_16/aabbaaaaa-aaaaaaabbaabb.srs.xml StarExec error MAYBE 43.14/42.33 StarExec error StarExec error YES 25.52/7.63
Wenzel_16/babaaaaaa-aaaaaababbaba.srs.xml StarExec error MAYBE 8.49/6.05 MAYBE 170.61/43.04 StarExec error NO 3.24/1.29
Wenzel_16/abaababaab-aababaabaabab.srs.xml StarExec error MAYBE 0.43/0.41 MAYBE 171.82/43.30 StarExec error timeout (cpu)
Wenzel_16/acbabacba-abacbacbabac.srs.xml YES 3.41/1.58 MAYBE 8.81/7.85 MAYBE 173.19/43.64 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-108.xml YES 10.75/3.61 MAYBE 0.15/0.12 YES 89.82/22.80 MAYBE 4.76/4.88 memout
Waldmann_07_size12/size-12-alpha-3-num-507.xml YES 27.27/7.61 MAYBE 0.16/0.13 YES 88.89/22.57 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-279.xml YES 24.43/6.93 MAYBE 0.13/0.11 YES 43.37/11.29 StarExec error YES 2.76/0.97
Waldmann_07_size12/size-12-alpha-3-num-85.xml YES 35.32/11.25 MAYBE 0.12/0.10 YES 140.94/35.61 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-202.xml YES 25.84/7.60 MAYBE 0.13/0.10 YES 96.41/24.46 StarExec error YES 1.46/0.76
Waldmann_07_size12/size-12-alpha-3-num-487.xml YES 51.77/13.79 MAYBE 0.11/0.10 YES 110.70/28.04 MAYBE 19.20/20.61 memout
Waldmann_07_size12/size-12-alpha-3-num-199.xml StarExec error MAYBE 0.12/0.10 MAYBE 170.19/42.90 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-200.xml YES 24.05/7.08 MAYBE 0.10/0.09 YES 88.01/22.34 StarExec error YES 3.01/1.03
Waldmann_07_size12/size-12-alpha-3-num-32.xml StarExec error MAYBE 0.25/0.20 MAYBE 170.67/43.02 MAYBE 5.92/6.08 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-461.xml YES 40.03/11.19 MAYBE 0.16/0.14 YES 107.76/27.31 MAYBE 3.87/3.96 memout
Waldmann_07_size12/size-12-alpha-3-num-101.xml NO 6.76/2.38 MAYBE 0.12/0.10 MAYBE 169.38/42.69 StarExec error NO 1.38/0.72
Waldmann_07_size12/size-12-alpha-3-num-113.xml YES 25.85/7.30 MAYBE 0.16/0.13 YES 94.47/23.97 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-255.xml YES 46.40/12.56 MAYBE 0.11/0.09 YES 111.27/28.17 MAYBE 7.12/7.24 timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-170.xml NO 47.91/12.84 MAYBE 0.09/0.08 MAYBE 169.38/42.75 StarExec error NO 4.09/1.49
Waldmann_07_size12/size-12-alpha-3-num-160.xml NO 4.43/1.78 MAYBE 0.11/0.09 NO 3.07/1.09 StarExec error NO 0.58/0.40
Waldmann_07_size12/size-12-alpha-3-num-399.xml YES 13.52/4.39 MAYBE 0.20/0.18 YES 113.40/28.71 StarExec error memout
Waldmann_07_size12/size-12-alpha-2-num-1.xml YES 23.16/6.70 MAYBE 0.11/0.11 YES 97.59/24.76 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-503.xml YES 27.48/7.81 MAYBE 0.26/0.23 YES 159.04/40.10 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-395.xml YES 22.06/8.92 MAYBE 0.15/0.13 YES 97.63/24.75 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-566.xml NO 691.50/173.74 MAYBE 0.10/0.10 MAYBE 169.25/42.85 MAYBE 9.49/9.90 NO 0.71/0.44
Waldmann_07_size12/size-12-alpha-3-num-59.xml YES 21.14/6.18 MAYBE 0.13/0.12 YES 46.88/15.26 StarExec error YES 8.57/2.47
Waldmann_07_size12/size-12-alpha-3-num-485.xml YES 27.37/7.66 MAYBE 0.12/0.10 YES 105.35/26.69 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-389.xml YES 13.07/4.22 MAYBE 0.17/0.15 YES 99.60/25.25 StarExec error memout
Waldmann_07_size12/size-12-alpha-2-num-12.xml StarExec error StarExec error MAYBE 171.19/43.23 StarExec error NO 0.72/0.52
Waldmann_07_size12/size-12-alpha-3-num-560.xml YES 27.82/8.15 MAYBE 0.11/0.09 YES 86.84/22.09 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-194.xml YES 13.64/4.44 MAYBE 0.11/0.09 YES 88.08/22.38 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-198.xml YES 22.76/6.48 MAYBE 0.12/0.13 YES 109.12/27.63 StarExec error memout
Waldmann_07_size12/size-12-alpha-2-num-6.xml YES 24.03/6.87 MAYBE 0.15/0.13 MAYBE 171.43/43.20 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-131.xml YES 23.76/6.83 MAYBE 0.10/0.09 YES 91.74/23.28 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-257.xml NO 4.67/1.93 MAYBE 0.13/0.11 NO 27.31/7.13 StarExec error NO 0.62/0.41
Waldmann_07_size12/size-12-alpha-3-num-207.xml NO 15.63/4.96 MAYBE 0.09/0.08 MAYBE 169.18/42.65 StarExec error NO 1.04/0.54
Waldmann_07_size12/size-12-alpha-3-num-11.xml NO 29.17/8.27 MAYBE 0.13/0.12 MAYBE 170.09/42.89 StarExec error NO 1.29/0.59
Waldmann_07_size12/size-12-alpha-3-num-430.xml StarExec error MAYBE 0.16/0.13 MAYBE 170.85/43.09 MAYBE 1.49/1.58 NO 46.67/13.53
Waldmann_07_size12/size-12-alpha-3-num-201.xml YES 19.30/5.97 MAYBE 0.10/0.09 YES 94.97/24.09 MAYBE 4.50/4.80 YES 1.80/0.87
Waldmann_07_size12/size-12-alpha-3-num-480.xml YES 27.05/7.65 MAYBE 0.11/0.10 YES 97.70/24.78 MAYBE 4.69/4.82 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-64.xml YES 8.54/2.93 MAYBE 0.10/0.09 YES 108.01/27.36 YES 0.01/0.01 YES 5.37/1.67
Waldmann_07_size12/size-12-alpha-3-num-263.xml YES 26.59/7.51 MAYBE 0.13/0.11 YES 133.49/33.77 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-367.xml YES 39.60/10.80 MAYBE 0.15/0.13 StarExec error StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-369.xml NO 69.62/18.29 MAYBE 0.17/0.15 MAYBE 170.94/43.09 StarExec error NO 1.14/0.55
Waldmann_07_size12/size-12-alpha-3-num-478.xml YES 11.12/3.75 MAYBE 0.14/0.12 YES 158.78/40.10 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-48.xml YES 25.59/7.27 MAYBE 0.16/0.13 YES 119.51/30.23 MAYBE 2.55/2.59 memout
Waldmann_07_size12/size-12-alpha-3-num-241.xml NO 11.99/4.05 MAYBE 0.09/0.08 MAYBE 168.76/42.54 StarExec error NO 1.11/0.64
Waldmann_07_size12/size-12-alpha-3-num-448.xml YES 20.73/5.99 MAYBE 0.12/0.10 YES 90.66/23.02 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-217.xml NO 5.04/1.93 MAYBE 0.15/0.12 NO 15.97/4.29 StarExec error NO 0.64/0.41
Waldmann_07_size12/size-12-alpha-3-num-495.xml YES 26.98/7.60 MAYBE 0.13/0.11 YES 129.95/32.95 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-291.xml StarExec error MAYBE 0.16/0.13 MAYBE 169.99/42.84 StarExec error NO 67.16/18.10
Waldmann_07_size12/size-12-alpha-3-num-476.xml YES 20.19/5.87 MAYBE 0.13/0.11 YES 104.74/26.54 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-375.xml YES 25.47/7.24 MAYBE 0.13/0.11 YES 95.43/24.15 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-479.xml YES 17.89/5.57 MAYBE 0.11/0.10 YES 108.51/27.52 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-551.xml YES 23.52/6.85 MAYBE 0.14/0.13 YES 85.61/21.75 YES 0.15/0.17 memout
Waldmann_07_size12/size-12-alpha-3-num-536.xml YES 24.42/6.92 MAYBE 0.17/0.15 YES 89.57/22.74 StarExec error YES 11.95/3.31
Waldmann_07_size12/size-12-alpha-3-num-271.xml YES 10.92/3.57 MAYBE 0.13/0.11 YES 104.42/26.46 StarExec error YES 3.23/1.09
Waldmann_07_size12/size-12-alpha-3-num-564.xml NO 85.51/22.18 MAYBE 0.14/0.11 MAYBE 170.11/42.88 StarExec error NO 2.47/0.89
Waldmann_07_size12/size-12-alpha-3-num-249.xml NO 24.12/6.90 MAYBE 0.11/0.10 MAYBE 170.13/42.89 StarExec error NO 1.05/0.53
Waldmann_07_size12/size-12-alpha-3-num-434.xml StarExec error MAYBE 0.14/0.12 MAYBE 170.07/42.86 MAYBE 1.63/1.79 memout
Waldmann_07_size12/size-12-alpha-3-num-83.xml NO 371.70/94.09 MAYBE 0.11/0.09 MAYBE 169.34/42.69 MAYBE 5.48/6.11 NO 2.63/0.96
Waldmann_07_size12/size-12-alpha-3-num-335.xml YES 26.06/7.46 MAYBE 0.12/0.11 YES 100.64/25.52 MAYBE 5.65/5.86 memout
Waldmann_07_size12/size-12-alpha-3-num-30.xml YES 14.14/6.62 MAYBE 0.09/0.08 YES 89.38/22.71 StarExec error YES 2.61/0.94
Waldmann_07_size12/size-12-alpha-3-num-120.xml StarExec error MAYBE 0.11/0.09 MAYBE 170.83/43.06 MAYBE 1.40/1.47 NO 1.89/0.75
Waldmann_07_size12/size-12-alpha-3-num-565.xml YES 36.87/10.03 MAYBE 0.11/0.09 YES 89.64/22.76 MAYBE 9.09/9.49 memout
Waldmann_07_size12/size-12-alpha-3-num-67.xml YES 13.06/4.23 MAYBE 0.10/0.09 YES 96.39/24.46 timeout (wallclock) timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-511.xml NO 46.63/12.58 MAYBE 0.15/0.13 MAYBE 170.29/42.98 MAYBE 101.20/101.54 NO 2.12/0.95
Waldmann_07_size12/size-12-alpha-3-num-19.xml YES 25.37/7.20 MAYBE 0.16/0.13 YES 88.14/22.40 MAYBE 6.38/6.68 memout
Waldmann_07_size12/size-12-alpha-3-num-104.xml YES 19.75/5.80 MAYBE 0.13/0.11 YES 101.32/25.69 StarExec error memout
Waldmann_07_size12/size-12-alpha-2-num-10.xml StarExec error MAYBE 0.19/0.17 MAYBE 170.39/42.95 StarExec error NO 0.52/0.37
Waldmann_07_size12/size-12-alpha-3-num-416.xml YES 28.02/7.87 MAYBE 0.16/0.14 YES 107.32/27.18 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-468.xml YES 25.33/7.18 MAYBE 0.15/0.12 YES 95.70/24.29 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-71.xml YES 36.48/9.95 MAYBE 0.11/0.10 YES 91.05/23.10 StarExec error YES 1.60/0.80
Waldmann_07_size12/size-12-alpha-3-num-4.xml YES 14.48/4.64 MAYBE 0.12/0.10 YES 88.78/22.54 YES 1.10/1.19 timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-233.xml NO 74.29/19.79 MAYBE 0.14/0.12 MAYBE 170.64/43.02 MAYBE 9.46/9.76 NO 0.70/0.54
Waldmann_07_size12/size-12-alpha-3-num-374.xml StarExec error MAYBE 0.15/0.13 MAYBE 171.00/43.10 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-376.xml YES 14.77/4.44 MAYBE 0.12/0.11 YES 93.85/23.83 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-231.xml StarExec error MAYBE 0.12/0.10 MAYBE 170.93/43.16 StarExec error NO 3.46/1.33
Waldmann_07_size12/size-12-alpha-2-num-16.xml YES 26.93/7.82 MAYBE 0.16/0.13 YES 90.99/23.10 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-191.xml YES 15.19/4.57 MAYBE 0.09/0.08 YES 91.55/23.23 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-499.xml YES 22.40/6.48 MAYBE 0.14/0.12 YES 111.82/28.31 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-460.xml YES 39.74/10.76 MAYBE 0.23/0.19 YES 101.63/25.77 MAYBE 7.33/7.52 memout
Waldmann_07_size12/size-12-alpha-3-num-210.xml StarExec error MAYBE 0.09/0.08 MAYBE 169.19/42.66 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-190.xml YES 12.00/4.04 MAYBE 0.09/0.08 YES 92.67/23.56 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-2-num-8.xml YES 28.26/7.85 MAYBE 0.13/0.11 MAYBE 170.96/43.11 StarExec error YES 1.33/0.73
Waldmann_07_size12/size-12-alpha-3-num-474.xml NO 109.05/28.49 MAYBE 0.20/0.17 MAYBE 170.53/43.01 MAYBE 103.55/104.46 NO 1.16/0.55
Waldmann_07_size12/size-12-alpha-3-num-453.xml YES 20.11/5.82 MAYBE 0.17/0.15 YES 117.36/29.69 MAYBE 22.94/24.73 memout
Waldmann_07_size12/size-12-alpha-3-num-10.xml YES 23.99/9.28 MAYBE 0.13/0.12 YES 87.50/22.24 StarExec error YES 5.25/1.60
Waldmann_07_size12/size-12-alpha-3-num-378.xml NO 129.24/37.06 StarExec error MAYBE 170.11/42.87 StarExec error NO 15.68/4.30
Waldmann_07_size12/size-12-alpha-3-num-270.xml NO 71.94/19.16 MAYBE 0.13/0.11 MAYBE 170.22/42.94 StarExec error NO 3.86/1.26
Waldmann_07_size12/size-12-alpha-3-num-451.xml YES 11.29/3.75 MAYBE 0.16/0.14 YES 91.62/23.25 StarExec error memout
Waldmann_07_size12/size-12-alpha-2-num-22.xml YES 13.83/4.48 MAYBE 0.17/0.13 YES 98.72/25.03 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-206.xml NO 8.03/2.72 MAYBE 0.09/0.08 MAYBE 169.32/42.67 StarExec error NO 2.34/0.85
Waldmann_07_size12/size-12-alpha-3-num-403.xml StarExec error MAYBE 0.36/0.28 MAYBE 170.16/42.91 StarExec error StarExec error
Waldmann_07_size12/size-12-alpha-3-num-429.xml YES 13.51/4.31 MAYBE 0.13/0.11 YES 85.83/21.81 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-57.xml YES 10.63/3.44 MAYBE 0.10/0.09 YES 102.02/25.85 YES 0.01/0.01 YES 8.36/2.43
Waldmann_07_size12/size-12-alpha-3-num-204.xml YES 19.24/5.63 MAYBE 0.13/0.11 YES 89.02/22.59 StarExec error YES 2.70/0.96
Waldmann_07_size12/size-12-alpha-3-num-238.xml StarExec error MAYBE 0.12/0.11 MAYBE 169.98/42.93 StarExec error NO 2.58/1.11
Waldmann_07_size12/size-12-alpha-3-num-70.xml YES 12.06/4.20 MAYBE 0.09/0.08 YES 87.82/22.31 StarExec error YES 2.30/0.99
Waldmann_07_size12/size-12-alpha-3-num-402.xml NO 378.18/95.90 MAYBE 0.54/0.43 StarExec error StarExec error NO 2.49/1.05
Waldmann_07_size12/size-12-alpha-3-num-437.xml YES 21.94/6.58 MAYBE 0.13/0.11 YES 96.08/24.36 MAYBE 1.53/1.60 memout
Waldmann_07_size12/size-12-alpha-3-num-65.xml YES 22.46/6.42 MAYBE 0.14/0.13 MAYBE 169.18/42.62 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-413.xml YES 40.11/11.85 MAYBE 0.22/0.19 YES 98.78/25.04 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-285.xml YES 13.27/4.40 MAYBE 0.10/0.09 YES 54.27/22.65 StarExec error YES 2.44/1.02
Waldmann_07_size12/size-12-alpha-3-num-22.xml NO 19.53/5.90 MAYBE 0.26/0.21 NO 72.54/18.45 StarExec error NO 0.84/0.47
Waldmann_07_size12/size-12-alpha-2-num-20.xml NO 275.27/70.21 MAYBE 0.13/0.11 MAYBE 169.82/42.81 StarExec error NO 4.06/1.53
Waldmann_07_size12/size-12-alpha-3-num-343.xml YES 22.88/6.67 MAYBE 0.10/0.09 YES 89.43/22.71 MAYBE 7.48/7.62 YES 1.59/0.66
Waldmann_07_size12/size-12-alpha-3-num-563.xml YES 30.33/8.44 MAYBE 0.12/0.10 YES 87.04/22.11 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-561.xml YES 25.91/7.30 MAYBE 0.10/0.09 YES 43.89/11.75 StarExec error StarExec error
Waldmann_07_size12/size-12-alpha-3-num-110.xml YES 31.54/8.81 MAYBE 0.09/0.08 YES 95.01/24.11 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-226.xml YES 35.23/9.69 MAYBE 0.13/0.11 YES 104.03/26.36 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-265.xml YES 11.35/3.80 MAYBE 0.13/0.11 YES 53.11/20.59 StarExec error YES 3.06/1.07
Waldmann_07_size12/size-12-alpha-3-num-275.xml YES 31.71/8.90 MAYBE 0.11/0.09 YES 88.31/22.43 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-414.xml YES 21.36/6.11 MAYBE 0.19/0.16 YES 124.33/31.42 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-98.xml YES 20.04/5.91 MAYBE 0.15/0.13 YES 121.02/30.64 MAYBE 3.52/3.67 StarExec error
Waldmann_07_size12/size-12-alpha-2-num-13.xml YES 25.78/7.30 MAYBE 0.13/0.11 YES 146.19/37.03 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-124.xml YES 31.50/8.71 MAYBE 0.17/0.14 YES 164.71/41.54 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-133.xml YES 29.21/8.59 MAYBE 0.14/0.12 YES 124.38/31.48 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-300.xml YES 18.74/5.80 MAYBE 0.14/0.12 YES 101.81/25.82 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-289.xml YES 21.63/6.27 MAYBE 0.14/0.12 YES 89.24/22.67 StarExec error YES 3.30/1.31
Waldmann_07_size12/size-12-alpha-3-num-164.xml StarExec error MAYBE 0.10/0.08 YES 93.14/23.64 StarExec error YES 2.36/1.04
Waldmann_07_size12/size-12-alpha-3-num-159.xml NO 3.69/1.58 MAYBE 0.12/0.10 NO 1.23/0.60 StarExec error NO 0.50/0.38
Waldmann_07_size12/size-12-alpha-3-num-559.xml YES 43.10/11.68 MAYBE 0.12/0.10 YES 88.56/22.50 MAYBE 20.52/21.80 memout
Waldmann_07_size12/size-12-alpha-3-num-454.xml StarExec error MAYBE 0.18/0.15 MAYBE 170.55/42.99 StarExec error StarExec error
Waldmann_07_size12/size-12-alpha-3-num-401.xml NO 510.51/129.18 MAYBE 0.51/0.42 MAYBE 171.18/43.14 StarExec error NO 2.15/0.81
Waldmann_07_size12/size-12-alpha-3-num-359.xml YES 27.06/7.62 MAYBE 0.10/0.10 YES 94.51/23.98 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-239.xml NO 5.00/2.08 MAYBE 0.14/0.11 MAYBE 168.79/42.54 StarExec error NO 1.12/0.64
Waldmann_07_size12/size-12-alpha-3-num-477.xml YES 12.99/4.24 MAYBE 0.12/0.11 YES 101.26/25.66 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-44.xml YES 27.00/7.59 MAYBE 0.14/0.11 YES 98.31/24.93 MAYBE 1.43/1.57 memout
Waldmann_07_size12/size-12-alpha-3-num-86.xml YES 31.89/8.89 MAYBE 0.12/0.10 YES 101.60/25.78 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-88.xml StarExec error MAYBE 0.15/0.13 MAYBE 169.95/42.83 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-168.xml YES 23.10/7.39 MAYBE 0.09/0.08 YES 95.52/24.23 StarExec error memout
Waldmann_07_size12/size-12-alpha-2-num-21.xml StarExec error MAYBE 0.11/0.10 YES 89.03/22.60 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-473.xml YES 20.96/6.11 MAYBE 0.09/0.08 YES 94.49/23.99 StarExec error timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-7.xml NO 7.56/2.58 MAYBE 0.11/0.10 MAYBE 170.15/42.88 StarExec error NO 1.17/0.56
Waldmann_07_size12/size-12-alpha-3-num-76.xml YES 9.88/3.47 MAYBE 0.10/0.09 YES 42.68/11.47 StarExec error YES 2.06/0.81
Waldmann_07_size12/size-12-alpha-3-num-127.xml NO 75.92/20.22 MAYBE 0.16/0.12 MAYBE 169.06/42.60 MAYBE 1.07/1.21 NO 10.94/3.06
Waldmann_07_size12/size-12-alpha-3-num-350.xml YES 25.45/10.82 MAYBE 0.10/0.08 YES 89.44/22.72 MAYBE 7.41/7.69 YES 2.42/1.01
Waldmann_07_size12/size-12-alpha-3-num-106.xml YES 23.34/6.83 MAYBE 0.12/0.10 YES 155.13/39.17 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-427.xml YES 37.94/10.36 MAYBE 0.14/0.12 YES 114.97/29.09 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-341.xml YES 24.55/8.48 StarExec error YES 103.07/26.13 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-417.xml YES 34.83/9.72 MAYBE 0.15/0.13 YES 97.59/24.75 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-418.xml YES 10.42/3.58 MAYBE 0.15/0.13 YES 99.73/25.29 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-13.xml YES 23.86/6.80 MAYBE 0.10/0.09 YES 104.82/26.55 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-84.xml StarExec error MAYBE 0.12/0.10 MAYBE 169.22/42.72 StarExec error NO 5.58/1.69
Waldmann_07_size12/size-12-alpha-3-num-396.xml YES 16.18/6.52 MAYBE 0.13/0.11 YES 101.07/25.65 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-247.xml StarExec error MAYBE 0.14/0.12 StarExec error StarExec error NO 51.75/14.92
Waldmann_07_size12/size-12-alpha-3-num-406.xml StarExec error MAYBE 0.47/0.37 MAYBE 170.83/43.06 StarExec error NO 2.36/1.01
Waldmann_07_size12/size-12-alpha-3-num-446.xml YES 11.74/3.96 MAYBE 0.10/0.09 YES 88.43/22.44 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-368.xml NO 8.96/2.97 MAYBE 0.15/0.12 MAYBE 170.11/42.87 StarExec error NO 5.88/1.78
Waldmann_07_size12/size-12-alpha-3-num-327.xml YES 11.15/3.76 MAYBE 0.11/0.10 YES 98.58/25.00 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-553.xml YES 29.80/9.42 MAYBE 0.13/0.11 YES 88.45/22.47 YES 0.06/0.08 memout
Waldmann_07_size12/size-12-alpha-3-num-392.xml YES 13.56/4.46 MAYBE 0.14/0.12 YES 93.92/23.85 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-354.xml YES 42.04/11.49 MAYBE 0.10/0.09 MAYBE 170.14/42.89 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-384.xml StarExec error MAYBE 0.67/0.51 MAYBE 171.35/43.19 StarExec error NO 12.24/3.38
Waldmann_07_size12/size-12-alpha-3-num-209.xml StarExec error StarExec error MAYBE 169.36/42.69 StarExec error NO 35.64/9.33
Waldmann_07_size12/size-12-alpha-3-num-52.xml YES 32.08/9.96 MAYBE 0.10/0.09 YES 42.37/11.26 StarExec error YES 7.93/2.67
Waldmann_07_size12/size-12-alpha-3-num-337.xml YES 17.48/5.42 MAYBE 0.10/0.09 YES 104.50/26.49 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-47.xml NO 19.36/5.68 MAYBE 0.16/0.13 MAYBE 170.13/42.89 MAYBE 14.07/15.06 NO 0.80/0.56
Waldmann_07_size12/size-12-alpha-3-num-550.xml YES 25.00/7.42 MAYBE 0.11/0.10 YES 88.17/22.39 YES 0.06/0.09 YES 2.04/0.95
Waldmann_07_size12/size-12-alpha-3-num-23.xml NO 8.27/2.99 StarExec error MAYBE 168.73/42.52 MAYBE 47.40/47.51 NO 1.19/0.70
Waldmann_07_size12/size-12-alpha-3-num-502.xml YES 21.64/6.22 MAYBE 0.16/0.14 YES 101.48/25.73 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-363.xml StarExec error MAYBE 0.53/0.40 MAYBE 171.15/43.14 StarExec error NO 21.26/5.65
Waldmann_07_size12/size-12-alpha-2-num-14.xml YES 18.54/5.74 MAYBE 0.15/0.12 YES 151.46/38.21 StarExec error timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-438.xml YES 20.36/6.18 MAYBE 0.11/0.10 YES 109.97/27.85 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-149.xml YES 33.71/9.34 MAYBE 0.12/0.10 YES 88.72/22.52 StarExec error YES 3.24/1.29
Waldmann_07_size12/size-12-alpha-3-num-219.xml timeout (cpu) MAYBE 0.11/0.09 MAYBE 169.51/42.73 StarExec error NO 3.10/1.20
Waldmann_07_size12/size-12-alpha-3-num-20.xml NO 6.88/2.40 MAYBE 0.15/0.14 NO 77.55/19.68 StarExec error NO 1.23/0.69
Waldmann_07_size12/size-12-alpha-3-num-415.xml StarExec error MAYBE 0.18/0.16 YES 100.34/25.44 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-303.xml YES 16.76/5.34 MAYBE 0.14/0.11 YES 103.52/26.23 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-556.xml YES 21.45/6.49 MAYBE 0.12/0.11 YES 87.89/22.34 YES 0.06/0.07 memout
Waldmann_07_size12/size-12-alpha-3-num-126.xml YES 28.23/8.02 MAYBE 0.15/0.13 YES 100.14/25.39 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-546.xml YES 23.10/6.60 MAYBE 0.10/0.09 YES 108.92/27.58 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-494.xml YES 8.63/3.07 MAYBE 0.10/0.09 YES 94.82/24.06 StarExec error timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-90.xml NO 96.62/25.00 MAYBE 0.11/0.10 StarExec error StarExec error NO 1.88/0.87
Waldmann_07_size12/size-12-alpha-3-num-3.xml NO 7.70/2.72 MAYBE 0.09/0.07 MAYBE 168.62/42.50 StarExec error NO 2.13/0.80
Waldmann_07_size12/size-12-alpha-3-num-179.xml NO 3.45/1.57 MAYBE 0.11/0.10 NO 1.90/0.77 StarExec error NO 0.57/0.39
Waldmann_07_size12/size-12-alpha-3-num-412.xml YES 11.12/3.59 MAYBE 0.25/0.20 YES 93.78/23.80 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-475.xml timeout (cpu) MAYBE 0.27/0.23 MAYBE 172.30/43.43 MAYBE 283.54/284.37 NO 4.40/1.38
Waldmann_07_size12/size-12-alpha-3-num-366.xml YES 27.90/7.86 MAYBE 0.17/0.15 YES 98.14/24.88 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-294.xml YES 26.33/7.47 MAYBE 0.11/0.10 YES 95.78/24.30 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-163.xml YES 17.39/5.18 MAYBE 0.10/0.09 YES 102.74/26.06 MAYBE 2.94/3.26 YES 3.06/1.06
Waldmann_07_size12/size-12-alpha-3-num-272.xml StarExec error MAYBE 0.15/0.14 MAYBE 170.22/42.93 StarExec error NO 11.63/3.29
Waldmann_07_size12/size-12-alpha-3-num-351.xml YES 19.59/5.68 MAYBE 0.09/0.08 YES 87.24/22.15 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-373.xml NO 13.02/4.08 MAYBE 0.17/0.14 MAYBE 169.94/42.87 StarExec error NO 1.05/0.63
Waldmann_07_size12/size-12-alpha-2-num-17.xml StarExec error MAYBE 0.15/0.13 MAYBE 171.09/43.14 StarExec error NO 7.05/2.09
Waldmann_07_size12/size-12-alpha-3-num-470.xml YES 13.27/4.31 MAYBE 0.15/0.14 YES 122.04/30.84 MAYBE 4.39/4.76 memout
Waldmann_07_size12/size-12-alpha-3-num-297.xml YES 27.68/10.53 MAYBE 0.14/0.12 YES 113.51/28.76 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-469.xml YES 29.92/8.58 MAYBE 0.13/0.12 MAYBE 171.10/43.18 StarExec error YES 12.23/3.35
Waldmann_07_size12/size-12-alpha-3-num-213.xml YES 12.00/3.75 MAYBE 0.10/0.09 YES 90.14/22.92 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-129.xml NO 5.22/2.07 MAYBE 0.09/0.07 NO 13.83/3.75 StarExec error NO 0.71/0.45
Waldmann_07_size12/size-12-alpha-3-num-409.xml StarExec error MAYBE 0.54/0.43 MAYBE 170.19/42.91 StarExec error NO 15.40/4.26
Waldmann_07_size12/size-12-alpha-3-num-92.xml YES 11.68/4.04 MAYBE 0.11/0.09 YES 98.54/25.01 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-283.xml YES 20.94/6.33 MAYBE 0.11/0.09 YES 90.15/22.89 MAYBE 3.48/3.73 YES 2.46/0.89
Waldmann_07_size12/size-12-alpha-3-num-40.xml YES 13.19/4.28 MAYBE 0.15/0.12 YES 99.49/25.23 MAYBE 4.79/5.51 memout
Waldmann_07_size12/size-12-alpha-3-num-178.xml NO 6.76/2.47 MAYBE 0.10/0.09 NO 9.80/2.74 StarExec error NO 0.60/0.40
Waldmann_07_size12/size-12-alpha-3-num-243.xml NO 5.98/2.20 MAYBE 0.10/0.08 MAYBE 169.14/42.65 StarExec error NO 0.96/0.50
Waldmann_07_size12/size-12-alpha-3-num-498.xml YES 33.56/13.08 MAYBE 0.13/0.11 YES 100.28/25.44 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-15.xml YES 26.41/7.38 MAYBE 0.10/0.09 StarExec error StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-99.xml NO 3.95/1.72 StarExec error NO 9.00/2.64 StarExec error NO 0.64/0.43
Waldmann_07_size12/size-12-alpha-3-num-488.xml NO 8.03/2.77 MAYBE 0.13/0.11 MAYBE 169.99/42.88 MAYBE 1.49/1.75 NO 0.69/0.48
Waldmann_07_size12/size-12-alpha-3-num-107.xml YES 15.52/4.94 MAYBE 0.15/0.13 YES 102.04/25.87 MAYBE 4.71/4.83 memout
Waldmann_07_size12/size-12-alpha-3-num-508.xml YES 13.75/4.43 MAYBE 0.15/0.13 YES 101.30/25.68 MAYBE 281.48/289.22 memout
Waldmann_07_size12/size-12-alpha-3-num-522.xml NO 151.62/39.12 MAYBE 0.17/0.15 NO 12.41/3.41 StarExec error NO 0.59/0.40
Waldmann_07_size12/size-12-alpha-3-num-330.xml YES 38.22/14.49 MAYBE 0.10/0.09 YES 90.67/23.03 MAYBE 0.66/0.72 memout
Waldmann_07_size12/size-12-alpha-3-num-236.xml YES 35.41/9.68 MAYBE 0.13/0.11 YES 100.19/25.40 YES 3.38/3.52 timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-203.xml YES 38.07/10.76 MAYBE 0.10/0.09 YES 88.35/22.47 StarExec error YES 2.33/0.86
Waldmann_07_size12/size-12-alpha-3-num-186.xml YES 13.44/4.38 MAYBE 0.11/0.09 YES 94.97/24.09 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-35.xml YES 34.24/9.33 MAYBE 0.10/0.09 YES 136.27/34.54 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-284.xml YES 8.52/3.06 MAYBE 0.09/0.08 YES 91.95/23.34 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-105.xml YES 19.58/5.75 MAYBE 0.13/0.11 YES 147.45/37.23 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-462.xml YES 26.04/10.20 MAYBE 0.15/0.13 YES 95.88/24.31 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-535.xml YES 17.54/5.30 MAYBE 0.18/0.16 YES 89.56/22.76 StarExec error YES 6.96/2.06
Waldmann_07_size12/size-12-alpha-3-num-9.xml YES 7.75/2.85 MAYBE 0.12/0.10 YES 88.74/22.53 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-94.xml YES 16.94/5.09 MAYBE 0.09/0.07 YES 42.36/11.02 StarExec error YES 3.39/1.13
Waldmann_07_size12/size-12-alpha-3-num-223.xml YES 147.33/38.15 MAYBE 0.13/0.10 MAYBE 168.98/42.62 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-122.xml YES 31.17/9.04 StarExec error YES 158.54/39.98 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-385.xml NO 559.21/140.68 MAYBE 0.27/0.22 MAYBE 171.10/43.14 StarExec error NO 2.66/0.95
Waldmann_07_size12/size-12-alpha-3-num-112.xml YES 31.65/9.44 MAYBE 0.17/0.14 YES 92.47/23.63 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-282.xml YES 20.65/5.96 MAYBE 0.11/0.10 YES 43.78/13.12 StarExec error YES 2.99/1.19
Waldmann_07_size12/size-12-alpha-3-num-352.xml YES 25.22/7.24 MAYBE 0.09/0.08 YES 43.29/11.68 StarExec error YES 1.68/0.84
Waldmann_07_size12/size-12-alpha-3-num-273.xml YES 12.52/4.09 MAYBE 0.10/0.09 YES 43.80/11.90 StarExec error YES 3.71/1.38
Waldmann_07_size12/size-12-alpha-3-num-128.xml YES 31.73/8.85 MAYBE 0.20/0.17 YES 111.48/28.26 MAYBE 11.62/12.26 memout
Waldmann_07_size12/size-12-alpha-3-num-132.xml YES 27.20/7.63 MAYBE 0.13/0.11 MAYBE 170.07/42.88 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-225.xml YES 34.96/11.03 MAYBE 0.11/0.10 YES 95.48/24.22 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-177.xml NO 3.91/1.68 MAYBE 0.12/0.10 NO 4.98/1.54 StarExec error NO 0.74/0.53
Waldmann_07_size12/size-12-alpha-3-num-353.xml NO 4.29/6.64 MAYBE 0.12/0.10 NO 39.48/10.16 StarExec error NO 0.56/0.38
Waldmann_07_size12/size-12-alpha-3-num-467.xml YES 15.64/4.95 MAYBE 0.14/0.14 YES 94.54/24.04 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-356.xml NO 814.24/204.45 MAYBE 0.26/0.21 MAYBE 171.17/43.15 StarExec error NO 14.15/3.90
Waldmann_07_size12/size-12-alpha-3-num-547.xml YES 13.61/4.57 MAYBE 0.11/0.10 YES 122.33/30.93 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-21.xml NO 83.40/21.70 MAYBE 0.27/0.20 MAYBE 170.11/42.87 StarExec error StarExec error
Waldmann_07_size12/size-12-alpha-3-num-299.xml YES 22.04/6.67 MAYBE 0.15/0.12 YES 95.07/24.11 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-443.xml YES 20.68/6.00 MAYBE 0.17/0.14 YES 100.35/25.44 timeout (wallclock) memout
Waldmann_07_size12/size-12-alpha-3-num-237.xml YES 11.45/3.82 MAYBE 0.15/0.12 YES 107.78/27.29 MAYBE 2.08/2.65 YES 5.58/1.69
Waldmann_07_size12/size-12-alpha-3-num-360.xml YES 18.40/5.46 MAYBE 0.18/0.16 YES 91.73/23.26 StarExec error YES 1.15/0.65
Waldmann_07_size12/size-12-alpha-3-num-287.xml YES 27.71/7.80 MAYBE 0.11/0.09 YES 88.19/22.43 StarExec error YES 2.09/0.91
Waldmann_07_size12/size-12-alpha-3-num-452.xml YES 36.00/9.85 MAYBE 0.15/0.12 StarExec error MAYBE 2.85/2.83 YES 2.50/1.03
Waldmann_07_size12/size-12-alpha-3-num-493.xml NO 103.25/26.69 MAYBE 0.25/0.22 MAYBE 169.98/42.85 StarExec error StarExec error
Waldmann_07_size12/size-12-alpha-3-num-455.xml YES 20.24/6.20 MAYBE 0.16/0.14 MAYBE 169.90/42.80 timeout (wallclock) timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-362.xml NO 347.04/87.55 MAYBE 0.45/0.35 MAYBE 170.65/42.99 StarExec error NO 2.58/1.06
Waldmann_07_size12/size-12-alpha-3-num-304.xml YES 31.33/10.32 MAYBE 0.15/0.13 YES 107.84/27.29 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-260.xml NO 4.05/1.70 MAYBE 0.14/0.12 MAYBE 170.44/43.11 StarExec error NO 0.62/0.40
Waldmann_07_size12/size-12-alpha-3-num-391.xml YES 24.76/6.97 MAYBE 0.14/0.11 YES 119.75/30.30 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-484.xml YES 7.89/2.85 MAYBE 0.12/0.10 YES 98.08/24.87 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-347.xml YES 23.47/6.69 StarExec error YES 100.16/25.53 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-227.xml NO 6.17/2.25 StarExec error StarExec error StarExec error NO 0.86/0.46
Waldmann_07_size12/size-12-alpha-3-num-309.xml YES 26.05/7.51 MAYBE 0.20/0.17 MAYBE 171.97/43.35 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-410.xml StarExec error MAYBE 0.46/0.37 MAYBE 170.43/43.02 StarExec error NO 7.82/2.29
Waldmann_07_size12/size-12-alpha-3-num-211.xml timeout (wallclock) MAYBE 0.13/0.11 MAYBE 170.02/42.85 StarExec error NO 108.26/29.62
Waldmann_07_size12/size-12-alpha-3-num-100.xml NO 4.95/1.95 MAYBE 0.11/0.10 MAYBE 170.10/42.89 StarExec error NO 2.18/0.82
Waldmann_07_size12/size-12-alpha-3-num-382.xml StarExec error MAYBE 0.35/0.28 MAYBE 170.66/43.01 StarExec error NO 8.96/2.62
Waldmann_07_size12/size-12-alpha-3-num-292.xml StarExec error MAYBE 0.19/0.16 MAYBE 169.94/42.84 MAYBE 64.70/65.32 NO 95.94/26.72
Waldmann_07_size12/size-12-alpha-3-num-95.xml NO 349.43/88.34 MAYBE 0.09/0.08 MAYBE 168.61/42.49 StarExec error NO 4.58/1.76
Waldmann_07_size12/size-12-alpha-3-num-338.xml StarExec error MAYBE 0.21/0.18 MAYBE 171.25/43.17 StarExec error NO 4.35/1.39
Waldmann_07_size12/size-12-alpha-3-num-301.xml YES 34.94/9.60 MAYBE 0.21/0.16 YES 99.35/25.21 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-158.xml NO 3.66/1.58 MAYBE 0.13/0.12 NO 1.78/0.74 StarExec error NO 0.66/0.51
Waldmann_07_size12/size-12-alpha-3-num-17.xml YES 30.87/9.94 MAYBE 0.15/0.12 YES 89.95/22.84 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-568.xml YES 13.10/4.31 MAYBE 0.11/0.32 YES 102.46/25.99 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-431.xml StarExec error MAYBE 0.10/0.09 MAYBE 170.51/43.00 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-45.xml YES 15.36/4.94 MAYBE 0.11/0.09 YES 96.48/24.47 MAYBE 2.07/2.22 YES 2.10/0.79
Waldmann_07_size12/size-12-alpha-3-num-482.xml YES 58.64/15.62 MAYBE 0.13/0.11 YES 102.85/26.08 MAYBE 5.28/6.15 memout
Waldmann_07_size12/size-12-alpha-3-num-232.xml YES 17.46/5.16 MAYBE 0.11/0.43 StarExec error MAYBE 8.11/8.32 YES 6.05/2.00
Waldmann_07_size12/size-12-alpha-3-num-489.xml YES 30.39/8.40 MAYBE 0.12/0.10 YES 145.08/36.62 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-49.xml YES 15.08/4.81 MAYBE 0.11/0.10 YES 91.67/23.27 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-377.xml YES 24.99/7.04 MAYBE 0.12/0.11 YES 90.00/22.88 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-123.xml YES 35.76/9.86 MAYBE 0.16/0.14 YES 118.64/30.02 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-541.xml YES 24.35/7.22 MAYBE 0.10/0.09 YES 91.98/23.33 YES 0.06/0.10 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-288.xml YES 19.28/5.92 MAYBE 0.12/0.10 YES 91.99/23.41 StarExec error YES 2.45/1.02
Waldmann_07_size12/size-12-alpha-3-num-298.xml NO 56.35/14.98 MAYBE 0.14/0.12 MAYBE 170.45/42.98 StarExec error NO 0.75/0.44
Waldmann_07_size12/size-12-alpha-3-num-267.xml StarExec error MAYBE 0.15/0.14 MAYBE 170.30/42.92 StarExec error NO 8.17/2.53
Waldmann_07_size12/size-12-alpha-3-num-31.xml YES 16.24/4.87 MAYBE 0.13/0.11 YES 88.02/22.38 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-348.xml StarExec error MAYBE 0.15/0.20 YES 102.15/25.90 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-506.xml YES 28.12/8.25 MAYBE 0.12/0.10 MAYBE 170.92/43.15 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-181.xml NO 4.15/1.71 MAYBE 0.13/0.10 NO 3.66/1.22 StarExec error NO 0.69/0.51
Waldmann_07_size12/size-12-alpha-3-num-140.xml NO 3.35/1.52 MAYBE 0.11/0.10 NO 1.36/0.64 StarExec error NO 0.50/0.37
Waldmann_07_size12/size-12-alpha-3-num-465.xml YES 16.10/4.86 MAYBE 0.13/0.11 YES 93.43/23.71 MAYBE 0.49/0.95 memout
Waldmann_07_size12/size-12-alpha-3-num-114.xml YES 38.39/10.51 MAYBE 0.13/0.11 YES 124.84/31.56 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-456.xml YES 33.15/9.14 MAYBE 0.14/0.12 YES 96.15/24.39 MAYBE 2.22/2.31 memout
Waldmann_07_size12/size-12-alpha-3-num-109.xml YES 29.47/8.23 MAYBE 0.17/0.14 YES 101.88/25.87 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-540.xml StarExec error MAYBE 0.11/0.09 MAYBE 169.58/42.74 StarExec error NO 0.73/0.44
Waldmann_07_size12/size-12-alpha-3-num-492.xml NO 78.99/20.58 MAYBE 0.24/0.19 MAYBE 170.67/43.01 StarExec error NO 6.29/1.87
Waldmann_07_size12/size-12-alpha-2-num-3.xml YES 27.94/7.80 MAYBE 0.10/0.09 YES 97.85/24.83 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-274.xml StarExec error MAYBE 0.15/0.13 MAYBE 170.39/42.96 StarExec error NO 45.52/12.89
Waldmann_07_size12/size-12-alpha-3-num-224.xml NO 608.21/152.99 MAYBE 0.13/0.11 MAYBE 170.89/43.09 StarExec error NO 0.84/0.49
Waldmann_07_size12/size-12-alpha-3-num-386.xml StarExec error MAYBE 0.45/0.35 MAYBE 170.58/42.99 StarExec error NO 34.72/9.10
Waldmann_07_size12/size-12-alpha-2-num-7.xml StarExec error MAYBE 0.15/0.13 MAYBE 170.83/43.06 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-195.xml NO 4.08/1.73 MAYBE 0.11/0.09 NO 13.81/3.75 StarExec error NO 0.67/0.43
Waldmann_07_size12/size-12-alpha-3-num-558.xml NO 276.94/70.69 MAYBE 0.14/0.13 MAYBE 169.98/42.93 StarExec error NO 6.19/1.84
Waldmann_07_size12/size-12-alpha-3-num-548.xml YES 42.70/11.57 MAYBE 0.12/0.11 YES 88.09/22.38 YES 0.06/0.07 memout
Waldmann_07_size12/size-12-alpha-3-num-339.xml NO 59.77/15.79 MAYBE 0.41/0.33 MAYBE 170.55/42.99 StarExec error NO 1.58/0.78
Waldmann_07_size12/size-12-alpha-3-num-248.xml StarExec error MAYBE 0.15/0.14 MAYBE 169.62/42.93 StarExec error NO 2.09/0.80
Waldmann_07_size12/size-12-alpha-3-num-532.xml YES 11.16/3.82 MAYBE 0.11/0.09 YES 89.82/22.79 YES 0.05/0.08 YES 1.78/0.83
Waldmann_07_size12/size-12-alpha-3-num-435.xml YES 27.51/7.69 MAYBE 0.13/0.11 YES 113.63/28.77 MAYBE 1.52/1.99 memout
Waldmann_07_size12/size-12-alpha-3-num-383.xml NO 1036.86/260.20 MAYBE 0.26/0.23 MAYBE 170.33/42.95 StarExec error NO 13.08/3.67
Waldmann_07_size12/size-12-alpha-3-num-286.xml YES 16.83/5.08 MAYBE 0.13/0.11 YES 98.65/25.06 StarExec error YES 3.37/1.14
Waldmann_07_size12/size-12-alpha-2-num-15.xml YES 15.17/4.65 MAYBE 0.12/0.10 YES 91.82/23.31 StarExec error YES 1.33/0.62
Waldmann_07_size12/size-12-alpha-2-num-2.xml YES 22.93/6.88 MAYBE 0.11/0.10 YES 94.65/24.01 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-220.xml StarExec error MAYBE 0.10/0.09 MAYBE 169.12/42.70 StarExec error NO 133.96/34.30
Waldmann_07_size12/size-12-alpha-3-num-552.xml YES 27.77/7.78 MAYBE 0.12/0.11 YES 85.55/21.71 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-16.xml YES 21.62/6.30 MAYBE 0.16/0.13 YES 89.62/22.77 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-51.xml YES 24.43/7.00 MAYBE 0.10/0.08 YES 41.99/11.12 StarExec error YES 16.54/4.98
Waldmann_07_size12/size-12-alpha-3-num-221.xml StarExec error MAYBE 0.13/0.11 YES 87.74/22.30 StarExec error YES 1.41/0.73
Waldmann_07_size12/size-12-alpha-3-num-346.xml YES 35.87/9.80 MAYBE 0.13/0.12 StarExec error StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-340.xml StarExec error MAYBE 0.34/0.27 MAYBE 170.50/42.99 StarExec error NO 12.17/3.82
Waldmann_07_size12/size-12-alpha-3-num-491.xml NO 51.18/13.61 MAYBE 0.19/0.17 MAYBE 170.54/42.99 StarExec error NO 0.79/0.46
Waldmann_07_size12/size-12-alpha-3-num-152.xml YES 29.58/8.28 MAYBE 0.10/0.08 YES 107.84/27.32 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-146.xml NO 3.65/1.66 MAYBE 0.10/0.09 NO 1.36/0.65 StarExec error NO 0.55/0.38
Waldmann_07_size12/size-12-alpha-3-num-543.xml YES 18.76/5.63 MAYBE 0.17/0.15 YES 95.35/24.27 YES 0.07/0.09 memout
Waldmann_07_size12/size-12-alpha-2-num-19.xml YES 16.65/5.23 MAYBE 0.13/0.11 YES 124.13/31.38 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-450.xml NO 16.60/5.12 MAYBE 0.14/0.12 MAYBE 170.13/42.95 StarExec error NO 0.76/0.46
Waldmann_07_size12/size-12-alpha-3-num-441.xml YES 10.70/3.58 MAYBE 0.10/0.08 YES 88.45/22.44 StarExec error StarExec error
Waldmann_07_size12/size-12-alpha-3-num-355.xml StarExec error MAYBE 0.20/0.17 MAYBE 170.36/42.97 StarExec error NO 7.90/2.60
Waldmann_07_size12/size-12-alpha-3-num-436.xml YES 21.56/6.49 MAYBE 0.12/0.10 YES 95.55/24.24 MAYBE 1.84/1.95 memout
Waldmann_07_size12/size-12-alpha-3-num-439.xml YES 10.43/3.59 MAYBE 0.11/0.11 YES 99.06/25.10 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-215.xml YES 10.83/3.67 MAYBE 0.11/0.10 StarExec error StarExec error YES 2.40/1.07
Waldmann_07_size12/size-12-alpha-3-num-472.xml YES 36.04/9.89 MAYBE 0.10/0.09 YES 130.97/33.09 StarExec error memout
Waldmann_07_size12/size-12-alpha-2-num-4.xml YES 23.32/6.93 MAYBE 0.15/0.15 MAYBE 170.32/43.00 StarExec error YES 1.69/0.70
Waldmann_07_size12/size-12-alpha-3-num-66.xml YES 17.73/5.44 MAYBE 0.13/0.11 YES 123.87/31.33 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-2-num-5.xml YES 20.40/6.15 MAYBE 0.22/0.21 MAYBE 171.51/43.23 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-545.xml YES 22.84/6.83 MAYBE 0.11/0.10 StarExec error YES 0.06/0.08 memout
Waldmann_07_size12/size-12-alpha-3-num-497.xml NO 31.97/10.70 MAYBE 0.12/0.11 MAYBE 170.22/42.90 StarExec error NO 1.11/0.55
Waldmann_07_size12/size-12-alpha-3-num-135.xml NO 51.68/14.20 MAYBE 0.11/0.10 MAYBE 169.51/42.74 StarExec error NO 1.20/0.57
Waldmann_07_size12/size-12-alpha-3-num-111.xml YES 15.52/4.92 MAYBE 0.20/0.17 YES 91.53/23.24 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-41.xml YES 11.58/3.94 MAYBE 0.10/0.08 YES 96.42/24.47 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-345.xml YES 11.56/3.86 MAYBE 0.12/0.10 YES 97.89/24.88 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-526.xml YES 11.95/3.96 YES 0.07/0.06 YES 90.09/22.87 YES 0.20/0.29 memout
Waldmann_07_size12/size-12-alpha-3-num-281.xml YES 27.02/7.63 MAYBE 0.09/0.08 YES 88.97/22.63 StarExec error timeout (cpu)
Waldmann_07_size12/size-12-alpha-3-num-134.xml YES 25.72/7.30 MAYBE 0.10/0.08 YES 90.13/22.87 StarExec error YES 2.21/0.83
Waldmann_07_size12/size-12-alpha-3-num-408.xml StarExec error MAYBE 0.78/0.57 MAYBE 170.79/43.06 StarExec error NO 74.79/21.43
Waldmann_07_size12/size-12-alpha-3-num-1.xml YES 37.22/10.23 MAYBE 0.10/0.08 YES 98.27/24.92 MAYBE 8.92/9.47 YES 3.20/1.14
Waldmann_07_size12/size-12-alpha-3-num-74.xml YES 31.53/8.81 MAYBE 0.08/0.07 YES 87.69/22.28 MAYBE 8.79/9.12 YES 2.85/1.02
Waldmann_07_size12/size-12-alpha-2-num-18.xml StarExec error MAYBE 0.25/0.20 MAYBE 169.85/42.80 StarExec error NO 9.98/3.10
Waldmann_07_size12/size-12-alpha-3-num-296.xml YES 23.17/6.65 MAYBE 0.13/0.11 YES 121.99/30.84 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-176.xml YES 16.70/5.29 MAYBE 0.10/0.09 YES 91.80/23.39 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-361.xml StarExec error MAYBE 0.29/0.25 MAYBE 170.34/42.93 StarExec error NO 13.10/3.84
Waldmann_07_size12/size-12-alpha-2-num-11.xml StarExec error MAYBE 0.31/0.26 MAYBE 171.04/43.11 StarExec error NO 0.48/0.37
Waldmann_07_size12/size-12-alpha-3-num-328.xml NO 21.39/6.18 MAYBE 0.17/0.15 MAYBE 170.08/42.87 MAYBE 1.72/2.02 NO 1.44/0.63
Waldmann_07_size12/size-12-alpha-3-num-121.xml YES 41.78/11.36 MAYBE 0.12/0.10 YES 139.45/35.22 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-222.xml StarExec error MAYBE 0.17/0.14 MAYBE 170.86/43.08 StarExec error timeout (wallclock)
Waldmann_07_size12/size-12-alpha-3-num-72.xml YES 21.75/6.26 MAYBE 0.10/0.09 YES 87.63/22.22 MAYBE 2.86/2.98 memout
Waldmann_07_size12/size-12-alpha-3-num-174.xml StarExec error MAYBE 0.12/0.10 MAYBE 169.98/42.85 StarExec error NO 14.01/3.92
Waldmann_07_size12/size-12-alpha-3-num-14.xml YES 18.09/5.39 MAYBE 0.10/0.09 YES 90.25/22.92 MAYBE 2.73/2.81 memout
Waldmann_07_size12/size-12-alpha-3-num-91.xml YES 23.75/6.80 MAYBE 0.11/0.10 YES 100.12/25.42 MAYBE 7.78/8.30 YES 1.57/0.78
Waldmann_07_size12/size-12-alpha-3-num-293.xml YES 27.70/7.81 StarExec error YES 97.05/24.65 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-165.xml YES 32.89/9.12 MAYBE 0.10/0.08 YES 98.62/25.01 MAYBE 1.18/1.27 YES 3.28/1.11
Waldmann_07_size12/size-12-alpha-3-num-549.xml YES 13.46/4.40 MAYBE 0.14/0.12 YES 91.08/23.10 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-61.xml YES 14.01/4.55 MAYBE 0.12/0.10 YES 42.62/11.13 StarExec error YES 4.78/1.70
Waldmann_07_size12/size-12-alpha-3-num-180.xml YES 53.80/15.18 MAYBE 0.10/0.09 YES 99.22/25.19 StarExec error YES 2.89/1.00
Waldmann_07_size12/size-12-alpha-3-num-125.xml YES 19.08/5.91 MAYBE 0.19/0.15 YES 102.50/25.97 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-82.xml YES 18.68/5.83 MAYBE 0.11/0.10 YES 108.71/27.54 StarExec error memout
Waldmann_07_size12/size-12-alpha-3-num-400.xml StarExec error MAYBE 0.49/0.38 MAYBE 170.12/42.88 StarExec error NO 17.79/5.40
Zantema_06/05.xml YES 157.93/40.38 MAYBE 0.29/0.25 YES 5.82/1.76 StarExec error YES 1.79/0.85
Zantema_06/03.xml YES 164.14/41.88 MAYBE 0.30/0.25 MAYBE 170.78/43.08 StarExec error YES 27.11/7.18
Zantema_06/01.xml YES 10.27/3.46 YES 0.04/0.03 YES 40.88/10.53 YES 0.03/0.04 timeout (cpu)
Zantema_06/12.xml YES 267.66/67.84 YES 0.54/0.41 YES 120.43/30.49 YES 0.41/0.49 YES 4.06/1.28
Zantema_06/10.xml YES 31.84/11.87 MAYBE 0.21/0.18 YES 99.48/25.21 YES 0.81/4.48 YES 27.28/7.25
Zantema_06/beans3.xml YES 9.44/3.34 YES 0.09/0.07 YES 112.22/28.43 timeout (wallclock) memout
Zantema_06/06.xml YES 30.70/10.79 MAYBE 0.13/0.12 YES 124.86/31.60 StarExec error memout
Zantema_06/while2.xml YES 3.17/1.52 MAYBE 0.22/0.19 YES 2.29/0.86 YES 0.18/0.21 YES 1.13/0.54
Zantema_06/beans2.xml YES 8.32/2.97 YES 0.09/0.08 YES 93.44/23.71 YES 0.09/0.11 memout
Zantema_06/02.xml YES 13.81/4.27 YES 0.14/0.12 YES 3.59/1.20 YES 0.34/0.41 YES 1.41/0.61
Zantema_06/beans7.xml YES 18.28/6.71 YES 0.08/0.07 YES 103.28/26.19 timeout (wallclock) memout
Zantema_06/14.xml YES 40.23/10.96 MAYBE 0.22/0.19 MAYBE 171.04/43.12 StarExec error memout
Zantema_06/abc.xml YES 14.14/4.63 MAYBE 0.12/0.10 YES 122.20/91.04 StarExec error YES 4.63/1.46
Zantema_06/13.xml YES 40.21/10.98 MAYBE 1.08/1.01 MAYBE 172.17/43.45 StarExec error memout
Zantema_06/beans1.xml YES 12.21/4.02 YES 0.06/0.06 YES 10.07/2.88 YES 0.18/0.17 YES 1.56/0.66
Zantema_06/04.xml YES 16.04/4.86 YES 0.16/0.14 YES 93.33/23.74 YES 0.11/0.12 YES 456.81/118.96
Zantema_06/17.xml YES 6.72/2.41 StarExec error YES 40.53/10.54 YES 13.01/14.08 YES 1.02/0.53
Zantema_06/08.xml YES 3.71/1.61 MAYBE 0.43/0.34 YES 4.25/1.37 StarExec error memout
Zantema_06/beans4.xml YES 19.99/5.85 YES 0.03/0.03 YES 1.85/0.75 YES 0.15/0.15 YES 1.29/0.60
Zantema_06/loop1.xml NO 3.51/1.62 MAYBE 0.11/0.09 NO 0.75/0.48 StarExec error NO 0.49/0.37
Zantema_06/16.xml YES 17.91/5.47 YES 3.85/3.80 YES 13.55/3.74 StarExec error YES 0.96/0.50
Zantema_06/beans5.xml YES 17.68/5.25 YES 0.07/0.06 YES 91.24/23.16 YES 0.13/0.14 memout
Zantema_06/09.xml YES 25.80/7.37 YES 0.36/0.33 YES 6.19/1.88 timeout (wallclock) YES 2.20/0.85
Zantema_06/11.xml YES 3.91/1.70 YES 0.14/0.11 YES 3.61/1.20 YES 0.16/0.17 YES 1.50/0.75
Zantema_06/07.xml StarExec error MAYBE 0.27/0.22 YES 7.82/2.27 StarExec error memout
Zantema_06/18.xml YES 6.69/2.41 StarExec error MAYBE 170.85/43.10 StarExec error YES 1.33/0.62
Zantema_06/loop2.xml NO 3.45/1.59 MAYBE 0.14/0.11 NO 0.87/0.51 StarExec error NO 0.48/0.38
Zantema_06/15.xml YES 36.40/10.04 StarExec error MAYBE 169.74/42.85 StarExec error YES 1.78/0.85
Zantema_06/while1.xml StarExec error MAYBE 3.44/3.40 MAYBE 172.08/43.39 StarExec error memout
Zantema_06/beans6.xml StarExec error MAYBE 0.16/0.14 YES 95.75/24.30 YES 0.23/0.23 memout
Zantema_04/z127.xml NO 3.41/1.59 MAYBE 0.16/0.15 NO 0.91/0.52 StarExec error NO 0.62/0.50
Zantema_04/z128.xml NO 3.26/1.49 MAYBE 0.25/0.23 NO 0.86/0.51 StarExec error NO 0.61/0.49
Zantema_04/z106.xml YES 11.05/3.57 YES 0.02/0.02 YES 5.36/1.64 YES 2.54/2.65 YES 0.91/0.50
Zantema_04/z057.xml YES 3.42/1.54 MAYBE 0.47/0.45 YES 0.96/0.52 StarExec error YES 0.84/0.57
Zantema_04/z107.xml YES 5.09/1.99 YES 0.02/0.02 YES 3.35/1.15 StarExec error YES 0.75/0.52
Zantema_04/z054.xml YES 3.75/1.59 MAYBE 0.40/0.39 YES 1.32/0.62 StarExec error YES 1.30/0.60
Zantema_04/z026.xml YES 13.54/4.32 YES 0.02/0.02 YES 0.96/0.53 YES 0.04/0.04 YES 1.25/0.59
Zantema_04/z010.xml YES 9.02/3.14 YES 0.03/0.03 YES 2.77/0.98 YES 0.02/0.03 YES 0.92/0.58
Zantema_04/z111.xml YES 8.37/2.99 YES 0.04/0.08 YES 17.65/4.77 StarExec error StarExec error
Zantema_04/z037.xml YES 3.70/1.61 MAYBE 0.48/0.44 YES 1.89/0.76 StarExec error YES 1.79/0.72
Zantema_04/z030.xml YES 3.40/2.25 MAYBE 0.27/0.23 YES 1.72/0.72 StarExec error YES 3.81/1.23
Zantema_04/z113.xml YES 12.16/3.84 YES 0.03/0.03 YES 118.16/29.91 StarExec error YES 1.22/0.58
Zantema_04/z011.xml YES 29.86/8.33 YES 0.04/0.04 YES 3.80/1.26 YES 0.11/0.40 YES 1.97/0.88
Zantema_04/z025.xml YES 15.95/4.79 YES 0.02/0.02 YES 3.71/1.22 YES 0.24/0.24 YES 0.96/0.51
Zantema_04/z084.xml YES 9.00/3.00 YES 0.02/0.02 StarExec error YES 0.57/0.65 YES 1.11/0.55
Zantema_04/z007.xml StarExec error YES 0.02/0.02 YES 1.62/0.70 YES 0.01/0.01 YES 1.03/0.53
Zantema_04/z046.xml NO 3.41/1.50 MAYBE 0.45/0.42 NO 0.81/0.49 StarExec error NO 0.49/0.66
Zantema_04/z050.xml YES 3.54/1.57 YES 0.03/0.03 YES 1.14/0.56 StarExec error YES 0.76/0.45
Zantema_04/z028.xml YES 4.30/1.76 MAYBE 0.48/0.44 YES 97.16/24.66 StarExec error YES 1.45/0.73
Zantema_04/z058.xml YES 3.63/1.65 YES 0.25/0.22 YES 1.07/0.54 StarExec error YES 1.00/0.63
Zantema_04/z104.xml YES 5.85/2.23 YES 0.02/0.02 YES 6.34/1.92 StarExec error YES 0.83/0.48
Zantema_04/z061.xml YES 3.60/1.59 YES 0.03/0.03 YES 0.78/0.49 YES 0.01/0.01 YES 0.59/0.41
Zantema_04/z020.xml YES 17.39/5.10 YES 0.03/0.03 YES 40.87/10.51 YES 0.05/0.06 YES 1.62/0.69
Zantema_04/syracuse.xml StarExec error StarExec error MAYBE 174.05/43.93 StarExec error memout
Zantema_04/z069.xml YES 32.94/9.06 YES 0.25/0.25 YES 1.11/0.57 YES 2.49/2.44 YES 1.20/0.68
Zantema_04/z055.xml YES 3.60/1.56 YES 0.02/0.02 YES 0.84/0.51 StarExec error YES 0.62/0.41
Zantema_04/z002.xml YES 3.42/1.57 YES 0.02/0.02 YES 1.28/0.62 YES 14.88/15.12 YES 0.82/0.48
Zantema_04/z120.xml YES 12.57/3.93 MAYBE 0.29/0.25 YES 87.50/22.34 MAYBE 13.76/14.22 YES 1.37/0.62
Zantema_04/z097.xml YES 3.91/1.69 MAYBE 1.99/1.40 YES 2.35/0.89 StarExec error YES 738.30/185.31
Zantema_04/z082.xml YES 3.82/1.65 YES 0.11/0.09 YES 8.10/2.34 YES 19.30/20.01 YES 1.04/0.52
Zantema_04/z116.xml YES 6.83/2.59 YES 0.02/0.03 YES 3.05/1.06 YES 0.68/0.80 YES 0.78/0.45
Zantema_04/z034.xml YES 4.02/1.70 MAYBE 0.33/0.30 YES 1.95/0.79 StarExec error YES 37.00/9.66
Zantema_04/z014.xml YES 3.34/1.56 YES 0.03/0.03 YES 3.58/1.20 YES 0.02/0.04 YES 0.84/0.57
Zantema_04/z083.xml YES 12.85/4.27 MAYBE 0.22/0.20 YES 8.32/2.40 StarExec error YES 2.61/0.93
Zantema_04/z005.xml YES 3.75/1.68 YES 0.22/0.19 YES 2.13/0.84 YES 57.31/58.05 YES 1.16/0.66
Zantema_04/z068.xml YES 33.33/9.15 YES 0.22/0.19 YES 4.74/1.48 StarExec error memout
Zantema_04/z117.xml YES 39.86/10.86 MAYBE 0.42/0.39 YES 4.04/1.32 YES 0.82/0.86 YES 2.19/0.99
Zantema_04/z052.xml YES 3.90/1.69 YES 0.02/0.02 YES 0.94/0.52 StarExec error YES 0.75/0.53
Zantema_04/z044.xml NO 3.45/2.19 MAYBE 0.49/0.46 NO 0.72/0.47 StarExec error NO 0.64/0.89
Zantema_04/z062.xml YES 3.66/1.63 YES 0.04/0.04 YES 0.91/0.52 YES 0.10/0.10 YES 0.62/0.41
Zantema_04/z040.xml YES 4.01/1.69 MAYBE 0.84/0.81 YES 2.55/0.95 StarExec error YES 6.38/1.87
Zantema_04/z001.xml YES 3.55/1.57 MAYBE 0.27/0.23 YES 1.81/0.73 StarExec error YES 0.94/0.50
Zantema_04/z038.xml YES 3.69/1.67 MAYBE 0.66/0.67 YES 2.17/0.83 StarExec error memout
Zantema_04/z105.xml YES 6.40/2.47 YES 0.02/0.02 YES 6.00/1.82 StarExec error YES 1.03/0.62
Zantema_04/z125.xml YES 10.47/3.41 YES 0.29/0.25 YES 9.79/2.82 YES 97.99/98.90 YES 1.71/0.70
Zantema_04/z041.xml YES 3.70/1.58 MAYBE 0.33/0.30 YES 2.30/0.88 StarExec error StarExec error
Zantema_04/z018.xml YES 11.58/3.92 YES 0.03/0.02 YES 40.96/10.58 YES 0.66/0.68 YES 1.66/0.70
Zantema_04/z085.xml YES 4.73/1.86 YES 0.02/0.02 YES 1.59/0.69 YES 0.02/0.04 YES 0.67/0.43
Zantema_04/z053.xml YES 3.74/1.66 MAYBE 0.40/0.38 YES 1.20/0.57 StarExec error YES 0.88/0.58
Zantema_04/z042.xml NO 3.45/1.53 MAYBE 0.56/0.52 NO 0.74/0.48 StarExec error NO 0.50/0.39
Zantema_04/z095.xml YES 3.33/1.52 MAYBE 0.50/0.41 YES 1.88/0.77 StarExec error YES 3.87/1.27
Zantema_04/z003.xml YES 3.59/1.58 YES 0.04/0.04 YES 2.34/0.88 StarExec error YES 1.02/0.52
Zantema_04/z048.xml YES 3.64/1.63 MAYBE 1.50/1.46 YES 1.28/0.63 StarExec error YES 1.09/0.55
Zantema_04/z088.xml YES 3.91/1.71 YES 0.02/0.02 YES 3.63/1.20 YES 14.99/15.09 StarExec error
Zantema_04/z103.xml YES 13.30/4.39 YES 0.03/0.02 YES 2.40/0.90 YES 0.49/0.58 YES 1.20/0.57
Zantema_04/z101.xml YES 4.91/1.91 YES 0.02/0.02 YES 2.62/0.96 YES 0.69/0.75 YES 0.67/0.42
Zantema_04/z019.xml YES 21.34/6.61 YES 0.12/0.10 YES 2.93/1.03 YES 0.51/0.59 YES 1.26/0.60
Zantema_04/z077.xml YES 10.04/3.27 YES 0.03/0.03 YES 3.64/1.22 YES 0.01/0.01 YES 0.88/0.48
Zantema_04/z080.xml YES 29.75/8.66 MAYBE 0.18/0.15 YES 1.56/0.69 YES 7.12/7.28 YES 3.42/1.22
Zantema_04/z022.xml YES 10.16/3.48 YES 0.04/0.03 YES 3.83/1.26 YES 0.50/0.56 YES 1.25/0.72
Zantema_04/z109.xml YES 4.08/1.76 YES 0.02/0.02 YES 2.41/0.91 YES 0.62/0.70 YES 0.73/0.45
Zantema_04/z012.xml YES 8.72/3.11 YES 0.03/0.02 YES 1.26/0.60 YES 0.06/0.07 YES 0.76/0.45
Zantema_04/z060.xml YES 3.64/1.58 YES 0.02/0.02 YES 0.95/0.53 StarExec error YES 1.01/0.64
Zantema_04/z121.xml YES 8.54/2.88 YES 0.06/0.06 YES 7.88/2.28 StarExec error YES 1.11/0.68
Zantema_04/z124.xml YES 3.86/1.71 YES 0.03/0.03 YES 1.18/0.58 YES 0.55/0.53 YES 1.13/0.56
Zantema_04/z033.xml YES 3.72/1.57 YES 0.09/0.07 YES 1.28/0.62 StarExec error YES 1.03/0.63
Zantema_04/z076.xml YES 15.76/4.88 YES 0.04/0.03 YES 1.72/0.73 YES 0.03/0.06 YES 3.57/1.17
Zantema_04/z056.xml YES 3.80/1.61 YES 0.03/0.02 YES 1.25/0.59 StarExec error YES 1.03/0.54
Zantema_04/z114.xml YES 7.71/2.82 YES 0.03/0.02 YES 2.49/0.92 YES 0.41/0.49 YES 3.47/1.18
Zantema_04/z015.xml YES 11.67/3.69 YES 0.07/0.06 YES 3.56/1.18 YES 0.14/0.16 YES 1.13/0.56
Zantema_04/z045.xml YES 4.00/5.59 YES 0.34/0.29 YES 1.41/0.64 StarExec error YES 1.31/0.63
Zantema_04/z073.xml NO 5.15/1.96 MAYBE 0.13/0.12 MAYBE 172.74/43.55 StarExec error memout
Zantema_04/z031.xml YES 3.81/1.69 MAYBE 0.29/0.25 YES 1.30/0.62 StarExec error YES 1.29/0.61
Zantema_04/z009.xml YES 15.44/5.16 YES 0.03/0.03 YES 4.18/1.35 YES 0.02/0.04 YES 0.95/0.61
Zantema_04/z013.xml YES 3.90/1.68 YES 0.02/0.02 YES 2.52/0.92 YES 0.88/0.89 YES 1.17/0.56
Zantema_04/z123.xml YES 12.22/4.05 YES 0.06/0.06 YES 8.04/2.31 StarExec error YES 1.83/0.74
Zantema_04/z098.xml YES 3.75/1.62 MAYBE 2.52/1.76 YES 1.38/0.63 StarExec error YES 8.73/2.81
Zantema_04/z035.xml YES 3.50/1.61 MAYBE 0.21/0.19 YES 1.82/0.75 StarExec error memout
Zantema_04/z075.xml YES 23.66/6.82 YES 0.16/0.15 YES 6.76/2.01 StarExec error YES 1.20/0.56
Zantema_04/z119.xml YES 13.67/4.14 MAYBE 0.38/0.33 YES 7.22/2.13 timeout (wallclock) YES 35.99/9.38
Zantema_04/z072.xml YES 3.78/1.66 YES 0.12/0.11 YES 2.50/0.94 YES 0.99/1.61 YES 5.44/1.67
Zantema_04/z079.xml StarExec error MAYBE 0.21/0.20 MAYBE 171.84/43.31 StarExec error memout
Zantema_04/z066.xml YES 21.15/6.52 YES 0.19/0.19 YES 5.61/1.72 YES 0.42/0.41 YES 1.98/0.79
Zantema_04/z112.xml YES 6.69/2.43 YES 0.02/0.02 YES 5.40/1.66 StarExec error YES 0.92/0.49
Zantema_04/z118.xml YES 7.21/2.53 YES 0.03/0.03 YES 4.94/1.56 YES 1.31/1.51 YES 0.99/0.60
Zantema_04/z074.xml YES 26.21/7.52 YES 0.25/0.23 YES 16.93/4.60 StarExec error YES 2.37/0.90
Zantema_04/z078.xml YES 18.20/5.42 YES 0.05/0.05 YES 4.58/1.45 YES 0.06/0.09 memout
Zantema_04/z102.xml YES 6.07/2.25 YES 0.02/0.02 YES 2.66/0.98 YES 1.59/1.76 YES 0.76/0.46
Zantema_04/z093.xml YES 12.39/3.84 YES 0.02/0.02 YES 2.66/0.97 YES 0.04/0.04 YES 0.79/0.46
Zantema_04/z092.xml YES 10.91/3.70 YES 0.04/0.03 YES 2.12/0.84 YES 1.22/1.18 YES 1.02/0.52
Zantema_04/z039.xml YES 3.20/1.47 MAYBE 5.62/5.50 YES 1.38/0.64 StarExec error YES 1.19/0.54
Zantema_04/z047.xml YES 3.40/1.54 YES 0.04/0.04 YES 1.75/0.72 StarExec error YES 0.92/0.51
Zantema_04/z049.xml YES 3.57/1.56 YES 0.03/0.03 YES 0.95/0.53 YES 0.01/0.01 YES 0.62/0.40
Zantema_04/z006.xml YES 4.13/1.79 YES 0.03/0.03 YES 1.37/0.64 YES 0.01/0.01 YES 1.13/0.57
Zantema_04/z089.xml YES 21.55/6.24 MAYBE 0.21/0.19 YES 5.15/1.60 YES 8.88/9.03 YES 0.94/0.62
Zantema_04/z065.xml YES 14.13/4.32 MAYBE 0.01/0.01 YES 1.53/0.68 YES 0.12/0.12 YES 1.09/0.55
Zantema_04/z008.xml YES 26.19/7.43 YES 0.50/0.47 YES 4.97/1.55 YES 31.91/32.07 YES 1.63/0.68
Zantema_04/z100.xml YES 26.15/7.57 YES 0.34/0.31 YES 21.03/5.65 StarExec error YES 28.05/7.45
Zantema_04/z090.xml YES 61.53/16.72 MAYBE 0.19/0.17 YES 51.92/14.74 timeout (wallclock) memout
Zantema_04/z024.xml YES 10.88/3.48 YES 0.11/0.09 YES 3.41/1.15 YES 0.07/0.11 YES 0.72/0.46
Zantema_04/z096.xml NO 3.24/1.64 NO 0.67/0.53 NO 0.83/0.49 StarExec error NO 0.49/0.36
Zantema_04/z087.xml YES 3.40/1.52 MAYBE 0.43/0.41 YES 1.06/0.54 StarExec error YES 1.26/0.60
Zantema_04/z067.xml YES 11.58/3.97 YES 0.04/0.05 YES 9.52/2.73 YES 0.75/0.91 YES 1.17/0.57
Zantema_04/z023.xml YES 18.86/5.85 YES 0.21/0.17 YES 4.41/1.42 StarExec error YES 0.83/0.47
Zantema_04/z043.xml YES 3.47/1.54 MAYBE 0.25/0.22 YES 1.48/0.67 StarExec error YES 0.96/0.51
Zantema_04/z051.xml YES 3.58/1.57 MAYBE 0.57/0.52 YES 1.03/0.60 StarExec error YES 0.64/0.41
Zantema_04/z091.xml YES 17.23/5.11 YES 0.10/0.09 YES 33.94/8.89 YES 0.09/0.09 YES 11.82/3.75
Zantema_04/z094.xml YES 9.99/3.26 YES 0.14/0.13 YES 5.97/1.81 YES 1.16/1.20 YES 1.18/0.69
Zantema_04/z071.xml YES 22.52/6.56 YES 0.06/0.05 YES 2.14/0.83 YES 0.04/0.05 YES 0.96/0.65
Zantema_04/z032.xml YES 3.49/1.55 MAYBE 0.32/0.27 YES 1.46/0.66 StarExec error StarExec error
Zantema_04/z017.xml YES 3.70/1.60 YES 0.02/0.02 YES 2.96/1.03 YES 0.02/0.07 YES 1.06/0.62
Zantema_04/z086.xml YES 24.96/7.12 MAYBE 0.31/0.29 YES 92.87/23.57 StarExec error memout
Zantema_04/z110.xml YES 18.88/5.63 MAYBE 0.24/0.21 YES 4.52/1.44 YES 1.09/1.22 YES 2.17/0.93
Zantema_04/z122.xml YES 7.85/2.83 YES 0.03/0.03 YES 3.98/1.30 StarExec error YES 0.89/0.49
Zantema_04/z063.xml YES 3.45/1.58 YES 0.03/0.02 YES 0.86/0.50 YES 0.02/0.03 YES 0.64/0.43
Zantema_04/z126.xml YES 5.30/2.03 YES 0.02/0.01 YES 3.05/1.06 YES 1.33/1.38 YES 0.77/0.57
Zantema_04/z115.xml YES 19.31/5.73 YES 0.02/0.02 YES 3.30/1.12 YES 3.84/4.41 YES 0.95/0.61
Zantema_04/z021.xml YES 3.35/1.51 YES 0.09/0.08 YES 2.25/0.85 MAYBE 0.55/0.52 YES 0.98/0.51
Zantema_04/z059.xml YES 3.75/1.61 MAYBE 0.46/0.43 YES 1.24/0.59 StarExec error YES 1.02/0.62
Zantema_04/z070.xml YES 26.11/7.55 YES 0.37/0.36 YES 13.06/3.61 StarExec error YES 1.59/0.68
Zantema_04/z029.xml YES 3.69/1.59 MAYBE 0.40/0.33 YES 1.39/0.64 StarExec error YES 2.24/0.84
Zantema_04/z036.xml YES 3.82/1.69 MAYBE 0.80/0.71 YES 1.92/0.78 StarExec error YES 2.88/1.00
Zantema_04/z004.xml YES 3.88/1.74 YES 0.07/0.11 YES 1.27/0.62 YES 0.05/0.07 YES 0.95/0.60
Zantema_04/z027.xml YES 3.80/1.66 MAYBE 0.22/0.19 YES 2.15/0.82 StarExec error YES 2.51/0.89
Zantema_04/z108.xml YES 4.06/1.72 YES 0.02/0.02 YES 4.18/1.34 MAYBE 6.56/6.76 YES 0.88/0.49
Zantema_04/z064.xml YES 3.72/1.62 MAYBE 1.83/1.70 YES 1.15/0.57 StarExec error YES 0.79/0.48
Zantema_04/z081.xml YES 14.10/4.35 YES 0.04/0.03 YES 5.99/1.81 YES 0.06/0.06 YES 1.32/0.66
Trafo_06/un08.xml YES 20.52/5.95 MAYBE 0.39/0.36 MAYBE 170.89/43.08 StarExec error YES 1.93/0.75
Trafo_06/hom01.xml YES 33.53/9.28 MAYBE 1.50/1.33 YES 9.35/2.65 StarExec error YES 1.38/0.61
Trafo_06/dup06.xml YES 10.11/3.52 YES 0.88/0.66 YES 43.23/12.58 StarExec error YES 1.65/0.69
Trafo_06/un07.xml YES 17.28/6.47 MAYBE 0.37/0.35 YES 92.89/23.74 StarExec error YES 1.72/0.71
Trafo_06/hom03.xml YES 3.97/1.75 MAYBE 11.34/9.23 YES 106.85/27.09 YES 3.55/3.63 YES 3.30/1.12
Trafo_06/dup10.xml StarExec error MAYBE 243.03/180.27 YES 116.84/29.65 StarExec error timeout (wallclock)
Trafo_06/un12.xml YES 4.21/2.72 MAYBE 1.18/1.10 MAYBE 172.50/43.47 StarExec error timeout (wallclock)
Trafo_06/un14.xml YES 137.40/35.29 StarExec error YES 130.38/33.01 StarExec error YES 6.80/2.26
Trafo_06/dup08.xml YES 45.14/12.22 YES 14.56/10.91 timeout (wallclock) StarExec error YES 2.30/1.00
Trafo_06/dup15.xml YES 18.94/5.87 YES 0.02/0.03 YES 4.60/1.47 YES 0.98/1.05 memout
Trafo_06/un10.xml timeout (wallclock) MAYBE 6.15/6.00 YES 115.02/29.12 StarExec error YES 22.59/6.08
Trafo_06/hom02.xml YES 10.64/3.60 YES 0.04/0.03 YES 5.45/1.69 YES 0.17/0.16 YES 1.07/0.66
Trafo_06/un13.xml StarExec error MAYBE 1.83/1.69 MAYBE 171.85/43.34 StarExec error memout
Trafo_06/dup05.xml YES 24.64/7.01 YES 3.43/2.73 YES 7.70/2.45 StarExec error YES 5.16/1.60
Trafo_06/dup14.xml YES 29.99/11.86 MAYBE 3.28/2.82 YES 105.04/26.68 StarExec error YES 1.37/0.73
Trafo_06/dup01.xml YES 49.74/13.39 YES 1.89/1.89 timeout (wallclock) YES 0.24/0.23 YES 1.25/0.96
Trafo_06/un16.xml StarExec error MAYBE 0.89/0.84 MAYBE 171.51/43.26 StarExec error timeout (cpu)
Trafo_06/dup13.xml YES 207.25/52.75 YES 7.49/6.97 YES 8.40/2.41 StarExec error timeout (cpu)
Trafo_06/un02.xml StarExec error MAYBE 64.48/51.70 StarExec error StarExec error timeout (cpu)
Trafo_06/un04.xml NO 8.92/3.08 MAYBE 0.57/0.55 MAYBE 173.16/43.66 StarExec error NO 0.67/0.50
Trafo_06/un15.xml YES 745.75/188.67 MAYBE 1.27/1.17 MAYBE 171.41/43.22 StarExec error YES 7.88/2.56
Trafo_06/dup12.xml YES 117.22/31.38 MAYBE 2.90/2.58 YES 16.56/4.49 StarExec error YES 21.34/5.81
Trafo_06/un06.xml YES 23.68/7.13 YES 0.52/0.49 YES 13.34/3.68 StarExec error YES 1.42/0.73
Trafo_06/dup17.xml YES 20.89/6.35 StarExec error YES 6.08/1.84 StarExec error YES 536.14/137.13
Trafo_06/un05.xml YES 21.75/6.53 MAYBE 0.27/0.26 MAYBE 170.63/43.02 StarExec error memout
Trafo_06/un11.xml StarExec error MAYBE 1.19/1.12 MAYBE 171.50/43.23 StarExec error memout
Trafo_06/dup16.xml YES 5.45/2.16 YES 0.06/0.06 YES 99.38/25.29 StarExec error YES 0.93/0.60
Trafo_06/dup11.xml YES 41.10/11.07 YES 2.32/2.31 MAYBE 174.02/43.98 timeout (wallclock) YES 1.52/0.65
Trafo_06/un18.xml StarExec error MAYBE 0.80/0.74 MAYBE 172.59/43.55 StarExec error YES 54.93/14.18
Trafo_06/un09.xml YES 62.87/16.83 MAYBE 0.88/0.82 YES 141.42/35.74 StarExec error YES 6.99/2.03
Trafo_06/un17.xml YES 250.57/64.20 MAYBE 0.68/0.66 MAYBE 173.43/43.75 StarExec error YES 8.89/2.58
Trafo_06/dup09.xml YES 24.77/7.06 MAYBE 0.01/0.02 YES 1.52/0.68 YES 0.32/0.31 YES 1.25/0.69
Trafo_06/dup07.xml YES 46.83/12.56 MAYBE 1.17/1.01 YES 107.86/27.38 StarExec error YES 1.96/0.76
Secret_07_SRS/num-515.xml NO 30.56/8.42 MAYBE 0.19/0.16 MAYBE 170.58/43.02 StarExec error NO 7.33/2.37
Secret_07_SRS/x02.xml YES 106.94/27.52 MAYBE 0.15/0.13 YES 122.09/30.87 MAYBE 34.88/35.78 timeout (wallclock)
Secret_07_SRS/num-520.xml StarExec error MAYBE 0.14/0.12 MAYBE 171.34/43.18 StarExec error StarExec error
Secret_07_SRS/x03.xml YES 11.21/3.82 MAYBE 0.19/0.17 YES 93.55/23.82 StarExec error YES 1.12/0.56
Secret_07_SRS/x06.xml YES 52.56/14.04 MAYBE 0.29/0.26 MAYBE 170.86/43.07 MAYBE 41.97/44.19 memout
Secret_07_SRS/num-518.xml StarExec error MAYBE 0.28/0.24 MAYBE 171.08/43.12 StarExec error NO 2.07/0.93
Secret_07_SRS/x05.xml YES 13.78/4.48 MAYBE 0.18/0.16 YES 91.86/23.32 MAYBE 44.62/46.97 YES 33.78/8.84
Secret_07_SRS/dj.xml YES 16.71/5.02 YES 0.03/0.03 YES 1.24/0.59 YES 0.01/0.01 YES 0.77/0.44
Secret_07_SRS/num-539.xml NO 4.98/2.03 MAYBE 0.18/0.16 NO 1.93/0.78 StarExec error NO 0.71/0.53
Secret_07_SRS/num-530.xml NO 16.87/5.16 MAYBE 0.20/0.18 NO 15.74/4.24 StarExec error NO 0.50/0.37
Secret_07_SRS/x07.xml timeout (cpu) MAYBE 0.65/0.60 StarExec error timeout (wallclock) memout
Secret_07_SRS/num-519.xml NO 7.88/2.75 MAYBE 0.28/0.23 MAYBE 170.23/42.95 StarExec error NO 0.61/0.40
Secret_07_SRS/x08.xml YES 50.78/14.40 MAYBE 0.45/0.35 MAYBE 169.80/42.80 StarExec error timeout (cpu)
Secret_07_SRS/num-521.xml NO 428.66/107.94 MAYBE 0.15/0.14 MAYBE 167.20/43.06 StarExec error NO 0.60/0.39
Secret_07_SRS/num-527.xml NO 147.92/39.59 MAYBE 0.19/0.17 MAYBE 170.96/43.12 StarExec error NO 0.79/0.56
Secret_07_SRS/num-525.xml NO 55.09/14.59 MAYBE 0.22/0.19 NO 5.80/1.75 StarExec error NO 0.67/0.51
Secret_07_SRS/x10.xml YES 38.27/10.44 MAYBE 0.24/0.19 YES 141.77/35.83 MAYBE 26.18/26.70 memout
Secret_07_SRS/x04.xml YES 38.75/10.80 MAYBE 0.25/0.22 YES 48.06/14.58 StarExec error YES 8.03/2.29
Secret_07_SRS/x09.xml YES 101.10/26.78 MAYBE 0.35/0.27 MAYBE 170.68/43.02 StarExec error timeout (cpu)
Secret_07_SRS/x01.xml YES 41.91/11.75 MAYBE 0.15/0.13 YES 133.99/33.86 MAYBE 9.24/10.05 memout
Secret_07_SRS/num-514.xml NO 805.45/203.01 MAYBE 0.26/0.23 MAYBE 170.96/43.16 StarExec error NO 0.78/0.45
Waldmann_07_size11/size-11-alpha-3-num-12.xml YES 13.77/4.46 MAYBE 0.11/0.09 YES 88.26/22.41 StarExec error memout
Waldmann_07_size11/size-11-alpha-3-num-20.xml YES 10.55/3.59 MAYBE 0.09/0.08 YES 87.31/22.14 StarExec error YES 1.90/0.87
Waldmann_07_size11/size-11-alpha-2-num-4.xml YES 18.83/5.47 MAYBE 0.13/0.11 YES 92.60/23.56 StarExec error memout
Waldmann_07_size11/size-11-alpha-3-num-21.xml NO 7.88/2.68 MAYBE 0.10/0.08 MAYBE 168.00/42.47 MAYBE 7.10/9.63 NO 1.85/0.76
Waldmann_07_size11/size-11-alpha-3-num-3.xml YES 10.26/3.49 MAYBE 0.11/0.09 YES 43.13/11.28 StarExec error YES 2.99/1.03
Waldmann_07_size11/size-11-alpha-3-num-8.xml YES 18.16/5.45 MAYBE 0.13/0.10 YES 89.73/22.81 StarExec error timeout (cpu)
Waldmann_07_size11/size-11-alpha-3-num-1.xml NO 82.33/21.45 MAYBE 0.13/0.11 MAYBE 170.75/43.04 StarExec error NO 0.85/0.47
Waldmann_07_size11/size-11-alpha-3-num-4.xml StarExec error MAYBE 0.15/0.12 MAYBE 170.00/42.85 MAYBE 24.05/24.42 NO 32.00/8.35
Waldmann_07_size11/size-11-alpha-3-num-5.xml YES 9.94/3.39 MAYBE 0.15/0.12 YES 113.72/28.78 MAYBE 3.21/3.33 memout
Waldmann_07_size11/size-11-alpha-3-num-14.xml YES 13.06/4.31 MAYBE 0.12/0.11 YES 96.11/24.37 MAYBE 5.79/6.02 memout
Waldmann_07_size11/size-11-alpha-3-num-2.xml YES 31.01/8.61 MAYBE 0.12/0.10 YES 165.11/41.65 MAYBE 5.81/6.31 timeout (cpu)
Waldmann_07_size11/size-11-alpha-3-num-11.xml YES 16.07/4.80 MAYBE 0.11/0.10 YES 89.73/22.79 MAYBE 2.76/2.84 timeout (cpu)
Waldmann_07_size11/size-11-alpha-2-num-3.xml YES 29.96/8.34 MAYBE 0.21/0.16 YES 154.25/39.05 StarExec error memout
Waldmann_07_size11/size-11-alpha-3-num-6.xml YES 24.66/6.99 MAYBE 0.15/0.12 YES 91.80/23.30 timeout (wallclock) memout
Waldmann_07_size11/size-11-alpha-2-num-2.xml YES 27.44/7.69 MAYBE 0.17/0.15 MAYBE 170.72/43.03 StarExec error memout
Waldmann_07_size11/size-11-alpha-2-num-1.xml YES 31.16/8.68 MAYBE 0.13/0.11 MAYBE 171.39/43.19 StarExec error timeout (cpu)
Waldmann_07_size11/size-11-alpha-3-num-16.xml YES 9.50/3.14 MAYBE 0.12/0.10 YES 43.32/11.41 StarExec error YES 1.87/0.86
Waldmann_07_size11/size-11-alpha-3-num-17.xml YES 32.48/9.10 MAYBE 0.09/0.08 YES 87.52/22.22 MAYBE 1.15/1.26 YES 2.59/0.92
Waldmann_07_size11/size-11-alpha-3-num-13.xml YES 12.87/4.20 MAYBE 0.16/0.13 YES 94.74/24.04 MAYBE 1.42/1.51 memout
Waldmann_07_size11/size-11-alpha-3-num-15.xml NO 10.39/3.40 MAYBE 0.15/0.13 NO 8.87/2.52 StarExec error NO 0.62/0.50
Waldmann_07_size11/size-11-alpha-3-num-7.xml YES 26.93/7.70 MAYBE 0.16/0.13 YES 89.44/22.72 StarExec error memout
Waldmann_07_size11/size-11-alpha-3-num-10.xml YES 15.62/4.69 MAYBE 0.16/0.13 YES 89.00/22.57 MAYBE 4.53/4.76 memout
Waldmann_07_size11/size-11-alpha-3-num-19.xml YES 23.84/6.91 MAYBE 0.10/0.08 YES 89.34/22.67 StarExec error StarExec error
Waldmann_07_size11/size-11-alpha-3-num-9.xml YES 15.35/4.68 MAYBE 0.11/0.09 YES 89.95/22.84 StarExec error memout
Waldmann_07_size11/size-11-alpha-3-num-18.xml NO 5.04/1.91 MAYBE 0.09/0.08 MAYBE 164.60/42.57 StarExec error NO 3.25/1.25
Waldmann_06_SRS/sym-1.xml YES 5.56/2.18 MAYBE 0.12/0.11 YES 42.44/11.18 StarExec error YES 0.94/0.59
Waldmann_06_SRS/sym-4.xml YES 5.62/2.14 MAYBE 0.11/0.10 YES 41.96/11.02 StarExec error YES 0.94/0.59
Waldmann_06_SRS/z086-variant.xml YES 53.10/14.06 StarExec error MAYBE 171.39/43.20 StarExec error memout
Waldmann_06_SRS/uni-1.xml YES 4.87/1.98 MAYBE 0.14/0.12 YES 42.14/11.02 StarExec error YES 1.18/0.55
Waldmann_06_SRS/uni-7.xml StarExec error MAYBE 1.82/1.64 MAYBE 171.66/43.26 timeout (wallclock) YES 39.03/10.17
Waldmann_06_SRS/pi.xml YES 39.88/10.91 YES 0.59/0.54 YES 21.48/5.74 YES 43.29/44.90 YES 1.90/0.76
Waldmann_06_SRS/jw3.xml YES 19.98/6.14 MAYBE 0.25/0.23 MAYBE 172.18/43.43 timeout (wallclock) memout
Waldmann_06_SRS/uni-4.xml NO 3.72/1.58 MAYBE 0.24/0.22 NO 2.38/0.89 StarExec error NO 0.50/0.37
Waldmann_06_SRS/jw4.xml YES 92.50/24.08 MAYBE 0.46/0.43 YES 131.45/33.26 StarExec error timeout (cpu)
Waldmann_06_SRS/uni-3.xml NO 5.62/2.11 MAYBE 0.28/0.25 MAYBE 171.19/43.13 StarExec error NO 0.60/0.40
Waldmann_06_SRS/sym-2.xml YES 41.11/11.20 MAYBE 0.20/0.16 MAYBE 171.11/43.14 StarExec error timeout (wallclock)
Waldmann_06_SRS/uni-2.xml NO 4.60/1.93 MAYBE 0.25/0.21 NO 1.42/0.65 StarExec error NO 0.62/0.40
Waldmann_06_SRS/jw1.xml YES 23.08/6.65 MAYBE 0.25/0.21 YES 123.24/31.16 timeout (wallclock) memout
Waldmann_06_SRS/uni-5.xml YES 25.70/7.31 MAYBE 0.17/0.14 YES 122.58/31.03 MAYBE 112.06/112.88 memout
Waldmann_06_SRS/uni-6.xml NO 10.58/3.46 MAYBE 0.63/0.58 MAYBE 171.28/43.19 StarExec error NO 0.63/0.41
Waldmann_06_SRS/sym-6.xml YES 120.37/31.92 MAYBE 0.43/0.32 YES 132.50/33.47 StarExec error memout
Waldmann_06_SRS/jw5.xml timeout (cpu) MAYBE 0.63/0.59 MAYBE 172.81/43.55 StarExec error timeout (cpu)
Waldmann_06_SRS/sym-5.xml YES 310.66/78.97 MAYBE 0.52/0.49 MAYBE 171.30/43.17 timeout (wallclock) memout
Waldmann_06_SRS/e.xml YES 61.58/16.26 YES 0.70/0.64 YES 18.85/5.08 YES 209.03/216.46 YES 5.07/1.58
971 203 744 136 976