430512930 | qf_shid_sat/abduced00.defs.smt2 | 8318320 | SLEEK | 20564 | default | 304221 | complete | 0.259492 | 0.251573 | 113176.0 | sat | sat |
430512926 | qf_shid_sat/abduced01.defs.smt2 | 8318316 | SLEEK | 20564 | default | 304221 | complete | 0.262202 | 0.2528 | 113176.0 | sat | sat |
430512923 | qf_shid_sat/abduced02.defs.smt2 | 8318313 | SLEEK | 20564 | default | 304221 | complete | 0.274473 | 0.266546 | 113176.0 | sat | sat |
430512922 | qf_shid_sat/abduced03.defs.smt2 | 8318312 | SLEEK | 20564 | default | 304221 | complete | 0.301168 | 0.292481 | 113176.0 | sat | sat |
430512918 | qf_shid_sat/abduced04.defs.smt2 | 8318308 | SLEEK | 20564 | default | 304221 | complete | 0.302934 | 0.294381 | 113176.0 | sat | sat |
430512910 | qf_shid_sat/abduced05.defs.smt2 | 8318300 | SLEEK | 20564 | default | 304221 | complete | 0.413077 | 0.402534 | 113176.0 | sat | sat |
430512908 | qf_shid_sat/abduced06.defs.smt2 | 8318298 | SLEEK | 20564 | default | 304221 | complete | 0.37017 | 0.36035 | 113176.0 | sat | sat |
430512907 | qf_shid_sat/abduced07.defs.smt2 | 8318297 | SLEEK | 20564 | default | 304221 | complete | 0.316686 | 0.307624 | 113176.0 | sat | sat |
430512944 | qf_shid_sat/abduced08.defs.smt2 | 8318334 | SLEEK | 20564 | default | 304221 | complete | 0.337543 | 0.32814 | 113176.0 | sat | sat |
430512949 | qf_shid_sat/abduced09.defs.smt2 | 8318339 | SLEEK | 20564 | default | 304221 | complete | 0.318966 | 0.310162 | 113176.0 | sat | sat |
430512985 | qf_shid_sat/abduced10.defs.smt2 | 8318375 | SLEEK | 20564 | default | 304221 | complete | 0.362122 | 0.351998 | 113176.0 | sat | sat |
430512987 | qf_shid_sat/abduced11.defs.smt2 | 8318377 | SLEEK | 20564 | default | 304221 | complete | 0.333143 | 0.323847 | 113176.0 | sat | sat |
430512976 | qf_shid_sat/abduced12.defs.smt2 | 8318366 | SLEEK | 20564 | default | 304221 | complete | 0.337028 | 0.327953 | 113176.0 | sat | sat |
430512979 | qf_shid_sat/abduced13.defs.smt2 | 8318369 | SLEEK | 20564 | default | 304221 | complete | 0.377052 | 0.367062 | 113176.0 | sat | sat |
430513000 | qf_shid_sat/abduced14.defs.smt2 | 8318390 | SLEEK | 20564 | default | 304221 | complete | 0.303592 | 0.294886 | 113176.0 | sat | sat |
430513004 | qf_shid_sat/abduced15.defs.smt2 | 8318394 | SLEEK | 20564 | default | 304221 | complete | 0.227082 | 0.219482 | 113176.0 | sat | sat |
430512994 | qf_shid_sat/abduced16.defs.smt2 | 8318384 | SLEEK | 20564 | default | 304221 | complete | 0.220495 | 0.213023 | 113176.0 | sat | sat |
430512997 | qf_shid_sat/abduced17.defs.smt2 | 8318387 | SLEEK | 20564 | default | 304221 | complete | 0.256033 | 0.247744 | 113176.0 | sat | sat |
430512960 | qf_shid_sat/abduced18.defs.smt2 | 8318350 | SLEEK | 20564 | default | 304221 | complete | 0.288626 | 0.27947 | 113176.0 | sat | sat |
430512958 | qf_shid_sat/abduced19.defs.smt2 | 8318348 | SLEEK | 20564 | default | 304221 | complete | 0.226669 | 0.219002 | 113176.0 | sat | sat |
430512948 | qf_shid_sat/atll-01.smt2 | 8318338 | SLEEK | 20564 | default | 304221 | complete | 0.139977 | 0.135792 | 113176.0 | sat | sat |
430512990 | qf_shid_sat/atll-02.smt2 | 8318380 | SLEEK | 20564 | default | 304221 | complete | 0.128125 | 0.123456 | 113176.0 | sat | unsat |
430512971 | qf_shid_sat/atll-03.smt2 | 8318361 | SLEEK | 20564 | default | 304221 | complete | 0.114948 | 0.111017 | 113176.0 | sat | unsat |
430512942 | qf_shid_sat/dll-01.smt2 | 8318332 | SLEEK | 20564 | default | 304221 | complete | 0.12171 | 0.117029 | 113176.0 | sat | unsat |
430512981 | qf_shid_sat/dll-02.smt2 | 8318371 | SLEEK | 20564 | default | 304221 | complete | 0.101798 | 0.0970229 | 113176.0 | sat | unsat |
430512963 | qf_shid_sat/dll-03.smt2 | 8318353 | SLEEK | 20564 | default | 304221 | complete | 0.124567 | 0.119319 | 113176.0 | sat | sat |
430512915 | qf_shid_sat/dll-04.smt2 | 8318305 | SLEEK | 20564 | default | 304221 | complete | 0.120849 | 0.115625 | 113176.0 | sat | unsat |
430512950 | qf_shid_sat/dll-05.smt2 | 8318340 | SLEEK | 20564 | default | 304221 | complete | 0.139565 | 0.134351 | 113176.0 | sat | sat |
430512991 | qf_shid_sat/dll-06.smt2 | 8318381 | SLEEK | 20564 | default | 304221 | complete | 3.27657 | 3.26903 | 285136.0 | sat | unsat |
430512957 | qf_shid_sat/dltree-01.smt2 | 8318347 | SLEEK | 20564 | default | 304221 | complete | 0.063017 | 0.0586001 | 113176.0 | sat | sat |
430512980 | qf_shid_sat/inconsistent-ls-of-ls.defs.smt2 | 8318370 | SLEEK | 20564 | default | 304221 | complete | 0.068351 | 0.0636209 | 113176.0 | unsat | unsat |
430512968 | qf_shid_sat/lasso-01.smt2 | 8318358 | SLEEK | 20564 | default | 304221 | complete | 0.077153 | 0.072894 | 113176.0 | sat | sat |
430512914 | qf_shid_sat/lasso-02.smt2 | 8318304 | SLEEK | 20564 | default | 304221 | complete | 0.075873 | 0.0718711 | 113176.0 | unsat | unsat |
430512945 | qf_shid_sat/lasso-03.smt2 | 8318335 | SLEEK | 20564 | default | 304221 | complete | 0.084845 | 0.0800881 | 113176.0 | unsat | unsat |
430512975 | qf_shid_sat/lasso-04.smt2 | 8318365 | SLEEK | 20564 | default | 304221 | complete | 0.185174 | 0.178318 | 113176.0 | unsat | unsat |
430512961 | qf_shid_sat/lasso-05.smt2 | 8318351 | SLEEK | 20564 | default | 304221 | complete | 0.086258 | 0.081116 | 113176.0 | sat | sat |
430512988 | qf_shid_sat/lss-03-01.smt2 | 8318378 | SLEEK | 20564 | default | 304221 | complete | 0.080265 | 0.0751209 | 113176.0 | unsat | unsat |
430512951 | qf_shid_sat/lss-03-02.smt2 | 8318341 | SLEEK | 20564 | default | 304221 | complete | 0.096028 | 0.0906669 | 113176.0 | unsat | unsat |
430512916 | qf_shid_sat/lss-03-03.smt2 | 8318306 | SLEEK | 20564 | default | 304221 | complete | 0.083337 | 0.0787339 | 113176.0 | sat | unsat |
430512946 | qf_shid_sat/lss-04-01.smt2 | 8318336 | SLEEK | 20564 | default | 304221 | complete | 0.115421 | 0.109941 | 113176.0 | sat | sat |
430512986 | qf_shid_sat/lss-04-02.smt2 | 8318376 | SLEEK | 20564 | default | 304221 | complete | 0.117879 | 0.112408 | 113176.0 | sat | sat |
430512969 | qf_shid_sat/lss-04-03.smt2 | 8318359 | SLEEK | 20564 | default | 304221 | complete | 0.11412 | 0.108328 | 113176.0 | sat | unsat |
430512911 | qf_shid_sat/lss-05-01.smt2 | 8318301 | SLEEK | 20564 | default | 304221 | complete | 0.131462 | 0.125697 | 113176.0 | sat | sat |
430512965 | qf_shid_sat/lss-05-02.smt2 | 8318355 | SLEEK | 20564 | default | 304221 | complete | 0.134534 | 0.128214 | 113176.0 | sat | sat |
430512984 | qf_shid_sat/lss-05-03.smt2 | 8318374 | SLEEK | 20564 | default | 304221 | complete | 0.128626 | 0.122909 | 113176.0 | sat | sat |
430512936 | qf_shid_sat/ncll-01.smt2 | 8318326 | SLEEK | 20564 | default | 304221 | complete | 0.065266 | 0.0606699 | 113176.0 | sat | sat |
430512925 | qf_shid_sat/nll-01.smt2 | 8318315 | SLEEK | 20564 | default | 304221 | complete | 0.079432 | 0.0744679 | 113176.0 | sat | sat |
430512941 | qf_shid_sat/sll2h-01.smt2 | 8318331 | SLEEK | 20564 | default | 304221 | complete | 0.020139 | 0.0193711 | 113176.0 | sat | sat |
430512999 | qf_shid_sat/succ-circuit01.defs.smt2 | 8318389 | SLEEK | 20564 | default | 304221 | complete | 0.323608 | 0.318389 | 113176.0 | sat | sat |
430512996 | qf_shid_sat/succ-circuit02.defs.smt2 | 8318386 | SLEEK | 20564 | default | 304221 | complete | 0.413607 | 0.407497 | 113176.0 | sat | sat |
430512995 | qf_shid_sat/succ-circuit03.defs.smt2 | 8318385 | SLEEK | 20564 | default | 304221 | complete | 72.8468 | 72.7163 | 2683888.0 | sat | sat |
430512989 | qf_shid_sat/succ-circuit04.defs.smt2 | 8318379 | SLEEK | 20564 | default | 304221 | timeout (wallclock) | 2399.75 | 2400.03 | 2948824.0 | starexec-unknown | sat |
430512983 | qf_shid_sat/succ-circuit05.defs.smt2 | 8318373 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.03 | 2399.82 | 7174116.0 | starexec-unknown | sat |
430512978 | qf_shid_sat/succ-circuit06.defs.smt2 | 8318368 | SLEEK | 20564 | default | 304221 | memout | 29.32 | 29.3807 | 1.0541436E7 | starexec-unknown | sat |
430512977 | qf_shid_sat/succ-circuit07.defs.smt2 | 8318367 | SLEEK | 20564 | default | 304221 | complete | 10.753 | 10.7468 | 6009328.0 | sat | sat |
430512966 | qf_shid_sat/succ-circuit08.defs.smt2 | 8318356 | SLEEK | 20564 | default | 304221 | complete | 10.8222 | 10.8156 | 6017800.0 | sat | sat |
430512972 | qf_shid_sat/succ-circuit09.defs.smt2 | 8318362 | SLEEK | 20564 | default | 304221 | complete | 10.9181 | 10.9118 | 5969620.0 | sat | sat |
430512912 | qf_shid_sat/succ-circuit10.defs.smt2 | 8318302 | SLEEK | 20564 | default | 304221 | complete | 11.05 | 11.0436 | 5995756.0 | sat | sat |
430512917 | qf_shid_sat/succ-circuit11.defs.smt2 | 8318307 | SLEEK | 20564 | default | 304221 | complete | 11.2265 | 11.2196 | 6016472.0 | sat | sat |
430512906 | qf_shid_sat/succ-circuit12.defs.smt2 | 8318296 | SLEEK | 20564 | default | 304221 | complete | 11.4356 | 11.4277 | 6014784.0 | sat | sat |
430512909 | qf_shid_sat/succ-circuit13.defs.smt2 | 8318299 | SLEEK | 20564 | default | 304221 | complete | 11.7301 | 11.7226 | 6011136.0 | sat | sat |
430512928 | qf_shid_sat/succ-circuit14.defs.smt2 | 8318318 | SLEEK | 20564 | default | 304221 | complete | 12.1042 | 12.0952 | 6003548.0 | sat | sat |
430512929 | qf_shid_sat/succ-circuit15.defs.smt2 | 8318319 | SLEEK | 20564 | default | 304221 | complete | 12.5963 | 12.5866 | 6035060.0 | sat | sat |
430512921 | qf_shid_sat/succ-circuit16.defs.smt2 | 8318311 | SLEEK | 20564 | default | 304221 | complete | 13.2292 | 13.22 | 6033184.0 | sat | sat |
430512924 | qf_shid_sat/succ-circuit17.defs.smt2 | 8318314 | SLEEK | 20564 | default | 304221 | complete | 13.9987 | 13.9891 | 6010016.0 | sat | sat |
430512939 | qf_shid_sat/succ-circuit18.defs.smt2 | 8318329 | SLEEK | 20564 | default | 304221 | complete | 14.9555 | 14.9463 | 6020220.0 | sat | sat |
430512937 | qf_shid_sat/succ-circuit19.defs.smt2 | 8318327 | SLEEK | 20564 | default | 304221 | complete | 16.1145 | 16.1049 | 5956468.0 | sat | sat |
430512970 | qf_shid_sat/succ-circuit20.defs.smt2 | 8318360 | SLEEK | 20564 | default | 304221 | complete | 17.5596 | 17.5474 | 6031132.0 | sat | sat |
430512973 | qf_shid_sat/succ-rec01.defs.smt2 | 8318363 | SLEEK | 20564 | default | 304221 | complete | 0.064712 | 0.060604 | 113176.0 | sat | sat |
430512962 | qf_shid_sat/succ-rec02.defs.smt2 | 8318352 | SLEEK | 20564 | default | 304221 | complete | 0.125648 | 0.120883 | 113176.0 | sat | sat |
430512964 | qf_shid_sat/succ-rec03.defs.smt2 | 8318354 | SLEEK | 20564 | default | 304221 | complete | 1.22766 | 1.22155 | 261988.0 | sat | sat |
430512956 | qf_shid_sat/succ-rec04.defs.smt2 | 8318346 | SLEEK | 20564 | default | 304221 | complete | 1.95894 | 1.95271 | 273600.0 | sat | sat |
430512959 | qf_shid_sat/succ-rec05.defs.smt2 | 8318349 | SLEEK | 20564 | default | 304221 | complete | 10.6861 | 10.6776 | 316712.0 | sat | sat |
430512953 | qf_shid_sat/succ-rec06.defs.smt2 | 8318343 | SLEEK | 20564 | default | 304221 | complete | 19.7723 | 19.7658 | 319476.0 | sat | sat |
430512955 | qf_shid_sat/succ-rec07.defs.smt2 | 8318345 | SLEEK | 20564 | default | 304221 | complete | 19.7179 | 19.7192 | 318292.0 | sat | sat |
430513002 | qf_shid_sat/succ-rec08.defs.smt2 | 8318392 | SLEEK | 20564 | default | 304221 | complete | 19.6936 | 19.6869 | 319640.0 | sat | sat |
430512998 | qf_shid_sat/succ-rec09.defs.smt2 | 8318388 | SLEEK | 20564 | default | 304221 | complete | 19.6686 | 19.6608 | 321312.0 | sat | sat |
430512938 | qf_shid_sat/succ-rec10.defs.smt2 | 8318328 | SLEEK | 20564 | default | 304221 | complete | 19.7192 | 19.7111 | 318292.0 | sat | sat |
430512934 | qf_shid_sat/succ-rec11.defs.smt2 | 8318324 | SLEEK | 20564 | default | 304221 | complete | 19.7736 | 19.766 | 321152.0 | sat | sat |
430512933 | qf_shid_sat/succ-rec12.defs.smt2 | 8318323 | SLEEK | 20564 | default | 304221 | complete | 19.7601 | 19.7528 | 319476.0 | sat | sat |
430512932 | qf_shid_sat/succ-rec13.defs.smt2 | 8318322 | SLEEK | 20564 | default | 304221 | complete | 19.6815 | 19.673 | 321220.0 | sat | sat |
430512952 | qf_shid_sat/succ-rec14.defs.smt2 | 8318342 | SLEEK | 20564 | default | 304221 | complete | 19.7629 | 19.7572 | 319672.0 | sat | sat |
430512947 | qf_shid_sat/succ-rec15.defs.smt2 | 8318337 | SLEEK | 20564 | default | 304221 | complete | 19.7208 | 19.7124 | 321212.0 | sat | sat |
430512943 | qf_shid_sat/succ-rec16.defs.smt2 | 8318333 | SLEEK | 20564 | default | 304221 | complete | 19.7807 | 19.7825 | 321220.0 | sat | sat |
430512940 | qf_shid_sat/succ-rec17.defs.smt2 | 8318330 | SLEEK | 20564 | default | 304221 | complete | 19.7295 | 19.7216 | 319672.0 | sat | sat |
430512913 | qf_shid_sat/succ-rec18.defs.smt2 | 8318303 | SLEEK | 20564 | default | 304221 | complete | 19.7779 | 19.7701 | 321216.0 | sat | sat |
430512919 | qf_shid_sat/succ-rec19.defs.smt2 | 8318309 | SLEEK | 20564 | default | 304221 | complete | 19.7524 | 19.7443 | 319668.0 | sat | sat |
430513003 | qf_shid_sat/succ-rec20.defs.smt2 | 8318393 | SLEEK | 20564 | default | 304221 | complete | 19.7513 | 19.7431 | 321220.0 | sat | sat |
430513001 | qf_shid_sat/tll-01.smt2 | 8318391 | SLEEK | 20564 | default | 304221 | complete | 0.060315 | 0.0559 | 113176.0 | sat | sat |
430512935 | qf_shid_sat/tll-02.smt2 | 8318325 | SLEEK | 20564 | default | 304221 | complete | 0.062999 | 0.058554 | 113176.0 | sat | unsat |
430512927 | qf_shid_sat/tll-03.smt2 | 8318317 | SLEEK | 20564 | default | 304221 | complete | 0.059227 | 0.0550531 | 113176.0 | sat | sat |
430512954 | qf_shid_sat/tll-04.smt2 | 8318344 | SLEEK | 20564 | default | 304221 | complete | 0.071621 | 0.067438 | 113176.0 | sat | sat |
430512993 | qf_shid_sat/tll-05.smt2 | 8318383 | SLEEK | 20564 | default | 304221 | complete | 0.068649 | 0.0763001 | 113176.0 | sat | sat |
430512931 | qf_shid_sat/tll-06.smt2 | 8318321 | SLEEK | 20564 | default | 304221 | complete | 0.066397 | 0.0617751 | 113176.0 | unsat | unsat |
430512920 | qf_shid_sat/tll-07.smt2 | 8318310 | SLEEK | 20564 | default | 304221 | complete | 0.076286 | 0.0714531 | 113176.0 | sat | sat |
430512974 | qf_shid_sat/tll-08.smt2 | 8318364 | SLEEK | 20564 | default | 304221 | complete | 0.067456 | 0.0631 | 113176.0 | unsat | unsat |
430512992 | qf_shid_sat/tll-09.smt2 | 8318382 | SLEEK | 20564 | default | 304221 | complete | 0.639555 | 0.634365 | 280612.0 | unsat | unsat |
430512967 | qf_shid_sat/tll-10.smt2 | 8318357 | SLEEK | 20564 | default | 304221 | complete | 316.592 | 316.602 | 772932.0 | sat | sat |
430512982 | qf_shid_sat/tree-01.smt2 | 8318372 | SLEEK | 20564 | default | 304221 | complete | 0.054163 | 0.050478 | 113176.0 | sat | sat |