Weighted Partial Max-SAT (Random)

Label	Meaning
S	Solution {OPTIMUM FOUND or OPTIMUM \| UNSATISFIABLE or UNSAT \| UNKNOWN \| Not available or N/A}
O	Best solution found
T	CPU time

Color	Meaning
Text	Optimal solution with the best CPU time
Text	Optimal solution and finished within the Time Out
Text	Optimal solution and did not finish within the Time Out
Text	Time Out
Text	Buggy solution

Instance file name	Clone	IncWMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	wbo	wpm1
file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf	S = N/A \| O = 4434 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4231 T = 2.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4719 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4231 T = 3.82 \| (out)(err)	S = OPTIMUM \| O = 4231 T = 2.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)
file_rwpms_wcnf_L2_V150_C4000_H150_1.wcnf	S = UNSAT \| O = 27133 T = 8.46 \| (out)(err)	S = UNSAT \| O = 21959 T = 0.14 \| (out)(err)	S = UNSAT \| O = N/A T = 89.37 \| (out)(err)	S = UNSAT \| O = N/A T = 1.35 \| (out)(err)	S = UNSAT \| O = 21959 T = 0.07 \| (out)(err)	S = UNSAT \| O = 21959 T = 0.07 \| (out)(err)	S = UNSAT \| O = N/A T = 37.02 \| (out)(err)	S = UNSAT \| O = N/A T = 0.02 \| (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_2.wcnf	S = N/A \| O = 4541 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4235 T = 7.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4856 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4235 T = 15.48 \| (out)(err)	S = OPTIMUM \| O = 4235 T = 6.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)
file_rwpms_wcnf_L2_V150_C4000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4037 T = 44.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4823 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4037 T = 41.59 \| (out)(err)	S = OPTIMUM \| O = 4037 T = 14.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)
file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf	S = N/A \| O = 4311 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4031 T = 90.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4852 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4031 T = 85.24 \| (out)(err)	S = OPTIMUM \| O = 4031 T = 34.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)
file_rwpms_wcnf_L2_V150_C4000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4144 T = 168.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4920 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4144 T = 143.18 \| (out)(err)	S = OPTIMUM \| O = 4144 T = 82.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf	S = N/A \| O = 4360 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4149 T = 165.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4922 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4149 T = 167.80 \| (out)(err)	S = OPTIMUM \| O = 4149 T = 83.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)
file_rwpms_wcnf_L2_V150_C4000_H150_7.wcnf	S = N/A \| O = 4371 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4043 T = 301.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4788 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4043 T = 265.57 \| (out)(err)	S = OPTIMUM \| O = 4043 T = 113.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)
file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf	S = N/A \| O = 4397 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4078 T = 527.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4896 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4078 T = 485.38 \| (out)(err)	S = OPTIMUM \| O = 4078 T = 179.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)
file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4328 T = 70.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5021 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4328 T = 55.00 \| (out)(err)	S = OPTIMUM \| O = 4328 T = 20.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)
file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4572 T = 749.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5394 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4572 T = 542.99 \| (out)(err)	S = OPTIMUM \| O = 4572 T = 139.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)
file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4967 T = 463.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5669 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4967 T = 380.04 \| (out)(err)	S = OPTIMUM \| O = 4967 T = 156.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)
file_rwpms_wcnf_L2_V150_C4500_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4961 T = 83.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5710 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4961 T = 68.97 \| (out)(err)	S = OPTIMUM \| O = 4961 T = 30.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf	S = N/A \| O = 4758 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4614 T = 28.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4614 T = 23.01 \| (out)(err)	S = OPTIMUM \| O = 4614 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)
file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4794 T = 921.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5473 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4794 T = 684.86 \| (out)(err)	S = OPTIMUM \| O = 4794 T = 173.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)
file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf	S = N/A \| O = 4979 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4687 T = 166.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5640 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4687 T = 118.27 \| (out)(err)	S = OPTIMUM \| O = 4687 T = 44.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)
file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4605 T = 193.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5579 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4605 T = 147.44 \| (out)(err)	S = OPTIMUM \| O = 4605 T = 71.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)
file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4710 T = 231.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5587 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4710 T = 154.71 \| (out)(err)	S = OPTIMUM \| O = 4710 T = 58.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)
file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf	S = N/A \| O = 5287 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4945 T = 62.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5552 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4945 T = 85.01 \| (out)(err)	S = OPTIMUM \| O = 4945 T = 35.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)
file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf	S = N/A \| O = 5221 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5023 T = 101.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5727 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5023 T = 112.27 \| (out)(err)	S = OPTIMUM \| O = 5023 T = 53.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)
file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5362 T = 67.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6138 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5362 T = 67.31 \| (out)(err)	S = OPTIMUM \| O = 5362 T = 34.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)
file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5338 T = 142.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6425 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5338 T = 112.40 \| (out)(err)	S = OPTIMUM \| O = 5338 T = 72.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)
file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5312 T = 481.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5312 T = 351.54 \| (out)(err)	S = OPTIMUM \| O = 5312 T = 149.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)
file_rwpms_wcnf_L2_V150_C5000_H150_3.wcnf	S = N/A \| O = 5827 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5507 T = 93.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6444 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5507 T = 76.57 \| (out)(err)	S = OPTIMUM \| O = 5507 T = 30.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)
file_rwpms_wcnf_L2_V150_C5000_H150_4.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 = N/A \| O = 6334 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5451 T = 1759.63 \| (out)(err)	S = OPTIMUM \| O = 5451 T = 359.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)
file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf	S = N/A \| O = 5517 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5308 T = 164.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6113 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5308 T = 143.03 \| (out)(err)	S = OPTIMUM \| O = 5308 T = 54.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)
file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5428 T = 170.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6108 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5428 T = 135.59 \| (out)(err)	S = OPTIMUM \| O = 5428 T = 60.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)
file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5468 T = 572.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6137 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5468 T = 482.53 \| (out)(err)	S = OPTIMUM \| O = 5468 T = 215.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)
file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf	S = N/A \| O = 5603 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5339 T = 16.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6041 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5339 T = 20.96 \| (out)(err)	S = OPTIMUM \| O = 5339 T = 13.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)
file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5376 T = 129.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6416 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5376 T = 129.34 \| (out)(err)	S = OPTIMUM \| O = 5376 T = 27.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)
file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf	S = N/A \| O = N/A T = 1795.22 \| (out)(err)	S = OPTIMUM \| O = 626 T = 0.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 758 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 626 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 626 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf	S = N/A \| O = 787 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 745 T = 0.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 968 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 745 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 745 T = 0.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 629 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 746 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 629 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 629 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 723 T = 0.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 903 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 723 T = 0.92 \| (out)(err)	S = OPTIMUM \| O = 723 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf	S = N/A \| O = 792 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 737 T = 0.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 913 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 737 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 737 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_5.wcnf	S = N/A \| O = N/A T = 1791.66 \| (out)(err)	S = OPTIMUM \| O = 668 T = 0.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 723 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 668 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 668 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf	S = N/A \| O = 657 T = 1791.13 \| (out)(err)	S = OPTIMUM \| O = 641 T = 0.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 801 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 641 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 641 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf	S = N/A \| O = 720 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 688 T = 0.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 807 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 688 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 688 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf	S = N/A \| O = 616 T = 1780.98 \| (out)(err)	S = OPTIMUM \| O = 577 T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 809 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 577 T = 0.59 \| (out)(err)	S = OPTIMUM \| O = 577 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_9.wcnf	S = N/A \| O = 752 T = 1760.59 \| (out)(err)	S = OPTIMUM \| O = 714 T = 0.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 916 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 714 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 714 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf	S = N/A \| O = 1262 T = 1774.11 \| (out)(err)	S = OPTIMUM \| O = 1121 T = 2.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1465 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1121 T = 3.77 \| (out)(err)	S = OPTIMUM \| O = 1121 T = 2.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)
file_rwpms_wcnf_L2_V150_C1500_H150_1.wcnf	S = N/A \| O = 1215 T = 1783.69 \| (out)(err)	S = OPTIMUM \| O = 1142 T = 0.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1340 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1142 T = 1.68 \| (out)(err)	S = OPTIMUM \| O = 1142 T = 1.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)
file_rwpms_wcnf_L2_V150_C1500_H150_2.wcnf	S = N/A \| O = N/A T = 1782.70 \| (out)(err)	S = OPTIMUM \| O = 1252 T = 1.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1585 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1252 T = 2.73 \| (out)(err)	S = OPTIMUM \| O = 1252 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)
file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf	S = N/A \| O = 1385 T = 1776.28 \| (out)(err)	S = OPTIMUM \| O = 1295 T = 1.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1511 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1295 T = 2.61 \| (out)(err)	S = OPTIMUM \| O = 1295 T = 1.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)
file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf	S = N/A \| O = 1377 T = 1784.97 \| (out)(err)	S = OPTIMUM \| O = 1261 T = 1.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1618 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1261 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 1261 T = 1.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)
file_rwpms_wcnf_L2_V150_C1500_H150_5.wcnf	S = N/A \| O = N/A T = 1776.49 \| (out)(err)	S = OPTIMUM \| O = 1047 T = 2.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1375 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1047 T = 8.82 \| (out)(err)	S = OPTIMUM \| O = 1047 T = 4.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)
file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf	S = N/A \| O = 1245 T = 1784.99 \| (out)(err)	S = OPTIMUM \| O = 1175 T = 0.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1414 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1175 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 1175 T = 0.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)
file_rwpms_wcnf_L2_V150_C1500_H150_7.wcnf	S = N/A \| O = N/A T = 1786.18 \| (out)(err)	S = OPTIMUM \| O = 1145 T = 1.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1430 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1145 T = 3.07 \| (out)(err)	S = OPTIMUM \| O = 1145 T = 1.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)
file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1135 T = 2.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1432 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1135 T = 3.91 \| (out)(err)	S = OPTIMUM \| O = 1135 T = 3.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)
file_rwpms_wcnf_L2_V150_C1500_H150_9.wcnf	S = N/A \| O = 1358 T = 1775.53 \| (out)(err)	S = OPTIMUM \| O = 1232 T = 1.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1462 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1232 T = 3.08 \| (out)(err)	S = OPTIMUM \| O = 1232 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)
file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf	S = N/A \| O = 2033 T = 1797.95 \| (out)(err)	S = OPTIMUM \| O = 1842 T = 5.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2283 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1842 T = 8.59 \| (out)(err)	S = OPTIMUM \| O = 1842 T = 7.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)
file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf	S = N/A \| O = 1849 T = 1790.35 \| (out)(err)	S = OPTIMUM \| O = 1699 T = 1.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2133 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1699 T = 3.20 \| (out)(err)	S = OPTIMUM \| O = 1699 T = 1.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)
file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1730 T = 2.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1730 T = 5.63 \| (out)(err)	S = OPTIMUM \| O = 1730 T = 4.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)
file_rwpms_wcnf_L2_V150_C2000_H150_3.wcnf	S = N/A \| O = 2045 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1885 T = 3.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2372 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1885 T = 6.95 \| (out)(err)	S = OPTIMUM \| O = 1885 T = 4.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)
file_rwpms_wcnf_L2_V150_C2000_H150_4.wcnf	S = N/A \| O = 2150 T = 1791.28 \| (out)(err)	S = OPTIMUM \| O = 2043 T = 1.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2397 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2043 T = 3.21 \| (out)(err)	S = OPTIMUM \| O = 2043 T = 2.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1818 T = 14.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2091 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1818 T = 20.58 \| (out)(err)	S = OPTIMUM \| O = 1818 T = 7.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)
file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf	S = N/A \| O = 1996 T = 1791.00 \| (out)(err)	S = OPTIMUM \| O = 1832 T = 0.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2096 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1832 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 1832 T = 1.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)
file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf	S = N/A \| O = N/A T = 1798.36 \| (out)(err)	S = OPTIMUM \| O = 1780 T = 3.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2179 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780 T = 5.52 \| (out)(err)	S = OPTIMUM \| O = 1780 T = 3.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)
file_rwpms_wcnf_L2_V150_C2000_H150_8.wcnf	S = N/A \| O = N/A T = 1795.90 \| (out)(err)	S = OPTIMUM \| O = 1726 T = 1.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2131 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1726 T = 5.01 \| (out)(err)	S = OPTIMUM \| O = 1726 T = 2.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)
file_rwpms_wcnf_L2_V150_C2000_H150_9.wcnf	S = N/A \| O = N/A T = 1794.21 \| (out)(err)	S = OPTIMUM \| O = 1807 T = 16.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2262 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1807 T = 17.13 \| (out)(err)	S = OPTIMUM \| O = 1807 T = 12.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2414 T = 2.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2925 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2414 T = 4.42 \| (out)(err)	S = OPTIMUM \| O = 2414 T = 2.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)
file_rwpms_wcnf_L2_V150_C2500_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2398 T = 9.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2814 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2398 T = 11.97 \| (out)(err)	S = OPTIMUM \| O = 2398 T = 7.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)
file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf	S = N/A \| O = N/A T = 1799.55 \| (out)(err)	S = OPTIMUM \| O = 2113 T = 15.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2642 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2113 T = 24.62 \| (out)(err)	S = OPTIMUM \| O = 2113 T = 13.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)
file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf	S = N/A \| O = 2513 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2339 T = 10.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2864 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2339 T = 15.04 \| (out)(err)	S = OPTIMUM \| O = 2339 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)
file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf	S = N/A \| O = N/A T = 1798.96 \| (out)(err)	S = OPTIMUM \| O = 2390 T = 4.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2933 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2390 T = 6.66 \| (out)(err)	S = OPTIMUM \| O = 2390 T = 2.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2332 T = 1.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3019 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2332 T = 1.98 \| (out)(err)	S = OPTIMUM \| O = 2332 T = 1.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)
file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf	S = N/A \| O = N/A T = 1792.91 \| (out)(err)	S = OPTIMUM \| O = 2488 T = 7.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2956 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2488 T = 10.64 \| (out)(err)	S = OPTIMUM \| O = 2488 T = 6.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)
file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2241 T = 17.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2672 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2241 T = 29.16 \| (out)(err)	S = OPTIMUM \| O = 2241 T = 14.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)
file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2353 T = 16.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2832 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2353 T = 21.90 \| (out)(err)	S = OPTIMUM \| O = 2353 T = 12.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)
file_rwpms_wcnf_L2_V150_C2500_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2560 T = 1.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3031 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2560 T = 3.68 \| (out)(err)	S = OPTIMUM \| O = 2560 T = 2.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)
file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf	S = N/A \| O = 3073 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2885 T = 87.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3290 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2885 T = 98.05 \| (out)(err)	S = OPTIMUM \| O = 2885 T = 52.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)
file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2918 T = 76.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3316 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2918 T = 67.12 \| (out)(err)	S = OPTIMUM \| O = 2918 T = 28.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)
file_rwpms_wcnf_L2_V150_C3000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2878 T = 24.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3531 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2878 T = 30.28 \| (out)(err)	S = OPTIMUM \| O = 2878 T = 22.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)
file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf	S = N/A \| O = 3292 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3045 T = 75.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3501 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3045 T = 86.50 \| (out)(err)	S = OPTIMUM \| O = 3045 T = 34.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)
file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3021 T = 6.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3511 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3021 T = 10.46 \| (out)(err)	S = OPTIMUM \| O = 3021 T = 6.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)
file_rwpms_wcnf_L2_V150_C3000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2812 T = 212.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3456 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2812 T = 185.03 \| (out)(err)	S = OPTIMUM \| O = 2812 T = 59.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)
file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf	S = N/A \| O = 3058 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2838 T = 76.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3372 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2838 T = 75.30 \| (out)(err)	S = OPTIMUM \| O = 2838 T = 40.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)
file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf	S = N/A \| O = 3068 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2815 T = 19.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3549 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2815 T = 27.77 \| (out)(err)	S = OPTIMUM \| O = 2815 T = 15.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)
file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3025 T = 93.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3606 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3025 T = 105.81 \| (out)(err)	S = OPTIMUM \| O = 3025 T = 41.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)
file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2952 T = 31.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3432 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2952 T = 39.30 \| (out)(err)	S = OPTIMUM \| O = 2952 T = 16.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)
file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3634 T = 261.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3634 T = 189.23 \| (out)(err)	S = OPTIMUM \| O = 3634 T = 64.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)
file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf	S = N/A \| O = 3900 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3662 T = 15.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4252 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3662 T = 25.84 \| (out)(err)	S = OPTIMUM \| O = 3662 T = 14.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)
file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3827 T = 52.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4285 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3827 T = 58.85 \| (out)(err)	S = OPTIMUM \| O = 3827 T = 30.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)
file_rwpms_wcnf_L2_V150_C3500_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3512 T = 46.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4081 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3512 T = 51.33 \| (out)(err)	S = OPTIMUM \| O = 3512 T = 23.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)
file_rwpms_wcnf_L2_V150_C3500_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3355 T = 76.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4090 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3355 T = 62.75 \| (out)(err)	S = OPTIMUM \| O = 3355 T = 26.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)
file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf	S = N/A \| O = 3702 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3450 T = 240.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4024 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3450 T = 212.09 \| (out)(err)	S = OPTIMUM \| O = 3450 T = 80.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)
file_rwpms_wcnf_L2_V150_C3500_H150_6.wcnf	S = N/A \| O = 3952 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3654 T = 4.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4310 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3654 T = 10.06 \| (out)(err)	S = OPTIMUM \| O = 3654 T = 5.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)
file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3617 T = 14.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4116 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3617 T = 15.10 \| (out)(err)	S = OPTIMUM \| O = 3617 T = 10.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)
file_rwpms_wcnf_L2_V150_C3500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3525 T = 18.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4316 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3525 T = 22.78 \| (out)(err)	S = OPTIMUM \| O = 3525 T = 14.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)
file_rwpms_wcnf_L2_V150_C3500_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3240 T = 61.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4137 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3240 T = 59.53 \| (out)(err)	S = OPTIMUM \| O = 3240 T = 35.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)
file_rwpms_wcnf_L3_V100_C600_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 5.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 31 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 8.95 \| (out)(err)	S = OPTIMUM \| O = 28 T = 8.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)
file_rwpms_wcnf_L3_V100_C600_H100_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 15 T = 7.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 16 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 15 T = 12.16 \| (out)(err)	S = OPTIMUM \| O = 15 T = 11.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)
file_rwpms_wcnf_L3_V100_C600_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 6.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 48 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 10.52 \| (out)(err)	S = OPTIMUM \| O = 25 T = 10.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)
file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 9.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 16.81 \| (out)(err)	S = OPTIMUM \| O = 25 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)
file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf	S = N/A \| O = N/A T = 1798.48 \| (out)(err)	S = OPTIMUM \| O = 30 T = 3.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 6.06 \| (out)(err)	S = OPTIMUM \| O = 30 T = 5.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)
file_rwpms_wcnf_L3_V100_C600_H100_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 27 T = 2.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 36 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 27 T = 4.08 \| (out)(err)	S = OPTIMUM \| O = 27 T = 3.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)
file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 7.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 126 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 11.98 \| (out)(err)	S = OPTIMUM \| O = 26 T = 11.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)
file_rwpms_wcnf_L3_V100_C600_H100_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 18.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 51 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 32.36 \| (out)(err)	S = OPTIMUM \| O = 29 T = 30.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)
file_rwpms_wcnf_L3_V100_C600_H100_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 19 T = 12.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 43 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 19 T = 21.25 \| (out)(err)	S = OPTIMUM \| O = 19 T = 19.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)
file_rwpms_wcnf_L3_V100_C600_H100_9.wcnf	S = N/A \| O = N/A T = 1796.75 \| (out)(err)	S = OPTIMUM \| O = 30 T = 7.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 46 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 12.51 \| (out)(err)	S = OPTIMUM \| O = 30 T = 11.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)
file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 54 T = 66.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 153 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 54 T = 97.48 \| (out)(err)	S = OPTIMUM \| O = 54 T = 91.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)
file_rwpms_wcnf_L3_V100_C700_H100_1.wcnf	S = N/A \| O = N/A T = 1793.14 \| (out)(err)	S = OPTIMUM \| O = 58 T = 63.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 137 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 58 T = 90.72 \| (out)(err)	S = OPTIMUM \| O = 58 T = 86.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)
file_rwpms_wcnf_L3_V100_C700_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 59 T = 76.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 124 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 59 T = 109.26 \| (out)(err)	S = OPTIMUM \| O = 59 T = 100.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)
file_rwpms_wcnf_L3_V100_C700_H100_3.wcnf	S = N/A \| O = N/A T = 1799.95 \| (out)(err)	S = OPTIMUM \| O = 48 T = 37.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 141 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 48 T = 54.93 \| (out)(err)	S = OPTIMUM \| O = 48 T = 51.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)
file_rwpms_wcnf_L3_V100_C700_H100_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 42 T = 9.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 62 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 42 T = 14.01 \| (out)(err)	S = OPTIMUM \| O = 42 T = 13.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)
file_rwpms_wcnf_L3_V100_C700_H100_5.wcnf	S = N/A \| O = N/A T = 1798.81 \| (out)(err)	S = OPTIMUM \| O = 46 T = 55.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 84 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 46 T = 80.69 \| (out)(err)	S = OPTIMUM \| O = 46 T = 76.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)
file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf	S = N/A \| O = N/A T = 1788.03 \| (out)(err)	S = OPTIMUM \| O = 51 T = 74.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 59 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 51 T = 109.33 \| (out)(err)	S = OPTIMUM \| O = 51 T = 102.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)
file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf	S = N/A \| O = N/A T = 1793.27 \| (out)(err)	S = OPTIMUM \| O = 63 T = 83.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 126 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 63 T = 120.07 \| (out)(err)	S = OPTIMUM \| O = 63 T = 113.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)
file_rwpms_wcnf_L3_V100_C700_H100_8.wcnf	S = N/A \| O = N/A T = 1796.34 \| (out)(err)	S = OPTIMUM \| O = 64 T = 151.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 114 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 64 T = 216.26 \| (out)(err)	S = OPTIMUM \| O = 64 T = 203.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 45 T = 24.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 87 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 45 T = 38.68 \| (out)(err)	S = OPTIMUM \| O = 45 T = 36.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)
file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 95 T = 323.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 157 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 95 T = 410.23 \| (out)(err)	S = OPTIMUM \| O = 95 T = 376.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)
file_rwpms_wcnf_L3_V100_C800_H100_1.wcnf	S = N/A \| O = N/A T = 1796.95 \| (out)(err)	S = OPTIMUM \| O = 81 T = 185.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 142 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 81 T = 249.08 \| (out)(err)	S = OPTIMUM \| O = 81 T = 228.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)
file_rwpms_wcnf_L3_V100_C800_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 77 T = 222.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 111 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 77 T = 311.24 \| (out)(err)	S = OPTIMUM \| O = 77 T = 288.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf	S = N/A \| O = N/A T = 1798.74 \| (out)(err)	S = OPTIMUM \| O = 81 T = 104.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 240 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 81 T = 155.33 \| (out)(err)	S = OPTIMUM \| O = 81 T = 143.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)
file_rwpms_wcnf_L3_V100_C800_H100_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 160.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 87 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 223.42 \| (out)(err)	S = OPTIMUM \| O = 75 T = 207.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)
file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf	S = N/A \| O = N/A T = 1796.26 \| (out)(err)	S = OPTIMUM \| O = 80 T = 82.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 143 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 80 T = 111.36 \| (out)(err)	S = OPTIMUM \| O = 80 T = 102.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)
file_rwpms_wcnf_L3_V100_C800_H100_6.wcnf	S = N/A \| O = N/A T = 1794.97 \| (out)(err)	S = OPTIMUM \| O = 74 T = 95.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 140 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 74 T = 132.93 \| (out)(err)	S = OPTIMUM \| O = 74 T = 123.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)
file_rwpms_wcnf_L3_V100_C800_H100_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 99 T = 328.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 157 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 99 T = 416.45 \| (out)(err)	S = OPTIMUM \| O = 99 T = 373.90 \| (out)(err)	S = N/A \| O = N/A T = 1800.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 90 T = 542.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 90 T = 675.77 \| (out)(err)	S = OPTIMUM \| O = 90 T = 620.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)
file_rwpms_wcnf_L3_V100_C800_H100_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 95 T = 268.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 146 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 95 T = 382.15 \| (out)(err)	S = OPTIMUM \| O = 95 T = 352.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)
file_rwpms_wcnf_L3_V100_C300_H100_0.wcnf	S = OPTIMUM \| O = 0 T = 1.95 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_1.wcnf	S = OPTIMUM \| O = 0 T = 2.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_2.wcnf	S = OPTIMUM \| O = 0 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.50 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_3.wcnf	S = OPTIMUM \| O = 0 T = 1.92 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_4.wcnf	S = OPTIMUM \| O = 0 T = 2.08 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_5.wcnf	S = OPTIMUM \| O = 0 T = 1.82 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_6.wcnf	S = OPTIMUM \| O = 0 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_7.wcnf	S = OPTIMUM \| O = 0 T = 2.15 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_8.wcnf	S = OPTIMUM \| O = 0 T = 1.86 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_9.wcnf	S = OPTIMUM \| O = 0 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.50 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_0.wcnf	S = OPTIMUM \| O = 0 T = 2.39 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_1.wcnf	S = OPTIMUM \| O = 0 T = 2.20 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_2.wcnf	S = OPTIMUM \| O = 0 T = 2.41 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.86 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_3.wcnf	S = OPTIMUM \| O = 0 T = 2.60 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_4.wcnf	S = OPTIMUM \| O = 0 T = 2.46 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.77 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_5.wcnf	S = OPTIMUM \| O = 0 T = 2.61 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.66 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_6.wcnf	S = OPTIMUM \| O = 0 T = 2.53 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.80 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_7.wcnf	S = OPTIMUM \| O = 0 T = 2.54 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.60 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_8.wcnf	S = OPTIMUM \| O = 0 T = 2.67 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.60 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_9.wcnf	S = OPTIMUM \| O = 0 T = 2.37 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.65 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_0.wcnf	S = OPTIMUM \| O = 4 T = 6.44 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.79 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.05 \| (out)(err)	S = OPTIMUM \| O = 4 T = 10.54 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.90 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.70 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.70 \| (out)(err)	S = OPTIMUM \| O = 4 T = 5.21 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_1.wcnf	S = OPTIMUM \| O = 4 T = 4.21 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.06 \| (out)(err)	S = OPTIMUM \| O = 4 T = 3.20 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.66 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.57 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.58 \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.64 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_2.wcnf	S = OPTIMUM \| O = 9 T = 259.47 \| (out)(err)	S = OPTIMUM \| O = 9 T = 1.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 59.95 \| (out)(err)	S = OPTIMUM \| O = 9 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 9 T = 2.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)
file_rwpms_wcnf_L3_V100_C500_H100_3.wcnf	S = OPTIMUM \| O = 6 T = 10.31 \| (out)(err)	S = OPTIMUM \| O = 6 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 6 T = 34.73 \| (out)(err)	S = OPTIMUM \| O = 6 T = 11.84 \| (out)(err)	S = OPTIMUM \| O = 6 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 6 T = 0.68 \| (out)(err)	S = OPTIMUM \| O = 6 T = 4.35 \| (out)(err)	S = OPTIMUM \| O = 6 T = 95.70 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_4.wcnf	S = OPTIMUM \| O = 7 T = 97.68 \| (out)(err)	S = OPTIMUM \| O = 7 T = 3.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 5.46 \| (out)(err)	S = OPTIMUM \| O = 7 T = 7.93 \| (out)(err)	S = OPTIMUM \| O = 7 T = 7.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 13 T = 1.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 14 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 13 T = 3.37 \| (out)(err)	S = OPTIMUM \| O = 13 T = 3.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)
file_rwpms_wcnf_L3_V100_C500_H100_6.wcnf	S = OPTIMUM \| O = 8 T = 80.27 \| (out)(err)	S = OPTIMUM \| O = 8 T = 0.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 46.76 \| (out)(err)	S = OPTIMUM \| O = 8 T = 1.34 \| (out)(err)	S = OPTIMUM \| O = 8 T = 1.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)
file_rwpms_wcnf_L3_V100_C500_H100_7.wcnf	S = OPTIMUM \| O = 7 T = 13.26 \| (out)(err)	S = OPTIMUM \| O = 7 T = 1.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 48.05 \| (out)(err)	S = OPTIMUM \| O = 7 T = 2.84 \| (out)(err)	S = OPTIMUM \| O = 7 T = 2.79 \| (out)(err)	S = OPTIMUM \| O = 7 T = 155.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_8.wcnf	S = OPTIMUM \| O = 3 T = 3.75 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.73 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 3 T = 8.07 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.50 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.43 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.26 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_9.wcnf	S = OPTIMUM \| O = 8 T = 74.75 \| (out)(err)	S = OPTIMUM \| O = 8 T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 42.26 \| (out)(err)	S = OPTIMUM \| O = 8 T = 1.40 \| (out)(err)	S = OPTIMUM \| O = 8 T = 1.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)

