MiniSat 2.0<p>
1 groups, 100 instances, 1-hour cutoff<p>
Instances solved: 74 (33 SAT + 41 UNSAT)<br>
Time: 119203 seconds / 33.11 hours / 1.38 days<br>
Time on solved instances: 25603 seconds (9873 SAT + 15730 UNSAT)<p>
Instances solved in 10 minutes: 59 (7510 seconds)<br>
Instances solved in 15 minutes: 68 (13965 seconds)<br>
Instances solved in 20 minutes: 71 (16890 seconds)<br>
Instances solved in 30 minutes: 71 (16890 seconds)<br>
Instances solved in 60 minutes: 74 (25603 seconds)<br>

<table border=1><tr><td>CNF</td><td>Restarts</td><td>Conflicts</td><td>Decisions</td><td>Time</td><td>Sol</td></tr>
<tr><td>velev-vliw-uns-4.0-9C1.cnf</td></td></tr>
<tr><td>goldb-heqc-frg2mul.cnf</td><td>21</td><td>961604</td><td>4652655</td><td>638.068</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-i10mul.cnf</td></td></tr>
<tr><td>goldb-heqc-i8mul.cnf</td><td>20</td><td>573060</td><td>4153371</td><td>925.498</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-term1mul.cnf</td></td></tr>
<tr><td>grieu-vmpc-s05-25.cnf</td><td>17</td><td>169548</td><td>289931</td><td>143.764</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-27.cnf</td><td>20</td><td>576654</td><td>984363</td><td>817.3</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-28.cnf</td></td></tr>
<tr><td>grieu-vmpc-s05-34.cnf</td></td></tr>
<tr><td>hoons-vbmc-lucky7.cnf</td><td>16</td><td>109349</td><td>146647</td><td>16.3445</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-05r-k90.cnf</td><td>10</td><td>10925</td><td>103764</td><td>13.7539</td><td>SAT</td></tr>
<tr><td>aloul-chnl11-13.cnf</td><td>30</td><td>36722725</td><td>42798503</td><td>3462.8</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-07r-k100.cnf</td><td>14</td><td>44785</td><td>305776</td><td>2.82857</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-11r1-k45.cnf</td><td>16</td><td>91356</td><td>313516</td><td>81.4626</td><td>SAT</td></tr>
<tr><td>ibm-2002-19r-k100.cnf</td><td>19</td><td>304433</td><td>1100270</td><td>376.125</td><td>SAT</td></tr>
<tr><td>ibm-2002-21r-k95.cnf</td><td>18</td><td>254042</td><td>876417</td><td>263.435</td><td>SAT</td></tr>
<tr><td>ibm-2002-26r-k45.cnf</td><td>19</td><td>401303</td><td>1363112</td><td>458.263</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-27r-k95.cnf</td><td>15</td><td>66833</td><td>269867</td><td>23.1655</td><td>SAT</td></tr>
<tr><td>ibm-2004-03-k70.cnf</td><td>14</td><td>51001</td><td>136373</td><td>14.6068</td><td>SAT</td></tr>
<tr><td>ibm-2004-04-k100.cnf</td><td>18</td><td>200063</td><td>620596</td><td>189.25</td><td>SAT</td></tr>
<tr><td>ibm-2004-06-k90.cnf</td><td>16</td><td>114313</td><td>270014</td><td>58.6481</td><td>SAT</td></tr>
<tr><td>ibm-2004-19-k90.cnf</td><td>15</td><td>84052</td><td>382156</td><td>53.0359</td><td>SAT</td></tr>
<tr><td>een-pico-prop01-75.cnf</td><td>10</td><td>9845</td><td>45795</td><td>1.88371</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_11-k25.cnf</td><td>10</td><td>9808</td><td>30526</td><td>4.73728</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_31_2-k25.cnf</td><td>16</td><td>115106</td><td>180718</td><td>104.206</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-26-k25.cnf</td><td>14</td><td>55170</td><td>306062</td><td>48.7156</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_02_1-k100.cnf</td><td>13</td><td>32577</td><td>167443</td><td>7.40287</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_14-k45.cnf</td><td>15</td><td>61698</td><td>253260</td><td>28.4497</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_1-k95.cnf</td><td>9</td><td>6835</td><td>53188</td><td>2.05869</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_3-k95.cnf</td><td>11</td><td>11987</td><td>96906</td><td>3.9714</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>11</td><td>13103</td><td>100293</td><td>4.25735</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10id_s.cnf</td><td>16</td><td>117128</td><td>444681</td><td>30.0074</td><td>UNSAT</td></tr>
<tr><td>een-pico-prop05-50.cnf</td><td>15</td><td>70503</td><td>133368</td><td>26.228</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10nidw_s.cnf</td><td>21</td><td>959939</td><td>3994411</td><td>899.683</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw_i.cnf</td><td>19</td><td>332134</td><td>1693579</td><td>127.623</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b.cnf</td><td>16</td><td>123562</td><td>306962</td><td>28.4607</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b_i.cnf</td><td>17</td><td>154279</td><td>395092</td><td>40.3289</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7bidw_i.cnf</td><td>21</td><td>978367</td><td>4313186</td><td>620.665</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7nidw.cnf</td><td>21</td><td>974350</td><td>4206191</td><td>543.249</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c9.cnf</td><td>17</td><td>161083</td><td>321566</td><td>31.3362</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c9nidw_s.cnf</td><td>21</td><td>770141</td><td>3238588</td><td>606.467</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f10ni.cnf</td></td></tr>
<tr><td>manol-pipe-f6bi.cnf</td><td>12</td><td>25745</td><td>94380</td><td>5.35919</td><td>UNSAT</td></tr>
<tr><td>een-tip-sat-nusmv-t5.B.cnf</td><td>6</td><td>1911</td><td>9137</td><td>1.62175</td><td>SAT</td></tr>
<tr><td>manol-pipe-f7idw.cnf</td></td></tr>
<tr><td>manol-pipe-f9b.cnf</td></td></tr>
<tr><td>manol-pipe-f9n.cnf</td></td></tr>
<tr><td>manol-pipe-g10b.cnf</td><td>20</td><td>545745</td><td>1216237</td><td>357.271</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10bidw.cnf</td><td>22</td><td>1359037</td><td>4515316</td><td>1049.34</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10id.cnf</td><td>18</td><td>292366</td><td>858710</td><td>187.415</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10nid.cnf</td><td>25</td><td>3465534</td><td>10451466</td><td>3408.56</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g6bi.cnf</td><td>12</td><td>19958</td><td>52480</td><td>1.65775</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7nidw.cnf</td><td>17</td><td>169327</td><td>454323</td><td>48.3926</td><td>UNSAT</td></tr>
<tr><td>maris-s03-gripper11.cnf</td><td>21</td><td>694948</td><td>1323140</td><td>588.519</td><td>SAT</td></tr>
<tr><td>een-tip-sat-nusmv-tt5.B.cnf</td><td>4</td><td>637</td><td>4537</td><td>1.13683</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-3.cnf</td><td>20</td><td>625067</td><td>3085107</td><td>857.717</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-4.cnf</td><td>19</td><td>431350</td><td>2219050</td><td>558.656</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-5.cnf</td><td>20</td><td>553351</td><td>2558403</td><td>424.798</td><td>SAT</td></tr>
<tr><td>mizh-md5-48-2.cnf</td><td>20</td><td>549957</td><td>2545986</td><td>481.091</td><td>SAT</td></tr>
<tr><td>mizh-md5-48-5.cnf</td></td></tr>
<tr><td>mizh-sha0-35-2.cnf</td><td>17</td><td>192259</td><td>785867</td><td>57.8752</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-3.cnf</td><td>22</td><td>1011745</td><td>2707316</td><td>1841.7</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-4.cnf</td><td>20</td><td>663823</td><td>1977716</td><td>950.31</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-5.cnf</td><td>20</td><td>585597</td><td>2018111</td><td>681.925</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>6</td><td>1605</td><td>5135</td><td>1.42678</td><td>UNSAT</td></tr>
<tr><td>narain-vpn-clauses-6.cnf</td></td></tr>
<tr><td>schup-l2s-guid-1-k56.cnf</td><td>18</td><td>242474</td><td>522922</td><td>426.149</td><td>UNSAT</td></tr>
<tr><td>schup-l2s-motst-2-k315.cnf</td><td>13</td><td>34912</td><td>112514</td><td>92.6019</td><td>SAT</td></tr>
<tr><td>simon-s02-w08-18.cnf</td><td>14</td><td>56489</td><td>141852</td><td>119.242</td><td>SAT</td></tr>
<tr><td>simon-s02b-dp11u10.cnf</td><td>22</td><td>1229294</td><td>1487773</td><td>488.988</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>22</td><td>1291749</td><td>1469502</td><td>707.088</td><td>SAT</td></tr>
<tr><td>simon-s03-fifo8-300.cnf</td><td>16</td><td>109047</td><td>380197</td><td>55.9555</td><td>UNSAT</td></tr>
<tr><td>simon-s03-fifo8-400.cnf</td><td>17</td><td>195460</td><td>712385</td><td>151.302</td><td>UNSAT</td></tr>
<tr><td>vange-col-abb313GPIA-9-c.cnf</td></td></tr>
<tr><td>goldb-heqc-alu4mul.cnf</td><td>21</td><td>702106</td><td>885938</td><td>625.701</td><td>UNSAT</td></tr>
<tr><td>vange-col-inithx.i.1-cn-54.cnf</td><td>19</td><td>310574</td><td>1167419</td><td>106.386</td><td>SAT</td></tr>
<tr><td>velev-engi-uns-1.0-4nd.cnf</td><td>17</td><td>141463</td><td>211365</td><td>72.0171</td><td>UNSAT</td></tr>
<tr><td>velev-engi-uns-1.0-5c1.cnf</td><td>12</td><td>17484</td><td>36456</td><td>10.6284</td><td>UNSAT</td></tr>
<tr><td>velev-fvp-sat-3.0-b18.cnf</td></td></tr>
<tr><td>velev-live-uns-2.0-ebuf.cnf</td><td>17</td><td>151312</td><td>415235</td><td>99.8068</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></tr>
<tr><td>velev-pipe-o-uns-1.1-6.cnf</td></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></tr>
<tr><td>goldb-heqc-dalumul.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.0-b9.cnf</td><td>4</td><td>799</td><td>60844</td><td>6.66599</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-b7.cnf</td><td>15</td><td>62323</td><td>541902</td><td>83.8133</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-8.cnf</td></td></tr>
<tr><td>velev-pipe-uns-1.0-9.cnf</td></td></tr>
<tr><td>velev-pipe-uns-1.1-7.cnf</td></td></tr>
<tr><td>velev-vliw-sat-2.0-b6.cnf</td><td>15</td><td>58201</td><td>811101</td><td>129.558</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b1.cnf</td><td>10</td><td>7850</td><td>1423846</td><td>52.2381</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b3.cnf</td><td>9</td><td>6611</td><td>1402638</td><td>53.4509</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b4.cnf</td><td>8</td><td>4283</td><td>1367219</td><td>37.8762</td><td>SAT</td></tr>
<tr><td>velev-vliw-uns-2.0-iq4.cnf</td></td></tr>
<tr><td>goldb-heqc-desmul.cnf</td><td>15</td><td>61632</td><td>2052845</td><td>80.8617</td><td>UNSAT</td></tr>
<tr><td>Total (74 / 100)</td><td>1196</td><td>61567686</td><td>131135516</td><td>25603.18166</td><td></td></tr></table><p>