Tinisat 0.22<p>
1 group, 100 instances, 1-hour cutoff<p>
Instances solved: 77 (34 SAT + 43 UNSAT)<br>
Time: 129419 seconds / 35.95 hours / 1.50 days<br>
Time on solved instances: 46619 seconds (22731 SAT + 23888 UNSAT)<p>
Instances solved in 10 minutes: 49 (5305 seconds)<br>
Instances solved in 15 minutes: 58 (12222 seconds)<br>
Instances solved in 20 minutes: 61 (15178 seconds)<br>
Instances solved in 30 minutes: 70 (28765 seconds)<br>
Instances solved in 60 minutes: 77 (46619 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>velev-vliw-uns-4.0-9C1.cnf</td><td>96177</td><td>1814189</td><td>6998954</td><td>540149</td><td>269</td><td>753.01</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-frg2mul.cnf</td><td>10316</td><td>62943</td><td>2878759</td><td>586819</td><td>307</td><td>1299.42</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-i10mul.cnf</td><td>12998</td><td>77941</td></td></tr>
<tr><td>goldb-heqc-i8mul.cnf</td><td>14524</td><td>91139</td><td>2777928</td><td>483187</td><td>254</td><td>1431.5</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-term1mul.cnf</td><td>3504</td><td>22229</td></td></tr>
<tr><td>grieu-vmpc-s05-25.cnf</td><td>625</td><td>76775</td><td>730973</td><td>428220</td><td>253</td><td>639.02</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-27.cnf</td><td>729</td><td>96849</td><td>315764</td><td>161317</td><td>115</td><td>91.76</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-28.cnf</td><td>784</td><td>108080</td><td>973451</td><td>525757</td><td>257</td><td>893.4</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-34.cnf</td><td>1156</td><td>194072</td></td></tr>
<tr><td>hoons-vbmc-lucky7.cnf</td><td>8503</td><td>25116</td><td>299916</td><td>179979</td><td>124</td><td>182</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-05r-k90.cnf</td><td>180140</td><td>976191</td><td>1386175</td><td>75097</td><td>61</td><td>122.34</td><td>SAT</td></tr>
<tr><td>aloul-chnl11-13.cnf</td><td>286</td><td>1742</td><td>557339</td><td>547226</td><td>277</td><td>1825.01</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-07r-k100.cnf</td><td>24767</td><td>61378</td><td>362849</td><td>23365</td><td>23</td><td>6.38</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-11r1-k45.cnf</td><td>156626</td><td>638128</td><td>971194</td><td>186373</td><td>125</td><td>373.06</td><td>SAT</td></tr>
<tr><td>ibm-2002-19r-k100.cnf</td><td>310152</td><td>1194099</td><td>3906494</td><td>548578</td><td>279</td><td>1316.26</td><td>SAT</td></tr>
<tr><td>ibm-2002-21r-k95.cnf</td><td>191522</td><td>788339</td><td>3275006</td><td>505107</td><td>254</td><td>1105.88</td><td>SAT</td></tr>
<tr><td>ibm-2002-26r-k45.cnf</td><td>224477</td><td>1195348</td><td>59635</td><td>400</td><td>0</td><td>3.84</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-27r-k95.cnf</td><td>75824</td><td>302137</td><td>711117</td><td>20737</td><td>21</td><td>17.79</td><td>SAT</td></tr>
<tr><td>ibm-2004-03-k70.cnf</td><td>69839</td><td>286405</td><td>525257</td><td>74701</td><td>61</td><td>57.2</td><td>SAT</td></tr>
<tr><td>ibm-2004-04-k100.cnf</td><td>120445</td><td>516778</td><td>1528479</td><td>351055</td><td>213</td><td>783.97</td><td>SAT</td></tr>
<tr><td>ibm-2004-06-k90.cnf</td><td>112376</td><td>489766</td><td>315127</td><td>28378</td><td>28</td><td>33.1</td><td>SAT</td></tr>
<tr><td>ibm-2004-19-k90.cnf</td><td>227897</td><td>886348</td><td>3791916</td><td>634073</td><td>331</td><td>1824.62</td><td>SAT</td></tr>
<tr><td>een-pico-prop01-75.cnf</td><td>45427</td><td>143822</td><td>76872</td><td>5202</td><td>6</td><td>2.95</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_11-k25.cnf</td><td>78503</td><td>311630</td><td>62466</td><td>12543</td><td>14</td><td>13.12</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_31_2-k25.cnf</td><td>31125</td><td>129472</td><td>379097</td><td>205443</td><td>126</td><td>529.17</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-26-k25.cnf</td><td>125791</td><td>633816</td><td>23342</td><td>352</td><td>0</td><td>2.19</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_02_1-k100.cnf</td><td>68848</td><td>241388</td><td>548337</td><td>31772</td><td>29</td><td>24.62</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_14-k45.cnf</td><td>65032</td><td>253115</td><td>454226</td><td>53635</td><td>45</td><td>43.07</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_1-k95.cnf</td><td>61780</td><td>213987</td><td>55870</td><td>1371</td><td>2</td><td>1.11</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_3-k95.cnf</td><td>73525</td><td>272059</td><td>95223</td><td>140</td><td>0</td><td>0.88</td><td>SAT</td></tr>
<tr><td>ibm-2004-3_11-k60.cnf</td><td>194649</td><td>775100</td></td></tr>
<tr><td>ibm-2004-6_02_3-k100.cnf</td><td>80370</td><td>296127</td><td>54495</td><td>4405</td><td>6</td><td>2.82</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10id_s.cnf</td><td>178837</td><td>530386</td><td>236023</td><td>15355</td><td>14</td><td>16.47</td><td>UNSAT</td></tr>
<tr><td>een-pico-prop05-50.cnf</td><td>51139</td><td>165306</td><td>1069992</td><td>386805</td><td>238</td><td>939.01</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10nidw_s.cnf</td><td>404382</td><td>1204273</td><td>729095</td><td>50299</td><td>43</td><td>125.46</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw_i.cnf</td><td>95863</td><td>283363</td><td>4967907</td><td>1028667</td><td>509</td><td>3391.87</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b.cnf</td><td>26058</td><td>77128</td><td>424870</td><td>147626</td><td>104</td><td>137.74</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b_i.cnf</td><td>26173</td><td>77473</td><td>396607</td><td>139526</td><td>94</td><td>125.79</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7bidw_i.cnf</td><td>131004</td><td>387841</td></td></tr>
<tr><td>manol-pipe-c7nidw.cnf</td><td>169072</td><td>501421</td></td></tr>
<tr><td>manol-pipe-c9.cnf</td><td>15214</td><td>45082</td><td>113514</td><td>56794</td><td>45</td><td>26.81</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c9nidw_s.cnf</td><td>338603</td><td>1007659</td><td>657051</td><td>37895</td><td>30</td><td>97.82</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f10ni.cnf</td><td>368888</td><td>1100500</td></td></tr>
<tr><td>manol-pipe-f6bi.cnf</td><td>63824</td><td>188848</td><td>89680</td><td>19397</td><td>19</td><td>10.29</td><td>UNSAT</td></tr>
<tr><td>een-tip-sat-nusmv-t5.B.cnf</td><td>61933</td><td>178699</td><td>236290</td><td>3354</td><td>5</td><td>6.7</td><td>SAT</td></tr>
<tr><td>manol-pipe-f7idw.cnf</td><td>263022</td><td>782329</td><td>1662770</td><td>269126</td><td>157</td><td>426.59</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f9b.cnf</td><td>183371</td><td>547078</td></td></tr>
<tr><td>manol-pipe-f9n.cnf</td><td>185149</td><td>552412</td></td></tr>
<tr><td>manol-pipe-g10b.cnf</td><td>81569</td><td>242482</td><td>1989714</td><td>764906</td><td>395</td><td>3419.57</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10bidw.cnf</td><td>237485</td><td>705220</td></td></tr>
<tr><td>manol-pipe-g10id.cnf</td><td>159638</td><td>473596</td><td>1502152</td><td>330572</td><td>194</td><td>659.9</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10nid.cnf</td><td>217725</td><td>646228</td></td></tr>
<tr><td>manol-pipe-g6bi.cnf</td><td>23891</td><td>69895</td><td>68208</td><td>17358</td><td>16</td><td>3.46</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7nidw.cnf</td><td>75496</td><td>222379</td><td>597339</td><td>99395</td><td>65</td><td>57.61</td><td>UNSAT</td></tr>
<tr><td>maris-s03-gripper11.cnf</td><td>3222</td><td>27199</td></td></tr>
<tr><td>een-tip-sat-nusmv-tt5.B.cnf</td><td>63957</td><td>184771</td><td>342152</td><td>4002</td><td>5</td><td>9.13</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-3.cnf</td><td>65604</td><td>273522</td><td>5569158</td><td>561585</td><td>285</td><td>866.64</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-4.cnf</td><td>65604</td><td>273506</td><td>9711181</td><td>927780</td><td>506</td><td>2116.02</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-5.cnf</td><td>65604</td><td>273520</td><td>4526305</td><td>435928</td><td>253</td><td>444.8</td><td>SAT</td></tr>
<tr><td>mizh-md5-48-2.cnf</td><td>66892</td><td>279240</td></td></tr>
<tr><td>mizh-md5-48-5.cnf</td><td>66892</td><td>279256</td></td></tr>
<tr><td>mizh-sha0-35-2.cnf</td><td>48689</td><td>204071</td><td>3535233</td><td>444568</td><td>253</td><td>728.05</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-3.cnf</td><td>48689</td><td>204067</td><td>4420288</td><td>679348</td><td>363</td><td>1777.69</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-4.cnf</td><td>48689</td><td>204067</td><td>2276697</td><td>243626</td><td>141</td><td>173.28</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-5.cnf</td><td>48689</td><td>204055</td><td>3961012</td><td>505626</td><td>254</td><td>911.12</td><td>SAT</td></tr>
<tr><td>mizh-sha0-36-2.cnf</td><td>50073</td><td>210239</td></td></tr>
<tr><td>een-tip-uns-nusmv-t5.B.cnf</td><td>59265</td><td>170983</td><td>182508</td><td>3063</td><td>4</td><td>5.75</td><td>UNSAT</td></tr>
<tr><td>narain-vpn-clauses-6.cnf</td><td>683996</td><td>2623082</td><td>1192852</td><td>410844</td><td>252</td><td>1661.32</td><td>SAT</td></tr>
<tr><td>schup-l2s-guid-1-k56.cnf</td><td>98746</td><td>307346</td></td></tr>
<tr><td>schup-l2s-motst-2-k315.cnf</td><td>507145</td><td>1601920</td></td></tr>
<tr><td>simon-s02-w08-18.cnf</td><td>120367</td><td>425316</td><td>830257</td><td>287719</td><td>174</td><td>1928.53</td><td>SAT</td></tr>
<tr><td>simon-s02b-dp11u10.cnf</td><td>9197</td><td>25271</td><td>538345</td><td>430278</td><td>253</td><td>1361.71</td><td>UNSAT</td></tr>
<tr><td>simon-s02b-k2f-gr-rcs-w8.cnf</td><td>10056</td><td>271393</td></td></tr>
<tr><td>simon-s02b-r4b1k1.1.cnf</td><td>2424</td><td>14812</td></td></tr>
<tr><td>simon-s03-fifo8-300.cnf</td><td>194762</td><td>530713</td><td>1191439</td><td>119912</td><td>84</td><td>214.45</td><td>UNSAT</td></tr>
<tr><td>simon-s03-fifo8-400.cnf</td><td>259762</td><td>707913</td><td>2130846</td><td>184516</td><td>125</td><td>398.24</td><td>UNSAT</td></tr>
<tr><td>vange-col-abb313GPIA-9-c.cnf</td><td>6228</td><td>484871</td></td></tr>
<tr><td>goldb-heqc-alu4mul.cnf</td><td>4736</td><td>30465</td><td>740695</td><td>580516</td><td>300</td><td>3348.47</td><td>UNSAT</td></tr>
<tr><td>vange-col-inithx.i.1-cn-54.cnf</td><td>117426</td><td>469472</td><td>324799</td><td>6986</td><td>8</td><td>10.34</td><td>SAT</td></tr>
<tr><td>velev-engi-uns-1.0-4nd.cnf</td><td>7000</td><td>67586</td><td>139141</td><td>98327</td><td>63</td><td>59.13</td><td>UNSAT</td></tr>
<tr><td>velev-engi-uns-1.0-5c1.cnf</td><td>18810</td><td>214185</td><td>21337</td><td>12224</td><td>13</td><td>6.01</td><td>UNSAT</td></tr>
<tr><td>velev-fvp-sat-3.0-b18.cnf</td><td>35853</td><td>1012271</td><td>512714</td><td>61717</td><td>52</td><td>27.56</td><td>SAT</td></tr>
<tr><td>velev-live-uns-2.0-ebuf.cnf</td><td>14628</td><td>161477</td><td>163499</td><td>63884</td><td>53</td><td>35.12</td><td>UNSAT</td></tr>
<tr><td>velev-npe-1.0-9dlx-b71.cnf</td><td>889302</td><td>14582074</td><td>1916265</td><td>54791</td><td>45</td><td>819.15</td><td>SAT</td></tr>
<tr><td>velev-pipe-o-uns-1.0-7.cnf</td><td>24415</td><td>711050</td><td>2873588</td><td>722409</td><td>381</td><td>1508.84</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-o-uns-1.1-6.cnf</td><td>17710</td><td>304026</td><td>781860</td><td>154383</td><td>108</td><td>103.96</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-sat-1.0-b10.cnf</td><td>118040</td><td>8804672</td><td>3057101</td><td>431351</td><td>253</td><td>1662.61</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.0-b7.cnf</td><td>118040</td><td>8804672</td></td></tr>
<tr><td>goldb-heqc-dalumul.cnf</td><td>9426</td><td>59991</td></td></tr>
<tr><td>velev-pipe-sat-1.0-b9.cnf</td><td>118038</td><td>8780591</td><td>1222996</td><td>132505</td><td>93</td><td>395.06</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-b7.cnf</td><td>138918</td><td>4678760</td><td>4550047</td><td>557378</td><td>285</td><td>1567.67</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-8.cnf</td><td>35065</td><td>1332773</td><td>2075625</td><td>365494</td><td>220</td><td>773.93</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.0-9.cnf</td><td>49112</td><td>2317839</td><td>1419582</td><td>99212</td><td>64</td><td>128.97</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-7.cnf</td><td>26512</td><td>536414</td><td>1241721</td><td>282414</td><td>171</td><td>272.41</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-sat-2.0-b6.cnf</td><td>235926</td><td>8076539</td><td>663258</td><td>3980</td><td>5</td><td>32.54</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b1.cnf</td><td>521188</td><td>13378641</td><td>6996433</td><td>16602</td><td>15</td><td>145.78</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b3.cnf</td><td>521046</td><td>13376161</td><td>6809382</td><td>9733</td><td>12</td><td>115.03</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b4.cnf</td><td>520721</td><td>13348117</td><td>2977540</td><td>4515</td><td>6</td><td>72.3</td><td>SAT</td></tr>
<tr><td>velev-vliw-uns-2.0-iq4.cnf</td><td>106013</td><td>1598301</td></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.82</td><td>UNSAT</td></tr>
<tr><td>Total (77 / 100)</td><td colspan=2></td><td>131497344</td><td>18547639</td><td>10566</td><td>46619.01</td><td></td></tr></table><p>