TiniSatELite<p>
1 group, 50 instances, 1-hour cutoff<p>
Instances solved: 45 (12 SAT + 33 UNSAT)<br>
Time: 35125 seconds / 9.76 hours / 0.41 days<br>
Time on solved instances: 17125 seconds (8698 SAT + 8427 UNSAT)<p>
Instances solved in 10 minutes: 36 (4804 seconds)<br>
Instances solved in 15 minutes: 38 (6367 seconds)<br>
Instances solved in 20 minutes: 39 (7473 seconds)<br>
Instances solved in 30 minutes: 45 (17125 seconds)<br>
Instances solved in 60 minutes: 45 (17125 seconds)<br>

<table border=1><tr><td>CNF</td><td>Vars</td><td>Clauses</td><td>Decisions</td><td>Conflicts</td><td>Restarts</td><td>Time</td><td>Sol</td></tr>
<tr><td>manol-pipe-c10nid_s.cnf</td><td>62957</td><td>504250</td><td>5335669</td><td>302572</td><td>187</td><td>352.901</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6b_i.cnf</td><td>3860</td><td>26832</td><td>271272</td><td>69740</td><td>60</td><td>19.233949</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6bid_i.cnf</td><td>15325</td><td>115973</td><td>3145428</td><td>321322</td><td>189</td><td>279.79678</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6idw_s.cnf</td><td>13870</td><td>101206</td><td>228655</td><td>10884</td><td>13</td><td>3.94781</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6ni_s.cnf</td><td>13032</td><td>100154</td><td>213011</td><td>14778</td><td>14</td><td>5.10381</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw.cnf</td><td>27573</td><td>213593</td><td>5551919</td><td>422132</td><td>252</td><td>489.92259</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7_i.cnf</td><td>2345</td><td>15894</td><td>85365</td><td>35086</td><td>30</td><td>5.253967</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw_s.cnf</td><td>17356</td><td>125963</td><td>235613</td><td>14443</td><td>14</td><td>5.07477</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8b_i.cnf</td><td>5661</td><td>39647</td><td>371229</td><td>97704</td><td>62</td><td>38.552923</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-113.cnf</td><td>6360</td><td>44916</td><td>413682</td><td>121668</td><td>86</td><td>65.512911</td><td>UNSAT</td></tr>
<tr><td>aloul-sr06-chnl10-13.cnf</td><td>234</td><td>1560</td><td>347650</td><td>342292</td><td>204</td><td>714.493999</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-143.cnf</td><td>21540</td><td>167619</td><td>856830</td><td>50091</td><td>42</td><td>20.13666</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6i.cnf</td><td>7513</td><td>56173</td><td>92816</td><td>12194</td><td>13</td><td>2.265883</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6nid.cnf</td><td>21350</td><td>166748</td><td>842584</td><td>51110</td><td>43</td><td>19.30166</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f7idw.cnf</td><td>41290</td><td>326692</td><td>2110582</td><td>375954</td><td>230</td><td>304.40534</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10ni.cnf</td><td>21380</td><td>162640</td><td>2487972</td><td>365674</td><td>220</td><td>323.00567</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8b.cnf</td><td>6953</td><td>50022</td><td>318689</td><td>90536</td><td>62</td><td>33.495903</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8bidw.cnf</td><td>20551</td><td>156080</td><td>1039958</td><td>125019</td><td>91</td><td>46.2477</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8n.cnf</td><td>6477</td><td>47071</td><td>271284</td><td>83069</td><td>62</td><td>27.301903</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-md5-47-03.cnf</td><td>26131</td><td>153779</td><td>7372551</td><td>850736</td><td>444</td><td>1719.484856</td><td>SAT</td></tr>
<tr><td>miza-sr06-md5-48-01.cnf</td><td>26689</td><td>157343</td><td>11105561</td><td>955562</td><td>508</td><td>1689.676849</td><td>SAT</td></tr>
<tr><td>een-pico-sr06-pr02-02.cnf</td><td>10166</td><td>64807</td><td>99434</td><td>25553</td><td>26</td><td>5.33083</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-sha0-35-03.cnf</td><td>19882</td><td>115611</td><td>3702813</td><td>514832</td><td>254</td><td>848.869896</td><td>SAT</td></tr>
<tr><td>narai-vpn-sat05-02s.cnf</td><td>624037</td><td>3193437</td><td>58949</td><td>4793</td><td>6</td><td>1105.9</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-sat05-07.cnf</td><td>209283</td><td>1017418</td><td>1182700</td><td>542657</td><td>272</td><td>1602.6713</td><td>SAT</td></tr>
<tr><td>schup-l2s-s04-valves.cnf</td><td>256406</td><td>1394774</td></td></tr>
<tr><td>schup-l2s-s04s2-09.cnf</td><td>4665</td><td>22653</td><td>423095</td><td>285067</td><td>172</td><td>443.363927</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>2578</td><td>12590</td></td></tr>
<tr><td>velev-dlx-uns-1.0-05.cnf</td><td>197384</td><td>4463267</td><td>3072456</td><td>162718</td><td>117</td><td>486.243</td><td>UNSAT</td></tr>
<tr><td>velev-live-2.0-02.cnf</td><td>11514</td><td>154193</td><td>153460</td><td>56808</td><td>45</td><td>26.66781</td><td>UNSAT</td></tr>
<tr><td>velev-live-sat-1.0-05.cnf</td><td>238410</td><td>4169075</td><td>692037</td><td>61769</td><td>52</td><td>298.8842</td><td>SAT</td></tr>
<tr><td>velev-pipe-oun-1.0-04.cnf</td><td>130483</td><td>8378447</td></td></tr>
<tr><td>goldb-heqc-i8mul.cnf</td><td>14201</td><td>90178</td><td>2772519</td><td>480719</td><td>254</td><td>1431.853958</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-oun-1.1-05.cnf</td><td>143219</td><td>7488923</td></td></tr>
<tr><td>velev-pipe-sat-1.0-01.cnf</td><td>105929</td><td>8758289</td><td>2917836</td><td>427865</td><td>253</td><td>1422.497</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.0-03.cnf</td><td>105929</td><td>8758241</td><td>26555</td><td>274</td><td>0</td><td>199.306</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-01.cnf</td><td>81164</td><td>4556547</td><td>997949</td><td>104959</td><td>70</td><td>251.171</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-03.cnf</td><td>81160</td><td>4556456</td><td>230974</td><td>19687</td><td>20</td><td>66.885</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-09.cnf</td><td>81267</td><td>4567469</td><td>4314</td><td>2</td><td>0</td><td>26.429</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-14.cnf</td><td>1973</td><td>26217</td><td>25777</td><td>9144</td><td>11</td><td>0.707977</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-03.cnf</td><td>1730</td><td>23386</td><td>21121</td><td>7328</td><td>9</td><td>0.634977</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-08.cnf</td><td>46760</td><td>2015434</td><td>5921797</td><td>883919</td><td>474</td><td>1785.54577</td><td>UNSAT</td></tr>
<tr><td>velev-sss-1.0-05.cnf</td><td>1071</td><td>11738</td><td>11379</td><td>4925</td><td>6</td><td>0.230992</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-k2mul.cnf</td><td>11527</td><td>74136</td></td></tr>
<tr><td>velev-vliw-sat-4.0-03.cnf</td><td>483458</td><td>13292615</td><td>3143315</td><td>14972</td><td>14</td><td>313.278</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-05s.cnf</td><td>625</td><td>76775</td><td>450329</td><td>255535</td><td>154</td><td>258.423993</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-06.cnf</td><td>3087</td><td>12960</td><td>260790</td><td>214216</td><td>126</td><td>233.160907</td><td>UNSAT</td></tr>
<tr><td>hoons-vbmc-s04-07.cnf</td><td>6708</td><td>30568</td><td>114602</td><td>84557</td><td>62</td><td>139.832882</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10bi_s.cnf</td><td>19546</td><td>146946</td><td>125808</td><td>7408</td><td>9</td><td>5.01571</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10id_s.cnf</td><td>30891</td><td>231254</td><td>211362</td><td>13520</td><td>14</td><td>6.89255</td><td>UNSAT</td></tr>
<tr><td>Total (45 / 50)</td><td colspan=2></td><td>69319691</td><td>8895793</td><td>5246</td><td>17124.913612</td><td></td></tr></table><p>