433163155 | qf_shid_sat/abduced00.defs.smt2 | 8318320 | SLEEK | 20564 | default | 304221 | complete | 0.255629 | 0.24729 | 113176.0 | sat | sat |
433163151 | qf_shid_sat/abduced01.defs.smt2 | 8318316 | SLEEK | 20564 | default | 304221 | complete | 0.268098 | 0.259904 | 113176.0 | sat | sat |
433163148 | qf_shid_sat/abduced02.defs.smt2 | 8318313 | SLEEK | 20564 | default | 304221 | complete | 0.274755 | 0.266389 | 113176.0 | sat | sat |
433163147 | qf_shid_sat/abduced03.defs.smt2 | 8318312 | SLEEK | 20564 | default | 304221 | complete | 0.304846 | 0.296384 | 113176.0 | sat | sat |
433163143 | qf_shid_sat/abduced04.defs.smt2 | 8318308 | SLEEK | 20564 | default | 304221 | complete | 0.300017 | 0.291659 | 113176.0 | sat | sat |
433163135 | qf_shid_sat/abduced05.defs.smt2 | 8318300 | SLEEK | 20564 | default | 304221 | complete | 0.411944 | 0.401216 | 113176.0 | sat | sat |
433163133 | qf_shid_sat/abduced06.defs.smt2 | 8318298 | SLEEK | 20564 | default | 304221 | complete | 0.375554 | 0.365721 | 113176.0 | sat | sat |
433163132 | qf_shid_sat/abduced07.defs.smt2 | 8318297 | SLEEK | 20564 | default | 304221 | complete | 0.314115 | 0.304623 | 113176.0 | sat | sat |
433163169 | qf_shid_sat/abduced08.defs.smt2 | 8318334 | SLEEK | 20564 | default | 304221 | complete | 0.336262 | 0.327266 | 113176.0 | sat | sat |
433163174 | qf_shid_sat/abduced09.defs.smt2 | 8318339 | SLEEK | 20564 | default | 304221 | complete | 0.318268 | 0.309505 | 113176.0 | sat | sat |
433163210 | qf_shid_sat/abduced10.defs.smt2 | 8318375 | SLEEK | 20564 | default | 304221 | complete | 0.363906 | 0.353892 | 113176.0 | sat | sat |
433163212 | qf_shid_sat/abduced11.defs.smt2 | 8318377 | SLEEK | 20564 | default | 304221 | complete | 0.336586 | 0.327127 | 113176.0 | sat | sat |
433163201 | qf_shid_sat/abduced12.defs.smt2 | 8318366 | SLEEK | 20564 | default | 304221 | complete | 0.334835 | 0.325148 | 113176.0 | sat | sat |
433163204 | qf_shid_sat/abduced13.defs.smt2 | 8318369 | SLEEK | 20564 | default | 304221 | complete | 0.377749 | 0.368322 | 113176.0 | sat | sat |
433163225 | qf_shid_sat/abduced14.defs.smt2 | 8318390 | SLEEK | 20564 | default | 304221 | complete | 0.310297 | 0.301501 | 113176.0 | sat | sat |
433163229 | qf_shid_sat/abduced15.defs.smt2 | 8318394 | SLEEK | 20564 | default | 304221 | complete | 0.227426 | 0.219838 | 113176.0 | sat | sat |
433163219 | qf_shid_sat/abduced16.defs.smt2 | 8318384 | SLEEK | 20564 | default | 304221 | complete | 0.221705 | 0.213989 | 113176.0 | sat | sat |
433163222 | qf_shid_sat/abduced17.defs.smt2 | 8318387 | SLEEK | 20564 | default | 304221 | complete | 0.25433 | 0.24585 | 113176.0 | sat | sat |
433163185 | qf_shid_sat/abduced18.defs.smt2 | 8318350 | SLEEK | 20564 | default | 304221 | complete | 0.290632 | 0.281504 | 113176.0 | sat | sat |
433163183 | qf_shid_sat/abduced19.defs.smt2 | 8318348 | SLEEK | 20564 | default | 304221 | complete | 0.230519 | 0.22258 | 113176.0 | sat | sat |
433163173 | qf_shid_sat/atll-01.smt2 | 8318338 | SLEEK | 20564 | default | 304221 | complete | 0.137183 | 0.13253 | 113176.0 | sat | sat |
433163215 | qf_shid_sat/atll-02.smt2 | 8318380 | SLEEK | 20564 | default | 304221 | complete | 0.12766 | 0.123091 | 113176.0 | sat | unsat |
433163196 | qf_shid_sat/atll-03.smt2 | 8318361 | SLEEK | 20564 | default | 304221 | complete | 0.116141 | 0.111614 | 113176.0 | sat | unsat |
433163167 | qf_shid_sat/dll-01.smt2 | 8318332 | SLEEK | 20564 | default | 304221 | complete | 0.121203 | 0.116621 | 113176.0 | sat | unsat |
433163206 | qf_shid_sat/dll-02.smt2 | 8318371 | SLEEK | 20564 | default | 304221 | complete | 0.106757 | 0.102227 | 113176.0 | sat | unsat |
433163188 | qf_shid_sat/dll-03.smt2 | 8318353 | SLEEK | 20564 | default | 304221 | complete | 0.11986 | 0.114722 | 113176.0 | sat | sat |
433163140 | qf_shid_sat/dll-04.smt2 | 8318305 | SLEEK | 20564 | default | 304221 | complete | 0.120213 | 0.115262 | 113176.0 | sat | unsat |
433163175 | qf_shid_sat/dll-05.smt2 | 8318340 | SLEEK | 20564 | default | 304221 | complete | 0.139154 | 0.134218 | 113176.0 | sat | sat |
433163216 | qf_shid_sat/dll-06.smt2 | 8318381 | SLEEK | 20564 | default | 304221 | complete | 3.27347 | 3.26601 | 285144.0 | sat | unsat |
433163182 | qf_shid_sat/dltree-01.smt2 | 8318347 | SLEEK | 20564 | default | 304221 | complete | 0.06218 | 0.057799 | 113176.0 | sat | sat |
433163205 | qf_shid_sat/inconsistent-ls-of-ls.defs.smt2 | 8318370 | SLEEK | 20564 | default | 304221 | complete | 0.067163 | 0.0623909 | 113176.0 | unsat | unsat |
433163193 | qf_shid_sat/lasso-01.smt2 | 8318358 | SLEEK | 20564 | default | 304221 | complete | 0.076714 | 0.0725801 | 113176.0 | sat | sat |
433163139 | qf_shid_sat/lasso-02.smt2 | 8318304 | SLEEK | 20564 | default | 304221 | complete | 0.077529 | 0.0732199 | 113176.0 | unsat | unsat |
433163170 | qf_shid_sat/lasso-03.smt2 | 8318335 | SLEEK | 20564 | default | 304221 | complete | 0.084959 | 0.080139 | 113176.0 | unsat | unsat |
433163200 | qf_shid_sat/lasso-04.smt2 | 8318365 | SLEEK | 20564 | default | 304221 | complete | 0.187502 | 0.180536 | 113176.0 | unsat | unsat |
433163186 | qf_shid_sat/lasso-05.smt2 | 8318351 | SLEEK | 20564 | default | 304221 | complete | 0.081391 | 0.0764199 | 113176.0 | sat | sat |
433163213 | qf_shid_sat/lss-03-01.smt2 | 8318378 | SLEEK | 20564 | default | 304221 | complete | 0.083369 | 0.078754 | 113176.0 | unsat | unsat |
433163176 | qf_shid_sat/lss-03-02.smt2 | 8318341 | SLEEK | 20564 | default | 304221 | complete | 0.095815 | 0.0903731 | 113176.0 | unsat | unsat |
433163141 | qf_shid_sat/lss-03-03.smt2 | 8318306 | SLEEK | 20564 | default | 304221 | complete | 0.0907 | 0.0859159 | 113176.0 | sat | unsat |
433163171 | qf_shid_sat/lss-04-01.smt2 | 8318336 | SLEEK | 20564 | default | 304221 | complete | 0.114845 | 0.108895 | 113176.0 | sat | sat |
433163211 | qf_shid_sat/lss-04-02.smt2 | 8318376 | SLEEK | 20564 | default | 304221 | complete | 0.117404 | 0.111484 | 113176.0 | sat | sat |
433163194 | qf_shid_sat/lss-04-03.smt2 | 8318359 | SLEEK | 20564 | default | 304221 | complete | 0.113069 | 0.107184 | 113176.0 | sat | unsat |
433163136 | qf_shid_sat/lss-05-01.smt2 | 8318301 | SLEEK | 20564 | default | 304221 | complete | 0.130698 | 0.124987 | 113176.0 | sat | sat |
433163190 | qf_shid_sat/lss-05-02.smt2 | 8318355 | SLEEK | 20564 | default | 304221 | complete | 0.135373 | 0.129432 | 113176.0 | sat | sat |
433163209 | qf_shid_sat/lss-05-03.smt2 | 8318374 | SLEEK | 20564 | default | 304221 | complete | 0.128207 | 0.122535 | 113176.0 | sat | sat |
433163161 | qf_shid_sat/ncll-01.smt2 | 8318326 | SLEEK | 20564 | default | 304221 | complete | 0.065458 | 0.061274 | 113176.0 | sat | sat |
433163150 | qf_shid_sat/nll-01.smt2 | 8318315 | SLEEK | 20564 | default | 304221 | complete | 0.078324 | 0.073362 | 113176.0 | sat | sat |
433163166 | qf_shid_sat/sll2h-01.smt2 | 8318331 | SLEEK | 20564 | default | 304221 | complete | 0.022531 | 0.0216759 | 113176.0 | sat | sat |
433163224 | qf_shid_sat/succ-circuit01.defs.smt2 | 8318389 | SLEEK | 20564 | default | 304221 | complete | 0.325415 | 0.319983 | 113176.0 | sat | sat |
433163221 | qf_shid_sat/succ-circuit02.defs.smt2 | 8318386 | SLEEK | 20564 | default | 304221 | complete | 0.415647 | 0.413 | 113176.0 | sat | sat |
433163220 | qf_shid_sat/succ-circuit03.defs.smt2 | 8318385 | SLEEK | 20564 | default | 304221 | complete | 72.6441 | 72.5185 | 2683884.0 | sat | sat |
433163214 | qf_shid_sat/succ-circuit04.defs.smt2 | 8318379 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.02 | 2400.02 | 2948828.0 | starexec-unknown | sat |
433163208 | qf_shid_sat/succ-circuit05.defs.smt2 | 8318373 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.01 | 2399.99 | 7174116.0 | starexec-unknown | sat |
433163203 | qf_shid_sat/succ-circuit06.defs.smt2 | 8318368 | SLEEK | 20564 | default | 304221 | memout | 29.19 | 29.2498 | 1.0638684E7 | starexec-unknown | sat |
433163202 | qf_shid_sat/succ-circuit07.defs.smt2 | 8318367 | SLEEK | 20564 | default | 304221 | complete | 10.7511 | 10.7449 | 5976136.0 | sat | sat |
433163191 | qf_shid_sat/succ-circuit08.defs.smt2 | 8318356 | SLEEK | 20564 | default | 304221 | complete | 10.8242 | 10.8176 | 5982752.0 | sat | sat |
433163197 | qf_shid_sat/succ-circuit09.defs.smt2 | 8318362 | SLEEK | 20564 | default | 304221 | complete | 10.9219 | 10.9157 | 6011480.0 | sat | sat |
433163137 | qf_shid_sat/succ-circuit10.defs.smt2 | 8318302 | SLEEK | 20564 | default | 304221 | complete | 11.0406 | 11.0345 | 6004100.0 | sat | sat |
433163142 | qf_shid_sat/succ-circuit11.defs.smt2 | 8318307 | SLEEK | 20564 | default | 304221 | complete | 11.2228 | 11.2211 | 5974124.0 | sat | sat |
433163131 | qf_shid_sat/succ-circuit12.defs.smt2 | 8318296 | SLEEK | 20564 | default | 304221 | complete | 11.4328 | 11.4248 | 6012808.0 | sat | sat |
433163134 | qf_shid_sat/succ-circuit13.defs.smt2 | 8318299 | SLEEK | 20564 | default | 304221 | complete | 11.735 | 11.728 | 5993268.0 | sat | sat |
433163153 | qf_shid_sat/succ-circuit14.defs.smt2 | 8318318 | SLEEK | 20564 | default | 304221 | complete | 12.1173 | 12.1084 | 6005640.0 | sat | sat |
433163154 | qf_shid_sat/succ-circuit15.defs.smt2 | 8318319 | SLEEK | 20564 | default | 304221 | complete | 12.5923 | 12.5838 | 6005412.0 | sat | sat |
433163146 | qf_shid_sat/succ-circuit16.defs.smt2 | 8318311 | SLEEK | 20564 | default | 304221 | complete | 13.2169 | 13.2077 | 6008088.0 | sat | sat |
433163149 | qf_shid_sat/succ-circuit17.defs.smt2 | 8318314 | SLEEK | 20564 | default | 304221 | complete | 14.0022 | 13.994 | 6022560.0 | sat | sat |
433163164 | qf_shid_sat/succ-circuit18.defs.smt2 | 8318329 | SLEEK | 20564 | default | 304221 | complete | 14.975 | 14.9648 | 6017112.0 | sat | sat |
433163162 | qf_shid_sat/succ-circuit19.defs.smt2 | 8318327 | SLEEK | 20564 | default | 304221 | complete | 16.0825 | 16.0715 | 5975180.0 | sat | sat |
433163195 | qf_shid_sat/succ-circuit20.defs.smt2 | 8318360 | SLEEK | 20564 | default | 304221 | complete | 17.5818 | 17.569 | 6016492.0 | sat | sat |
433163198 | qf_shid_sat/succ-rec01.defs.smt2 | 8318363 | SLEEK | 20564 | default | 304221 | complete | 0.066352 | 0.062249 | 113176.0 | sat | sat |
433163187 | qf_shid_sat/succ-rec02.defs.smt2 | 8318352 | SLEEK | 20564 | default | 304221 | complete | 0.124227 | 0.118964 | 113176.0 | sat | sat |
433163189 | qf_shid_sat/succ-rec03.defs.smt2 | 8318354 | SLEEK | 20564 | default | 304221 | complete | 1.23118 | 1.22953 | 262008.0 | sat | sat |
433163181 | qf_shid_sat/succ-rec04.defs.smt2 | 8318346 | SLEEK | 20564 | default | 304221 | complete | 1.96461 | 1.95882 | 273600.0 | sat | sat |
433163184 | qf_shid_sat/succ-rec05.defs.smt2 | 8318349 | SLEEK | 20564 | default | 304221 | complete | 10.7159 | 10.7066 | 316716.0 | sat | sat |
433163178 | qf_shid_sat/succ-rec06.defs.smt2 | 8318343 | SLEEK | 20564 | default | 304221 | complete | 19.7504 | 19.7419 | 319476.0 | sat | sat |
433163180 | qf_shid_sat/succ-rec07.defs.smt2 | 8318345 | SLEEK | 20564 | default | 304221 | complete | 19.6838 | 19.676 | 318436.0 | sat | sat |
433163227 | qf_shid_sat/succ-rec08.defs.smt2 | 8318392 | SLEEK | 20564 | default | 304221 | complete | 19.7211 | 19.7134 | 319636.0 | sat | sat |
433163223 | qf_shid_sat/succ-rec09.defs.smt2 | 8318388 | SLEEK | 20564 | default | 304221 | complete | 19.7724 | 19.7648 | 321316.0 | sat | sat |
433163163 | qf_shid_sat/succ-rec10.defs.smt2 | 8318328 | SLEEK | 20564 | default | 304221 | complete | 19.7058 | 19.6981 | 318292.0 | sat | sat |
433163159 | qf_shid_sat/succ-rec11.defs.smt2 | 8318324 | SLEEK | 20564 | default | 304221 | complete | 19.7216 | 19.7151 | 318132.0 | sat | sat |
433163158 | qf_shid_sat/succ-rec12.defs.smt2 | 8318323 | SLEEK | 20564 | default | 304221 | complete | 19.7613 | 19.7531 | 319476.0 | sat | sat |
433163157 | qf_shid_sat/succ-rec13.defs.smt2 | 8318322 | SLEEK | 20564 | default | 304221 | complete | 19.7564 | 19.7485 | 321216.0 | sat | sat |
433163177 | qf_shid_sat/succ-rec14.defs.smt2 | 8318342 | SLEEK | 20564 | default | 304221 | complete | 19.7069 | 19.6997 | 319672.0 | sat | sat |
433163172 | qf_shid_sat/succ-rec15.defs.smt2 | 8318337 | SLEEK | 20564 | default | 304221 | complete | 19.7537 | 19.7455 | 321216.0 | sat | sat |
433163168 | qf_shid_sat/succ-rec16.defs.smt2 | 8318333 | SLEEK | 20564 | default | 304221 | complete | 19.7658 | 19.7655 | 321220.0 | sat | sat |
433163165 | qf_shid_sat/succ-rec17.defs.smt2 | 8318330 | SLEEK | 20564 | default | 304221 | complete | 19.7608 | 19.7539 | 320128.0 | sat | sat |
433163138 | qf_shid_sat/succ-rec18.defs.smt2 | 8318303 | SLEEK | 20564 | default | 304221 | complete | 19.7674 | 19.7597 | 321212.0 | sat | sat |
433163144 | qf_shid_sat/succ-rec19.defs.smt2 | 8318309 | SLEEK | 20564 | default | 304221 | complete | 19.7818 | 19.7746 | 320128.0 | sat | sat |
433163228 | qf_shid_sat/succ-rec20.defs.smt2 | 8318393 | SLEEK | 20564 | default | 304221 | complete | 19.7917 | 19.7899 | 321216.0 | sat | sat |
433163226 | qf_shid_sat/tll-01.smt2 | 8318391 | SLEEK | 20564 | default | 304221 | complete | 0.060298 | 0.055768 | 113176.0 | sat | sat |
433163160 | qf_shid_sat/tll-02.smt2 | 8318325 | SLEEK | 20564 | default | 304221 | complete | 0.060222 | 0.0559091 | 113176.0 | sat | unsat |
433163152 | qf_shid_sat/tll-03.smt2 | 8318317 | SLEEK | 20564 | default | 304221 | complete | 0.060058 | 0.055782 | 113176.0 | sat | sat |
433163179 | qf_shid_sat/tll-04.smt2 | 8318344 | SLEEK | 20564 | default | 304221 | complete | 0.07183 | 0.0671719 | 113176.0 | sat | sat |
433163218 | qf_shid_sat/tll-05.smt2 | 8318383 | SLEEK | 20564 | default | 304221 | complete | 0.068132 | 0.0636691 | 113176.0 | sat | sat |
433163156 | qf_shid_sat/tll-06.smt2 | 8318321 | SLEEK | 20564 | default | 304221 | complete | 0.064988 | 0.0606121 | 113176.0 | unsat | unsat |
433163145 | qf_shid_sat/tll-07.smt2 | 8318310 | SLEEK | 20564 | default | 304221 | complete | 0.075525 | 0.070675 | 113176.0 | sat | sat |
433163199 | qf_shid_sat/tll-08.smt2 | 8318364 | SLEEK | 20564 | default | 304221 | complete | 0.070381 | 0.0658469 | 113176.0 | unsat | unsat |
433163217 | qf_shid_sat/tll-09.smt2 | 8318382 | SLEEK | 20564 | default | 304221 | complete | 0.6437 | 0.638503 | 280612.0 | unsat | unsat |
433163192 | qf_shid_sat/tll-10.smt2 | 8318357 | SLEEK | 20564 | default | 304221 | complete | 308.479 | 308.521 | 779852.0 | sat | sat |
433163207 | qf_shid_sat/tree-01.smt2 | 8318372 | SLEEK | 20564 | default | 304221 | complete | 0.053983 | 0.0501829 | 113176.0 | sat | sat |