TiniSatELite<p>
1 group, 50 instances, 1-hour cutoff<p>
Instances solved: 49 (18 SAT + 31 UNSAT)<br>
Time: 12361 seconds / 3.43 hours / 0.14 days<br>
Time on solved instances: 8761 seconds (3133 SAT + 5628 UNSAT)<p>
Instances solved in 10 minutes: 45 (4643 seconds)<br>
Instances solved in 15 minutes: 47 (6113 seconds)<br>
Instances solved in 20 minutes: 48 (7219 seconds)<br>
Instances solved in 30 minutes: 49 (8761 seconds)<br>
Instances solved in 60 minutes: 49 (8761 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-c10ni_s.cnf</td><td>32398</td><td>257392</td><td>289657</td><td>17162</td><td>16</td><td>13.18549</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6id.cnf</td><td>14281</td><td>103811</td><td>1620921</td><td>132650</td><td>93</td><td>53.7258</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6n.cnf</td><td>6063</td><td>45259</td><td>330558</td><td>77785</td><td>61</td><td>22.24091</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nid_s.cnf</td><td>24288</td><td>188188</td><td>762011</td><td>40893</td><td>30</td><td>19.28264</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.286968</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw.cnf</td><td>19907</td><td>145557</td><td>2254239</td><td>188776</td><td>125</td><td>99.95673</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8_i.cnf</td><td>2549</td><td>17225</td><td>90339</td><td>37054</td><td>30</td><td>6.154965</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>39.392923</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8n.cnf</td><td>8609</td><td>64522</td><td>475273</td><td>120806</td><td>84</td><td>58.24187</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6b.cnf</td><td>5663</td><td>41942</td><td>48424</td><td>15063</td><td>14</td><td>2.10991</td><td>UNSAT</td></tr>
<tr><td>een-tipb-sr06-par1.cnf</td><td>289</td><td>1742</td><td>47</td><td>34</td><td>0</td><td>2.20766</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6n.cnf</td><td>5651</td><td>42101</td><td>45458</td><td>13041</td><td>14</td><td>1.873908</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10idw.cnf</td><td>29303</td><td>223804</td><td>1494263</td><td>229968</td><td>128</td><td>155.17058</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g6bid.cnf</td><td>7183</td><td>51335</td><td>211406</td><td>19418</td><td>19</td><td>3.220905</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7n.cnf</td><td>4123</td><td>29341</td><td>88490</td><td>24649</td><td>25</td><td>3.363943</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-10s.cnf</td><td>624037</td><td>3193437</td><td>58949</td><td>4793</td><td>6</td><td>1106.797</td><td>UNSAT</td></tr>
<tr><td>schup-l2s-s04-abp4.cnf</td><td>4673</td><td>22536</td><td>433011</td><td>292645</td><td>179</td><td>439.170948</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-01.cnf</td><td>2114</td><td>14244</td><td>203290</td><td>154426</td><td>108</td><td>231.236971</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-03.cnf</td><td>17130</td><td>60467</td><td>2684141</td><td>339795</td><td>203</td><td>340.594929</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>2106</td><td>14230</td></td></tr>
<tr><td>stric-bmc-ibm-10.cnf</td><td>14956</td><td>116772</td><td>30895</td><td>5445</td><td>6</td><td>2.59581</td><td>SAT</td></tr>
<tr><td>een-tipb-sr06-tc6b.cnf</td><td>6113</td><td>30165</td><td>524</td><td>144</td><td>0</td><td>0.794891</td><td>UNSAT</td></tr>
<tr><td>stric-bmc-ibm-12.cnf</td><td>15176</td><td>109121</td><td>41644</td><td>8610</td><td>10</td><td>6.61085</td><td>SAT</td></tr>
<tr><td>vange-color-inc-54.cnf</td><td>28777</td><td>166084</td><td>87503</td><td>1651</td><td>2</td><td>6.42417</td><td>SAT</td></tr>
<tr><td>velev-eng-uns-1.0-04.cnf</td><td>5049</td><td>62239</td><td>54191</td><td>33744</td><td>30</td><td>10.033937</td><td>UNSAT</td></tr>
<tr><td>velev-eng-uns-1.0-04a.cnf</td><td>5106</td><td>63162</td><td>148716</td><td>106480</td><td>72</td><td>58.747936</td><td>UNSAT</td></tr>
<tr><td>velev-fvp-sat-3.0-07.cnf</td><td>30712</td><td>998048</td><td>2526396</td><td>517755</td><td>254</td><td>366.5846</td><td>SAT</td></tr>
<tr><td>velev-fvp-sat-3.0-12.cnf</td><td>30713</td><td>998052</td><td>235005</td><td>23361</td><td>23</td><td>11.5336</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-01.cnf</td><td>156911</td><td>2584548</td><td>56255</td><td>3926</td><td>5</td><td>38.653</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-03.cnf</td><td>207923</td><td>3562116</td><td>324245</td><td>29425</td><td>29</td><td>146.1469</td><td>SAT</td></tr>
<tr><td>velev-npe-1.0-02.cnf</td><td>2974</td><td>34393</td><td>117845</td><td>70158</td><td>60</td><td>24.954968</td><td>UNSAT</td></tr>
<tr><td>velev-npe-1.0-03.cnf</td><td>93887</td><td>1395303</td><td>199714</td><td>16269</td><td>14</td><td>53.8655</td><td>SAT</td></tr>
<tr><td>goldb-heqc-desmul.cnf</td><td>27927</td><td>176978</td><td>3557871</td><td>66517</td><td>57</td><td>104.586883</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-1.0-08.cnf</td><td>105416</td><td>8714597</td><td>55359</td><td>2085</td><td>3</td><td>200.461</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.0-09.cnf</td><td>105928</td><td>8734216</td><td>585036</td><td>70514</td><td>60</td><td>374.277</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.1-03.cnf</td><td>81147</td><td>4556085</td><td>2518734</td><td>276235</td><td>164</td><td>648.3109</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.1-05.cnf</td><td>81160</td><td>4556496</td><td>381461</td><td>32295</td><td>29</td><td>97.118</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-08.cnf</td><td>30665</td><td>1317234</td><td>2454180</td><td>516018</td><td>254</td><td>821.21472</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-05.cnf</td><td>6662</td><td>146522</td><td>257183</td><td>65869</td><td>56</td><td>19.435874</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-07.cnf</td><td>17101</td><td>514785</td><td>1270899</td><td>259752</td><td>156</td><td>198.19573</td><td>UNSAT</td></tr>
<tr><td>velev-sss-1.0-cl.cnf</td><td>1047</td><td>11329</td><td>11091</td><td>4959</td><td>6</td><td>0.224991</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-sat-2.0-02.cnf</td><td>200536</td><td>8005366</td><td>711711</td><td>1133</td><td>2</td><td>44.8341</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-2.0-04.cnf</td><td>199855</td><td>7992369</td><td>3896725</td><td>223553</td><td>126</td><td>437.4561</td><td>SAT</td></tr>
<tr><td>goldb-heqc-rotmul.cnf</td><td>5583</td><td>34168</td><td>1464597</td><td>433761</td><td>253</td><td>564.528977</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-uns-2.0-02.cnf</td><td>32773</td><td>518020</td><td>5980951</td><td>1011625</td><td>509</td><td>1541.94845</td><td>UNSAT</td></tr>
<tr><td>grieu-vmpc-s05-24s.cnf</td><td>576</td><td>67872</td><td>164482</td><td>86442</td><td>62</td><td>36.275994</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-27r.cnf</td><td>729</td><td>96849</td><td>315764</td><td>161317</td><td>115</td><td>90.111992</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-05.cnf</td><td>1872</td><td>10749</td><td>98591</td><td>46294</td><td>37</td><td>9.009974</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.986881</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10b.cnf</td><td>7397</td><td>52887</td><td>495691</td><td>153806</td><td>108</td><td>103.145895</td><td>UNSAT</td></tr>
<tr><td>Total (49 / 50)</td><td colspan=2></td><td>39704932</td><td>6155448</td><td>3791</td><td>8761.284673</td><td></td></tr></table><p>