MiniSat 1.14<p>
1 groups, 50 instances, 1-hour cutoff<p>
Instances solved: 41 (9 SAT + 32 UNSAT)<br>
Time: 45991 seconds / 12.78 hours / 0.53 days<br>
Time on solved instances: 13591 seconds (3372 SAT + 10220 UNSAT)<p>
Instances solved in 10 minutes: 32 (2801 seconds)<br>
Instances solved in 15 minutes: 34 (4401 seconds)<br>
Instances solved in 20 minutes: 38 (8424 seconds)<br>
Instances solved in 30 minutes: 40 (11568 seconds)<br>
Instances solved in 60 minutes: 41 (13591 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-c10nid_s.cnf</td><td>22</td><td>1082267</td><td>5792864</td><td>1724.7</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6b_i.cnf</td><td>16</td><td>130931</td><td>374698</td><td>57.2733</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6bid_i.cnf</td><td>20</td><td>481034</td><td>2480326</td><td>465.398</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6idw_s.cnf</td><td>7</td><td>2797</td><td>34434</td><td>0.963853</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6ni_s.cnf</td><td>7</td><td>3081</td><td>51211</td><td>1.90771</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw.cnf</td><td>21</td><td>753196</td><td>4560637</td><td>1041.37</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7_i.cnf</td><td>14</td><td>50296</td><td>102471</td><td>13.283</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw_s.cnf</td><td>8</td><td>3342</td><td>67527</td><td>1.76073</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8b_i.cnf</td><td>16</td><td>129884</td><td>349703</td><td>92.053</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-113.cnf</td><td>18</td><td>230920</td><td>535729</td><td>257.114</td><td>UNSAT</td></tr>
<tr><td>aloul-sr06-chnl10-13.cnf</td><td>20</td><td>560171</td><td>665123</td><td>21.2698</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-143.cnf</td><td>17</td><td>180811</td><td>984551</td><td>107.698</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6i.cnf</td><td>11</td><td>15376</td><td>74600</td><td>4.19736</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6nid.cnf</td><td>16</td><td>91685</td><td>637568</td><td>47.2678</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f7idw.cnf</td><td>21</td><td>765385</td><td>2973769</td><td>992.679</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10ni.cnf</td><td>20</td><td>636157</td><td>1818049</td><td>868.136</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8b.cnf</td><td>14</td><td>53090</td><td>145794</td><td>15.3587</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8bidw.cnf</td><td>19</td><td>319322</td><td>1103018</td><td>195.262</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8n.cnf</td><td>13</td><td>30598</td><td>89449</td><td>7.96479</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-md5-47-03.cnf</td><td>20</td><td>456054</td><td>2334829</td><td>415.647</td><td>SAT</td></tr>
<tr><td>miza-sr06-md5-48-01.cnf</td><td>20</td><td>516795</td><td>2836793</td><td>402.178</td><td>SAT</td></tr>
<tr><td>een-pico-sr06-pr02-02.cnf</td><td>12</td><td>21522</td><td>97373</td><td>5.56015</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-sha0-35-03.cnf</td><td>21</td><td>678476</td><td>1976790</td><td>1419.61</td><td>SAT</td></tr>
<tr><td>narai-vpn-sat05-02s.cnf</td><td>7</td><td>2281</td><td>10074</td><td>252.083</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-sat05-07.cnf</td><td>19</td><td>374482</td><td>830130</td><td>1054.75</td><td>SAT</td></tr>
<tr><td>schup-l2s-s04-valves.cnf</td></td></tr>
<tr><td>schup-l2s-s04s2-09.cnf</td><td>17</td><td>149861</td><td>223792</td><td>176.366</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>22</td><td>1123486</td><td>1509198</td><td>732.595</td><td>UNSAT</td></tr>
<tr><td>velev-dlx-uns-1.0-05.cnf</td></td></tr>
<tr><td>velev-live-2.0-02.cnf</td><td>16</td><td>101890</td><td>303324</td><td>43.3484</td><td>UNSAT</td></tr>
<tr><td>velev-live-sat-1.0-05.cnf</td><td>9</td><td>5189</td><td>204078</td><td>15.0657</td><td>SAT</td></tr>
<tr><td>velev-pipe-oun-1.0-04.cnf</td></td></tr>
<tr><td>goldb-heqc-i8mul.cnf</td><td>20</td><td>554877</td><td>3921301</td><td>933.817</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-oun-1.1-05.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.0-01.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.0-03.cnf</td><td>5</td><td>1212</td><td>83502</td><td>6.85596</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-01.cnf</td></td></tr>
<tr><td>velev-pipe-sat-1.1-03.cnf</td><td>5</td><td>1157</td><td>92581</td><td>4.75028</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-09.cnf</td></td></tr>
<tr><td>velev-pipe-uns-1.0-14.cnf</td><td>13</td><td>28388</td><td>66110</td><td>2.97055</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-03.cnf</td><td>13</td><td>33859</td><td>78382</td><td>2.87456</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-08.cnf</td></td></tr>
<tr><td>velev-sss-1.0-05.cnf</td><td>11</td><td>15597</td><td>34024</td><td>0.763883</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-k2mul.cnf</td></td></tr>
<tr><td>velev-vliw-sat-4.0-03.cnf</td><td>8</td><td>3784</td><td>1389588</td><td>27.1069</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-05s.cnf</td><td>15</td><td>86468</td><td>126130</td><td>25.5411</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-06.cnf</td><td>23</td><td>1673026</td><td>2140663</td><td>2022.99</td><td>UNSAT</td></tr>
<tr><td>hoons-vbmc-s04-07.cnf</td><td>13</td><td>35871</td><td>41606</td><td>118.386</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10bi_s.cnf</td><td>7</td><td>2585</td><td>48060</td><td>2.11668</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10id_s.cnf</td><td>12</td><td>25702</td><td>220790</td><td>10.2054</td><td>UNSAT</td></tr>
<tr><td>Total (41 / 50)</td><td>608</td><td>11412905</td><td>41410639</td><td>13591.238606</td><td></td></tr></table><p>