Weighted 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	IUT_BCMB_LSWMaxsatz	IUT_BCMB_WMaxsatz	IncWMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	wbo	wpm1
file_rwms_wcnf_L2_V100_C1000_0.wcnf	S = N/A \| O = 642 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 624 T = 10.68 \| (out)(err)	S = OPTIMUM \| O = 624 T = 10.38 \| (out)(err)	S = OPTIMUM \| O = 624 T = 17.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 790 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 624 T = 34.59 \| (out)(err)	S = OPTIMUM \| O = 624 T = 11.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_1.wcnf	S = N/A \| O = 693 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 628 T = 7.54 \| (out)(err)	S = OPTIMUM \| O = 628 T = 2.72 \| (out)(err)	S = OPTIMUM \| O = 628 T = 7.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 953 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 628 T = 12.49 \| (out)(err)	S = OPTIMUM \| O = 628 T = 10.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_rwms_wcnf_L2_V100_C1000_2.wcnf	S = N/A \| O = 629 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 584 T = 1.16 \| (out)(err)	S = OPTIMUM \| O = 584 T = 0.79 \| (out)(err)	S = OPTIMUM \| O = 584 T = 1.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 847 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 584 T = 2.96 \| (out)(err)	S = OPTIMUM \| O = 584 T = 1.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_3.wcnf	S = N/A \| O = 715 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 655 T = 2.99 \| (out)(err)	S = OPTIMUM \| O = 655 T = 2.72 \| (out)(err)	S = OPTIMUM \| O = 655 T = 6.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 878 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 655 T = 11.04 \| (out)(err)	S = OPTIMUM \| O = 655 T = 4.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_4.wcnf	S = N/A \| O = 749 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 703 T = 11.14 \| (out)(err)	S = OPTIMUM \| O = 703 T = 8.93 \| (out)(err)	S = OPTIMUM \| O = 703 T = 18.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 936 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 703 T = 36.35 \| (out)(err)	S = OPTIMUM \| O = 703 T = 16.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_5.wcnf	S = N/A \| O = 691 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 641 T = 3.43 \| (out)(err)	S = OPTIMUM \| O = 641 T = 2.52 \| (out)(err)	S = OPTIMUM \| O = 641 T = 5.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 957 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 641 T = 11.09 \| (out)(err)	S = OPTIMUM \| O = 641 T = 5.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_rwms_wcnf_L2_V100_C1000_6.wcnf	S = N/A \| O = 718 T = 1797.46 \| (out)(err)	S = OPTIMUM \| O = 677 T = 6.51 \| (out)(err)	S = OPTIMUM \| O = 677 T = 4.36 \| (out)(err)	S = OPTIMUM \| O = 677 T = 11.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1043 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 677 T = 18.42 \| (out)(err)	S = OPTIMUM \| O = 677 T = 10.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_rwms_wcnf_L2_V100_C1000_7.wcnf	S = N/A \| O = 727 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 659 T = 10.38 \| (out)(err)	S = OPTIMUM \| O = 659 T = 4.13 \| (out)(err)	S = OPTIMUM \| O = 659 T = 8.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 965 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 659 T = 18.68 \| (out)(err)	S = OPTIMUM \| O = 659 T = 12.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_rwms_wcnf_L2_V100_C1000_8.wcnf	S = N/A \| O = 696 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 665 T = 3.54 \| (out)(err)	S = OPTIMUM \| O = 665 T = 2.94 \| (out)(err)	S = OPTIMUM \| O = 665 T = 9.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 933 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 665 T = 15.38 \| (out)(err)	S = OPTIMUM \| O = 665 T = 3.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_9.wcnf	S = N/A \| O = 750 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 681 T = 7.75 \| (out)(err)	S = OPTIMUM \| O = 681 T = 4.94 \| (out)(err)	S = OPTIMUM \| O = 681 T = 12.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 950 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 681 T = 21.32 \| (out)(err)	S = OPTIMUM \| O = 681 T = 8.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 369 T = 0.82 \| (out)(err)	S = OPTIMUM \| O = 369 T = 0.73 \| (out)(err)	S = OPTIMUM \| O = 369 T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 487 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 369 T = 2.23 \| (out)(err)	S = OPTIMUM \| O = 369 T = 1.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_rwms_wcnf_L2_V100_C700_1.wcnf	S = N/A \| O = 383 T = 1797.93 \| (out)(err)	S = OPTIMUM \| O = 356 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 356 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 356 T = 0.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 482 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 356 T = 1.40 \| (out)(err)	S = OPTIMUM \| O = 356 T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_2.wcnf	S = N/A \| O = 397 T = 1796.22 \| (out)(err)	S = OPTIMUM \| O = 396 T = 0.74 \| (out)(err)	S = OPTIMUM \| O = 396 T = 0.67 \| (out)(err)	S = OPTIMUM \| O = 396 T = 0.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 522 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 396 T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 396 T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_3.wcnf	S = N/A \| O = 414 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.50 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 533 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 373 T = 1.73 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 423 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.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_rwms_wcnf_L2_V100_C700_5.wcnf	S = N/A \| O = 382 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 375 T = 1.90 \| (out)(err)	S = OPTIMUM \| O = 375 T = 1.01 \| (out)(err)	S = OPTIMUM \| O = 375 T = 0.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 482 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 375 T = 2.96 \| (out)(err)	S = OPTIMUM \| O = 375 T = 2.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_rwms_wcnf_L2_V100_C700_6.wcnf	S = N/A \| O = 400 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 395 T = 1.23 \| (out)(err)	S = OPTIMUM \| O = 395 T = 0.84 \| (out)(err)	S = OPTIMUM \| O = 395 T = 1.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 535 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 395 T = 4.07 \| (out)(err)	S = OPTIMUM \| O = 395 T = 1.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_7.wcnf	S = N/A \| O = 414 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.60 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 535 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 373 T = 1.52 \| (out)(err)	S = OPTIMUM \| O = 373 T = 1.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_8.wcnf	S = N/A \| O = 417 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 381 T = 0.67 \| (out)(err)	S = OPTIMUM \| O = 381 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 381 T = 0.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 602 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 381 T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 381 T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_9.wcnf	S = N/A \| O = 429 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 418 T = 3.15 \| (out)(err)	S = OPTIMUM \| O = 418 T = 3.10 \| (out)(err)	S = OPTIMUM \| O = 418 T = 2.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 557 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 418 T = 5.14 \| (out)(err)	S = OPTIMUM \| O = 418 T = 3.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_0.wcnf	S = N/A \| O = 547 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 496 T = 2.04 \| (out)(err)	S = OPTIMUM \| O = 496 T = 1.82 \| (out)(err)	S = OPTIMUM \| O = 496 T = 5.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 496 T = 8.45 \| (out)(err)	S = OPTIMUM \| O = 496 T = 4.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_1.wcnf	S = N/A \| O = 507 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 499 T = 5.02 \| (out)(err)	S = OPTIMUM \| O = 499 T = 3.40 \| (out)(err)	S = OPTIMUM \| O = 499 T = 4.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 651 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 499 T = 10.10 \| (out)(err)	S = OPTIMUM \| O = 499 T = 6.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_2.wcnf	S = N/A \| O = 450 T = 1794.32 \| (out)(err)	S = OPTIMUM \| O = 437 T = 0.77 \| (out)(err)	S = OPTIMUM \| O = 437 T = 0.74 \| (out)(err)	S = OPTIMUM \| O = 437 T = 0.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 549 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 437 T = 1.29 \| (out)(err)	S = OPTIMUM \| O = 437 T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_3.wcnf	S = N/A \| O = 542 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 487 T = 4.19 \| (out)(err)	S = OPTIMUM \| O = 487 T = 2.14 \| (out)(err)	S = OPTIMUM \| O = 487 T = 5.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 587 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 487 T = 12.86 \| (out)(err)	S = OPTIMUM \| O = 487 T = 5.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_rwms_wcnf_L2_V100_C800_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 459 T = 1.50 \| (out)(err)	S = OPTIMUM \| O = 459 T = 1.38 \| (out)(err)	S = OPTIMUM \| O = 459 T = 2.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 648 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 459 T = 7.32 \| (out)(err)	S = OPTIMUM \| O = 459 T = 3.13 \| (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_rwms_wcnf_L2_V100_C800_5.wcnf	S = N/A \| O = 511 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 472 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 472 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 472 T = 2.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 664 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 472 T = 4.83 \| (out)(err)	S = OPTIMUM \| O = 472 T = 2.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_rwms_wcnf_L2_V100_C800_6.wcnf	S = N/A \| O = N/A T = 1793.66 \| (out)(err)	S = OPTIMUM \| O = 467 T = 1.26 \| (out)(err)	S = OPTIMUM \| O = 467 T = 1.20 \| (out)(err)	S = OPTIMUM \| O = 467 T = 1.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 538 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 467 T = 3.20 \| (out)(err)	S = OPTIMUM \| O = 467 T = 1.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_7.wcnf	S = N/A \| O = 546 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 493 T = 6.04 \| (out)(err)	S = OPTIMUM \| O = 493 T = 2.26 \| (out)(err)	S = OPTIMUM \| O = 493 T = 6.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 711 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 493 T = 13.24 \| (out)(err)	S = OPTIMUM \| O = 493 T = 9.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_8.wcnf	S = N/A \| O = 467 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 463 T = 1.11 \| (out)(err)	S = OPTIMUM \| O = 463 T = 1.13 \| (out)(err)	S = OPTIMUM \| O = 463 T = 1.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 641 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 463 T = 2.35 \| (out)(err)	S = OPTIMUM \| O = 463 T = 1.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_rwms_wcnf_L2_V100_C800_9.wcnf	S = N/A \| O = 532 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 507 T = 3.44 \| (out)(err)	S = OPTIMUM \| O = 507 T = 2.91 \| (out)(err)	S = OPTIMUM \| O = 507 T = 3.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 683 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 507 T = 7.50 \| (out)(err)	S = OPTIMUM \| O = 507 T = 4.08 \| (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_rwms_wcnf_L2_V100_C900_0.wcnf	S = N/A \| O = 638 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 581 T = 4.70 \| (out)(err)	S = OPTIMUM \| O = 581 T = 2.12 \| (out)(err)	S = OPTIMUM \| O = 581 T = 8.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 812 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 581 T = 12.32 \| (out)(err)	S = OPTIMUM \| O = 581 T = 6.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_rwms_wcnf_L2_V100_C900_1.wcnf	S = N/A \| O = 575 T = 1798.22 \| (out)(err)	S = OPTIMUM \| O = 542 T = 1.31 \| (out)(err)	S = OPTIMUM \| O = 542 T = 1.10 \| (out)(err)	S = OPTIMUM \| O = 542 T = 1.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 800 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 542 T = 3.54 \| (out)(err)	S = OPTIMUM \| O = 542 T = 1.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C900_2.wcnf	S = N/A \| O = 533 T = 1793.18 \| (out)(err)	S = OPTIMUM \| O = 522 T = 2.33 \| (out)(err)	S = OPTIMUM \| O = 522 T = 1.36 \| (out)(err)	S = OPTIMUM \| O = 522 T = 1.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 739 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 522 T = 4.30 \| (out)(err)	S = OPTIMUM \| O = 522 T = 2.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_rwms_wcnf_L2_V100_C900_3.wcnf	S = N/A \| O = 594 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 580 T = 6.97 \| (out)(err)	S = OPTIMUM \| O = 580 T = 6.41 \| (out)(err)	S = OPTIMUM \| O = 580 T = 6.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 783 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 580 T = 13.39 \| (out)(err)	S = OPTIMUM \| O = 580 T = 6.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_rwms_wcnf_L2_V100_C900_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 536 T = 2.75 \| (out)(err)	S = OPTIMUM \| O = 536 T = 2.15 \| (out)(err)	S = OPTIMUM \| O = 536 T = 2.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 781 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 536 T = 5.30 \| (out)(err)	S = OPTIMUM \| O = 536 T = 3.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_rwms_wcnf_L2_V100_C900_5.wcnf	S = N/A \| O = 571 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 552 T = 4.67 \| (out)(err)	S = OPTIMUM \| O = 552 T = 2.63 \| (out)(err)	S = OPTIMUM \| O = 552 T = 3.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 792 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 552 T = 7.00 \| (out)(err)	S = OPTIMUM \| O = 552 T = 5.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_rwms_wcnf_L2_V100_C900_6.wcnf	S = N/A \| O = 597 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 553 T = 3.62 \| (out)(err)	S = OPTIMUM \| O = 553 T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 553 T = 7.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 778 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 553 T = 16.21 \| (out)(err)	S = OPTIMUM \| O = 553 T = 6.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_rwms_wcnf_L2_V100_C900_7.wcnf	S = N/A \| O = 574 T = 1798.59 \| (out)(err)	S = OPTIMUM \| O = 540 T = 2.13 \| (out)(err)	S = OPTIMUM \| O = 540 T = 1.10 \| (out)(err)	S = OPTIMUM \| O = 540 T = 2.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 815 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 540 T = 3.68 \| (out)(err)	S = OPTIMUM \| O = 540 T = 2.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_rwms_wcnf_L2_V100_C900_8.wcnf	S = N/A \| O = 613 T = 1793.33 \| (out)(err)	S = OPTIMUM \| O = 592 T = 5.93 \| (out)(err)	S = OPTIMUM \| O = 592 T = 3.23 \| (out)(err)	S = OPTIMUM \| O = 592 T = 5.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 751 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 592 T = 9.41 \| (out)(err)	S = OPTIMUM \| O = 592 T = 7.08 \| (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_rwms_wcnf_L2_V100_C900_9.wcnf	S = N/A \| O = 640 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 592 T = 5.61 \| (out)(err)	S = OPTIMUM \| O = 592 T = 3.59 \| (out)(err)	S = OPTIMUM \| O = 592 T = 8.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 742 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 592 T = 20.97 \| (out)(err)	S = OPTIMUM \| O = 592 T = 6.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C300_0.wcnf	S = OPTIMUM \| O = 40 T = 2.94 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.00 \| (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 = 40 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.33 \| (out)(err)
file_rwms_wcnf_L2_V100_C300_1.wcnf	S = OPTIMUM \| O = 69 T = 7.11 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 103 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.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_rwms_wcnf_L2_V100_C300_2.wcnf	S = OPTIMUM \| O = 85 T = 31.12 \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 93 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.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_rwms_wcnf_L2_V100_C300_3.wcnf	S = OPTIMUM \| O = 55 T = 10.51 \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 71 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.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_rwms_wcnf_L2_V100_C300_4.wcnf	S = OPTIMUM \| O = 38 T = 2.63 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 38 T = 775.79 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 38 T = 1.13 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.75 \| (out)(err)
file_rwms_wcnf_L2_V100_C300_5.wcnf	S = OPTIMUM \| O = 61 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 94 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 61 T = 65.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C300_6.wcnf	S = OPTIMUM \| O = 68 T = 5.80 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 99 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.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_rwms_wcnf_L2_V100_C300_7.wcnf	S = OPTIMUM \| O = 69 T = 14.83 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 79 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.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_rwms_wcnf_L2_V100_C300_8.wcnf	S = OPTIMUM \| O = 50 T = 2.25 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 65 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 50 T = 37.33 \| (out)(err)
file_rwms_wcnf_L2_V100_C300_9.wcnf	S = OPTIMUM \| O = 68 T = 17.27 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 88 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.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_rwms_wcnf_L2_V100_C400_0.wcnf	S = OPTIMUM \| O = 106 T = 240.51 \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 112 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.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_rwms_wcnf_L2_V100_C400_1.wcnf	S = N/A \| O = 141 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 151 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.22 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.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_rwms_wcnf_L2_V100_C400_2.wcnf	S = OPTIMUM \| O = 140 T = 201.35 \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 209 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.34 \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C400_3.wcnf	S = OPTIMUM \| O = 112 T = 860.69 \| (out)(err)	S = OPTIMUM \| O = 112 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 112 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 112 T = 0.05 \| (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 = 112 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 112 T = 0.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 569.45 \| (out)(err)
file_rwms_wcnf_L2_V100_C400_4.wcnf	S = OPTIMUM \| O = 99 T = 132.49 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 159 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 685.29 \| (out)(err)
file_rwms_wcnf_L2_V100_C400_5.wcnf	S = OPTIMUM \| O = 125 T = 62.08 \| (out)(err)	S = OPTIMUM \| O = 125 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 125 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 125 T = 0.01 \| (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 = 125 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 125 T = 0.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_rwms_wcnf_L2_V100_C400_6.wcnf	S = OPTIMUM \| O = 121 T = 120.70 \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 196 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.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_rwms_wcnf_L2_V100_C400_7.wcnf	S = OPTIMUM \| O = 115 T = 130.37 \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 130 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.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_rwms_wcnf_L2_V100_C400_8.wcnf	S = OPTIMUM \| O = 99 T = 17.92 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 118 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.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_rwms_wcnf_L2_V100_C400_9.wcnf	S = OPTIMUM \| O = 131 T = 298.65 \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 186 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.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_rwms_wcnf_L2_V100_C500_0.wcnf	S = N/A \| O = 219 T = 1790.15 \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.28 \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 311 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.67 \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.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_rwms_wcnf_L2_V100_C500_1.wcnf	S = N/A \| O = 185 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.23 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 255 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 185 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_rwms_wcnf_L2_V100_C500_2.wcnf	S = N/A \| O = 236 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 288 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 217 T = 1.52 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.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_rwms_wcnf_L2_V100_C500_3.wcnf	S = N/A \| O = 201 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.13 \| (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 = 201 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.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_rwms_wcnf_L2_V100_C500_4.wcnf	S = N/A \| O = 185 T = 1795.36 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 276 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 185 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_rwms_wcnf_L2_V100_C500_5.wcnf	S = OPTIMUM \| O = 171 T = 1369.26 \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 222 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.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_rwms_wcnf_L2_V100_C500_6.wcnf	S = N/A \| O = 242 T = 1797.52 \| (out)(err)	S = OPTIMUM \| O = 237 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 237 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 237 T = 0.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 327 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 237 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 237 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_rwms_wcnf_L2_V100_C500_7.wcnf	S = OPTIMUM \| O = 192 T = 1659.35 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.22 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 275 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.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_rwms_wcnf_L2_V100_C500_8.wcnf	S = N/A \| O = 200 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 200 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 200 T = 0.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 200 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_rwms_wcnf_L2_V100_C500_9.wcnf	S = N/A \| O = 233 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 220 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 220 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 220 T = 0.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 343 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 220 T = 1.07 \| (out)(err)	S = OPTIMUM \| O = 220 T = 0.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_rwms_wcnf_L2_V100_C600_0.wcnf	S = N/A \| O = 300 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 278 T = 1.14 \| (out)(err)	S = OPTIMUM \| O = 278 T = 0.92 \| (out)(err)	S = OPTIMUM \| O = 278 T = 0.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 331 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 278 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 278 T = 1.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_rwms_wcnf_L2_V100_C600_1.wcnf	S = N/A \| O = 266 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 426 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.91 \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.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_rwms_wcnf_L2_V100_C600_2.wcnf	S = N/A \| O = 311 T = 1796.39 \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.27 \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 354 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.84 \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.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_rwms_wcnf_L2_V100_C600_3.wcnf	S = N/A \| O = 305 T = 1789.06 \| (out)(err)	S = OPTIMUM \| O = 293 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 293 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 293 T = 0.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 440 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 293 T = 1.37 \| (out)(err)	S = OPTIMUM \| O = 293 T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C600_4.wcnf	S = N/A \| O = 284 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.23 \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 467 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.83 \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.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_rwms_wcnf_L2_V100_C600_5.wcnf	S = N/A \| O = 286 T = 1792.28 \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 333 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.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_rwms_wcnf_L2_V100_C600_6.wcnf	S = N/A \| O = 293 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 288 T = 0.41 \| (out)(err)	S = OPTIMUM \| O = 288 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 288 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 431 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 288 T = 1.16 \| (out)(err)	S = OPTIMUM \| O = 288 T = 0.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_rwms_wcnf_L2_V100_C600_7.wcnf	S = N/A \| O = 299 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 406 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.85 \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.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_rwms_wcnf_L2_V100_C600_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 324 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.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_rwms_wcnf_L2_V100_C600_9.wcnf	S = N/A \| O = 331 T = 1792.08 \| (out)(err)	S = OPTIMUM \| O = 314 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 314 T = 0.59 \| (out)(err)	S = OPTIMUM \| O = 314 T = 0.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 488 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 314 T = 1.10 \| (out)(err)	S = OPTIMUM \| O = 314 T = 0.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_rwms_wcnf_L3_V70_C1000_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 198 T = 722.25 \| (out)(err)	S = OPTIMUM \| O = 198 T = 468.86 \| (out)(err)	S = OPTIMUM \| O = 198 T = 500.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 331 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 198 T = 936.57 \| (out)(err)	S = OPTIMUM \| O = 198 T = 791.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C1000_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 212 T = 389.50 \| (out)(err)	S = OPTIMUM \| O = 212 T = 339.82 \| (out)(err)	S = OPTIMUM \| O = 212 T = 268.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 326 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 212 T = 522.26 \| (out)(err)	S = OPTIMUM \| O = 212 T = 426.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C1000_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 211 T = 621.31 \| (out)(err)	S = OPTIMUM \| O = 211 T = 527.90 \| (out)(err)	S = OPTIMUM \| O = 211 T = 389.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 334 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 211 T = 756.44 \| (out)(err)	S = OPTIMUM \| O = 211 T = 625.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_rwms_wcnf_L3_V70_C1000_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 229 T = 848.94 \| (out)(err)	S = OPTIMUM \| O = 229 T = 800.13 \| (out)(err)	S = OPTIMUM \| O = 229 T = 542.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 362 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 229 T = 1054.38 \| (out)(err)	S = OPTIMUM \| O = 229 T = 871.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_rwms_wcnf_L3_V70_C1000_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 202 T = 527.23 \| (out)(err)	S = OPTIMUM \| O = 202 T = 388.02 \| (out)(err)	S = OPTIMUM \| O = 202 T = 340.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 332 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 202 T = 645.78 \| (out)(err)	S = OPTIMUM \| O = 202 T = 544.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_rwms_wcnf_L3_V70_C1000_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 214 T = 990.57 \| (out)(err)	S = OPTIMUM \| O = 214 T = 417.37 \| (out)(err)	S = OPTIMUM \| O = 214 T = 653.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 371 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 214 T = 1254.02 \| (out)(err)	S = OPTIMUM \| O = 214 T = 1007.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_rwms_wcnf_L3_V70_C1000_6.wcnf	S = N/A \| O = 219 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 203 T = 264.66 \| (out)(err)	S = OPTIMUM \| O = 203 T = 262.74 \| (out)(err)	S = OPTIMUM \| O = 203 T = 162.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 344 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 203 T = 311.89 \| (out)(err)	S = OPTIMUM \| O = 203 T = 264.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C1000_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 265.30 \| (out)(err)	S = OPTIMUM \| O = 200 T = 252.06 \| (out)(err)	S = OPTIMUM \| O = 200 T = 172.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 221 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 326.28 \| (out)(err)	S = OPTIMUM \| O = 200 T = 278.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_rwms_wcnf_L3_V70_C1000_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 188 T = 289.04 \| (out)(err)	S = OPTIMUM \| O = 188 T = 127.40 \| (out)(err)	S = OPTIMUM \| O = 188 T = 270.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 338 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 188 T = 519.66 \| (out)(err)	S = OPTIMUM \| O = 188 T = 409.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_rwms_wcnf_L3_V70_C1000_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 226 T = 809.42 \| (out)(err)	S = OPTIMUM \| O = 226 T = 774.62 \| (out)(err)	S = OPTIMUM \| O = 226 T = 539.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 369 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 226 T = 1003.99 \| (out)(err)	S = OPTIMUM \| O = 226 T = 828.20 \| (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_rwms_wcnf_L3_V70_C700_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 103 T = 91.90 \| (out)(err)	S = OPTIMUM \| O = 103 T = 75.61 \| (out)(err)	S = OPTIMUM \| O = 103 T = 56.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 125 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 103 T = 98.92 \| (out)(err)	S = OPTIMUM \| O = 103 T = 94.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C700_1.wcnf	S = N/A \| O = 109 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 107 T = 48.93 \| (out)(err)	S = OPTIMUM \| O = 107 T = 41.66 \| (out)(err)	S = OPTIMUM \| O = 107 T = 129.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 169 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 107 T = 53.97 \| (out)(err)	S = OPTIMUM \| O = 107 T = 49.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_rwms_wcnf_L3_V70_C700_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 78.04 \| (out)(err)	S = OPTIMUM \| O = 110 T = 71.92 \| (out)(err)	S = OPTIMUM \| O = 110 T = 111.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 129 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 83.60 \| (out)(err)	S = OPTIMUM \| O = 110 T = 78.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_rwms_wcnf_L3_V70_C700_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 102 T = 25.90 \| (out)(err)	S = OPTIMUM \| O = 102 T = 25.44 \| (out)(err)	S = OPTIMUM \| O = 102 T = 15.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 123 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 102 T = 27.80 \| (out)(err)	S = OPTIMUM \| O = 102 T = 26.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_rwms_wcnf_L3_V70_C700_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 88.74 \| (out)(err)	S = OPTIMUM \| O = 110 T = 54.24 \| (out)(err)	S = OPTIMUM \| O = 110 T = 53.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 152 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 96.30 \| (out)(err)	S = OPTIMUM \| O = 110 T = 90.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_rwms_wcnf_L3_V70_C700_5.wcnf	S = N/A \| O = N/A T = 1793.20 \| (out)(err)	S = OPTIMUM \| O = 103 T = 56.20 \| (out)(err)	S = OPTIMUM \| O = 103 T = 31.89 \| (out)(err)	S = OPTIMUM \| O = 103 T = 35.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 172 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 103 T = 62.53 \| (out)(err)	S = OPTIMUM \| O = 103 T = 58.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_rwms_wcnf_L3_V70_C700_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 102 T = 40.33 \| (out)(err)	S = OPTIMUM \| O = 102 T = 31.48 \| (out)(err)	S = OPTIMUM \| O = 102 T = 25.48 \| (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 = 102 T = 45.64 \| (out)(err)	S = OPTIMUM \| O = 102 T = 43.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_rwms_wcnf_L3_V70_C700_7.wcnf	S = N/A \| O = N/A T = 1799.17 \| (out)(err)	S = OPTIMUM \| O = 104 T = 45.30 \| (out)(err)	S = OPTIMUM \| O = 104 T = 40.63 \| (out)(err)	S = OPTIMUM \| O = 104 T = 27.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 160 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 104 T = 48.63 \| (out)(err)	S = OPTIMUM \| O = 104 T = 46.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_rwms_wcnf_L3_V70_C700_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 82 T = 7.08 \| (out)(err)	S = OPTIMUM \| O = 82 T = 6.54 \| (out)(err)	S = OPTIMUM \| O = 82 T = 4.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 115 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 82 T = 7.43 \| (out)(err)	S = OPTIMUM \| O = 82 T = 7.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_rwms_wcnf_L3_V70_C700_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 104 T = 40.98 \| (out)(err)	S = OPTIMUM \| O = 104 T = 31.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 118 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 104 T = 55.66 \| (out)(err)	S = OPTIMUM \| O = 104 T = 52.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_rwms_wcnf_L3_V70_C800_0.wcnf	S = N/A \| O = N/A T = 1796.56 \| (out)(err)	S = OPTIMUM \| O = 132 T = 106.42 \| (out)(err)	S = OPTIMUM \| O = 132 T = 80.70 \| (out)(err)	S = OPTIMUM \| O = 132 T = 73.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 179 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 132 T = 132.81 \| (out)(err)	S = OPTIMUM \| O = 132 T = 121.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_rwms_wcnf_L3_V70_C800_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 141.41 \| (out)(err)	S = OPTIMUM \| O = 138 T = 90.06 \| (out)(err)	S = OPTIMUM \| O = 138 T = 127.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 183 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 214.33 \| (out)(err)	S = OPTIMUM \| O = 138 T = 189.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_rwms_wcnf_L3_V70_C800_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 110.48 \| (out)(err)	S = OPTIMUM \| O = 127 T = 46.71 \| (out)(err)	S = OPTIMUM \| O = 127 T = 68.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 209 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 122.59 \| (out)(err)	S = OPTIMUM \| O = 127 T = 113.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C800_3.wcnf	S = N/A \| O = N/A T = 1799.72 \| (out)(err)	S = OPTIMUM \| O = 134 T = 66.91 \| (out)(err)	S = OPTIMUM \| O = 134 T = 25.60 \| (out)(err)	S = OPTIMUM \| O = 134 T = 46.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 285 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 134 T = 80.23 \| (out)(err)	S = OPTIMUM \| O = 134 T = 72.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_rwms_wcnf_L3_V70_C800_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 266.08 \| (out)(err)	S = OPTIMUM \| O = 143 T = 92.75 \| (out)(err)	S = OPTIMUM \| O = 143 T = 170.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 167 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 295.37 \| (out)(err)	S = OPTIMUM \| O = 143 T = 270.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_rwms_wcnf_L3_V70_C800_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 294.75 \| (out)(err)	S = OPTIMUM \| O = 144 T = 179.06 \| (out)(err)	S = OPTIMUM \| O = 144 T = 190.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 252 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 324.61 \| (out)(err)	S = OPTIMUM \| O = 144 T = 297.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_rwms_wcnf_L3_V70_C800_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 123.55 \| (out)(err)	S = OPTIMUM \| O = 135 T = 87.70 \| (out)(err)	S = OPTIMUM \| O = 135 T = 80.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 209 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 143.13 \| (out)(err)	S = OPTIMUM \| O = 135 T = 130.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_rwms_wcnf_L3_V70_C800_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 187.57 \| (out)(err)	S = OPTIMUM \| O = 147 T = 102.12 \| (out)(err)	S = OPTIMUM \| O = 147 T = 137.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 232 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 239.80 \| (out)(err)	S = OPTIMUM \| O = 147 T = 215.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_rwms_wcnf_L3_V70_C800_8.wcnf	S = N/A \| O = N/A T = 1798.59 \| (out)(err)	S = OPTIMUM \| O = 126 T = 101.14 \| (out)(err)	S = OPTIMUM \| O = 126 T = 46.45 \| (out)(err)	S = OPTIMUM \| O = 126 T = 92.44 \| (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 = 126 T = 161.60 \| (out)(err)	S = OPTIMUM \| O = 126 T = 142.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_rwms_wcnf_L3_V70_C800_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 126.31 \| (out)(err)	S = OPTIMUM \| O = 138 T = 75.46 \| (out)(err)	S = OPTIMUM \| O = 138 T = 81.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 215 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 139.33 \| (out)(err)	S = OPTIMUM \| O = 138 T = 127.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_rwms_wcnf_L3_V70_C900_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 157 T = 114.94 \| (out)(err)	S = OPTIMUM \| O = 157 T = 112.92 \| (out)(err)	S = OPTIMUM \| O = 157 T = 82.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 267 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 157 T = 153.59 \| (out)(err)	S = OPTIMUM \| O = 157 T = 136.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 192 T = 462.90 \| (out)(err)	S = OPTIMUM \| O = 192 T = 427.33 \| (out)(err)	S = OPTIMUM \| O = 192 T = 309.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 243 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 192 T = 546.26 \| (out)(err)	S = OPTIMUM \| O = 192 T = 472.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_rwms_wcnf_L3_V70_C900_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 177 T = 375.25 \| (out)(err)	S = OPTIMUM \| O = 177 T = 314.31 \| (out)(err)	S = OPTIMUM \| O = 177 T = 254.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 211 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 177 T = 460.00 \| (out)(err)	S = OPTIMUM \| O = 177 T = 395.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 247.63 \| (out)(err)	S = OPTIMUM \| O = 163 T = 133.41 \| (out)(err)	S = OPTIMUM \| O = 163 T = 158.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 291.21 \| (out)(err)	S = OPTIMUM \| O = 163 T = 253.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_rwms_wcnf_L3_V70_C900_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 171 T = 307.82 \| (out)(err)	S = OPTIMUM \| O = 171 T = 254.15 \| (out)(err)	S = OPTIMUM \| O = 171 T = 220.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 308 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 171 T = 396.87 \| (out)(err)	S = OPTIMUM \| O = 171 T = 341.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_5.wcnf	S = N/A \| O = N/A T = 1799.20 \| (out)(err)	S = OPTIMUM \| O = 175 T = 220.84 \| (out)(err)	S = OPTIMUM \| O = 175 T = 204.79 \| (out)(err)	S = OPTIMUM \| O = 175 T = 144.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 175 T = 258.56 \| (out)(err)	S = OPTIMUM \| O = 175 T = 224.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 174 T = 213.06 \| (out)(err)	S = OPTIMUM \| O = 174 T = 186.00 \| (out)(err)	S = OPTIMUM \| O = 174 T = 145.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 201 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 174 T = 268.67 \| (out)(err)	S = OPTIMUM \| O = 174 T = 236.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_rwms_wcnf_L3_V70_C900_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 194 T = 670.75 \| (out)(err)	S = OPTIMUM \| O = 194 T = 499.42 \| (out)(err)	S = OPTIMUM \| O = 194 T = 449.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 356 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 194 T = 801.39 \| (out)(err)	S = OPTIMUM \| O = 194 T = 684.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_rwms_wcnf_L3_V70_C900_8.wcnf	S = N/A \| O = 197 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 179 T = 250.30 \| (out)(err)	S = OPTIMUM \| O = 179 T = 249.18 \| (out)(err)	S = OPTIMUM \| O = 179 T = 160.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 244 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 179 T = 291.56 \| (out)(err)	S = OPTIMUM \| O = 179 T = 255.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 181 T = 260.57 \| (out)(err)	S = OPTIMUM \| O = 181 T = 230.84 \| (out)(err)	S = OPTIMUM \| O = 181 T = 174.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 210 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 181 T = 313.07 \| (out)(err)	S = OPTIMUM \| O = 181 T = 272.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_rwms_wcnf_L3_V70_C300_0.wcnf	S = OPTIMUM \| O = 0 T = 1.91 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (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)	S = OPTIMUM \| O = 0 T = 0.54 \| (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_rwms_wcnf_L3_V70_C300_1.wcnf	S = OPTIMUM \| O = 1 T = 2.19 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_2.wcnf	S = OPTIMUM \| O = 0 T = 1.86 \| (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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.74 \| (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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_3.wcnf	S = OPTIMUM \| O = 0 T = 1.78 \| (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.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (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_rwms_wcnf_L3_V70_C300_4.wcnf	S = OPTIMUM \| O = 1 T = 2.26 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 1.91 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_5.wcnf	S = OPTIMUM \| O = 0 T = 1.85 \| (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)	S = OPTIMUM \| O = 0 T = 0.58 \| (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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_6.wcnf	S = OPTIMUM \| O = 1 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 1.36 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_7.wcnf	S = OPTIMUM \| O = 0 T = 1.86 \| (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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.85 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (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_rwms_wcnf_L3_V70_C300_8.wcnf	S = OPTIMUM \| O = 0 T = 1.72 \| (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)	S = OPTIMUM \| O = 0 T = 0.71 \| (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_rwms_wcnf_L3_V70_C300_9.wcnf	S = OPTIMUM \| O = 0 T = 2.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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.99 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (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_rwms_wcnf_L3_V70_C400_0.wcnf	S = OPTIMUM \| O = 12 T = 123.99 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.28 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 607.52 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.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_rwms_wcnf_L3_V70_C400_1.wcnf	S = OPTIMUM \| O = 19 T = 157.24 \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 27 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.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_rwms_wcnf_L3_V70_C400_2.wcnf	S = OPTIMUM \| O = 5 T = 3.76 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 5 T = 2.57 \| (out)(err)	S = OPTIMUM \| O = 5 T = 2.28 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 5 T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 5 T = 5.46 \| (out)(err)
file_rwms_wcnf_L3_V70_C400_3.wcnf	S = OPTIMUM \| O = 20 T = 169.82 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 22 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C400_4.wcnf	S = OPTIMUM \| O = 14 T = 120.65 \| (out)(err)	S = OPTIMUM \| O = 14 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 14 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 14 T = 0.16 \| (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 = 14 T = 0.42 \| (out)(err)	S = OPTIMUM \| O = 14 T = 0.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_rwms_wcnf_L3_V70_C400_5.wcnf	S = OPTIMUM \| O = 12 T = 41.65 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 26.42 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 12 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_rwms_wcnf_L3_V70_C400_6.wcnf	S = OPTIMUM \| O = 17 T = 261.34 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.68 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 29 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.70 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C400_7.wcnf	S = OPTIMUM \| O = 7 T = 3.40 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 7 T = 107.12 \| (out)(err)	S = OPTIMUM \| O = 7 T = 4.02 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 7 T = 15.00 \| (out)(err)	S = OPTIMUM \| O = 7 T = 282.60 \| (out)(err)
file_rwms_wcnf_L3_V70_C400_8.wcnf	S = OPTIMUM \| O = 17 T = 106.46 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 27 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.76 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C400_9.wcnf	S = OPTIMUM \| O = 12 T = 19.89 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 64.08 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 12 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_rwms_wcnf_L3_V70_C500_0.wcnf	S = N/A \| O = N/A T = 1788.91 \| (out)(err)	S = OPTIMUM \| O = 36 T = 3.63 \| (out)(err)	S = OPTIMUM \| O = 36 T = 2.24 \| (out)(err)	S = OPTIMUM \| O = 36 T = 1.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 63 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 36 T = 3.81 \| (out)(err)	S = OPTIMUM \| O = 36 T = 3.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C500_1.wcnf	S = OPTIMUM \| O = 29 T = 284.23 \| (out)(err)	S = OPTIMUM \| O = 29 T = 1.93 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.43 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 49 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 2.20 \| (out)(err)	S = OPTIMUM \| O = 29 T = 2.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_rwms_wcnf_L3_V70_C500_2.wcnf	S = OPTIMUM \| O = 28 T = 346.37 \| (out)(err)	S = OPTIMUM \| O = 28 T = 1.48 \| (out)(err)	S = OPTIMUM \| O = 28 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 28 T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 41 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 1.83 \| (out)(err)	S = OPTIMUM \| O = 28 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_rwms_wcnf_L3_V70_C500_3.wcnf	S = N/A \| O = 50 T = 1790.68 \| (out)(err)	S = OPTIMUM \| O = 50 T = 4.17 \| (out)(err)	S = OPTIMUM \| O = 50 T = 3.29 \| (out)(err)	S = OPTIMUM \| O = 50 T = 2.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 57 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 50 T = 4.94 \| (out)(err)	S = OPTIMUM \| O = 50 T = 4.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_rwms_wcnf_L3_V70_C500_4.wcnf	S = N/A \| O = 39 T = 1798.58 \| (out)(err)	S = OPTIMUM \| O = 39 T = 2.29 \| (out)(err)	S = OPTIMUM \| O = 39 T = 2.07 \| (out)(err)	S = OPTIMUM \| O = 39 T = 1.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 58 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 39 T = 2.45 \| (out)(err)	S = OPTIMUM \| O = 39 T = 2.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_rwms_wcnf_L3_V70_C500_5.wcnf	S = OPTIMUM \| O = 30 T = 717.57 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.93 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.76 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.44 \| (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 = 30 T = 0.94 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.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_rwms_wcnf_L3_V70_C500_6.wcnf	S = N/A \| O = N/A T = 1796.53 \| (out)(err)	S = OPTIMUM \| O = 46 T = 8.83 \| (out)(err)	S = OPTIMUM \| O = 46 T = 4.37 \| (out)(err)	S = OPTIMUM \| O = 46 T = 4.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 161 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 46 T = 9.01 \| (out)(err)	S = OPTIMUM \| O = 46 T = 8.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_rwms_wcnf_L3_V70_C500_7.wcnf	S = N/A \| O = N/A T = 1798.96 \| (out)(err)	S = OPTIMUM \| O = 41 T = 6.08 \| (out)(err)	S = OPTIMUM \| O = 41 T = 3.06 \| (out)(err)	S = OPTIMUM \| O = 41 T = 2.98 \| (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 = 41 T = 6.20 \| (out)(err)	S = OPTIMUM \| O = 41 T = 6.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_rwms_wcnf_L3_V70_C500_8.wcnf	S = N/A \| O = 51 T = 1790.74 \| (out)(err)	S = OPTIMUM \| O = 51 T = 6.27 \| (out)(err)	S = OPTIMUM \| O = 51 T = 5.93 \| (out)(err)	S = OPTIMUM \| O = 51 T = 3.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 71 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 51 T = 6.42 \| (out)(err)	S = OPTIMUM \| O = 51 T = 6.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C500_9.wcnf	S = N/A \| O = 41 T = 1786.01 \| (out)(err)	S = OPTIMUM \| O = 41 T = 1.34 \| (out)(err)	S = OPTIMUM \| O = 41 T = 1.39 \| (out)(err)	S = OPTIMUM \| O = 41 T = 0.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 64 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 41 T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 41 T = 1.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_rwms_wcnf_L3_V70_C600_0.wcnf	S = N/A \| O = 70 T = 1790.17 \| (out)(err)	S = OPTIMUM \| O = 68 T = 11.64 \| (out)(err)	S = OPTIMUM \| O = 68 T = 11.51 \| (out)(err)	S = OPTIMUM \| O = 68 T = 6.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 92 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 68 T = 12.13 \| (out)(err)	S = OPTIMUM \| O = 68 T = 11.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C600_1.wcnf	S = N/A \| O = 70 T = 1799.26 \| (out)(err)	S = OPTIMUM \| O = 64 T = 7.45 \| (out)(err)	S = OPTIMUM \| O = 64 T = 4.96 \| (out)(err)	S = OPTIMUM \| O = 64 T = 4.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 91 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 64 T = 8.49 \| (out)(err)	S = OPTIMUM \| O = 64 T = 8.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_rwms_wcnf_L3_V70_C600_2.wcnf	S = N/A \| O = 66 T = 1794.64 \| (out)(err)	S = OPTIMUM \| O = 66 T = 25.21 \| (out)(err)	S = OPTIMUM \| O = 66 T = 8.84 \| (out)(err)	S = OPTIMUM \| O = 66 T = 15.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 91 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 66 T = 28.83 \| (out)(err)	S = OPTIMUM \| O = 66 T = 28.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_rwms_wcnf_L3_V70_C600_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 73 T = 14.72 \| (out)(err)	S = OPTIMUM \| O = 73 T = 7.25 \| (out)(err)	S = OPTIMUM \| O = 73 T = 8.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 145 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 73 T = 16.77 \| (out)(err)	S = OPTIMUM \| O = 73 T = 15.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C600_4.wcnf	S = N/A \| O = N/A T = 1798.14 \| (out)(err)	S = OPTIMUM \| O = 51 T = 3.23 \| (out)(err)	S = OPTIMUM \| O = 51 T = 2.76 \| (out)(err)	S = OPTIMUM \| O = 51 T = 2.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 58 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 51 T = 5.60 \| (out)(err)	S = OPTIMUM \| O = 51 T = 5.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_rwms_wcnf_L3_V70_C600_5.wcnf	S = N/A \| O = N/A T = 1793.29 \| (out)(err)	S = OPTIMUM \| O = 59 T = 4.57 \| (out)(err)	S = OPTIMUM \| O = 59 T = 3.99 \| (out)(err)	S = OPTIMUM \| O = 59 T = 2.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 64 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 59 T = 4.60 \| (out)(err)	S = OPTIMUM \| O = 59 T = 4.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C600_6.wcnf	S = N/A \| O = N/A T = 1799.44 \| (out)(err)	S = OPTIMUM \| O = 66 T = 15.37 \| (out)(err)	S = OPTIMUM \| O = 66 T = 11.62 \| (out)(err)	S = OPTIMUM \| O = 66 T = 8.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 91 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 66 T = 16.13 \| (out)(err)	S = OPTIMUM \| O = 66 T = 15.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_rwms_wcnf_L3_V70_C600_7.wcnf	S = N/A \| O = N/A T = 1797.27 \| (out)(err)	S = OPTIMUM \| O = 67 T = 15.60 \| (out)(err)	S = OPTIMUM \| O = 67 T = 10.39 \| (out)(err)	S = OPTIMUM \| O = 67 T = 8.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 117 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 67 T = 17.35 \| (out)(err)	S = OPTIMUM \| O = 67 T = 16.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_rwms_wcnf_L3_V70_C600_8.wcnf	S = N/A \| O = N/A T = 1799.24 \| (out)(err)	S = OPTIMUM \| O = 60 T = 4.85 \| (out)(err)	S = OPTIMUM \| O = 60 T = 3.08 \| (out)(err)	S = OPTIMUM \| O = 60 T = 3.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 94 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 60 T = 5.86 \| (out)(err)	S = OPTIMUM \| O = 60 T = 4.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_rwms_wcnf_L3_V70_C600_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 67 T = 9.34 \| (out)(err)	S = OPTIMUM \| O = 67 T = 5.93 \| (out)(err)	S = OPTIMUM \| O = 67 T = 5.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 92 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 67 T = 9.77 \| (out)(err)	S = OPTIMUM \| O = 67 T = 9.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)

Instance file name	Clone	IUT_BCMB_LSWMaxsatz	IUT_BCMB_WMaxsatz	IncWMaxsatz	MSUnCore	SAT4J-Maxsat	WMaxSatz-1.6	WMaxSatz-2.5	wbo	wpm1
file_rwms_wcnf_L2_V100_C1000_0.wcnf	S = N/A \| O = 642 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 624 T = 10.68 \| (out)(err)	S = OPTIMUM \| O = 624 T = 10.38 \| (out)(err)	S = OPTIMUM \| O = 624 T = 17.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 790 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 624 T = 34.59 \| (out)(err)	S = OPTIMUM \| O = 624 T = 11.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_1.wcnf	S = N/A \| O = 693 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 628 T = 7.54 \| (out)(err)	S = OPTIMUM \| O = 628 T = 2.72 \| (out)(err)	S = OPTIMUM \| O = 628 T = 7.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 953 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 628 T = 12.49 \| (out)(err)	S = OPTIMUM \| O = 628 T = 10.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_rwms_wcnf_L2_V100_C1000_2.wcnf	S = N/A \| O = 629 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 584 T = 1.16 \| (out)(err)	S = OPTIMUM \| O = 584 T = 0.79 \| (out)(err)	S = OPTIMUM \| O = 584 T = 1.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 847 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 584 T = 2.96 \| (out)(err)	S = OPTIMUM \| O = 584 T = 1.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_3.wcnf	S = N/A \| O = 715 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 655 T = 2.99 \| (out)(err)	S = OPTIMUM \| O = 655 T = 2.72 \| (out)(err)	S = OPTIMUM \| O = 655 T = 6.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 878 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 655 T = 11.04 \| (out)(err)	S = OPTIMUM \| O = 655 T = 4.39 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_4.wcnf	S = N/A \| O = 749 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 703 T = 11.14 \| (out)(err)	S = OPTIMUM \| O = 703 T = 8.93 \| (out)(err)	S = OPTIMUM \| O = 703 T = 18.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 936 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 703 T = 36.35 \| (out)(err)	S = OPTIMUM \| O = 703 T = 16.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_5.wcnf	S = N/A \| O = 691 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 641 T = 3.43 \| (out)(err)	S = OPTIMUM \| O = 641 T = 2.52 \| (out)(err)	S = OPTIMUM \| O = 641 T = 5.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 957 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 641 T = 11.09 \| (out)(err)	S = OPTIMUM \| O = 641 T = 5.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_rwms_wcnf_L2_V100_C1000_6.wcnf	S = N/A \| O = 718 T = 1797.46 \| (out)(err)	S = OPTIMUM \| O = 677 T = 6.51 \| (out)(err)	S = OPTIMUM \| O = 677 T = 4.36 \| (out)(err)	S = OPTIMUM \| O = 677 T = 11.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 1043 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 677 T = 18.42 \| (out)(err)	S = OPTIMUM \| O = 677 T = 10.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_rwms_wcnf_L2_V100_C1000_7.wcnf	S = N/A \| O = 727 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 659 T = 10.38 \| (out)(err)	S = OPTIMUM \| O = 659 T = 4.13 \| (out)(err)	S = OPTIMUM \| O = 659 T = 8.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 965 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 659 T = 18.68 \| (out)(err)	S = OPTIMUM \| O = 659 T = 12.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_rwms_wcnf_L2_V100_C1000_8.wcnf	S = N/A \| O = 696 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 665 T = 3.54 \| (out)(err)	S = OPTIMUM \| O = 665 T = 2.94 \| (out)(err)	S = OPTIMUM \| O = 665 T = 9.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 933 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 665 T = 15.38 \| (out)(err)	S = OPTIMUM \| O = 665 T = 3.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C1000_9.wcnf	S = N/A \| O = 750 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 681 T = 7.75 \| (out)(err)	S = OPTIMUM \| O = 681 T = 4.94 \| (out)(err)	S = OPTIMUM \| O = 681 T = 12.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 950 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 681 T = 21.32 \| (out)(err)	S = OPTIMUM \| O = 681 T = 8.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 369 T = 0.82 \| (out)(err)	S = OPTIMUM \| O = 369 T = 0.73 \| (out)(err)	S = OPTIMUM \| O = 369 T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 487 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 369 T = 2.23 \| (out)(err)	S = OPTIMUM \| O = 369 T = 1.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_rwms_wcnf_L2_V100_C700_1.wcnf	S = N/A \| O = 383 T = 1797.93 \| (out)(err)	S = OPTIMUM \| O = 356 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 356 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 356 T = 0.36 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 482 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 356 T = 1.40 \| (out)(err)	S = OPTIMUM \| O = 356 T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_2.wcnf	S = N/A \| O = 397 T = 1796.22 \| (out)(err)	S = OPTIMUM \| O = 396 T = 0.74 \| (out)(err)	S = OPTIMUM \| O = 396 T = 0.67 \| (out)(err)	S = OPTIMUM \| O = 396 T = 0.46 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 522 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 396 T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 396 T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_3.wcnf	S = N/A \| O = 414 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.50 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.52 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 533 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 373 T = 1.73 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 423 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 313 T = 0.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_rwms_wcnf_L2_V100_C700_5.wcnf	S = N/A \| O = 382 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 375 T = 1.90 \| (out)(err)	S = OPTIMUM \| O = 375 T = 1.01 \| (out)(err)	S = OPTIMUM \| O = 375 T = 0.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 482 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 375 T = 2.96 \| (out)(err)	S = OPTIMUM \| O = 375 T = 2.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_rwms_wcnf_L2_V100_C700_6.wcnf	S = N/A \| O = 400 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 395 T = 1.23 \| (out)(err)	S = OPTIMUM \| O = 395 T = 0.84 \| (out)(err)	S = OPTIMUM \| O = 395 T = 1.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 535 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 395 T = 4.07 \| (out)(err)	S = OPTIMUM \| O = 395 T = 1.71 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_7.wcnf	S = N/A \| O = 414 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.60 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 373 T = 0.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 535 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 373 T = 1.52 \| (out)(err)	S = OPTIMUM \| O = 373 T = 1.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_8.wcnf	S = N/A \| O = 417 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 381 T = 0.67 \| (out)(err)	S = OPTIMUM \| O = 381 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 381 T = 0.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 602 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 381 T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 381 T = 0.83 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C700_9.wcnf	S = N/A \| O = 429 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 418 T = 3.15 \| (out)(err)	S = OPTIMUM \| O = 418 T = 3.10 \| (out)(err)	S = OPTIMUM \| O = 418 T = 2.58 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 557 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 418 T = 5.14 \| (out)(err)	S = OPTIMUM \| O = 418 T = 3.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_0.wcnf	S = N/A \| O = 547 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 496 T = 2.04 \| (out)(err)	S = OPTIMUM \| O = 496 T = 1.82 \| (out)(err)	S = OPTIMUM \| O = 496 T = 5.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 649 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 496 T = 8.45 \| (out)(err)	S = OPTIMUM \| O = 496 T = 4.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_1.wcnf	S = N/A \| O = 507 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 499 T = 5.02 \| (out)(err)	S = OPTIMUM \| O = 499 T = 3.40 \| (out)(err)	S = OPTIMUM \| O = 499 T = 4.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 651 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 499 T = 10.10 \| (out)(err)	S = OPTIMUM \| O = 499 T = 6.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_2.wcnf	S = N/A \| O = 450 T = 1794.32 \| (out)(err)	S = OPTIMUM \| O = 437 T = 0.77 \| (out)(err)	S = OPTIMUM \| O = 437 T = 0.74 \| (out)(err)	S = OPTIMUM \| O = 437 T = 0.64 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 549 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 437 T = 1.29 \| (out)(err)	S = OPTIMUM \| O = 437 T = 0.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_3.wcnf	S = N/A \| O = 542 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 487 T = 4.19 \| (out)(err)	S = OPTIMUM \| O = 487 T = 2.14 \| (out)(err)	S = OPTIMUM \| O = 487 T = 5.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 587 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 487 T = 12.86 \| (out)(err)	S = OPTIMUM \| O = 487 T = 5.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_rwms_wcnf_L2_V100_C800_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 459 T = 1.50 \| (out)(err)	S = OPTIMUM \| O = 459 T = 1.38 \| (out)(err)	S = OPTIMUM \| O = 459 T = 2.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 648 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 459 T = 7.32 \| (out)(err)	S = OPTIMUM \| O = 459 T = 3.13 \| (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_rwms_wcnf_L2_V100_C800_5.wcnf	S = N/A \| O = 511 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 472 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 472 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 472 T = 2.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 664 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 472 T = 4.83 \| (out)(err)	S = OPTIMUM \| O = 472 T = 2.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_rwms_wcnf_L2_V100_C800_6.wcnf	S = N/A \| O = N/A T = 1793.66 \| (out)(err)	S = OPTIMUM \| O = 467 T = 1.26 \| (out)(err)	S = OPTIMUM \| O = 467 T = 1.20 \| (out)(err)	S = OPTIMUM \| O = 467 T = 1.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 538 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 467 T = 3.20 \| (out)(err)	S = OPTIMUM \| O = 467 T = 1.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_7.wcnf	S = N/A \| O = 546 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 493 T = 6.04 \| (out)(err)	S = OPTIMUM \| O = 493 T = 2.26 \| (out)(err)	S = OPTIMUM \| O = 493 T = 6.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 711 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 493 T = 13.24 \| (out)(err)	S = OPTIMUM \| O = 493 T = 9.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C800_8.wcnf	S = N/A \| O = 467 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 463 T = 1.11 \| (out)(err)	S = OPTIMUM \| O = 463 T = 1.13 \| (out)(err)	S = OPTIMUM \| O = 463 T = 1.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 641 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 463 T = 2.35 \| (out)(err)	S = OPTIMUM \| O = 463 T = 1.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_rwms_wcnf_L2_V100_C800_9.wcnf	S = N/A \| O = 532 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 507 T = 3.44 \| (out)(err)	S = OPTIMUM \| O = 507 T = 2.91 \| (out)(err)	S = OPTIMUM \| O = 507 T = 3.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 683 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 507 T = 7.50 \| (out)(err)	S = OPTIMUM \| O = 507 T = 4.08 \| (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_rwms_wcnf_L2_V100_C900_0.wcnf	S = N/A \| O = 638 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 581 T = 4.70 \| (out)(err)	S = OPTIMUM \| O = 581 T = 2.12 \| (out)(err)	S = OPTIMUM \| O = 581 T = 8.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 812 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 581 T = 12.32 \| (out)(err)	S = OPTIMUM \| O = 581 T = 6.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_rwms_wcnf_L2_V100_C900_1.wcnf	S = N/A \| O = 575 T = 1798.22 \| (out)(err)	S = OPTIMUM \| O = 542 T = 1.31 \| (out)(err)	S = OPTIMUM \| O = 542 T = 1.10 \| (out)(err)	S = OPTIMUM \| O = 542 T = 1.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 800 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 542 T = 3.54 \| (out)(err)	S = OPTIMUM \| O = 542 T = 1.61 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C900_2.wcnf	S = N/A \| O = 533 T = 1793.18 \| (out)(err)	S = OPTIMUM \| O = 522 T = 2.33 \| (out)(err)	S = OPTIMUM \| O = 522 T = 1.36 \| (out)(err)	S = OPTIMUM \| O = 522 T = 1.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 739 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 522 T = 4.30 \| (out)(err)	S = OPTIMUM \| O = 522 T = 2.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_rwms_wcnf_L2_V100_C900_3.wcnf	S = N/A \| O = 594 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 580 T = 6.97 \| (out)(err)	S = OPTIMUM \| O = 580 T = 6.41 \| (out)(err)	S = OPTIMUM \| O = 580 T = 6.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 783 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 580 T = 13.39 \| (out)(err)	S = OPTIMUM \| O = 580 T = 6.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_rwms_wcnf_L2_V100_C900_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 536 T = 2.75 \| (out)(err)	S = OPTIMUM \| O = 536 T = 2.15 \| (out)(err)	S = OPTIMUM \| O = 536 T = 2.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 781 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 536 T = 5.30 \| (out)(err)	S = OPTIMUM \| O = 536 T = 3.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_rwms_wcnf_L2_V100_C900_5.wcnf	S = N/A \| O = 571 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 552 T = 4.67 \| (out)(err)	S = OPTIMUM \| O = 552 T = 2.63 \| (out)(err)	S = OPTIMUM \| O = 552 T = 3.48 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 792 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 552 T = 7.00 \| (out)(err)	S = OPTIMUM \| O = 552 T = 5.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_rwms_wcnf_L2_V100_C900_6.wcnf	S = N/A \| O = 597 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 553 T = 3.62 \| (out)(err)	S = OPTIMUM \| O = 553 T = 1.42 \| (out)(err)	S = OPTIMUM \| O = 553 T = 7.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 778 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 553 T = 16.21 \| (out)(err)	S = OPTIMUM \| O = 553 T = 6.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_rwms_wcnf_L2_V100_C900_7.wcnf	S = N/A \| O = 574 T = 1798.59 \| (out)(err)	S = OPTIMUM \| O = 540 T = 2.13 \| (out)(err)	S = OPTIMUM \| O = 540 T = 1.10 \| (out)(err)	S = OPTIMUM \| O = 540 T = 2.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 815 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 540 T = 3.68 \| (out)(err)	S = OPTIMUM \| O = 540 T = 2.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_rwms_wcnf_L2_V100_C900_8.wcnf	S = N/A \| O = 613 T = 1793.33 \| (out)(err)	S = OPTIMUM \| O = 592 T = 5.93 \| (out)(err)	S = OPTIMUM \| O = 592 T = 3.23 \| (out)(err)	S = OPTIMUM \| O = 592 T = 5.53 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 751 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 592 T = 9.41 \| (out)(err)	S = OPTIMUM \| O = 592 T = 7.08 \| (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_rwms_wcnf_L2_V100_C900_9.wcnf	S = N/A \| O = 640 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 592 T = 5.61 \| (out)(err)	S = OPTIMUM \| O = 592 T = 3.59 \| (out)(err)	S = OPTIMUM \| O = 592 T = 8.85 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 742 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 592 T = 20.97 \| (out)(err)	S = OPTIMUM \| O = 592 T = 6.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C300_0.wcnf	S = OPTIMUM \| O = 40 T = 2.94 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.00 \| (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 = 40 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 40 T = 0.33 \| (out)(err)
file_rwms_wcnf_L2_V100_C300_1.wcnf	S = OPTIMUM \| O = 69 T = 7.11 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 103 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.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_rwms_wcnf_L2_V100_C300_2.wcnf	S = OPTIMUM \| O = 85 T = 31.12 \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 93 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 85 T = 0.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_rwms_wcnf_L2_V100_C300_3.wcnf	S = OPTIMUM \| O = 55 T = 10.51 \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 71 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 55 T = 0.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_rwms_wcnf_L2_V100_C300_4.wcnf	S = OPTIMUM \| O = 38 T = 2.63 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 38 T = 775.79 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 38 T = 1.13 \| (out)(err)	S = OPTIMUM \| O = 38 T = 0.75 \| (out)(err)
file_rwms_wcnf_L2_V100_C300_5.wcnf	S = OPTIMUM \| O = 61 T = 4.72 \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 94 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.05 \| (out)(err)	S = OPTIMUM \| O = 61 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 61 T = 65.10 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C300_6.wcnf	S = OPTIMUM \| O = 68 T = 5.80 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 99 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.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_rwms_wcnf_L2_V100_C300_7.wcnf	S = OPTIMUM \| O = 69 T = 14.83 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 79 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 69 T = 0.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_rwms_wcnf_L2_V100_C300_8.wcnf	S = OPTIMUM \| O = 50 T = 2.25 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 65 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 50 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 50 T = 37.33 \| (out)(err)
file_rwms_wcnf_L2_V100_C300_9.wcnf	S = OPTIMUM \| O = 68 T = 17.27 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 88 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 68 T = 0.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_rwms_wcnf_L2_V100_C400_0.wcnf	S = OPTIMUM \| O = 106 T = 240.51 \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 112 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 106 T = 0.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_rwms_wcnf_L2_V100_C400_1.wcnf	S = N/A \| O = 141 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 151 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.22 \| (out)(err)	S = OPTIMUM \| O = 141 T = 0.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_rwms_wcnf_L2_V100_C400_2.wcnf	S = OPTIMUM \| O = 140 T = 201.35 \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.21 \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 209 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.34 \| (out)(err)	S = OPTIMUM \| O = 140 T = 0.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C400_3.wcnf	S = OPTIMUM \| O = 112 T = 860.69 \| (out)(err)	S = OPTIMUM \| O = 112 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 112 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 112 T = 0.05 \| (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 = 112 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 112 T = 0.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 569.45 \| (out)(err)
file_rwms_wcnf_L2_V100_C400_4.wcnf	S = OPTIMUM \| O = 99 T = 132.49 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 159 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = 685.29 \| (out)(err)
file_rwms_wcnf_L2_V100_C400_5.wcnf	S = OPTIMUM \| O = 125 T = 62.08 \| (out)(err)	S = OPTIMUM \| O = 125 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 125 T = 0.16 \| (out)(err)	S = OPTIMUM \| O = 125 T = 0.01 \| (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 = 125 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 125 T = 0.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_rwms_wcnf_L2_V100_C400_6.wcnf	S = OPTIMUM \| O = 121 T = 120.70 \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.07 \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.03 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 196 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.13 \| (out)(err)	S = OPTIMUM \| O = 121 T = 0.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_rwms_wcnf_L2_V100_C400_7.wcnf	S = OPTIMUM \| O = 115 T = 130.37 \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.17 \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 130 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 115 T = 0.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_rwms_wcnf_L2_V100_C400_8.wcnf	S = OPTIMUM \| O = 99 T = 17.92 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.01 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 118 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 99 T = 0.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_rwms_wcnf_L2_V100_C400_9.wcnf	S = OPTIMUM \| O = 131 T = 298.65 \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 186 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 131 T = 0.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_rwms_wcnf_L2_V100_C500_0.wcnf	S = N/A \| O = 219 T = 1790.15 \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.28 \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 311 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.67 \| (out)(err)	S = OPTIMUM \| O = 214 T = 0.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_rwms_wcnf_L2_V100_C500_1.wcnf	S = N/A \| O = 185 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.23 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.07 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 255 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 185 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_rwms_wcnf_L2_V100_C500_2.wcnf	S = N/A \| O = 236 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.33 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 288 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 217 T = 1.52 \| (out)(err)	S = OPTIMUM \| O = 217 T = 0.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_rwms_wcnf_L2_V100_C500_3.wcnf	S = N/A \| O = 201 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.13 \| (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 = 201 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 201 T = 0.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_rwms_wcnf_L2_V100_C500_4.wcnf	S = N/A \| O = 185 T = 1795.36 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 276 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 185 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 185 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_rwms_wcnf_L2_V100_C500_5.wcnf	S = OPTIMUM \| O = 171 T = 1369.26 \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.18 \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 222 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.29 \| (out)(err)	S = OPTIMUM \| O = 171 T = 0.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_rwms_wcnf_L2_V100_C500_6.wcnf	S = N/A \| O = 242 T = 1797.52 \| (out)(err)	S = OPTIMUM \| O = 237 T = 0.51 \| (out)(err)	S = OPTIMUM \| O = 237 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 237 T = 0.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 327 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 237 T = 0.88 \| (out)(err)	S = OPTIMUM \| O = 237 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_rwms_wcnf_L2_V100_C500_7.wcnf	S = OPTIMUM \| O = 192 T = 1659.35 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.22 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 275 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.53 \| (out)(err)	S = OPTIMUM \| O = 192 T = 0.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_rwms_wcnf_L2_V100_C500_8.wcnf	S = N/A \| O = 200 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 0.26 \| (out)(err)	S = OPTIMUM \| O = 200 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 200 T = 0.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 241 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 200 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_rwms_wcnf_L2_V100_C500_9.wcnf	S = N/A \| O = 233 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 220 T = 0.44 \| (out)(err)	S = OPTIMUM \| O = 220 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 220 T = 0.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 343 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 220 T = 1.07 \| (out)(err)	S = OPTIMUM \| O = 220 T = 0.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_rwms_wcnf_L2_V100_C600_0.wcnf	S = N/A \| O = 300 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 278 T = 1.14 \| (out)(err)	S = OPTIMUM \| O = 278 T = 0.92 \| (out)(err)	S = OPTIMUM \| O = 278 T = 0.74 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 331 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 278 T = 2.22 \| (out)(err)	S = OPTIMUM \| O = 278 T = 1.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_rwms_wcnf_L2_V100_C600_1.wcnf	S = N/A \| O = 266 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.45 \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 426 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.91 \| (out)(err)	S = OPTIMUM \| O = 266 T = 0.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_rwms_wcnf_L2_V100_C600_2.wcnf	S = N/A \| O = 311 T = 1796.39 \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.27 \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.25 \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.23 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 354 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.84 \| (out)(err)	S = OPTIMUM \| O = 279 T = 0.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_rwms_wcnf_L2_V100_C600_3.wcnf	S = N/A \| O = 305 T = 1789.06 \| (out)(err)	S = OPTIMUM \| O = 293 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 293 T = 0.40 \| (out)(err)	S = OPTIMUM \| O = 293 T = 0.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 440 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 293 T = 1.37 \| (out)(err)	S = OPTIMUM \| O = 293 T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L2_V100_C600_4.wcnf	S = N/A \| O = 284 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.20 \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.23 \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.15 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 467 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.83 \| (out)(err)	S = OPTIMUM \| O = 249 T = 0.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_rwms_wcnf_L2_V100_C600_5.wcnf	S = N/A \| O = 286 T = 1792.28 \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 333 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.54 \| (out)(err)	S = OPTIMUM \| O = 269 T = 0.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_rwms_wcnf_L2_V100_C600_6.wcnf	S = N/A \| O = 293 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 288 T = 0.41 \| (out)(err)	S = OPTIMUM \| O = 288 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 288 T = 0.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 431 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 288 T = 1.16 \| (out)(err)	S = OPTIMUM \| O = 288 T = 0.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_rwms_wcnf_L2_V100_C600_7.wcnf	S = N/A \| O = 299 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 406 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.85 \| (out)(err)	S = OPTIMUM \| O = 292 T = 0.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_rwms_wcnf_L2_V100_C600_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.24 \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.12 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 324 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.64 \| (out)(err)	S = OPTIMUM \| O = 247 T = 0.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_rwms_wcnf_L2_V100_C600_9.wcnf	S = N/A \| O = 331 T = 1792.08 \| (out)(err)	S = OPTIMUM \| O = 314 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 314 T = 0.59 \| (out)(err)	S = OPTIMUM \| O = 314 T = 0.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 488 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 314 T = 1.10 \| (out)(err)	S = OPTIMUM \| O = 314 T = 0.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_rwms_wcnf_L3_V70_C1000_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 198 T = 722.25 \| (out)(err)	S = OPTIMUM \| O = 198 T = 468.86 \| (out)(err)	S = OPTIMUM \| O = 198 T = 500.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 331 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 198 T = 936.57 \| (out)(err)	S = OPTIMUM \| O = 198 T = 791.21 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C1000_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 212 T = 389.50 \| (out)(err)	S = OPTIMUM \| O = 212 T = 339.82 \| (out)(err)	S = OPTIMUM \| O = 212 T = 268.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 326 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 212 T = 522.26 \| (out)(err)	S = OPTIMUM \| O = 212 T = 426.81 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C1000_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 211 T = 621.31 \| (out)(err)	S = OPTIMUM \| O = 211 T = 527.90 \| (out)(err)	S = OPTIMUM \| O = 211 T = 389.14 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 334 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 211 T = 756.44 \| (out)(err)	S = OPTIMUM \| O = 211 T = 625.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_rwms_wcnf_L3_V70_C1000_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 229 T = 848.94 \| (out)(err)	S = OPTIMUM \| O = 229 T = 800.13 \| (out)(err)	S = OPTIMUM \| O = 229 T = 542.77 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 362 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 229 T = 1054.38 \| (out)(err)	S = OPTIMUM \| O = 229 T = 871.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_rwms_wcnf_L3_V70_C1000_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 202 T = 527.23 \| (out)(err)	S = OPTIMUM \| O = 202 T = 388.02 \| (out)(err)	S = OPTIMUM \| O = 202 T = 340.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 332 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 202 T = 645.78 \| (out)(err)	S = OPTIMUM \| O = 202 T = 544.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_rwms_wcnf_L3_V70_C1000_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 214 T = 990.57 \| (out)(err)	S = OPTIMUM \| O = 214 T = 417.37 \| (out)(err)	S = OPTIMUM \| O = 214 T = 653.92 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 371 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 214 T = 1254.02 \| (out)(err)	S = OPTIMUM \| O = 214 T = 1007.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_rwms_wcnf_L3_V70_C1000_6.wcnf	S = N/A \| O = 219 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 203 T = 264.66 \| (out)(err)	S = OPTIMUM \| O = 203 T = 262.74 \| (out)(err)	S = OPTIMUM \| O = 203 T = 162.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 344 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 203 T = 311.89 \| (out)(err)	S = OPTIMUM \| O = 203 T = 264.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C1000_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 265.30 \| (out)(err)	S = OPTIMUM \| O = 200 T = 252.06 \| (out)(err)	S = OPTIMUM \| O = 200 T = 172.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 221 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 200 T = 326.28 \| (out)(err)	S = OPTIMUM \| O = 200 T = 278.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_rwms_wcnf_L3_V70_C1000_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 188 T = 289.04 \| (out)(err)	S = OPTIMUM \| O = 188 T = 127.40 \| (out)(err)	S = OPTIMUM \| O = 188 T = 270.08 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 338 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 188 T = 519.66 \| (out)(err)	S = OPTIMUM \| O = 188 T = 409.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_rwms_wcnf_L3_V70_C1000_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 226 T = 809.42 \| (out)(err)	S = OPTIMUM \| O = 226 T = 774.62 \| (out)(err)	S = OPTIMUM \| O = 226 T = 539.72 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 369 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 226 T = 1003.99 \| (out)(err)	S = OPTIMUM \| O = 226 T = 828.20 \| (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_rwms_wcnf_L3_V70_C700_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 103 T = 91.90 \| (out)(err)	S = OPTIMUM \| O = 103 T = 75.61 \| (out)(err)	S = OPTIMUM \| O = 103 T = 56.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 125 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 103 T = 98.92 \| (out)(err)	S = OPTIMUM \| O = 103 T = 94.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C700_1.wcnf	S = N/A \| O = 109 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 107 T = 48.93 \| (out)(err)	S = OPTIMUM \| O = 107 T = 41.66 \| (out)(err)	S = OPTIMUM \| O = 107 T = 129.37 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 169 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 107 T = 53.97 \| (out)(err)	S = OPTIMUM \| O = 107 T = 49.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_rwms_wcnf_L3_V70_C700_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 78.04 \| (out)(err)	S = OPTIMUM \| O = 110 T = 71.92 \| (out)(err)	S = OPTIMUM \| O = 110 T = 111.86 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 129 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 83.60 \| (out)(err)	S = OPTIMUM \| O = 110 T = 78.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_rwms_wcnf_L3_V70_C700_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 102 T = 25.90 \| (out)(err)	S = OPTIMUM \| O = 102 T = 25.44 \| (out)(err)	S = OPTIMUM \| O = 102 T = 15.29 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 123 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 102 T = 27.80 \| (out)(err)	S = OPTIMUM \| O = 102 T = 26.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_rwms_wcnf_L3_V70_C700_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 88.74 \| (out)(err)	S = OPTIMUM \| O = 110 T = 54.24 \| (out)(err)	S = OPTIMUM \| O = 110 T = 53.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 152 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 110 T = 96.30 \| (out)(err)	S = OPTIMUM \| O = 110 T = 90.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_rwms_wcnf_L3_V70_C700_5.wcnf	S = N/A \| O = N/A T = 1793.20 \| (out)(err)	S = OPTIMUM \| O = 103 T = 56.20 \| (out)(err)	S = OPTIMUM \| O = 103 T = 31.89 \| (out)(err)	S = OPTIMUM \| O = 103 T = 35.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 172 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 103 T = 62.53 \| (out)(err)	S = OPTIMUM \| O = 103 T = 58.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_rwms_wcnf_L3_V70_C700_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 102 T = 40.33 \| (out)(err)	S = OPTIMUM \| O = 102 T = 31.48 \| (out)(err)	S = OPTIMUM \| O = 102 T = 25.48 \| (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 = 102 T = 45.64 \| (out)(err)	S = OPTIMUM \| O = 102 T = 43.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_rwms_wcnf_L3_V70_C700_7.wcnf	S = N/A \| O = N/A T = 1799.17 \| (out)(err)	S = OPTIMUM \| O = 104 T = 45.30 \| (out)(err)	S = OPTIMUM \| O = 104 T = 40.63 \| (out)(err)	S = OPTIMUM \| O = 104 T = 27.94 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 160 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 104 T = 48.63 \| (out)(err)	S = OPTIMUM \| O = 104 T = 46.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_rwms_wcnf_L3_V70_C700_8.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 82 T = 7.08 \| (out)(err)	S = OPTIMUM \| O = 82 T = 6.54 \| (out)(err)	S = OPTIMUM \| O = 82 T = 4.02 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 115 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 82 T = 7.43 \| (out)(err)	S = OPTIMUM \| O = 82 T = 7.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_rwms_wcnf_L3_V70_C700_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 104 T = 40.98 \| (out)(err)	S = OPTIMUM \| O = 104 T = 31.33 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 118 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 104 T = 55.66 \| (out)(err)	S = OPTIMUM \| O = 104 T = 52.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_rwms_wcnf_L3_V70_C800_0.wcnf	S = N/A \| O = N/A T = 1796.56 \| (out)(err)	S = OPTIMUM \| O = 132 T = 106.42 \| (out)(err)	S = OPTIMUM \| O = 132 T = 80.70 \| (out)(err)	S = OPTIMUM \| O = 132 T = 73.66 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 179 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 132 T = 132.81 \| (out)(err)	S = OPTIMUM \| O = 132 T = 121.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_rwms_wcnf_L3_V70_C800_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 141.41 \| (out)(err)	S = OPTIMUM \| O = 138 T = 90.06 \| (out)(err)	S = OPTIMUM \| O = 138 T = 127.26 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 183 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 214.33 \| (out)(err)	S = OPTIMUM \| O = 138 T = 189.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_rwms_wcnf_L3_V70_C800_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 110.48 \| (out)(err)	S = OPTIMUM \| O = 127 T = 46.71 \| (out)(err)	S = OPTIMUM \| O = 127 T = 68.60 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 209 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 127 T = 122.59 \| (out)(err)	S = OPTIMUM \| O = 127 T = 113.52 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C800_3.wcnf	S = N/A \| O = N/A T = 1799.72 \| (out)(err)	S = OPTIMUM \| O = 134 T = 66.91 \| (out)(err)	S = OPTIMUM \| O = 134 T = 25.60 \| (out)(err)	S = OPTIMUM \| O = 134 T = 46.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 285 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 134 T = 80.23 \| (out)(err)	S = OPTIMUM \| O = 134 T = 72.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_rwms_wcnf_L3_V70_C800_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 266.08 \| (out)(err)	S = OPTIMUM \| O = 143 T = 92.75 \| (out)(err)	S = OPTIMUM \| O = 143 T = 170.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 167 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 143 T = 295.37 \| (out)(err)	S = OPTIMUM \| O = 143 T = 270.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_rwms_wcnf_L3_V70_C800_5.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 294.75 \| (out)(err)	S = OPTIMUM \| O = 144 T = 179.06 \| (out)(err)	S = OPTIMUM \| O = 144 T = 190.44 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 252 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 144 T = 324.61 \| (out)(err)	S = OPTIMUM \| O = 144 T = 297.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_rwms_wcnf_L3_V70_C800_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 123.55 \| (out)(err)	S = OPTIMUM \| O = 135 T = 87.70 \| (out)(err)	S = OPTIMUM \| O = 135 T = 80.95 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 209 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 135 T = 143.13 \| (out)(err)	S = OPTIMUM \| O = 135 T = 130.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_rwms_wcnf_L3_V70_C800_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 187.57 \| (out)(err)	S = OPTIMUM \| O = 147 T = 102.12 \| (out)(err)	S = OPTIMUM \| O = 147 T = 137.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 232 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 147 T = 239.80 \| (out)(err)	S = OPTIMUM \| O = 147 T = 215.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_rwms_wcnf_L3_V70_C800_8.wcnf	S = N/A \| O = N/A T = 1798.59 \| (out)(err)	S = OPTIMUM \| O = 126 T = 101.14 \| (out)(err)	S = OPTIMUM \| O = 126 T = 46.45 \| (out)(err)	S = OPTIMUM \| O = 126 T = 92.44 \| (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 = 126 T = 161.60 \| (out)(err)	S = OPTIMUM \| O = 126 T = 142.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_rwms_wcnf_L3_V70_C800_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 126.31 \| (out)(err)	S = OPTIMUM \| O = 138 T = 75.46 \| (out)(err)	S = OPTIMUM \| O = 138 T = 81.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 215 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 138 T = 139.33 \| (out)(err)	S = OPTIMUM \| O = 138 T = 127.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_rwms_wcnf_L3_V70_C900_0.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 157 T = 114.94 \| (out)(err)	S = OPTIMUM \| O = 157 T = 112.92 \| (out)(err)	S = OPTIMUM \| O = 157 T = 82.62 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 267 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 157 T = 153.59 \| (out)(err)	S = OPTIMUM \| O = 157 T = 136.00 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_1.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 192 T = 462.90 \| (out)(err)	S = OPTIMUM \| O = 192 T = 427.33 \| (out)(err)	S = OPTIMUM \| O = 192 T = 309.30 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 243 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 192 T = 546.26 \| (out)(err)	S = OPTIMUM \| O = 192 T = 472.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_rwms_wcnf_L3_V70_C900_2.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 177 T = 375.25 \| (out)(err)	S = OPTIMUM \| O = 177 T = 314.31 \| (out)(err)	S = OPTIMUM \| O = 177 T = 254.05 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 211 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 177 T = 460.00 \| (out)(err)	S = OPTIMUM \| O = 177 T = 395.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 247.63 \| (out)(err)	S = OPTIMUM \| O = 163 T = 133.41 \| (out)(err)	S = OPTIMUM \| O = 163 T = 158.70 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 163 T = 291.21 \| (out)(err)	S = OPTIMUM \| O = 163 T = 253.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_rwms_wcnf_L3_V70_C900_4.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 171 T = 307.82 \| (out)(err)	S = OPTIMUM \| O = 171 T = 254.15 \| (out)(err)	S = OPTIMUM \| O = 171 T = 220.27 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 308 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 171 T = 396.87 \| (out)(err)	S = OPTIMUM \| O = 171 T = 341.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_5.wcnf	S = N/A \| O = N/A T = 1799.20 \| (out)(err)	S = OPTIMUM \| O = 175 T = 220.84 \| (out)(err)	S = OPTIMUM \| O = 175 T = 204.79 \| (out)(err)	S = OPTIMUM \| O = 175 T = 144.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 229 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 175 T = 258.56 \| (out)(err)	S = OPTIMUM \| O = 175 T = 224.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_6.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 174 T = 213.06 \| (out)(err)	S = OPTIMUM \| O = 174 T = 186.00 \| (out)(err)	S = OPTIMUM \| O = 174 T = 145.28 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 201 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 174 T = 268.67 \| (out)(err)	S = OPTIMUM \| O = 174 T = 236.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_rwms_wcnf_L3_V70_C900_7.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 194 T = 670.75 \| (out)(err)	S = OPTIMUM \| O = 194 T = 499.42 \| (out)(err)	S = OPTIMUM \| O = 194 T = 449.47 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 356 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 194 T = 801.39 \| (out)(err)	S = OPTIMUM \| O = 194 T = 684.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_rwms_wcnf_L3_V70_C900_8.wcnf	S = N/A \| O = 197 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 179 T = 250.30 \| (out)(err)	S = OPTIMUM \| O = 179 T = 249.18 \| (out)(err)	S = OPTIMUM \| O = 179 T = 160.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 244 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 179 T = 291.56 \| (out)(err)	S = OPTIMUM \| O = 179 T = 255.38 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C900_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 181 T = 260.57 \| (out)(err)	S = OPTIMUM \| O = 181 T = 230.84 \| (out)(err)	S = OPTIMUM \| O = 181 T = 174.43 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 210 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 181 T = 313.07 \| (out)(err)	S = OPTIMUM \| O = 181 T = 272.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_rwms_wcnf_L3_V70_C300_0.wcnf	S = OPTIMUM \| O = 0 T = 1.91 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.01 \| (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)	S = OPTIMUM \| O = 0 T = 0.54 \| (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_rwms_wcnf_L3_V70_C300_1.wcnf	S = OPTIMUM \| O = 1 T = 2.19 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.81 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_2.wcnf	S = OPTIMUM \| O = 0 T = 1.86 \| (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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.74 \| (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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_3.wcnf	S = OPTIMUM \| O = 0 T = 1.78 \| (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.02 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.04 \| (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_rwms_wcnf_L3_V70_C300_4.wcnf	S = OPTIMUM \| O = 1 T = 2.26 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 1.91 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_5.wcnf	S = OPTIMUM \| O = 0 T = 1.85 \| (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)	S = OPTIMUM \| O = 0 T = 0.58 \| (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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_6.wcnf	S = OPTIMUM \| O = 1 T = 2.27 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.10 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.02 \| (out)(err)	S = OPTIMUM \| O = 1 T = 1.36 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 1 T = 0.04 \| (out)(err)
file_rwms_wcnf_L3_V70_C300_7.wcnf	S = OPTIMUM \| O = 0 T = 1.86 \| (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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.85 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (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_rwms_wcnf_L3_V70_C300_8.wcnf	S = OPTIMUM \| O = 0 T = 1.72 \| (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)	S = OPTIMUM \| O = 0 T = 0.71 \| (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_rwms_wcnf_L3_V70_C300_9.wcnf	S = OPTIMUM \| O = 0 T = 2.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.01 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.00 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.99 \| (out)(err)	S = OPTIMUM \| O = 0 T = 0.02 \| (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_rwms_wcnf_L3_V70_C400_0.wcnf	S = OPTIMUM \| O = 12 T = 123.99 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.28 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.17 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 607.52 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.39 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.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_rwms_wcnf_L3_V70_C400_1.wcnf	S = OPTIMUM \| O = 19 T = 157.24 \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.36 \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.25 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 27 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.57 \| (out)(err)	S = OPTIMUM \| O = 19 T = 0.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_rwms_wcnf_L3_V70_C400_2.wcnf	S = OPTIMUM \| O = 5 T = 3.76 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.06 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.11 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 5 T = 2.57 \| (out)(err)	S = OPTIMUM \| O = 5 T = 2.28 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.09 \| (out)(err)	S = OPTIMUM \| O = 5 T = 0.08 \| (out)(err)	S = OPTIMUM \| O = 5 T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 5 T = 5.46 \| (out)(err)
file_rwms_wcnf_L3_V70_C400_3.wcnf	S = OPTIMUM \| O = 20 T = 169.82 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.47 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.38 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.22 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 22 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.49 \| (out)(err)	S = OPTIMUM \| O = 20 T = 0.49 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C400_4.wcnf	S = OPTIMUM \| O = 14 T = 120.65 \| (out)(err)	S = OPTIMUM \| O = 14 T = 0.35 \| (out)(err)	S = OPTIMUM \| O = 14 T = 0.30 \| (out)(err)	S = OPTIMUM \| O = 14 T = 0.16 \| (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 = 14 T = 0.42 \| (out)(err)	S = OPTIMUM \| O = 14 T = 0.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_rwms_wcnf_L3_V70_C400_5.wcnf	S = OPTIMUM \| O = 12 T = 41.65 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.31 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.19 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.13 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 26.42 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 12 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_rwms_wcnf_L3_V70_C400_6.wcnf	S = OPTIMUM \| O = 17 T = 261.34 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.68 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.46 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 29 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.70 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C400_7.wcnf	S = OPTIMUM \| O = 7 T = 3.40 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.01 \| (out)(err)	S = OPTIMUM \| O = 7 T = 107.12 \| (out)(err)	S = OPTIMUM \| O = 7 T = 4.02 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 7 T = 0.03 \| (out)(err)	S = OPTIMUM \| O = 7 T = 15.00 \| (out)(err)	S = OPTIMUM \| O = 7 T = 282.60 \| (out)(err)
file_rwms_wcnf_L3_V70_C400_8.wcnf	S = OPTIMUM \| O = 17 T = 106.46 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.71 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.32 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.31 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 27 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.76 \| (out)(err)	S = OPTIMUM \| O = 17 T = 0.76 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C400_9.wcnf	S = OPTIMUM \| O = 12 T = 19.89 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.12 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.14 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 12 T = 64.08 \| (out)(err)	S = OPTIMUM \| O = 12 T = 0.15 \| (out)(err)	S = OPTIMUM \| O = 12 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_rwms_wcnf_L3_V70_C500_0.wcnf	S = N/A \| O = N/A T = 1788.91 \| (out)(err)	S = OPTIMUM \| O = 36 T = 3.63 \| (out)(err)	S = OPTIMUM \| O = 36 T = 2.24 \| (out)(err)	S = OPTIMUM \| O = 36 T = 1.75 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 63 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 36 T = 3.81 \| (out)(err)	S = OPTIMUM \| O = 36 T = 3.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C500_1.wcnf	S = OPTIMUM \| O = 29 T = 284.23 \| (out)(err)	S = OPTIMUM \| O = 29 T = 1.93 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.43 \| (out)(err)	S = OPTIMUM \| O = 29 T = 0.96 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 49 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 29 T = 2.20 \| (out)(err)	S = OPTIMUM \| O = 29 T = 2.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_rwms_wcnf_L3_V70_C500_2.wcnf	S = OPTIMUM \| O = 28 T = 346.37 \| (out)(err)	S = OPTIMUM \| O = 28 T = 1.48 \| (out)(err)	S = OPTIMUM \| O = 28 T = 0.55 \| (out)(err)	S = OPTIMUM \| O = 28 T = 0.82 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 41 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 28 T = 1.83 \| (out)(err)	S = OPTIMUM \| O = 28 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_rwms_wcnf_L3_V70_C500_3.wcnf	S = N/A \| O = 50 T = 1790.68 \| (out)(err)	S = OPTIMUM \| O = 50 T = 4.17 \| (out)(err)	S = OPTIMUM \| O = 50 T = 3.29 \| (out)(err)	S = OPTIMUM \| O = 50 T = 2.35 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 57 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 50 T = 4.94 \| (out)(err)	S = OPTIMUM \| O = 50 T = 4.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_rwms_wcnf_L3_V70_C500_4.wcnf	S = N/A \| O = 39 T = 1798.58 \| (out)(err)	S = OPTIMUM \| O = 39 T = 2.29 \| (out)(err)	S = OPTIMUM \| O = 39 T = 2.07 \| (out)(err)	S = OPTIMUM \| O = 39 T = 1.18 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 58 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 39 T = 2.45 \| (out)(err)	S = OPTIMUM \| O = 39 T = 2.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_rwms_wcnf_L3_V70_C500_5.wcnf	S = OPTIMUM \| O = 30 T = 717.57 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.93 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.76 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.44 \| (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 = 30 T = 0.94 \| (out)(err)	S = OPTIMUM \| O = 30 T = 0.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_rwms_wcnf_L3_V70_C500_6.wcnf	S = N/A \| O = N/A T = 1796.53 \| (out)(err)	S = OPTIMUM \| O = 46 T = 8.83 \| (out)(err)	S = OPTIMUM \| O = 46 T = 4.37 \| (out)(err)	S = OPTIMUM \| O = 46 T = 4.41 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 161 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 46 T = 9.01 \| (out)(err)	S = OPTIMUM \| O = 46 T = 8.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_rwms_wcnf_L3_V70_C500_7.wcnf	S = N/A \| O = N/A T = 1798.96 \| (out)(err)	S = OPTIMUM \| O = 41 T = 6.08 \| (out)(err)	S = OPTIMUM \| O = 41 T = 3.06 \| (out)(err)	S = OPTIMUM \| O = 41 T = 2.98 \| (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 = 41 T = 6.20 \| (out)(err)	S = OPTIMUM \| O = 41 T = 6.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_rwms_wcnf_L3_V70_C500_8.wcnf	S = N/A \| O = 51 T = 1790.74 \| (out)(err)	S = OPTIMUM \| O = 51 T = 6.27 \| (out)(err)	S = OPTIMUM \| O = 51 T = 5.93 \| (out)(err)	S = OPTIMUM \| O = 51 T = 3.20 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 71 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 51 T = 6.42 \| (out)(err)	S = OPTIMUM \| O = 51 T = 6.40 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C500_9.wcnf	S = N/A \| O = 41 T = 1786.01 \| (out)(err)	S = OPTIMUM \| O = 41 T = 1.34 \| (out)(err)	S = OPTIMUM \| O = 41 T = 1.39 \| (out)(err)	S = OPTIMUM \| O = 41 T = 0.67 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 64 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 41 T = 1.33 \| (out)(err)	S = OPTIMUM \| O = 41 T = 1.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_rwms_wcnf_L3_V70_C600_0.wcnf	S = N/A \| O = 70 T = 1790.17 \| (out)(err)	S = OPTIMUM \| O = 68 T = 11.64 \| (out)(err)	S = OPTIMUM \| O = 68 T = 11.51 \| (out)(err)	S = OPTIMUM \| O = 68 T = 6.24 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 92 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 68 T = 12.13 \| (out)(err)	S = OPTIMUM \| O = 68 T = 11.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C600_1.wcnf	S = N/A \| O = 70 T = 1799.26 \| (out)(err)	S = OPTIMUM \| O = 64 T = 7.45 \| (out)(err)	S = OPTIMUM \| O = 64 T = 4.96 \| (out)(err)	S = OPTIMUM \| O = 64 T = 4.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 91 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 64 T = 8.49 \| (out)(err)	S = OPTIMUM \| O = 64 T = 8.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_rwms_wcnf_L3_V70_C600_2.wcnf	S = N/A \| O = 66 T = 1794.64 \| (out)(err)	S = OPTIMUM \| O = 66 T = 25.21 \| (out)(err)	S = OPTIMUM \| O = 66 T = 8.84 \| (out)(err)	S = OPTIMUM \| O = 66 T = 15.45 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 91 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 66 T = 28.83 \| (out)(err)	S = OPTIMUM \| O = 66 T = 28.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_rwms_wcnf_L3_V70_C600_3.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 73 T = 14.72 \| (out)(err)	S = OPTIMUM \| O = 73 T = 7.25 \| (out)(err)	S = OPTIMUM \| O = 73 T = 8.98 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 145 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 73 T = 16.77 \| (out)(err)	S = OPTIMUM \| O = 73 T = 15.79 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C600_4.wcnf	S = N/A \| O = N/A T = 1798.14 \| (out)(err)	S = OPTIMUM \| O = 51 T = 3.23 \| (out)(err)	S = OPTIMUM \| O = 51 T = 2.76 \| (out)(err)	S = OPTIMUM \| O = 51 T = 2.73 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 58 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 51 T = 5.60 \| (out)(err)	S = OPTIMUM \| O = 51 T = 5.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_rwms_wcnf_L3_V70_C600_5.wcnf	S = N/A \| O = N/A T = 1793.29 \| (out)(err)	S = OPTIMUM \| O = 59 T = 4.57 \| (out)(err)	S = OPTIMUM \| O = 59 T = 3.99 \| (out)(err)	S = OPTIMUM \| O = 59 T = 2.32 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 64 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 59 T = 4.60 \| (out)(err)	S = OPTIMUM \| O = 59 T = 4.69 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)
file_rwms_wcnf_L3_V70_C600_6.wcnf	S = N/A \| O = N/A T = 1799.44 \| (out)(err)	S = OPTIMUM \| O = 66 T = 15.37 \| (out)(err)	S = OPTIMUM \| O = 66 T = 11.62 \| (out)(err)	S = OPTIMUM \| O = 66 T = 8.19 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 91 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 66 T = 16.13 \| (out)(err)	S = OPTIMUM \| O = 66 T = 15.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_rwms_wcnf_L3_V70_C600_7.wcnf	S = N/A \| O = N/A T = 1797.27 \| (out)(err)	S = OPTIMUM \| O = 67 T = 15.60 \| (out)(err)	S = OPTIMUM \| O = 67 T = 10.39 \| (out)(err)	S = OPTIMUM \| O = 67 T = 8.78 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 117 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 67 T = 17.35 \| (out)(err)	S = OPTIMUM \| O = 67 T = 16.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_rwms_wcnf_L3_V70_C600_8.wcnf	S = N/A \| O = N/A T = 1799.24 \| (out)(err)	S = OPTIMUM \| O = 60 T = 4.85 \| (out)(err)	S = OPTIMUM \| O = 60 T = 3.08 \| (out)(err)	S = OPTIMUM \| O = 60 T = 3.06 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 94 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 60 T = 5.86 \| (out)(err)	S = OPTIMUM \| O = 60 T = 4.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_rwms_wcnf_L3_V70_C600_9.wcnf	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = OPTIMUM \| O = 67 T = 9.34 \| (out)(err)	S = OPTIMUM \| O = 67 T = 5.93 \| (out)(err)	S = OPTIMUM \| O = 67 T = 5.09 \| (out)(err)	S = N/A \| O = N/A T = Time Out \| (out)(err)	S = N/A \| O = 92 T = Time Out \| (out)(err)	S = OPTIMUM \| O = 67 T = 9.77 \| (out)(err)	S = OPTIMUM \| O = 67 T = 9.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)