Benchmark

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

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

Instance file name IncWMaxSatz LSW_Power SAT4J-MAXSAT-2.2.0 WMaxSatz+ WMaxSatz-2009 WMaxsat_Power WPM1 WPM2 akmaxsat akmaxsat_ls wbo-1.4a-wcnf wbo-1.4b-wcnf
file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf S = OPTIMUM | O = 4231
T = 2.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4619
T = Time Out | (out)(err)
S = OPTIMUM | O = 4231
T = 1.85 | (out)(err)
S = OPTIMUM | O = 4231
T = 2.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 81.28 | (out)(err)
S = OPTIMUM | O = 4231
T = 6.26 | (out)(err)
S = OPTIMUM | O = 4231
T = 6.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 20558
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_1.wcnf S = UNSAT | O = 21959
T = 0.14 | (out)(err)
S = UNSAT | O = 21959
T = 0.07 | (out)(err)
S = UNSAT | O = N/A
T = 1.53 | (out)(err)
S = UNSAT | O = 21959
T = 0.07 | (out)(err)
S = UNSAT | O = 21959
T = 0.07 | (out)(err)
S = UNSAT | O = 21959
T = 0.08 | (out)(err)
S = UNSAT | O = N/A
T = 0.02 | (out)(err)
S = N/A | O = N/A
T = 0.09 | (out)(err)
S = UNSAT | O = N/A
T = 0.07 | (out)(err)
S = UNSAT | O = 21959
T = 0.78 | (out)(err)
S = UNSAT | O = N/A
T = 44.68 | (out)(err)
S = N/A | O = N/A
T = 0.01 | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_2.wcnf S = OPTIMUM | O = 4235
T = 7.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4741
T = Time Out | (out)(err)
S = OPTIMUM | O = 4235
T = 7.71 | (out)(err)
S = OPTIMUM | O = 4235
T = 6.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 34.99 | (out)(err)
S = OPTIMUM | O = 4235
T = 4.35 | (out)(err)
S = OPTIMUM | O = 4235
T = 4.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = 20240
T = 180.75 | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_3.wcnf S = OPTIMUM | O = 4037
T = 44.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4739
T = Time Out | (out)(err)
S = OPTIMUM | O = 4037
T = 13.85 | (out)(err)
S = OPTIMUM | O = 4037
T = 13.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 28.81 | (out)(err)
S = OPTIMUM | O = 4037
T = 9.64 | (out)(err)
S = OPTIMUM | O = 4037
T = 8.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 20666
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf S = OPTIMUM | O = 4031
T = 92.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4680
T = Time Out | (out)(err)
S = OPTIMUM | O = 4031
T = 33.42 | (out)(err)
S = OPTIMUM | O = 4031
T = 33.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 16.09 | (out)(err)
S = OPTIMUM | O = 4031
T = 20.10 | (out)(err)
S = OPTIMUM | O = 4031
T = 10.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 20811
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_5.wcnf S = OPTIMUM | O = 4144
T = 171.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4809
T = Time Out | (out)(err)
S = OPTIMUM | O = 4144
T = 79.22 | (out)(err)
S = OPTIMUM | O = 4144
T = 80.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 48.77 | (out)(err)
S = OPTIMUM | O = 4144
T = 49.62 | (out)(err)
S = OPTIMUM | O = 4144
T = 24.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 20889
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf S = OPTIMUM | O = 4149
T = 169.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4777
T = Time Out | (out)(err)
S = OPTIMUM | O = 4149
T = 81.75 | (out)(err)
S = OPTIMUM | O = 4149
T = 81.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 6.92 | (out)(err)
S = OPTIMUM | O = 4149
T = 53.75 | (out)(err)
S = OPTIMUM | O = 4149
T = 36.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 20527
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_7.wcnf S = OPTIMUM | O = 4043
T = 305.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4669
T = Time Out | (out)(err)
S = OPTIMUM | O = 4043
T = 107.12 | (out)(err)
S = OPTIMUM | O = 4043
T = 111.01 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 58.07 | (out)(err)
S = OPTIMUM | O = 4043
T = 41.02 | (out)(err)
S = OPTIMUM | O = 4043
T = 13.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 20440
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf S = OPTIMUM | O = 4078
T = 534.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4815
T = Time Out | (out)(err)
S = OPTIMUM | O = 4078
T = 172.72 | (out)(err)
S = OPTIMUM | O = 4078
T = 175.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 23.48 | (out)(err)
S = OPTIMUM | O = 4078
T = 65.49 | (out)(err)
S = OPTIMUM | O = 4078
T = 24.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 20808
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4000_H150_9.wcnf S = OPTIMUM | O = 4328
T = 71.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4931
T = Time Out | (out)(err)
S = OPTIMUM | O = 4328
T = 20.63 | (out)(err)
S = OPTIMUM | O = 4328
T = 20.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)
S = UNSAT | O = N/A
T = 46.35 | (out)(err)
S = OPTIMUM | O = 4328
T = 13.24 | (out)(err)
S = OPTIMUM | O = 4328
T = 9.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 20973
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf S = OPTIMUM | O = 4572
T = 775.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5375
T = Time Out | (out)(err)
S = OPTIMUM | O = 4572
T = 142.22 | (out)(err)
S = OPTIMUM | O = 4572
T = 136.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 4572
T = 53.33 | (out)(err)
S = OPTIMUM | O = 4572
T = 24.53 | (out)(err)
S = N/A | O = N/A
T = 1800.00 | (out)(err)
S = N/A | O = 23311
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf S = OPTIMUM | O = 4967
T = 480.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5604
T = Time Out | (out)(err)
S = OPTIMUM | O = 4967
T = 151.59 | (out)(err)
S = OPTIMUM | O = 4967
T = 153.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 229.61 | (out)(err)
S = OPTIMUM | O = 4967
T = 61.87 | (out)(err)
S = OPTIMUM | O = 4967
T = 27.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 23388
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_2.wcnf S = OPTIMUM | O = 4961
T = 86.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5530
T = Time Out | (out)(err)
S = OPTIMUM | O = 4961
T = 30.16 | (out)(err)
S = OPTIMUM | O = 4961
T = 29.71 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 174.47 | (out)(err)
S = OPTIMUM | O = 4961
T = 21.11 | (out)(err)
S = OPTIMUM | O = 4961
T = 16.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 23641
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf S = OPTIMUM | O = 4614
T = 28.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5386
T = Time Out | (out)(err)
S = OPTIMUM | O = 4614
T = 16.94 | (out)(err)
S = OPTIMUM | O = 4614
T = 16.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 112.62 | (out)(err)
S = OPTIMUM | O = 4614
T = 14.41 | (out)(err)
S = OPTIMUM | O = 4614
T = 12.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 23269
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf S = OPTIMUM | O = 4794
T = 960.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5406
T = Time Out | (out)(err)
S = OPTIMUM | O = 4794
T = 166.22 | (out)(err)
S = OPTIMUM | O = 4794
T = 168.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 26.90 | (out)(err)
S = OPTIMUM | O = 4794
T = 87.25 | (out)(err)
S = OPTIMUM | O = 4794
T = 52.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 23367
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf S = OPTIMUM | O = 4687
T = 172.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5471
T = Time Out | (out)(err)
S = OPTIMUM | O = 4687
T = 42.88 | (out)(err)
S = OPTIMUM | O = 4687
T = 43.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 5.48 | (out)(err)
S = OPTIMUM | O = 4687
T = 29.11 | (out)(err)
S = OPTIMUM | O = 4687
T = 19.92 | (out)(err)
S = N/A | O = N/A
T = 1800.00 | (out)(err)
S = N/A | O = 23494
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf S = OPTIMUM | O = 4605
T = 197.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5391
T = Time Out | (out)(err)
S = OPTIMUM | O = 4605
T = 69.48 | (out)(err)
S = OPTIMUM | O = 4605
T = 69.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 55.16 | (out)(err)
S = OPTIMUM | O = 4605
T = 34.30 | (out)(err)
S = OPTIMUM | O = 4605
T = 8.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 23370
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf S = OPTIMUM | O = 4710
T = 239.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5376
T = Time Out | (out)(err)
S = OPTIMUM | O = 4710
T = 57.51 | (out)(err)
S = OPTIMUM | O = 4710
T = 57.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 74.50 | (out)(err)
S = OPTIMUM | O = 4710
T = 39.00 | (out)(err)
S = OPTIMUM | O = 4710
T = 26.47 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 23381
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf S = OPTIMUM | O = 4945
T = 63.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5516
T = Time Out | (out)(err)
S = OPTIMUM | O = 4945
T = 32.91 | (out)(err)
S = OPTIMUM | O = 4945
T = 34.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 22.58 | (out)(err)
S = OPTIMUM | O = 4945
T = 22.11 | (out)(err)
S = OPTIMUM | O = 4945
T = 11.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 23494
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf S = OPTIMUM | O = 5023
T = 105.67 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5605
T = Time Out | (out)(err)
S = OPTIMUM | O = 5023
T = 52.71 | (out)(err)
S = OPTIMUM | O = 5023
T = 52.73 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 64.34 | (out)(err)
S = OPTIMUM | O = 5023
T = 28.33 | (out)(err)
S = OPTIMUM | O = 5023
T = 15.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 23782
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_0.wcnf S = OPTIMUM | O = 5362
T = 69.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6045
T = Time Out | (out)(err)
S = OPTIMUM | O = 5362
T = 33.98 | (out)(err)
S = OPTIMUM | O = 5362
T = 33.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 8.40 | (out)(err)
S = OPTIMUM | O = 5362
T = 17.49 | (out)(err)
S = OPTIMUM | O = 5362
T = 6.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26348
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf S = OPTIMUM | O = 5338
T = 146.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6173
T = Time Out | (out)(err)
S = OPTIMUM | O = 5338
T = 66.02 | (out)(err)
S = OPTIMUM | O = 5338
T = 70.49 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 44.93 | (out)(err)
S = OPTIMUM | O = 5338
T = 30.78 | (out)(err)
S = OPTIMUM | O = 5338
T = 7.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26322
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf S = OPTIMUM | O = 5312
T = 504.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6186
T = Time Out | (out)(err)
S = OPTIMUM | O = 5312
T = 147.11 | (out)(err)
S = OPTIMUM | O = 5312
T = 145.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 1.36 | (out)(err)
S = OPTIMUM | O = 5312
T = 61.83 | (out)(err)
S = OPTIMUM | O = 5312
T = 12.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26532
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_3.wcnf S = OPTIMUM | O = 5507
T = 95.35 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6219
T = Time Out | (out)(err)
S = OPTIMUM | O = 5507
T = 29.70 | (out)(err)
S = OPTIMUM | O = 5507
T = 30.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 21.67 | (out)(err)
S = OPTIMUM | O = 5507
T = 22.61 | (out)(err)
S = OPTIMUM | O = 5507
T = 16.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26471
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_4.wcnf S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6225
T = Time Out | (out)(err)
S = OPTIMUM | O = 5451
T = 352.56 | (out)(err)
S = OPTIMUM | O = 5451
T = 350.67 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 243.64 | (out)(err)
S = OPTIMUM | O = 5451
T = 102.15 | (out)(err)
S = OPTIMUM | O = 5451
T = 64.37 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26163
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_5.wcnf S = OPTIMUM | O = 5308
T = 170.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6048
T = Time Out | (out)(err)
S = OPTIMUM | O = 5308
T = 51.68 | (out)(err)
S = OPTIMUM | O = 5308
T = 53.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 36.62 | (out)(err)
S = OPTIMUM | O = 5308
T = 17.30 | (out)(err)
S = OPTIMUM | O = 5308
T = 11.76 | (out)(err)
S = N/A | O = N/A
T = 1800.00 | (out)(err)
S = N/A | O = 26103
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf S = OPTIMUM | O = 5428
T = 177.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6098
T = Time Out | (out)(err)
S = OPTIMUM | O = 5428
T = 59.95 | (out)(err)
S = OPTIMUM | O = 5428
T = 59.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 29.77 | (out)(err)
S = OPTIMUM | O = 5428
T = 32.40 | (out)(err)
S = OPTIMUM | O = 5428
T = 22.41 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26235
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_7.wcnf S = OPTIMUM | O = 5468
T = 583.95 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5952
T = Time Out | (out)(err)
S = OPTIMUM | O = 5468
T = 217.63 | (out)(err)
S = OPTIMUM | O = 5468
T = 210.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 9.59 | (out)(err)
S = OPTIMUM | O = 5468
T = 75.89 | (out)(err)
S = OPTIMUM | O = 5468
T = 38.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26567
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf S = OPTIMUM | O = 5339
T = 16.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 5962
T = Time Out | (out)(err)
S = OPTIMUM | O = 5339
T = 13.29 | (out)(err)
S = OPTIMUM | O = 5339
T = 13.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 5339
T = 17.04 | (out)(err)
S = OPTIMUM | O = 5339
T = 8.22 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26300
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf S = OPTIMUM | O = 5376
T = 133.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6205
T = Time Out | (out)(err)
S = OPTIMUM | O = 5376
T = 26.41 | (out)(err)
S = OPTIMUM | O = 5376
T = 27.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 696.28 | (out)(err)
S = OPTIMUM | O = 5376
T = 23.04 | (out)(err)
S = OPTIMUM | O = 5376
T = 9.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 26161
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_0.wcnf S = OPTIMUM | O = 626
T = 0.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 756
T = Time Out | (out)(err)
S = OPTIMUM | O = 626
T = 0.18 | (out)(err)
S = OPTIMUM | O = 626
T = 0.18 | (out)(err)
S = OPTIMUM | O = 626
T = 0.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 9.62 | (out)(err)
S = OPTIMUM | O = 626
T = 0.46 | (out)(err)
S = OPTIMUM | O = 626
T = 0.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3668
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf S = OPTIMUM | O = 745
T = 0.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 869
T = Time Out | (out)(err)
S = OPTIMUM | O = 745
T = 0.35 | (out)(err)
S = OPTIMUM | O = 745
T = 0.34 | (out)(err)
S = OPTIMUM | O = 745
T = 0.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 745
T = 1.36 | (out)(err)
S = OPTIMUM | O = 745
T = 1.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3819
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf S = OPTIMUM | O = 629
T = 0.08 | (out)(err)
S = N/A | O = 6162
T = Time Out | (out)(err)
S = N/A | O = 746
T = Time Out | (out)(err)
S = OPTIMUM | O = 629
T = 0.09 | (out)(err)
S = OPTIMUM | O = 629
T = 0.09 | (out)(err)
S = OPTIMUM | O = 629
T = 0.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 629
T = 0.26 | (out)(err)
S = OPTIMUM | O = 629
T = 0.47 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3649
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_3.wcnf S = OPTIMUM | O = 723
T = 0.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 884
T = Time Out | (out)(err)
S = OPTIMUM | O = 723
T = 0.56 | (out)(err)
S = OPTIMUM | O = 723
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)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 723
T = 0.89 | (out)(err)
S = OPTIMUM | O = 723
T = 0.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3636
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf S = OPTIMUM | O = 737
T = 0.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 855
T = Time Out | (out)(err)
S = OPTIMUM | O = 737
T = 0.14 | (out)(err)
S = OPTIMUM | O = 737
T = 0.14 | (out)(err)
S = OPTIMUM | O = 737
T = 0.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 737
T = 0.32 | (out)(err)
S = OPTIMUM | O = 737
T = 0.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3844
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_5.wcnf S = OPTIMUM | O = 668
T = 0.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 721
T = Time Out | (out)(err)
S = OPTIMUM | O = 668
T = 0.14 | (out)(err)
S = OPTIMUM | O = 668
T = 0.12 | (out)(err)
S = OPTIMUM | O = 668
T = 0.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 0.53 | (out)(err)
S = OPTIMUM | O = 668
T = 0.38 | (out)(err)
S = OPTIMUM | O = 668
T = 0.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3785
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf S = OPTIMUM | O = 641
T = 0.04 | (out)(err)
S = N/A | O = 734
T = Time Out | (out)(err)
S = N/A | O = 767
T = Time Out | (out)(err)
S = OPTIMUM | O = 641
T = 0.07 | (out)(err)
S = OPTIMUM | O = 641
T = 0.06 | (out)(err)
S = OPTIMUM | O = 641
T = 0.07 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 1.24 | (out)(err)
S = OPTIMUM | O = 641
T = 0.21 | (out)(err)
S = OPTIMUM | O = 641
T = 0.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3735
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf S = OPTIMUM | O = 688
T = 0.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 807
T = Time Out | (out)(err)
S = OPTIMUM | O = 688
T = 0.26 | (out)(err)
S = OPTIMUM | O = 688
T = 0.24 | (out)(err)
S = OPTIMUM | O = 688
T = 0.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 688
T = 0.82 | (out)(err)
S = OPTIMUM | O = 688
T = 0.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3630
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf S = OPTIMUM | O = 577
T = 0.23 | (out)(err)
S = N/A | O = 11801
T = Time Out | (out)(err)
S = N/A | O = 738
T = Time Out | (out)(err)
S = OPTIMUM | O = 577
T = 0.31 | (out)(err)
S = OPTIMUM | O = 577
T = 0.30 | (out)(err)
S = OPTIMUM | O = 577
T = 0.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 0.98 | (out)(err)
S = OPTIMUM | O = 577
T = 0.69 | (out)(err)
S = OPTIMUM | O = 577
T = 0.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3713
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1000_H150_9.wcnf S = OPTIMUM | O = 714
T = 0.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 822
T = Time Out | (out)(err)
S = OPTIMUM | O = 714
T = 0.11 | (out)(err)
S = OPTIMUM | O = 714
T = 0.12 | (out)(err)
S = OPTIMUM | O = 714
T = 0.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 714
T = 0.41 | (out)(err)
S = OPTIMUM | O = 714
T = 0.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3735
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf S = OPTIMUM | O = 1121
T = 2.63 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1391
T = Time Out | (out)(err)
S = OPTIMUM | O = 1121
T = 2.37 | (out)(err)
S = OPTIMUM | O = 1121
T = 2.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 722.95 | (out)(err)
S = OPTIMUM | O = 1121
T = 4.49 | (out)(err)
S = OPTIMUM | O = 1121
T = 3.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6551
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_1.wcnf S = OPTIMUM | O = 1142
T = 0.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1323
T = Time Out | (out)(err)
S = OPTIMUM | O = 1142
T = 1.15 | (out)(err)
S = OPTIMUM | O = 1142
T = 1.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)
S = UNSAT | O = N/A
T = 2.54 | (out)(err)
S = OPTIMUM | O = 1142
T = 1.89 | (out)(err)
S = OPTIMUM | O = 1142
T = 1.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6712
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_2.wcnf S = OPTIMUM | O = 1252
T = 1.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1592
T = Time Out | (out)(err)
S = OPTIMUM | O = 1252
T = 1.81 | (out)(err)
S = OPTIMUM | O = 1252
T = 1.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 49.70 | (out)(err)
S = OPTIMUM | O = 1252
T = 2.83 | (out)(err)
S = OPTIMUM | O = 1252
T = 2.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 7035
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf S = OPTIMUM | O = 1295
T = 1.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1428
T = Time Out | (out)(err)
S = OPTIMUM | O = 1295
T = 1.01 | (out)(err)
S = OPTIMUM | O = 1295
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)
S = UNSAT | O = N/A
T = 4.75 | (out)(err)
S = OPTIMUM | O = 1295
T = 2.07 | (out)(err)
S = OPTIMUM | O = 1295
T = 1.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6644
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf S = OPTIMUM | O = 1261
T = 1.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1546
T = Time Out | (out)(err)
S = OPTIMUM | O = 1261
T = 1.68 | (out)(err)
S = OPTIMUM | O = 1261
T = 1.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 1261
T = 2.34 | (out)(err)
S = OPTIMUM | O = 1261
T = 2.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6574
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_5.wcnf S = OPTIMUM | O = 1047
T = 2.33 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1292
T = Time Out | (out)(err)
S = OPTIMUM | O = 1047
T = 3.87 | (out)(err)
S = OPTIMUM | O = 1047
T = 3.88 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 1047
T = 4.79 | (out)(err)
S = OPTIMUM | O = 1047
T = 1.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6561
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf S = OPTIMUM | O = 1175
T = 0.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1361
T = Time Out | (out)(err)
S = OPTIMUM | O = 1175
T = 0.24 | (out)(err)
S = OPTIMUM | O = 1175
T = 0.24 | (out)(err)
S = OPTIMUM | O = 1175
T = 0.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 1175
T = 0.74 | (out)(err)
S = OPTIMUM | O = 1175
T = 1.06 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6573
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_7.wcnf S = OPTIMUM | O = 1145
T = 1.30 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1355
T = Time Out | (out)(err)
S = OPTIMUM | O = 1145
T = 1.60 | (out)(err)
S = OPTIMUM | O = 1145
T = 1.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 7.30 | (out)(err)
S = OPTIMUM | O = 1145
T = 2.76 | (out)(err)
S = OPTIMUM | O = 1145
T = 1.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6542
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf S = OPTIMUM | O = 1135
T = 2.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1401
T = Time Out | (out)(err)
S = OPTIMUM | O = 1135
T = 3.26 | (out)(err)
S = OPTIMUM | O = 1135
T = 3.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 1135
T = 3.18 | (out)(err)
S = OPTIMUM | O = 1135
T = 2.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6503
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C1500_H150_9.wcnf S = OPTIMUM | O = 1232
T = 1.63 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1389
T = Time Out | (out)(err)
S = OPTIMUM | O = 1232
T = 2.25 | (out)(err)
S = OPTIMUM | O = 1232
T = 2.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 1232
T = 3.87 | (out)(err)
S = OPTIMUM | O = 1232
T = 2.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 6774
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_0.wcnf S = OPTIMUM | O = 1842
T = 5.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2209
T = Time Out | (out)(err)
S = OPTIMUM | O = 1842
T = 7.29 | (out)(err)
S = OPTIMUM | O = 1842
T = 7.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 20.53 | (out)(err)
S = OPTIMUM | O = 1842
T = 9.48 | (out)(err)
S = OPTIMUM | O = 1842
T = 4.63 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9484
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_1.wcnf S = OPTIMUM | O = 1699
T = 1.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2110
T = Time Out | (out)(err)
S = OPTIMUM | O = 1699
T = 1.50 | (out)(err)
S = OPTIMUM | O = 1699
T = 1.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 4.60 | (out)(err)
S = OPTIMUM | O = 1699
T = 2.94 | (out)(err)
S = OPTIMUM | O = 1699
T = 2.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9554
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_2.wcnf S = OPTIMUM | O = 1730
T = 3.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2165
T = Time Out | (out)(err)
S = OPTIMUM | O = 1730
T = 4.99 | (out)(err)
S = OPTIMUM | O = 1730
T = 4.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 1730
T = 3.23 | (out)(err)
S = OPTIMUM | O = 1730
T = 2.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9438
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_3.wcnf S = OPTIMUM | O = 1885
T = 3.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2200
T = Time Out | (out)(err)
S = OPTIMUM | O = 1885
T = 4.59 | (out)(err)
S = OPTIMUM | O = 1885
T = 4.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 7.02 | (out)(err)
S = OPTIMUM | O = 1885
T = 5.71 | (out)(err)
S = OPTIMUM | O = 1885
T = 3.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9624
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_4.wcnf S = OPTIMUM | O = 2043
T = 1.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2267
T = Time Out | (out)(err)
S = OPTIMUM | O = 2043
T = 2.40 | (out)(err)
S = OPTIMUM | O = 2043
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)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 2043
T = 2.77 | (out)(err)
S = OPTIMUM | O = 2043
T = 2.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9708
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_5.wcnf S = OPTIMUM | O = 1818
T = 14.46 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2056
T = Time Out | (out)(err)
S = OPTIMUM | O = 1818
T = 7.05 | (out)(err)
S = OPTIMUM | O = 1818
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)
S = UNSAT | O = N/A
T = 17.68 | (out)(err)
S = OPTIMUM | O = 1818
T = 10.83 | (out)(err)
S = OPTIMUM | O = 1818
T = 3.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9490
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf S = OPTIMUM | O = 1832
T = 0.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2097
T = Time Out | (out)(err)
S = OPTIMUM | O = 1832
T = 1.18 | (out)(err)
S = OPTIMUM | O = 1832
T = 1.17 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 9.12 | (out)(err)
S = OPTIMUM | O = 1832
T = 2.59 | (out)(err)
S = OPTIMUM | O = 1832
T = 2.04 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9531
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_7.wcnf S = OPTIMUM | O = 1780
T = 3.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2064
T = Time Out | (out)(err)
S = OPTIMUM | O = 1780
T = 3.48 | (out)(err)
S = OPTIMUM | O = 1780
T = 3.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 28.41 | (out)(err)
S = OPTIMUM | O = 1780
T = 7.14 | (out)(err)
S = OPTIMUM | O = 1780
T = 4.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9322
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_8.wcnf S = OPTIMUM | O = 1726
T = 1.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2072
T = Time Out | (out)(err)
S = OPTIMUM | O = 1726
T = 2.98 | (out)(err)
S = OPTIMUM | O = 1726
T = 2.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 1726
T = 3.92 | (out)(err)
S = OPTIMUM | O = 1726
T = 2.59 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9600
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2000_H150_9.wcnf S = OPTIMUM | O = 1807
T = 16.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2151
T = Time Out | (out)(err)
S = OPTIMUM | O = 1807
T = 12.13 | (out)(err)
S = OPTIMUM | O = 1807
T = 12.53 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 1807
T = 12.04 | (out)(err)
S = OPTIMUM | O = 1807
T = 8.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 9617
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_0.wcnf S = OPTIMUM | O = 2414
T = 2.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2842
T = Time Out | (out)(err)
S = OPTIMUM | O = 2414
T = 2.87 | (out)(err)
S = OPTIMUM | O = 2414
T = 2.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 10.70 | (out)(err)
S = OPTIMUM | O = 2414
T = 3.94 | (out)(err)
S = OPTIMUM | O = 2414
T = 2.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12066
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_1.wcnf S = OPTIMUM | O = 2398
T = 10.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2780
T = Time Out | (out)(err)
S = OPTIMUM | O = 2398
T = 6.98 | (out)(err)
S = OPTIMUM | O = 2398
T = 7.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 16.15 | (out)(err)
S = OPTIMUM | O = 2398
T = 6.19 | (out)(err)
S = OPTIMUM | O = 2398
T = 4.89 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12199
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf S = OPTIMUM | O = 2113
T = 15.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2634
T = Time Out | (out)(err)
S = OPTIMUM | O = 2113
T = 12.90 | (out)(err)
S = OPTIMUM | O = 2113
T = 12.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 158.91 | (out)(err)
S = OPTIMUM | O = 2113
T = 10.83 | (out)(err)
S = OPTIMUM | O = 2113
T = 3.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12037
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf S = OPTIMUM | O = 2339
T = 10.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2827
T = Time Out | (out)(err)
S = OPTIMUM | O = 2339
T = 10.02 | (out)(err)
S = OPTIMUM | O = 2339
T = 10.84 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 13.88 | (out)(err)
S = OPTIMUM | O = 2339
T = 8.11 | (out)(err)
S = OPTIMUM | O = 2339
T = 6.95 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12412
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_4.wcnf S = OPTIMUM | O = 2390
T = 4.63 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2745
T = Time Out | (out)(err)
S = OPTIMUM | O = 2390
T = 2.83 | (out)(err)
S = OPTIMUM | O = 2390
T = 2.81 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 2390
T = 4.60 | (out)(err)
S = OPTIMUM | O = 2390
T = 4.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12141
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_5.wcnf S = OPTIMUM | O = 2332
T = 1.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2821
T = Time Out | (out)(err)
S = OPTIMUM | O = 2332
T = 1.37 | (out)(err)
S = OPTIMUM | O = 2332
T = 1.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)
S = UNSAT | O = N/A
T = 12.66 | (out)(err)
S = OPTIMUM | O = 2332
T = 4.33 | (out)(err)
S = OPTIMUM | O = 2332
T = 4.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12403
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_6.wcnf S = OPTIMUM | O = 2488
T = 8.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2851
T = Time Out | (out)(err)
S = OPTIMUM | O = 2488
T = 6.57 | (out)(err)
S = OPTIMUM | O = 2488
T = 6.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 7.20 | (out)(err)
S = OPTIMUM | O = 2488
T = 7.43 | (out)(err)
S = OPTIMUM | O = 2488
T = 6.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12273
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf S = OPTIMUM | O = 2241
T = 17.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2612
T = Time Out | (out)(err)
S = OPTIMUM | O = 2241
T = 13.90 | (out)(err)
S = OPTIMUM | O = 2241
T = 14.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 27.35 | (out)(err)
S = OPTIMUM | O = 2241
T = 11.14 | (out)(err)
S = OPTIMUM | O = 2241
T = 3.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12234
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_8.wcnf S = OPTIMUM | O = 2353
T = 16.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2747
T = Time Out | (out)(err)
S = OPTIMUM | O = 2353
T = 12.05 | (out)(err)
S = OPTIMUM | O = 2353
T = 12.02 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 1.94 | (out)(err)
S = OPTIMUM | O = 2353
T = 10.42 | (out)(err)
S = OPTIMUM | O = 2353
T = 6.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 12014
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C2500_H150_9.wcnf S = OPTIMUM | O = 2560
T = 1.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2920
T = Time Out | (out)(err)
S = OPTIMUM | O = 2560
T = 2.69 | (out)(err)
S = OPTIMUM | O = 2560
T = 2.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 5.26 | (out)(err)
S = OPTIMUM | O = 2560
T = 2.16 | (out)(err)
S = OPTIMUM | O = 2560
T = 1.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = 12094
T = 180.56 | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf S = OPTIMUM | O = 2885
T = 89.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3290
T = Time Out | (out)(err)
S = OPTIMUM | O = 2885
T = 45.93 | (out)(err)
S = OPTIMUM | O = 2885
T = 51.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 6.51 | (out)(err)
S = OPTIMUM | O = 2885
T = 30.44 | (out)(err)
S = OPTIMUM | O = 2885
T = 19.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 14932
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf S = OPTIMUM | O = 2918
T = 77.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3316
T = Time Out | (out)(err)
S = OPTIMUM | O = 2918
T = 28.03 | (out)(err)
S = OPTIMUM | O = 2918
T = 28.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 18.82 | (out)(err)
S = OPTIMUM | O = 2918
T = 23.70 | (out)(err)
S = OPTIMUM | O = 2918
T = 16.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 15105
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_2.wcnf S = OPTIMUM | O = 2878
T = 25.54 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3342
T = Time Out | (out)(err)
S = OPTIMUM | O = 2878
T = 21.97 | (out)(err)
S = OPTIMUM | O = 2878
T = 21.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 44.78 | (out)(err)
S = OPTIMUM | O = 2878
T = 12.73 | (out)(err)
S = OPTIMUM | O = 2878
T = 5.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 14963
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf S = OPTIMUM | O = 3045
T = 77.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3473
T = Time Out | (out)(err)
S = OPTIMUM | O = 3045
T = 32.04 | (out)(err)
S = OPTIMUM | O = 3045
T = 33.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 17.03 | (out)(err)
S = OPTIMUM | O = 3045
T = 22.48 | (out)(err)
S = OPTIMUM | O = 3045
T = 13.67 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 15250
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf S = OPTIMUM | O = 3021
T = 6.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3448
T = Time Out | (out)(err)
S = OPTIMUM | O = 3021
T = 6.49 | (out)(err)
S = OPTIMUM | O = 3021
T = 6.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 88.90 | (out)(err)
S = OPTIMUM | O = 3021
T = 5.95 | (out)(err)
S = OPTIMUM | O = 3021
T = 5.04 | (out)(err)
S = N/A | O = N/A
T = 1800.00 | (out)(err)
S = N/A | O = 15069
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_5.wcnf S = OPTIMUM | O = 2812
T = 217.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3321
T = Time Out | (out)(err)
S = OPTIMUM | O = 2812
T = 57.05 | (out)(err)
S = OPTIMUM | O = 2812
T = 58.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 684.21 | (out)(err)
S = OPTIMUM | O = 2812
T = 40.19 | (out)(err)
S = OPTIMUM | O = 2812
T = 20.07 | (out)(err)
S = N/A | O = N/A
T = 1800.00 | (out)(err)
S = N/A | O = 15021
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf S = OPTIMUM | O = 2838
T = 77.52 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3347
T = Time Out | (out)(err)
S = OPTIMUM | O = 2838
T = 38.57 | (out)(err)
S = OPTIMUM | O = 2838
T = 39.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 3.85 | (out)(err)
S = OPTIMUM | O = 2838
T = 32.08 | (out)(err)
S = OPTIMUM | O = 2838
T = 16.10 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 15141
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf S = OPTIMUM | O = 2815
T = 20.35 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3454
T = Time Out | (out)(err)
S = OPTIMUM | O = 2815
T = 15.03 | (out)(err)
S = OPTIMUM | O = 2815
T = 14.83 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 9.47 | (out)(err)
S = OPTIMUM | O = 2815
T = 10.12 | (out)(err)
S = OPTIMUM | O = 2815
T = 5.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 15120
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf S = OPTIMUM | O = 3025
T = 94.98 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3528
T = Time Out | (out)(err)
S = OPTIMUM | O = 3025
T = 39.70 | (out)(err)
S = OPTIMUM | O = 3025
T = 40.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)
S = UNSAT | O = N/A
T = 6.30 | (out)(err)
S = OPTIMUM | O = 3025
T = 27.17 | (out)(err)
S = OPTIMUM | O = 3025
T = 15.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 15206
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf S = OPTIMUM | O = 2952
T = 31.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3426
T = Time Out | (out)(err)
S = OPTIMUM | O = 2952
T = 17.56 | (out)(err)
S = OPTIMUM | O = 2952
T = 16.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 56.09 | (out)(err)
S = OPTIMUM | O = 2952
T = 10.74 | (out)(err)
S = OPTIMUM | O = 2952
T = 6.69 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 15100
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf S = OPTIMUM | O = 3634
T = 263.87 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4161
T = Time Out | (out)(err)
S = OPTIMUM | O = 3634
T = 63.41 | (out)(err)
S = OPTIMUM | O = 3634
T = 62.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 3634
T = 49.52 | (out)(err)
S = OPTIMUM | O = 3634
T = 20.90 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 17955
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf S = OPTIMUM | O = 3662
T = 15.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4215
T = Time Out | (out)(err)
S = OPTIMUM | O = 3662
T = 13.44 | (out)(err)
S = OPTIMUM | O = 3662
T = 14.16 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 197.56 | (out)(err)
S = OPTIMUM | O = 3662
T = 10.66 | (out)(err)
S = OPTIMUM | O = 3662
T = 8.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 17940
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_2.wcnf S = OPTIMUM | O = 3827
T = 52.55 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4220
T = Time Out | (out)(err)
S = OPTIMUM | O = 3827
T = 30.36 | (out)(err)
S = OPTIMUM | O = 3827
T = 29.77 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 72.54 | (out)(err)
S = OPTIMUM | O = 3827
T = 21.21 | (out)(err)
S = OPTIMUM | O = 3827
T = 11.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 17767
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_3.wcnf S = OPTIMUM | O = 3512
T = 47.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4035
T = Time Out | (out)(err)
S = OPTIMUM | O = 3512
T = 23.14 | (out)(err)
S = OPTIMUM | O = 3512
T = 23.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 53.05 | (out)(err)
S = OPTIMUM | O = 3512
T = 16.26 | (out)(err)
S = OPTIMUM | O = 3512
T = 7.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 17872
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_4.wcnf S = OPTIMUM | O = 3355
T = 77.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4030
T = Time Out | (out)(err)
S = OPTIMUM | O = 3355
T = 26.00 | (out)(err)
S = OPTIMUM | O = 3355
T = 25.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 97.82 | (out)(err)
S = OPTIMUM | O = 3355
T = 18.36 | (out)(err)
S = OPTIMUM | O = 3355
T = 15.37 | (out)(err)
S = N/A | O = N/A
T = 1800.00 | (out)(err)
S = N/A | O = 18005
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf S = OPTIMUM | O = 3450
T = 244.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 3941
T = Time Out | (out)(err)
S = OPTIMUM | O = 3450
T = 76.20 | (out)(err)
S = OPTIMUM | O = 3450
T = 78.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 7.64 | (out)(err)
S = OPTIMUM | O = 3450
T = 33.79 | (out)(err)
S = OPTIMUM | O = 3450
T = 19.43 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 17667
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_6.wcnf S = OPTIMUM | O = 3654
T = 4.45 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4057
T = Time Out | (out)(err)
S = OPTIMUM | O = 3654
T = 5.09 | (out)(err)
S = OPTIMUM | O = 3654
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)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 3654
T = 3.54 | (out)(err)
S = OPTIMUM | O = 3654
T = 2.35 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = 17913
T = 180.63 | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf S = OPTIMUM | O = 3617
T = 14.09 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4104
T = Time Out | (out)(err)
S = OPTIMUM | O = 3617
T = 9.73 | (out)(err)
S = OPTIMUM | O = 3617
T = 9.86 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 3617
T = 15.41 | (out)(err)
S = OPTIMUM | O = 3617
T = 10.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 17813
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_8.wcnf S = OPTIMUM | O = 3525
T = 18.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4202
T = Time Out | (out)(err)
S = OPTIMUM | O = 3525
T = 14.88 | (out)(err)
S = OPTIMUM | O = 3525
T = 13.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = UNSAT | O = N/A
T = 1.63 | (out)(err)
S = OPTIMUM | O = 3525
T = 9.65 | (out)(err)
S = OPTIMUM | O = 3525
T = 4.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 17624
T = Time Out | (out)(err)
file_rwpms_wcnf_L2_V150_C3500_H150_9.wcnf S = OPTIMUM | O = 3240
T = 63.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 4025
T = Time Out | (out)(err)
S = OPTIMUM | O = 3240
T = 32.42 | (out)(err)
S = OPTIMUM | O = 3240
T = 34.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)
S = UNSAT | O = N/A
T = 29.33 | (out)(err)
S = OPTIMUM | O = 3240
T = 19.26 | (out)(err)
S = OPTIMUM | O = 3240
T = 7.50 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 17512
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_0.wcnf S = OPTIMUM | O = 28
T = 4.76 | (out)(err)
S = N/A | O = 108
T = Time Out | (out)(err)
S = N/A | O = 31
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 8.23 | (out)(err)
S = OPTIMUM | O = 28
T = 8.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 28
T = 16.34 | (out)(err)
S = OPTIMUM | O = 28
T = 4.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1095
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_1.wcnf S = OPTIMUM | O = 15
T = 6.65 | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = OPTIMUM | O = 15
T = 94.57 | (out)(err)
S = OPTIMUM | O = 15
T = 11.48 | (out)(err)
S = OPTIMUM | O = 15
T = 11.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 15
T = 291.48 | (out)(err)
S = OPTIMUM | O = 15
T = 9.66 | (out)(err)
S = OPTIMUM | O = 15
T = 1.32 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1111
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_2.wcnf S = OPTIMUM | O = 25
T = 5.82 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 25
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 9.85 | (out)(err)
S = OPTIMUM | O = 25
T = 9.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)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 10.90 | (out)(err)
S = OPTIMUM | O = 25
T = 3.40 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1298
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_3.wcnf S = OPTIMUM | O = 25
T = 9.21 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 25
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 15.57 | (out)(err)
S = OPTIMUM | O = 25
T = 15.38 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 25
T = 13.58 | (out)(err)
S = OPTIMUM | O = 25
T = 3.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1217
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_4.wcnf S = OPTIMUM | O = 30
T = 3.23 | (out)(err)
S = N/A | O = 3462
T = Time Out | (out)(err)
S = N/A | O = 30
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 5.79 | (out)(err)
S = OPTIMUM | O = 30
T = 5.74 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 9.10 | (out)(err)
S = OPTIMUM | O = 30
T = 5.64 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1440
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_5.wcnf S = OPTIMUM | O = 27
T = 2.14 | (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 = 27
T = 3.83 | (out)(err)
S = OPTIMUM | O = 27
T = 3.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 27
T = 8.41 | (out)(err)
S = OPTIMUM | O = 27
T = 2.84 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1293
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_6.wcnf S = OPTIMUM | O = 26
T = 6.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 32
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 11.12 | (out)(err)
S = OPTIMUM | O = 26
T = 10.94 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 26
T = 15.97 | (out)(err)
S = OPTIMUM | O = 26
T = 3.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1317
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_7.wcnf S = OPTIMUM | O = 29
T = 17.40 | (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 = 29
T = 30.08 | (out)(err)
S = OPTIMUM | O = 29
T = 30.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)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 29
T = 19.60 | (out)(err)
S = OPTIMUM | O = 29
T = 14.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1299
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_8.wcnf S = OPTIMUM | O = 19
T = 11.28 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 19
T = Time Out | (out)(err)
S = OPTIMUM | O = 19
T = 19.59 | (out)(err)
S = OPTIMUM | O = 19
T = 19.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 19
T = 15.41 | (out)(err)
S = OPTIMUM | O = 19
T = 3.79 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1412
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C600_H100_9.wcnf S = OPTIMUM | O = 30
T = 6.64 | (out)(err)
S = N/A | O = 110
T = Time Out | (out)(err)
S = N/A | O = 33
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 11.51 | (out)(err)
S = OPTIMUM | O = 30
T = 11.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 30
T = 11.17 | (out)(err)
S = OPTIMUM | O = 30
T = 7.75 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1232
T = 1800.00 | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_0.wcnf S = OPTIMUM | O = 54
T = 62.65 | (out)(err)
S = N/A | O = 39
T = Time Out | (out)(err)
S = N/A | O = 74
T = Time Out | (out)(err)
S = OPTIMUM | O = 54
T = 88.82 | (out)(err)
S = OPTIMUM | O = 54
T = 88.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 54
T = 59.81 | (out)(err)
S = OPTIMUM | O = 54
T = 17.96 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1956
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_1.wcnf S = OPTIMUM | O = 58
T = 58.66 | (out)(err)
S = N/A | O = 4030
T = Time Out | (out)(err)
S = N/A | O = 60
T = Time Out | (out)(err)
S = OPTIMUM | O = 58
T = 83.64 | (out)(err)
S = OPTIMUM | O = 58
T = 83.14 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 58
T = 204.74 | (out)(err)
S = OPTIMUM | O = 58
T = 58.31 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1927
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_2.wcnf S = OPTIMUM | O = 59
T = 71.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 73
T = Time Out | (out)(err)
S = OPTIMUM | O = 59
T = 97.97 | (out)(err)
S = OPTIMUM | O = 59
T = 97.25 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 59
T = 91.44 | (out)(err)
S = OPTIMUM | O = 59
T = 38.72 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1978
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_3.wcnf S = OPTIMUM | O = 48
T = 35.14 | (out)(err)
S = N/A | O = 3957
T = Time Out | (out)(err)
S = N/A | O = 78
T = Time Out | (out)(err)
S = OPTIMUM | O = 48
T = 50.05 | (out)(err)
S = OPTIMUM | O = 48
T = 49.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 48
T = 78.42 | (out)(err)
S = OPTIMUM | O = 48
T = 33.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1992
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_4.wcnf S = OPTIMUM | O = 42
T = 8.81 | (out)(err)
S = N/A | O = 139
T = Time Out | (out)(err)
S = N/A | O = 45
T = Time Out | (out)(err)
S = OPTIMUM | O = 42
T = 13.16 | (out)(err)
S = OPTIMUM | O = 42
T = 13.03 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 42
T = 35.24 | (out)(err)
S = OPTIMUM | O = 42
T = 10.80 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1928
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_5.wcnf S = OPTIMUM | O = 46
T = 52.06 | (out)(err)
S = N/A | O = 7697
T = Time Out | (out)(err)
S = N/A | O = 63
T = Time Out | (out)(err)
S = OPTIMUM | O = 46
T = 74.41 | (out)(err)
S = OPTIMUM | O = 46
T = 74.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 46
T = 64.96 | (out)(err)
S = OPTIMUM | O = 46
T = 14.34 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2034
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf S = OPTIMUM | O = 51
T = 69.67 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 59
T = Time Out | (out)(err)
S = OPTIMUM | O = 51
T = 99.67 | (out)(err)
S = OPTIMUM | O = 51
T = 98.99 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 51
T = 87.81 | (out)(err)
S = OPTIMUM | O = 51
T = 47.48 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1911
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf S = OPTIMUM | O = 63
T = 78.37 | (out)(err)
S = N/A | O = 135
T = Time Out | (out)(err)
S = N/A | O = 87
T = Time Out | (out)(err)
S = OPTIMUM | O = 63
T = 109.53 | (out)(err)
S = OPTIMUM | O = 63
T = 109.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 63
T = 97.44 | (out)(err)
S = OPTIMUM | O = 63
T = 80.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 1716
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_8.wcnf S = OPTIMUM | O = 64
T = 141.44 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 78
T = Time Out | (out)(err)
S = OPTIMUM | O = 64
T = 197.50 | (out)(err)
S = OPTIMUM | O = 64
T = 196.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 64
T = 198.95 | (out)(err)
S = OPTIMUM | O = 64
T = 147.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2081
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C700_H100_9.wcnf S = OPTIMUM | O = 45
T = 22.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 66
T = Time Out | (out)(err)
S = OPTIMUM | O = 45
T = 35.91 | (out)(err)
S = OPTIMUM | O = 45
T = 35.61 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 45
T = 40.07 | (out)(err)
S = OPTIMUM | O = 45
T = 13.08 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2064
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_0.wcnf S = OPTIMUM | O = 95
T = 310.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 144
T = Time Out | (out)(err)
S = OPTIMUM | O = 95
T = 363.57 | (out)(err)
S = OPTIMUM | O = 95
T = 361.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)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 95
T = 314.38 | (out)(err)
S = OPTIMUM | O = 95
T = 187.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2863
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_1.wcnf S = OPTIMUM | O = 81
T = 178.48 | (out)(err)
S = N/A | O = 4579
T = Time Out | (out)(err)
S = N/A | O = 106
T = Time Out | (out)(err)
S = OPTIMUM | O = 81
T = 220.32 | (out)(err)
S = OPTIMUM | O = 81
T = 219.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 81
T = 207.10 | (out)(err)
S = OPTIMUM | O = 81
T = 132.11 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2554
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_2.wcnf S = OPTIMUM | O = 77
T = 214.03 | (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 = 77
T = 278.66 | (out)(err)
S = OPTIMUM | O = 77
T = 278.00 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 77
T = 251.63 | (out)(err)
S = OPTIMUM | O = 77
T = 132.76 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2793
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_3.wcnf S = OPTIMUM | O = 81
T = 101.19 | (out)(err)
S = N/A | O = 4731
T = Time Out | (out)(err)
S = N/A | O = 105
T = Time Out | (out)(err)
S = OPTIMUM | O = 81
T = 138.26 | (out)(err)
S = OPTIMUM | O = 81
T = 137.91 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 81
T = 111.28 | (out)(err)
S = OPTIMUM | O = 81
T = 50.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2845
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_4.wcnf S = OPTIMUM | O = 75
T = 154.13 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 87
T = Time Out | (out)(err)
S = OPTIMUM | O = 75
T = 199.25 | (out)(err)
S = OPTIMUM | O = 75
T = 198.60 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 75
T = 260.99 | (out)(err)
S = OPTIMUM | O = 75
T = 135.92 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2773
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf S = OPTIMUM | O = 80
T = 79.24 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 82
T = Time Out | (out)(err)
S = OPTIMUM | O = 80
T = 99.02 | (out)(err)
S = OPTIMUM | O = 80
T = 98.85 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 80
T = 93.45 | (out)(err)
S = OPTIMUM | O = 80
T = 75.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2689
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_6.wcnf S = OPTIMUM | O = 74
T = 91.76 | (out)(err)
S = N/A | O = 4598
T = Time Out | (out)(err)
S = N/A | O = 106
T = Time Out | (out)(err)
S = OPTIMUM | O = 74
T = 120.00 | (out)(err)
S = OPTIMUM | O = 74
T = 119.19 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 74
T = 116.72 | (out)(err)
S = OPTIMUM | O = 74
T = 75.12 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2613
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_7.wcnf S = OPTIMUM | O = 99
T = 315.12 | (out)(err)
S = N/A | O = 4528
T = Time Out | (out)(err)
S = N/A | O = 119
T = Time Out | (out)(err)
S = OPTIMUM | O = 99
T = 360.80 | (out)(err)
S = OPTIMUM | O = 99
T = 358.97 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 99
T = 301.00 | (out)(err)
S = OPTIMUM | O = 99
T = 144.62 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2714
T = 1800.00 | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_8.wcnf S = OPTIMUM | O = 90
T = 521.20 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 109
T = Time Out | (out)(err)
S = OPTIMUM | O = 90
T = 597.52 | (out)(err)
S = OPTIMUM | O = 90
T = 595.58 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 90
T = 561.16 | (out)(err)
S = OPTIMUM | O = 90
T = 312.36 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2750
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C800_H100_9.wcnf S = OPTIMUM | O = 95
T = 257.93 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 109
T = Time Out | (out)(err)
S = OPTIMUM | O = 95
T = 340.20 | (out)(err)
S = OPTIMUM | O = 95
T = 339.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)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 95
T = 354.19 | (out)(err)
S = OPTIMUM | O = 95
T = 268.56 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 2793
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_0.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.46 | (out)(err)
S = OPTIMUM | O = 0
T = 0.67 | (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.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (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 = 16.71 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_1.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (out)(err)
S = OPTIMUM | O = 0
T = 0.67 | (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.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 = 17.55 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_2.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.79 | (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.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (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 = 14.04 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_3.wcnf S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (out)(err)
S = OPTIMUM | O = 0
T = 0.65 | (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.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (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 = 11.93 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_4.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = N/A | O = 1627
T = Time Out | (out)(err)
S = OPTIMUM | O = 0
T = 0.65 | (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.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (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 = 15.33 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_5.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.67 | (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.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 = 21.69 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_6.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.69 | (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.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (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 = 20.80 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_7.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.65 | (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.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (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 = 19.58 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_8.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.66 | (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.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.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 = 21.79 | (out)(err)
file_rwpms_wcnf_L3_V100_C300_H100_9.wcnf S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.66 | (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.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 = 18.71 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_0.wcnf S = OPTIMUM | O = 0
T = 0.07 | (out)(err)
S = N/A | O = 2250
T = Time Out | (out)(err)
S = OPTIMUM | O = 0
T = 0.70 | (out)(err)
S = OPTIMUM | O = 0
T = 0.14 | (out)(err)
S = OPTIMUM | O = 0
T = 0.14 | (out)(err)
S = OPTIMUM | O = 0
T = 0.15 | (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.34 | (out)(err)
S = OPTIMUM | O = 0
T = 0.08 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 117.54 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_1.wcnf S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = N/A | O = 2254
T = Time Out | (out)(err)
S = OPTIMUM | O = 0
T = 0.77 | (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.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.06 | (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 = 97.07 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_2.wcnf S = OPTIMUM | O = 0
T = 0.05 | (out)(err)
S = OPTIMUM | O = 0
T = 0.38 | (out)(err)
S = OPTIMUM | O = 0
T = 1.02 | (out)(err)
S = OPTIMUM | O = 0
T = 0.08 | (out)(err)
S = OPTIMUM | O = 0
T = 0.08 | (out)(err)
S = OPTIMUM | O = 0
T = 0.09 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.12 | (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 = 116.19 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_3.wcnf S = OPTIMUM | O = 0
T = 0.05 | (out)(err)
S = N/A | O = 37
T = Time Out | (out)(err)
S = OPTIMUM | O = 0
T = 1.21 | (out)(err)
S = OPTIMUM | O = 0
T = 0.10 | (out)(err)
S = OPTIMUM | O = 0
T = 0.10 | (out)(err)
S = OPTIMUM | O = 0
T = 0.10 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = OPTIMUM | O = 0
T = 0.02 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 96.69 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_4.wcnf S = OPTIMUM | O = 0
T = 0.05 | (out)(err)
S = OPTIMUM | O = 0
T = 0.06 | (out)(err)
S = OPTIMUM | O = 0
T = 1.18 | (out)(err)
S = OPTIMUM | O = 0
T = 0.07 | (out)(err)
S = OPTIMUM | O = 0
T = 0.07 | (out)(err)
S = OPTIMUM | O = 0
T = 0.07 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.39 | (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 = 109.44 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_5.wcnf S = OPTIMUM | O = 0
T = 0.02 | (out)(err)
S = OPTIMUM | O = 0
T = 0.18 | (out)(err)
S = OPTIMUM | O = 0
T = 0.78 | (out)(err)
S = OPTIMUM | O = 0
T = 0.04 | (out)(err)
S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.19 | (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 = 126.72 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_6.wcnf S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = N/A | O = 4257
T = Time Out | (out)(err)
S = OPTIMUM | O = 0
T = 1.18 | (out)(err)
S = OPTIMUM | O = 0
T = 0.06 | (out)(err)
S = OPTIMUM | O = 0
T = 0.06 | (out)(err)
S = OPTIMUM | O = 0
T = 0.06 | (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.34 | (out)(err)
S = OPTIMUM | O = 0
T = 0.12 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 75.29 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_7.wcnf S = OPTIMUM | O = 0
T = 0.02 | (out)(err)
S = N/A | O = 32
T = Time Out | (out)(err)
S = OPTIMUM | O = 0
T = 0.68 | (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.05 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.23 | (out)(err)
S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 80.05 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_8.wcnf S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = OPTIMUM | O = 0
T = 0.04 | (out)(err)
S = OPTIMUM | O = 0
T = 0.79 | (out)(err)
S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = OPTIMUM | O = 0
T = 0.03 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.07 | (out)(err)
S = OPTIMUM | O = 0
T = 0.09 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 142.40 | (out)(err)
file_rwpms_wcnf_L3_V100_C400_H100_9.wcnf S = OPTIMUM | O = 0
T = 0.04 | (out)(err)
S = N/A | O = 2185
T = Time Out | (out)(err)
S = OPTIMUM | O = 0
T = 0.78 | (out)(err)
S = OPTIMUM | O = 0
T = 0.10 | (out)(err)
S = OPTIMUM | O = 0
T = 0.10 | (out)(err)
S = OPTIMUM | O = 0
T = 0.10 | (out)(err)
S = OPTIMUM | O = 0
T = 0.00 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 0.09 | (out)(err)
S = OPTIMUM | O = 0
T = 0.06 | (out)(err)
S = OPTIMUM | O = 0
T = 0.01 | (out)(err)
S = OPTIMUM | O = 0
T = 102.31 | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_0.wcnf S = OPTIMUM | O = 4
T = 0.77 | (out)(err)
S = N/A | O = 5518
T = Time Out | (out)(err)
S = OPTIMUM | O = 4
T = 5.02 | (out)(err)
S = OPTIMUM | O = 4
T = 1.67 | (out)(err)
S = OPTIMUM | O = 4
T = 1.65 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 4
T = 3.65 | (out)(err)
S = OPTIMUM | O = 4
T = 0.32 | (out)(err)
S = OPTIMUM | O = 4
T = 1.10 | (out)(err)
S = OPTIMUM | O = 4
T = 0.29 | (out)(err)
S = OPTIMUM | O = 4
T = 0.68 | (out)(err)
S = OPTIMUM | O = 4
T = 181.26 | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_1.wcnf S = OPTIMUM | O = 4
T = 0.83 | (out)(err)
S = N/A | O = 2799
T = Time Out | (out)(err)
S = OPTIMUM | O = 4
T = 4.75 | (out)(err)
S = OPTIMUM | O = 4
T = 1.54 | (out)(err)
S = OPTIMUM | O = 4
T = 1.51 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 4
T = 3.77 | (out)(err)
S = OPTIMUM | O = 4
T = 0.28 | (out)(err)
S = OPTIMUM | O = 4
T = 1.71 | (out)(err)
S = OPTIMUM | O = 4
T = 0.26 | (out)(err)
S = OPTIMUM | O = 4
T = 0.57 | (out)(err)
S = OPTIMUM | O = 4
T = 180.83 | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_2.wcnf S = OPTIMUM | O = 9
T = 1.16 | (out)(err)
S = N/A | O = 2760
T = Time Out | (out)(err)
S = OPTIMUM | O = 9
T = 29.88 | (out)(err)
S = OPTIMUM | O = 9
T = 2.17 | (out)(err)
S = OPTIMUM | O = 9
T = 2.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)
S = OPTIMUM | O = 9
T = 15.95 | (out)(err)
S = OPTIMUM | O = 9
T = 2.50 | (out)(err)
S = OPTIMUM | O = 9
T = 1.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 417
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_3.wcnf S = OPTIMUM | O = 6
T = 0.42 | (out)(err)
S = N/A | O = 2856
T = Time Out | (out)(err)
S = OPTIMUM | O = 6
T = 7.12 | (out)(err)
S = OPTIMUM | O = 6
T = 0.75 | (out)(err)
S = OPTIMUM | O = 6
T = 0.66 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 6
T = 50.84 | (out)(err)
S = OPTIMUM | O = 6
T = 1.21 | (out)(err)
S = OPTIMUM | O = 6
T = 1.81 | (out)(err)
S = OPTIMUM | O = 6
T = 0.40 | (out)(err)
S = OPTIMUM | O = 6
T = 5.72 | (out)(err)
S = OPTIMUM | O = 6
T = 255.04 | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_4.wcnf S = OPTIMUM | O = 7
T = 3.36 | (out)(err)
S = N/A | O = 105
T = Time Out | (out)(err)
S = OPTIMUM | O = 7
T = 5.62 | (out)(err)
S = OPTIMUM | O = 7
T = 7.27 | (out)(err)
S = OPTIMUM | O = 7
T = 7.18 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 7
T = 2.61 | (out)(err)
S = OPTIMUM | O = 7
T = 7.20 | (out)(err)
S = OPTIMUM | O = 7
T = 0.62 | (out)(err)
S = OPTIMUM | O = 7
T = 698.58 | (out)(err)
S = OPTIMUM | O = 7
T = 813.12 | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_5.wcnf S = OPTIMUM | O = 13
T = 1.66 | (out)(err)
S = N/A | O = 24
T = Time Out | (out)(err)
S = OPTIMUM | O = 13
T = 610.34 | (out)(err)
S = OPTIMUM | O = 13
T = 3.24 | (out)(err)
S = OPTIMUM | O = 13
T = 3.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)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 13
T = 8.00 | (out)(err)
S = OPTIMUM | O = 13
T = 3.05 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 403
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_6.wcnf S = OPTIMUM | O = 8
T = 0.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 8
T = 26.89 | (out)(err)
S = OPTIMUM | O = 8
T = 1.29 | (out)(err)
S = OPTIMUM | O = 8
T = 1.26 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 8
T = 7.36 | (out)(err)
S = OPTIMUM | O = 8
T = 2.51 | (out)(err)
S = OPTIMUM | O = 8
T = 0.78 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 526
T = Time Out | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_7.wcnf S = OPTIMUM | O = 7
T = 1.45 | (out)(err)
S = N/A | O = 2854
T = Time Out | (out)(err)
S = OPTIMUM | O = 7
T = 12.82 | (out)(err)
S = OPTIMUM | O = 7
T = 2.74 | (out)(err)
S = OPTIMUM | O = 7
T = 2.70 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 7
T = 2.41 | (out)(err)
S = OPTIMUM | O = 7
T = 1.84 | (out)(err)
S = OPTIMUM | O = 7
T = 0.58 | (out)(err)
S = OPTIMUM | O = 7
T = 173.65 | (out)(err)
S = OPTIMUM | O = 7
T = 1360.99 | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_8.wcnf S = OPTIMUM | O = 3
T = 0.70 | (out)(err)
S = N/A | O = 71
T = Time Out | (out)(err)
S = OPTIMUM | O = 3
T = 3.60 | (out)(err)
S = OPTIMUM | O = 3
T = 1.42 | (out)(err)
S = OPTIMUM | O = 3
T = 1.39 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 3
T = 0.94 | (out)(err)
S = OPTIMUM | O = 3
T = 0.15 | (out)(err)
S = OPTIMUM | O = 3
T = 1.04 | (out)(err)
S = OPTIMUM | O = 3
T = 0.28 | (out)(err)
S = OPTIMUM | O = 3
T = 0.12 | (out)(err)
S = OPTIMUM | O = 3
T = 180.63 | (out)(err)
file_rwpms_wcnf_L3_V100_C500_H100_9.wcnf S = OPTIMUM | O = 8
T = 0.74 | (out)(err)
S = N/A | O = 46
T = Time Out | (out)(err)
S = OPTIMUM | O = 8
T = 18.86 | (out)(err)
S = OPTIMUM | O = 8
T = 1.31 | (out)(err)
S = OPTIMUM | O = 8
T = 1.27 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = OPTIMUM | O = 8
T = 5.81 | (out)(err)
S = OPTIMUM | O = 8
T = 2.32 | (out)(err)
S = OPTIMUM | O = 8
T = 0.68 | (out)(err)
S = N/A | O = N/A
T = Time Out | (out)(err)
S = N/A | O = 352
T = Time Out | (out)(err)