Tinisat 0.22<p>
1 group, 50 instances, 1-hour cutoff<p>
Instances solved: 43 (12 SAT + 31 UNSAT)<br>
Time: 48260 seconds / 13.41 hours / 0.56 days<br>
Time on solved instances: 23060 seconds (8877 SAT + 14183 UNSAT)<p>
Instances solved in 10 minutes: 31 (3372 seconds)<br>
Instances solved in 15 minutes: 33 (5031 seconds)<br>
Instances solved in 20 minutes: 35 (7025 seconds)<br>
Instances solved in 30 minutes: 40 (14352 seconds)<br>
Instances solved in 60 minutes: 43 (23060 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>397734</td><td>1184422</td><td>943531</td><td>59169</td><td>48</td><td>139.87</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6b_i.cnf</td><td>21892</td><td>64684</td><td>369835</td><td>121161</td><td>85</td><td>85.55</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6bid_i.cnf</td><td>90407</td><td>267214</td><td>4581860</td><td>947352</td><td>507</td><td>2884.7</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6idw_s.cnf</td><td>78970</td><td>232957</td><td>71243</td><td>2927</td><td>4</td><td>2.51</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6ni_s.cnf</td><td>78672</td><td>232726</td><td>28713</td><td>1491</td><td>2</td><td>1.57</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw.cnf</td><td>168498</td><td>499606</td></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.1</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7idw_s.cnf</td><td>98001</td><td>289357</td><td>86850</td><td>4371</td><td>6</td><td>3.66</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>315.35</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-113.cnf</td><td>36757</td><td>109045</td><td>844742</td><td>361500</td><td>220</td><td>810.01</td><td>UNSAT</td></tr>
<tr><td>aloul-sr06-chnl10-13.cnf</td><td>260</td><td>1586</td><td>137533</td><td>133477</td><td>93</td><td>108.11</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-cha05-143.cnf</td><td>137935</td><td>408424</td><td>488430</td><td>40439</td><td>30</td><td>39.91</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6i.cnf</td><td>48917</td><td>144691</td><td>69762</td><td>17041</td><td>16</td><td>6.89</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6nid.cnf</td><td>137885</td><td>408274</td><td>425182</td><td>43168</td><td>34</td><td>37.23</td><td>UNSAT</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>418.39</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10ni.cnf</td><td>131642</td><td>390595</td><td>4285346</td><td>1017153</td><td>509</td><td>3247.7</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8b.cnf</td><td>40559</td><td>119995</td><td>341349</td><td>115177</td><td>78</td><td>97.92</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8bidw.cnf</td><td>122550</td><td>362566</td><td>1642588</td><td>277628</td><td>167</td><td>300.22</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g8n.cnf</td><td>39165</td><td>115813</td><td>402313</td><td>142710</td><td>99</td><td>137.84</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-md5-47-03.cnf</td><td>65604</td><td>273522</td><td>5569158</td><td>561585</td><td>285</td><td>849.26</td><td>SAT</td></tr>
<tr><td>miza-sr06-md5-48-01.cnf</td><td>66892</td><td>279248</td><td>8333122</td><td>742600</td><td>381</td><td>1277.34</td><td>SAT</td></tr>
<tr><td>een-pico-sr06-pr02-02.cnf</td><td>46561</td><td>155317</td><td>142365</td><td>16436</td><td>15</td><td>8.97</td><td>UNSAT</td></tr>
<tr><td>miza-sr06-sha0-35-03.cnf</td><td>48689</td><td>204067</td><td>4420288</td><td>679348</td><td>363</td><td>1778.81</td><td>SAT</td></tr>
<tr><td>narai-vpn-sat05-02s.cnf</td><td>2270930</td><td>8901946</td><td>35713</td><td>2230</td><td>3</td><td>282.23</td><td>UNSAT</td></tr>
<tr><td>narai-vpn-sat05-07.cnf</td><td>683996</td><td>2623082</td><td>1192852</td><td>410844</td><td>252</td><td>1627.68</td><td>SAT</td></tr>
<tr><td>schup-l2s-s04-valves.cnf</td><td>985042</td><td>3113540</td></td></tr>
<tr><td>schup-l2s-s04s2-09.cnf</td><td>14809</td><td>48483</td><td>446568</td><td>311352</td><td>189</td><td>1069.09</td><td>UNSAT</td></tr>
<tr><td>simon-mixed-s02bis-05.cnf</td><td>11136</td><td>30792</td></td></tr>
<tr><td>velev-dlx-uns-1.0-05.cnf</td><td>245646</td><td>4568332</td><td>2974368</td><td>147420</td><td>103</td><td>536.07</td><td>UNSAT</td></tr>
<tr><td>velev-live-2.0-02.cnf</td><td>14628</td><td>161477</td><td>163499</td><td>63884</td><td>53</td><td>35.11</td><td>UNSAT</td></tr>
<tr><td>velev-live-sat-1.0-05.cnf</td><td>256697</td><td>4205986</td><td>776670</td><td>75657</td><td>61</td><td>359.02</td><td>SAT</td></tr>
<tr><td>velev-pipe-oun-1.0-04.cnf</td><td>143311</td><td>8409838</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>1424.25</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-oun-1.1-05.cnf</td><td>236250</td><td>7676928</td></td></tr>
<tr><td>velev-pipe-sat-1.0-01.cnf</td><td>118040</td><td>8804672</td><td>3692878</td><td>573121</td><td>295</td><td>2576.4</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.0-03.cnf</td><td>118040</td><td>8804630</td><td>467410</td><td>29180</td><td>29</td><td>100.97</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-01.cnf</td><td>138917</td><td>4678756</td><td>472549</td><td>36160</td><td>30</td><td>90.62</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-03.cnf</td><td>138918</td><td>4678718</td><td>288953</td><td>16628</td><td>15</td><td>47.77</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-09.cnf</td><td>138711</td><td>4688614</td><td>64503</td><td>1039</td><td>2</td><td>9.96</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-14.cnf</td><td>2391</td><td>27405</td><td>22646</td><td>8026</td><td>9</td><td>0.67</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-03.cnf</td><td>2476</td><td>25181</td><td>21803</td><td>6651</td><td>7</td><td>0.41</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-08.cnf</td><td>77639</td><td>2082017</td><td>5155937</td><td>633213</td><td>331</td><td>1218.92</td><td>UNSAT</td></tr>
<tr><td>velev-sss-1.0-05.cnf</td><td>1516</td><td>12812</td><td>11584</td><td>4981</td><td>6</td><td>0.2</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-k2mul.cnf</td><td>11680</td><td>74581</td></td></tr>
<tr><td>velev-vliw-sat-4.0-03.cnf</td><td>521158</td><td>13378532</td><td>4171479</td><td>7354</td><td>9</td><td>85.96</td><td>SAT</td></tr>
<tr><td>grieu-vmpc-s05-05s.cnf</td><td>625</td><td>76775</td><td>245040</td><td>129390</td><td>92</td><td>73.6</td><td>SAT</td></tr>
<tr><td>hoons-vbmc-s04-06.cnf</td><td>12845</td><td>38367</td></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>924.21</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10bi_s.cnf</td><td>114806</td><td>340801</td><td>52179</td><td>3760</td><td>5</td><td>4.23</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.08</td><td>UNSAT</td></tr>
<tr><td>Total (43 / 50)</td><td colspan=2></td><td>59179041</td><td>9035555</td><td>5169</td><td>23060.36</td><td></td></tr></table><p>