TiniSatELite<p>
1 group, 100 instances, 1-hour cutoff<p>
Instances solved: 87 (37 SAT + 50 UNSAT)<br>
Time: 94552 seconds / 26.26 hours / 1.09 days<br>
Time on solved instances: 47752 seconds (22130 SAT + 25622 UNSAT)<p>
Instances solved in 10 minutes: 59 (7808 seconds)<br>
Instances solved in 15 minutes: 70 (15985 seconds)<br>
Instances solved in 20 minutes: 74 (20171 seconds)<br>
Instances solved in 30 minutes: 81 (30757 seconds)<br>
Instances solved in 60 minutes: 87 (47752 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>84942</td><td>1789068</td><td>5717219</td><td>500275</td><td>254</td><td>619.427</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-frg2mul.cnf</td><td>9861</td><td>61606</td><td>2917719</td><td>596337</td><td>315</td><td>1345.165958</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-i10mul.cnf</td><td>12369</td><td>76060</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>1460.840958</td><td>UNSAT</td></tr>
<tr><td>goldb-heqc-term1mul.cnf</td><td>3491</td><td>22219</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.413993</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.589992</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>894.467991</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>1872</td><td>10749</td><td>98591</td><td>46294</td><td>37</td><td>8.855973</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-05r-k90.cnf</td><td>77806</td><td>615038</td><td>636845</td><td>44270</td><td>36</td><td>47.13924</td><td>SAT</td></tr>
<tr><td>aloul-chnl11-13.cnf</td><td>260</td><td>1716</td><td>724695</td><td>712387</td><td>380</td><td>2810.514999</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-07r-k100.cnf</td><td>2296</td><td>10063</td><td>347303</td><td>21057</td><td>21</td><td>2.218972</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-11r1-k45.cnf</td><td>46103</td><td>310068</td><td>799794</td><td>180526</td><td>125</td><td>190.97838</td><td>SAT</td></tr>
<tr><td>ibm-2002-19r-k100.cnf</td><td>89895</td><td>642223</td><td>2643239</td><td>410672</td><td>252</td><td>536.6267</td><td>SAT</td></tr>
<tr><td>ibm-2002-21r-k95.cnf</td><td>58468</td><td>432357</td><td>1525649</td><td>260088</td><td>156</td><td>223.90314</td><td>SAT</td></tr>
<tr><td>ibm-2002-26r-k45.cnf</td><td>88904</td><td>901822</td><td>81296</td><td>386</td><td>0</td><td>14.1448</td><td>UNSAT</td></tr>
<tr><td>ibm-2002-27r-k95.cnf</td><td>24968</td><td>172488</td><td>192747</td><td>13980</td><td>14</td><td>5.7217</td><td>SAT</td></tr>
<tr><td>ibm-2004-03-k70.cnf</td><td>25532</td><td>161316</td><td>452923</td><td>79601</td><td>61</td><td>35.23181</td><td>SAT</td></tr>
<tr><td>ibm-2004-04-k100.cnf</td><td>51351</td><td>308333</td><td>1577186</td><td>369599</td><td>222</td><td>664.84659</td><td>SAT</td></tr>
<tr><td>ibm-2004-06-k90.cnf</td><td>46172</td><td>330299</td><td>266081</td><td>32046</td><td>29</td><td>23.92161</td><td>SAT</td></tr>
<tr><td>ibm-2004-19-k90.cnf</td><td>66461</td><td>475907</td><td>1750883</td><td>269639</td><td>157</td><td>273.79217</td><td>SAT</td></tr>
<tr><td>een-pico-prop01-75.cnf</td><td>10727</td><td>57428</td><td>20733</td><td>2323</td><td>3</td><td>1.63682</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_11-k25.cnf</td><td>22098</td><td>147036</td><td>62827</td><td>13524</td><td>14</td><td>6.60275</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-1_31_2-k25.cnf</td><td>8543</td><td>54690</td><td>311366</td><td>155341</td><td>108</td><td>202.37392</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-26-k25.cnf</td><td>49870</td><td>471773</td><td>40416</td><td>327</td><td>0</td><td>7.3632</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_02_1-k100.cnf</td><td>23698</td><td>142421</td><td>279049</td><td>19977</td><td>20</td><td>7.08984</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-2_14-k45.cnf</td><td>27724</td><td>168347</td><td>307145</td><td>48925</td><td>40</td><td>31.62978</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_1-k95.cnf</td><td>20947</td><td>125157</td><td>12311</td><td>1284</td><td>2</td><td>1.348857</td><td>UNSAT</td></tr>
<tr><td>ibm-2004-3_02_3-k95.cnf</td><td>27676</td><td>173391</td><td>187600</td><td>7703</td><td>9</td><td>4.32381</td><td>SAT</td></tr>
<tr><td>ibm-2004-3_11-k60.cnf</td><td>64324</td><td>427117</td></td></tr>
<tr><td>ibm-2004-6_02_3-k100.cnf</td><td>30157</td><td>188458</td><td>283478</td><td>24174</td><td>24</td><td>9.2408</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.90055</td><td>UNSAT</td></tr>
<tr><td>een-pico-prop05-50.cnf</td><td>13777</td><td>65560</td><td>179167</td><td>86554</td><td>62</td><td>40.11881</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c10nidw_s.cnf</td><td>64148</td><td>512827</td><td>3641799</td><td>219455</td><td>126</td><td>197.39197</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c6nidw_i.cnf</td><td>16544</td><td>123377</td><td>3151551</td><td>322633</td><td>189</td><td>285.14277</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b.cnf</td><td>4596</td><td>31988</td><td>272932</td><td>73701</td><td>60</td><td>21.869939</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7b_i.cnf</td><td>4601</td><td>32043</td><td>284999</td><td>77855</td><td>61</td><td>25.742938</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7bidw_i.cnf</td><td>22468</td><td>169202</td><td>5716550</td><td>644389</td><td>339</td><td>1195.30669</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c7nidw.cnf</td><td>28036</td><td>215779</td><td>6148759</td><td>595081</td><td>315</td><td>915.00658</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c9.cnf</td><td>2717</td><td>18246</td><td>98223</td><td>39519</td><td>30</td><td>7.364959</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-c9nidw_s.cnf</td><td>53041</td><td>423522</td><td>3212907</td><td>193734</td><td>125</td><td>169.61813</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f10ni.cnf</td><td>56393</td><td>456317</td><td>4146223</td><td>1192911</td><td>525</td><td>3478.49608</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f6bi.cnf</td><td>10045</td><td>75809</td><td>122501</td><td>15740</td><td>14</td><td>3.46384</td><td>UNSAT</td></tr>
<tr><td>een-tip-sat-nusmv-t5.B.cnf</td><td>10698</td><td>53052</td><td>21791</td><td>1445</td><td>2</td><td>1.81382</td><td>SAT</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>305.80234</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f9b.cnf</td><td>28754</td><td>222774</td><td>1693479</td><td>614524</td><td>317</td><td>1277.58554</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-f9n.cnf</td><td>29191</td><td>224311</td><td>1654618</td><td>610276</td><td>317</td><td>1169.24154</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10b.cnf</td><td>13489</td><td>101219</td><td>1668773</td><td>495541</td><td>254</td><td>807.0828</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10bidw.cnf</td><td>39231</td><td>302951</td><td>4658576</td><td>428995</td><td>253</td><td>460.66042</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10id.cnf</td><td>26986</td><td>206201</td><td>1161080</td><td>166345</td><td>122</td><td>109.43561</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g10nid.cnf</td><td>35740</td><td>276775</td><td>4029218</td><td>432825</td><td>253</td><td>480.68546</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g6bi.cnf</td><td>4321</td><td>29802</td><td>82025</td><td>11937</td><td>13</td><td>1.308943</td><td>UNSAT</td></tr>
<tr><td>manol-pipe-g7nidw.cnf</td><td>12806</td><td>95236</td><td>514440</td><td>62385</td><td>52</td><td>13.86082</td><td>UNSAT</td></tr>
<tr><td>maris-s03-gripper11.cnf</td><td>2943</td><td>24833</td></td></tr>
<tr><td>een-tip-sat-nusmv-tt5.B.cnf</td><td>10700</td><td>53645</td><td>14851</td><td>1066</td><td>2</td><td>1.66882</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-3.cnf</td><td>26131</td><td>153779</td><td>7372551</td><td>850736</td><td>444</td><td>1753.446857</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-4.cnf</td><td>26157</td><td>153907</td><td>13822319</td><td>1171030</td><td>510</td><td>2459.564853</td><td>SAT</td></tr>
<tr><td>mizh-md5-47-5.cnf</td><td>26177</td><td>154025</td><td>4591330</td><td>361719</td><td>220</td><td>205.740853</td><td>SAT</td></tr>
<tr><td>mizh-md5-48-2.cnf</td><td>26683</td><td>157313</td></td></tr>
<tr><td>mizh-md5-48-5.cnf</td><td>26735</td><td>157595</td><td>5419710</td><td>470705</td><td>254</td><td>457.175853</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-2.cnf</td><td>19877</td><td>115604</td><td>3883604</td><td>506276</td><td>254</td><td>762.732897</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-3.cnf</td><td>19882</td><td>115611</td><td>3702813</td><td>514832</td><td>254</td><td>849.614895</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-4.cnf</td><td>19897</td><td>115693</td><td>3583569</td><td>470050</td><td>254</td><td>642.430898</td><td>SAT</td></tr>
<tr><td>mizh-sha0-35-5.cnf</td><td>19903</td><td>115706</td><td>3514621</td><td>453186</td><td>253</td><td>590.593896</td><td>SAT</td></tr>
<tr><td>mizh-sha0-36-2.cnf</td><td>20559</td><td>120270</td><td>6163848</td><td>1009190</td><td>509</td><td>3468.128895</td><td>SAT</td></tr>
<tr><td>een-tip-uns-nusmv-t5.B.cnf</td><td>10131</td><td>50218</td><td>9630</td><td>1446</td><td>2</td><td>1.63683</td><td>UNSAT</td></tr>
<tr><td>narain-vpn-clauses-6.cnf</td><td>209283</td><td>1017418</td><td>1182700</td><td>542657</td><td>272</td><td>1629.8352</td><td>SAT</td></tr>
<tr><td>schup-l2s-guid-1-k56.cnf</td><td>31651</td><td>153826</td><td>949984</td><td>390232</td><td>242</td><td>1578.5317</td><td>UNSAT</td></tr>
<tr><td>schup-l2s-motst-2-k315.cnf</td><td>114582</td><td>620341</td></td></tr>
<tr><td>simon-s02-w08-18.cnf</td><td>48452</td><td>274277</td><td>542930</td><td>192920</td><td>125</td><td>693.95636</td><td>SAT</td></tr>
<tr><td>simon-s02b-dp11u10.cnf</td><td>2123</td><td>10352</td></td></tr>
<tr><td>simon-s02b-k2f-gr-rcs-w8.cnf</td><td>8694</td><td>269998</td></td></tr>
<tr><td>simon-s02b-r4b1k1.1.cnf</td><td>2100</td><td>14229</td></td></tr>
<tr><td>simon-s03-fifo8-300.cnf</td><td>22541</td><td>104585</td><td>1053516</td><td>80350</td><td>61</td><td>37.99249</td><td>UNSAT</td></tr>
<tr><td>simon-s03-fifo8-400.cnf</td><td>30477</td><td>141426</td><td>2371415</td><td>225965</td><td>126</td><td>231.0253</td><td>UNSAT</td></tr>
<tr><td>vange-col-abb313GPIA-9-c.cnf</td><td>6212</td><td>479096</td></td></tr>
<tr><td>goldb-heqc-alu4mul.cnf</td><td>4709</td><td>30392</td><td>668705</td><td>508978</td><td>254</td><td>2650.094988</td><td>UNSAT</td></tr>
<tr><td>vange-col-inithx.i.1-cn-54.cnf</td><td>28777</td><td>166084</td><td>87503</td><td>1651</td><td>2</td><td>6.48216</td><td>SAT</td></tr>
<tr><td>velev-engi-uns-1.0-4nd.cnf</td><td>5106</td><td>63162</td><td>148716</td><td>106480</td><td>72</td><td>58.800937</td><td>UNSAT</td></tr>
<tr><td>velev-engi-uns-1.0-5c1.cnf</td><td>14182</td><td>203731</td><td>18856</td><td>10830</td><td>13</td><td>6.68275</td><td>UNSAT</td></tr>
<tr><td>velev-fvp-sat-3.0-b18.cnf</td><td>30712</td><td>998062</td><td>1009351</td><td>169578</td><td>123</td><td>73.8856</td><td>SAT</td></tr>
<tr><td>velev-live-uns-2.0-ebuf.cnf</td><td>11514</td><td>154193</td><td>153460</td><td>56808</td><td>45</td><td>27.2538</td><td>UNSAT</td></tr>
<tr><td>velev-npe-1.0-9dlx-b71.cnf</td><td>879854</td><td>14559286</td><td>1557320</td><td>41753</td><td>32</td><td>1540.074</td><td>SAT</td></tr>
<tr><td>velev-pipe-o-uns-1.0-7.cnf</td><td>21173</td><td>700461</td><td>3776805</td><td>970692</td><td>508</td><td>2128.72363</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-o-uns-1.1-6.cnf</td><td>11639</td><td>289635</td><td>844607</td><td>175368</td><td>124</td><td>110.39483</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-sat-1.0-b10.cnf</td><td>105929</td><td>8758283</td><td>1813003</td><td>248973</td><td>147</td><td>906.599</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.0-b7.cnf</td><td>105929</td><td>8758283</td><td>28828</td><td>548</td><td>1</td><td>201.187</td><td>SAT</td></tr>
<tr><td>goldb-heqc-dalumul.cnf</td><td>9363</td><td>59810</td></td></tr>
<tr><td>velev-pipe-sat-1.0-b9.cnf</td><td>105928</td><td>8734216</td><td>585036</td><td>70514</td><td>60</td><td>380.978</td><td>SAT</td></tr>
<tr><td>velev-pipe-sat-1.1-b7.cnf</td><td>81160</td><td>4556496</td><td>2904559</td><td>328496</td><td>191</td><td>779.1899</td><td>SAT</td></tr>
<tr><td>velev-pipe-uns-1.0-8.cnf</td><td>30665</td><td>1317234</td><td>2454180</td><td>516018</td><td>254</td><td>823.27773</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.0-9.cnf</td><td>44203</td><td>2295926</td><td>1358122</td><td>111628</td><td>77</td><td>160.3114</td><td>UNSAT</td></tr>
<tr><td>velev-pipe-uns-1.1-7.cnf</td><td>17101</td><td>514785</td><td>1270899</td><td>259752</td><td>156</td><td>201.76673</td><td>UNSAT</td></tr>
<tr><td>velev-vliw-sat-2.0-b6.cnf</td><td>200509</td><td>8005148</td><td>640534</td><td>2278</td><td>3</td><td>50.915</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b1.cnf</td><td>483468</td><td>13292494</td><td>4517133</td><td>17760</td><td>17</td><td>332.12</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b3.cnf</td><td>483334</td><td>13289997</td><td>2056737</td><td>7405</td><td>9</td><td>270.384</td><td>SAT</td></tr>
<tr><td>velev-vliw-sat-4.0-b4.cnf</td><td>483003</td><td>13262068</td><td>6104610</td><td>45421</td><td>37</td><td>439.132</td><td>SAT</td></tr>
<tr><td>velev-vliw-uns-2.0-iq4.cnf</td><td>83095</td><td>1545697</td></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>105.397883</td><td>UNSAT</td></tr>
<tr><td>Total (87 / 100)</td><td colspan=2></td><td>164547583</td><td>23041875</td><td>12795</td><td>47752.040237</td><td></td></tr></table><p>