BerkMin<p>
1 groups, 50 instances, 1-hour cutoff<p>
Instances solved: 37 (8 SAT + 29 UNSAT)<br>
Time: 65368 seconds / 18.16 hours / 0.76 days<br>
Time on solved instances: 18568 seconds (6785 SAT + 11784 UNSAT)<p>
Instances solved in 10 minutes: 28 (4267 seconds)<br>
Instances solved in 15 minutes: 31 (6185 seconds)<br>
Instances solved in 20 minutes: 31 (6185 seconds)<br>
Instances solved in 30 minutes: 34 (10801 seconds)<br>
Instances solved in 60 minutes: 37 (18568 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-c10nid_s.cnf</td></td></tr>
<tr><td>manol-pipe-c6b_i.cnf</td><td>526804</td><td>134479</td><td>137</td><td>95.570</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6bid_i.cnf</td></td></tr>
<tr><td>manol-pipe-c6idw_s.cnf</td><td>67086</td><td>2854</td><td>4</td><td>4.410</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6ni_s.cnf</td><td>26872</td><td>1344</td><td>2</td><td>2.190</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw.cnf</td></td></tr>
<tr><td>manol-pipe-c7_i.cnf</td><td>112825</td><td>41842</td><td>71</td><td>12.380</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw_s.cnf</td><td>53332</td><td>2677</td><td>3</td><td>4.140</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8b_i.cnf</td><td>863461</td><td>251754</td><td>174</td><td>287.100</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-113.cnf</td><td>1003860</td><td>293584</td><td>175</td><td>396.740</td><td>UNSAT</td></tr>
<tr><td>aloul-sr06-chnl10-13.cnf</td></td></tr>
<tr><td>manol-pipe-cha05-143.cnf</td><td>633635</td><td>42346</td><td>9</td><td>77.280</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6i.cnf</td><td>88707</td><td>12291</td><td>9</td><td>7.680</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6nid.cnf</td><td>1149583</td><td>66768</td><td>13</td><td>144.380</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f7idw.cnf</td><td>2443969</td><td>208901</td><td>20</td><td>587.840</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10ni.cnf</td><td>8234408</td><td>934690</td><td>157</td><td>2590.970</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8b.cnf</td><td>593688</td><td>135542</td><td>75</td><td>114.700</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8bidw.cnf</td><td>2517590</td><td>185227</td><td>37</td><td>351.700</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8n.cnf</td><td>478535</td><td>108686</td><td>63</td><td>78.700</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-md5-47-03.cnf</td></td></tr>
<tr><td>miza-sr06-md5-48-01.cnf</td></td></tr>
<tr><td>een-pico-sr06-pr02-02.cnf</td><td>381719</td><td>27601</td><td>15</td><td>24.030</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-sha0-35-03.cnf</td></td></tr>
<tr><td>narai-vpn-sat05-02s.cnf</td><td>14302</td><td>1883</td><td>5</td><td>216.170</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-sat05-07.cnf</td><td>827455</td><td>463779</td><td>18</td><td>1611.220</td><td>SAT</td></tr>
<tr><td>schup-l2s-s04-valves.cnf</td></td></tr>
<tr><td>schup-l2s-s04s2-09.cnf</td><td>521414</td><td>397544</td><td>528</td><td>656.440</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td></td></tr>
<tr><td>velev-dlx-uns-1.0-05.cnf</td><td>8109986</td><td>126063</td><td>6</td><td>1516.590</td><td>UNSAT</td></tr>
<tr><td>velev-live-2.0-02.cnf</td><td>193064</td><td>84177</td><td>37</td><td>26.420</td><td>UNSAT</td></tr>
<tr><td>velev-live-sat-1.0-05.cnf</td><td>2239708</td><td>572860</td><td>14</td><td>3266.180</td><td>SAT</td></tr>
<tr><td>velev-pipe-oun-1.0-04.cnf</td></td></tr>
<tr><td>goldb-heqc-i8mul.cnf</td><td>6427589</td><td>1104642</td><td>778</td><td>1488.750</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-oun-1.1-05.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.0-01.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.0-03.cnf</td><td>788131</td><td>125801</td><td>3</td><td>551.170</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-01.cnf</td><td>687359</td><td>59282</td><td>2</td><td>330.170</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-03.cnf</td><td>490979</td><td>36515</td><td>2</td><td>224.880</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-09.cnf</td><td>3345</td><td>127</td><td>1</td><td>1.950</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-14.cnf</td><td>24547</td><td>7594</td><td>15</td><td>0.410</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-03.cnf</td><td>26595</td><td>7623</td><td>14</td><td>0.410</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-08.cnf</td><td>5255899</td><td>233442</td><td>8</td><td>612.690</td><td>UNSAT</td></tr>
<tr><td>velev-sss-1.0-05.cnf</td><td>11369</td><td>4059</td><td>10</td><td>0.120</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-k2mul.cnf</td></td></tr>
<tr><td>velev-vliw-sat-4.0-03.cnf</td><td>974844</td><td>8798</td><td>3</td><td>648.440</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-05s.cnf</td><td>218651</td><td>213588</td><td>178</td><td>150.560</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-06.cnf</td><td>1216406</td><td>991516</td><td>1653</td><td>1909.860</td><td>UNSAT</td></tr>
<tr><td>hoons-vbmc-s04-07.cnf</td><td>262305</td><td>192596</td><td>163</td><td>561.310</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10bi_s.cnf</td><td>9413</td><td>555</td><td>2</td><td>1.120</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10id_s.cnf</td><td>119993</td><td>5653</td><td>3</td><td>13.800</td><td>UNSAT</td></tr>
<tr><td>Total (37 / 50)</td><td>47599428</td><td>7088683</td><td>4407</td><td>18568.47</td><td></td></tr></table><p>