MiniSat 1.14<p>
1 groups, 100 instances, 1-hour cutoff<p>
Instances solved: 76 (35 SAT + 41 UNSAT)<br>
Time: 122642 seconds / 34.07 hours / 1.42 days<br>
Time on solved instances: 36242 seconds (18653 SAT + 17589 UNSAT)<p>
Instances solved in 10 minutes: 53 (6000 seconds)<br>
Instances solved in 15 minutes: 58 (9621 seconds)<br>
Instances solved in 20 minutes: 66 (18066 seconds)<br>
Instances solved in 30 minutes: 72 (26568 seconds)<br>
Instances solved in 60 minutes: 76 (36242 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>20</td><td>543755</td><td>3020864</td><td>330.032</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>554877</td><td>3921301</td><td>929.033</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-term1mul.cnf</td></td></tr>
<tr><td>grieu-vmpc-s05-25.cnf</td><td>19</td><td>348291</td><td>559468</td><td>521.126</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-27.cnf</td><td>20</td><td>581476</td><td>921047</td><td>1057.85</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-28.cnf</td><td>21</td><td>971577</td><td>1552925</td><td>2379.52</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-34.cnf</td></td></tr>
<tr><td>hoons-vbmc-lucky7.cnf</td><td>23</td><td>1732552</td><td>2002248</td><td>1146.39</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-05r-k90.cnf</td><td>14</td><td>47141</td><td>376007</td><td>38.2152</td><td>SAT</td></tr>
<tr><td>aloul-chnl11-13.cnf</td><td>29</td><td>20477161</td><td>24128811</td><td>1786.72</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-07r-k100.cnf</td><td>13</td><td>36136</td><td>224222</td><td>6.18606</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-11r1-k45.cnf</td><td>18</td><td>202098</td><td>713130</td><td>273.748</td><td>SAT</td></tr>
<tr><td>ibm-2002-19r-k100.cnf</td><td>21</td><td>849808</td><td>2894555</td><td>1987.33</td><td>SAT</td></tr>
<tr><td>ibm-2002-21r-k95.cnf</td><td>20</td><td>613627</td><td>2009116</td><td>1139.25</td><td>SAT</td></tr>
<tr><td>ibm-2002-26r-k45.cnf</td><td>9</td><td>6026</td><td>103533</td><td>4.18836</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-27r-k95.cnf</td><td>16</td><td>122413</td><td>963418</td><td>54.9246</td><td>SAT</td></tr>
<tr><td>ibm-2004-03-k70.cnf</td><td>16</td><td>118651</td><td>296962</td><td>44.4292</td><td>SAT</td></tr>
<tr><td>ibm-2004-04-k100.cnf</td><td>20</td><td>465488</td><td>1164601</td><td>1014.39</td><td>SAT</td></tr>
<tr><td>ibm-2004-06-k90.cnf</td><td>18</td><td>238239</td><td>524583</td><td>155.369</td><td>SAT</td></tr>
<tr><td>ibm-2004-19-k90.cnf</td><td>20</td><td>560400</td><td>2750003</td><td>1240.14</td><td>SAT</td></tr>
<tr><td>een-pico-prop01-75.cnf</td><td>12</td><td>19319</td><td>121183</td><td>4.5813</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_11-k25.cnf</td><td>11</td><td>16144</td><td>59901</td><td>6.42102</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_31_2-k25.cnf</td><td>16</td><td>103905</td><td>181655</td><td>119.885</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-26-k25.cnf</td><td>7</td><td>2180</td><td>58636</td><td>1.74373</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_02_1-k100.cnf</td><td>14</td><td>45501</td><td>234778</td><td>11.8512</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_14-k45.cnf</td><td>15</td><td>59969</td><td>318941</td><td>26.8249</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_1-k95.cnf</td><td>9</td><td>6535</td><td>45034</td><td>1.38979</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_3-k95.cnf</td><td>4</td><td>636</td><td>27881</td><td>0.333949</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>17037</td><td>117605</td><td>4.86726</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10id_s.cnf</td><td>12</td><td>25702</td><td>220790</td><td>10.4124</td><td>UNSAT</td></tr>
<tr><td>een-pico-prop05-50.cnf</td><td>16</td><td>108574</td><td>419604</td><td>69.1845</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10nidw_s.cnf</td><td>21</td><td>697774</td><td>3604202</td><td>883.429</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw_i.cnf</td><td>20</td><td>589321</td><td>3060540</td><td>795.865</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b.cnf</td><td>16</td><td>103701</td><td>282213</td><td>54.6087</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b_i.cnf</td><td>17</td><td>149397</td><td>369354</td><td>78.0161</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>14</td><td>54809</td><td>118792</td><td>16.8234</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c9nidw_s.cnf</td><td>19</td><td>426873</td><td>2255188</td><td>430.572</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f10ni.cnf</td></td></tr>
<tr><td>manol-pipe-f6bi.cnf</td><td>13</td><td>32897</td><td>117104</td><td>12.2441</td><td>UNSAT</td></tr>
<tr><td>een-tip-sat-nusmv-t5.B.cnf</td><td>9</td><td>7395</td><td>257529</td><td>9.64253</td><td>SAT</td></tr>
<tr><td>manol-pipe-f7idw.cnf</td><td>21</td><td>765385</td><td>2973769</td><td>999.853</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f9b.cnf</td><td>21</td><td>971075</td><td>1909359</td><td>3093.46</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f9n.cnf</td></td></tr>
<tr><td>manol-pipe-g10b.cnf</td><td>17</td><td>158468</td><td>471661</td><td>106.956</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10bidw.cnf</td><td>22</td><td>1388919</td><td>5036271</td><td>2213.89</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10id.cnf</td><td>17</td><td>178876</td><td>705210</td><td>118.229</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10nid.cnf</td><td>22</td><td>1038332</td><td>3638239</td><td>1572.13</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g6bi.cnf</td><td>11</td><td>12138</td><td>43298</td><td>1.3478</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7nidw.cnf</td><td>16</td><td>121091</td><td>538460</td><td>44.0823</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>9</td><td>7449</td><td>266506</td><td>10.2914</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-3.cnf</td><td>20</td><td>456054</td><td>2334829</td><td>408.151</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-4.cnf</td><td>20</td><td>580051</td><td>2843222</td><td>617.282</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-5.cnf</td><td>21</td><td>678175</td><td>3327386</td><td>703.539</td><td>SAT</td></tr>
<tr><td>mizh-md5-48-2.cnf</td><td>19</td><td>406640</td><td>2310905</td><td>198.857</td><td>SAT</td></tr>
<tr><td>mizh-md5-48-5.cnf</td><td>20</td><td>628209</td><td>2890560</td><td>1281.51</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-2.cnf</td><td>19</td><td>353295</td><td>1336226</td><td>431.602</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-3.cnf</td><td>21</td><td>678476</td><td>1976790</td><td>1419.84</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-4.cnf</td><td>17</td><td>161741</td><td>895841</td><td>35.0827</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-5.cnf</td><td>19</td><td>367075</td><td>1372421</td><td>396.235</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>8</td><td>3388</td><td>23279</td><td>2.82157</td><td>UNSAT</td></tr>
<tr><td>narain-vpn-clauses-6.cnf</td><td>19</td><td>374482</td><td>830130</td><td>1034.92</td><td>SAT</td></tr>
<tr><td>schup-l2s-guid-1-k56.cnf</td><td>19</td><td>352751</td><td>816601</td><td>1201.52</td><td>UNSAT</td></tr>
<tr><td>schup-l2s-motst-2-k315.cnf</td><td>18</td><td>216351</td><td>623084</td><td>1123.62</td><td>SAT</td></tr>
<tr><td>simon-s02-w08-18.cnf</td><td>16</td><td>96796</td><td>245482</td><td>389.517</td><td>SAT</td></tr>
<tr><td>simon-s02b-dp11u10.cnf</td><td>18</td><td>248896</td><td>333340</td><td>127.837</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>21</td><td>815636</td><td>916453</td><td>417.846</td><td>SAT</td></tr>
<tr><td>simon-s03-fifo8-300.cnf</td><td>17</td><td>152115</td><td>490251</td><td>202.585</td><td>UNSAT</td></tr>
<tr><td>simon-s03-fifo8-400.cnf</td><td>18</td><td>224437</td><td>776375</td><td>386.309</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>708471</td><td>890520</td><td>620.511</td><td>UNSAT</td></tr>
<tr><td>vange-col-inithx.i.1-cn-54.cnf</td><td>16</td><td>91527</td><td>509487</td><td>17.3134</td><td>SAT</td></tr>
<tr><td>velev-engi-uns-1.0-4nd.cnf</td><td>16</td><td>105931</td><td>158072</td><td>56.0545</td><td>UNSAT</td></tr>
<tr><td>velev-engi-uns-1.0-5c1.cnf</td><td>11</td><td>14149</td><td>31085</td><td>4.67329</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>16</td><td>101890</td><td>303324</td><td>42.9395</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>6</td><td>1955</td><td>91015</td><td>8.63569</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-b7.cnf</td><td>12</td><td>25066</td><td>263945</td><td>22.3726</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>6</td><td>1473</td><td>405185</td><td>17.3504</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b1.cnf</td><td>16</td><td>91640</td><td>3279865</td><td>161.647</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b3.cnf</td><td>6</td><td>1649</td><td>1530727</td><td>18.8581</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b4.cnf</td><td>7</td><td>2730</td><td>1421701</td><td>22.6476</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>14</td><td>58071</td><td>1916646</td><td>62.0816</td><td>UNSAT</td></tr>
<tr><td>Total (76 / 100)</td><td>1226</td><td>43578238</td><td>110725244</td><td>36241.935749</td><td></td></tr></table><p>