Instance file name	Clone	IncWMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	wbo	wpm1
file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf	S = N/A \| O = 4434 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4231 T = 2.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4719 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4231 T = 3.82 \| (out)(err)	S = OPTIMUM \| O = 4231 T = 2.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)
file_rwpms_wcnf_L2_V150_C4000_H150_1.wcnf	S = UNSAT \| O = 27133 T = 8.46 \| (out)(err)	S = UNSAT \| O = 21959 T = 0.14 \| (out)(err)	S = UNSAT \| O = N/A T = 89.37 \| (out)(err)	S = UNSAT \| O = N/A T = 1.35 \| (out)(err)	S = UNSAT \| O = 21959 T = 0.07 \| (out)(err)	S = UNSAT \| O = 21959 T = 0.07 \| (out)(err)	S = UNSAT \| O = N/A T = 37.02 \| (out)(err)	S = UNSAT \| O = N/A T = 0.02 \| (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_2.wcnf	S = N/A \| O = 4541 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4235 T = 7.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4856 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4235 T = 15.48 \| (out)(err)	S = OPTIMUM \| O = 4235 T = 6.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)
file_rwpms_wcnf_L2_V150_C4000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4037 T = 44.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4823 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4037 T = 41.59 \| (out)(err)	S = OPTIMUM \| O = 4037 T = 14.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)
file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf	S = N/A \| O = 4311 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4031 T = 90.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4852 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4031 T = 85.24 \| (out)(err)	S = OPTIMUM \| O = 4031 T = 34.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)
file_rwpms_wcnf_L2_V150_C4000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4144 T = 168.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4920 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4144 T = 143.18 \| (out)(err)	S = OPTIMUM \| O = 4144 T = 82.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf	S = N/A \| O = 4360 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4149 T = 165.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4922 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4149 T = 167.80 \| (out)(err)	S = OPTIMUM \| O = 4149 T = 83.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)
file_rwpms_wcnf_L2_V150_C4000_H150_7.wcnf	S = N/A \| O = 4371 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4043 T = 301.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4788 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4043 T = 265.57 \| (out)(err)	S = OPTIMUM \| O = 4043 T = 113.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)
file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf	S = N/A \| O = 4397 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4078 T = 527.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4896 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4078 T = 485.38 \| (out)(err)	S = OPTIMUM \| O = 4078 T = 179.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)
file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4328 T = 70.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5021 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4328 T = 55.00 \| (out)(err)	S = OPTIMUM \| O = 4328 T = 20.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)
file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4572 T = 749.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5394 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4572 T = 542.99 \| (out)(err)	S = OPTIMUM \| O = 4572 T = 139.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)
file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4967 T = 463.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5669 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4967 T = 380.04 \| (out)(err)	S = OPTIMUM \| O = 4967 T = 156.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)
file_rwpms_wcnf_L2_V150_C4500_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4961 T = 83.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5710 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4961 T = 68.97 \| (out)(err)	S = OPTIMUM \| O = 4961 T = 30.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf	S = N/A \| O = 4758 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4614 T = 28.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4614 T = 23.01 \| (out)(err)	S = OPTIMUM \| O = 4614 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)
file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4794 T = 921.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5473 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4794 T = 684.86 \| (out)(err)	S = OPTIMUM \| O = 4794 T = 173.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)
file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf	S = N/A \| O = 4979 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4687 T = 166.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5640 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4687 T = 118.27 \| (out)(err)	S = OPTIMUM \| O = 4687 T = 44.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)
file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4605 T = 193.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5579 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4605 T = 147.44 \| (out)(err)	S = OPTIMUM \| O = 4605 T = 71.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)
file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4710 T = 231.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5587 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4710 T = 154.71 \| (out)(err)	S = OPTIMUM \| O = 4710 T = 58.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)
file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf	S = N/A \| O = 5287 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4945 T = 62.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5552 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 4945 T = 85.01 \| (out)(err)	S = OPTIMUM \| O = 4945 T = 35.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)
file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf	S = N/A \| O = 5221 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5023 T = 101.88 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 5727 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5023 T = 112.27 \| (out)(err)	S = OPTIMUM \| O = 5023 T = 53.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)
file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5362 T = 67.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6138 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5362 T = 67.31 \| (out)(err)	S = OPTIMUM \| O = 5362 T = 34.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)
file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5338 T = 142.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6425 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5338 T = 112.40 \| (out)(err)	S = OPTIMUM \| O = 5338 T = 72.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)
file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5312 T = 481.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6226 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5312 T = 351.54 \| (out)(err)	S = OPTIMUM \| O = 5312 T = 149.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)
file_rwpms_wcnf_L2_V150_C5000_H150_3.wcnf	S = N/A \| O = 5827 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5507 T = 93.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6444 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5507 T = 76.57 \| (out)(err)	S = OPTIMUM \| O = 5507 T = 30.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)
file_rwpms_wcnf_L2_V150_C5000_H150_4.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 = N/A \| O = 6334 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5451 T = 1759.63 \| (out)(err)	S = OPTIMUM \| O = 5451 T = 359.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)
file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf	S = N/A \| O = 5517 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5308 T = 164.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6113 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5308 T = 143.03 \| (out)(err)	S = OPTIMUM \| O = 5308 T = 54.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)
file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5428 T = 170.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6108 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5428 T = 135.59 \| (out)(err)	S = OPTIMUM \| O = 5428 T = 60.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)
file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5468 T = 572.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6137 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5468 T = 482.53 \| (out)(err)	S = OPTIMUM \| O = 5468 T = 215.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)
file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf	S = N/A \| O = 5603 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5339 T = 16.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6041 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5339 T = 20.96 \| (out)(err)	S = OPTIMUM \| O = 5339 T = 13.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)
file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5376 T = 129.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 6416 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 5376 T = 129.34 \| (out)(err)	S = OPTIMUM \| O = 5376 T = 27.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)
file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf	S = N/A \| O = N/A T = 1795.22 \| (out)(err)	S = OPTIMUM \| O = 626 T = 0.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 758 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 626 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 626 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf	S = N/A \| O = 787 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 745 T = 0.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 968 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 745 T = 0.69 \| (out)(err)	S = OPTIMUM \| O = 745 T = 0.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 629 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 746 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 629 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 629 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 723 T = 0.34 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 903 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 723 T = 0.92 \| (out)(err)	S = OPTIMUM \| O = 723 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf	S = N/A \| O = 792 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 737 T = 0.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 913 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 737 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 737 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_5.wcnf	S = N/A \| O = N/A T = 1791.66 \| (out)(err)	S = OPTIMUM \| O = 668 T = 0.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 723 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 668 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 668 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf	S = N/A \| O = 657 T = 1791.13 \| (out)(err)	S = OPTIMUM \| O = 641 T = 0.04 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 801 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 641 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 641 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf	S = N/A \| O = 720 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 688 T = 0.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 807 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 688 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 688 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf	S = N/A \| O = 616 T = 1780.98 \| (out)(err)	S = OPTIMUM \| O = 577 T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 809 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 577 T = 0.59 \| (out)(err)	S = OPTIMUM \| O = 577 T = 0.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)
file_rwpms_wcnf_L2_V150_C1000_H150_9.wcnf	S = N/A \| O = 752 T = 1760.59 \| (out)(err)	S = OPTIMUM \| O = 714 T = 0.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 916 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 714 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 714 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf	S = N/A \| O = 1262 T = 1774.11 \| (out)(err)	S = OPTIMUM \| O = 1121 T = 2.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1465 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1121 T = 3.77 \| (out)(err)	S = OPTIMUM \| O = 1121 T = 2.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)
file_rwpms_wcnf_L2_V150_C1500_H150_1.wcnf	S = N/A \| O = 1215 T = 1783.69 \| (out)(err)	S = OPTIMUM \| O = 1142 T = 0.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1340 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1142 T = 1.68 \| (out)(err)	S = OPTIMUM \| O = 1142 T = 1.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)
file_rwpms_wcnf_L2_V150_C1500_H150_2.wcnf	S = N/A \| O = N/A T = 1782.70 \| (out)(err)	S = OPTIMUM \| O = 1252 T = 1.59 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1585 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1252 T = 2.73 \| (out)(err)	S = OPTIMUM \| O = 1252 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)
file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf	S = N/A \| O = 1385 T = 1776.28 \| (out)(err)	S = OPTIMUM \| O = 1295 T = 1.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1511 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1295 T = 2.61 \| (out)(err)	S = OPTIMUM \| O = 1295 T = 1.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)
file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf	S = N/A \| O = 1377 T = 1784.97 \| (out)(err)	S = OPTIMUM \| O = 1261 T = 1.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1618 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1261 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 1261 T = 1.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)
file_rwpms_wcnf_L2_V150_C1500_H150_5.wcnf	S = N/A \| O = N/A T = 1776.49 \| (out)(err)	S = OPTIMUM \| O = 1047 T = 2.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1375 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1047 T = 8.82 \| (out)(err)	S = OPTIMUM \| O = 1047 T = 4.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)
file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf	S = N/A \| O = 1245 T = 1784.99 \| (out)(err)	S = OPTIMUM \| O = 1175 T = 0.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1414 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1175 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 1175 T = 0.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)
file_rwpms_wcnf_L2_V150_C1500_H150_7.wcnf	S = N/A \| O = N/A T = 1786.18 \| (out)(err)	S = OPTIMUM \| O = 1145 T = 1.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1430 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1145 T = 3.07 \| (out)(err)	S = OPTIMUM \| O = 1145 T = 1.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)
file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1135 T = 2.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1432 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1135 T = 3.91 \| (out)(err)	S = OPTIMUM \| O = 1135 T = 3.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)
file_rwpms_wcnf_L2_V150_C1500_H150_9.wcnf	S = N/A \| O = 1358 T = 1775.53 \| (out)(err)	S = OPTIMUM \| O = 1232 T = 1.63 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1462 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1232 T = 3.08 \| (out)(err)	S = OPTIMUM \| O = 1232 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)
file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf	S = N/A \| O = 2033 T = 1797.95 \| (out)(err)	S = OPTIMUM \| O = 1842 T = 5.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2283 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1842 T = 8.59 \| (out)(err)	S = OPTIMUM \| O = 1842 T = 7.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)
file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf	S = N/A \| O = 1849 T = 1790.35 \| (out)(err)	S = OPTIMUM \| O = 1699 T = 1.93 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2133 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1699 T = 3.20 \| (out)(err)	S = OPTIMUM \| O = 1699 T = 1.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)
file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1730 T = 2.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1730 T = 5.63 \| (out)(err)	S = OPTIMUM \| O = 1730 T = 4.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)
file_rwpms_wcnf_L2_V150_C2000_H150_3.wcnf	S = N/A \| O = 2045 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1885 T = 3.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2372 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1885 T = 6.95 \| (out)(err)	S = OPTIMUM \| O = 1885 T = 4.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)
file_rwpms_wcnf_L2_V150_C2000_H150_4.wcnf	S = N/A \| O = 2150 T = 1791.28 \| (out)(err)	S = OPTIMUM \| O = 2043 T = 1.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2397 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2043 T = 3.21 \| (out)(err)	S = OPTIMUM \| O = 2043 T = 2.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1818 T = 14.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2091 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1818 T = 20.58 \| (out)(err)	S = OPTIMUM \| O = 1818 T = 7.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)
file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf	S = N/A \| O = 1996 T = 1791.00 \| (out)(err)	S = OPTIMUM \| O = 1832 T = 0.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2096 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1832 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 1832 T = 1.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)
file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf	S = N/A \| O = N/A T = 1798.36 \| (out)(err)	S = OPTIMUM \| O = 1780 T = 3.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2179 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1780 T = 5.52 \| (out)(err)	S = OPTIMUM \| O = 1780 T = 3.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)
file_rwpms_wcnf_L2_V150_C2000_H150_8.wcnf	S = N/A \| O = N/A T = 1795.90 \| (out)(err)	S = OPTIMUM \| O = 1726 T = 1.80 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2131 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1726 T = 5.01 \| (out)(err)	S = OPTIMUM \| O = 1726 T = 2.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)
file_rwpms_wcnf_L2_V150_C2000_H150_9.wcnf	S = N/A \| O = N/A T = 1794.21 \| (out)(err)	S = OPTIMUM \| O = 1807 T = 16.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2262 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 1807 T = 17.13 \| (out)(err)	S = OPTIMUM \| O = 1807 T = 12.99 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2414 T = 2.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2925 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2414 T = 4.42 \| (out)(err)	S = OPTIMUM \| O = 2414 T = 2.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)
file_rwpms_wcnf_L2_V150_C2500_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2398 T = 9.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2814 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2398 T = 11.97 \| (out)(err)	S = OPTIMUM \| O = 2398 T = 7.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)
file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf	S = N/A \| O = N/A T = 1799.55 \| (out)(err)	S = OPTIMUM \| O = 2113 T = 15.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2642 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2113 T = 24.62 \| (out)(err)	S = OPTIMUM \| O = 2113 T = 13.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)
file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf	S = N/A \| O = 2513 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2339 T = 10.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2864 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2339 T = 15.04 \| (out)(err)	S = OPTIMUM \| O = 2339 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)
file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf	S = N/A \| O = N/A T = 1798.96 \| (out)(err)	S = OPTIMUM \| O = 2390 T = 4.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2933 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2390 T = 6.66 \| (out)(err)	S = OPTIMUM \| O = 2390 T = 2.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2332 T = 1.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3019 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2332 T = 1.98 \| (out)(err)	S = OPTIMUM \| O = 2332 T = 1.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)
file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf	S = N/A \| O = N/A T = 1792.91 \| (out)(err)	S = OPTIMUM \| O = 2488 T = 7.97 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2956 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2488 T = 10.64 \| (out)(err)	S = OPTIMUM \| O = 2488 T = 6.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)
file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2241 T = 17.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2672 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2241 T = 29.16 \| (out)(err)	S = OPTIMUM \| O = 2241 T = 14.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)
file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2353 T = 16.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 2832 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2353 T = 21.90 \| (out)(err)	S = OPTIMUM \| O = 2353 T = 12.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)
file_rwpms_wcnf_L2_V150_C2500_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2560 T = 1.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3031 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2560 T = 3.68 \| (out)(err)	S = OPTIMUM \| O = 2560 T = 2.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)
file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf	S = N/A \| O = 3073 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2885 T = 87.84 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3290 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2885 T = 98.05 \| (out)(err)	S = OPTIMUM \| O = 2885 T = 52.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)
file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2918 T = 76.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3316 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2918 T = 67.12 \| (out)(err)	S = OPTIMUM \| O = 2918 T = 28.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)
file_rwpms_wcnf_L2_V150_C3000_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2878 T = 24.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3531 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2878 T = 30.28 \| (out)(err)	S = OPTIMUM \| O = 2878 T = 22.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)
file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf	S = N/A \| O = 3292 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3045 T = 75.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3501 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3045 T = 86.50 \| (out)(err)	S = OPTIMUM \| O = 3045 T = 34.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)
file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3021 T = 6.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3511 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3021 T = 10.46 \| (out)(err)	S = OPTIMUM \| O = 3021 T = 6.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)
file_rwpms_wcnf_L2_V150_C3000_H150_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2812 T = 212.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3456 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2812 T = 185.03 \| (out)(err)	S = OPTIMUM \| O = 2812 T = 59.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)
file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf	S = N/A \| O = 3058 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2838 T = 76.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3372 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2838 T = 75.30 \| (out)(err)	S = OPTIMUM \| O = 2838 T = 40.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)
file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf	S = N/A \| O = 3068 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2815 T = 19.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3549 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2815 T = 27.77 \| (out)(err)	S = OPTIMUM \| O = 2815 T = 15.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)
file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3025 T = 93.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3606 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3025 T = 105.81 \| (out)(err)	S = OPTIMUM \| O = 3025 T = 41.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)
file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2952 T = 31.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 3432 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 2952 T = 39.30 \| (out)(err)	S = OPTIMUM \| O = 2952 T = 16.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)
file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3634 T = 261.65 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4247 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3634 T = 189.23 \| (out)(err)	S = OPTIMUM \| O = 3634 T = 64.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)
file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf	S = N/A \| O = 3900 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3662 T = 15.11 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4252 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3662 T = 25.84 \| (out)(err)	S = OPTIMUM \| O = 3662 T = 14.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)
file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3827 T = 52.16 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4285 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3827 T = 58.85 \| (out)(err)	S = OPTIMUM \| O = 3827 T = 30.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)
file_rwpms_wcnf_L2_V150_C3500_H150_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3512 T = 46.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4081 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3512 T = 51.33 \| (out)(err)	S = OPTIMUM \| O = 3512 T = 23.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)
file_rwpms_wcnf_L2_V150_C3500_H150_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3355 T = 76.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4090 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3355 T = 62.75 \| (out)(err)	S = OPTIMUM \| O = 3355 T = 26.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)
file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf	S = N/A \| O = 3702 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3450 T = 240.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4024 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3450 T = 212.09 \| (out)(err)	S = OPTIMUM \| O = 3450 T = 80.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)
file_rwpms_wcnf_L2_V150_C3500_H150_6.wcnf	S = N/A \| O = 3952 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3654 T = 4.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4310 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3654 T = 10.06 \| (out)(err)	S = OPTIMUM \| O = 3654 T = 5.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)
file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3617 T = 14.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4116 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3617 T = 15.10 \| (out)(err)	S = OPTIMUM \| O = 3617 T = 10.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)
file_rwpms_wcnf_L2_V150_C3500_H150_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3525 T = 18.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4316 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3525 T = 22.78 \| (out)(err)	S = OPTIMUM \| O = 3525 T = 14.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)
file_rwpms_wcnf_L2_V150_C3500_H150_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3240 T = 61.91 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 4137 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 3240 T = 59.53 \| (out)(err)	S = OPTIMUM \| O = 3240 T = 35.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)
file_rwpms_wcnf_L3_V100_C600_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 5.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 31 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 8.95 \| (out)(err)	S = OPTIMUM \| O = 28 T = 8.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)
file_rwpms_wcnf_L3_V100_C600_H100_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 15 T = 7.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 16 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 15 T = 12.16 \| (out)(err)	S = OPTIMUM \| O = 15 T = 11.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)
file_rwpms_wcnf_L3_V100_C600_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 6.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 48 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 10.52 \| (out)(err)	S = OPTIMUM \| O = 25 T = 10.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)
file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 9.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 25 T = 16.81 \| (out)(err)	S = OPTIMUM \| O = 25 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)
file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf	S = N/A \| O = N/A T = 1798.48 \| (out)(err)	S = OPTIMUM \| O = 30 T = 3.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 37 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 6.06 \| (out)(err)	S = OPTIMUM \| O = 30 T = 5.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)
file_rwpms_wcnf_L3_V100_C600_H100_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 27 T = 2.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 36 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 27 T = 4.08 \| (out)(err)	S = OPTIMUM \| O = 27 T = 3.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)
file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 7.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 126 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 26 T = 11.98 \| (out)(err)	S = OPTIMUM \| O = 26 T = 11.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)
file_rwpms_wcnf_L3_V100_C600_H100_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 18.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 51 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 32.36 \| (out)(err)	S = OPTIMUM \| O = 29 T = 30.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)
file_rwpms_wcnf_L3_V100_C600_H100_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 19 T = 12.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 43 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 19 T = 21.25 \| (out)(err)	S = OPTIMUM \| O = 19 T = 19.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)
file_rwpms_wcnf_L3_V100_C600_H100_9.wcnf	S = N/A \| O = N/A T = 1796.75 \| (out)(err)	S = OPTIMUM \| O = 30 T = 7.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 46 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 30 T = 12.51 \| (out)(err)	S = OPTIMUM \| O = 30 T = 11.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)
file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 54 T = 66.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 153 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 54 T = 97.48 \| (out)(err)	S = OPTIMUM \| O = 54 T = 91.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)
file_rwpms_wcnf_L3_V100_C700_H100_1.wcnf	S = N/A \| O = N/A T = 1793.14 \| (out)(err)	S = OPTIMUM \| O = 58 T = 63.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 137 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 58 T = 90.72 \| (out)(err)	S = OPTIMUM \| O = 58 T = 86.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)
file_rwpms_wcnf_L3_V100_C700_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 59 T = 76.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 124 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 59 T = 109.26 \| (out)(err)	S = OPTIMUM \| O = 59 T = 100.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)
file_rwpms_wcnf_L3_V100_C700_H100_3.wcnf	S = N/A \| O = N/A T = 1799.95 \| (out)(err)	S = OPTIMUM \| O = 48 T = 37.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 141 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 48 T = 54.93 \| (out)(err)	S = OPTIMUM \| O = 48 T = 51.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)
file_rwpms_wcnf_L3_V100_C700_H100_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 42 T = 9.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 62 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 42 T = 14.01 \| (out)(err)	S = OPTIMUM \| O = 42 T = 13.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)
file_rwpms_wcnf_L3_V100_C700_H100_5.wcnf	S = N/A \| O = N/A T = 1798.81 \| (out)(err)	S = OPTIMUM \| O = 46 T = 55.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 84 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 46 T = 80.69 \| (out)(err)	S = OPTIMUM \| O = 46 T = 76.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)
file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf	S = N/A \| O = N/A T = 1788.03 \| (out)(err)	S = OPTIMUM \| O = 51 T = 74.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 59 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 51 T = 109.33 \| (out)(err)	S = OPTIMUM \| O = 51 T = 102.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)
file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf	S = N/A \| O = N/A T = 1793.27 \| (out)(err)	S = OPTIMUM \| O = 63 T = 83.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 126 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 63 T = 120.07 \| (out)(err)	S = OPTIMUM \| O = 63 T = 113.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)
file_rwpms_wcnf_L3_V100_C700_H100_8.wcnf	S = N/A \| O = N/A T = 1796.34 \| (out)(err)	S = OPTIMUM \| O = 64 T = 151.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 114 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 64 T = 216.26 \| (out)(err)	S = OPTIMUM \| O = 64 T = 203.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 45 T = 24.42 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 87 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 45 T = 38.68 \| (out)(err)	S = OPTIMUM \| O = 45 T = 36.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)
file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 95 T = 323.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 157 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 95 T = 410.23 \| (out)(err)	S = OPTIMUM \| O = 95 T = 376.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)
file_rwpms_wcnf_L3_V100_C800_H100_1.wcnf	S = N/A \| O = N/A T = 1796.95 \| (out)(err)	S = OPTIMUM \| O = 81 T = 185.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 142 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 81 T = 249.08 \| (out)(err)	S = OPTIMUM \| O = 81 T = 228.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)
file_rwpms_wcnf_L3_V100_C800_H100_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 77 T = 222.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 111 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 77 T = 311.24 \| (out)(err)	S = OPTIMUM \| O = 77 T = 288.89 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf	S = N/A \| O = N/A T = 1798.74 \| (out)(err)	S = OPTIMUM \| O = 81 T = 104.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 240 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 81 T = 155.33 \| (out)(err)	S = OPTIMUM \| O = 81 T = 143.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)
file_rwpms_wcnf_L3_V100_C800_H100_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 160.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 87 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 75 T = 223.42 \| (out)(err)	S = OPTIMUM \| O = 75 T = 207.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)
file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf	S = N/A \| O = N/A T = 1796.26 \| (out)(err)	S = OPTIMUM \| O = 80 T = 82.87 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 143 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 80 T = 111.36 \| (out)(err)	S = OPTIMUM \| O = 80 T = 102.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)
file_rwpms_wcnf_L3_V100_C800_H100_6.wcnf	S = N/A \| O = N/A T = 1794.97 \| (out)(err)	S = OPTIMUM \| O = 74 T = 95.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 140 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 74 T = 132.93 \| (out)(err)	S = OPTIMUM \| O = 74 T = 123.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)
file_rwpms_wcnf_L3_V100_C800_H100_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 99 T = 328.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 157 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 99 T = 416.45 \| (out)(err)	S = OPTIMUM \| O = 99 T = 373.90 \| (out)(err)	S = N/A \| O = N/A T = 1800.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 90 T = 542.57 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 256 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 90 T = 675.77 \| (out)(err)	S = OPTIMUM \| O = 90 T = 620.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)
file_rwpms_wcnf_L3_V100_C800_H100_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 95 T = 268.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 146 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 95 T = 382.15 \| (out)(err)	S = OPTIMUM \| O = 95 T = 352.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)
file_rwpms_wcnf_L3_V100_C300_H100_0.wcnf	S = OPTIMUM \| O = 0 T = 1.95 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_1.wcnf	S = OPTIMUM \| O = 0 T = 2.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_2.wcnf	S = OPTIMUM \| O = 0 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.50 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_3.wcnf	S = OPTIMUM \| O = 0 T = 1.92 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_4.wcnf	S = OPTIMUM \| O = 0 T = 2.08 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_5.wcnf	S = OPTIMUM \| O = 0 T = 1.82 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.48 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_6.wcnf	S = OPTIMUM \| O = 0 T = 1.85 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_7.wcnf	S = OPTIMUM \| O = 0 T = 2.15 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_8.wcnf	S = OPTIMUM \| O = 0 T = 1.86 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_9.wcnf	S = OPTIMUM \| O = 0 T = 2.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.50 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_0.wcnf	S = OPTIMUM \| O = 0 T = 2.39 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.62 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_1.wcnf	S = OPTIMUM \| O = 0 T = 2.20 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.61 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_2.wcnf	S = OPTIMUM \| O = 0 T = 2.41 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.86 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_3.wcnf	S = OPTIMUM \| O = 0 T = 2.60 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_4.wcnf	S = OPTIMUM \| O = 0 T = 2.46 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.77 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_5.wcnf	S = OPTIMUM \| O = 0 T = 2.61 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.66 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_6.wcnf	S = OPTIMUM \| O = 0 T = 2.53 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.80 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_7.wcnf	S = OPTIMUM \| O = 0 T = 2.54 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.60 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_8.wcnf	S = OPTIMUM \| O = 0 T = 2.67 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.60 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_9.wcnf	S = OPTIMUM \| O = 0 T = 2.37 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.65 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_0.wcnf	S = OPTIMUM \| O = 4 T = 6.44 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.79 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.05 \| (out)(err)	S = OPTIMUM \| O = 4 T = 10.54 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.90 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.70 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.70 \| (out)(err)	S = OPTIMUM \| O = 4 T = 5.21 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_1.wcnf	S = OPTIMUM \| O = 4 T = 4.21 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.06 \| (out)(err)	S = OPTIMUM \| O = 4 T = 3.20 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.66 \| (out)(err)	S = OPTIMUM \| O = 4 T = 1.57 \| (out)(err)	S = OPTIMUM \| O = 4 T = 0.58 \| (out)(err)	S = OPTIMUM \| O = 4 T = 2.64 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_2.wcnf	S = OPTIMUM \| O = 9 T = 259.47 \| (out)(err)	S = OPTIMUM \| O = 9 T = 1.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 9 T = 59.95 \| (out)(err)	S = OPTIMUM \| O = 9 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 9 T = 2.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)
file_rwpms_wcnf_L3_V100_C500_H100_3.wcnf	S = OPTIMUM \| O = 6 T = 10.31 \| (out)(err)	S = OPTIMUM \| O = 6 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 6 T = 34.73 \| (out)(err)	S = OPTIMUM \| O = 6 T = 11.84 \| (out)(err)	S = OPTIMUM \| O = 6 T = 0.72 \| (out)(err)	S = OPTIMUM \| O = 6 T = 0.68 \| (out)(err)	S = OPTIMUM \| O = 6 T = 4.35 \| (out)(err)	S = OPTIMUM \| O = 6 T = 95.70 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_4.wcnf	S = OPTIMUM \| O = 7 T = 97.68 \| (out)(err)	S = OPTIMUM \| O = 7 T = 3.55 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 5.46 \| (out)(err)	S = OPTIMUM \| O = 7 T = 7.93 \| (out)(err)	S = OPTIMUM \| O = 7 T = 7.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 13 T = 1.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 14 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 13 T = 3.37 \| (out)(err)	S = OPTIMUM \| O = 13 T = 3.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)
file_rwpms_wcnf_L3_V100_C500_H100_6.wcnf	S = OPTIMUM \| O = 8 T = 80.27 \| (out)(err)	S = OPTIMUM \| O = 8 T = 0.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 46.76 \| (out)(err)	S = OPTIMUM \| O = 8 T = 1.34 \| (out)(err)	S = OPTIMUM \| O = 8 T = 1.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)
file_rwpms_wcnf_L3_V100_C500_H100_7.wcnf	S = OPTIMUM \| O = 7 T = 13.26 \| (out)(err)	S = OPTIMUM \| O = 7 T = 1.54 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 7 T = 48.05 \| (out)(err)	S = OPTIMUM \| O = 7 T = 2.84 \| (out)(err)	S = OPTIMUM \| O = 7 T = 2.79 \| (out)(err)	S = OPTIMUM \| O = 7 T = 155.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_8.wcnf	S = OPTIMUM \| O = 3 T = 3.75 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.73 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 3 T = 8.07 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.50 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.43 \| (out)(err)	S = OPTIMUM \| O = 3 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 3 T = 1.26 \| (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_9.wcnf	S = OPTIMUM \| O = 8 T = 74.75 \| (out)(err)	S = OPTIMUM \| O = 8 T = 0.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 8 T = 42.26 \| (out)(err)	S = OPTIMUM \| O = 8 T = 1.40 \| (out)(err)	S = OPTIMUM \| O = 8 T = 1.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)