Partial Max-SAT (Industrial)

LabelMeaning
SSolution {OPTIMUM FOUND or OPTIMUM | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time

ColorMeaning
TextOptimal solution with the best CPU time
TextOptimal solution and finished within the Time Out
TextOptimal solution and did not finish within the Time Out
TextTime Out
TextBuggy solution

Instance file name Clone IUT_BCMB_LSWMaxsatz IUT_BCMB_WMaxsatz MSUnCore SAT4J-Maxsat WMaxSatz-1.6 WMaxSatz-2.5 pm2 wbo wpm1
ctrl.wcnf S = N/A | O = N/A
T = 6.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 15
T = 17.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 15
T = 8.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 368.42 | (out)(err)
mrisc_mem2wire.wcnf S = N/A | O = N/A
T = 13.61 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 5
T = 971.03 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 5
T = 534.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
spi.wcnf S = N/A | O = N/A
T = 16.36 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 46
T = 306.98 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 46
T = 786.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
sudoku.wcnf S = N/A | O = N/A
T = 48.42 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 25.11 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 6.08 | (out)(err)
S = N/A | O = N/A
T = 802.96 | (out)(err)
S = N/A | O = N/A
T = 5.29 | (out)(err)
splitedReads_0.matrix.wcnf S = N/A | O = N/A
T = 5.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3434
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
splitedReads_137.matrix.wcnf S = N/A | O = N/A
T = 21.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 90
T = 13.04 | (out)(err)
S = N/A | O = 724
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 90
T = 14.57 | (out)(err)
S = OPTIMUM | O = 90
T = 3.94 | (out)(err)
S = OPTIMUM | O = 90
T = 14.38 | (out)(err)
splitedReads_158.matrix.wcnf S = N/A | O = N/A
T = 6.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 173
T = 58.12 | (out)(err)
S = N/A | O = 869
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 173
T = 41.67 | (out)(err)
S = OPTIMUM | O = 173
T = 11.32 | (out)(err)
S = OPTIMUM | O = 173
T = 38.60 | (out)(err)
splitedReads_160.matrix.wcnf S = N/A | O = N/A
T = 6.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 186
T = 35.53 | (out)(err)
S = N/A | O = 932
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 186
T = 56.81 | (out)(err)
S = OPTIMUM | O = 186
T = 15.81 | (out)(err)
S = OPTIMUM | O = 186
T = 47.42 | (out)(err)
splitedReads_18.matrix.wcnf S = N/A | O = N/A
T = 5.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 138
T = 28.18 | (out)(err)
S = N/A | O = 751
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 138
T = 25.37 | (out)(err)
S = OPTIMUM | O = 138
T = 7.60 | (out)(err)
S = OPTIMUM | O = 138
T = 25.42 | (out)(err)
splitedReads_414.matrix.wcnf S = N/A | O = N/A
T = 5.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 171
T = 22.78 | (out)(err)
S = N/A | O = 881
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 171
T = 34.19 | (out)(err)
S = OPTIMUM | O = 171
T = 9.94 | (out)(err)
S = OPTIMUM | O = 171
T = 32.70 | (out)(err)
1bpi_.2knt_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 42.04 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 18.76 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
1bpi_.5pti_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 6.95 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 29.77 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 568.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
1knt_.1bpi_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 46.02 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 23.09 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
1knt_.2knt_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 13.27 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 16
T = 637.51 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 16
T = 113.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
1knt_.5pti_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 44.92 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 32
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 548.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
1vii_.1cph_.g.wcnf.t.wcnf S = OPTIMUM | O = 7
T = 27.00 | (out)(err)
S = OPTIMUM | O = 7
T = 0.30 | (out)(err)
S = OPTIMUM | O = 7
T = 1.50 | (out)(err)
S = OPTIMUM | O = 7
T = 534.09 | (out)(err)
S = OPTIMUM | O = 7
T = 1.75 | (out)(err)
S = OPTIMUM | O = 7
T = 0.22 | (out)(err)
S = OPTIMUM | O = 7
T = 0.26 | (out)(err)
S = OPTIMUM | O = 7
T = 0.14 | (out)(err)
S = OPTIMUM | O = 7
T = 11.96 | (out)(err)
S = OPTIMUM | O = 7
T = 44.12 | (out)(err)
2knt_.5pti_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 46.14 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 37
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3ebx_.1era_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 51.54 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 20.68 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
3ebx_.6ebx_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 13.54 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 28
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
6ebx_.1era_.g.wcnf.t.wcnf S = N/A | O = N/A
T = 13.48 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 30
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
p1.wcnf.t.wcnf S = N/A | O = N/A
T = 50.13 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 18.39 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
sandiaprotein.g.wcnf.t.wcnf S = N/A | O = N/A
T = 45.52 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 32
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
normalized-f20c10b_001_area_delay.wcnf S = N/A | O = N/A
T = 4.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 147.86 | (out)(err)
S = N/A | O = 38
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 18.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 63.18 | (out)(err)
normalized-f20c10b_002_area_delay.wcnf S = N/A | O = N/A
T = 22.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 6.28 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 4.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 2.89 | (out)(err)
normalized-f20c10b_003_area_delay.wcnf S = N/A | O = N/A
T = 31.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 6.36 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 7.49 | (out)(err)
S = OPTIMUM | O = 26
T = 241.68 | (out)(err)
S = OPTIMUM | O = 26
T = 3.65 | (out)(err)
normalized-f20c10b_004_area_delay.wcnf S = N/A | O = N/A
T = 17.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 24.68 | (out)(err)
S = N/A | O = 37
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 4.89 | (out)(err)
S = OPTIMUM | O = 27
T = 84.46 | (out)(err)
S = OPTIMUM | O = 27
T = 3.60 | (out)(err)
normalized-f20c10b_005_area_delay.wcnf S = N/A | O = N/A
T = 18.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 41
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 86.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 65.97 | (out)(err)
normalized-f20c10b_006_area_delay.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 1.09 | (out)(err)
S = N/A | O = 26
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 1.04 | (out)(err)
S = OPTIMUM | O = 22
T = 7.56 | (out)(err)
S = OPTIMUM | O = 22
T = 1.33 | (out)(err)
normalized-f20c10b_007_area_delay.wcnf S = N/A | O = N/A
T = 5.95 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 8.77 | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 6.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 7.87 | (out)(err)
normalized-f20c10b_008_area_delay.wcnf S = N/A | O = N/A
T = 54.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 105.96 | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 3.98 | (out)(err)
S = OPTIMUM | O = 25
T = 335.45 | (out)(err)
S = OPTIMUM | O = 25
T = 5.27 | (out)(err)
normalized-f20c10b_009_area_delay.wcnf S = N/A | O = N/A
T = 23.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 2.06 | (out)(err)
S = N/A | O = 34
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 1.30 | (out)(err)
S = OPTIMUM | O = 24
T = 3.14 | (out)(err)
S = OPTIMUM | O = 24
T = 1.39 | (out)(err)
normalized-f20c10b_010_area_delay.wcnf S = N/A | O = N/A
T = 5.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 32.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
normalized-f20c10b_011_area_delay.wcnf S = N/A | O = N/A
T = 7.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 20.34 | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 5.49 | (out)(err)
S = OPTIMUM | O = 26
T = 645.61 | (out)(err)
S = OPTIMUM | O = 26
T = 6.72 | (out)(err)
normalized-f20c10b_012_area_delay.wcnf S = N/A | O = N/A
T = 7.47 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 42
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 23.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
normalized-f20c10b_013_area_delay.wcnf S = N/A | O = N/A
T = 15.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 35
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 55.25 | (out)(err)
S = OPTIMUM | O = 22
T = 427.22 | (out)(err)
S = OPTIMUM | O = 22
T = 23.35 | (out)(err)
normalized-f20c10b_014_area_delay.wcnf S = N/A | O = N/A
T = 17.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 38
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 17.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 47.93 | (out)(err)
normalized-f20c10b_015_area_delay.wcnf S = N/A | O = N/A
T = 31.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 9.12 | (out)(err)
S = N/A | O = 34
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 3.97 | (out)(err)
S = OPTIMUM | O = 25
T = 219.12 | (out)(err)
S = OPTIMUM | O = 25
T = 3.92 | (out)(err)
normalized-f20c10b_016_area_delay.wcnf S = N/A | O = N/A
T = 63.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 27.24 | (out)(err)
S = N/A | O = 34
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 5.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 3.85 | (out)(err)
normalized-f20c10b_017_area_delay.wcnf S = N/A | O = N/A
T = 47.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 34
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 9.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 40.11 | (out)(err)
normalized-f20c10b_018_area_delay.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 3.49 | (out)(err)
S = N/A | O = 32
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 3.84 | (out)(err)
S = OPTIMUM | O = 25
T = 9.83 | (out)(err)
S = OPTIMUM | O = 25
T = 1.82 | (out)(err)
normalized-f20c10b_019_area_delay.wcnf S = N/A | O = N/A
T = 31.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 23.89 | (out)(err)
S = N/A | O = 34
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 5.83 | (out)(err)
S = OPTIMUM | O = 24
T = 32.37 | (out)(err)
S = OPTIMUM | O = 24
T = 12.02 | (out)(err)
normalized-f20c10b_020_area_delay.wcnf S = N/A | O = N/A
T = 12.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 1.49 | (out)(err)
S = N/A | O = 31
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 1.74 | (out)(err)
S = OPTIMUM | O = 23
T = 1.20 | (out)(err)
S = OPTIMUM | O = 23
T = 2.98 | (out)(err)
normalized-f20c10b_021_area_delay.wcnf S = N/A | O = N/A
T = 46.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 158.34 | (out)(err)
S = N/A | O = 27
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 4.48 | (out)(err)
S = OPTIMUM | O = 24
T = 652.53 | (out)(err)
S = OPTIMUM | O = 24
T = 2.75 | (out)(err)
normalized-f20c10b_022_area_delay.wcnf S = N/A | O = N/A
T = 34.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 87.79 | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 9.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 18.14 | (out)(err)
normalized-f20c10b_023_area_delay.wcnf S = N/A | O = N/A
T = 19.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 135.55 | (out)(err)
S = N/A | O = 37
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 35.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 22.65 | (out)(err)
normalized-f20c10b_024_area_delay.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 342.47 | (out)(err)
S = N/A | O = 29
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 4.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 10.98 | (out)(err)
normalized-f20c10b_025_area_delay.wcnf S = N/A | O = N/A
T = 20.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 44
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 21.46 | (out)(err)
S = OPTIMUM | O = 25
T = 948.53 | (out)(err)
S = OPTIMUM | O = 25
T = 14.14 | (out)(err)
normalized-f20c10b_026_area_delay.wcnf S = N/A | O = N/A
T = 5.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 35
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 25.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 304.16 | (out)(err)
normalized-f20c10b_027_area_delay.wcnf S = N/A | O = N/A
T = 37.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 2.61 | (out)(err)
S = N/A | O = 36
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 10.93 | (out)(err)
S = OPTIMUM | O = 25
T = 21.24 | (out)(err)
S = OPTIMUM | O = 25
T = 9.67 | (out)(err)
normalized-f20c10b_028_area_delay.wcnf S = N/A | O = N/A
T = 16.57 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 11.86 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 17.10 | (out)(err)
S = OPTIMUM | O = 23
T = 71.47 | (out)(err)
S = OPTIMUM | O = 23
T = 10.33 | (out)(err)
normalized-f20c10b_029_area_delay.wcnf S = N/A | O = N/A
T = 16.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 45.82 | (out)(err)
S = N/A | O = 39
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 8.94 | (out)(err)
S = OPTIMUM | O = 24
T = 24.26 | (out)(err)
S = OPTIMUM | O = 24
T = 9.59 | (out)(err)
normalized-f20c10b_030_area_delay.wcnf S = N/A | O = N/A
T = 12.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 44.72 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 3.54 | (out)(err)
S = OPTIMUM | O = 25
T = 52.34 | (out)(err)
S = OPTIMUM | O = 25
T = 4.14 | (out)(err)
normalized-fir01_area_delay.wcnf S = OPTIMUM | O = 5
T = 2.00 | (out)(err)
S = OPTIMUM | O = 5
T = 0.03 | (out)(err)
S = OPTIMUM | O = 5
T = 0.20 | (out)(err)
S = OPTIMUM | O = 5
T = 0.00 | (out)(err)
S = OPTIMUM | O = 5
T = 0.82 | (out)(err)
S = OPTIMUM | O = 5
T = 0.03 | (out)(err)
S = OPTIMUM | O = 5
T = 0.03 | (out)(err)
S = OPTIMUM | O = 5
T = 0.00 | (out)(err)
S = OPTIMUM | O = 5
T = 0.00 | (out)(err)
S = OPTIMUM | O = 5
T = 0.01 | (out)(err)
normalized-fir01_area_opers.wcnf S = OPTIMUM | O = 10
T = 2.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 10
T = 0.01 | (out)(err)
S = OPTIMUM | O = 10
T = 2.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 10
T = 0.01 | (out)(err)
S = OPTIMUM | O = 10
T = 0.00 | (out)(err)
S = OPTIMUM | O = 10
T = 0.01 | (out)(err)
normalized-fir02_area_delay.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 8
T = 0.03 | (out)(err)
S = OPTIMUM | O = 8
T = 22.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 8
T = 0.03 | (out)(err)
S = OPTIMUM | O = 8
T = 0.02 | (out)(err)
S = OPTIMUM | O = 8
T = 0.03 | (out)(err)
normalized-fir02_area_opers.wcnf S = N/A | O = N/A
T = 1797.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 18
T = 0.19 | (out)(err)
S = N/A | O = 25
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 18
T = 0.13 | (out)(err)
S = OPTIMUM | O = 18
T = 0.07 | (out)(err)
S = OPTIMUM | O = 18
T = 0.14 | (out)(err)
normalized-fir02_area_partials.wcnf S = OPTIMUM | O = 19
T = 1.69 | (out)(err)
S = OPTIMUM | O = 19
T = 0.01 | (out)(err)
S = OPTIMUM | O = 19
T = 0.15 | (out)(err)
S = OPTIMUM | O = 19
T = 0.01 | (out)(err)
S = OPTIMUM | O = 19
T = 0.40 | (out)(err)
S = OPTIMUM | O = 19
T = 0.01 | (out)(err)
S = OPTIMUM | O = 19
T = 0.00 | (out)(err)
S = OPTIMUM | O = 19
T = 0.01 | (out)(err)
S = OPTIMUM | O = 19
T = 0.01 | (out)(err)
S = OPTIMUM | O = 19
T = 0.01 | (out)(err)
normalized-fir03_area_delay.wcnf S = N/A | O = N/A
T = 20.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 10
T = 0.32 | (out)(err)
S = N/A | O = 14
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 10
T = 1.44 | (out)(err)
S = OPTIMUM | O = 10
T = 0.46 | (out)(err)
S = OPTIMUM | O = 10
T = 0.45 | (out)(err)
normalized-fir03_area_opers.wcnf S = N/A | O = N/A
T = 13.84 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 17
T = 4.20 | (out)(err)
S = N/A | O = 27
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 17
T = 3.46 | (out)(err)
S = OPTIMUM | O = 17
T = 7.07 | (out)(err)
S = OPTIMUM | O = 17
T = 3.65 | (out)(err)
normalized-fir03_area_partials.wcnf S = OPTIMUM | O = 18
T = 128.14 | (out)(err)
S = OPTIMUM | O = 18
T = 13.67 | (out)(err)
S = OPTIMUM | O = 18
T = 29.81 | (out)(err)
S = OPTIMUM | O = 18
T = 0.30 | (out)(err)
S = OPTIMUM | O = 18
T = 1.72 | (out)(err)
S = OPTIMUM | O = 18
T = 26.26 | (out)(err)
S = OPTIMUM | O = 18
T = 10.91 | (out)(err)
S = OPTIMUM | O = 18
T = 0.12 | (out)(err)
S = OPTIMUM | O = 18
T = 0.08 | (out)(err)
S = OPTIMUM | O = 18
T = 0.13 | (out)(err)
normalized-fir04_area_delay.wcnf S = N/A | O = N/A
T = 1797.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
S = N/A | O = 17
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 12
T = 0.12 | (out)(err)
S = OPTIMUM | O = 12
T = 0.36 | (out)(err)
S = OPTIMUM | O = 12
T = 0.08 | (out)(err)
normalized-fir04_area_opers.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.15 | (out)(err)
S = N/A | O = 37
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.17 | (out)(err)
S = OPTIMUM | O = 29
T = 0.11 | (out)(err)
S = OPTIMUM | O = 29
T = 0.18 | (out)(err)
normalized-fir04_area_partials.wcnf S = OPTIMUM | O = 30
T = 0.76 | (out)(err)
S = OPTIMUM | O = 30
T = 0.00 | (out)(err)
S = OPTIMUM | O = 30
T = 0.06 | (out)(err)
S = OPTIMUM | O = 30
T = 0.00 | (out)(err)
S = OPTIMUM | O = 30
T = 0.37 | (out)(err)
S = OPTIMUM | O = 30
T = 0.00 | (out)(err)
S = OPTIMUM | O = 30
T = 0.00 | (out)(err)
S = OPTIMUM | O = 30
T = 0.01 | (out)(err)
S = OPTIMUM | O = 30
T = 0.01 | (out)(err)
S = OPTIMUM | O = 30
T = 0.01 | (out)(err)
normalized-fir05_area_delay.wcnf S = N/A | O = N/A
T = 16.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 14
T = 0.64 | (out)(err)
S = N/A | O = 17
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 14
T = 0.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 14
T = 0.85 | (out)(err)
normalized-fir05_area_opers.wcnf S = N/A | O = N/A
T = 48.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 35
T = 4.81 | (out)(err)
S = N/A | O = 44
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 35
T = 3.45 | (out)(err)
S = OPTIMUM | O = 35
T = 0.68 | (out)(err)
S = OPTIMUM | O = 35
T = 4.53 | (out)(err)
normalized-fir05_area_partials.wcnf S = OPTIMUM | O = 36
T = 7.88 | (out)(err)
S = OPTIMUM | O = 36
T = 1.68 | (out)(err)
S = OPTIMUM | O = 36
T = 4.21 | (out)(err)
S = OPTIMUM | O = 36
T = 0.07 | (out)(err)
S = OPTIMUM | O = 36
T = 0.81 | (out)(err)
S = OPTIMUM | O = 36
T = 2.47 | (out)(err)
S = OPTIMUM | O = 36
T = 1.23 | (out)(err)
S = OPTIMUM | O = 36
T = 0.08 | (out)(err)
S = OPTIMUM | O = 36
T = 0.06 | (out)(err)
S = OPTIMUM | O = 36
T = 0.08 | (out)(err)
normalized-fir06_area_delay.wcnf S = N/A | O = N/A
T = 63.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 15
T = 0.47 | (out)(err)
S = N/A | O = 19
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 15
T = 1.58 | (out)(err)
S = OPTIMUM | O = 15
T = 5.38 | (out)(err)
S = OPTIMUM | O = 15
T = 0.62 | (out)(err)
normalized-fir06_area_opers.wcnf S = N/A | O = N/A
T = 23.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 7.92 | (out)(err)
S = N/A | O = 38
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 3.58 | (out)(err)
S = OPTIMUM | O = 23
T = 38.72 | (out)(err)
S = OPTIMUM | O = 23
T = 3.44 | (out)(err)
normalized-fir06_area_partials.wcnf S = OPTIMUM | O = 24
T = 801.22 | (out)(err)
S = OPTIMUM | O = 24
T = 35.97 | (out)(err)
S = OPTIMUM | O = 24
T = 38.83 | (out)(err)
S = OPTIMUM | O = 24
T = 0.06 | (out)(err)
S = OPTIMUM | O = 24
T = 2.24 | (out)(err)
S = OPTIMUM | O = 24
T = 75.01 | (out)(err)
S = OPTIMUM | O = 24
T = 36.71 | (out)(err)
S = OPTIMUM | O = 24
T = 1.18 | (out)(err)
S = OPTIMUM | O = 24
T = 0.09 | (out)(err)
S = OPTIMUM | O = 24
T = 0.15 | (out)(err)
normalized-fir07_area_delay.wcnf S = N/A | O = N/A
T = 19.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 16
T = 1.72 | (out)(err)
S = N/A | O = 27
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 16
T = 3.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 16
T = 3.10 | (out)(err)
normalized-fir07_area_opers.wcnf S = N/A | O = N/A
T = 13.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 23.53 | (out)(err)
S = N/A | O = 52
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 4.18 | (out)(err)
S = OPTIMUM | O = 32
T = 2.65 | (out)(err)
S = OPTIMUM | O = 32
T = 4.58 | (out)(err)
normalized-fir07_area_partials.wcnf S = OPTIMUM | O = 33
T = 2.86 | (out)(err)
S = OPTIMUM | O = 33
T = 0.07 | (out)(err)
S = OPTIMUM | O = 33
T = 0.50 | (out)(err)
S = OPTIMUM | O = 33
T = 0.02 | (out)(err)
S = OPTIMUM | O = 33
T = 0.88 | (out)(err)
S = OPTIMUM | O = 33
T = 0.08 | (out)(err)
S = OPTIMUM | O = 33
T = 0.06 | (out)(err)
S = OPTIMUM | O = 33
T = 0.03 | (out)(err)
S = OPTIMUM | O = 33
T = 0.02 | (out)(err)
S = OPTIMUM | O = 33
T = 0.03 | (out)(err)
normalized-fir08_area_delay.wcnf S = N/A | O = N/A
T = 17.44 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 23
T = 64.47 | (out)(err)
S = N/A | O = 42
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 23
T = 31.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 27.80 | (out)(err)
normalized-fir08_area_opers.wcnf S = N/A | O = N/A
T = 18.17 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 83
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 58.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
normalized-fir08_area_partials.wcnf S = N/A | O = N/A
T = 16.68 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 49
T = 158.73 | (out)(err)
S = N/A | O = 53
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 49
T = 48.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 49
T = 128.25 | (out)(err)
normalized-fir09_area_delay.wcnf S = N/A | O = N/A
T = 15.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 17
T = 40.03 | (out)(err)
S = N/A | O = 24
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 17
T = 13.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 17
T = 5.74 | (out)(err)
normalized-fir09_area_opers.wcnf S = N/A | O = N/A
T = 10.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 1031.99 | (out)(err)
S = N/A | O = 60
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 55.82 | (out)(err)
S = OPTIMUM | O = 34
T = 298.93 | (out)(err)
S = OPTIMUM | O = 34
T = 180.94 | (out)(err)
normalized-fir09_area_partials.wcnf S = N/A | O = N/A
T = 69.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 35
T = 25.93 | (out)(err)
S = OPTIMUM | O = 35
T = 48.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 35
T = 10.75 | (out)(err)
S = OPTIMUM | O = 35
T = 12.00 | (out)(err)
S = OPTIMUM | O = 35
T = 15.31 | (out)(err)
normalized-fir10_area_delay.wcnf S = N/A | O = N/A
T = 15.47 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 27
T = 17.16 | (out)(err)
S = N/A | O = 48
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 27
T = 18.57 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 17.15 | (out)(err)
normalized-fir10_area_opers.wcnf S = N/A | O = N/A
T = 17.31 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 87
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = N/A | O = N/A
T = 0.00 | (out)(err)
S = OPTIMUM | O = 51
T = 182.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 51
T = 457.04 | (out)(err)
normalized-fir10_area_partials.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 52
T = 2.03 | (out)(err)
S = N/A | O = 52
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 52
T = 5.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 52
T = 8.94 | (out)(err)
SU1__simp-genos.haps.1.wcnf S = N/A | O = N/A
T = 12.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 73
T = 9.29 | (out)(err)
S = OPTIMUM | O = 73
T = 14.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 73
T = 6.91 | (out)(err)
S = OPTIMUM | O = 73
T = 10.06 | (out)(err)
S = OPTIMUM | O = 73
T = 6.20 | (out)(err)
SU1__simp-genos.haps.10.wcnf S = N/A | O = N/A
T = 11.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 93
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.18.wcnf S = N/A | O = N/A
T = 11.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 74
T = 13.57 | (out)(err)
S = OPTIMUM | O = 74
T = 1228.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 74
T = 9.40 | (out)(err)
S = OPTIMUM | O = 74
T = 67.75 | (out)(err)
S = OPTIMUM | O = 74
T = 8.47 | (out)(err)
SU1__simp-genos.haps.19.wcnf S = N/A | O = N/A
T = 18.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 79
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 79
T = 85.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.26.wcnf S = N/A | O = N/A
T = 10.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 85
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 81
T = 966.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.27.wcnf S = N/A | O = N/A
T = 9.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 94
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 92
T = 71.67 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.29.wcnf S = N/A | O = N/A
T = 77.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 68
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 68
T = 45.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.30.wcnf S = N/A | O = N/A
T = 8.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 69
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 69
T = 32.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.32.wcnf S = N/A | O = N/A
T = 10.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 74
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 71
T = 210.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.34.wcnf S = N/A | O = N/A
T = 14.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 70
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 69
T = 21.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.37.wcnf S = N/A | O = N/A
T = 9.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 77
T = 149.38 | (out)(err)
S = OPTIMUM | O = 77
T = 197.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 77
T = 9.61 | (out)(err)
S = OPTIMUM | O = 77
T = 11.79 | (out)(err)
S = OPTIMUM | O = 77
T = 15.24 | (out)(err)
SU1__simp-genos.haps.38.wcnf S = N/A | O = N/A
T = 9.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 90
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 89
T = 65.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.50.wcnf S = N/A | O = N/A
T = 15.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 59
T = 185.68 | (out)(err)
S = N/A | O = 59
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 59
T = 12.91 | (out)(err)
S = OPTIMUM | O = 59
T = 12.34 | (out)(err)
S = OPTIMUM | O = 59
T = 80.34 | (out)(err)
SU1__simp-genos.haps.54.wcnf S = N/A | O = N/A
T = 16.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 72
T = 13.10 | (out)(err)
S = OPTIMUM | O = 72
T = 135.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 72
T = 12.66 | (out)(err)
S = OPTIMUM | O = 72
T = 24.16 | (out)(err)
S = OPTIMUM | O = 72
T = 12.43 | (out)(err)
SU1__simp-genos.haps.58.wcnf S = N/A | O = N/A
T = 9.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 89
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 85
T = 23.33 | (out)(err)
S = OPTIMUM | O = 85
T = 646.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.62.wcnf S = N/A | O = N/A
T = 17.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 68
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 67
T = 31.35 | (out)(err)
S = OPTIMUM | O = 67
T = 106.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.69.wcnf S = N/A | O = N/A
T = 11.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 78
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 76
T = 80.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.7.wcnf S = N/A | O = N/A
T = 16.84 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 77
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU1__simp-genos.haps.70.wcnf S = N/A | O = N/A
T = 16.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 58
T = 44.68 | (out)(err)
S = OPTIMUM | O = 58
T = 242.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 58
T = 12.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 58
T = 10.54 | (out)(err)
SU1__simp-genos.haps.8.wcnf S = N/A | O = N/A
T = 7.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 63
T = 17.32 | (out)(err)
S = OPTIMUM | O = 63
T = 32.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 63
T = 6.18 | (out)(err)
S = OPTIMUM | O = 63
T = 7.00 | (out)(err)
S = OPTIMUM | O = 63
T = 5.94 | (out)(err)
SU1__simp-genos.haps.85.wcnf S = N/A | O = N/A
T = 12.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 65
T = 35.45 | (out)(err)
S = OPTIMUM | O = 65
T = 23.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 65
T = 8.14 | (out)(err)
S = OPTIMUM | O = 65
T = 23.10 | (out)(err)
S = OPTIMUM | O = 65
T = 10.71 | (out)(err)
SU1__simp-genos.haps.86.wcnf S = N/A | O = N/A
T = 15.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 56
T = 25.53 | (out)(err)
S = OPTIMUM | O = 56
T = 271.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 56
T = 13.20 | (out)(err)
S = OPTIMUM | O = 56
T = 189.26 | (out)(err)
S = OPTIMUM | O = 56
T = 19.03 | (out)(err)
SU3__simp-genos.haps.21.wcnf S = N/A | O = N/A
T = 13.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 112
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.23.wcnf S = N/A | O = N/A
T = 7.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 112
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 110
T = 17.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 110
T = 56.15 | (out)(err)
SU3__simp-genos.haps.27.wcnf S = N/A | O = N/A
T = 14.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 100
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 99
T = 74.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.33.wcnf S = N/A | O = N/A
T = 7.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 114
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 113
T = 129.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.38.wcnf S = N/A | O = N/A
T = 16.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 106
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.53.wcnf S = N/A | O = N/A
T = 12.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 113
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.58.wcnf S = N/A | O = N/A
T = 12.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 102
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 101
T = 215.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.60.wcnf S = N/A | O = N/A
T = 16.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 104
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 103
T = 134.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.63.wcnf S = N/A | O = N/A
T = 18.79 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 94
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.64.wcnf S = N/A | O = N/A
T = 11.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 101
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 99
T = 433.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.72.wcnf S = N/A | O = N/A
T = 12.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 99
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.74.wcnf S = N/A | O = N/A
T = 9.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 102
T = 76.84 | (out)(err)
S = N/A | O = 102
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 102
T = 12.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 102
T = 10.82 | (out)(err)
SU3__simp-genos.haps.80.wcnf S = N/A | O = N/A
T = 15.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 106
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.86.wcnf S = N/A | O = N/A
T = 12.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 103
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 102
T = 104.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.88.wcnf S = N/A | O = N/A
T = 15.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 109
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
SU3__simp-genos.haps.9.wcnf S = N/A | O = N/A
T = 13.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 108
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
simp-abcd_50.01.wcnf S = OPTIMUM | O = 22
T = 939.12 | (out)(err)
S = OPTIMUM | O = 22
T = 423.91 | (out)(err)
S = OPTIMUM | O = 22
T = 605.24 | (out)(err)
S = OPTIMUM | O = 22
T = 0.09 | (out)(err)
S = OPTIMUM | O = 22
T = 1.66 | (out)(err)
S = OPTIMUM | O = 22
T = 749.64 | (out)(err)
S = OPTIMUM | O = 22
T = 487.91 | (out)(err)
S = OPTIMUM | O = 22
T = 0.10 | (out)(err)
S = OPTIMUM | O = 22
T = 0.09 | (out)(err)
S = OPTIMUM | O = 22
T = 0.09 | (out)(err)
simp-abcd_50.02.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.34 | (out)(err)
S = OPTIMUM | O = 27
T = 1.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.32 | (out)(err)
S = OPTIMUM | O = 27
T = 0.28 | (out)(err)
S = OPTIMUM | O = 27
T = 0.35 | (out)(err)
simp-abcd_50.03.wcnf S = OPTIMUM | O = 24
T = 14.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.12 | (out)(err)
S = OPTIMUM | O = 24
T = 1.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.15 | (out)(err)
S = OPTIMUM | O = 24
T = 0.14 | (out)(err)
S = OPTIMUM | O = 24
T = 0.12 | (out)(err)
simp-abcd_50.04.wcnf S = OPTIMUM | O = 28
T = 1495.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 0.16 | (out)(err)
S = OPTIMUM | O = 28
T = 1.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 0.16 | (out)(err)
S = OPTIMUM | O = 28
T = 0.15 | (out)(err)
S = OPTIMUM | O = 28
T = 0.16 | (out)(err)
simp-abcd_50.05.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 0.41 | (out)(err)
S = OPTIMUM | O = 26
T = 1.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 0.34 | (out)(err)
S = OPTIMUM | O = 26
T = 0.53 | (out)(err)
S = OPTIMUM | O = 26
T = 0.29 | (out)(err)
simp-abcd_50.06.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.45 | (out)(err)
S = OPTIMUM | O = 24
T = 2.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.44 | (out)(err)
S = OPTIMUM | O = 24
T = 0.56 | (out)(err)
S = OPTIMUM | O = 24
T = 0.46 | (out)(err)
simp-abcd_50.07.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.27 | (out)(err)
S = OPTIMUM | O = 27
T = 2.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.24 | (out)(err)
S = OPTIMUM | O = 27
T = 0.32 | (out)(err)
S = OPTIMUM | O = 27
T = 0.32 | (out)(err)
simp-abcd_50.08.wcnf S = OPTIMUM | O = 20
T = 8.54 | (out)(err)
S = OPTIMUM | O = 20
T = 187.29 | (out)(err)
S = OPTIMUM | O = 20
T = 198.06 | (out)(err)
S = OPTIMUM | O = 20
T = 0.07 | (out)(err)
S = OPTIMUM | O = 20
T = 1.44 | (out)(err)
S = OPTIMUM | O = 20
T = 294.93 | (out)(err)
S = OPTIMUM | O = 20
T = 188.43 | (out)(err)
S = OPTIMUM | O = 20
T = 0.07 | (out)(err)
S = OPTIMUM | O = 20
T = 0.08 | (out)(err)
S = OPTIMUM | O = 20
T = 0.07 | (out)(err)
simp-abcd_50.09.wcnf S = OPTIMUM | O = 18
T = 68.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 18
T = 0.07 | (out)(err)
S = OPTIMUM | O = 18
T = 1.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 18
T = 0.10 | (out)(err)
S = OPTIMUM | O = 18
T = 0.08 | (out)(err)
S = OPTIMUM | O = 18
T = 0.10 | (out)(err)
simp-ace_50.01.wcnf S = OPTIMUM | O = 13
T = 20.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 13
T = 0.10 | (out)(err)
S = OPTIMUM | O = 13
T = 1.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 13
T = 0.10 | (out)(err)
S = OPTIMUM | O = 13
T = 0.11 | (out)(err)
S = OPTIMUM | O = 13
T = 0.10 | (out)(err)
simp-ace_50.02.wcnf S = OPTIMUM | O = 12
T = 13.08 | (out)(err)
S = OPTIMUM | O = 12
T = 375.94 | (out)(err)
S = OPTIMUM | O = 12
T = 209.98 | (out)(err)
S = OPTIMUM | O = 12
T = 0.07 | (out)(err)
S = OPTIMUM | O = 12
T = 1.32 | (out)(err)
S = OPTIMUM | O = 12
T = 452.05 | (out)(err)
S = OPTIMUM | O = 12
T = 380.46 | (out)(err)
S = OPTIMUM | O = 12
T = 0.07 | (out)(err)
S = OPTIMUM | O = 12
T = 0.07 | (out)(err)
S = OPTIMUM | O = 12
T = 0.07 | (out)(err)
simp-ace_50.03.wcnf S = OPTIMUM | O = 13
T = 15.06 | (out)(err)
S = OPTIMUM | O = 13
T = 71.06 | (out)(err)
S = OPTIMUM | O = 13
T = 11.12 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
S = OPTIMUM | O = 13
T = 1.36 | (out)(err)
S = OPTIMUM | O = 13
T = 77.70 | (out)(err)
S = OPTIMUM | O = 13
T = 70.80 | (out)(err)
S = OPTIMUM | O = 13
T = 0.08 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
simp-ace_50.04.wcnf S = OPTIMUM | O = 13
T = 11.62 | (out)(err)
S = OPTIMUM | O = 13
T = 520.67 | (out)(err)
S = OPTIMUM | O = 13
T = 25.44 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
S = OPTIMUM | O = 13
T = 1.21 | (out)(err)
S = OPTIMUM | O = 13
T = 557.71 | (out)(err)
S = OPTIMUM | O = 13
T = 539.49 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
simp-ace_50.05.wcnf S = OPTIMUM | O = 13
T = 20.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 13
T = 0.11 | (out)(err)
S = OPTIMUM | O = 13
T = 1.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 13
T = 0.10 | (out)(err)
S = OPTIMUM | O = 13
T = 0.11 | (out)(err)
S = OPTIMUM | O = 13
T = 0.10 | (out)(err)
simp-ace_50.06.wcnf S = OPTIMUM | O = 13
T = 15.05 | (out)(err)
S = OPTIMUM | O = 13
T = 5.03 | (out)(err)
S = OPTIMUM | O = 13
T = 17.67 | (out)(err)
S = OPTIMUM | O = 13
T = 0.08 | (out)(err)
S = OPTIMUM | O = 13
T = 1.62 | (out)(err)
S = OPTIMUM | O = 13
T = 3.84 | (out)(err)
S = OPTIMUM | O = 13
T = 3.20 | (out)(err)
S = OPTIMUM | O = 13
T = 0.08 | (out)(err)
S = OPTIMUM | O = 13
T = 0.09 | (out)(err)
S = OPTIMUM | O = 13
T = 0.08 | (out)(err)
simp-ace_50.07.wcnf S = OPTIMUM | O = 13
T = 11.90 | (out)(err)
S = OPTIMUM | O = 13
T = 132.81 | (out)(err)
S = OPTIMUM | O = 13
T = 30.89 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
S = OPTIMUM | O = 13
T = 1.86 | (out)(err)
S = OPTIMUM | O = 13
T = 156.88 | (out)(err)
S = OPTIMUM | O = 13
T = 133.43 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
simp-ace_50.08.wcnf S = OPTIMUM | O = 13
T = 8.69 | (out)(err)
S = OPTIMUM | O = 13
T = 854.71 | (out)(err)
S = OPTIMUM | O = 13
T = 13.71 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
S = OPTIMUM | O = 13
T = 1.04 | (out)(err)
S = OPTIMUM | O = 13
T = 1284.22 | (out)(err)
S = OPTIMUM | O = 13
T = 876.22 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
S = OPTIMUM | O = 13
T = 0.05 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
simp-ace_50.09.wcnf S = OPTIMUM | O = 13
T = 11.27 | (out)(err)
S = OPTIMUM | O = 13
T = 1560.14 | (out)(err)
S = OPTIMUM | O = 13
T = 91.37 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
S = OPTIMUM | O = 13
T = 1.29 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 13
T = 1600.68 | (out)(err)
S = OPTIMUM | O = 13
T = 0.07 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
S = OPTIMUM | O = 13
T = 0.06 | (out)(err)
simp-b2ar_50.01.wcnf S = OPTIMUM | O = 12
T = 9.15 | (out)(err)
S = OPTIMUM | O = 12
T = 22.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 1.41 | (out)(err)
S = OPTIMUM | O = 12
T = 42.69 | (out)(err)
S = OPTIMUM | O = 12
T = 22.23 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
simp-b2ar_50.02.wcnf S = OPTIMUM | O = 12
T = 10.66 | (out)(err)
S = OPTIMUM | O = 12
T = 183.01 | (out)(err)
S = OPTIMUM | O = 12
T = 208.25 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 1.86 | (out)(err)
S = OPTIMUM | O = 12
T = 319.59 | (out)(err)
S = OPTIMUM | O = 12
T = 183.60 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
simp-b2ar_50.03.wcnf S = OPTIMUM | O = 12
T = 10.60 | (out)(err)
S = OPTIMUM | O = 12
T = 367.56 | (out)(err)
S = OPTIMUM | O = 12
T = 368.49 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 1.65 | (out)(err)
S = OPTIMUM | O = 12
T = 559.39 | (out)(err)
S = OPTIMUM | O = 12
T = 370.54 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
simp-b2ar_50.04.wcnf S = OPTIMUM | O = 12
T = 10.43 | (out)(err)
S = OPTIMUM | O = 12
T = 106.42 | (out)(err)
S = OPTIMUM | O = 12
T = 139.44 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 1.57 | (out)(err)
S = OPTIMUM | O = 12
T = 206.29 | (out)(err)
S = OPTIMUM | O = 12
T = 105.19 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
simp-b2ar_50.05.wcnf S = OPTIMUM | O = 12
T = 8.72 | (out)(err)
S = OPTIMUM | O = 12
T = 0.76 | (out)(err)
S = OPTIMUM | O = 12
T = 16.83 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
S = OPTIMUM | O = 12
T = 1.14 | (out)(err)
S = OPTIMUM | O = 12
T = 0.14 | (out)(err)
S = OPTIMUM | O = 12
T = 0.08 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
simp-b2ar_50.06.wcnf S = OPTIMUM | O = 12
T = 8.47 | (out)(err)
S = OPTIMUM | O = 12
T = 0.52 | (out)(err)
S = OPTIMUM | O = 12
T = 23.10 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
S = OPTIMUM | O = 12
T = 1.35 | (out)(err)
S = OPTIMUM | O = 12
T = 0.14 | (out)(err)
S = OPTIMUM | O = 12
T = 0.08 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
simp-b2ar_50.07.wcnf S = OPTIMUM | O = 12
T = 9.14 | (out)(err)
S = OPTIMUM | O = 12
T = 5.90 | (out)(err)
S = OPTIMUM | O = 12
T = 27.89 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 1.61 | (out)(err)
S = OPTIMUM | O = 12
T = 8.67 | (out)(err)
S = OPTIMUM | O = 12
T = 5.28 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
simp-b2ar_50.08.wcnf S = OPTIMUM | O = 12
T = 9.85 | (out)(err)
S = OPTIMUM | O = 12
T = 10.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
S = OPTIMUM | O = 12
T = 1.61 | (out)(err)
S = OPTIMUM | O = 12
T = 18.86 | (out)(err)
S = OPTIMUM | O = 12
T = 9.80 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 0.04 | (out)(err)
simp-b2ar_50.09.wcnf S = OPTIMUM | O = 12
T = 9.06 | (out)(err)
S = OPTIMUM | O = 12
T = 21.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 12
T = 0.05 | (out)(err)
S = OPTIMUM | O = 12
T = 1.55 | (out)(err)
S = OPTIMUM | O = 12
T = 43.47 | (out)(err)
S = OPTIMUM | O = 12
T = 19.66 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
S = OPTIMUM | O = 12
T = 0.06 | (out)(err)
simp-cf_50.01.wcnf S = N/A | O = N/A
T = 55.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 1.19 | (out)(err)
S = OPTIMUM | O = 29
T = 11.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 1.20 | (out)(err)
S = OPTIMUM | O = 29
T = 2.82 | (out)(err)
S = OPTIMUM | O = 29
T = 1.37 | (out)(err)
simp-cf_50.02.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 0.82 | (out)(err)
S = OPTIMUM | O = 28
T = 5.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 0.50 | (out)(err)
S = OPTIMUM | O = 28
T = 1.38 | (out)(err)
S = OPTIMUM | O = 28
T = 0.42 | (out)(err)
simp-cf_50.03.wcnf S = OPTIMUM | O = 27
T = 25.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.27 | (out)(err)
S = OPTIMUM | O = 27
T = 2.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.24 | (out)(err)
S = OPTIMUM | O = 27
T = 0.26 | (out)(err)
S = OPTIMUM | O = 27
T = 0.24 | (out)(err)
simp-cf_50.04.wcnf S = OPTIMUM | O = 29
T = 86.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.36 | (out)(err)
S = OPTIMUM | O = 29
T = 1.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.38 | (out)(err)
S = OPTIMUM | O = 29
T = 0.40 | (out)(err)
S = OPTIMUM | O = 29
T = 0.32 | (out)(err)
simp-cf_50.05.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 3.25 | (out)(err)
S = OPTIMUM | O = 29
T = 11.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 1.91 | (out)(err)
S = OPTIMUM | O = 29
T = 10.66 | (out)(err)
S = OPTIMUM | O = 29
T = 3.20 | (out)(err)
simp-cf_50.06.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 48.00 | (out)(err)
S = OPTIMUM | O = 29
T = 114.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.97 | (out)(err)
S = OPTIMUM | O = 29
T = 4.01 | (out)(err)
S = OPTIMUM | O = 29
T = 3.44 | (out)(err)
simp-cf_50.07.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 5.76 | (out)(err)
S = OPTIMUM | O = 28
T = 7.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 1.24 | (out)(err)
S = OPTIMUM | O = 28
T = 28.82 | (out)(err)
S = OPTIMUM | O = 28
T = 2.94 | (out)(err)
simp-cf_50.08.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.37 | (out)(err)
S = OPTIMUM | O = 27
T = 3.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.39 | (out)(err)
S = OPTIMUM | O = 27
T = 0.43 | (out)(err)
S = OPTIMUM | O = 27
T = 0.35 | (out)(err)
simp-cf_50.09.wcnf S = OPTIMUM | O = 27
T = 1187.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.44 | (out)(err)
S = OPTIMUM | O = 27
T = 2.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.47 | (out)(err)
S = OPTIMUM | O = 27
T = 0.51 | (out)(err)
S = OPTIMUM | O = 27
T = 0.44 | (out)(err)
simp-ibd_50.01.wcnf S = N/A | O = N/A
T = 35.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 53
T = 120.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 53
T = 13.32 | (out)(err)
S = OPTIMUM | O = 53
T = 206.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
simp-ibd_50.02.wcnf S = N/A | O = N/A
T = 70.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 56
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 56
T = 406.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 352.59 | (out)(err)
simp-ibd_50.03.wcnf S = N/A | O = N/A
T = 34.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 54
T = 6.19 | (out)(err)
S = OPTIMUM | O = 54
T = 9.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 54
T = 3.56 | (out)(err)
S = OPTIMUM | O = 54
T = 16.36 | (out)(err)
S = OPTIMUM | O = 54
T = 7.15 | (out)(err)
simp-ibd_50.04.wcnf S = N/A | O = N/A
T = 101.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 55
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 55
T = 370.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
simp-ibd_50.05.wcnf S = N/A | O = N/A
T = 39.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 59
T = 927.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 59
T = 8.64 | (out)(err)
S = OPTIMUM | O = 59
T = 88.82 | (out)(err)
S = OPTIMUM | O = 59
T = 104.53 | (out)(err)
simp-ibd_50.06.wcnf S = N/A | O = N/A
T = 40.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 55
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = 243.14 | (out)(err)
simp-ibd_50.07.wcnf S = N/A | O = N/A
T = 81.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 57
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 57
T = 159.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
simp-ibd_50.08.wcnf S = N/A | O = N/A
T = 96.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 58
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
simp-ibd_50.09.wcnf S = N/A | O = N/A
T = 67.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 57
T = 34.60 | (out)(err)
S = OPTIMUM | O = 57
T = 1003.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 57
T = 9.86 | (out)(err)
S = OPTIMUM | O = 57
T = 29.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
simp-nonunif-100_100.00.wcnf S = N/A | O = N/A
T = 63.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 43
T = 2.21 | (out)(err)
S = OPTIMUM | O = 43
T = 6.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 43
T = 2.50 | (out)(err)
S = OPTIMUM | O = 43
T = 2.55 | (out)(err)
S = OPTIMUM | O = 43
T = 2.20 | (out)(err)
simp-nonunif-100_100.01.wcnf S = N/A | O = N/A
T = 31.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 35
T = 1.17 | (out)(err)
S = OPTIMUM | O = 35
T = 3.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 35
T = 1.40 | (out)(err)
S = OPTIMUM | O = 35
T = 1.46 | (out)(err)
S = OPTIMUM | O = 35
T = 1.25 | (out)(err)
simp-nonunif-100_100.02.wcnf S = N/A | O = N/A
T = 46.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 44
T = 3.53 | (out)(err)
S = OPTIMUM | O = 44
T = 9.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 44
T = 3.08 | (out)(err)
S = OPTIMUM | O = 44
T = 2.23 | (out)(err)
S = OPTIMUM | O = 44
T = 2.24 | (out)(err)
simp-nonunif-100_100.03.wcnf S = N/A | O = N/A
T = 36.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 38
T = 1.14 | (out)(err)
S = OPTIMUM | O = 38
T = 3.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 38
T = 1.30 | (out)(err)
S = OPTIMUM | O = 38
T = 1.20 | (out)(err)
S = OPTIMUM | O = 38
T = 0.97 | (out)(err)
simp-nonunif-100_100.04.wcnf S = N/A | O = N/A
T = 16.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.61 | (out)(err)
S = OPTIMUM | O = 29
T = 2.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.68 | (out)(err)
S = OPTIMUM | O = 29
T = 0.65 | (out)(err)
S = OPTIMUM | O = 29
T = 0.54 | (out)(err)
simp-nonunif-100_100.05.wcnf S = N/A | O = N/A
T = 54.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 1.47 | (out)(err)
S = OPTIMUM | O = 31
T = 4.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 1.59 | (out)(err)
S = OPTIMUM | O = 31
T = 1.73 | (out)(err)
S = OPTIMUM | O = 31
T = 1.45 | (out)(err)
simp-nonunif-100_100.06.wcnf S = N/A | O = N/A
T = 63.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 1.20 | (out)(err)
S = OPTIMUM | O = 36
T = 2.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 1.54 | (out)(err)
S = OPTIMUM | O = 36
T = 1.43 | (out)(err)
S = OPTIMUM | O = 36
T = 1.20 | (out)(err)
simp-nonunif-100_100.07.wcnf S = N/A | O = N/A
T = 77.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 37
T = 1.90 | (out)(err)
S = OPTIMUM | O = 37
T = 4.95 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 37
T = 2.55 | (out)(err)
S = OPTIMUM | O = 37
T = 2.19 | (out)(err)
S = OPTIMUM | O = 37
T = 1.69 | (out)(err)
simp-nonunif-100_100.08.wcnf S = N/A | O = N/A
T = 35.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 1.28 | (out)(err)
S = OPTIMUM | O = 36
T = 3.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 1.53 | (out)(err)
S = OPTIMUM | O = 36
T = 1.37 | (out)(err)
S = OPTIMUM | O = 36
T = 1.08 | (out)(err)
simp-nonunif-100_100.09.wcnf S = N/A | O = N/A
T = 18.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 0.70 | (out)(err)
S = OPTIMUM | O = 31
T = 2.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 0.91 | (out)(err)
S = OPTIMUM | O = 31
T = 0.64 | (out)(err)
S = OPTIMUM | O = 31
T = 0.78 | (out)(err)
simp-nonunif-100_100.10.wcnf S = N/A | O = N/A
T = 6.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 49
T = 20.43 | (out)(err)
S = OPTIMUM | O = 49
T = 17.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 49
T = 4.99 | (out)(err)
S = OPTIMUM | O = 49
T = 5.69 | (out)(err)
S = OPTIMUM | O = 49
T = 4.95 | (out)(err)
simp-nonunif-100_100.11.wcnf S = N/A | O = N/A
T = 50.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 38
T = 1.76 | (out)(err)
S = OPTIMUM | O = 38
T = 5.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 38
T = 2.85 | (out)(err)
S = OPTIMUM | O = 38
T = 2.55 | (out)(err)
S = OPTIMUM | O = 38
T = 2.15 | (out)(err)
simp-nonunif-100_100.12.wcnf S = N/A | O = N/A
T = 8.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 41
T = 2.23 | (out)(err)
S = OPTIMUM | O = 41
T = 4.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 41
T = 2.84 | (out)(err)
S = OPTIMUM | O = 41
T = 2.69 | (out)(err)
S = OPTIMUM | O = 41
T = 2.11 | (out)(err)
simp-nonunif-100_100.13.wcnf S = N/A | O = N/A
T = 24.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 41
T = 1.02 | (out)(err)
S = OPTIMUM | O = 41
T = 2.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 41
T = 1.26 | (out)(err)
S = OPTIMUM | O = 41
T = 1.13 | (out)(err)
S = OPTIMUM | O = 41
T = 1.21 | (out)(err)
simp-nonunif-100_100.14.wcnf S = N/A | O = N/A
T = 60.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 42
T = 2.18 | (out)(err)
S = OPTIMUM | O = 42
T = 15.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 42
T = 4.21 | (out)(err)
S = OPTIMUM | O = 42
T = 3.62 | (out)(err)
S = OPTIMUM | O = 42
T = 2.94 | (out)(err)
simp-nonunif-100_30.00.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 476.73 | (out)(err)
S = OPTIMUM | O = 25
T = 489.53 | (out)(err)
S = OPTIMUM | O = 25
T = 0.15 | (out)(err)
S = OPTIMUM | O = 25
T = 1.72 | (out)(err)
S = OPTIMUM | O = 25
T = 605.48 | (out)(err)
S = OPTIMUM | O = 25
T = 481.87 | (out)(err)
S = OPTIMUM | O = 25
T = 0.15 | (out)(err)
S = OPTIMUM | O = 25
T = 0.18 | (out)(err)
S = OPTIMUM | O = 25
T = 0.14 | (out)(err)
simp-nonunif-100_30.01.wcnf S = OPTIMUM | O = 23
T = 18.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 0.08 | (out)(err)
S = OPTIMUM | O = 23
T = 1.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 0.08 | (out)(err)
S = OPTIMUM | O = 23
T = 0.09 | (out)(err)
S = OPTIMUM | O = 23
T = 0.09 | (out)(err)
simp-nonunif-100_30.02.wcnf S = OPTIMUM | O = 21
T = 7.01 | (out)(err)
S = OPTIMUM | O = 21
T = 285.06 | (out)(err)
S = OPTIMUM | O = 21
T = 72.87 | (out)(err)
S = OPTIMUM | O = 21
T = 0.05 | (out)(err)
S = OPTIMUM | O = 21
T = 1.20 | (out)(err)
S = OPTIMUM | O = 21
T = 374.57 | (out)(err)
S = OPTIMUM | O = 21
T = 289.24 | (out)(err)
S = OPTIMUM | O = 21
T = 0.06 | (out)(err)
S = OPTIMUM | O = 21
T = 0.07 | (out)(err)
S = OPTIMUM | O = 21
T = 0.05 | (out)(err)
simp-nonunif-100_30.03.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.26 | (out)(err)
S = OPTIMUM | O = 27
T = 1.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.21 | (out)(err)
S = OPTIMUM | O = 27
T = 0.29 | (out)(err)
S = OPTIMUM | O = 27
T = 0.20 | (out)(err)
simp-nonunif-100_30.04.wcnf S = OPTIMUM | O = 23
T = 94.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 1616.40 | (out)(err)
S = OPTIMUM | O = 23
T = 0.06 | (out)(err)
S = OPTIMUM | O = 23
T = 1.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 0.07 | (out)(err)
S = OPTIMUM | O = 23
T = 0.07 | (out)(err)
S = OPTIMUM | O = 23
T = 0.07 | (out)(err)
simp-nonunif-100_30.05.wcnf S = OPTIMUM | O = 18
T = 858.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 18
T = 0.08 | (out)(err)
S = OPTIMUM | O = 18
T = 1.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 18
T = 0.09 | (out)(err)
S = OPTIMUM | O = 18
T = 0.09 | (out)(err)
S = OPTIMUM | O = 18
T = 0.10 | (out)(err)
simp-nonunif-100_30.06.wcnf S = OPTIMUM | O = 22
T = 21.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 0.08 | (out)(err)
S = OPTIMUM | O = 22
T = 1.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 22
T = 0.08 | (out)(err)
S = OPTIMUM | O = 22
T = 0.09 | (out)(err)
S = OPTIMUM | O = 22
T = 0.08 | (out)(err)
simp-nonunif-100_30.07.wcnf S = OPTIMUM | O = 17
T = 7.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 17
T = 10.84 | (out)(err)
S = OPTIMUM | O = 17
T = 0.05 | (out)(err)
S = OPTIMUM | O = 17
T = 1.24 | (out)(err)
S = OPTIMUM | O = 17
T = 1516.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 17
T = 0.05 | (out)(err)
S = OPTIMUM | O = 17
T = 0.05 | (out)(err)
S = OPTIMUM | O = 17
T = 0.05 | (out)(err)
simp-nonunif-100_30.08.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 21
T = 0.26 | (out)(err)
S = OPTIMUM | O = 21
T = 1.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 21
T = 0.15 | (out)(err)
S = OPTIMUM | O = 21
T = 0.17 | (out)(err)
S = OPTIMUM | O = 21
T = 0.15 | (out)(err)
simp-nonunif-100_30.09.wcnf S = OPTIMUM | O = 20
T = 9.88 | (out)(err)
S = OPTIMUM | O = 20
T = 30.31 | (out)(err)
S = OPTIMUM | O = 20
T = 36.66 | (out)(err)
S = OPTIMUM | O = 20
T = 0.05 | (out)(err)
S = OPTIMUM | O = 20
T = 1.15 | (out)(err)
S = OPTIMUM | O = 20
T = 37.95 | (out)(err)
S = OPTIMUM | O = 20
T = 30.21 | (out)(err)
S = OPTIMUM | O = 20
T = 0.07 | (out)(err)
S = OPTIMUM | O = 20
T = 0.06 | (out)(err)
S = OPTIMUM | O = 20
T = 0.06 | (out)(err)
simp-nonunif-100_30.10.wcnf S = OPTIMUM | O = 19
T = 9.17 | (out)(err)
S = OPTIMUM | O = 19
T = 62.31 | (out)(err)
S = OPTIMUM | O = 19
T = 72.00 | (out)(err)
S = OPTIMUM | O = 19
T = 0.07 | (out)(err)
S = OPTIMUM | O = 19
T = 1.25 | (out)(err)
S = OPTIMUM | O = 19
T = 85.42 | (out)(err)
S = OPTIMUM | O = 19
T = 62.18 | (out)(err)
S = OPTIMUM | O = 19
T = 0.06 | (out)(err)
S = OPTIMUM | O = 19
T = 0.06 | (out)(err)
S = OPTIMUM | O = 19
T = 0.07 | (out)(err)
simp-nonunif-100_30.11.wcnf S = OPTIMUM | O = 25
T = 10.30 | (out)(err)
S = OPTIMUM | O = 25
T = 393.06 | (out)(err)
S = OPTIMUM | O = 25
T = 401.19 | (out)(err)
S = OPTIMUM | O = 25
T = 0.06 | (out)(err)
S = OPTIMUM | O = 25
T = 1.50 | (out)(err)
S = OPTIMUM | O = 25
T = 419.83 | (out)(err)
S = OPTIMUM | O = 25
T = 396.77 | (out)(err)
S = OPTIMUM | O = 25
T = 0.07 | (out)(err)
S = OPTIMUM | O = 25
T = 0.07 | (out)(err)
S = OPTIMUM | O = 25
T = 0.07 | (out)(err)
simp-nonunif-100_30.12.wcnf S = OPTIMUM | O = 20
T = 8.38 | (out)(err)
S = OPTIMUM | O = 20
T = 211.52 | (out)(err)
S = OPTIMUM | O = 20
T = 48.07 | (out)(err)
S = OPTIMUM | O = 20
T = 0.05 | (out)(err)
S = OPTIMUM | O = 20
T = 1.22 | (out)(err)
S = OPTIMUM | O = 20
T = 287.81 | (out)(err)
S = OPTIMUM | O = 20
T = 214.29 | (out)(err)
S = OPTIMUM | O = 20
T = 0.06 | (out)(err)
S = OPTIMUM | O = 20
T = 0.05 | (out)(err)
S = OPTIMUM | O = 20
T = 0.05 | (out)(err)
simp-nonunif-100_30.13.wcnf S = OPTIMUM | O = 22
T = 10.41 | (out)(err)
S = OPTIMUM | O = 22
T = 229.54 | (out)(err)
S = OPTIMUM | O = 22
T = 797.48 | (out)(err)
S = OPTIMUM | O = 22
T = 0.08 | (out)(err)
S = OPTIMUM | O = 22
T = 1.02 | (out)(err)
S = OPTIMUM | O = 22
T = 851.78 | (out)(err)
S = OPTIMUM | O = 22
T = 799.86 | (out)(err)
S = OPTIMUM | O = 22
T = 0.08 | (out)(err)
S = OPTIMUM | O = 22
T = 0.08 | (out)(err)
S = OPTIMUM | O = 22
T = 0.07 | (out)(err)
simp-nonunif-100_30.14.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 0.35 | (out)(err)
S = OPTIMUM | O = 23
T = 1.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 0.16 | (out)(err)
S = OPTIMUM | O = 23
T = 0.36 | (out)(err)
S = OPTIMUM | O = 23
T = 0.13 | (out)(err)
simp-nonunif-100_50.00.wcnf S = OPTIMUM | O = 24
T = 505.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.12 | (out)(err)
S = OPTIMUM | O = 24
T = 1.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.13 | (out)(err)
S = OPTIMUM | O = 24
T = 0.13 | (out)(err)
S = OPTIMUM | O = 24
T = 0.13 | (out)(err)
simp-nonunif-100_50.01.wcnf S = N/A | O = N/A
T = 43.42 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 0.41 | (out)(err)
S = OPTIMUM | O = 30
T = 2.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 0.39 | (out)(err)
S = OPTIMUM | O = 30
T = 0.38 | (out)(err)
S = OPTIMUM | O = 30
T = 0.39 | (out)(err)
simp-nonunif-100_50.02.wcnf S = OPTIMUM | O = 27
T = 55.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.18 | (out)(err)
S = OPTIMUM | O = 27
T = 1.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 0.19 | (out)(err)
S = OPTIMUM | O = 27
T = 0.21 | (out)(err)
S = OPTIMUM | O = 27
T = 0.19 | (out)(err)
simp-nonunif-100_50.03.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 33
T = 0.51 | (out)(err)
S = OPTIMUM | O = 33
T = 2.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 33
T = 0.42 | (out)(err)
S = OPTIMUM | O = 33
T = 0.44 | (out)(err)
S = OPTIMUM | O = 33
T = 0.43 | (out)(err)
simp-nonunif-100_50.04.wcnf S = N/A | O = N/A
T = 30.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 0.60 | (out)(err)
S = OPTIMUM | O = 36
T = 3.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 0.72 | (out)(err)
S = OPTIMUM | O = 36
T = 0.64 | (out)(err)
S = OPTIMUM | O = 36
T = 0.83 | (out)(err)
simp-nonunif-100_50.05.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 0.36 | (out)(err)
S = OPTIMUM | O = 34
T = 2.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 0.39 | (out)(err)
S = OPTIMUM | O = 34
T = 0.54 | (out)(err)
S = OPTIMUM | O = 34
T = 0.47 | (out)(err)
simp-nonunif-100_50.06.wcnf S = OPTIMUM | O = 26
T = 126.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 0.26 | (out)(err)
S = OPTIMUM | O = 26
T = 2.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 0.26 | (out)(err)
S = OPTIMUM | O = 26
T = 0.31 | (out)(err)
S = OPTIMUM | O = 26
T = 0.23 | (out)(err)
simp-nonunif-100_50.07.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 1.28 | (out)(err)
S = OPTIMUM | O = 36
T = 4.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 36
T = 0.61 | (out)(err)
S = OPTIMUM | O = 36
T = 10.73 | (out)(err)
S = OPTIMUM | O = 36
T = 1.28 | (out)(err)
simp-nonunif-100_50.08.wcnf S = N/A | O = 30
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.23 | (out)(err)
S = OPTIMUM | O = 29
T = 2.15 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.26 | (out)(err)
S = OPTIMUM | O = 29
T = 0.22 | (out)(err)
S = OPTIMUM | O = 29
T = 0.23 | (out)(err)
simp-nonunif-100_50.09.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.33 | (out)(err)
S = OPTIMUM | O = 29
T = 2.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.35 | (out)(err)
S = OPTIMUM | O = 29
T = 0.34 | (out)(err)
S = OPTIMUM | O = 29
T = 0.35 | (out)(err)
simp-nonunif-100_50.10.wcnf S = OPTIMUM | O = 30
T = 28.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 0.21 | (out)(err)
S = OPTIMUM | O = 30
T = 1.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 0.25 | (out)(err)
S = OPTIMUM | O = 30
T = 0.24 | (out)(err)
S = OPTIMUM | O = 30
T = 0.23 | (out)(err)
simp-nonunif-100_50.11.wcnf S = OPTIMUM | O = 20
T = 10.10 | (out)(err)
S = OPTIMUM | O = 20
T = 6.89 | (out)(err)
S = OPTIMUM | O = 20
T = 23.59 | (out)(err)
S = OPTIMUM | O = 20
T = 0.07 | (out)(err)
S = OPTIMUM | O = 20
T = 1.32 | (out)(err)
S = OPTIMUM | O = 20
T = 9.61 | (out)(err)
S = OPTIMUM | O = 20
T = 6.44 | (out)(err)
S = OPTIMUM | O = 20
T = 0.08 | (out)(err)
S = OPTIMUM | O = 20
T = 0.07 | (out)(err)
S = OPTIMUM | O = 20
T = 0.07 | (out)(err)
simp-nonunif-100_50.12.wcnf S = OPTIMUM | O = 23
T = 11.03 | (out)(err)
S = OPTIMUM | O = 23
T = 1454.32 | (out)(err)
S = OPTIMUM | O = 23
T = 1446.43 | (out)(err)
S = OPTIMUM | O = 23
T = 0.10 | (out)(err)
S = OPTIMUM | O = 23
T = 1.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 1471.50 | (out)(err)
S = OPTIMUM | O = 23
T = 0.11 | (out)(err)
S = OPTIMUM | O = 23
T = 0.11 | (out)(err)
S = OPTIMUM | O = 23
T = 0.10 | (out)(err)
simp-nonunif-100_50.13.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 0.52 | (out)(err)
S = OPTIMUM | O = 32
T = 2.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 0.39 | (out)(err)
S = OPTIMUM | O = 32
T = 0.49 | (out)(err)
S = OPTIMUM | O = 32
T = 0.39 | (out)(err)
simp-nonunif-100_50.14.wcnf S = OPTIMUM | O = 25
T = 26.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 0.20 | (out)(err)
S = OPTIMUM | O = 25
T = 2.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 0.20 | (out)(err)
S = OPTIMUM | O = 25
T = 0.21 | (out)(err)
S = OPTIMUM | O = 25
T = 0.21 | (out)(err)
simp-test_chr10_CEU_75.wcnf S = OPTIMUM | O = 16
T = 2.04 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
S = OPTIMUM | O = 16
T = 0.40 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
S = OPTIMUM | O = 16
T = 0.44 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
S = OPTIMUM | O = 16
T = 0.00 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
S = OPTIMUM | O = 16
T = 0.01 | (out)(err)
simp-test_chr10_HCB_75.wcnf S = OPTIMUM | O = 15
T = 7.27 | (out)(err)
S = OPTIMUM | O = 15
T = 1.08 | (out)(err)
S = OPTIMUM | O = 15
T = 3.26 | (out)(err)
S = OPTIMUM | O = 15
T = 0.04 | (out)(err)
S = OPTIMUM | O = 15
T = 1.17 | (out)(err)
S = OPTIMUM | O = 15
T = 0.78 | (out)(err)
S = OPTIMUM | O = 15
T = 0.97 | (out)(err)
S = OPTIMUM | O = 15
T = 0.04 | (out)(err)
S = OPTIMUM | O = 15
T = 0.05 | (out)(err)
S = OPTIMUM | O = 15
T = 0.04 | (out)(err)
simp-test_chr10_JPT_75.wcnf S = OPTIMUM | O = 17
T = 8.43 | (out)(err)
S = OPTIMUM | O = 17
T = 0.27 | (out)(err)
S = OPTIMUM | O = 17
T = 2.86 | (out)(err)
S = OPTIMUM | O = 17
T = 0.05 | (out)(err)
S = OPTIMUM | O = 17
T = 1.38 | (out)(err)
S = OPTIMUM | O = 17
T = 0.09 | (out)(err)
S = OPTIMUM | O = 17
T = 0.09 | (out)(err)
S = OPTIMUM | O = 17
T = 0.05 | (out)(err)
S = OPTIMUM | O = 17
T = 0.06 | (out)(err)
S = OPTIMUM | O = 17
T = 0.05 | (out)(err)
simp-test_chr10_YRI_75.wcnf S = N/A | O = N/A
T = 46.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 0.65 | (out)(err)
S = OPTIMUM | O = 30
T = 2.57 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 0.73 | (out)(err)
S = OPTIMUM | O = 30
T = 0.64 | (out)(err)
S = OPTIMUM | O = 30
T = 0.70 | (out)(err)
simp-test_chr21_CEU_75.wcnf S = OPTIMUM | O = 14
T = 27.63 | (out)(err)
S = OPTIMUM | O = 14
T = 77.03 | (out)(err)
S = OPTIMUM | O = 14
T = 148.03 | (out)(err)
S = OPTIMUM | O = 14
T = 0.15 | (out)(err)
S = OPTIMUM | O = 14
T = 1.50 | (out)(err)
S = OPTIMUM | O = 14
T = 88.16 | (out)(err)
S = OPTIMUM | O = 14
T = 75.94 | (out)(err)
S = OPTIMUM | O = 14
T = 0.15 | (out)(err)
S = OPTIMUM | O = 14
T = 0.14 | (out)(err)
S = OPTIMUM | O = 14
T = 0.14 | (out)(err)
simp-test_chr21_HCB_75.wcnf S = OPTIMUM | O = 15
T = 10.19 | (out)(err)
S = OPTIMUM | O = 15
T = 6.49 | (out)(err)
S = OPTIMUM | O = 15
T = 7.48 | (out)(err)
S = OPTIMUM | O = 15
T = 0.04 | (out)(err)
S = OPTIMUM | O = 15
T = 1.17 | (out)(err)
S = OPTIMUM | O = 15
T = 5.50 | (out)(err)
S = OPTIMUM | O = 15
T = 6.57 | (out)(err)
S = OPTIMUM | O = 15
T = 0.05 | (out)(err)
S = OPTIMUM | O = 15
T = 0.04 | (out)(err)
S = OPTIMUM | O = 15
T = 0.04 | (out)(err)
simp-test_chr21_JPT_75.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 18
T = 1.09 | (out)(err)
S = OPTIMUM | O = 18
T = 4.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 18
T = 0.72 | (out)(err)
S = OPTIMUM | O = 18
T = 6.71 | (out)(err)
S = OPTIMUM | O = 18
T = 0.87 | (out)(err)
simp-test_chr21_YRI_75.wcnf S = N/A | O = N/A
T = 64.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 45
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 44
T = 65.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
simp-unif-100_100.00.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 8.45 | (out)(err)
S = OPTIMUM | O = 34
T = 128.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 2.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 10.21 | (out)(err)
simp-unif-100_100.01.wcnf S = OPTIMUM | O = 25
T = 331.93 | (out)(err)
S = OPTIMUM | O = 25
T = 350.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 0.15 | (out)(err)
S = OPTIMUM | O = 25
T = 2.38 | (out)(err)
S = OPTIMUM | O = 25
T = 704.63 | (out)(err)
S = OPTIMUM | O = 25
T = 350.02 | (out)(err)
S = OPTIMUM | O = 25
T = 0.16 | (out)(err)
S = OPTIMUM | O = 25
T = 0.19 | (out)(err)
S = OPTIMUM | O = 25
T = 0.15 | (out)(err)
simp-unif-100_100.02.wcnf S = N/A | O = N/A
T = 49.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 0.37 | (out)(err)
S = OPTIMUM | O = 31
T = 1.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 31
T = 0.56 | (out)(err)
S = OPTIMUM | O = 31
T = 0.40 | (out)(err)
S = OPTIMUM | O = 31
T = 0.36 | (out)(err)
simp-unif-100_100.03.wcnf S = N/A | O = N/A
T = 53.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 0.38 | (out)(err)
S = OPTIMUM | O = 28
T = 2.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 0.42 | (out)(err)
S = OPTIMUM | O = 28
T = 0.38 | (out)(err)
S = OPTIMUM | O = 28
T = 0.36 | (out)(err)
simp-unif-100_100.04.wcnf S = OPTIMUM | O = 24
T = 19.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.17 | (out)(err)
S = OPTIMUM | O = 24
T = 1.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 24
T = 0.19 | (out)(err)
S = OPTIMUM | O = 24
T = 0.18 | (out)(err)
S = OPTIMUM | O = 24
T = 0.17 | (out)(err)
simp-unif-100_100.05.wcnf S = OPTIMUM | O = 14
T = 11.45 | (out)(err)
S = OPTIMUM | O = 14
T = 26.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 14
T = 0.07 | (out)(err)
S = OPTIMUM | O = 14
T = 1.56 | (out)(err)
S = OPTIMUM | O = 14
T = 56.46 | (out)(err)
S = OPTIMUM | O = 14
T = 24.74 | (out)(err)
S = OPTIMUM | O = 14
T = 0.07 | (out)(err)
S = OPTIMUM | O = 14
T = 0.07 | (out)(err)
S = OPTIMUM | O = 14
T = 0.06 | (out)(err)
simp-unif-100_100.06.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.86 | (out)(err)
S = OPTIMUM | O = 29
T = 2.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.54 | (out)(err)
S = OPTIMUM | O = 29
T = 1.13 | (out)(err)
S = OPTIMUM | O = 29
T = 0.70 | (out)(err)
simp-unif-100_100.07.wcnf S = N/A | O = N/A
T = 50.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 0.56 | (out)(err)
S = OPTIMUM | O = 32
T = 2.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 32
T = 0.74 | (out)(err)
S = OPTIMUM | O = 32
T = 1.26 | (out)(err)
S = OPTIMUM | O = 32
T = 0.55 | (out)(err)
simp-unif-100_100.08.wcnf S = N/A | O = N/A
T = 39.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 0.73 | (out)(err)
S = OPTIMUM | O = 34
T = 2.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 0.86 | (out)(err)
S = OPTIMUM | O = 34
T = 7.69 | (out)(err)
S = OPTIMUM | O = 34
T = 0.61 | (out)(err)
simp-unif-100_100.09.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 0.67 | (out)(err)
S = OPTIMUM | O = 26
T = 3.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 0.53 | (out)(err)
S = OPTIMUM | O = 26
T = 0.73 | (out)(err)
S = OPTIMUM | O = 26
T = 0.49 | (out)(err)
simp-unif-100_100.10.wcnf S = N/A | O = N/A
T = 40.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 1.90 | (out)(err)
S = OPTIMUM | O = 29
T = 11.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 0.96 | (out)(err)
S = OPTIMUM | O = 29
T = 1.07 | (out)(err)
S = OPTIMUM | O = 29
T = 1.12 | (out)(err)
simp-unif-100_100.11.wcnf S = OPTIMUM | O = 19
T = 1037.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 19
T = 0.20 | (out)(err)
S = OPTIMUM | O = 19
T = 2.23 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 19
T = 0.23 | (out)(err)
S = OPTIMUM | O = 19
T = 0.20 | (out)(err)
S = OPTIMUM | O = 19
T = 0.21 | (out)(err)
simp-unif-100_100.12.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 0.28 | (out)(err)
S = OPTIMUM | O = 23
T = 1.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 23
T = 0.34 | (out)(err)
S = OPTIMUM | O = 23
T = 0.28 | (out)(err)
S = OPTIMUM | O = 23
T = 0.29 | (out)(err)
simp-unif-100_100.13.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 34
T = 0.25 | (out)(err)
S = OPTIMUM | O = 34
T = 3.71 | (