BerkMin<p>
1 groups, 50 instances, 1-hour cutoff<p>
Instances solved: 47 (16 SAT + 31 UNSAT)<br>
Time: 30559 seconds / 8.49 hours / 0.35 days<br>
Time on solved instances: 19759 seconds (13159 SAT + 6600 UNSAT)<p>
Instances solved in 10 minutes: 37 (5339 seconds)<br>
Instances solved in 15 minutes: 41 (8609 seconds)<br>
Instances solved in 20 minutes: 42 (9512 seconds)<br>
Instances solved in 30 minutes: 43 (11042 seconds)<br>
Instances solved in 60 minutes: 47 (19759 seconds)<br>

<table border=1><tr><td>CNF</td><td>Decisions</td><td>Conflicts</td><td>Restarts</td><td>Time</td><td>Sol</td></tr>
<tr><td>manol-pipe-c10ni_s.cnf</td><td>117729</td><td>6647</td><td>3</td><td>21.570</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6id.cnf</td><td>2842436</td><td>254137</td><td>69</td><td>389.780</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6n.cnf</td><td>597880</td><td>136497</td><td>83</td><td>129.910</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nid_s.cnf</td><td>107232</td><td>4411</td><td>4</td><td>9.840</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7_i.cnf</td><td>112825</td><td>41842</td><td>71</td><td>12.400</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw.cnf</td><td>4406850</td><td>441716</td><td>88</td><td>867.180</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8_i.cnf</td><td>103284</td><td>40554</td><td>66</td><td>12.670</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8b_i.cnf</td><td>863461</td><td>251754</td><td>174</td><td>285.170</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8n.cnf</td><td>928019</td><td>238914</td><td>99</td><td>373.950</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6b.cnf</td><td>43914</td><td>9621</td><td>8</td><td>4.320</td><td>UNSAT</td></tr>
<tr><td>een-tipb-sr06-par1.cnf</td><td>84181</td><td>1384</td><td>6</td><td>39.990</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6n.cnf</td><td>50095</td><td>10851</td><td>10</td><td>5.030</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10idw.cnf</td><td>2421920</td><td>189168</td><td>26</td><td>391.010</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g6bid.cnf</td><td>165390</td><td>13564</td><td>9</td><td>6.560</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7n.cnf</td><td>109549</td><td>23429</td><td>23</td><td>8.870</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-10s.cnf</td><td>14302</td><td>1883</td><td>5</td><td>216.710</td><td>UNSAT</td></tr>
<tr><td>schup-l2s-s04-abp4.cnf</td><td>544293</td><td>401047</td><td>532</td><td>448.350</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-01.cnf</td><td>2099169</td><td>1506834</td><td>2732</td><td>1878.680</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-03.cnf</td><td>6060930</td><td>612494</td><td>573</td><td>1529.630</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>2535227</td><td>1824778</td><td>3309</td><td>2532.200</td><td>SAT</td></tr>
<tr><td>stric-bmc-ibm-10.cnf</td><td>145213</td><td>8194</td><td>7</td><td>8.960</td><td>SAT</td></tr>
<tr><td>een-tipb-sr06-tc6b.cnf</td><td>49018</td><td>1253</td><td>6</td><td>1.720</td><td>UNSAT</td></tr>
<tr><td>stric-bmc-ibm-12.cnf</td><td>31084</td><td>11157</td><td>9</td><td>10.590</td><td>SAT</td></tr>
<tr><td>vange-color-inc-54.cnf</td></td></tr>
<tr><td>velev-eng-uns-1.0-04.cnf</td><td>52000</td><td>34883</td><td>39</td><td>7.700</td><td>UNSAT</td></tr>
<tr><td>velev-eng-uns-1.0-04a.cnf</td><td>200295</td><td>147677</td><td>145</td><td>37.350</td><td>UNSAT</td></tr>
<tr><td>velev-fvp-sat-3.0-07.cnf</td><td>4892760</td><td>665415</td><td>43</td><td>903.360</td><td>SAT</td></tr>
<tr><td>velev-fvp-sat-3.0-12.cnf</td><td>2017929</td><td>269904</td><td>18</td><td>271.560</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-01.cnf</td><td>377787</td><td>66352</td><td>4</td><td>281.410</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-03.cnf</td><td>1733933</td><td>431351</td><td>11</td><td>2358.310</td><td>SAT</td></tr>
<tr><td>velev-npe-1.0-02.cnf</td><td>223676</td><td>159626</td><td>293</td><td>22.820</td><td>UNSAT</td></tr>
<tr><td>velev-npe-1.0-03.cnf</td><td>366048</td><td>112798</td><td>7</td><td>187.830</td><td>SAT</td></tr>
<tr><td>goldb-heqc-desmul.cnf</td><td>1869370</td><td>75755</td><td>31</td><td>113.440</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-1.0-08.cnf</td><td>7835</td><td>448</td><td>1</td><td>6.900</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.0-09.cnf</td></td></tr>
<tr><td>velev-pipe-1.1-03.cnf</td><td>771379</td><td>63859</td><td>2</td><td>380.100</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.1-05.cnf</td><td>1511984</td><td>132626</td><td>4</td><td>741.990</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-08.cnf</td><td>2792429</td><td>485166</td><td>26</td><td>417.640</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-05.cnf</td><td>225781</td><td>31695</td><td>14</td><td>7.220</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-07.cnf</td><td>1077645</td><td>77735</td><td>12</td><td>57.790</td><td>UNSAT</td></tr>
<tr><td>velev-sss-1.0-cl.cnf</td><td>10114</td><td>4214</td><td>9</td><td>0.140</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-sat-2.0-02.cnf</td><td>100648</td><td>1110</td><td>2</td><td>69.290</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-2.0-04.cnf</td></td></tr>
<tr><td>goldb-heqc-rotmul.cnf</td><td>2468913</td><td>867045</td><td>1575</td><td>795.600</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-uns-2.0-02.cnf</td><td>10383762</td><td>351640</td><td>45</td><td>409.260</td><td>UNSAT</td></tr>
<tr><td>grieu-vmpc-s05-24s.cnf</td><td>125154</td><td>121695</td><td>115</td><td>49.950</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-27r.cnf</td><td>890269</td><td>872887</td><td>577</td><td>1947.840</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-05.cnf</td><td>288942</td><td>180398</td><td>330</td><td>97.010</td><td>UNSAT</td></tr>
<tr><td>hoons-vbmc-s04-07.cnf</td><td>262305</td><td>192596</td><td>163</td><td>544.450</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10b.cnf</td><td>1447052</td><td>485608</td><td>244</td><td>864.690</td><td>UNSAT</td></tr>
<tr><td>Total (47 / 50)</td><td>58532011</td><td>11864612</td><td>11622</td><td>19758.74</td><td></td></tr></table><p>