MiniSat 2.0<p>
1 groups, 50 instances, 1-hour cutoff<p>
Instances solved: 39 (8 SAT + 31 UNSAT)<br>
Time: 53168 seconds / 14.77 hours / 0.62 days<br>
Time on solved instances: 13568 seconds (3299 SAT + 10269 UNSAT)<p>
Instances solved in 10 minutes: 32 (2840 seconds)<br>
Instances solved in 15 minutes: 34 (4400 seconds)<br>
Instances solved in 20 minutes: 35 (5304 seconds)<br>
Instances solved in 30 minutes: 36 (6993 seconds)<br>
Instances solved in 60 minutes: 39 (13568 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>21</td><td>671891</td><td>2913045</td><td>470.848</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6b_i.cnf</td><td>16</td><td>107102</td><td>303029</td><td>23.3335</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6bid_i.cnf</td><td>19</td><td>346117</td><td>1499056</td><td>123.234</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6idw_s.cnf</td><td>10</td><td>8191</td><td>80524</td><td>2.6426</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6ni_s.cnf</td><td>5</td><td>870</td><td>14621</td><td>1.57676</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw.cnf</td><td>22</td><td>1270017</td><td>5554424</td><td>719.143</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7_i.cnf</td><td>16</td><td>103867</td><td>232107</td><td>17.9093</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw_s.cnf</td><td>13</td><td>29278</td><td>168885</td><td>6.66399</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8b_i.cnf</td><td>16</td><td>114514</td><td>340159</td><td>34.8237</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-113.cnf</td><td>20</td><td>569143</td><td>1258152</td><td>248.695</td><td>UNSAT</td></tr>
<tr><td>aloul-sr06-chnl10-13.cnf</td><td>23</td><td>1885317</td><td>2216820</td><td>83.4223</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-143.cnf</td><td>17</td><td>193782</td><td>860237</td><td>70.5543</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6i.cnf</td><td>13</td><td>35877</td><td>91528</td><td>9.36957</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6nid.cnf</td><td>16</td><td>93803</td><td>433777</td><td>24.1913</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f7idw.cnf</td></td></tr>
<tr><td>manol-pipe-g10ni.cnf</td><td>23</td><td>2027821</td><td>4875024</td><td>1878.42</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8b.cnf</td><td>15</td><td>79820</td><td>181101</td><td>18.0663</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8bidw.cnf</td><td>20</td><td>612812</td><td>1867783</td><td>336.202</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8n.cnf</td><td>16</td><td>89080</td><td>185625</td><td>18.6812</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-md5-47-03.cnf</td><td>20</td><td>625067</td><td>3085107</td><td>840.266</td><td>SAT</td></tr>
<tr><td>miza-sr06-md5-48-01.cnf</td><td>19</td><td>406796</td><td>2074269</td><td>174.369</td><td>SAT</td></tr>
<tr><td>een-pico-sr06-pr02-02.cnf</td><td>13</td><td>33515</td><td>101141</td><td>6.94094</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-sha0-35-03.cnf</td><td>22</td><td>1011745</td><td>2707316</td><td>1838.16</td><td>SAT</td></tr>
<tr><td>narai-vpn-sat05-02s.cnf</td><td>9</td><td>5039</td><td>13415</td><td>386.14</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-sat05-07.cnf</td></td></tr>
<tr><td>schup-l2s-s04-valves.cnf</td></td></tr>
<tr><td>schup-l2s-s04s2-09.cnf</td><td>18</td><td>204753</td><td>303926</td><td>100.291</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>25</td><td>3587069</td><td>4553433</td><td>1689.45</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>17</td><td>151312</td><td>415235</td><td>98.875</td><td>UNSAT</td></tr>
<tr><td>velev-live-sat-1.0-05.cnf</td><td>14</td><td>39716</td><td>608913</td><td>190.676</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>573060</td><td>4153371</td><td>904.254</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>8</td><td>4691</td><td>121750</td><td>11.3573</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>12</td><td>17465</td><td>234071</td><td>27.0639</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>14</td><td>49331</td><td>114887</td><td>5.67014</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-03.cnf</td><td>11</td><td>11400</td><td>35797</td><td>0.736887</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>12</td><td>18703</td><td>40127</td><td>1.02484</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>3327</td><td>1462373</td><td>39.205</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-05s.cnf</td><td>19</td><td>301819</td><td>412174</td><td>177.875</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-06.cnf</td><td>25</td><td>4031301</td><td>4979679</td><td>2858.2</td><td>UNSAT</td></tr>
<tr><td>hoons-vbmc-s04-07.cnf</td><td>13</td><td>37633</td><td>47147</td><td>84.6431</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10bi_s.cnf</td><td>14</td><td>50667</td><td>251236</td><td>15.8256</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10id_s.cnf</td><td>16</td><td>117128</td><td>444681</td><td>29.3435</td><td>UNSAT</td></tr>
<tr><td>Total (39 / 50)</td><td>630</td><td>19520839</td><td>49235945</td><td>13568.144027</td><td></td></tr></table><p>