MiniSat 1.14<p>
1 groups, 50 instances, 1-hour cutoff<p>
Instances solved: 42 (15 SAT + 27 UNSAT)<br>
Time: 35976 seconds / 9.99 hours / 0.42 days<br>
Time on solved instances: 7176 seconds (3599 SAT + 3577 UNSAT)<p>
Instances solved in 10 minutes: 38 (2892 seconds)<br>
Instances solved in 15 minutes: 39 (3776 seconds)<br>
Instances solved in 20 minutes: 41 (5937 seconds)<br>
Instances solved in 30 minutes: 42 (7176 seconds)<br>
Instances solved in 60 minutes: 42 (7176 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>manol-pipe-c10ni_s.cnf</td><td>17</td><td>179295</td><td>885473</td><td>148.481</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6id.cnf</td><td>18</td><td>228413</td><td>1185510</td><td>116.18</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6n.cnf</td><td>16</td><td>111316</td><td>340272</td><td>60.0139</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nid_s.cnf</td><td>16</td><td>107349</td><td>675901</td><td>57.0823</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7_i.cnf</td><td>14</td><td>50296</td><td>102471</td><td>13.285</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw.cnf</td><td>19</td><td>316495</td><td>1502386</td><td>207.51</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8_i.cnf</td><td>14</td><td>45360</td><td>93390</td><td>12.4811</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8b_i.cnf</td><td>16</td><td>129884</td><td>349703</td><td>92.4219</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8n.cnf</td><td>17</td><td>161902</td><td>445475</td><td>140.28</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6b.cnf</td><td>13</td><td>26103</td><td>55556</td><td>8.63269</td><td>UNSAT</td></tr>
<tr><td>een-tipb-sr06-par1.cnf</td><td>3</td><td>325</td><td>4004</td><td>1.87971</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6n.cnf</td><td>12</td><td>19440</td><td>45752</td><td>5.2572</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10idw.cnf</td><td>17</td><td>159556</td><td>777912</td><td>93.0649</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g6bid.cnf</td><td>12</td><td>25749</td><td>144795</td><td>4.79427</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7n.cnf</td><td>12</td><td>25163</td><td>64013</td><td>4.77827</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-10s.cnf</td><td>7</td><td>2281</td><td>10074</td><td>248.946</td><td>UNSAT</td></tr>
<tr><td>schup-l2s-s04-abp4.cnf</td><td>16</td><td>127575</td><td>174000</td><td>115.972</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-01.cnf</td><td>23</td><td>2238242</td><td>2572998</td><td>1239.11</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-03.cnf</td><td>20</td><td>470379</td><td>1620603</td><td>215.92</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>23</td><td>1562964</td><td>1774051</td><td>883.708</td><td>SAT</td></tr>
<tr><td>stric-bmc-ibm-10.cnf</td><td>8</td><td>4137</td><td>27089</td><td>1.70274</td><td>SAT</td></tr>
<tr><td>een-tipb-sr06-tc6b.cnf</td><td>4</td><td>486</td><td>2022</td><td>0.276957</td><td>UNSAT</td></tr>
<tr><td>stric-bmc-ibm-12.cnf</td><td>10</td><td>9588</td><td>30403</td><td>6.50901</td><td>SAT</td></tr>
<tr><td>vange-color-inc-54.cnf</td><td>16</td><td>91527</td><td>509487</td><td>17.1234</td><td>SAT</td></tr>
<tr><td>velev-eng-uns-1.0-04.cnf</td><td>13</td><td>36731</td><td>70270</td><td>10.4724</td><td>UNSAT</td></tr>
<tr><td>velev-eng-uns-1.0-04a.cnf</td><td>16</td><td>105931</td><td>158072</td><td>55.0176</td><td>UNSAT</td></tr>
<tr><td>velev-fvp-sat-3.0-07.cnf</td></td></tr>
<tr><td>velev-fvp-sat-3.0-12.cnf</td><td>17</td><td>138515</td><td>698107</td><td>41.8766</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-01.cnf</td><td>10</td><td>9109</td><td>188704</td><td>18.3672</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-03.cnf</td><td>11</td><td>14059</td><td>292715</td><td>40.0099</td><td>SAT</td></tr>
<tr><td>velev-npe-1.0-02.cnf</td><td>16</td><td>92677</td><td>182371</td><td>19.672</td><td>UNSAT</td></tr>
<tr><td>velev-npe-1.0-03.cnf</td><td>9</td><td>5227</td><td>217145</td><td>6.77597</td><td>SAT</td></tr>
<tr><td>goldb-heqc-desmul.cnf</td><td>14</td><td>58071</td><td>1916646</td><td>64.0473</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-1.0-08.cnf</td></td></tr>
<tr><td>velev-pipe-1.0-09.cnf</td><td>6</td><td>1955</td><td>91015</td><td>8.64269</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.1-03.cnf</td></td></tr>
<tr><td>velev-pipe-1.1-05.cnf</td><td>9</td><td>5223</td><td>150253</td><td>8.74467</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-08.cnf</td></td></tr>
<tr><td>velev-pipe-uns-1.1-05.cnf</td></td></tr>
<tr><td>velev-pipe-uns-1.1-07.cnf</td></td></tr>
<tr><td>velev-sss-1.0-cl.cnf</td><td>11</td><td>15211</td><td>36114</td><td>0.731888</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-sat-2.0-02.cnf</td><td>10</td><td>7562</td><td>652340</td><td>34.4658</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>22</td><td>1159908</td><td>2405926</td><td>291.012</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-uns-2.0-02.cnf</td></td></tr>
<tr><td>grieu-vmpc-s05-24s.cnf</td><td>16</td><td>103972</td><td>152347</td><td>35.7876</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-27r.cnf</td><td>20</td><td>581476</td><td>921047</td><td>1040.27</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-05.cnf</td><td>23</td><td>1732552</td><td>2002248</td><td>1120.3</td><td>UNSAT</td></tr>
<tr><td>hoons-vbmc-s04-07.cnf</td><td>13</td><td>35871</td><td>41606</td><td>120.443</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10b.cnf</td><td>19</td><td>378114</td><td>917683</td><td>563.696</td><td>UNSAT</td></tr>
<tr><td>Total (42 / 50)</td><td>598</td><td>10575989</td><td>24487949</td><td>7175.742965</td><td></td></tr></table><p>