| 430513227 | qf_shid_sat/abduced00.defs.smt2 | 8318320 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004747 | 0.00932202 | 0.0 | starexec-unknown | sat |
| 430513223 | qf_shid_sat/abduced01.defs.smt2 | 8318316 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005085 | 0.00884793 | 0.0 | starexec-unknown | sat |
| 430513220 | qf_shid_sat/abduced02.defs.smt2 | 8318313 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005158 | 0.00935002 | 0.0 | starexec-unknown | sat |
| 430513219 | qf_shid_sat/abduced03.defs.smt2 | 8318312 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005289 | 0.00933989 | 0.0 | starexec-unknown | sat |
| 430513215 | qf_shid_sat/abduced04.defs.smt2 | 8318308 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004896 | 0.00916705 | 0.0 | starexec-unknown | sat |
| 430513207 | qf_shid_sat/abduced05.defs.smt2 | 8318300 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005261 | 0.010167 | 0.0 | starexec-unknown | sat |
| 430513205 | qf_shid_sat/abduced06.defs.smt2 | 8318298 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005167 | 0.0093209 | 0.0 | starexec-unknown | sat |
| 430513204 | qf_shid_sat/abduced07.defs.smt2 | 8318297 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004831 | 0.00904692 | 0.0 | starexec-unknown | sat |
| 430513241 | qf_shid_sat/abduced08.defs.smt2 | 8318334 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005283 | 0.00925489 | 0.0 | starexec-unknown | sat |
| 430513246 | qf_shid_sat/abduced09.defs.smt2 | 8318339 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005017 | 0.00941693 | 0.0 | starexec-unknown | sat |
| 430513282 | qf_shid_sat/abduced10.defs.smt2 | 8318375 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004814 | 0.00881906 | 0.0 | starexec-unknown | sat |
| 430513284 | qf_shid_sat/abduced11.defs.smt2 | 8318377 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005045 | 0.00964897 | 0.0 | starexec-unknown | sat |
| 430513273 | qf_shid_sat/abduced12.defs.smt2 | 8318366 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004981 | 0.00908102 | 0.0 | starexec-unknown | sat |
| 430513276 | qf_shid_sat/abduced13.defs.smt2 | 8318369 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004752 | 0.008897 | 0.0 | starexec-unknown | sat |
| 430513297 | qf_shid_sat/abduced14.defs.smt2 | 8318390 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005061 | 0.00911504 | 0.0 | starexec-unknown | sat |
| 430513301 | qf_shid_sat/abduced15.defs.smt2 | 8318394 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004876 | 0.00909988 | 0.0 | starexec-unknown | sat |
| 430513291 | qf_shid_sat/abduced16.defs.smt2 | 8318384 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005055 | 0.00938304 | 0.0 | starexec-unknown | sat |
| 430513294 | qf_shid_sat/abduced17.defs.smt2 | 8318387 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005105 | 0.00925302 | 0.0 | starexec-unknown | sat |
| 430513257 | qf_shid_sat/abduced18.defs.smt2 | 8318350 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004864 | 0.00895303 | 0.0 | starexec-unknown | sat |
| 430513255 | qf_shid_sat/abduced19.defs.smt2 | 8318348 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005092 | 0.00874809 | 0.0 | starexec-unknown | sat |
| 430513245 | qf_shid_sat/atll-01.smt2 | 8318338 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006909 | 0.012599 | 0.0 | starexec-unknown | sat |
| 430513287 | qf_shid_sat/atll-02.smt2 | 8318380 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006771 | 0.00952989 | 0.0 | starexec-unknown | unsat |
| 430513268 | qf_shid_sat/atll-03.smt2 | 8318361 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007048 | 0.00928109 | 0.0 | starexec-unknown | unsat |
| 430513239 | qf_shid_sat/dll-01.smt2 | 8318332 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007007 | 0.0096041 | 0.0 | starexec-unknown | unsat |
| 430513278 | qf_shid_sat/dll-02.smt2 | 8318371 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.012653 | 0.0121869 | 113176.0 | unsat | unsat |
| 430513260 | qf_shid_sat/dll-03.smt2 | 8318353 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.021993 | 0.021391 | 113176.0 | sat | sat |
| 430513212 | qf_shid_sat/dll-04.smt2 | 8318305 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.020797 | 0.020178 | 113176.0 | sat | unsat |
| 430513247 | qf_shid_sat/dll-05.smt2 | 8318340 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.024952 | 0.0436981 | 113176.0 | sat | sat |
| 430513288 | qf_shid_sat/dll-06.smt2 | 8318381 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.045214 | 0.0446329 | 113176.0 | sat | unsat |
| 430513254 | qf_shid_sat/dltree-01.smt2 | 8318347 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006917 | 0.00880691 | 0.0 | starexec-unknown | sat |
| 430513277 | qf_shid_sat/inconsistent-ls-of-ls.defs.smt2 | 8318370 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005053 | 0.0111411 | 0.0 | starexec-unknown | unsat |
| 430513265 | qf_shid_sat/lasso-01.smt2 | 8318358 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004845 | 0.0127209 | 0.0 | starexec-unknown | sat |
| 430513211 | qf_shid_sat/lasso-02.smt2 | 8318304 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005048 | 0.0104649 | 0.0 | starexec-unknown | unsat |
| 430513242 | qf_shid_sat/lasso-03.smt2 | 8318335 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005367 | 0.00941795 | 0.0 | starexec-unknown | unsat |
| 430513272 | qf_shid_sat/lasso-04.smt2 | 8318365 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005255 | 0.00909702 | 0.0 | starexec-unknown | unsat |
| 430513258 | qf_shid_sat/lasso-05.smt2 | 8318351 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005075 | 0.0099161 | 0.0 | starexec-unknown | sat |
| 430513285 | qf_shid_sat/lss-03-01.smt2 | 8318378 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005128 | 0.00953 | 0.0 | starexec-unknown | unsat |
| 430513248 | qf_shid_sat/lss-03-02.smt2 | 8318341 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004882 | 0.00845512 | 0.0 | starexec-unknown | unsat |
| 430513213 | qf_shid_sat/lss-03-03.smt2 | 8318306 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00512 | 0.0108229 | 0.0 | starexec-unknown | unsat |
| 430513243 | qf_shid_sat/lss-04-01.smt2 | 8318336 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004732 | 0.00956795 | 0.0 | starexec-unknown | sat |
| 430513283 | qf_shid_sat/lss-04-02.smt2 | 8318376 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004986 | 0.00948692 | 0.0 | starexec-unknown | sat |
| 430513266 | qf_shid_sat/lss-04-03.smt2 | 8318359 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005001 | 0.00930702 | 0.0 | starexec-unknown | unsat |
| 430513208 | qf_shid_sat/lss-05-01.smt2 | 8318301 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005202 | 0.00903903 | 0.0 | starexec-unknown | sat |
| 430513262 | qf_shid_sat/lss-05-02.smt2 | 8318355 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004892 | 0.00908509 | 0.0 | starexec-unknown | sat |
| 430513281 | qf_shid_sat/lss-05-03.smt2 | 8318374 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005029 | 0.00938298 | 0.0 | starexec-unknown | sat |
| 430513233 | qf_shid_sat/ncll-01.smt2 | 8318326 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00706 | 0.00922302 | 0.0 | starexec-unknown | sat |
| 430513222 | qf_shid_sat/nll-01.smt2 | 8318315 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007211 | 0.00930098 | 0.0 | starexec-unknown | sat |
| 430513238 | qf_shid_sat/sll2h-01.smt2 | 8318331 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007072 | 0.0095721 | 0.0 | starexec-unknown | sat |
| 430513296 | qf_shid_sat/succ-circuit01.defs.smt2 | 8318389 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006563 | 0.00930693 | 0.0 | starexec-unknown | sat |
| 430513293 | qf_shid_sat/succ-circuit02.defs.smt2 | 8318386 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006482 | 0.00886094 | 0.0 | starexec-unknown | sat |
| 430513292 | qf_shid_sat/succ-circuit03.defs.smt2 | 8318385 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006619 | 0.00946789 | 0.0 | starexec-unknown | sat |
| 430513286 | qf_shid_sat/succ-circuit04.defs.smt2 | 8318379 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006689 | 0.0113739 | 0.0 | starexec-unknown | sat |
| 430513280 | qf_shid_sat/succ-circuit05.defs.smt2 | 8318373 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007083 | 0.010994 | 0.0 | starexec-unknown | sat |
| 430513275 | qf_shid_sat/succ-circuit06.defs.smt2 | 8318368 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00681 | 0.00921705 | 0.0 | starexec-unknown | sat |
| 430513274 | qf_shid_sat/succ-circuit07.defs.smt2 | 8318367 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006472 | 0.00900601 | 0.0 | starexec-unknown | sat |
| 430513263 | qf_shid_sat/succ-circuit08.defs.smt2 | 8318356 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006862 | 0.00905194 | 0.0 | starexec-unknown | sat |
| 430513269 | qf_shid_sat/succ-circuit09.defs.smt2 | 8318362 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006659 | 0.00961003 | 0.0 | starexec-unknown | sat |
| 430513209 | qf_shid_sat/succ-circuit10.defs.smt2 | 8318302 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006608 | 0.00928812 | 0.0 | starexec-unknown | sat |
| 430513214 | qf_shid_sat/succ-circuit11.defs.smt2 | 8318307 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007015 | 0.0097111 | 0.0 | starexec-unknown | sat |
| 430513203 | qf_shid_sat/succ-circuit12.defs.smt2 | 8318296 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006358 | 0.00916288 | 0.0 | starexec-unknown | sat |
| 430513206 | qf_shid_sat/succ-circuit13.defs.smt2 | 8318299 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006376 | 0.00869412 | 0.0 | starexec-unknown | sat |
| 430513225 | qf_shid_sat/succ-circuit14.defs.smt2 | 8318318 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006256 | 0.00859591 | 0.0 | starexec-unknown | sat |
| 430513226 | qf_shid_sat/succ-circuit15.defs.smt2 | 8318319 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006852 | 0.00911105 | 0.0 | starexec-unknown | sat |
| 430513218 | qf_shid_sat/succ-circuit16.defs.smt2 | 8318311 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006645 | 0.009042 | 0.0 | starexec-unknown | sat |
| 430513221 | qf_shid_sat/succ-circuit17.defs.smt2 | 8318314 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006777 | 0.00941299 | 0.0 | starexec-unknown | sat |
| 430513236 | qf_shid_sat/succ-circuit18.defs.smt2 | 8318329 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.0066 | 0.00940607 | 0.0 | starexec-unknown | sat |
| 430513234 | qf_shid_sat/succ-circuit19.defs.smt2 | 8318327 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006289 | 0.00928699 | 0.0 | starexec-unknown | sat |
| 430513267 | qf_shid_sat/succ-circuit20.defs.smt2 | 8318360 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006457 | 0.00903595 | 0.0 | starexec-unknown | sat |
| 430513270 | qf_shid_sat/succ-rec01.defs.smt2 | 8318363 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006795 | 0.0355889 | 0.0 | starexec-unknown | sat |
| 430513259 | qf_shid_sat/succ-rec02.defs.smt2 | 8318352 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006231 | 0.00945209 | 0.0 | starexec-unknown | sat |
| 430513261 | qf_shid_sat/succ-rec03.defs.smt2 | 8318354 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006743 | 0.00900811 | 0.0 | starexec-unknown | sat |
| 430513253 | qf_shid_sat/succ-rec04.defs.smt2 | 8318346 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006388 | 0.00861004 | 0.0 | starexec-unknown | sat |
| 430513256 | qf_shid_sat/succ-rec05.defs.smt2 | 8318349 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00688 | 0.0119759 | 0.0 | starexec-unknown | sat |
| 430513250 | qf_shid_sat/succ-rec06.defs.smt2 | 8318343 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006781 | 0.00925996 | 0.0 | starexec-unknown | sat |
| 430513252 | qf_shid_sat/succ-rec07.defs.smt2 | 8318345 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006598 | 0.00904688 | 0.0 | starexec-unknown | sat |
| 430513299 | qf_shid_sat/succ-rec08.defs.smt2 | 8318392 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006885 | 0.0093271 | 0.0 | starexec-unknown | sat |
| 430513295 | qf_shid_sat/succ-rec09.defs.smt2 | 8318388 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006535 | 0.00911897 | 0.0 | starexec-unknown | sat |
| 430513235 | qf_shid_sat/succ-rec10.defs.smt2 | 8318328 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006555 | 0.00895004 | 0.0 | starexec-unknown | sat |
| 430513231 | qf_shid_sat/succ-rec11.defs.smt2 | 8318324 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006829 | 0.00874507 | 0.0 | starexec-unknown | sat |
| 430513230 | qf_shid_sat/succ-rec12.defs.smt2 | 8318323 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00656 | 0.00928988 | 0.0 | starexec-unknown | sat |
| 430513229 | qf_shid_sat/succ-rec13.defs.smt2 | 8318322 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00631 | 0.00877698 | 0.0 | starexec-unknown | sat |
| 430513249 | qf_shid_sat/succ-rec14.defs.smt2 | 8318342 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006523 | 0.00848812 | 0.0 | starexec-unknown | sat |
| 430513244 | qf_shid_sat/succ-rec15.defs.smt2 | 8318337 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006808 | 0.00948195 | 0.0 | starexec-unknown | sat |
| 430513240 | qf_shid_sat/succ-rec16.defs.smt2 | 8318333 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006943 | 0.00955793 | 0.0 | starexec-unknown | sat |
| 430513237 | qf_shid_sat/succ-rec17.defs.smt2 | 8318330 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00653 | 0.00901594 | 0.0 | starexec-unknown | sat |
| 430513210 | qf_shid_sat/succ-rec18.defs.smt2 | 8318303 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006795 | 0.00857894 | 0.0 | starexec-unknown | sat |
| 430513216 | qf_shid_sat/succ-rec19.defs.smt2 | 8318309 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006594 | 0.00908503 | 0.0 | starexec-unknown | sat |
| 430513300 | qf_shid_sat/succ-rec20.defs.smt2 | 8318393 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006761 | 0.00967993 | 0.0 | starexec-unknown | sat |
| 430513298 | qf_shid_sat/tll-01.smt2 | 8318391 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006911 | 0.00919004 | 0.0 | starexec-unknown | sat |
| 430513232 | qf_shid_sat/tll-02.smt2 | 8318325 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007045 | 0.00932695 | 0.0 | starexec-unknown | unsat |
| 430513224 | qf_shid_sat/tll-03.smt2 | 8318317 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007169 | 0.0099611 | 0.0 | starexec-unknown | sat |
| 430513251 | qf_shid_sat/tll-04.smt2 | 8318344 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006793 | 0.00926008 | 0.0 | starexec-unknown | sat |
| 430513290 | qf_shid_sat/tll-05.smt2 | 8318383 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007117 | 0.00987402 | 0.0 | starexec-unknown | sat |
| 430513228 | qf_shid_sat/tll-06.smt2 | 8318321 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.0069 | 0.0093009 | 0.0 | starexec-unknown | unsat |
| 430513217 | qf_shid_sat/tll-07.smt2 | 8318310 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007096 | 0.00967011 | 0.0 | starexec-unknown | sat |
| 430513271 | qf_shid_sat/tll-08.smt2 | 8318364 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006994 | 0.00946504 | 0.0 | starexec-unknown | unsat |
| 430513289 | qf_shid_sat/tll-09.smt2 | 8318382 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007009 | 0.009157 | 0.0 | starexec-unknown | unsat |
| 430513264 | qf_shid_sat/tll-10.smt2 | 8318357 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006805 | 0.00848703 | 0.0 | starexec-unknown | sat |
| 430513279 | qf_shid_sat/tree-01.smt2 | 8318372 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005289 | 0.01282 | 0.0 | starexec-unknown | sat |