BerkMin<p>
1 groups, 100 instances, 1-hour cutoff<p>
Instances solved: 63 (21 SAT + 42 UNSAT)<br>
Time: 183454 seconds / 50.96 hours / 2.12 days<br>
Time on solved instances: 50254 seconds (24112 SAT + 26142 UNSAT)<p>
Instances solved in 10 minutes: 38 (6596 seconds)<br>
Instances solved in 15 minutes: 43 (10412 seconds)<br>
Instances solved in 20 minutes: 46 (13673 seconds)<br>
Instances solved in 30 minutes: 49 (18165 seconds)<br>
Instances solved in 60 minutes: 63 (50254 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>velev-vliw-uns-4.0-9C1.cnf</td><td>4749838</td><td>449737</td><td>18</td><td>798.030</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-frg2mul.cnf</td><td>2253760</td><td>426231</td><td>436</td><td>463.200</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-i10mul.cnf</td></td></tr>
<tr><td>goldb-heqc-i8mul.cnf</td><td>6427589</td><td>1104642</td><td>778</td><td>1493.350</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-term1mul.cnf</td><td>743315</td><td>447091</td><td>815</td><td>299.470</td><td>UNSAT</td></tr>
<tr><td>grieu-vmpc-s05-25.cnf</td><td>476458</td><td>466774</td><td>389</td><td>578.870</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-27.cnf</td><td>890269</td><td>872887</td><td>577</td><td>1951.200</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-28.cnf</td><td>661234</td><td>646797</td><td>383</td><td>966.240</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-34.cnf</td></td></tr>
<tr><td>hoons-vbmc-lucky7.cnf</td><td>288942</td><td>180398</td><td>330</td><td>97.230</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-05r-k90.cnf</td><td>2490610</td><td>33554</td><td>6</td><td>372.280</td><td>SAT</td></tr>
<tr><td>aloul-chnl11-13.cnf</td></td></tr>
<tr><td>ibm-2002-07r-k100.cnf</td><td>275858</td><td>22435</td><td>25</td><td>7.120</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-11r1-k45.cnf</td></td></tr>
<tr><td>ibm-2002-19r-k100.cnf</td></td></tr>
<tr><td>ibm-2002-21r-k95.cnf</td></td></tr>
<tr><td>ibm-2002-26r-k45.cnf</td><td>23791</td><td>557</td><td>1</td><td>1.730</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-27r-k95.cnf</td><td>12234789</td><td>227046</td><td>52</td><td>704.940</td><td>SAT</td></tr>
<tr><td>ibm-2004-03-k70.cnf</td></td></tr>
<tr><td>ibm-2004-04-k100.cnf</td><td>1937475</td><td>497437</td><td>64</td><td>1158.040</td><td>SAT</td></tr>
<tr><td>ibm-2004-06-k90.cnf</td></td></tr>
<tr><td>ibm-2004-19-k90.cnf</td></td></tr>
<tr><td>een-pico-prop01-75.cnf</td><td>90800</td><td>5102</td><td>6</td><td>3.120</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_11-k25.cnf</td><td>677653</td><td>89501</td><td>21</td><td>172.090</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_31_2-k25.cnf</td></td></tr>
<tr><td>ibm-2004-26-k25.cnf</td><td>69568</td><td>524</td><td>1</td><td>3.160</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_02_1-k100.cnf</td><td>2672489</td><td>257275</td><td>71</td><td>407.980</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_14-k45.cnf</td><td>2566782</td><td>229132</td><td>60</td><td>460.200</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_1-k95.cnf</td><td>692330</td><td>30509</td><td>14</td><td>31.530</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_3-k95.cnf</td><td>2178498</td><td>158703</td><td>38</td><td>316.140</td><td>SAT</td></tr>
<tr><td>ibm-2004-3_11-k60.cnf</td></td></tr>
<tr><td>ibm-2004-6_02_3-k100.cnf</td><td>864001</td><td>108044</td><td>26</td><td>103.060</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10id_s.cnf</td><td>119993</td><td>5653</td><td>3</td><td>14.320</td><td>UNSAT</td></tr>
<tr><td>een-pico-prop05-50.cnf</td><td>3877568</td><td>1951972</td><td>760</td><td>3054.230</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10nidw_s.cnf</td><td>5184461</td><td>408343</td><td>24</td><td>2579.730</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw_i.cnf</td></td></tr>
<tr><td>manol-pipe-c7b.cnf</td><td>589234</td><td>161455</td><td>137</td><td>135.580</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b_i.cnf</td><td>599143</td><td>162226</td><td>138</td><td>134.950</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7bidw_i.cnf</td></td></tr>
<tr><td>manol-pipe-c7nidw.cnf</td></td></tr>
<tr><td>manol-pipe-c9.cnf</td><td>96451</td><td>36453</td><td>55</td><td>11.220</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c9nidw_s.cnf</td><td>4287474</td><td>335717</td><td>23</td><td>1872.240</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f10ni.cnf</td></td></tr>
<tr><td>manol-pipe-f6bi.cnf</td><td>183628</td><td>18501</td><td>9</td><td>17.550</td><td>UNSAT</td></tr>
<tr><td>een-tip-sat-nusmv-t5.B.cnf</td><td>468814</td><td>5208</td><td>7</td><td>24.740</td><td>SAT</td></tr>
<tr><td>manol-pipe-f7idw.cnf</td><td>2443969</td><td>208901</td><td>20</td><td>598.570</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f9b.cnf</td><td>2611683</td><td>662899</td><td>81</td><td>2240.750</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f9n.cnf</td><td>2561621</td><td>716877</td><td>86</td><td>2363.080</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10b.cnf</td><td>4707530</td><td>977692</td><td>261</td><td>2106.440</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10bidw.cnf</td></td></tr>
<tr><td>manol-pipe-g10id.cnf</td><td>1979111</td><td>147461</td><td>23</td><td>324.550</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10nid.cnf</td></td></tr>
<tr><td>manol-pipe-g6bi.cnf</td><td>89254</td><td>12562</td><td>13</td><td>3.770</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7nidw.cnf</td><td>872783</td><td>65138</td><td>21</td><td>70.580</td><td>UNSAT</td></tr>
<tr><td>maris-s03-gripper11.cnf</td></td></tr>
<tr><td>een-tip-sat-nusmv-tt5.B.cnf</td><td>317124</td><td>4142</td><td>8</td><td>18.190</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-3.cnf</td></td></tr>
<tr><td>mizh-md5-47-4.cnf</td></td></tr>
<tr><td>mizh-md5-47-5.cnf</td></td></tr>
<tr><td>mizh-md5-48-2.cnf</td></td></tr>
<tr><td>mizh-md5-48-5.cnf</td></td></tr>
<tr><td>mizh-sha0-35-2.cnf</td><td>15420473</td><td>946638</td><td>298</td><td>2456.440</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-3.cnf</td></td></tr>
<tr><td>mizh-sha0-35-4.cnf</td></td></tr>
<tr><td>mizh-sha0-35-5.cnf</td><td>13181024</td><td>822480</td><td>259</td><td>1925.190</td><td>SAT</td></tr>
<tr><td>mizh-sha0-36-2.cnf</td></td></tr>
<tr><td>een-tip-uns-nusmv-t5.B.cnf</td><td>215305</td><td>3499</td><td>6</td><td>10.440</td><td>UNSAT</td></tr>
<tr><td>narain-vpn-clauses-6.cnf</td><td>827455</td><td>463779</td><td>18</td><td>1590.380</td><td>SAT</td></tr>
<tr><td>schup-l2s-guid-1-k56.cnf</td></td></tr>
<tr><td>schup-l2s-motst-2-k315.cnf</td></td></tr>
<tr><td>simon-s02-w08-18.cnf</td><td>424543</td><td>197557</td><td>34</td><td>1136.760</td><td>SAT</td></tr>
<tr><td>simon-s02b-dp11u10.cnf</td><td>711807</td><td>569655</td><td>1037</td><td>669.490</td><td>UNSAT</td></tr>
<tr><td>simon-s02b-k2f-gr-rcs-w8.cnf</td></td></tr>
<tr><td>simon-s02b-r4b1k1.1.cnf</td><td>2117318</td><td>1577741</td><td>2861</td><td>2019.760</td><td>SAT</td></tr>
<tr><td>simon-s03-fifo8-300.cnf</td></td></tr>
<tr><td>simon-s03-fifo8-400.cnf</td></td></tr>
<tr><td>vange-col-abb313GPIA-9-c.cnf</td></td></tr>
<tr><td>goldb-heqc-alu4mul.cnf</td><td>1094627</td><td>839597</td><td>1527</td><td>853.070</td><td>UNSAT</td></tr>
<tr><td>vange-col-inithx.i.1-cn-54.cnf</td></td></tr>
<tr><td>velev-engi-uns-1.0-4nd.cnf</td><td>200295</td><td>147677</td><td>145</td><td>37.810</td><td>UNSAT</td></tr>
<tr><td>velev-engi-uns-1.0-5c1.cnf</td><td>23566</td><td>16965</td><td>11</td><td>6.570</td><td>UNSAT</td></tr>
<tr><td>velev-fvp-sat-3.0-b18.cnf</td><td>1956472</td><td>264595</td><td>17</td><td>280.590</td><td>SAT</td></tr>
<tr><td>velev-live-uns-2.0-ebuf.cnf</td><td>193064</td><td>84177</td><td>37</td><td>26.140</td><td>UNSAT</td></tr>
<tr><td>velev-npe-1.0-9dlx-b71.cnf</td></td></tr>
<tr><td>velev-pipe-o-uns-1.0-7.cnf</td><td>2175793</td><td>803070</td><td>76</td><td>790.810</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-o-uns-1.1-6.cnf</td><td>786475</td><td>99392</td><td>23</td><td>50.850</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-sat-1.0-b10.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.0-b7.cnf</td><td>2241990</td><td>612525</td><td>13</td><td>2096.220</td><td>SAT</td></tr>
<tr><td>goldb-heqc-dalumul.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.0-b9.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.1-b7.cnf</td><td>705574</td><td>60471</td><td>2</td><td>340.040</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-8.cnf</td><td>2792429</td><td>485166</td><td>26</td><td>421.090</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.0-9.cnf</td><td>3066231</td><td>135009</td><td>7</td><td>190.520</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-7.cnf</td><td>1077645</td><td>77735</td><td>12</td><td>59.470</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-sat-2.0-b6.cnf</td><td>808367</td><td>42498</td><td>4</td><td>385.820</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b1.cnf</td><td>4293290</td><td>85430</td><td>4</td><td>2387.070</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b3.cnf</td><td>2223766</td><td>23047</td><td>3</td><td>1407.700</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b4.cnf</td><td>3542236</td><td>60913</td><td>4</td><td>1995.250</td><td>SAT</td></tr>
<tr><td>velev-vliw-uns-2.0-iq4.cnf</td><td>45088292</td><td>839966</td><td>37</td><td>3041.960</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-desmul.cnf</td><td>1869370</td><td>75755</td><td>31</td><td>115.300</td><td>UNSAT</td></tr>
<tr><td>Total (63 / 100)</td><td>181293297</td><td>21470913</td><td>12272</td><td>50254.21</td><td></td></tr></table><p>