Tinisat 0.22<p>
1 group, 50 instances, 1-hour cutoff<p>
Instances solved: 49 (18 SAT + 31 UNSAT)<br>
Time: 18837 seconds / 5.23 hours / 0.22 days<br>
Time on solved instances: 15237 seconds (4710 SAT + 10527 UNSAT)<p>
Instances solved in 10 minutes: 40 (4391 seconds)<br>
Instances solved in 15 minutes: 44 (7431 seconds)<br>
Instances solved in 20 minutes: 46 (9523 seconds)<br>
Instances solved in 30 minutes: 48 (13000 seconds)<br>
Instances solved in 60 minutes: 49 (15237 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>204664</td><td>609478</td><td>94393</td><td>5004</td><td>6</td><td>10.67</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6id.cnf</td><td>82022</td><td>242044</td><td>1456974</td><td>191421</td><td>125</td><td>175.24</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6n.cnf</td><td>37147</td><td>110077</td><td>407608</td><td>120353</td><td>84</td><td>96.61</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nid_s.cnf</td><td>148051</td><td>438562</td><td>1064299</td><td>132544</td><td>93</td><td>153.6</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7_i.cnf</td><td>13023</td><td>38509</td><td>112732</td><td>56277</td><td>45</td><td>25.57</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw.cnf</td><td>112620</td><td>333058</td><td>2033552</td><td>275299</td><td>164</td><td>308.96</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8_i.cnf</td><td>14052</td><td>41596</td><td>130362</td><td>64868</td><td>55</td><td>31.41</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8b_i.cnf</td><td>32057</td><td>95005</td><td>643029</td><td>240146</td><td>140</td><td>321.66</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c8n.cnf</td><td>53697</td><td>159595</td><td>609419</td><td>216629</td><td>126</td><td>372.77</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6b.cnf</td><td>37002</td><td>109570</td><td>58538</td><td>23135</td><td>23</td><td>10.23</td><td>UNSAT</td></tr>
<tr><td>een-tipb-sr06-par1.cnf</td><td>163647</td><td>484831</td><td>286</td><td>130</td><td>0</td><td>1.58</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6n.cnf</td><td>37452</td><td>110920</td><td>68563</td><td>27545</td><td>28</td><td>12.63</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10idw.cnf</td><td>174122</td><td>516784</td><td>2057299</td><td>459924</td><td>254</td><td>877.57</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g6bid.cnf</td><td>40371</td><td>118192</td><td>186334</td><td>21900</td><td>21</td><td>7.42</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7n.cnf</td><td>23936</td><td>70492</td><td>108513</td><td>33399</td><td>30</td><td>12.13</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-10s.cnf</td><td>2270930</td><td>8901946</td><td>35713</td><td>2230</td><td>3</td><td>284.87</td><td>UNSAT</td></tr>
<tr><td>schup-l2s-s04-abp4.cnf</td><td>14809</td><td>48483</td><td>470474</td><td>338251</td><td>203</td><td>1161.31</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-01.cnf</td><td>2424</td><td>14812</td><td>518963</td><td>416047</td><td>252</td><td>1768.88</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-03.cnf</td><td>20470</td><td>68561</td><td>3482267</td><td>342116</td><td>204</td><td>357.59</td><td>SAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>2424</td><td>14812</td></td></tr>
<tr><td>stric-bmc-ibm-10.cnf</td><td>59056</td><td>323700</td><td>30917</td><td>3912</td><td>5</td><td>2.29</td><td>SAT</td></tr>
<tr><td>een-tipb-sr06-tc6b.cnf</td><td>40196</td><td>115791</td><td>7079</td><td>339</td><td>0</td><td>0.41</td><td>UNSAT</td></tr>
<tr><td>stric-bmc-ibm-12.cnf</td><td>39598</td><td>194660</td><td>46977</td><td>9761</td><td>12</td><td>9.5</td><td>SAT</td></tr>
<tr><td>vange-color-inc-54.cnf</td><td>117426</td><td>469472</td><td>324799</td><td>6986</td><td>8</td><td>10.36</td><td>SAT</td></tr>
<tr><td>velev-eng-uns-1.0-04.cnf</td><td>6944</td><td>66654</td><td>50800</td><td>31010</td><td>29</td><td>10.19</td><td>UNSAT</td></tr>
<tr><td>velev-eng-uns-1.0-04a.cnf</td><td>7000</td><td>67586</td><td>139141</td><td>98327</td><td>63</td><td>58.97</td><td>UNSAT</td></tr>
<tr><td>velev-fvp-sat-3.0-07.cnf</td><td>35853</td><td>1012271</td><td>1385336</td><td>240755</td><td>140</td><td>113.37</td><td>SAT</td></tr>
<tr><td>velev-fvp-sat-3.0-12.cnf</td><td>35854</td><td>1012275</td><td>316758</td><td>23075</td><td>23</td><td>11.09</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-01.cnf</td><td>171648</td><td>2614464</td><td>161393</td><td>7465</td><td>9</td><td>31.6</td><td>SAT</td></tr>
<tr><td>velev-live-sat-1.0-03.cnf</td><td>224920</td><td>3596474</td><td>1317205</td><td>180378</td><td>125</td><td>730.21</td><td>SAT</td></tr>
<tr><td>velev-npe-1.0-02.cnf</td><td>3295</td><td>35410</td><td>165406</td><td>106234</td><td>72</td><td>58.62</td><td>UNSAT</td></tr>
<tr><td>velev-npe-1.0-03.cnf</td><td>96675</td><td>1401773</td><td>385250</td><td>38456</td><td>30</td><td>68.66</td><td>SAT</td></tr>
<tr><td>goldb-heqc-desmul.cnf</td><td>28902</td><td>179895</td><td>3744015</td><td>67967</td><td>59</td><td>112.46</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-1.0-08.cnf</td><td>117526</td><td>8760516</td><td>140442</td><td>1053</td><td>2</td><td>19.82</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.0-09.cnf</td><td>118038</td><td>8780591</td><td>1222996</td><td>132505</td><td>93</td><td>394.07</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.1-03.cnf</td><td>138917</td><td>4678757</td><td>307862</td><td>18072</td><td>17</td><td>51.08</td><td>SAT</td></tr>
<tr><td>velev-pipe-1.1-05.cnf</td><td>138918</td><td>4678760</td><td>1191452</td><td>101862</td><td>68</td><td>277.69</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-08.cnf</td><td>35065</td><td>1332773</td><td>2075625</td><td>365494</td><td>220</td><td>771.91</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-05.cnf</td><td>10026</td><td>154409</td><td>269988</td><td>77996</td><td>61</td><td>27.21</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-07.cnf</td><td>26512</td><td>536414</td><td>1241721</td><td>282414</td><td>171</td><td>275.45</td><td>UNSAT</td></tr>
<tr><td>velev-sss-1.0-cl.cnf</td><td>1453</td><td>12531</td><td>10623</td><td>5361</td><td>6</td><td>0.22</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-sat-2.0-02.cnf</td><td>235928</td><td>8076545</td><td>322730</td><td>82</td><td>0</td><td>16.22</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-2.0-04.cnf</td><td>235277</td><td>8063780</td><td>6085824</td><td>285817</td><td>172</td><td>659.87</td><td>SAT</td></tr>
<tr><td>goldb-heqc-rotmul.cnf</td><td>5980</td><td>35229</td><td>1187774</td><td>313010</td><td>189</td><td>289.71</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-uns-2.0-02.cnf</td><td>44095</td><td>542253</td><td>6658641</td><td>1253294</td><td>571</td><td>2237.89</td><td>UNSAT</td></tr>
<tr><td>grieu-vmpc-s05-24s.cnf</td><td>576</td><td>67872</td><td>274408</td><td>152062</td><td>108</td><td>96.05</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>91.63</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-05.cnf</td><td>8503</td><td>25116</td><td>299916</td><td>179979</td><td>124</td><td>181.59</td><td>UNSAT</td></tr>
<tr><td>hoons-vbmc-s04-07.cnf</td><td>25900</td><td>77643</td><td>305718</td><td>225841</td><td>126</td><td>930.82</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10b.cnf</td><td>43517</td><td>129265</td><td>1093347</td><td>504619</td><td>254</td><td>1707.8</td><td>UNSAT</td></tr>
<tr><td>Total (49 / 50)</td><td colspan=2></td><td>44619225</td><td>7842661</td><td>4728</td><td>15237.46</td><td></td></tr></table><p>