MiniSat 2.0<p>
1 groups, 50 instances, 1-hour cutoff<p>
Instances solved: 44 (17 SAT + 27 UNSAT)<br>
Time: 28240 seconds / 7.84 hours / 0.33 days<br>
Time on solved instances: 6640 seconds (3003 SAT + 3637 UNSAT)<p>
Instances solved in 10 minutes: 40 (3109 seconds)<br>
Instances solved in 15 minutes: 43 (5415 seconds)<br>
Instances solved in 20 minutes: 43 (5415 seconds)<br>
Instances solved in 30 minutes: 44 (6640 seconds)<br>
Instances solved in 60 minutes: 44 (6640 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>13</td><td>29147</td><td>158019</td><td>13.8159</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6id.cnf</td><td>19</td><td>315759</td><td>1252936</td><td>77.0683</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6n.cnf</td><td>19</td><td>346876</td><td>808491</td><td>135.702</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nid_s.cnf</td><td>16</td><td>98353</td><td>532504</td><td>29.0416</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7_i.cnf</td><td>16</td><td>103867</td><td>232107</td><td>17.8993</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw.cnf</td><td>22</td><td>1285937</td><td>4431909</td><td>627.293</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8_i.cnf</td><td>16</td><td>118977</td><td>245927</td><td>20.0929</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8b_i.cnf</td><td>16</td><td>114514</td><td>340159</td><td>34.6277</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8n.cnf</td><td>17</td><td>148195</td><td>405886</td><td>62.2315</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6b.cnf</td><td>12</td><td>21729</td><td>51706</td><td>3.37649</td><td>UNSAT</td></tr>
<tr><td>een-tipb-sr06-par1.cnf</td><td>1</td><td>29</td><td>60</td><td>0.970852</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6n.cnf</td><td>11</td><td>16411</td><td>38376</td><td>2.39164</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10idw.cnf</td><td>22</td><td>1271363</td><td>3582067</td><td>1224.61</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g6bid.cnf</td><td>13</td><td>31027</td><td>137720</td><td>3.56046</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7n.cnf</td><td>13</td><td>32889</td><td>64551</td><td>4.32434</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-10s.cnf</td><td>9</td><td>5039</td><td>13415</td><td>384.949</td><td>UNSAT</td></tr>
<tr><td>schup-l2s-s04-abp4.cnf</td><td>17</td><td>175593</td><td>241137</td><td>88.8015</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-01.cnf</td><td>18</td><td>212659</td><td>248791</td><td>82.6464</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-03.cnf</td><td>19</td><td>438592</td><td>1149038</td><td>181.752</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>23</td><td>1523023</td><td>1628748</td><td>880.145</td><td>SAT</td></tr>
<tr><td>stric-bmc-ibm-10.cnf</td><td>7</td><td>3154</td><td>8581</td><td>2.02469</td><td>SAT</td></tr>
<tr><td>een-tipb-sr06-tc6b.cnf</td><td>2</td><td>207</td><td>512</td><td>0.554915</td><td>UNSAT</td></tr>
<tr><td>stric-bmc-ibm-12.cnf</td><td>8</td><td>4190</td><td>12025</td><td>3.3025</td><td>SAT</td></tr>
<tr><td>vange-color-inc-54.cnf</td><td>19</td><td>310574</td><td>1167419</td><td>104.174</td><td>SAT</td></tr>
<tr><td>velev-eng-uns-1.0-04.cnf</td><td>13</td><td>34776</td><td>62969</td><td>12.3441</td><td>UNSAT</td></tr>
<tr><td>velev-eng-uns-1.0-04a.cnf</td><td>17</td><td>141463</td><td>211365</td><td>70.9942</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>13</td><td>32336</td><td>297199</td><td>17.0194</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-01.cnf</td><td>7</td><td>2260</td><td>85701</td><td>53.3319</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-03.cnf</td><td>9</td><td>5915</td><td>147789</td><td>88.4376</td><td>SAT</td></tr>
<tr><td>velev-npe-1.0-02.cnf</td><td>16</td><td>102440</td><td>194873</td><td>26.424</td><td>UNSAT</td></tr>
<tr><td>velev-npe-1.0-03.cnf</td><td>13</td><td>26511</td><td>278031</td><td>85.0931</td><td>SAT</td></tr>
<tr><td>goldb-heqc-desmul.cnf</td><td>15</td><td>61632</td><td>2052845</td><td>78.1101</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>4</td><td>799</td><td>60844</td><td>6.62899</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.1-03.cnf</td><td>11</td><td>11372</td><td>195308</td><td>17.6453</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.1-05.cnf</td><td>7</td><td>2310</td><td>115368</td><td>7.63484</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>9</td><td>6597</td><td>16007</td><td>0.26296</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-sat-2.0-02.cnf</td><td>6</td><td>2000</td><td>528486</td><td>38.4242</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-2.0-04.cnf</td><td>18</td><td>205046</td><td>2022875</td><td>479.978</td><td>SAT</td></tr>
<tr><td>goldb-heqc-rotmul.cnf</td><td>22</td><td>1038359</td><td>2165909</td><td>256.307</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>18</td><td>282547</td><td>392044</td><td>156.015</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-27r.cnf</td><td>20</td><td>576654</td><td>984363</td><td>798.506</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-05.cnf</td><td>16</td><td>109349</td><td>146647</td><td>16.0596</td><td>UNSAT</td></tr>
<tr><td>hoons-vbmc-s04-07.cnf</td><td>13</td><td>37633</td><td>47147</td><td>86.3049</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10b.cnf</td><td>20</td><td>513805</td><td>1141227</td><td>358.996</td><td>UNSAT</td></tr>
<tr><td>Total (44 / 50)</td><td>615</td><td>9801908</td><td>27899081</td><td>6639.873177</td><td></td></tr></table><p>