Termination Competition 2018: SRS Standard Certified30039

benchmark AProVE ttt2-1.17+nonreach
Secret_05_SRS/aprove2.xml YES 25.84/7.30 YES 31.69/8.24
Secret_05_SRS/jambox3.xml YES 70.92/19.14 MAYBE 233.68/67.35
Secret_05_SRS/jambox4.xml YES 41.04/12.17 YES 27.33/7.15
Secret_05_SRS/matchbox1.xml YES 36.45/10.38 YES 4.59/1.44
Secret_05_SRS/aprove3.xml YES 15.83/5.03 YES 21.96/5.77
Secret_05_SRS/aprove1.xml YES 28.77/8.19 YES 32.69/8.50
Secret_05_SRS/torpa2.xml YES 13.21/4.33 YES 53.77/13.73
Secret_05_SRS/jambox2.xml MAYBE 1165.33/292.33 MAYBE 233.76/67.35
Secret_05_SRS/jambox5.xml YES 39.74/11.25 MAYBE 234.43/67.36
Secret_05_SRS/torpa3.xml YES 8.86/3.11 YES 8.87/2.49
Secret_05_SRS/jambox1.xml YES 36.95/10.04 MAYBE 230.34/67.35
Secret_05_SRS/aprove4.xml YES 27.32/7.82 YES 37.12/9.59
Secret_05_SRS/aprove5.xml YES 41.91/11.48 YES 36.81/9.54
Secret_05_SRS/torpa4.xml YES 20.87/6.10 YES 23.70/6.23
Secret_05_SRS/torpa1.xml YES 17.83/5.24 YES 21.12/5.57
Secret_05_SRS/matchbox2.xml YES 24.17/7.21 YES 9.39/2.62
Mixed_SRS/01-oppelt08.xml NO 21.75/6.35 MAYBE 233.30/67.35
Mixed_SRS/05.xml YES 35.11/9.62 YES 65.15/16.58
Mixed_SRS/03.xml YES 26.53/7.71 MAYBE 230.20/67.33
Mixed_SRS/01.xml YES 14.17/4.57 MAYBE 230.29/67.35
Mixed_SRS/touzet.xml YES 10.71/3.54 YES 8.66/2.48
Mixed_SRS/06.xml YES 36.64/9.98 YES 27.04/7.04
Mixed_SRS/02.xml YES 33.31/9.49 MAYBE 231.26/67.35
Mixed_SRS/08-oppelt08.xml NO 6.28/2.32 MAYBE 232.54/67.35
Mixed_SRS/07-oppelt08.xml NO 4.78/1.93 MAYBE 233.47/67.34
Mixed_SRS/3.xml YES 8.35/3.00 YES 3.60/1.16
Mixed_SRS/1.xml NO 4.66/1.90 MAYBE 230.44/67.34
Mixed_SRS/04.xml YES 50.10/14.01 MAYBE 230.15/67.34
Mixed_SRS/08.xml YES 193.66/49.21 MAYBE 230.69/67.33
Mixed_SRS/04-oppelt08.xml NO 29.49/8.53 MAYBE 231.61/67.36
Mixed_SRS/03-oppelt08.xml NO 50.52/13.38 MAYBE 230.67/67.34
Mixed_SRS/s6.xml YES 8.99/3.17 YES 2.10/0.81
Mixed_SRS/09.xml YES 24.21/6.82 YES 26.30/7.05
Mixed_SRS/06-oppelt08.xml NO 4.11/1.81 MAYBE 230.97/67.35
Mixed_SRS/07.xml YES 28.43/8.03 YES 21.39/5.63
Mixed_SRS/2.xml YES 29.82/8.32 YES 155.54/39.22
Mixed_SRS/02-oppelt08.xml NO 71.73/19.25 MAYBE 230.63/67.35
Mixed_SRS/turing_copy.xml NO 3.24/1.53 NO 0.35/0.35
Mixed_SRS/turing_add.xml YES 26.86/7.73 YES 1.80/0.72
Mixed_SRS/4.xml timeout (wallclock) MAYBE 230.95/67.35
Mixed_SRS/turing_mult.xml NO 3.64/1.68 NO 2.03/0.81
Mixed_SRS/05-oppelt08.xml NO 9.86/3.26 MAYBE 233.83/67.35
Secret_07_SRS/num-515.xml NO 22.12/6.34 MAYBE 230.92/67.35
Secret_07_SRS/x02.xml YES 100.47/26.31 YES 37.11/9.86
Secret_07_SRS/num-520.xml MAYBE 1162.76/291.66 MAYBE 230.24/67.34
Secret_07_SRS/x03.xml YES 17.65/5.23 YES 27.32/7.12
Secret_07_SRS/x06.xml YES 22.43/6.90 MAYBE 232.94/67.37
Secret_07_SRS/num-518.xml MAYBE 1163.89/292.10 MAYBE 231.43/67.35
Secret_07_SRS/x05.xml YES 16.45/5.69 YES 25.89/6.78
Secret_07_SRS/dj.xml YES 10.32/3.42 YES 1.42/0.62
Secret_07_SRS/num-539.xml NO 5.04/2.00 MAYBE 230.60/67.34
Secret_07_SRS/num-530.xml NO 8.18/2.82 MAYBE 230.65/67.34
Secret_07_SRS/x07.xml timeout (wallclock) MAYBE 232.43/67.36
Secret_07_SRS/num-519.xml NO 5.93/2.52 MAYBE 231.36/67.34
Secret_07_SRS/x08.xml YES 44.80/12.17 YES 97.74/24.73
Secret_07_SRS/num-521.xml NO 466.79/117.53 MAYBE 230.58/67.35
Secret_07_SRS/num-527.xml NO 186.94/47.56 MAYBE 230.35/67.34
Secret_07_SRS/num-525.xml NO 86.14/22.82 MAYBE 230.66/67.34
Secret_07_SRS/x10.xml YES 38.37/10.90 YES 40.69/10.48
Secret_07_SRS/x04.xml YES 44.59/12.17 YES 54.16/13.88
Secret_07_SRS/x09.xml YES 115.48/29.93 MAYBE 230.58/67.34
Secret_07_SRS/x01.xml YES 12.85/4.20 YES 28.05/7.70
Secret_07_SRS/num-514.xml NO 580.02/145.90 MAYBE 230.40/67.34
Secret_06_SRS/10.xml YES 11.94/4.00 YES 13.81/3.71
Secret_06_SRS/aprove07.xml YES 39.97/14.05 YES 50.78/13.07
Secret_06_SRS/secr2.xml YES 13.51/4.16 YES 20.27/5.65
Secret_06_SRS/secr9.xml YES 33.82/9.35 YES 50.10/12.86
Secret_06_SRS/aprove04.xml YES 14.69/4.75 MAYBE 208.44/67.44
Secret_06_SRS/multum5.xml YES 27.63/7.71 YES 6.89/1.99
Secret_06_SRS/secr3.xml YES 10.76/3.66 MAYBE 232.72/67.36
Secret_06_SRS/5-matchbox.xml YES 20.09/5.92 YES 46.35/11.87
Secret_06_SRS/secr4.xml YES 64.86/17.23 YES 9.57/2.66
Secret_06_SRS/3.xml YES 388.28/98.03 MAYBE 230.19/67.34
Secret_06_SRS/multum6.xml YES 34.59/9.60 YES 17.39/4.63
Secret_06_SRS/7.xml YES 11.99/3.94 YES 27.33/7.12
Secret_06_SRS/aprove02.xml YES 56.91/15.39 YES 29.41/7.69
Secret_06_SRS/1.xml MAYBE 1162.81/291.78 MAYBE 232.18/67.35
Secret_06_SRS/aprove08.xml YES 20.06/6.26 YES 38.35/10.07
Secret_06_SRS/multum2.xml YES 59.89/16.29 YES 6.43/1.88
Secret_06_SRS/secr10.xml YES 26.47/7.52 YES 30.76/8.01
Secret_06_SRS/multum3.xml YES 31.36/8.71 YES 14.48/3.89
Secret_06_SRS/aprove09.xml YES 22.66/7.82 YES 26.54/6.94
Secret_06_SRS/aprove01.xml YES 28.88/8.08 YES 35.36/9.16
Secret_06_SRS/secr7.xml YES 13.32/4.37 StarExec error
Secret_06_SRS/5.xml YES 43.66/12.22 YES 88.96/22.57
Secret_06_SRS/3-matchbox.xml YES 37.39/10.24 YES 15.21/4.09
Secret_06_SRS/aprove06.xml YES 38.01/11.01 YES 60.89/16.00
Secret_06_SRS/aprove03.xml YES 22.24/6.77 YES 28.32/7.46
Secret_06_SRS/2.xml YES 32.30/8.95 YES 56.51/14.41
Secret_06_SRS/2-matchbox.xml YES 238.34/60.92 YES 20.39/5.39
Secret_06_SRS/8.xml YES 43.82/11.87 YES 19.03/5.03
Secret_06_SRS/secr8.xml YES 20.06/6.95 YES 37.19/9.58
Secret_06_SRS/secr6.xml YES 41.57/11.64 YES 30.13/7.86
Secret_06_SRS/6.xml YES 34.78/9.59 YES 8.74/2.46
Secret_06_SRS/aprove00.xml YES 14.21/4.34 YES 26.67/6.98
Secret_06_SRS/secr5.xml YES 159.35/41.21 MAYBE 233.49/67.35
Secret_06_SRS/9.xml YES 12.92/4.26 YES 15.53/4.15
Secret_06_SRS/multum1.xml YES 196.52/50.03 YES 16.11/4.30
Secret_06_SRS/aprove05.xml YES 36.11/12.79 YES 26.59/7.01
Secret_06_SRS/secr1.xml YES 11.15/3.55 YES 9.50/2.68
Secret_06_SRS/1-matchbox.xml NO 225.45/57.25 MAYBE 229.81/67.36
Secret_06_SRS/multum4.xml timeout (wallclock) YES 56.50/14.43
Bouchare_06/05.xml YES 20.36/5.97 YES 10.35/2.85
Bouchare_06/03.xml YES 11.54/4.00 YES 27.85/7.26
Bouchare_06/01.xml YES 5.44/2.19 YES 6.60/1.91
Bouchare_06/12.xml YES 29.68/8.29 YES 10.27/2.83
Bouchare_06/10.xml YES 45.80/12.72 YES 8.42/2.37
Bouchare_06/06.xml YES 14.83/4.74 YES 31.70/8.20
Bouchare_06/02.xml YES 9.27/3.08 YES 4.83/1.47
Bouchare_06/14.xml YES 5.51/2.25 YES 4.89/1.49
Bouchare_06/13.xml YES 25.14/7.06 YES 31.03/8.04
Bouchare_06/04.xml YES 5.20/2.12 YES 7.00/2.02
Bouchare_06/17.xml YES 5.35/2.06 YES 6.11/1.79
Bouchare_06/08.xml NO 3.33/1.51 NO 1.88/0.74
Bouchare_06/16.xml YES 4.73/1.99 YES 5.42/1.65
Bouchare_06/09.xml NO 3.41/1.62 NO 2.48/0.88
Bouchare_06/11.xml YES 30.25/8.66 YES 5.35/1.60
Bouchare_06/07.xml YES 26.27/7.47 YES 28.71/7.45
Bouchare_06/18.xml YES 15.99/4.98 YES 35.72/9.22
Bouchare_06/15.xml YES 10.09/3.28 YES 6.00/1.76
ICFP_2010/167391.xml YES 284.90/74.37 MAYBE 210.19/70.67
ICFP_2010/4484.xml timeout (wallclock) MAYBE 207.98/67.86
ICFP_2010/26862.xml MAYBE 1042.69/299.67 MAYBE 208.55/68.89
ICFP_2010/137956.xml timeout (wallclock) MAYBE 210.44/70.05
ICFP_2010/86559.xml YES 12.12/4.08 YES 4.70/1.72
ICFP_2010/264033.xml YES 28.03/10.71 YES 38.73/10.29
ICFP_2010/131982.xml timeout (wallclock) MAYBE 209.68/68.98
ICFP_2010/137809.xml timeout (wallclock) MAYBE 209.77/68.91
ICFP_2010/4057.xml timeout (wallclock) MAYBE 208.49/68.00
ICFP_2010/45757.xml timeout (wallclock) MAYBE 207.89/67.91
ICFP_2010/139256.xml YES 64.92/17.46 MAYBE 208.43/69.00
ICFP_2010/158208.xml timeout (wallclock) MAYBE 210.89/70.06
ICFP_2010/5130.xml timeout (wallclock) MAYBE 207.99/67.96
ICFP_2010/3770.xml YES 91.99/24.45 YES 106.64/27.08
ICFP_2010/48267.xml timeout (wallclock) MAYBE 208.00/68.03
ICFP_2010/4206.xml timeout (wallclock) MAYBE 229.29/82.50
ICFP_2010/185453.xml timeout (wallclock) MAYBE 213.20/70.73
ICFP_2010/214011.xml YES 32.01/9.15 YES 33.97/9.14
ICFP_2010/96334.xml timeout (wallclock) MAYBE 207.81/67.86
ICFP_2010/135604.xml timeout (wallclock) MAYBE 209.85/68.94
ICFP_2010/3842.xml timeout (wallclock) StarExec error
ICFP_2010/41688.xml timeout (wallclock) MAYBE 212.17/70.14
ICFP_2010/4979.xml YES 178.41/45.71 MAYBE 207.70/67.75
ICFP_2010/4487.xml timeout (wallclock) MAYBE 209.09/68.05
ICFP_2010/4943.xml timeout (wallclock) YES 150.28/38.02
ICFP_2010/3916.xml timeout (wallclock) MAYBE 208.62/67.92
ICFP_2010/160068.xml timeout (wallclock) MAYBE 209.76/69.99
ICFP_2010/4106.xml timeout (wallclock) YES 158.23/40.01
ICFP_2010/26741.xml timeout (wallclock) MAYBE 208.88/69.09
ICFP_2010/4893.xml MAYBE 839.43/297.20 MAYBE 208.52/67.99
ICFP_2010/149849.xml timeout (wallclock) MAYBE 213.24/73.49
ICFP_2010/136051.xml MAYBE 832.07/297.78 MAYBE 209.45/68.94
ICFP_2010/246924.xml YES 27.84/7.90 MAYBE 215.14/74.25
ICFP_2010/26927.xml timeout (wallclock) MAYBE 208.35/69.10
ICFP_2010/26923.xml timeout (wallclock) MAYBE 208.08/68.97
ICFP_2010/161533.xml timeout (wallclock) MAYBE 210.77/70.90
ICFP_2010/135659.xml YES 374.74/105.88 MAYBE 209.08/69.74
ICFP_2010/139310.xml YES 46.07/12.60 MAYBE 208.40/69.01
ICFP_2010/136623.xml timeout (wallclock) MAYBE 209.83/68.88
ICFP_2010/212062.xml YES 11.41/4.13 YES 24.65/6.66
ICFP_2010/54532.xml YES 8.65/3.13 YES 39.46/23.38
ICFP_2010/27039.xml MAYBE 1042.92/299.96 MAYBE 208.64/68.92
ICFP_2010/132478.xml YES 57.38/15.55 MAYBE 208.37/69.01
ICFP_2010/157275.xml YES 71.99/20.05 MAYBE 209.55/69.85
ICFP_2010/4824.xml timeout (wallclock) MAYBE 209.08/68.00
ICFP_2010/4938.xml MAYBE 798.09/297.44 MAYBE 209.11/68.08
ICFP_2010/88172.xml timeout (wallclock) MAYBE 207.08/67.80
ICFP_2010/152865.xml timeout (wallclock) MAYBE 208.90/69.75
ICFP_2010/132920.xml YES 38.92/11.16 MAYBE 208.33/69.02
ICFP_2010/88183.xml timeout (wallclock) MAYBE 206.99/67.81
ICFP_2010/27001.xml timeout (wallclock) MAYBE 208.88/69.11
ICFP_2010/157593.xml YES 31.23/12.65 MAYBE 208.79/68.07
ICFP_2010/91218.xml timeout (wallclock) MAYBE 208.11/68.91
ICFP_2010/26845.xml timeout (wallclock) MAYBE 208.86/69.00
ICFP_2010/139163.xml YES 70.54/19.06 MAYBE 207.87/69.03
ICFP_2010/4314.xml timeout (wallclock) MAYBE 208.51/68.00
ICFP_2010/26886.xml timeout (wallclock) MAYBE 208.63/68.78
ICFP_2010/158477.xml MAYBE 950.65/296.99 MAYBE 209.76/69.88
ICFP_2010/27213.xml YES 44.06/11.90 YES 41.51/11.19
ICFP_2010/96289.xml timeout (wallclock) MAYBE 207.83/67.85
ICFP_2010/26946.xml timeout (wallclock) MAYBE 208.42/69.09
ICFP_2010/97888.xml timeout (wallclock) MAYBE 210.69/71.01
ICFP_2010/4374.xml timeout (wallclock) MAYBE 207.86/67.83
ICFP_2010/26871.xml timeout (wallclock) MAYBE 208.49/69.02
ICFP_2010/43266.xml timeout (wallclock) MAYBE 211.76/70.14
ICFP_2010/98623.xml YES 58.13/16.25 MAYBE 209.45/69.85
ICFP_2010/128430.xml YES 53.71/14.61 MAYBE 208.38/68.98
ICFP_2010/41427.xml timeout (wallclock) MAYBE 211.10/70.13
ICFP_2010/160263.xml YES 34.66/10.06 YES 38.96/10.36
ICFP_2010/25422.xml timeout (wallclock) MAYBE 208.35/68.77
ICFP_2010/96464.xml YES 54.39/14.78 MAYBE 207.92/67.88
ICFP_2010/26974.xml timeout (wallclock) MAYBE 208.60/68.93
ICFP_2010/85079.xml YES 229.53/58.40 MAYBE 208.79/68.24
ICFP_2010/135328.xml MAYBE 903.54/295.75 MAYBE 209.33/68.81
ICFP_2010/97885.xml timeout (wallclock) MAYBE 210.73/71.24
ICFP_2010/231300.xml YES 18.68/5.71 MAYBE 216.00/72.92
ICFP_2010/140639.xml YES 24.67/7.15 MAYBE 207.24/68.14
ICFP_2010/212693.xml YES 25.81/7.34 YES 25.90/7.03
ICFP_2010/139174.xml YES 55.95/15.47 MAYBE 208.49/69.02
ICFP_2010/96256.xml timeout (wallclock) MAYBE 207.73/67.89
ICFP_2010/166493.xml timeout (wallclock) MAYBE 209.96/70.31
ICFP_2010/259405.xml YES 54.38/14.88 StarExec error
ICFP_2010/4157.xml timeout (wallclock) MAYBE 208.39/68.00
ICFP_2010/86816.xml timeout (wallclock) MAYBE 208.50/68.14
ICFP_2010/230780.xml YES 29.76/8.42 MAYBE 225.50/81.46
ICFP_2010/91242.xml timeout (wallclock) MAYBE 208.17/68.78
ICFP_2010/149251.xml StarExec error MAYBE 212.38/72.61
ICFP_2010/42321.xml YES 67.44/18.53 StarExec error
ICFP_2010/140664.xml timeout (wallclock) MAYBE 207.53/68.42
ICFP_2010/85294.xml timeout (wallclock) MAYBE 209.01/68.22
ICFP_2010/51842.xml timeout (wallclock) MAYBE 222.80/80.08
ICFP_2010/26969.xml timeout (wallclock) StarExec error
ICFP_2010/128691.xml YES 52.35/16.20 MAYBE 207.85/69.00
ICFP_2010/27009.xml MAYBE 1038.80/295.25 MAYBE 208.56/69.05
ICFP_2010/165713.xml timeout (wallclock) MAYBE 209.71/70.05
ICFP_2010/26903.xml timeout (wallclock) MAYBE 208.81/69.00
ICFP_2010/4953.xml timeout (wallclock) MAYBE 208.86/68.07
ICFP_2010/133236.xml timeout (wallclock) StarExec error
ICFP_2010/131633.xml timeout (wallclock) MAYBE 208.70/68.86
ICFP_2010/161917.xml timeout (wallclock) MAYBE 209.51/70.47
ICFP_2010/128550.xml YES 59.54/16.61 MAYBE 208.42/69.01
ICFP_2010/211471.xml YES 29.38/8.28 MAYBE 209.80/69.20
ICFP_2010/39830.xml timeout (wallclock) MAYBE 209.40/69.83
ICFP_2010/57355.xml YES 442.86/112.84 MAYBE 208.97/68.29
ICFP_2010/132611.xml YES 38.32/10.38 MAYBE 209.51/68.90
ICFP_2010/153090.xml YES 53.73/14.73 MAYBE 209.45/69.85
ICFP_2010/159731.xml YES 87.10/22.82 MAYBE 207.22/67.65
ICFP_2010/212037.xml YES 107.43/27.75 MAYBE 207.15/67.62
ICFP_2010/149633.xml timeout (wallclock) MAYBE 212.48/72.67
ICFP_2010/133486.xml timeout (wallclock) MAYBE 209.86/69.02
ICFP_2010/134918.xml timeout (wallclock) MAYBE 209.97/69.03
ICFP_2010/213719.xml MAYBE 1093.30/296.11 MAYBE 207.81/67.79
ICFP_2010/212263.xml YES 29.70/8.30 YES 25.17/6.78
ICFP_2010/152694.xml timeout (wallclock) MAYBE 210.05/69.94
ICFP_2010/138269.xml timeout (wallclock) MAYBE 209.34/69.01
ICFP_2010/157436.xml timeout (wallclock) MAYBE 207.85/67.88
ICFP_2010/4964.xml timeout (wallclock) MAYBE 208.76/67.98
ICFP_2010/133010.xml YES 53.15/15.98 MAYBE 208.66/69.04
ICFP_2010/247906.xml YES 121.72/33.63 MAYBE 222.32/77.53
ICFP_2010/130472.xml timeout (wallclock) MAYBE 210.74/70.14
ICFP_2010/28464.xml YES 54.12/14.94 YES 63.47/16.95
ICFP_2010/138468.xml YES 43.29/12.27 MAYBE 210.11/70.47
ICFP_2010/133159.xml timeout (wallclock) MAYBE 209.82/68.93
ICFP_2010/211857.xml YES 25.35/7.51 YES 32.61/9.10
ICFP_2010/96523.xml timeout (wallclock) MAYBE 207.94/67.86
ICFP_2010/247504.xml YES 11.01/3.70 MAYBE 217.04/73.92
ICFP_2010/25711.xml timeout (wallclock) MAYBE 208.92/69.13
ICFP_2010/86452.xml timeout (wallclock) MAYBE 208.11/67.91
ICFP_2010/26993.xml timeout (wallclock) MAYBE 208.49/69.05
ICFP_2010/128280.xml YES 60.44/17.22 MAYBE 208.07/68.96
ICFP_2010/158152.xml timeout (wallclock) MAYBE 208.30/67.98
ICFP_2010/127538.xml YES 66.09/17.74 MAYBE 208.34/69.02
ICFP_2010/96198.xml timeout (wallclock) MAYBE 207.87/67.82
ICFP_2010/27026.xml timeout (wallclock) MAYBE 208.93/69.12
ICFP_2010/212795.xml YES 246.21/63.02 YES 149.35/37.78
ICFP_2010/26116.xml MAYBE 1104.44/294.55 MAYBE 208.71/68.90
ICFP_2010/25743.xml MAYBE 1136.31/299.58 MAYBE 208.83/69.04
ICFP_2010/160475.xml timeout (wallclock) MAYBE 210.06/70.55
ICFP_2010/26919.xml timeout (wallclock) MAYBE 209.00/69.15
ICFP_2010/26683.xml YES 44.82/12.62 YES 37.38/9.97
ICFP_2010/27019.xml StarExec error MAYBE 208.73/68.98
ICFP_2010/248060.xml YES 25.95/7.44 MAYBE 217.67/73.84
ICFP_2010/3989.xml timeout (wallclock) YES 148.69/37.61
ICFP_2010/96029.xml timeout (wallclock) MAYBE 207.77/67.82
ICFP_2010/135505.xml timeout (wallclock) MAYBE 210.14/69.96
ICFP_2010/27013.xml timeout (wallclock) MAYBE 208.72/68.91
ICFP_2010/140631.xml timeout (wallclock) MAYBE 206.99/67.81
ICFP_2010/231149.xml YES 16.62/5.09 MAYBE 211.94/70.51
ICFP_2010/85477.xml YES 66.35/18.04 MAYBE 209.07/68.21
ICFP_2010/128486.xml YES 38.63/11.16 MAYBE 208.09/69.03
ICFP_2010/149415.xml timeout (wallclock) MAYBE 212.88/73.07
ICFP_2010/124791.xml timeout (wallclock) MAYBE 209.84/68.90
ICFP_2010/247020.xml YES 27.62/7.81 MAYBE 228.55/85.77
ICFP_2010/28838.xml YES 70.91/18.86 MAYBE 65.67/17.73
ICFP_2010/27131.xml YES 54.73/15.07 YES 36.57/9.81
ICFP_2010/91254.xml MAYBE 805.85/293.23 MAYBE 208.16/68.89
ICFP_2010/139018.xml YES 53.57/14.94 MAYBE 208.46/69.01
ICFP_2010/86745.xml YES 11.64/4.09 MAYBE 207.67/67.94
ICFP_2010/26110.xml timeout (wallclock) MAYBE 208.79/68.96
ICFP_2010/3533.xml timeout (wallclock) YES 159.05/40.21
ICFP_2010/139036.xml YES 51.41/14.20 MAYBE 208.33/69.01
ICFP_2010/139180.xml YES 72.86/19.37 MAYBE 208.26/68.98
ICFP_2010/57453.xml timeout (wallclock) StarExec error
ICFP_2010/139378.xml YES 44.29/12.36 MAYBE 208.54/69.00
ICFP_2010/26951.xml MAYBE 1155.26/296.57 MAYBE 208.72/68.93
ICFP_2010/27030.xml YES 45.83/12.76 YES 41.16/10.85
ICFP_2010/153288.xml YES 142.41/36.87 MAYBE 209.00/69.74
ICFP_2010/136571.xml timeout (wallclock) MAYBE 209.45/69.83
ICFP_2010/138254.xml YES 24.39/6.97 MAYBE 209.95/68.96
ICFP_2010/140359.xml YES 51.07/13.88 MAYBE 208.34/68.98
ICFP_2010/186023.xml YES 23.15/6.94 MAYBE 215.16/70.74
ICFP_2010/137136.xml timeout (wallclock) MAYBE 211.00/70.12
ICFP_2010/4920.xml timeout (wallclock) MAYBE 208.71/68.00
ICFP_2010/48374.xml MAYBE 849.64/293.66 MAYBE 207.92/68.06
ICFP_2010/88208.xml YES 37.81/10.67 MAYBE 206.79/67.83
ICFP_2010/85380.xml timeout (wallclock) MAYBE 208.81/68.21
ICFP_2010/95952.xml timeout (wallclock) MAYBE 208.18/68.08
ICFP_2010/96176.xml timeout (wallclock) MAYBE 207.54/67.71
ICFP_2010/26954.xml timeout (wallclock) MAYBE 208.85/68.99
ICFP_2010/182946.xml timeout (wallclock) MAYBE 213.76/70.62
ICFP_2010/41378.xml timeout (wallclock) MAYBE 220.73/77.49
ICFP_2010/213051.xml YES 51.11/13.66 YES 60.88/16.08
ICFP_2010/3831.xml timeout (wallclock) MAYBE 208.07/67.94
ICFP_2010/136693.xml timeout (wallclock) MAYBE 212.12/70.26
ICFP_2010/160427.xml timeout (wallclock) MAYBE 209.91/70.24
ICFP_2010/84977.xml timeout (wallclock) MAYBE 208.94/68.25
ICFP_2010/136934.xml timeout (wallclock) MAYBE 211.66/70.22
ICFP_2010/24100.xml YES 526.44/132.83 MAYBE 207.59/68.06
ICFP_2010/96119.xml MAYBE 809.47/293.97 MAYBE 207.79/67.93
ICFP_2010/124211.xml timeout (wallclock) MAYBE 209.73/68.93
ICFP_2010/27036.xml timeout (wallclock) MAYBE 208.86/69.04
ICFP_2010/138142.xml YES 28.97/8.17 MAYBE 209.90/68.90
ICFP_2010/26127.xml MAYBE 998.83/299.16 MAYBE 208.92/69.17
ICFP_2010/212117.xml YES 49.08/13.18 YES 116.23/29.78
ICFP_2010/88156.xml YES 70.69/18.67 MAYBE 207.16/67.86
ICFP_2010/138330.xml timeout (wallclock) MAYBE 209.31/68.90
ICFP_2010/40976.xml YES 95.79/25.19 MAYBE 208.91/69.76
ICFP_2010/138477.xml timeout (wallclock) MAYBE 209.85/68.92
ICFP_2010/85039.xml timeout (wallclock) MAYBE 208.94/68.33
ICFP_2010/40093.xml YES 596.42/223.41 YES 28.60/7.46
ICFP_2010/132235.xml timeout (wallclock) MAYBE 209.48/69.04
ICFP_2010/212534.xml YES 78.39/20.46 YES 128.31/33.72
ICFP_2010/139214.xml YES 66.09/18.05 MAYBE 208.35/68.97
ICFP_2010/150630.xml timeout (wallclock) MAYBE 212.60/72.88
ICFP_2010/160254.xml timeout (wallclock) MAYBE 209.81/70.19
ICFP_2010/26910.xml timeout (wallclock) MAYBE 208.89/69.08
ICFP_2010/44332.xml YES 97.13/25.98 MAYBE 209.51/69.85
ICFP_2010/188674.xml YES 40.94/12.38 MAYBE 214.44/70.59
ICFP_2010/41838.xml MAYBE 960.57/297.14 MAYBE 208.55/68.11
ICFP_2010/133532.xml timeout (wallclock) MAYBE 209.98/69.92
ICFP_2010/53216.xml timeout (wallclock) MAYBE 223.61/80.07
ICFP_2010/25736.xml timeout (wallclock) MAYBE 208.85/68.97
ICFP_2010/3268.xml YES 32.63/9.45 YES 33.34/8.67
ICFP_2010/186919.xml timeout (wallclock) MAYBE 214.26/70.89
ICFP_2010/160398.xml timeout (wallclock) MAYBE 209.77/70.04
ICFP_2010/167240.xml timeout (wallclock) MAYBE 209.80/70.15
ICFP_2010/85874.xml MAYBE 796.17/292.85 MAYBE 208.36/68.04
ICFP_2010/88283.xml timeout (wallclock) MAYBE 206.95/67.87
ICFP_2010/139025.xml YES 44.57/12.32 MAYBE 208.35/68.98
ICFP_2010/153444.xml timeout (wallclock) MAYBE 211.15/70.14
ICFP_2010/212189.xml YES 346.50/87.67 MAYBE 207.48/67.70
ICFP_2010/5109.xml timeout (wallclock) MAYBE 207.61/67.92
ICFP_2010/139185.xml YES 39.37/11.12 MAYBE 208.44/68.99
ICFP_2010/85267.xml timeout (wallclock) MAYBE 208.55/68.23
ICFP_2010/213865.xml YES 43.26/11.64 MAYBE 207.93/67.75
ICFP_2010/85782.xml timeout (wallclock) MAYBE 208.06/67.94
ICFP_2010/98362.xml YES 76.26/20.13 MAYBE 209.46/68.27
ICFP_2010/4200.xml timeout (wallclock) MAYBE 209.33/68.17
ICFP_2010/3467.xml MAYBE 808.85/299.03 YES 161.71/40.98
ICFP_2010/139100.xml YES 50.07/14.08 MAYBE 208.02/69.03
ICFP_2010/128182.xml YES 47.62/13.56 MAYBE 208.32/68.99
ICFP_2010/26882.xml timeout (wallclock) MAYBE 208.91/69.16
ICFP_2010/147437.xml timeout (wallclock) MAYBE 212.84/73.05
ICFP_2010/26132.xml timeout (wallclock) MAYBE 208.11/69.13
ICFP_2010/135714.xml timeout (wallclock) MAYBE 211.65/70.18
ICFP_2010/124269.xml MAYBE 883.62/297.72 MAYBE 210.07/69.03
ICFP_2010/262998.xml YES 33.25/9.82 MAYBE 221.71/81.79
ICFP_2010/137087.xml timeout (wallclock) MAYBE 210.96/70.14
ICFP_2010/136463.xml timeout (wallclock) MAYBE 209.98/69.96
ICFP_2010/214183.xml YES 36.05/10.18 MAYBE 207.85/67.79
ICFP_2010/136534.xml MAYBE 894.08/297.95 MAYBE 211.03/70.13
ICFP_2010/96104.xml timeout (wallclock) MAYBE 207.93/67.90
ICFP_2010/86025.xml MAYBE 766.07/300.04 MAYBE 207.91/67.94
ICFP_2010/26123.xml YES 34.89/10.21 YES 28.11/7.36
ICFP_2010/40708.xml timeout (wallclock) YES 38.35/9.93
ICFP_2010/26943.xml timeout (wallclock) MAYBE 208.75/68.91
ICFP_2010/85920.xml timeout (wallclock) MAYBE 207.98/67.92
ICFP_2010/212026.xml YES 126.05/32.49 MAYBE 207.10/67.61
ICFP_2010/85749.xml YES 10.16/3.44 MAYBE 208.50/67.98
ICFP_2010/211960.xml YES 65.48/17.32 MAYBE 207.48/67.72
ICFP_2010/167433.xml timeout (wallclock) MAYBE 210.29/70.55
ICFP_2010/57799.xml YES 84.20/22.25 MAYBE 208.56/68.20
ICFP_2010/152786.xml timeout (wallclock) MAYBE 212.59/70.26
ICFP_2010/165975.xml timeout (wallclock) MAYBE 210.05/70.38
ICFP_2010/27003.xml timeout (wallclock) MAYBE 208.68/68.98
ICFP_2010/160660.xml timeout (wallclock) MAYBE 209.69/70.02
ICFP_2010/25731.xml YES 9.66/3.21 YES 23.19/6.10
ICFP_2010/142142.xml YES 32.88/9.16 MAYBE 206.61/68.00
ICFP_2010/138089.xml StarExec error MAYBE 212.37/70.22
ICFP_2010/27023.xml timeout (wallclock) MAYBE 208.50/68.86
ICFP_2010/84886.xml timeout (wallclock) MAYBE 209.13/68.32
ICFP_2010/3865.xml timeout (wallclock) MAYBE 208.83/68.12
ICFP_2010/3995.xml timeout (wallclock) MAYBE 208.11/67.96
ICFP_2010/137621.xml timeout (wallclock) MAYBE 211.73/70.11
ICFP_2010/107193.xml timeout (wallclock) MAYBE 209.74/70.17
ICFP_2010/231604.xml YES 30.09/8.49 MAYBE 230.39/86.06
ICFP_2010/138993.xml YES 43.69/12.05 MAYBE 208.52/69.00
ICFP_2010/96156.xml timeout (wallclock) MAYBE 208.07/67.94
ICFP_2010/142146.xml YES 33.32/9.33 MAYBE 207.74/68.42
ICFP_2010/63142.xml YES 11.73/3.78 MAYBE 206.70/67.64
ICFP_2010/162075.xml timeout (wallclock) MAYBE 210.23/70.54
ICFP_2010/96485.xml YES 12.88/4.17 MAYBE 207.82/67.88
ICFP_2010/43621.xml timeout (wallclock) MAYBE 208.97/69.74
ICFP_2010/4819.xml StarExec error MAYBE 208.37/67.94
ICFP_2010/247992.xml YES 27.13/7.62 MAYBE 219.50/76.97
ICFP_2010/135601.xml timeout (wallclock) MAYBE 208.96/69.73
ICFP_2010/135782.xml MAYBE 795.44/295.48 MAYBE 209.51/68.96
ICFP_2010/160210.xml MAYBE 1066.58/293.06 MAYBE 210.37/70.77
ICFP_2010/157150.xml YES 184.97/47.70 MAYBE 207.35/68.09
ICFP_2010/166001.xml timeout (wallclock) MAYBE 209.96/70.62
ICFP_2010/188296.xml timeout (wallclock) MAYBE 213.70/70.61
ICFP_2010/26130.xml YES 23.98/7.02 YES 30.55/7.98
ICFP_2010/26960.xml timeout (wallclock) MAYBE 208.59/69.00
ICFP_2010/4282.xml timeout (wallclock) MAYBE 207.54/67.71
ICFP_2010/133827.xml YES 21.26/6.19 MAYBE 210.00/69.03
ICFP_2010/85721.xml MAYBE 794.79/294.02 MAYBE 208.50/68.06
ICFP_2010/149297.xml timeout (wallclock) MAYBE 213.31/73.87
ICFP_2010/137404.xml timeout (wallclock) MAYBE 209.20/68.88
ICFP_2010/26998.xml MAYBE 1069.82/299.08 MAYBE 208.33/69.02
ICFP_2010/264370.xml YES 4.83/2.08 YES 2.11/0.81
ICFP_2010/25416.xml timeout (wallclock) MAYBE 208.96/69.13
ICFP_2010/27235.xml YES 55.95/15.14 YES 42.87/11.63
ICFP_2010/26069.xml YES 14.56/4.72 YES 26.79/7.02
ICFP_2010/149319.xml timeout (wallclock) MAYBE 212.28/72.39
ICFP_2010/160462.xml timeout (wallclock) MAYBE 209.78/70.37
ICFP_2010/26291.xml YES 31.99/8.97 YES 36.60/9.60
ICFP_2010/180915.xml timeout (wallclock) MAYBE 213.55/70.81
ICFP_2010/139190.xml YES 43.78/12.27 MAYBE 208.30/68.97
ICFP_2010/26916.xml MAYBE 1022.41/297.88 MAYBE 208.62/68.93
ICFP_2010/188261.xml timeout (wallclock) MAYBE 214.20/70.65
ICFP_2010/162016.xml timeout (wallclock) MAYBE 209.74/70.32
ICFP_2010/3786.xml timeout (wallclock) MAYBE 208.07/67.79
ICFP_2010/4074.xml timeout (wallclock) MAYBE 209.24/68.16
ICFP_2010/42170.xml timeout (wallclock) MAYBE 210.97/70.06
ICFP_2010/167087.xml timeout (wallclock) MAYBE 210.22/70.54
ICFP_2010/97917.xml timeout (wallclock) MAYBE 210.34/71.03
ICFP_2010/254704.xml timeout (wallclock) MAYBE 221.46/82.20
ICFP_2010/86636.xml timeout (wallclock) MAYBE 208.13/67.92
ICFP_2010/68322.xml timeout (wallclock) MAYBE 208.76/68.17
ICFP_2010/132622.xml YES 55.34/14.89 MAYBE 208.34/68.98
ICFP_2010/153170.xml timeout (wallclock) MAYBE 211.72/70.13
ICFP_2010/133079.xml timeout (wallclock) MAYBE 209.21/69.79
ICFP_2010/26986.xml timeout (wallclock) MAYBE 208.04/69.00
ICFP_2010/212612.xml YES 121.50/31.50 MAYBE 207.51/67.70
ICFP_2010/231230.xml YES 39.22/10.67 MAYBE 225.99/78.87
ICFP_2010/135115.xml MAYBE 980.55/298.99 MAYBE 209.89/68.91
ICFP_2010/230948.xml YES 33.64/9.36 MAYBE 213.36/72.05
ICFP_2010/212043.xml YES 73.47/19.25 MAYBE 207.55/67.70
ICFP_2010/107236.xml MAYBE 987.44/295.83 MAYBE 209.51/70.06
ICFP_2010/161864.xml timeout (wallclock) MAYBE 209.41/69.83
ICFP_2010/149713.xml timeout (wallclock) MAYBE 212.81/73.23
ICFP_2010/213437.xml YES 75.53/19.74 MAYBE 207.49/67.68
ICFP_2010/132720.xml YES 44.64/12.66 MAYBE 208.64/69.05
ICFP_2010/153371.xml timeout (wallclock) MAYBE 209.58/69.88
ICFP_2010/167742.xml YES 88.17/23.46 MAYBE 210.28/70.64
ICFP_2010/140659.xml timeout (wallclock) MAYBE 207.36/68.16
ICFP_2010/50904.xml timeout (wallclock) MAYBE 209.74/70.40
ICFP_2010/139167.xml YES 52.16/14.60 MAYBE 208.55/69.02
ICFP_2010/26978.xml timeout (wallclock) MAYBE 208.48/68.83
ICFP_2010/4412.xml timeout (wallclock) MAYBE 208.49/68.08
ICFP_2010/68535.xml YES 217.29/56.10 MAYBE 207.45/67.82
ICFP_2010/96403.xml StarExec error MAYBE 207.65/67.80
ICFP_2010/183803.xml timeout (wallclock) MAYBE 214.50/70.71
ICFP_2010/149277.xml timeout (wallclock) MAYBE 212.41/72.99
ICFP_2010/130962.xml YES 210.96/53.94 MAYBE 210.79/70.12
ICFP_2010/43603.xml timeout (wallclock) MAYBE 223.61/79.95
ICFP_2010/86052.xml timeout (wallclock) MAYBE 207.91/67.93
ICFP_2010/161593.xml timeout (wallclock) MAYBE 209.68/70.05
ICFP_2010/249459.xml YES 36.77/10.29 MAYBE 217.45/77.09
ICFP_2010/140287.xml timeout (wallclock) MAYBE 208.15/69.00
ICFP_2010/48686.xml timeout (wallclock) MAYBE 214.33/72.42
ICFP_2010/26186.xml YES 25.48/7.26 YES 32.50/8.50
ICFP_2010/188004.xml MAYBE 924.21/298.73 MAYBE 213.34/70.72
ICFP_2010/138194.xml timeout (wallclock) MAYBE 209.78/68.88
ICFP_2010/25409.xml MAYBE 1079.95/299.34 StarExec error
ICFP_2010/186617.xml timeout (wallclock) MAYBE 213.80/70.67
ICFP_2010/136323.xml timeout (wallclock) MAYBE 211.81/70.18
ICFP_2010/4934.xml timeout (wallclock) MAYBE 208.38/67.91
ICFP_2010/58194.xml MAYBE 1066.30/295.20 MAYBE 208.87/68.38
ICFP_2010/43987.xml timeout (wallclock) MAYBE 210.54/70.01
ICFP_2010/188238.xml timeout (wallclock) MAYBE 215.17/70.97
ICFP_2010/135936.xml MAYBE 950.33/295.67 MAYBE 209.81/68.88
ICFP_2010/29415.xml YES 144.96/37.97 MAYBE 212.94/72.96
ICFP_2010/26931.xml timeout (wallclock) MAYBE 208.80/69.09
ICFP_2010/96065.xml timeout (wallclock) MAYBE 208.00/67.92
ICFP_2010/39849.xml YES 55.69/15.38 MAYBE 207.27/67.68
ICFP_2010/68989.xml YES 18.87/5.57 MAYBE 207.67/67.86
ICFP_2010/123759.xml timeout (wallclock) MAYBE 210.09/68.94
ICFP_2010/187837.xml timeout (wallclock) MAYBE 213.89/70.75
ICFP_2010/150188.xml timeout (wallclock) MAYBE 213.15/73.30
ICFP_2010/96642.xml YES 73.45/19.27 MAYBE 207.68/67.83
ICFP_2010/96438.xml YES 291.89/85.81 MAYBE 207.42/67.75
ICFP_2010/25726.xml timeout (wallclock) MAYBE 208.41/68.90
ICFP_2010/133432.xml timeout (wallclock) MAYBE 211.64/70.19
ICFP_2010/247254.xml YES 28.94/11.11 MAYBE 225.94/80.61
ICFP_2010/28643.xml YES 68.50/18.00 MAYBE 44.78/12.53
ICFP_2010/137623.xml YES 19.67/6.06 MAYBE 210.12/69.04
ICFP_2010/85834.xml YES 12.41/3.88 MAYBE 208.57/68.03
ICFP_2010/58125.xml timeout (wallclock) MAYBE 212.66/73.14
ICFP_2010/132848.xml timeout (wallclock) StarExec error
ICFP_2010/42683.xml YES 48.99/13.28 MAYBE 209.33/69.84
ICFP_2010/86577.xml timeout (wallclock) MAYBE 207.85/67.87
ICFP_2010/4991.xml timeout (wallclock) MAYBE 208.17/67.81
ICFP_2010/3633.xml timeout (wallclock) MAYBE 208.82/68.03
ICFP_2010/26875.xml timeout (wallclock) MAYBE 209.18/69.14
ICFP_2010/139004.xml YES 59.48/16.09 MAYBE 208.51/69.00
ICFP_2010/212364.xml YES 899.12/228.29 MAYBE 207.69/67.70
ICFP_2010/96563.xml StarExec error YES 146.10/37.05
ICFP_2010/96086.xml YES 13.43/4.29 YES 2.41/0.99
ICFP_2010/231480.xml YES 31.49/8.89 MAYBE 227.98/82.22
ICFP_2010/135410.xml timeout (wallclock) MAYBE 210.13/69.98
ICFP_2010/48328.xml MAYBE 882.68/298.63 MAYBE 207.25/67.93
ICFP_2010/3705.xml timeout (wallclock) MAYBE 209.23/68.14
ICFP_2010/3746.xml YES 31.61/8.76 MAYBE 208.26/67.80
ICFP_2010/91233.xml YES 66.68/18.16 MAYBE 207.92/68.89
ICFP_2010/161519.xml YES 219.63/56.89 MAYBE 209.78/70.21
ICFP_2010/142157.xml timeout (wallclock) MAYBE 207.24/68.10
ICFP_2010/150725.xml timeout (wallclock) MAYBE 212.48/72.94
ICFP_2010/57278.xml timeout (wallclock) MAYBE 208.12/68.13
ICFP_2010/263745.xml YES 50.01/14.34 MAYBE 221.68/82.19
ICFP_2010/25395.xml timeout (wallclock) MAYBE 208.94/69.10
ICFP_2010/150468.xml timeout (wallclock) MAYBE 213.23/73.53
ICFP_2010/167041.xml timeout (wallclock) MAYBE 209.68/70.13
ICFP_2010/4051.xml MAYBE 733.34/296.69 MAYBE 207.79/67.83
ICFP_2010/26976.xml timeout (wallclock) MAYBE 208.95/68.93
ICFP_2010/26957.xml MAYBE 1179.56/297.62 MAYBE 208.54/68.91
ICFP_2010/4248.xml MAYBE 791.04/296.28 MAYBE 208.48/67.88
ICFP_2010/4840.xml timeout (wallclock) YES 150.01/37.92
ICFP_2010/81452.xml timeout (wallclock) MAYBE 207.95/67.89
ICFP_2010/140654.xml YES 40.56/11.62 MAYBE 206.89/67.63
ICFP_2010/231378.xml YES 22.09/6.39 MAYBE 218.95/77.04
ICFP_2010/128515.xml YES 55.64/14.93 MAYBE 208.30/68.97
ICFP_2010/151247.xml timeout (wallclock) MAYBE 213.26/73.52
ICFP_2010/128620.xml YES 52.95/14.84 MAYBE 208.33/68.97
ICFP_2010/230819.xml YES 16.16/5.19 MAYBE 209.92/69.65
ICFP_2010/212892.xml YES 54.16/14.50 YES 82.45/22.06
ICFP_2010/85590.xml timeout (wallclock) MAYBE 208.41/67.96
ICFP_2010/85345.xml timeout (wallclock) MAYBE 208.71/68.18
ICFP_2010/166558.xml timeout (wallclock) MAYBE 210.11/70.51
ICFP_2010/96302.xml timeout (wallclock) MAYBE 207.44/67.83
ICFP_2010/26965.xml timeout (wallclock) MAYBE 208.85/69.00
ICFP_2010/160234.xml YES 23.47/6.99 YES 49.18/13.22
ICFP_2010/27006.xml timeout (wallclock) MAYBE 208.75/68.95
ICFP_2010/4970.xml timeout (wallclock) YES 69.74/17.83
ICFP_2010/3498.xml timeout (wallclock) MAYBE 207.45/67.77
ICFP_2010/43650.xml timeout (wallclock) MAYBE 224.45/79.92
ICFP_2010/3450.xml timeout (wallclock) MAYBE 209.09/68.01
ICFP_2010/213281.xml YES 26.16/7.56 YES 46.28/12.18
ICFP_2010/188696.xml timeout (wallclock) MAYBE 213.49/70.65
ICFP_2010/150258.xml timeout (wallclock) MAYBE 212.23/73.19
ICFP_2010/214091.xml YES 22.50/6.60 YES 23.99/6.51
ICFP_2010/45720.xml timeout (wallclock) MAYBE 209.04/68.30
ICFP_2010/213407.xml YES 36.02/9.85 YES 52.07/13.66
ICFP_2010/157713.xml timeout (wallclock) MAYBE 209.25/69.79
ICFP_2010/212308.xml YES 55.73/15.38 MAYBE 207.04/67.59
ICFP_2010/27015.xml timeout (wallclock) MAYBE 208.59/68.84
ICFP_2010/3589.xml timeout (wallclock) MAYBE 208.34/67.92
ICFP_2010/132833.xml YES 70.00/18.61 MAYBE 208.25/68.98
ICFP_2010/26879.xml MAYBE 1154.44/294.40 MAYBE 208.71/68.99
ICFP_2010/133881.xml timeout (wallclock) MAYBE 209.79/69.00
ICFP_2010/26226.xml YES 38.61/10.78 YES 34.51/9.05
ICFP_2010/137715.xml timeout (wallclock) MAYBE 209.00/69.75
ICFP_2010/40540.xml YES 54.57/15.18 MAYBE 209.39/69.83
ICFP_2010/213537.xml YES 65.40/17.80 MAYBE 206.72/67.55
ICFP_2010/130304.xml timeout (wallclock) MAYBE 210.61/70.02
ICFP_2010/51424.xml timeout (wallclock) MAYBE 223.56/80.02
ICFP_2010/96274.xml YES 9.85/3.52 MAYBE 208.22/67.95
ICFP_2010/150815.xml timeout (wallclock) MAYBE 213.48/73.79
ICFP_2010/3680.xml timeout (wallclock) MAYBE 207.91/67.98
ICFP_2010/136601.xml timeout (wallclock) MAYBE 210.67/70.04
ICFP_2010/153034.xml timeout (wallclock) MAYBE 211.94/70.14
ICFP_2010/149915.xml timeout (wallclock) MAYBE 212.70/72.86
ICFP_2010/4036.xml MAYBE 823.35/294.09 MAYBE 208.58/68.06
ICFP_2010/95858.xml MAYBE 874.11/297.49 MAYBE 208.01/67.93
ICFP_2010/167636.xml YES 136.95/35.97 MAYBE 210.39/70.77
ICFP_2010/85675.xml YES 9.34/3.11 MAYBE 208.17/67.92
ICFP_2010/26949.xml timeout (wallclock) MAYBE 208.78/68.98
ICFP_2010/86499.xml timeout (wallclock) MAYBE 208.12/67.91
ICFP_2010/56144.xml YES 87.43/23.30 MAYBE 209.50/69.84
ICFP_2010/214261.xml YES 72.02/18.99 MAYBE 207.74/67.72
ICFP_2010/54097.xml timeout (wallclock) MAYBE 222.59/78.78
ICFP_2010/166465.xml timeout (wallclock) MAYBE 209.55/69.96
ICFP_2010/3817.xml timeout (wallclock) MAYBE 208.87/68.05
ICFP_2010/4141.xml timeout (wallclock) MAYBE 208.58/67.92
ICFP_2010/214320.xml YES 21.02/6.39 YES 130.56/33.36
ICFP_2010/166848.xml timeout (wallclock) MAYBE 210.34/70.52
ICFP_2010/4181.xml YES 10.49/3.59 MAYBE 208.21/68.01
ICFP_2010/26103.xml YES 12.96/4.07 YES 26.98/7.07
ICFP_2010/26980.xml MAYBE 1108.94/296.59 MAYBE 208.69/68.80
ICFP_2010/3562.xml timeout (wallclock) MAYBE 208.57/68.03
ICFP_2010/187254.xml YES 25.58/7.60 MAYBE 213.43/70.75
ICFP_2010/58301.xml YES 57.99/15.96 MAYBE 209.04/68.34
ICFP_2010/157161.xml timeout (wallclock) MAYBE 207.91/68.06
ICFP_2010/184957.xml timeout (wallclock) MAYBE 214.21/70.66
ICFP_2010/165755.xml timeout (wallclock) MAYBE 209.76/70.08
ICFP_2010/4002.xml YES 49.85/13.50 YES 73.78/18.80
ICFP_2010/137316.xml timeout (wallclock) MAYBE 209.83/69.93
ICFP_2010/42466.xml timeout (wallclock) MAYBE 210.37/69.99
ICFP_2010/249386.xml YES 62.88/16.64 MAYBE 216.36/73.68
ICFP_2010/26972.xml StarExec error StarExec error
ICFP_2010/54622.xml YES 9.32/3.36 YES 39.72/23.51
ICFP_2010/57852.xml YES 72.59/19.23 MAYBE 212.68/73.13
ICFP_2010/51577.xml timeout (wallclock) MAYBE 224.71/80.22
ICFP_2010/136562.xml timeout (wallclock) MAYBE 209.51/68.91
ICFP_2010/132969.xml timeout (wallclock) MAYBE 209.43/68.89
ICFP_2010/4827.xml timeout (wallclock) MAYBE 207.52/67.75
ICFP_2010/186810.xml timeout (wallclock) MAYBE 213.35/70.68
ICFP_2010/140318.xml YES 54.18/15.15 MAYBE 208.33/68.97
ICFP_2010/96612.xml MAYBE 789.30/295.72 MAYBE 207.93/67.89
ICFP_2010/27034.xml timeout (wallclock) MAYBE 208.93/69.09
ICFP_2010/132782.xml YES 43.52/12.05 MAYBE 208.29/68.98
ICFP_2010/95899.xml timeout (wallclock) MAYBE 208.37/68.05
ICFP_2010/25808.xml timeout (wallclock) MAYBE 207.61/69.20
ICFP_2010/86526.xml timeout (wallclock) MAYBE 209.24/68.30
ICFP_2010/212094.xml YES 56.20/15.37 MAYBE 207.55/67.70
ICFP_2010/211639.xml YES 29.36/10.39 MAYBE 214.62/74.26
ICFP_2010/41843.xml YES 870.27/256.88 MAYBE 208.21/67.98
ICFP_2010/139236.xml YES 46.82/13.39 MAYBE 208.39/69.02
ICFP_2010/25734.xml MAYBE 1120.57/294.90 MAYBE 208.67/68.97
ICFP_2010/96370.xml YES 37.68/10.57 MAYBE 208.13/67.95
ICFP_2010/3729.xml timeout (wallclock) MAYBE 208.09/67.96
ICFP_2010/48262.xml timeout (wallclock) MAYBE 208.06/68.07
ICFP_2010/95978.xml MAYBE 770.28/293.56 MAYBE 208.55/68.10
ICFP_2010/96673.xml timeout (wallclock) MAYBE 207.72/67.93
ICFP_2010/3939.xml timeout (wallclock) MAYBE 208.37/67.93
ICFP_2010/25849.xml MAYBE 1127.70/300.34 MAYBE 208.88/69.04
ICFP_2010/158620.xml YES 74.07/19.77 MAYBE 209.52/69.85
ICFP_2010/25388.xml MAYBE 989.88/295.16 MAYBE 208.93/69.11
ICFP_2010/3336.xml YES 37.91/11.16 YES 30.67/8.23
ICFP_2010/3385.xml YES 75.85/20.07 YES 50.20/12.91
ICFP_2010/27028.xml timeout (wallclock) MAYBE 208.78/68.92
ICFP_2010/26933.xml timeout (wallclock) MAYBE 208.97/69.14
ICFP_2010/167452.xml timeout (wallclock) MAYBE 210.29/70.48
ICFP_2010/128056.xml MAYBE 852.47/294.15 MAYBE 208.49/69.03
ICFP_2010/186222.xml timeout (wallclock) MAYBE 215.14/70.70
ICFP_2010/212480.xml YES 44.44/11.96 YES 49.23/13.66
ICFP_2010/136354.xml MAYBE 971.11/295.69 MAYBE 209.25/69.82
ICFP_2010/107220.xml MAYBE 896.00/298.59 MAYBE 208.97/69.82
ICFP_2010/150067.xml timeout (wallclock) MAYBE 212.30/72.85
ICFP_2010/264405.xml YES 4.64/1.90 YES 2.28/0.84
ICFP_2010/85650.xml YES 65.49/18.62 MAYBE 208.84/68.06
ICFP_2010/136497.xml timeout (wallclock) MAYBE 209.07/69.76
ICFP_2010/135652.xml timeout (wallclock) MAYBE 209.86/68.97
ICFP_2010/3856.xml timeout (wallclock) MAYBE 208.13/67.95
ICFP_2010/57132.xml MAYBE 808.72/299.01 MAYBE 209.92/68.44
ICFP_2010/25775.xml timeout (wallclock) MAYBE 209.04/69.08
ICFP_2010/157388.xml YES 61.81/17.40 MAYBE 208.87/68.35
ICFP_2010/132540.xml YES 48.36/13.62 MAYBE 208.41/69.01
ICFP_2010/58221.xml timeout (wallclock) MAYBE 209.24/68.31
ICFP_2010/160364.xml timeout (wallclock) MAYBE 210.73/71.00
ICFP_2010/3930.xml timeout (wallclock) MAYBE 208.05/67.85
ICFP_2010/86617.xml timeout (wallclock) MAYBE 207.87/68.07
ICFP_2010/136280.xml timeout (wallclock) MAYBE 210.67/70.04
ICFP_2010/96417.xml timeout (wallclock) MAYBE 207.82/67.96
ICFP_2010/4029.xml timeout (wallclock) MAYBE 208.14/67.80
ICFP_2010/211915.xml YES 35.86/10.27 MAYBE 207.59/67.78
ICFP_2010/86857.xml YES 436.62/119.89 MAYBE 207.51/67.86
ICFP_2010/160324.xml timeout (wallclock) MAYBE 209.59/69.98
ICFP_2010/26940.xml timeout (wallclock) MAYBE 208.83/69.01
ICFP_2010/130161.xml timeout (wallclock) MAYBE 210.74/70.07
ICFP_2010/4816.xml timeout (wallclock) MAYBE 209.22/68.18
ICFP_2010/96224.xml YES 16.96/5.06 YES 3.47/1.32
ICFP_2010/142150.xml timeout (wallclock) MAYBE 207.03/68.06
ICFP_2010/153243.xml timeout (wallclock) MAYBE 210.77/70.06
ICFP_2010/167310.xml timeout (wallclock) MAYBE 209.32/70.04
ICFP_2010/249663.xml YES 19.73/5.96 MAYBE 227.38/80.61
ICFP_2010/231043.xml YES 29.89/8.45 MAYBE 223.34/80.57
ICFP_2010/5011.xml timeout (wallclock) YES 148.04/37.40
ICFP_2010/186775.xml timeout (wallclock) MAYBE 213.77/70.64
ICFP_2010/211978.xml YES 12.08/3.99 YES 25.51/7.02
ICFP_2010/213218.xml YES 15.78/4.85 YES 25.27/6.86
ICFP_2010/3861.xml timeout (wallclock) MAYBE 208.50/68.08
ICFP_2010/186973.xml timeout (wallclock) MAYBE 212.10/70.64
ICFP_2010/149361.xml timeout (wallclock) MAYBE 212.41/72.92
ICFP_2010/91210.xml YES 49.30/13.55 MAYBE 208.16/68.90
ICFP_2010/259625.xml YES 43.61/11.99 MAYBE 221.43/82.17
ICFP_2010/3927.xml timeout (wallclock) MAYBE 226.62/82.18
ICFP_2010/132864.xml YES 47.30/12.92 MAYBE 208.53/69.02
ICFP_2010/132957.xml YES 50.14/13.74 MAYBE 208.46/69.01
ICFP_2010/27280.xml YES 52.07/13.99 YES 43.40/11.85
ICFP_2010/3762.xml timeout (wallclock) MAYBE 208.62/68.02
ICFP_2010/26105.xml timeout (wallclock) MAYBE 208.17/68.70
ICFP_2010/139282.xml YES 44.15/12.11 MAYBE 208.59/69.03
ICFP_2010/162244.xml timeout (wallclock) MAYBE 209.73/70.18
ICFP_2010/4854.xml timeout (wallclock) MAYBE 208.46/68.06
ICFP_2010/65081.xml YES 8.01/2.84 MAYBE 207.45/67.69
ICFP_2010/132738.xml YES 45.17/12.59 MAYBE 208.34/68.98
ICFP_2010/167526.xml timeout (wallclock) MAYBE 209.18/70.01
ICFP_2010/213611.xml YES 27.71/7.93 MAYBE 217.94/76.87
ICFP_2010/157603.xml timeout (wallclock) MAYBE 209.34/69.81
ICFP_2010/161930.xml YES 60.28/16.19 MAYBE 209.80/70.08
ICFP_2010/165936.xml timeout (wallclock) MAYBE 210.15/70.35
ICFP_2010/96239.xml timeout (wallclock) MAYBE 208.15/67.87
ICFP_2010/150839.xml timeout (wallclock) MAYBE 211.32/71.69
ICFP_2010/214169.xml YES 49.60/13.75 YES 124.97/32.12
ICFP_2010/88143.xml YES 82.54/21.71 MAYBE 206.46/67.78
ICFP_2010/165904.xml timeout (wallclock) MAYBE 209.94/70.34
ICFP_2010/41865.xml timeout (wallclock) MAYBE 210.06/69.95
ICFP_2010/186333.xml timeout (wallclock) MAYBE 214.41/70.67
ICFP_2010/5076.xml timeout (wallclock) YES 159.07/40.24
ICFP_2010/4847.xml timeout (wallclock) MAYBE 208.47/67.99
ICFP_2010/148543.xml timeout (wallclock) MAYBE 212.97/73.47
ICFP_2010/212774.xml YES 17.84/5.51 YES 54.82/14.54
ICFP_2010/4046.xml YES 10.95/3.62 YES 23.86/6.36
ICFP_2010/152949.xml timeout (wallclock) MAYBE 211.69/70.17
ICFP_2010/137799.xml timeout (wallclock) StarExec error
ICFP_2010/213560.xml YES 62.69/17.19 MAYBE 207.05/67.62
ICFP_2010/167294.xml timeout (wallclock) MAYBE 210.18/70.44
ICFP_2010/150877.xml timeout (wallclock) MAYBE 212.65/72.71
ICFP_2010/45970.xml timeout (wallclock) MAYBE 211.16/71.07
ICFP_2010/97901.xml timeout (wallclock) MAYBE 208.53/69.17
ICFP_2010/27134.xml YES 53.73/14.38 YES 39.64/10.66
ICFP_2010/64160.xml MAYBE 672.04/292.29 YES 61.72/15.79
ICFP_2010/212421.xml YES 73.32/19.71 YES 35.09/9.44
ICFP_2010/185628.xml timeout (wallclock) MAYBE 214.62/70.82
ICFP_2010/158342.xml timeout (wallclock) MAYBE 210.94/70.07
ICFP_2010/26896.xml MAYBE 1052.04/296.79 MAYBE 208.97/69.12
ICFP_2010/97929.xml timeout (wallclock) MAYBE 210.67/71.13
ICFP_2010/213147.xml YES 65.00/17.15 MAYBE 207.44/67.63
ICFP_2010/4017.xml timeout (wallclock) MAYBE 208.53/67.98
ICFP_2010/25192.xml YES 6.10/2.28 YES 0.91/0.50
ICFP_2010/157466.xml timeout (wallclock) MAYBE 210.19/69.96
ICFP_2010/162095.xml timeout (wallclock) MAYBE 209.67/70.01
ICFP_2010/40033.xml timeout (wallclock) MAYBE 211.77/70.26
ICFP_2010/28293.xml YES 69.02/18.22 YES 48.96/13.36
Gebhardt_06/05.xml NO 37.00/10.35 MAYBE 230.75/67.35
Gebhardt_06/03.xml NO 7.22/2.62 MAYBE 230.82/67.35
Gebhardt_06/01.xml timeout (cpu) MAYBE 230.35/67.34
Gebhardt_06/12.xml NO 26.97/7.62 MAYBE 230.19/67.34
Gebhardt_06/10.xml MAYBE 1181.68/297.16 MAYBE 230.93/67.34
Gebhardt_06/06.xml NO 1120.75/281.11 MAYBE 230.67/67.41
Gebhardt_06/02.xml YES 1014.51/255.04 MAYBE 230.39/67.36
Gebhardt_06/14.xml YES 39.69/10.83 MAYBE 230.51/67.34
Gebhardt_06/13.xml MAYBE 1163.23/291.70 MAYBE 230.76/67.35
Gebhardt_06/20.xml timeout (cpu) MAYBE 231.07/67.34
Gebhardt_06/04.xml YES 39.71/10.82 MAYBE 229.67/67.34
Gebhardt_06/17.xml YES 38.35/10.54 MAYBE 230.90/67.35
Gebhardt_06/08.xml NO 11.01/3.68 MAYBE 230.68/67.35
Gebhardt_06/19.xml StarExec error MAYBE 231.23/67.34
Gebhardt_06/16.xml YES 13.22/4.25 MAYBE 230.57/67.35
Gebhardt_06/09.xml YES 240.24/61.11 MAYBE 230.61/67.34
Gebhardt_06/11.xml YES 26.64/7.51 MAYBE 230.80/67.36
Gebhardt_06/07.xml YES 22.53/6.50 MAYBE 230.89/67.35
Gebhardt_06/18.xml YES 258.46/65.49 MAYBE 231.04/67.35
Gebhardt_06/15.xml NO 39.82/10.78 MAYBE 230.89/67.34
Zantema_04/z127.xml NO 3.26/1.49 NO 1.67/0.68
Zantema_04/z128.xml NO 3.29/1.51 NO 1.66/0.68
Zantema_04/z106.xml YES 9.78/3.16 YES 3.30/1.08
Zantema_04/z057.xml YES 4.31/1.77 YES 22.20/5.83
Zantema_04/z107.xml YES 4.58/1.89 YES 3.40/1.11
Zantema_04/z054.xml YES 23.06/6.60 YES 22.59/5.94
Zantema_04/z026.xml YES 7.80/2.88 YES 1.06/0.53
Zantema_04/z010.xml YES 8.31/2.99 YES 3.02/1.02
Zantema_04/z111.xml YES 26.04/7.42 StarExec error
Zantema_04/z037.xml YES 57.25/15.20 YES 23.43/6.15
Zantema_04/z030.xml YES 468.86/194.76 YES 26.12/6.83
Zantema_04/z113.xml YES 15.60/4.68 YES 5.70/1.69
Zantema_04/z011.xml YES 10.23/3.54 YES 5.63/1.67
Zantema_04/z025.xml YES 10.38/3.46 YES 0.93/0.49
Zantema_04/z084.xml YES 8.56/3.11 YES 0.83/0.47
Zantema_04/z007.xml YES 8.56/3.69 YES 3.11/1.04
Zantema_04/z046.xml NO 3.46/1.54 NO 1.86/0.74
Zantema_04/z050.xml YES 3.81/1.63 YES 4.45/1.36
Zantema_04/z028.xml YES 26.60/7.52 YES 38.98/10.04
Zantema_04/z058.xml YES 5.09/2.02 YES 8.38/2.37
Zantema_04/z104.xml YES 6.21/2.29 YES 4.11/1.29
Zantema_04/z061.xml YES 3.69/1.65 YES 3.24/1.08
Zantema_04/z020.xml YES 14.97/4.57 YES 22.87/6.01
Zantema_04/syracuse.xml MAYBE 1163.48/293.35 MAYBE 233.86/67.35
Zantema_04/z069.xml YES 21.62/6.13 YES 1.48/0.64
Zantema_04/z055.xml YES 3.56/1.62 YES 4.52/1.44
Zantema_04/z002.xml YES 4.35/1.84 YES 5.14/1.55
Zantema_04/z120.xml YES 17.43/5.28 YES 22.69/5.97
Zantema_04/z097.xml MAYBE 642.66/292.24 YES 27.88/7.27
Zantema_04/z082.xml YES 18.00/5.53 YES 17.18/4.58
Zantema_04/z116.xml YES 4.35/1.87 YES 0.79/0.46
Zantema_04/z034.xml timeout (wallclock) MAYBE 230.52/67.34
Zantema_04/z014.xml YES 11.19/3.51 YES 5.09/1.55
Zantema_04/z083.xml YES 23.26/6.69 YES 16.95/4.52
Zantema_04/z005.xml YES 13.21/4.19 YES 22.50/5.90
Zantema_04/z068.xml YES 14.57/4.68 YES 30.15/7.83
Zantema_04/z117.xml YES 41.59/11.30 StarExec error
Zantema_04/z052.xml YES 3.60/1.71 YES 4.04/1.28
Zantema_04/z044.xml NO 3.51/1.63 NO 1.72/0.69
Zantema_04/z062.xml YES 3.75/1.71 YES 3.68/1.18
Zantema_04/z040.xml StarExec error YES 24.78/6.47
Zantema_04/z001.xml YES 59.67/15.79 YES 23.39/6.14
Zantema_04/z038.xml StarExec error MAYBE 230.33/67.35
Zantema_04/z105.xml YES 6.54/2.48 YES 4.53/1.42
Zantema_04/z125.xml YES 27.54/7.76 YES 12.85/3.49
Zantema_04/z041.xml timeout (wallclock) MAYBE 230.46/67.35
Zantema_04/z018.xml YES 25.74/10.24 YES 22.87/5.98
Zantema_04/z085.xml YES 3.91/1.75 YES 0.85/0.47
Zantema_04/z053.xml YES 4.85/1.95 YES 4.73/1.46
Zantema_04/z042.xml NO 4.03/1.72 NO 2.09/0.79
Zantema_04/z095.xml YES 170.81/44.10 YES 30.88/8.02
Zantema_04/z003.xml YES 19.73/5.80 YES 9.87/2.72
Zantema_04/z048.xml YES 10.33/3.55 YES 23.04/6.06
Zantema_04/z088.xml YES 14.71/4.46 YES 29.16/7.58
Zantema_04/z103.xml YES 27.86/8.00 YES 3.92/1.25
Zantema_04/z101.xml YES 4.15/1.77 YES 0.90/0.47
Zantema_04/z019.xml YES 27.17/7.64 YES 3.68/1.18
Zantema_04/z077.xml YES 14.97/4.53 YES 6.00/1.76
Zantema_04/z080.xml StarExec error YES 35.48/9.15
Zantema_04/z022.xml YES 11.58/3.85 YES 4.40/1.38
Zantema_04/z109.xml YES 4.81/1.91 YES 2.85/0.98
Zantema_04/z012.xml StarExec error YES 1.65/0.67
Zantema_04/z060.xml YES 22.28/6.49 YES 21.59/5.68
Zantema_04/z121.xml YES 14.12/4.46 YES 12.21/3.33
Zantema_04/z124.xml YES 25.79/9.21 YES 1.09/0.53
Zantema_04/z033.xml YES 10.21/3.39 YES 10.00/2.78
Zantema_04/z076.xml YES 10.34/3.42 YES 17.49/4.78
Zantema_04/z056.xml YES 17.63/5.40 YES 21.71/5.74
Zantema_04/z114.xml YES 41.06/11.16 YES 3.45/1.13
Zantema_04/z015.xml YES 12.52/3.91 YES 5.31/1.60
Zantema_04/z045.xml YES 11.02/3.75 YES 22.65/5.96
Zantema_04/z073.xml NO 5.08/1.97 MAYBE 232.42/67.34
Zantema_04/z031.xml YES 206.11/52.42 YES 26.22/6.86
Zantema_04/z009.xml YES 7.19/2.71 YES 2.80/0.97
Zantema_04/z013.xml YES 7.94/2.91 YES 8.07/2.29
Zantema_04/z123.xml YES 23.42/6.80 YES 23.93/6.29
Zantema_04/z098.xml YES 170.38/43.96 YES 26.09/6.81
Zantema_04/z035.xml timeout (wallclock) MAYBE 230.09/67.34
Zantema_04/z075.xml YES 19.60/5.75 YES 7.50/2.15
Zantema_04/z119.xml YES 51.58/13.78 YES 11.70/3.20
Zantema_04/z072.xml YES 13.29/4.13 StarExec error
Zantema_04/z079.xml MAYBE 1163.95/292.84 StarExec error
Zantema_04/z066.xml StarExec error YES 19.98/5.26
Zantema_04/z112.xml YES 5.30/2.15 YES 3.93/1.24
Zantema_04/z118.xml YES 7.20/2.67 YES 6.83/1.99
Zantema_04/z074.xml YES 13.16/4.32 YES 19.89/5.26
Zantema_04/z078.xml StarExec error YES 21.85/5.75
Zantema_04/z102.xml YES 4.22/1.81 YES 1.38/0.60
Zantema_04/z093.xml YES 6.77/2.44 YES 0.88/0.47
Zantema_04/z092.xml YES 11.55/3.87 YES 1.15/0.56
Zantema_04/z039.xml YES 26.99/7.98 YES 22.87/6.00
Zantema_04/z047.xml YES 7.88/2.74 YES 22.39/5.90
Zantema_04/z049.xml YES 3.51/1.63 YES 4.39/1.37
Zantema_04/z006.xml YES 9.27/3.07 YES 2.20/0.81
Zantema_04/z089.xml YES 30.09/10.68 StarExec error
Zantema_04/z065.xml YES 18.34/5.40 YES 1.69/0.68
Zantema_04/z008.xml YES 22.26/6.41 YES 23.22/6.10
Zantema_04/z100.xml YES 31.72/8.94 YES 24.14/6.32
Zantema_04/z090.xml YES 51.96/14.21 StarExec error
Zantema_04/z024.xml YES 5.11/2.02 YES 4.62/1.43
Zantema_04/z096.xml NO 3.26/1.51 NO 1.49/0.64
Zantema_04/z087.xml YES 16.39/4.89 YES 3.96/1.26
Zantema_04/z067.xml YES 30.12/8.42 YES 11.89/3.26
Zantema_04/z023.xml YES 11.57/3.80 YES 4.60/1.42
Zantema_04/z043.xml YES 17.12/5.47 YES 23.04/6.05
Zantema_04/z051.xml YES 6.02/2.37 YES 7.50/2.13
Zantema_04/z091.xml YES 23.56/6.81 YES 33.09/8.60
Zantema_04/z094.xml YES 8.16/2.92 YES 4.15/1.30
Zantema_04/z071.xml YES 21.04/6.07 YES 11.18/3.07
Zantema_04/z032.xml YES 97.05/25.19 YES 24.28/6.36
Zantema_04/z017.xml YES 8.78/3.13 YES 5.83/1.73
Zantema_04/z086.xml YES 27.63/10.71 YES 30.76/7.97
Zantema_04/z110.xml YES 20.94/6.13 YES 5.64/1.67
Zantema_04/z122.xml YES 9.56/3.29 YES 4.05/1.28
Zantema_04/z063.xml YES 3.88/1.67 YES 4.33/1.35
Zantema_04/z126.xml YES 5.18/2.14 YES 3.36/1.09
Zantema_04/z115.xml YES 17.47/5.25 YES 1.29/0.58
Zantema_04/z021.xml YES 10.83/3.51 YES 4.10/1.28
Zantema_04/z059.xml YES 15.34/4.85 YES 21.82/5.72
Zantema_04/z070.xml YES 25.26/7.07 YES 1.40/0.64
Zantema_04/z029.xml MAYBE 914.39/296.34 YES 24.35/6.38
Zantema_04/z036.xml StarExec error YES 28.38/7.42
Zantema_04/z004.xml YES 20.67/6.02 YES 6.16/1.80
Zantema_04/z027.xml MAYBE 1058.17/293.78 YES 25.29/6.70
Zantema_04/z108.xml YES 5.35/2.05 YES 1.46/0.62
Zantema_04/z064.xml YES 8.86/3.19 YES 11.65/3.18
Zantema_04/z081.xml YES 14.34/4.50 YES 1.98/0.75
Wenzel_16/babaaaaaaa-aaaaaaaababbab.srs.xml timeout (wallclock) MAYBE 230.94/67.35
Wenzel_16/abaaabaa-aaabaaababaaab.srs.xml timeout (wallclock) MAYBE 230.31/67.35
Wenzel_16/bacaaaaaaa-aaaaaaaabacbac.srs.xml timeout (wallclock) MAYBE 231.02/67.36
Wenzel_16/abaabababa-aababababaabab.srs.xml timeout (wallclock) MAYBE 230.52/67.35
Wenzel_16/aabaabbaab-aabbaabaabbaa.srs.xml MAYBE 739.56/293.13 MAYBE 230.92/67.36
Wenzel_16/abaabaaaa-aaaaabaabaab.srs.xml timeout (wallclock) MAYBE 230.49/67.39
Wenzel_16/abcbaaaa-aaaaabcbaabcb.srs.xml timeout (wallclock) YES 66.14/16.86
Wenzel_16/aabcbaaaa-aaaaaabcbaabcb.srs.xml timeout (wallclock) YES 44.85/11.52
Wenzel_16/abaababa-aababababaab.srs.xml MAYBE 614.27/293.34 MAYBE 230.60/67.35
Wenzel_16/abbaaaaaaa-aaaaaaaaabbabb.srs.xml timeout (wallclock) MAYBE 230.65/67.36
Wenzel_16/bababaa-aaaaababababa.srs.xml MAYBE 654.91/292.93 MAYBE 230.40/67.34
Wenzel_16/abbaaaaaa-aaaaaaabbaaabb.srs.xml timeout (wallclock) MAYBE 230.30/67.34
Wenzel_16/abbaaaa-aaaaabbaabb.srs.xml timeout (wallclock) MAYBE 229.52/67.33
Wenzel_16/abababaab-aababaabababab.srs.xml timeout (wallclock) MAYBE 229.71/67.36
Wenzel_16/aabaaaa-aaaaaabaaab.srs.xml MAYBE 635.83/293.44 YES 64.81/16.52
Wenzel_16/abbabbbbabb-abbbbabbabbbba.srs.xml timeout (wallclock) MAYBE 230.59/67.37
Wenzel_16/aaabaaaaa-aaaaaaaabaaaab.srs.xml timeout (wallclock) MAYBE 230.61/67.34
Wenzel_16/baabbaaaab-aabbaaaabbaab.srs.xml timeout (wallclock) MAYBE 230.67/67.35
Wenzel_16/abababaab-aabaabababab.srs.xml YES 146.12/38.40 MAYBE 230.37/67.35
Wenzel_16/abbaaaaaaa-aaaaaaaabbaabb.srs.xml MAYBE 728.67/300.10 MAYBE 230.26/67.34
Wenzel_16/bbcaaaaaaa-aaaaaaabbcbbca.srs.xml timeout (wallclock) MAYBE 231.48/67.35
Wenzel_16/ababaaaaaaa-aaaaaaaababab.srs.xml MAYBE 839.17/296.94 MAYBE 230.14/67.35
Wenzel_16/baabababba-abababbaababab.srs.xml timeout (wallclock) YES 92.92/23.50
Wenzel_16/abaaba-aababababaab.srs.xml MAYBE 856.45/292.53 MAYBE 230.49/67.34
Wenzel_16/abcbaaaaa-aaaaaabcbabcb.srs.xml timeout (wallclock) MAYBE 231.51/67.36
Wenzel_16/abaaaaaaa-aaaaaaaababab.srs.xml MAYBE 686.26/299.01 MAYBE 230.22/67.35
Wenzel_16/abbbaaaaa-aaaaaabbbaabbb.srs.xml timeout (wallclock) MAYBE 230.79/67.36
Wenzel_16/aabaaaa-aaaaaabaabaaab.srs.xml MAYBE 602.36/292.10 MAYBE 230.56/67.35
Wenzel_16/bcbaaaaaaa-aaaaaaabcbbcba.srs.xml timeout (wallclock) MAYBE 231.93/67.34
Wenzel_16/ababaabaaba-aabaabaababab.srs.xml timeout (wallclock) MAYBE 230.45/67.36
Wenzel_16/babbabbaba-abababbabbabba.srs.xml timeout (wallclock) MAYBE 231.18/67.35
Wenzel_16/abaaaa-aaaaabababaab.srs.xml timeout (wallclock) YES 58.35/14.90
Wenzel_16/abaaaaaaaa-aaaaaaaaaabaab.srs.xml timeout (wallclock) MAYBE 230.27/67.34
Wenzel_16/ababbabab-abbababababba.srs.xml MAYBE 657.53/291.94 MAYBE 230.68/67.34
Wenzel_16/baabbaabaab-aabbaabaabbaab.srs.xml timeout (wallclock) MAYBE 231.01/67.34
Wenzel_16/abacaaaaa-aaaaaabacaabac.srs.xml StarExec error MAYBE 231.02/67.35
Wenzel_16/aabbcaaaa-aaaaaabbcaabbc.srs.xml timeout (wallclock) MAYBE 231.23/67.34
Wenzel_16/abbaaaaaaa-aaaaaaaabbabb.srs.xml MAYBE 787.72/292.32 MAYBE 230.69/67.35
Wenzel_16/baabbaab-aabbaabaabaabb.srs.xml timeout (wallclock) MAYBE 231.04/67.35
Wenzel_16/aaabbaaaa-aaaaaaabbaaabb.srs.xml timeout (wallclock) StarExec error
Wenzel_16/abccaaaaa-aaaaaabccabcc.srs.xml timeout (wallclock) MAYBE 231.21/67.35
Wenzel_16/bababaaba-ababaababababa.srs.xml timeout (wallclock) MAYBE 231.02/67.36
Wenzel_16/aabccaaaa-aaaaaabccaabcc.srs.xml timeout (wallclock) YES 68.10/17.35
Wenzel_16/abaaaaaa-aaaaaaabaaaab.srs.xml timeout (wallclock) MAYBE 230.43/67.34
Wenzel_16/aabaabaaaa-aaaaaabaabaab.srs.xml timeout (wallclock) MAYBE 230.16/67.35
Wenzel_16/ababaababa-abaabababaabab.srs.xml StarExec error MAYBE 230.76/67.35
Wenzel_16/abaaababaab-abaababaaababa.srs.xml MAYBE 629.51/300.13 MAYBE 230.74/67.35
Wenzel_16/abababaababa-ababaabababaab.srs.xml MAYBE 646.89/291.93 MAYBE 230.72/67.34
Wenzel_16/abaaba-aabababababaab.srs.xml timeout (wallclock) MAYBE 230.41/67.35
Wenzel_16/ababaababa-abaababababaab.srs.xml timeout (wallclock) MAYBE 230.51/67.35
Wenzel_16/bbcaaaaaa-aaaaaaabbcbbc.srs.xml timeout (wallclock) MAYBE 231.42/67.34
Wenzel_16/abaaaaaa-aaaaaaabaaaaab.srs.xml timeout (wallclock) MAYBE 230.12/67.35
Wenzel_16/abababaababa-abaababaababab.srs.xml timeout (wallclock) MAYBE 230.54/67.34
Wenzel_16/abbaaaaa-aaaaaabbabb.srs.xml timeout (wallclock) MAYBE 230.76/67.35
Wenzel_16/abaaaaaa-aaaaaaabaaabab.srs.xml StarExec error MAYBE 230.69/67.36
Wenzel_16/abaaaaaa-aaaaaaaababab.srs.xml timeout (wallclock) MAYBE 230.33/67.36
Wenzel_16/abaaaaa-aaaaaabaaaabab.srs.xml timeout (wallclock) MAYBE 230.35/67.34
Wenzel_16/aabbaaaabaa-aabaaaabbaaaab.srs.xml timeout (wallclock) MAYBE 230.50/67.35
Wenzel_16/ababaababa-aababababaabab.srs.xml timeout (wallclock) MAYBE 230.59/67.36
Wenzel_16/abaaaaaaa-aaaaaaaabaaaab.srs.xml timeout (wallclock) MAYBE 229.90/67.36
Wenzel_16/abacaabaca-aabacabacaabac.srs.xml timeout (wallclock) StarExec error
Wenzel_16/abbbaaaa-aaaaabbbaaabbb.srs.xml StarExec error StarExec error
Wenzel_16/aabaaaabaa-aaaabaabaaaab.srs.xml MAYBE 875.63/293.43 MAYBE 230.73/67.34
Wenzel_16/abcbaabcba-aabcbabcbaabcb.srs.xml MAYBE 854.87/300.21 MAYBE 230.97/67.35
Wenzel_16/abaababa-aababababaabab.srs.xml timeout (wallclock) MAYBE 230.52/67.36
Wenzel_16/abaaaa-aaaaabaabab.srs.xml timeout (wallclock) YES 49.51/12.68
Wenzel_16/bababaa-aaaaaababababa.srs.xml timeout (wallclock) MAYBE 230.54/67.34
Wenzel_16/abbcaaaa-aaaaabbcaaabbc.srs.xml timeout (wallclock) MAYBE 231.30/67.35
Wenzel_16/caabccaabc-aabccaabcaabcc.srs.xml timeout (wallclock) MAYBE 232.24/67.35
Wenzel_16/abaaaa-aaaaabaababaab.srs.xml timeout (wallclock) YES 62.88/16.04
Wenzel_16/abaaabaaaa-aaaaabaaabaaab.srs.xml MAYBE 711.97/296.11 MAYBE 230.64/67.37
Wenzel_16/abaaaaa-aaaaaabaabaaab.srs.xml timeout (wallclock) MAYBE 230.34/67.34
Wenzel_16/babaaaaaa-aaaaaaababbab.srs.xml timeout (wallclock) MAYBE 230.64/67.35
Wenzel_16/aaabaaaa-aaaaaaabaaab.srs.xml timeout (wallclock) YES 197.76/49.78
Wenzel_16/abaaaaabaa-aaabaaabaaaaab.srs.xml timeout (wallclock) MAYBE 230.33/67.36
Wenzel_16/abbbaaaaa-aaaaaabbbabbb.srs.xml MAYBE 1001.40/298.04 MAYBE 230.83/67.35
Wenzel_16/bbcaaaaaa-aaaaaabbcbbca.srs.xml MAYBE 1095.35/300.36 MAYBE 231.34/67.36
Wenzel_16/aabbaaaa-aaaaaabbaabb.srs.xml MAYBE 670.79/292.23 YES 61.26/15.62
Wenzel_16/aabbaaba-aabaabbaab.srs.xml MAYBE 751.56/300.66 MAYBE 230.18/67.33
Wenzel_16/abaaaaa-aaaaaabaaaab.srs.xml MAYBE 879.42/294.80 MAYBE 230.30/67.50
Wenzel_16/abacababab-ababababacabac.srs.xml timeout (wallclock) StarExec error
Wenzel_16/aabaaaaa-aaaaaaabaaab.srs.xml StarExec error MAYBE 230.20/67.35
Wenzel_16/abaaaaaaa-aaaaaaaaababab.srs.xml StarExec error MAYBE 230.39/67.34
Wenzel_16/aabaaaaa-aaaaaaabaab.srs.xml timeout (wallclock) MAYBE 230.41/67.35
Wenzel_16/abaaaa-aaaaabaaabab.srs.xml timeout (wallclock) YES 52.77/13.50
Wenzel_16/abaaaaa-aaaaaababaaaab.srs.xml timeout (wallclock) MAYBE 230.36/67.35
Wenzel_16/aabaaabaab-abaaabaabaaab.srs.xml timeout (wallclock) MAYBE 230.86/67.35
Wenzel_16/abccaaaaa-aaaaaabccaabcc.srs.xml timeout (wallclock) MAYBE 231.15/67.35
Wenzel_16/ababaaba-abaababababaab.srs.xml timeout (wallclock) YES 181.31/45.68
Wenzel_16/abbaabbaaba-abaabbaabbaab.srs.xml StarExec error MAYBE 230.90/67.35
Wenzel_16/abbcaaaaa-aaaaaabbcaabbc.srs.xml timeout (wallclock) MAYBE 231.01/67.37
Wenzel_16/abababaaab-aaabaaabababab.srs.xml timeout (wallclock) YES 69.00/17.62
Wenzel_16/ababaaaa-aaaaababaaabab.srs.xml timeout (wallclock) MAYBE 230.10/67.35
Wenzel_16/aabaaaaaa-aaaaaaaabaaaab.srs.xml timeout (wallclock) MAYBE 230.70/67.35
Wenzel_16/abaababa-aabababababaab.srs.xml timeout (wallclock) MAYBE 230.55/67.35
Wenzel_16/babbabbaba-ababbabbabba.srs.xml YES 219.51/57.86 MAYBE 230.94/67.35
Wenzel_16/ababbababab-abbababababba.srs.xml timeout (wallclock) MAYBE 229.91/67.34
Wenzel_16/bababaaab-aabaaabababab.srs.xml YES 132.49/35.05 YES 128.53/32.42
Wenzel_16/baababaaab-ababaaababaab.srs.xml timeout (wallclock) MAYBE 230.89/67.37
Wenzel_16/bacaaaaaaa-aaaaaaabacbaca.srs.xml timeout (wallclock) MAYBE 231.41/67.36
Wenzel_16/aaabaaaaaa-aaaaaaaaabaaab.srs.xml timeout (wallclock) MAYBE 230.48/67.34
Wenzel_16/abcbaaaaa-aaaaaabcbaabcb.srs.xml timeout (wallclock) MAYBE 230.91/67.35
Wenzel_16/abaaaa-aaaaababaabaab.srs.xml timeout (wallclock) YES 89.39/22.72
Wenzel_16/abaaba-aabababaab.srs.xml MAYBE 588.92/295.13 MAYBE 229.03/67.34
Wenzel_16/abaababaaab-aababaaababaab.srs.xml timeout (wallclock) MAYBE 230.80/67.35
Wenzel_16/ababaabababa-aabababaababab.srs.xml timeout (wallclock) MAYBE 230.65/67.36
Wenzel_16/abacaaaa-aaaaabacaaabac.srs.xml timeout (wallclock) YES 122.17/30.86
Wenzel_16/abaaaabaa-aaabaabaaaab.srs.xml timeout (wallclock) MAYBE 230.23/67.34
Wenzel_16/abaaaaa-aaaaaababab.srs.xml timeout (wallclock) MAYBE 229.88/67.35
Wenzel_16/abaaaaa-aaaaaabababab.srs.xml timeout (wallclock) MAYBE 230.47/67.35
Wenzel_16/bababababaa-aababababababa.srs.xml timeout (wallclock) MAYBE 231.19/67.35
Wenzel_16/abaaaaaaa-aaaaaaaabaab.srs.xml timeout (wallclock) MAYBE 230.25/67.34
Wenzel_16/bacaaaaaa-aaaaaaabacbac.srs.xml timeout (wallclock) MAYBE 231.38/67.36
Wenzel_16/bacaaaaaa-aaaaaabacbaca.srs.xml timeout (wallclock) MAYBE 230.93/67.35
Wenzel_16/abbcaaaa-aaaaabbcaabbc.srs.xml timeout (wallclock) MAYBE 230.99/67.34
Wenzel_16/abaabaaaaa-aaaaaabaabaab.srs.xml timeout (wallclock) MAYBE 230.68/67.36
Wenzel_16/abaaaaa-aaaaaaabababab.srs.xml timeout (wallclock) StarExec error
Wenzel_16/abababaaaaa-aaaaaabababab.srs.xml timeout (wallclock) MAYBE 230.55/67.35
Wenzel_16/bbcaaaaaaa-aaaaaaaabbcbbc.srs.xml timeout (wallclock) MAYBE 231.43/67.36
Wenzel_16/ababaabababa-abaababababaab.srs.xml timeout (wallclock) MAYBE 230.56/67.34
Wenzel_16/ababaaaaa-aaaaaababab.srs.xml timeout (wallclock) MAYBE 230.29/67.35
Wenzel_16/aabaababaab-aababaabaababa.srs.xml timeout (wallclock) YES 65.56/16.69
Wenzel_16/abaaaaaa-aaaaaaababaaab.srs.xml MAYBE 652.42/292.13 MAYBE 230.43/67.35
Wenzel_16/ababbabab-abbabababba.srs.xml timeout (wallclock) MAYBE 230.48/67.36
Wenzel_16/abccaaaa-aaaaabccaaabcc.srs.xml timeout (wallclock) MAYBE 231.09/67.35
Wenzel_16/abaaaaaaaaa-aaaaaaaaaaabab.srs.xml timeout (wallclock) MAYBE 230.33/67.35
Wenzel_16/babababaa-aaaabababababa.srs.xml timeout (wallclock) MAYBE 230.73/67.36
Wenzel_16/ababaababa-abaabababaab.srs.xml timeout (wallclock) MAYBE 230.46/67.34
Wenzel_16/baabbaab-aabbaabaabb.srs.xml MAYBE 857.07/297.28 MAYBE 231.19/67.36
Wenzel_16/aabaaaa-aaaaaabaab.srs.xml timeout (wallclock) YES 146.51/36.93
Wenzel_16/ababaabaaba-abaabaabaabab.srs.xml timeout (wallclock) YES 216.04/54.34
Wenzel_16/aabababab-ababababaaaaab.srs.xml timeout (wallclock) MAYBE 230.71/67.35
Wenzel_16/abbaaba-abaabbaab.srs.xml MAYBE 813.64/297.38 MAYBE 230.45/67.34
Wenzel_16/abbaaaa-aaaaabbabbaabb.srs.xml timeout (wallclock) YES 65.28/16.64
Wenzel_16/ababaaaaa-aaaaaababaabab.srs.xml timeout (wallclock) MAYBE 230.41/67.36
Wenzel_16/abcbaaaa-aaaaabcbaaabcb.srs.xml timeout (wallclock) YES 86.04/21.84
Wenzel_16/aabbaaaaa-aaaaaaabbaaabb.srs.xml timeout (wallclock) MAYBE 230.49/67.34
Wenzel_16/bababaa-aaaababababa.srs.xml MAYBE 599.53/292.10 MAYBE 230.51/67.36
Wenzel_16/aabaababaab-aababaababaaba.srs.xml timeout (wallclock) MAYBE 230.30/67.34
Wenzel_16/ababaaaa-aaaaababaabab.srs.xml timeout (wallclock) MAYBE 230.73/67.42
Wenzel_16/abaaaa-aaaaabaabaab.srs.xml MAYBE 685.43/299.53 YES 63.36/16.15
Wenzel_16/abaaaaaaaa-aaaaaaaaaabab.srs.xml timeout (wallclock) MAYBE 230.25/67.35
Wenzel_16/abaaaaabaa-aaaaababaaaaab.srs.xml timeout (wallclock) MAYBE 230.32/67.35
Wenzel_16/cabababa-ababababccccca.srs.xml timeout (wallclock) MAYBE 231.68/67.35
Wenzel_16/abbaababab-ababababbaabba.srs.xml MAYBE 775.50/293.01 YES 126.08/31.83
Wenzel_16/babaaaaaaa-aaaaaaababbaba.srs.xml timeout (wallclock) MAYBE 230.01/67.34
Wenzel_16/aababaaaa-aaaaaababaabab.srs.xml timeout (wallclock) MAYBE 230.34/67.35
Wenzel_16/abaaaaaaa-aaaaaaaababaab.srs.xml timeout (wallclock) MAYBE 230.48/67.35
Wenzel_16/abaabaaaa-aaaaabaababaab.srs.xml timeout (wallclock) YES 87.08/22.10
Wenzel_16/babababaa-aaabababababa.srs.xml MAYBE 1063.89/296.07 MAYBE 230.87/67.35
Wenzel_16/babbaabba-abbaabbabba.srs.xml timeout (wallclock) MAYBE 230.90/67.36
Wenzel_16/aabaaaaa-aaaaaaabaabaab.srs.xml MAYBE 676.61/298.71 MAYBE 230.86/67.36
Wenzel_16/aabaaaaa-aaaaaaabaaaab.srs.xml timeout (wallclock) MAYBE 230.80/67.35
Wenzel_16/baabaabbaab-aabbaabaabaabb.srs.xml timeout (wallclock) MAYBE 231.39/67.35
Wenzel_16/abacaaaa-aaaaabacaabac.srs.xml timeout (wallclock) MAYBE 230.76/67.34
Wenzel_16/aabbaabbaaba-aabaabbaabbaab.srs.xml timeout (wallclock) MAYBE 230.86/67.35
Wenzel_16/aabbbaaaa-aaaaaabbbaabbb.srs.xml timeout (wallclock) MAYBE 230.58/67.35
Wenzel_16/aabacaaa-aaaaabacaabac.srs.xml MAYBE 870.36/291.93 StarExec error
Wenzel_16/abbbaaaa-aaaaabbbaabbb.srs.xml timeout (wallclock) MAYBE 230.88/67.36
Wenzel_16/ababbbabbab-abbabbbababbba.srs.xml timeout (wallclock) StarExec error
Wenzel_16/abaaaaaaa-aaaaaaaabab.srs.xml StarExec error MAYBE 230.23/67.36
Wenzel_16/baababaab-ababaabaabab.srs.xml timeout (wallclock) StarExec error
Wenzel_16/abaabababa-aababababaab.srs.xml timeout (wallclock) MAYBE 230.59/67.34
Wenzel_16/bcbaaaaaa-aaaaaabcbbcba.srs.xml timeout (wallclock) MAYBE 231.62/67.35
Wenzel_16/abaaaa-aaaaabaaabaab.srs.xml timeout (wallclock) YES 69.04/17.59
Wenzel_16/abbcacabca-abcacabbcacab.srs.xml timeout (wallclock) MAYBE 231.09/67.35
Wenzel_16/aabaaaaaaa-aaaaaaaaabaab.srs.xml timeout (wallclock) MAYBE 230.43/67.35
Wenzel_16/bccaaaaaa-aaaaaaabccbcc.srs.xml timeout (wallclock) MAYBE 231.10/67.35
Wenzel_16/abaaaaa-aaaaaababaabab.srs.xml timeout (wallclock) MAYBE 230.44/67.34
Wenzel_16/abaaaaa-aaaaaabaaabab.srs.xml timeout (wallclock) MAYBE 230.12/67.34
Wenzel_16/abbaaaa-aaaaabbaabbabb.srs.xml timeout (wallclock) MAYBE 230.65/67.35
Wenzel_16/abababbabab-ababbabababba.srs.xml timeout (wallclock) MAYBE 230.57/67.35
Wenzel_16/aabaaaaaaaa-aaaaaaaaaabaab.srs.xml timeout (wallclock) YES 74.07/18.84
Wenzel_16/aabaaaa-aaaaaabaabaab.srs.xml timeout (wallclock) YES 61.84/16.55
Wenzel_16/aabaaaa-aaaaaabaaabaab.srs.xml timeout (wallclock) YES 45.40/11.67
Wenzel_16/bccaaaaaa-aaaaaabccbcca.srs.xml MAYBE 1101.75/293.29 MAYBE 230.56/67.35
Wenzel_16/abaaaaa-aaaaaabaaabaab.srs.xml timeout (wallclock) MAYBE 230.00/67.34
Wenzel_16/cababababa-abababababccca.srs.xml StarExec error MAYBE 231.55/67.36
Wenzel_16/babbabbababa-abababbabbabba.srs.xml timeout (wallclock) MAYBE 231.37/67.37
Wenzel_16/abaaaaa-aaaaaababaaab.srs.xml timeout (wallclock) MAYBE 230.37/67.35
Wenzel_16/aabaaaaaa-aaaaaaaabaaab.srs.xml timeout (wallclock) MAYBE 230.46/67.35
Wenzel_16/bababbababa-abababbababba.srs.xml YES 147.01/38.76 MAYBE 230.96/67.35
Wenzel_16/abaaaaaaa-aaaaaaaabaaab.srs.xml timeout (wallclock) MAYBE 230.39/67.34
Wenzel_16/abaabababa-aabababababaab.srs.xml timeout (wallclock) MAYBE 230.66/67.35
Wenzel_16/bcbaaaaaa-aaaaaaabcbbcb.srs.xml MAYBE 765.47/293.12 MAYBE 231.49/67.34
Wenzel_16/aabbababa-abababaabbaab.srs.xml timeout (wallclock) YES 98.38/24.97
Wenzel_16/abbabbaaaaa-aaaaaabbabbabb.srs.xml MAYBE 610.50/296.06 MAYBE 230.44/67.35
Wenzel_16/abbaaaaa-aaaaaabbaaaabb.srs.xml timeout (wallclock) MAYBE 230.62/67.34
Wenzel_16/abababaababa-ababaababaabab.srs.xml timeout (wallclock) MAYBE 230.46/67.35
Wenzel_16/abaaaaaaa-aaaaaaaabaabab.srs.xml timeout (wallclock) MAYBE 230.51/67.36
Wenzel_16/aabaabaaaaa-aaaaaaabaabaab.srs.xml timeout (wallclock) MAYBE 230.49/67.36
Wenzel_16/abaababa-aabababaab.srs.xml timeout (wallclock) MAYBE 230.36/67.35
Wenzel_16/baabbaaaabb-aabbaaaabbaabb.srs.xml MAYBE 741.31/298.41 MAYBE 230.59/67.35
Wenzel_16/abaaaa-aaaaabaaabaaab.srs.xml timeout (wallclock) YES 62.21/15.87
Wenzel_16/abccaaaa-aaaaabccaabcc.srs.xml timeout (wallclock) YES 178.27/44.87
Wenzel_16/abbcaabbca-aabbcabbcaabbc.srs.xml timeout (wallclock) MAYBE 231.33/67.36
Wenzel_16/bababaaaba-aabaaababababa.srs.xml MAYBE 674.88/296.61 MAYBE 230.79/67.35
Wenzel_16/abaababaab-ababaabaababa.srs.xml timeout (wallclock) MAYBE 230.74/67.35
Wenzel_16/bcbaaaaaaa-aaaaaaaabcbbcb.srs.xml timeout (wallclock) MAYBE 231.32/67.36
Wenzel_16/baaabbaaab-aaabbaaabaaabb.srs.xml timeout (wallclock) MAYBE 231.40/67.36
Wenzel_16/abaababababa-aabababababaab.srs.xml timeout (wallclock) MAYBE 230.40/67.36
Wenzel_16/abaaaa-aaaaabaababab.srs.xml timeout (wallclock) YES 50.41/12.92
Wenzel_16/abaaaaaa-aaaaaaabaaab.srs.xml MAYBE 684.37/295.86 MAYBE 230.13/67.34
Wenzel_16/abaaaa-aaaaababaabab.srs.xml timeout (wallclock) YES 54.81/14.00
Wenzel_16/aabbaabababa-aabababaabbaab.srs.xml timeout (wallclock) MAYBE 230.80/67.36
Wenzel_16/abbaaaaa-aaaaaabbabbabb.srs.xml timeout (wallclock) MAYBE 230.88/67.34
Wenzel_16/abbaaaabaa-abaaaabbaaaab.srs.xml timeout (wallclock) MAYBE 230.36/67.36
Wenzel_16/baabbaaba-aabbaabaabba.srs.xml timeout (wallclock) MAYBE 230.53/67.36
Wenzel_16/abababaababa-aababaabababab.srs.xml timeout (wallclock) MAYBE 230.60/67.35
Wenzel_16/ababaaaaa-aaaaaabababab.srs.xml timeout (wallclock) MAYBE 230.29/67.35
Wenzel_16/abcabbcab-abbcabcabbca.srs.xml timeout (wallclock) YES 160.31/40.40
Wenzel_16/aabaaaaaaa-aaaaaaaaabaaab.srs.xml timeout (wallclock) MAYBE 230.89/67.36
Wenzel_16/abacaaaaa-aaaaaabacabac.srs.xml timeout (wallclock) MAYBE 231.04/67.35
Wenzel_16/abaaaaaaaa-aaaaaaaaabaaab.srs.xml MAYBE 652.57/296.75 YES 69.43/17.69
Wenzel_16/bccaaaaaaa-aaaaaaaabccbcc.srs.xml MAYBE 773.05/299.11 MAYBE 231.25/67.35
Wenzel_16/aabaaabaaba-aaabaabaabaaab.srs.xml timeout (wallclock) MAYBE 230.45/67.35
Wenzel_16/aabbaaaa-aaaaaabbaaabb.srs.xml timeout (wallclock) MAYBE 230.72/67.36
Wenzel_16/aaabaaaaa-aaaaaaaabaaab.srs.xml timeout (wallclock) MAYBE 230.07/67.34
Wenzel_16/bccaaaaaaa-aaaaaaabccbcca.srs.xml MAYBE 795.93/293.35 MAYBE 229.77/67.35
Wenzel_16/abaaaa-aaaaabaabaabab.srs.xml timeout (wallclock) YES 120.82/30.57
Wenzel_16/abbaaaaa-aaaaaabbaaabb.srs.xml timeout (wallclock) MAYBE 230.78/67.36
Wenzel_16/abbcaaaaa-aaaaaabbcabbc.srs.xml MAYBE 1125.24/297.07 MAYBE 231.15/67.35
Wenzel_16/aabbaaaaa-aaaaaaabbaabb.srs.xml MAYBE 787.28/299.84 MAYBE 230.85/67.36
Wenzel_16/babaaaaaa-aaaaaababbaba.srs.xml timeout (wallclock) MAYBE 230.56/67.35
Wenzel_16/abaababaab-aababaabaabab.srs.xml timeout (wallclock) MAYBE 230.66/67.36
Wenzel_16/acbabacba-abacbacbabac.srs.xml timeout (wallclock) MAYBE 231.23/67.35
Zantema_06/05.xml YES 145.96/37.38 MAYBE 232.21/67.35
Zantema_06/03.xml YES 154.97/40.01 YES 59.77/15.24
Zantema_06/01.xml YES 12.09/4.27 YES 18.11/4.95
Zantema_06/12.xml YES 141.90/38.71 YES 39.51/10.19
Zantema_06/10.xml YES 25.17/9.42 YES 29.65/7.85
Zantema_06/beans3.xml YES 12.61/4.17 YES 28.45/7.49
Zantema_06/06.xml YES 41.18/11.21 YES 53.76/13.74
Zantema_06/while2.xml YES 11.52/3.82 YES 4.13/1.31
Zantema_06/beans2.xml YES 10.99/3.71 YES 25.84/6.73
Zantema_06/02.xml YES 9.55/3.37 YES 4.45/1.38
Zantema_06/beans7.xml YES 23.77/6.90 YES 34.39/8.95
Zantema_06/14.xml YES 38.97/11.39 MAYBE 231.95/67.34
Zantema_06/abc.xml YES 32.92/9.35 YES 21.36/5.85
Zantema_06/13.xml YES 27.87/7.72 YES 87.91/22.28
Zantema_06/beans1.xml YES 17.67/5.39 YES 7.57/2.17
Zantema_06/04.xml YES 31.04/8.63 YES 27.41/7.14
Zantema_06/17.xml YES 5.96/2.31 YES 22.34/5.92
Zantema_06/08.xml timeout (cpu) MAYBE 231.51/67.35
Zantema_06/beans4.xml StarExec error YES 1.56/0.66
Zantema_06/loop1.xml NO 3.23/1.49 NO 1.55/0.65
Zantema_06/16.xml YES 10.80/3.90 YES 15.08/4.04
Zantema_06/beans5.xml YES 12.78/4.14 YES 25.92/6.78
Zantema_06/09.xml YES 14.86/4.80 YES 23.28/6.12
Zantema_06/11.xml YES 37.18/10.28 YES 31.14/8.06
Zantema_06/07.xml StarExec error MAYBE 231.77/67.36
Zantema_06/18.xml YES 16.68/5.11 YES 130.50/33.23
Zantema_06/loop2.xml NO 3.04/1.49 NO 1.52/0.64
Zantema_06/15.xml YES 30.64/10.19 YES 104.35/26.50
Zantema_06/while1.xml timeout (wallclock) MAYBE 228.10/67.43
Zantema_06/beans6.xml YES 33.77/9.70 YES 26.98/7.02
Waldmann_06_SRS/sym-1.xml YES 5.20/2.07 YES 6.42/1.88
Waldmann_06_SRS/sym-4.xml YES 5.46/2.21 YES 4.40/1.36
Waldmann_06_SRS/z086-variant.xml YES 45.99/12.37 YES 45.42/11.70
Waldmann_06_SRS/uni-1.xml YES 5.34/2.19 YES 6.09/1.79
Waldmann_06_SRS/uni-7.xml timeout (cpu) MAYBE 233.83/67.34
Waldmann_06_SRS/pi.xml YES 35.32/9.69 YES 24.53/6.44
Waldmann_06_SRS/jw3.xml YES 16.30/5.07 MAYBE 232.72/67.34
Waldmann_06_SRS/uni-4.xml NO 3.82/1.74 MAYBE 230.04/67.35
Waldmann_06_SRS/jw4.xml YES 114.36/29.57 YES 28.60/7.46
Waldmann_06_SRS/uni-3.xml NO 6.18/2.29 MAYBE 230.73/67.36
Waldmann_06_SRS/sym-2.xml YES 27.05/7.98 YES 14.28/3.82
Waldmann_06_SRS/uni-2.xml NO 3.76/1.65 NO 3.27/1.08
Waldmann_06_SRS/jw1.xml YES 34.48/9.37 MAYBE 230.24/67.33
Waldmann_06_SRS/uni-5.xml YES 25.14/7.14 YES 27.16/7.09
Waldmann_06_SRS/uni-6.xml NO 10.54/3.66 StarExec error
Waldmann_06_SRS/sym-6.xml YES 105.35/27.61 MAYBE 228.97/67.34
Waldmann_06_SRS/jw5.xml timeout (wallclock) YES 31.20/8.13
Waldmann_06_SRS/sym-5.xml YES 350.69/89.06 MAYBE 230.86/67.35
Waldmann_06_SRS/e.xml StarExec error YES 29.18/7.64
Trafo_06/un08.xml YES 18.86/7.70 YES 33.18/8.60
Trafo_06/hom01.xml YES 48.76/13.16 YES 13.04/3.53
Trafo_06/dup06.xml YES 26.42/7.47 YES 24.50/6.42
Trafo_06/un07.xml YES 23.41/6.76 YES 32.23/8.37
Trafo_06/hom03.xml YES 128.65/33.89 YES 44.43/11.41
Trafo_06/dup10.xml StarExec error YES 69.28/17.65
Trafo_06/un12.xml timeout (wallclock) MAYBE 229.97/67.34
Trafo_06/un14.xml YES 129.13/35.48 YES 48.53/12.45
Trafo_06/dup08.xml YES 45.86/12.79 YES 18.91/5.00
Trafo_06/dup15.xml YES 22.49/6.80 YES 10.13/2.80
Trafo_06/un10.xml timeout (wallclock) YES 70.23/17.87
Trafo_06/hom02.xml YES 8.37/2.99 YES 2.11/0.79
Trafo_06/un13.xml MAYBE 654.28/298.28 MAYBE 230.57/67.36
Trafo_06/dup05.xml YES 17.52/5.55 YES 31.50/8.24
Trafo_06/dup14.xml YES 28.96/8.14 YES 40.96/10.58
Trafo_06/dup01.xml YES 25.80/7.61 YES 2.66/1.04
Trafo_06/un16.xml timeout (wallclock) MAYBE 230.99/67.35
Trafo_06/dup13.xml YES 226.84/58.20 YES 56.62/14.47
Trafo_06/un02.xml StarExec error MAYBE 231.72/67.39
Trafo_06/un04.xml NO 13.12/4.24 MAYBE 230.42/67.34
Trafo_06/un15.xml MAYBE 1188.37/298.20 MAYBE 230.69/67.36
Trafo_06/dup12.xml YES 111.79/28.97 MAYBE 232.51/67.37
Trafo_06/un06.xml YES 25.88/7.56 YES 16.86/4.48
Trafo_06/dup17.xml YES 43.86/11.88 YES 14.61/3.93
Trafo_06/un05.xml YES 37.01/10.43 MAYBE 230.24/67.35
Trafo_06/un11.xml timeout (wallclock) MAYBE 230.54/67.35
Trafo_06/dup16.xml YES 8.29/2.82 YES 12.41/3.38
Trafo_06/dup11.xml YES 43.98/12.11 YES 58.67/15.06
Trafo_06/un18.xml timeout (wallclock) MAYBE 230.72/67.36
Trafo_06/un09.xml YES 64.53/17.06 YES 64.37/16.41
Trafo_06/un17.xml YES 251.61/63.86 MAYBE 230.88/67.36
Trafo_06/dup09.xml YES 28.37/8.00 YES 2.22/0.83
Trafo_06/dup07.xml YES 28.00/7.91 YES 29.04/7.59
Waldmann_07_size12/size-12-alpha-3-num-108.xml YES 24.52/7.03 YES 20.21/5.45
Waldmann_07_size12/size-12-alpha-3-num-507.xml YES 27.24/7.64 YES 7.86/2.23
Waldmann_07_size12/size-12-alpha-3-num-279.xml YES 21.92/6.33 YES 13.25/3.60
Waldmann_07_size12/size-12-alpha-3-num-85.xml YES 26.36/7.42 YES 50.46/12.98
Waldmann_07_size12/size-12-alpha-3-num-202.xml YES 24.03/9.92 MAYBE 190.88/67.33
Waldmann_07_size12/size-12-alpha-3-num-487.xml YES 42.09/11.31 YES 39.72/10.24
Waldmann_07_size12/size-12-alpha-3-num-199.xml timeout (wallclock) MAYBE 230.00/67.33
Waldmann_07_size12/size-12-alpha-3-num-200.xml YES 17.80/5.29 YES 24.42/6.76
Waldmann_07_size12/size-12-alpha-3-num-32.xml MAYBE 1165.76/293.29 MAYBE 230.28/67.35
Waldmann_07_size12/size-12-alpha-3-num-461.xml YES 34.46/10.91 YES 30.21/7.84
Waldmann_07_size12/size-12-alpha-3-num-101.xml NO 8.66/3.05 MAYBE 215.64/67.33
Waldmann_07_size12/size-12-alpha-3-num-113.xml YES 12.07/3.96 YES 27.87/7.25
Waldmann_07_size12/size-12-alpha-3-num-255.xml YES 41.89/11.34 YES 19.47/5.20
Waldmann_07_size12/size-12-alpha-3-num-170.xml NO 48.13/12.91 MAYBE 229.78/67.33
Waldmann_07_size12/size-12-alpha-3-num-160.xml NO 3.60/1.58 NO 4.65/1.43
Waldmann_07_size12/size-12-alpha-3-num-399.xml YES 16.37/4.98 YES 28.79/7.49
Waldmann_07_size12/size-12-alpha-2-num-1.xml YES 10.40/3.55 YES 29.10/7.56
Waldmann_07_size12/size-12-alpha-3-num-503.xml YES 34.24/9.48 YES 65.45/16.65
Waldmann_07_size12/size-12-alpha-3-num-395.xml YES 11.58/3.88 YES 28.49/7.41
Waldmann_07_size12/size-12-alpha-3-num-566.xml NO 663.32/166.66 MAYBE 227.90/67.34
Waldmann_07_size12/size-12-alpha-3-num-59.xml YES 8.17/2.95 YES 12.95/3.67
Waldmann_07_size12/size-12-alpha-3-num-485.xml YES 12.99/4.32 YES 24.57/6.54
Waldmann_07_size12/size-12-alpha-3-num-389.xml YES 32.05/8.83 YES 28.57/7.43
Waldmann_07_size12/size-12-alpha-2-num-12.xml MAYBE 1053.54/293.20 MAYBE 230.19/67.34
Waldmann_07_size12/size-12-alpha-3-num-560.xml YES 27.84/7.86 YES 23.46/6.14
Waldmann_07_size12/size-12-alpha-3-num-194.xml YES 13.17/4.56 YES 16.77/4.47
Waldmann_07_size12/size-12-alpha-3-num-198.xml YES 14.20/4.38 YES 38.53/9.92
Waldmann_07_size12/size-12-alpha-2-num-6.xml YES 24.96/7.15 MAYBE 230.03/67.35
Waldmann_07_size12/size-12-alpha-3-num-131.xml YES 24.01/6.83 YES 26.80/6.99
Waldmann_07_size12/size-12-alpha-3-num-257.xml NO 4.37/2.08 MAYBE 186.49/67.34
Waldmann_07_size12/size-12-alpha-3-num-207.xml NO 10.76/3.44 MAYBE 216.14/67.33
Waldmann_07_size12/size-12-alpha-3-num-11.xml NO 32.94/9.09 MAYBE 229.07/67.33
Waldmann_07_size12/size-12-alpha-3-num-430.xml timeout (cpu) MAYBE 230.91/67.34
Waldmann_07_size12/size-12-alpha-3-num-201.xml YES 12.38/4.26 YES 19.38/5.50
Waldmann_07_size12/size-12-alpha-3-num-480.xml YES 28.93/8.14 YES 30.20/7.83
Waldmann_07_size12/size-12-alpha-3-num-64.xml StarExec error YES 11.82/3.31
Waldmann_07_size12/size-12-alpha-3-num-263.xml YES 26.09/7.38 YES 101.58/25.67
Waldmann_07_size12/size-12-alpha-3-num-367.xml YES 32.05/9.74 YES 28.44/7.39
Waldmann_07_size12/size-12-alpha-3-num-369.xml NO 81.07/21.45 MAYBE 230.98/67.35
Waldmann_07_size12/size-12-alpha-3-num-478.xml YES 28.86/8.09 YES 61.26/15.61
Waldmann_07_size12/size-12-alpha-3-num-48.xml YES 25.43/7.19 YES 27.99/7.44
Waldmann_07_size12/size-12-alpha-3-num-241.xml NO 6.38/2.35 MAYBE 205.60/67.34
Waldmann_07_size12/size-12-alpha-3-num-448.xml YES 11.70/3.92 YES 28.77/7.76
Waldmann_07_size12/size-12-alpha-3-num-217.xml NO 4.31/1.77 NO 12.38/3.38
Waldmann_07_size12/size-12-alpha-3-num-495.xml YES 25.50/7.24 MAYBE 231.49/67.35
Waldmann_07_size12/size-12-alpha-3-num-291.xml MAYBE 1163.16/292.79 MAYBE 230.30/67.33
Waldmann_07_size12/size-12-alpha-3-num-476.xml YES 23.53/6.84 YES 25.83/6.78
Waldmann_07_size12/size-12-alpha-3-num-375.xml YES 21.45/6.25 YES 27.92/7.27
Waldmann_07_size12/size-12-alpha-3-num-479.xml YES 30.03/8.45 YES 39.97/10.28
Waldmann_07_size12/size-12-alpha-3-num-551.xml YES 29.25/8.11 YES 9.94/2.76
Waldmann_07_size12/size-12-alpha-3-num-536.xml YES 21.34/6.94 YES 26.36/6.88
Waldmann_07_size12/size-12-alpha-3-num-271.xml YES 13.43/4.31 YES 32.69/8.49
Waldmann_07_size12/size-12-alpha-3-num-564.xml NO 100.34/25.93 MAYBE 230.78/67.35
Waldmann_07_size12/size-12-alpha-3-num-249.xml NO 43.87/12.11 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-434.xml MAYBE 1163.83/291.85 MAYBE 229.53/67.34
Waldmann_07_size12/size-12-alpha-3-num-83.xml NO 409.79/103.90 MAYBE 229.07/67.34
Waldmann_07_size12/size-12-alpha-3-num-335.xml YES 13.78/4.27 YES 27.93/7.55
Waldmann_07_size12/size-12-alpha-3-num-30.xml YES 21.06/6.04 YES 13.90/3.76
Waldmann_07_size12/size-12-alpha-3-num-120.xml MAYBE 1164.28/291.95 MAYBE 230.35/67.34
Waldmann_07_size12/size-12-alpha-3-num-565.xml YES 28.84/8.09 YES 13.39/3.67
Waldmann_07_size12/size-12-alpha-3-num-67.xml YES 18.40/5.43 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-511.xml StarExec error MAYBE 230.38/67.34
Waldmann_07_size12/size-12-alpha-3-num-19.xml YES 12.76/3.95 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-104.xml YES 23.83/6.78 YES 34.44/9.00
Waldmann_07_size12/size-12-alpha-2-num-10.xml timeout (cpu) MAYBE 230.09/67.35
Waldmann_07_size12/size-12-alpha-3-num-416.xml YES 25.78/7.61 YES 35.80/9.24
Waldmann_07_size12/size-12-alpha-3-num-468.xml YES 14.25/4.35 YES 29.89/7.76
Waldmann_07_size12/size-12-alpha-3-num-71.xml YES 15.98/4.89 YES 26.89/7.24
Waldmann_07_size12/size-12-alpha-3-num-4.xml YES 22.91/6.80 YES 16.08/4.30
Waldmann_07_size12/size-12-alpha-3-num-233.xml NO 85.88/22.71 MAYBE 230.65/67.34
Waldmann_07_size12/size-12-alpha-3-num-374.xml MAYBE 1163.63/292.63 MAYBE 230.62/67.34
Waldmann_07_size12/size-12-alpha-3-num-376.xml YES 10.25/3.88 YES 26.73/7.00
Waldmann_07_size12/size-12-alpha-3-num-231.xml StarExec error MAYBE 230.98/67.34
Waldmann_07_size12/size-12-alpha-2-num-16.xml YES 33.34/9.25 YES 18.67/4.99
Waldmann_07_size12/size-12-alpha-3-num-191.xml YES 15.73/4.77 YES 16.67/4.66
Waldmann_07_size12/size-12-alpha-3-num-499.xml YES 12.08/4.03 YES 34.77/8.99
Waldmann_07_size12/size-12-alpha-3-num-460.xml YES 30.44/8.50 YES 28.31/7.38
Waldmann_07_size12/size-12-alpha-3-num-210.xml MAYBE 1169.26/293.48 MAYBE 211.79/67.33
Waldmann_07_size12/size-12-alpha-3-num-190.xml YES 20.48/5.92 YES 20.51/5.45
Waldmann_07_size12/size-12-alpha-2-num-8.xml YES 28.43/9.64 MAYBE 230.26/67.35
Waldmann_07_size12/size-12-alpha-3-num-474.xml NO 91.46/23.70 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-453.xml StarExec error YES 29.73/7.72
Waldmann_07_size12/size-12-alpha-3-num-10.xml YES 11.69/3.92 YES 13.93/3.74
Waldmann_07_size12/size-12-alpha-3-num-378.xml NO 136.56/37.10 MAYBE 230.70/67.34
Waldmann_07_size12/size-12-alpha-3-num-270.xml NO 46.24/12.39 MAYBE 230.53/67.35
Waldmann_07_size12/size-12-alpha-3-num-451.xml YES 12.37/4.12 YES 28.58/7.42
Waldmann_07_size12/size-12-alpha-2-num-22.xml YES 14.59/4.77 YES 18.09/4.89
Waldmann_07_size12/size-12-alpha-3-num-206.xml NO 7.83/2.82 MAYBE 213.79/67.34
Waldmann_07_size12/size-12-alpha-3-num-403.xml MAYBE 1164.86/293.25 MAYBE 231.02/67.35
Waldmann_07_size12/size-12-alpha-3-num-429.xml YES 26.52/7.46 YES 12.26/3.34
Waldmann_07_size12/size-12-alpha-3-num-57.xml YES 4.69/1.91 YES 13.84/3.76
Waldmann_07_size12/size-12-alpha-3-num-204.xml StarExec error MAYBE 216.77/67.37
Waldmann_07_size12/size-12-alpha-3-num-238.xml MAYBE 1176.56/295.06 MAYBE 230.87/67.35
Waldmann_07_size12/size-12-alpha-3-num-70.xml YES 16.94/5.04 YES 20.35/5.53
Waldmann_07_size12/size-12-alpha-3-num-402.xml NO 248.17/62.93 MAYBE 230.69/67.35
Waldmann_07_size12/size-12-alpha-3-num-437.xml YES 14.00/4.62 YES 25.90/7.24
Waldmann_07_size12/size-12-alpha-3-num-65.xml YES 19.45/5.68 YES 25.51/6.66
Waldmann_07_size12/size-12-alpha-3-num-413.xml YES 28.54/7.91 YES 29.07/7.55
Waldmann_07_size12/size-12-alpha-3-num-285.xml YES 7.70/2.80 YES 20.47/5.55
Waldmann_07_size12/size-12-alpha-3-num-22.xml StarExec error MAYBE 230.58/67.35
Waldmann_07_size12/size-12-alpha-2-num-20.xml NO 221.85/56.33 MAYBE 228.23/67.34
Waldmann_07_size12/size-12-alpha-3-num-343.xml YES 19.25/5.65 YES 19.05/5.05
Waldmann_07_size12/size-12-alpha-3-num-563.xml YES 22.83/6.77 YES 23.70/6.21
Waldmann_07_size12/size-12-alpha-3-num-561.xml YES 14.76/4.49 YES 23.79/6.23
Waldmann_07_size12/size-12-alpha-3-num-110.xml YES 17.10/7.69 YES 26.48/6.90
Waldmann_07_size12/size-12-alpha-3-num-226.xml YES 33.40/9.22 YES 29.16/7.58
Waldmann_07_size12/size-12-alpha-3-num-265.xml YES 17.12/5.10 YES 19.36/5.11
Waldmann_07_size12/size-12-alpha-3-num-275.xml YES 22.06/6.44 YES 9.06/2.53
Waldmann_07_size12/size-12-alpha-3-num-414.xml YES 37.37/10.34 YES 30.63/7.94
Waldmann_07_size12/size-12-alpha-3-num-98.xml YES 38.76/10.65 YES 36.52/9.43
Waldmann_07_size12/size-12-alpha-2-num-13.xml YES 21.04/6.39 YES 34.26/8.86
Waldmann_07_size12/size-12-alpha-3-num-124.xml YES 10.49/3.57 MAYBE 230.42/67.33
Waldmann_07_size12/size-12-alpha-3-num-133.xml YES 43.06/11.65 YES 41.82/10.75
Waldmann_07_size12/size-12-alpha-3-num-300.xml YES 24.26/6.92 YES 30.02/8.10
Waldmann_07_size12/size-12-alpha-3-num-289.xml YES 18.72/5.75 YES 29.80/7.85
Waldmann_07_size12/size-12-alpha-3-num-164.xml YES 15.21/4.66 YES 27.24/7.24
Waldmann_07_size12/size-12-alpha-3-num-159.xml NO 3.43/1.55 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-559.xml YES 28.10/7.92 YES 18.58/4.96
Waldmann_07_size12/size-12-alpha-3-num-454.xml MAYBE 1164.71/292.84 MAYBE 230.20/67.34
Waldmann_07_size12/size-12-alpha-3-num-401.xml NO 356.08/89.98 MAYBE 231.95/67.35
Waldmann_07_size12/size-12-alpha-3-num-359.xml YES 27.27/7.75 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-239.xml NO 4.69/1.88 MAYBE 205.14/67.33
Waldmann_07_size12/size-12-alpha-3-num-477.xml YES 11.79/3.92 YES 33.37/8.62
Waldmann_07_size12/size-12-alpha-3-num-44.xml YES 14.40/4.67 YES 23.30/6.52
Waldmann_07_size12/size-12-alpha-3-num-86.xml YES 28.47/8.23 YES 11.29/3.12
Waldmann_07_size12/size-12-alpha-3-num-88.xml StarExec error MAYBE 230.84/67.36
Waldmann_07_size12/size-12-alpha-3-num-168.xml YES 12.58/4.12 YES 26.22/6.89
Waldmann_07_size12/size-12-alpha-2-num-21.xml YES 26.65/7.47 YES 28.46/7.49
Waldmann_07_size12/size-12-alpha-3-num-473.xml YES 31.65/8.82 YES 32.20/8.34
Waldmann_07_size12/size-12-alpha-3-num-7.xml NO 6.87/2.47 MAYBE 230.55/67.34
Waldmann_07_size12/size-12-alpha-3-num-76.xml YES 10.33/3.52 YES 24.80/6.53
Waldmann_07_size12/size-12-alpha-3-num-127.xml NO 64.30/17.32 MAYBE 214.01/67.34
Waldmann_07_size12/size-12-alpha-3-num-350.xml YES 20.24/5.93 YES 23.76/6.42
Waldmann_07_size12/size-12-alpha-3-num-106.xml YES 38.08/10.49 YES 33.97/8.79
Waldmann_07_size12/size-12-alpha-3-num-427.xml YES 28.64/7.99 YES 28.57/7.43
Waldmann_07_size12/size-12-alpha-3-num-341.xml YES 29.52/8.21 YES 31.21/8.09
Waldmann_07_size12/size-12-alpha-3-num-417.xml YES 33.93/9.36 YES 29.42/7.64
Waldmann_07_size12/size-12-alpha-3-num-418.xml YES 27.32/7.71 YES 30.55/7.98
Waldmann_07_size12/size-12-alpha-3-num-13.xml YES 14.01/4.27 YES 26.80/6.98
Waldmann_07_size12/size-12-alpha-3-num-84.xml MAYBE 1163.49/291.78 MAYBE 219.07/67.46
Waldmann_07_size12/size-12-alpha-3-num-396.xml YES 24.02/6.83 YES 30.40/7.89
Waldmann_07_size12/size-12-alpha-3-num-247.xml MAYBE 1163.88/292.67 MAYBE 230.42/67.35
Waldmann_07_size12/size-12-alpha-3-num-406.xml timeout (cpu) MAYBE 231.57/67.34
Waldmann_07_size12/size-12-alpha-3-num-446.xml YES 13.36/4.34 YES 23.23/6.12
Waldmann_07_size12/size-12-alpha-3-num-368.xml NO 7.50/2.58 MAYBE 231.15/67.35
Waldmann_07_size12/size-12-alpha-3-num-327.xml YES 26.91/7.60 YES 28.66/7.45
Waldmann_07_size12/size-12-alpha-3-num-553.xml YES 26.18/7.69 YES 23.53/6.17
Waldmann_07_size12/size-12-alpha-3-num-392.xml YES 16.03/5.11 YES 26.01/6.80
Waldmann_07_size12/size-12-alpha-3-num-354.xml YES 34.42/9.58 MAYBE 230.84/67.34
Waldmann_07_size12/size-12-alpha-3-num-384.xml timeout (cpu) MAYBE 231.61/67.36
Waldmann_07_size12/size-12-alpha-3-num-209.xml timeout (wallclock) MAYBE 221.46/67.34
Waldmann_07_size12/size-12-alpha-3-num-52.xml YES 14.77/4.54 YES 27.13/7.15
Waldmann_07_size12/size-12-alpha-3-num-337.xml YES 24.02/6.89 YES 24.93/6.52
Waldmann_07_size12/size-12-alpha-3-num-47.xml NO 27.80/8.00 MAYBE 230.45/67.34
Waldmann_07_size12/size-12-alpha-3-num-550.xml YES 31.51/8.73 YES 19.19/5.08
Waldmann_07_size12/size-12-alpha-3-num-23.xml NO 5.49/2.09 MAYBE 188.73/67.35
Waldmann_07_size12/size-12-alpha-3-num-502.xml YES 22.14/6.41 YES 59.77/15.23
Waldmann_07_size12/size-12-alpha-3-num-363.xml timeout (cpu) MAYBE 231.05/67.35
Waldmann_07_size12/size-12-alpha-2-num-14.xml YES 16.15/5.13 YES 53.43/13.65
Waldmann_07_size12/size-12-alpha-3-num-438.xml YES 25.99/7.40 YES 28.76/7.69
Waldmann_07_size12/size-12-alpha-3-num-149.xml YES 10.12/3.50 YES 12.56/3.41
Waldmann_07_size12/size-12-alpha-3-num-219.xml StarExec error MAYBE 228.46/67.34
Waldmann_07_size12/size-12-alpha-3-num-20.xml NO 5.11/2.00 MAYBE 230.08/67.34
Waldmann_07_size12/size-12-alpha-3-num-415.xml YES 28.91/8.31 YES 29.46/7.64
Waldmann_07_size12/size-12-alpha-3-num-303.xml YES 13.55/4.44 YES 25.90/6.75
Waldmann_07_size12/size-12-alpha-3-num-556.xml YES 36.39/10.05 YES 22.72/5.97
Waldmann_07_size12/size-12-alpha-3-num-126.xml YES 19.73/5.78 YES 41.71/10.70
Waldmann_07_size12/size-12-alpha-3-num-546.xml YES 40.69/11.03 YES 49.66/12.71
Waldmann_07_size12/size-12-alpha-3-num-494.xml YES 22.42/6.43 YES 27.99/7.28
Waldmann_07_size12/size-12-alpha-3-num-90.xml NO 131.50/34.02 MAYBE 231.06/67.34
Waldmann_07_size12/size-12-alpha-3-num-3.xml NO 6.45/2.91 MAYBE 182.10/67.33
Waldmann_07_size12/size-12-alpha-3-num-179.xml NO 3.80/1.62 NO 4.79/1.46
Waldmann_07_size12/size-12-alpha-3-num-412.xml YES 24.44/6.96 YES 30.34/7.87
Waldmann_07_size12/size-12-alpha-3-num-475.xml MAYBE 1162.88/292.62 MAYBE 230.61/67.34
Waldmann_07_size12/size-12-alpha-3-num-366.xml YES 36.85/11.94 YES 27.06/7.39
Waldmann_07_size12/size-12-alpha-3-num-294.xml YES 28.87/8.10 YES 26.06/6.78
Waldmann_07_size12/size-12-alpha-3-num-163.xml YES 23.81/6.87 YES 18.32/4.98
Waldmann_07_size12/size-12-alpha-3-num-272.xml MAYBE 1163.95/292.13 MAYBE 230.72/67.35
Waldmann_07_size12/size-12-alpha-3-num-351.xml YES 21.90/6.33 YES 6.90/2.00
Waldmann_07_size12/size-12-alpha-3-num-373.xml NO 27.72/8.03 MAYBE 230.27/67.34
Waldmann_07_size12/size-12-alpha-2-num-17.xml timeout (cpu) MAYBE 229.55/67.34
Waldmann_07_size12/size-12-alpha-3-num-470.xml YES 21.69/10.71 YES 34.47/8.91
Waldmann_07_size12/size-12-alpha-3-num-297.xml YES 35.05/10.65 YES 33.47/8.65
Waldmann_07_size12/size-12-alpha-3-num-469.xml YES 28.50/8.22 MAYBE 231.02/67.35
Waldmann_07_size12/size-12-alpha-3-num-213.xml YES 18.00/5.38 YES 15.80/4.45
Waldmann_07_size12/size-12-alpha-3-num-129.xml NO 5.58/2.14 MAYBE 208.28/67.35
Waldmann_07_size12/size-12-alpha-3-num-409.xml timeout (cpu) MAYBE 231.37/67.35
Waldmann_07_size12/size-12-alpha-3-num-92.xml YES 18.32/5.35 YES 31.15/8.07
Waldmann_07_size12/size-12-alpha-3-num-283.xml YES 26.45/7.43 YES 11.58/3.26
Waldmann_07_size12/size-12-alpha-3-num-40.xml YES 15.53/4.90 YES 16.28/4.35
Waldmann_07_size12/size-12-alpha-3-num-178.xml NO 6.49/2.39 MAYBE 196.14/67.33
Waldmann_07_size12/size-12-alpha-3-num-243.xml NO 5.45/2.26 MAYBE 207.48/67.34
Waldmann_07_size12/size-12-alpha-3-num-498.xml YES 9.29/3.36 YES 27.15/7.05
Waldmann_07_size12/size-12-alpha-3-num-15.xml YES 14.05/4.39 YES 20.62/5.50
Waldmann_07_size12/size-12-alpha-3-num-99.xml NO 3.56/1.58 NO 18.42/4.87
Waldmann_07_size12/size-12-alpha-3-num-488.xml NO 7.80/2.82 MAYBE 230.99/67.35
Waldmann_07_size12/size-12-alpha-3-num-107.xml YES 23.14/6.63 YES 17.39/4.68
Waldmann_07_size12/size-12-alpha-3-num-508.xml YES 44.26/12.21 MAYBE 231.02/67.34
Waldmann_07_size12/size-12-alpha-3-num-522.xml NO 100.15/26.00 MAYBE 228.82/67.34
Waldmann_07_size12/size-12-alpha-3-num-330.xml YES 36.38/11.33 YES 29.05/7.56
Waldmann_07_size12/size-12-alpha-3-num-236.xml YES 37.92/12.14 YES 43.07/11.05
Waldmann_07_size12/size-12-alpha-3-num-203.xml YES 10.53/3.63 YES 25.82/6.75
Waldmann_07_size12/size-12-alpha-3-num-186.xml YES 27.38/7.73 YES 13.67/3.71
Waldmann_07_size12/size-12-alpha-3-num-35.xml YES 52.13/13.94 YES 32.81/8.66
Waldmann_07_size12/size-12-alpha-3-num-284.xml YES 16.05/4.87 YES 15.94/4.31
Waldmann_07_size12/size-12-alpha-3-num-105.xml YES 22.67/6.47 MAYBE 230.89/67.35
Waldmann_07_size12/size-12-alpha-3-num-462.xml StarExec error YES 30.68/7.95
Waldmann_07_size12/size-12-alpha-3-num-535.xml YES 30.06/8.35 YES 26.90/7.01
Waldmann_07_size12/size-12-alpha-3-num-9.xml YES 21.37/6.25 YES 26.80/6.98
Waldmann_07_size12/size-12-alpha-3-num-94.xml YES 17.39/5.13 YES 12.12/3.30
Waldmann_07_size12/size-12-alpha-3-num-223.xml YES 165.86/42.41 MAYBE 194.53/67.34
Waldmann_07_size12/size-12-alpha-3-num-122.xml YES 35.86/9.82 YES 81.08/20.66
Waldmann_07_size12/size-12-alpha-3-num-385.xml NO 766.86/193.44 MAYBE 230.33/67.34
Waldmann_07_size12/size-12-alpha-3-num-112.xml YES 15.30/4.91 YES 26.94/7.02
Waldmann_07_size12/size-12-alpha-3-num-282.xml YES 11.71/4.01 YES 12.63/3.45
Waldmann_07_size12/size-12-alpha-3-num-352.xml YES 19.00/5.59 YES 14.41/3.89
Waldmann_07_size12/size-12-alpha-3-num-273.xml YES 30.53/9.86 YES 11.06/3.06
Waldmann_07_size12/size-12-alpha-3-num-128.xml YES 16.72/5.35 YES 58.89/15.15
Waldmann_07_size12/size-12-alpha-3-num-132.xml YES 14.95/4.76 MAYBE 230.35/67.35
Waldmann_07_size12/size-12-alpha-3-num-225.xml YES 10.79/3.74 YES 21.29/5.62
Waldmann_07_size12/size-12-alpha-3-num-177.xml NO 3.55/1.57 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-353.xml NO 4.49/1.82 MAYBE 226.55/67.34
Waldmann_07_size12/size-12-alpha-3-num-467.xml YES 32.38/9.00 YES 35.49/9.19
Waldmann_07_size12/size-12-alpha-3-num-356.xml NO 844.54/212.16 MAYBE 231.43/67.34
Waldmann_07_size12/size-12-alpha-3-num-547.xml YES 15.34/4.87 YES 45.77/11.73
Waldmann_07_size12/size-12-alpha-3-num-21.xml NO 112.61/29.37 MAYBE 229.91/67.35
Waldmann_07_size12/size-12-alpha-3-num-299.xml YES 42.81/11.52 YES 29.24/7.79
Waldmann_07_size12/size-12-alpha-3-num-443.xml YES 48.51/13.06 YES 29.83/8.16
Waldmann_07_size12/size-12-alpha-3-num-237.xml YES 16.52/5.99 YES 39.53/10.17
Waldmann_07_size12/size-12-alpha-3-num-360.xml YES 15.80/4.76 YES 27.77/7.23
Waldmann_07_size12/size-12-alpha-3-num-287.xml YES 32.77/9.74 YES 11.01/3.06
Waldmann_07_size12/size-12-alpha-3-num-452.xml YES 39.02/10.95 MAYBE 230.94/67.34
Waldmann_07_size12/size-12-alpha-3-num-493.xml NO 94.86/24.52 MAYBE 230.71/67.34
Waldmann_07_size12/size-12-alpha-3-num-455.xml YES 36.91/10.06 YES 22.06/5.84
Waldmann_07_size12/size-12-alpha-3-num-362.xml NO 365.12/92.20 MAYBE 230.98/67.34
Waldmann_07_size12/size-12-alpha-3-num-304.xml YES 11.83/3.96 YES 33.73/8.72
Waldmann_07_size12/size-12-alpha-3-num-260.xml NO 3.88/1.65 MAYBE 230.28/67.34
Waldmann_07_size12/size-12-alpha-3-num-391.xml YES 27.88/7.85 YES 34.30/8.86
Waldmann_07_size12/size-12-alpha-3-num-484.xml YES 24.52/6.95 YES 27.69/7.21
Waldmann_07_size12/size-12-alpha-3-num-347.xml YES 20.70/6.03 YES 28.59/7.43
Waldmann_07_size12/size-12-alpha-3-num-227.xml NO 8.41/3.04 MAYBE 231.31/67.36
Waldmann_07_size12/size-12-alpha-3-num-309.xml YES 32.39/9.11 MAYBE 230.71/67.35
Waldmann_07_size12/size-12-alpha-3-num-410.xml timeout (wallclock) MAYBE 231.19/67.35
Waldmann_07_size12/size-12-alpha-3-num-211.xml MAYBE 1162.70/292.67 MAYBE 230.90/67.34
Waldmann_07_size12/size-12-alpha-3-num-100.xml NO 5.05/1.96 MAYBE 214.65/67.33
Waldmann_07_size12/size-12-alpha-3-num-382.xml NO 763.94/191.87 MAYBE 231.21/67.34
Waldmann_07_size12/size-12-alpha-3-num-292.xml MAYBE 1165.89/293.28 MAYBE 230.20/67.35
Waldmann_07_size12/size-12-alpha-3-num-95.xml NO 355.80/89.82 MAYBE 223.47/67.35
Waldmann_07_size12/size-12-alpha-3-num-338.xml StarExec error MAYBE 230.44/67.34
Waldmann_07_size12/size-12-alpha-3-num-301.xml YES 34.19/9.46 YES 30.71/8.00
Waldmann_07_size12/size-12-alpha-3-num-158.xml NO 3.65/1.90 NO 3.21/1.06
Waldmann_07_size12/size-12-alpha-3-num-17.xml YES 11.22/3.74 YES 25.77/7.08
Waldmann_07_size12/size-12-alpha-3-num-568.xml YES 27.98/9.40 YES 28.85/7.51
Waldmann_07_size12/size-12-alpha-3-num-431.xml MAYBE 1165.48/293.16 MAYBE 230.08/67.35
Waldmann_07_size12/size-12-alpha-3-num-45.xml YES 23.62/6.76 YES 15.63/4.31
Waldmann_07_size12/size-12-alpha-3-num-482.xml YES 46.28/12.43 YES 30.02/7.78
Waldmann_07_size12/size-12-alpha-3-num-232.xml YES 15.93/4.92 YES 22.96/6.06
Waldmann_07_size12/size-12-alpha-3-num-489.xml YES 32.86/12.17 StarExec error
Waldmann_07_size12/size-12-alpha-3-num-49.xml YES 24.58/7.09 YES 15.53/4.15
Waldmann_07_size12/size-12-alpha-3-num-377.xml YES 13.79/4.47 YES 25.32/7.00
Waldmann_07_size12/size-12-alpha-3-num-123.xml YES 47.89/12.97 YES 46.75/12.01
Waldmann_07_size12/size-12-alpha-3-num-541.xml YES 25.92/10.86 YES 25.72/6.71
Waldmann_07_size12/size-12-alpha-3-num-288.xml YES 20.83/6.28 YES 16.91/4.51
Waldmann_07_size12/size-12-alpha-3-num-298.xml NO 64.36/17.13 MAYBE 230.48/67.34
Waldmann_07_size12/size-12-alpha-3-num-267.xml timeout (cpu) MAYBE 230.71/67.33
Waldmann_07_size12/size-12-alpha-3-num-31.xml YES 17.84/5.26 YES 16.71/4.68
Waldmann_07_size12/size-12-alpha-3-num-348.xml YES 25.72/7.27 YES 31.25/8.10
Waldmann_07_size12/size-12-alpha-3-num-506.xml YES 38.73/10.90 MAYBE 230.80/67.34
Waldmann_07_size12/size-12-alpha-3-num-181.xml NO 4.11/1.80 NO 4.88/1.49
Waldmann_07_size12/size-12-alpha-3-num-140.xml NO 3.38/1.54 NO 3.03/1.02
Waldmann_07_size12/size-12-alpha-3-num-465.xml YES 16.61/4.93 YES 28.70/7.45
Waldmann_07_size12/size-12-alpha-3-num-114.xml YES 47.91/12.84 YES 55.39/14.13
Waldmann_07_size12/size-12-alpha-3-num-456.xml YES 36.47/9.96 YES 28.12/7.38
Waldmann_07_size12/size-12-alpha-3-num-109.xml YES 13.59/4.54 YES 21.99/6.24
Waldmann_07_size12/size-12-alpha-3-num-540.xml MAYBE 1166.22/292.52 MAYBE 228.20/67.34
Waldmann_07_size12/size-12-alpha-3-num-492.xml NO 72.77/19.08 MAYBE 230.91/67.34
Waldmann_07_size12/size-12-alpha-2-num-3.xml YES 12.80/4.16 YES 28.72/7.52
Waldmann_07_size12/size-12-alpha-3-num-274.xml MAYBE 1163.85/292.61 MAYBE 229.17/67.34
Waldmann_07_size12/size-12-alpha-3-num-224.xml NO 650.64/163.56 MAYBE 230.84/67.35
Waldmann_07_size12/size-12-alpha-3-num-386.xml timeout (cpu) MAYBE 230.84/67.34
Waldmann_07_size12/size-12-alpha-2-num-7.xml MAYBE 1163.09/291.74 MAYBE 230.62/67.35
Waldmann_07_size12/size-12-alpha-3-num-195.xml NO 3.60/1.67 NO 16.78/4.53
Waldmann_07_size12/size-12-alpha-3-num-558.xml NO 175.65/44.82 MAYBE 230.77/67.36
Waldmann_07_size12/size-12-alpha-3-num-548.xml YES 58.70/15.64 YES 23.88/6.26
Waldmann_07_size12/size-12-alpha-3-num-339.xml NO 51.35/13.64 MAYBE 230.94/67.35
Waldmann_07_size12/size-12-alpha-3-num-248.xml MAYBE 1162.75/291.68 MAYBE 230.41/67.35
Waldmann_07_size12/size-12-alpha-3-num-532.xml YES 10.84/3.72 YES 25.21/6.59
Waldmann_07_size12/size-12-alpha-3-num-435.xml YES 33.61/12.36 YES 22.48/6.01
Waldmann_07_size12/size-12-alpha-3-num-383.xml NO 1018.97/255.70 MAYBE 230.71/67.35
Waldmann_07_size12/size-12-alpha-3-num-286.xml YES 22.65/6.57 YES 43.90/11.52
Waldmann_07_size12/size-12-alpha-2-num-15.xml YES 10.63/4.13 YES 113.89/30.76
Waldmann_07_size12/size-12-alpha-2-num-2.xml YES 27.53/7.96 YES 28.86/7.50
Waldmann_07_size12/size-12-alpha-3-num-220.xml MAYBE 1191.09/293.56 MAYBE 217.84/67.34
Waldmann_07_size12/size-12-alpha-3-num-552.xml YES 13.31/4.53 YES 23.20/6.07
Waldmann_07_size12/size-12-alpha-3-num-16.xml YES 11.40/3.78 YES 25.72/7.00
Waldmann_07_size12/size-12-alpha-3-num-51.xml YES 19.02/8.14 YES 27.20/7.07
Waldmann_07_size12/size-12-alpha-3-num-221.xml YES 39.25/14.25 YES 14.09/3.81
Waldmann_07_size12/size-12-alpha-3-num-346.xml YES 12.78/4.22 YES 30.05/7.79
Waldmann_07_size12/size-12-alpha-3-num-340.xml StarExec error MAYBE 230.36/67.33
Waldmann_07_size12/size-12-alpha-3-num-491.xml NO 59.18/15.92 MAYBE 229.90/67.34
Waldmann_07_size12/size-12-alpha-3-num-152.xml YES 21.79/6.45 YES 26.82/7.55
Waldmann_07_size12/size-12-alpha-3-num-146.xml NO 3.60/2.82 NO 3.42/1.12
Waldmann_07_size12/size-12-alpha-3-num-543.xml YES 21.41/6.12 YES 27.65/7.20
Waldmann_07_size12/size-12-alpha-2-num-19.xml YES 20.17/5.82 MAYBE 228.40/67.33
Waldmann_07_size12/size-12-alpha-3-num-450.xml NO 12.45/3.96 MAYBE 230.59/67.35
Waldmann_07_size12/size-12-alpha-3-num-441.xml YES 22.52/6.49 YES 22.80/6.13
Waldmann_07_size12/size-12-alpha-3-num-355.xml timeout (cpu) MAYBE 230.34/67.34
Waldmann_07_size12/size-12-alpha-3-num-436.xml YES 37.93/10.30 YES 31.88/8.32
Waldmann_07_size12/size-12-alpha-3-num-439.xml YES 22.64/6.60 YES 25.83/6.73
Waldmann_07_size12/size-12-alpha-3-num-215.xml YES 15.13/4.57 YES 21.59/6.49
Waldmann_07_size12/size-12-alpha-3-num-472.xml YES 33.16/9.16 MAYBE 230.75/67.35
Waldmann_07_size12/size-12-alpha-2-num-4.xml YES 19.11/5.86 YES 41.35/10.64
Waldmann_07_size12/size-12-alpha-3-num-66.xml YES 22.07/6.35 YES 21.65/5.85
Waldmann_07_size12/size-12-alpha-2-num-5.xml YES 21.65/6.22 MAYBE 230.11/67.35
Waldmann_07_size12/size-12-alpha-3-num-545.xml YES 34.88/11.47 YES 18.38/4.91
Waldmann_07_size12/size-12-alpha-3-num-497.xml NO 19.11/5.59 MAYBE 230.57/67.36
Waldmann_07_size12/size-12-alpha-3-num-135.xml NO 33.74/9.57 MAYBE 221.38/67.34
Waldmann_07_size12/size-12-alpha-3-num-111.xml YES 30.23/8.43 YES 12.79/3.48
Waldmann_07_size12/size-12-alpha-3-num-41.xml YES 19.47/5.70 YES 11.63/3.21
Waldmann_07_size12/size-12-alpha-3-num-345.xml YES 21.76/6.26 YES 29.01/7.54
Waldmann_07_size12/size-12-alpha-3-num-526.xml YES 13.71/4.27 YES 26.94/7.02
Waldmann_07_size12/size-12-alpha-3-num-281.xml YES 14.62/4.88 YES 15.62/4.28
Waldmann_07_size12/size-12-alpha-3-num-134.xml YES 10.94/3.78 YES 24.48/6.67
Waldmann_07_size12/size-12-alpha-3-num-408.xml timeout (cpu) MAYBE 230.84/67.34
Waldmann_07_size12/size-12-alpha-3-num-1.xml YES 26.72/7.54 YES 18.20/5.17
Waldmann_07_size12/size-12-alpha-3-num-74.xml YES 31.42/8.77 YES 14.19/4.01
Waldmann_07_size12/size-12-alpha-2-num-18.xml timeout (cpu) MAYBE 229.42/67.35
Waldmann_07_size12/size-12-alpha-3-num-296.xml YES 14.30/4.37 YES 33.65/8.69
Waldmann_07_size12/size-12-alpha-3-num-176.xml YES 23.97/6.83 YES 27.98/7.39
Waldmann_07_size12/size-12-alpha-3-num-361.xml timeout (cpu) MAYBE 230.09/67.34
Waldmann_07_size12/size-12-alpha-2-num-11.xml timeout (cpu) MAYBE 229.95/67.33
Waldmann_07_size12/size-12-alpha-3-num-328.xml NO 24.34/6.98 MAYBE 230.52/67.35
Waldmann_07_size12/size-12-alpha-3-num-121.xml YES 22.10/6.30 YES 36.02/9.61
Waldmann_07_size12/size-12-alpha-3-num-222.xml MAYBE 1163.44/291.75 MAYBE 230.92/67.35
Waldmann_07_size12/size-12-alpha-3-num-72.xml YES 14.82/4.46 YES 16.97/4.59
Waldmann_07_size12/size-12-alpha-3-num-174.xml MAYBE 1163.04/291.69 MAYBE 230.53/67.34
Waldmann_07_size12/size-12-alpha-3-num-14.xml YES 12.61/4.43 YES 27.12/7.06
Waldmann_07_size12/size-12-alpha-3-num-91.xml YES 13.63/4.19 YES 30.31/8.07
Waldmann_07_size12/size-12-alpha-3-num-293.xml YES 32.08/8.87 YES 30.98/8.03
Waldmann_07_size12/size-12-alpha-3-num-165.xml YES 22.17/6.47 YES 24.70/6.45
Waldmann_07_size12/size-12-alpha-3-num-549.xml YES 41.27/11.28 YES 29.24/7.60
Waldmann_07_size12/size-12-alpha-3-num-61.xml YES 13.65/4.16 YES 29.64/7.73
Waldmann_07_size12/size-12-alpha-3-num-180.xml YES 23.89/7.26 YES 14.73/4.05
Waldmann_07_size12/size-12-alpha-3-num-125.xml YES 24.24/6.95 YES 33.89/8.77
Waldmann_07_size12/size-12-alpha-3-num-82.xml YES 17.46/8.79 YES 30.41/8.09
Waldmann_07_size12/size-12-alpha-3-num-400.xml timeout (wallclock) MAYBE 231.28/67.37
Waldmann_07_size11/size-11-alpha-3-num-12.xml YES 23.99/9.82 YES 18.16/4.80
Waldmann_07_size11/size-11-alpha-3-num-20.xml YES 11.92/3.86 YES 17.12/5.01
Waldmann_07_size11/size-11-alpha-2-num-4.xml YES 25.11/7.10 YES 27.83/7.25
Waldmann_07_size11/size-11-alpha-3-num-21.xml NO 5.91/2.20 MAYBE 176.48/67.34
Waldmann_07_size11/size-11-alpha-3-num-3.xml YES 11.10/3.71 YES 10.58/3.12
Waldmann_07_size11/size-11-alpha-3-num-8.xml YES 28.28/7.93 YES 27.74/7.28
Waldmann_07_size11/size-11-alpha-3-num-1.xml NO 69.17/18.42 MAYBE 230.08/67.34
Waldmann_07_size11/size-11-alpha-3-num-4.xml MAYBE 1163.12/291.67 MAYBE 230.40/67.36
Waldmann_07_size11/size-11-alpha-3-num-5.xml YES 25.51/8.77 YES 35.28/9.19
Waldmann_07_size11/size-11-alpha-3-num-14.xml YES 12.64/4.18 YES 27.20/7.09
Waldmann_07_size11/size-11-alpha-3-num-2.xml YES 27.23/7.66 MAYBE 230.75/67.35
Waldmann_07_size11/size-11-alpha-3-num-11.xml YES 21.18/6.16 YES 26.01/6.82
Waldmann_07_size11/size-11-alpha-2-num-3.xml YES 26.69/7.86 YES 51.39/13.60
Waldmann_07_size11/size-11-alpha-3-num-6.xml YES 11.51/3.98 YES 26.34/7.04
Waldmann_07_size11/size-11-alpha-2-num-2.xml YES 31.55/8.80 MAYBE 229.97/67.34
Waldmann_07_size11/size-11-alpha-2-num-1.xml YES 27.57/8.18 YES 62.54/15.94
Waldmann_07_size11/size-11-alpha-3-num-16.xml YES 5.63/2.13 YES 13.01/3.61
Waldmann_07_size11/size-11-alpha-3-num-17.xml YES 12.05/4.00 YES 16.95/4.53
Waldmann_07_size11/size-11-alpha-3-num-13.xml YES 22.64/6.49 YES 27.31/7.11
Waldmann_07_size11/size-11-alpha-3-num-15.xml NO 21.23/6.35 MAYBE 230.43/67.35
Waldmann_07_size11/size-11-alpha-3-num-7.xml YES 14.15/4.72 YES 25.38/6.76
Waldmann_07_size11/size-11-alpha-3-num-10.xml YES 14.99/4.62 YES 16.23/4.36
Waldmann_07_size11/size-11-alpha-3-num-19.xml YES 11.19/3.91 YES 18.26/4.96
Waldmann_07_size11/size-11-alpha-3-num-9.xml YES 10.26/3.47 YES 27.23/7.11
Waldmann_07_size11/size-11-alpha-3-num-18.xml NO 5.70/2.64 MAYBE 195.71/67.33
838 592