433165020 | qf_shlid_entl/dll-vc01.smt2 | 8318278 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.025491 | 0.0528211 | 113176.0 | unsat | unsat |
433164978 | qf_shlid_entl/dll-vc02.smt2 | 8318236 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.025397 | 0.052735 | 113176.0 | unsat | unsat |
433165002 | qf_shlid_entl/dll-vc03.smt2 | 8318260 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.032509 | 0.0669741 | 113176.0 | unsat | unsat |
433165026 | qf_shlid_entl/dll-vc04.smt2 | 8318284 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016316 | 0.03382 | 113176.0 | sat | sat |
433165022 | qf_shlid_entl/dll-vc05.smt2 | 8318280 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 19.18 | 19.1763 | 196956.0 | unsat | unsat |
433164983 | qf_shlid_entl/dll-vc06.smt2 | 8318241 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030488 | 0.0681141 | 113176.0 | sat | sat |
433165007 | qf_shlid_entl/dll-vc07.smt2 | 8318265 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.57 | 4.5881 | 175800.0 | unsat | unsat |
433165031 | qf_shlid_entl/dll-vc08.smt2 | 8318289 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.032741 | 0.0621909 | 113176.0 | sat | sat |
433165013 | qf_shlid_entl/dll-vc09.smt2 | 8318271 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.057404 | 0.117991 | 113176.0 | unsat | unsat |
433165029 | qf_shlid_entl/dll-vc10.smt2 | 8318287 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.029072 | 0.0541399 | 113176.0 | sat | sat |
433165010 | qf_shlid_entl/dll-vc11.smt2 | 8318268 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 180.15 | 180.045 | 365652.0 | starexec-unknown | unsat |
433164985 | qf_shlid_entl/dll-vc12.smt2 | 8318243 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026927 | 0.0583631 | 113176.0 | sat | sat |
433164993 | qf_shlid_entl/dll-vc13.smt2 | 8318251 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01796 | 0.0392601 | 113176.0 | sat | sat |
433165035 | qf_shlid_entl/dll-vc14.smt2 | 8318293 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017843 | 0.0407831 | 113176.0 | sat | sat |
433165017 | qf_shlid_entl/dll-vc15.smt2 | 8318275 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019727 | 0.041441 | 113176.0 | unsat | unsat |
433164990 | qf_shlid_entl/dll-vc16.smt2 | 8318248 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035229 | 0.0660819 | 113176.0 | sat | sat |
433164999 | qf_shlid_entl/dll-vc17.smt2 | 8318257 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 185.02 | 185.056 | 268688.0 | starexec-unknown | unsat |
433165011 | qf_shlid_entl/lss-vc01.smt2 | 8318269 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014486 | 0.0309051 | 113176.0 | unsat | unsat |
433164987 | qf_shlid_entl/lss-vc02.smt2 | 8318245 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020981 | 0.0421149 | 113176.0 | unsat | unsat |
433164996 | qf_shlid_entl/lss-vc03.smt2 | 8318254 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.113217 | 0.210433 | 113176.0 | unsat | unsat |
433164988 | qf_shlid_entl/nll-vc01.smt2 | 8318246 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.07102 | 0.109395 | 113176.0 | unsat | unsat |
433165015 | qf_shlid_entl/nll-vc02.smt2 | 8318273 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.070648 | 0.109144 | 113176.0 | unsat | unsat |
433165032 | qf_shlid_entl/nll-vc03.smt2 | 8318290 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.69 | 0.721058 | 175804.0 | unsat | unsat |
433165000 | qf_shlid_entl/nll-vc04.smt2 | 8318258 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.21 | 5.19315 | 231812.0 | unsat | unsat |
433164992 | qf_shlid_entl/nll-vc05.smt2 | 8318250 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.1 | 5.07673 | 231676.0 | unsat | unsat |
433165019 | qf_shlid_entl/nll-vc06.smt2 | 8318277 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.024738 | 0.0485341 | 113176.0 | sat | sat |
433165036 | qf_shlid_entl/nll-vc07.smt2 | 8318294 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.38 | 7.3203 | 252720.0 | unsat | unsat |
433165004 | qf_shlid_entl/nll-vc08.smt2 | 8318262 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 13.92 | 13.846 | 315876.0 | unsat | unsat |
433164980 | qf_shlid_entl/nll-vc09.smt2 | 8318238 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.17 | 6.1912 | 241608.0 | unsat | unsat |
433165005 | qf_shlid_entl/nll-vc10.smt2 | 8318263 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.94 | 6.90159 | 252512.0 | unsat | unsat |
433164981 | qf_shlid_entl/nll-vc11.smt2 | 8318239 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.12 | 5.08665 | 232072.0 | unsat | unsat |
433165021 | qf_shlid_entl/nll-vc12.smt2 | 8318279 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.44 | 3.46279 | 216172.0 | unsat | unsat |
433165025 | qf_shlid_entl/nll-vc13.smt2 | 8318283 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.02132 | 0.040532 | 113176.0 | sat | sat |
433165008 | qf_shlid_entl/nll-vc14.smt2 | 8318266 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.040099 | 0.0696859 | 113176.0 | sat | sat |
433164984 | qf_shlid_entl/nll-vc15.smt2 | 8318242 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020542 | 0.037774 | 113176.0 | sat | sat |
433165023 | qf_shlid_entl/nll-vc16.smt2 | 8318281 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.024263 | 0.0459661 | 113176.0 | sat | sat |
433165028 | qf_shlid_entl/nll-vc17.smt2 | 8318286 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 212.98 | 212.115 | 304820.0 | starexec-unknown | sat |
433164994 | qf_shlid_entl/nll-vc18.smt2 | 8318252 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.056744 | 0.0856119 | 113176.0 | sat | sat |
433164986 | qf_shlid_entl/nll-vc19.smt2 | 8318244 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069288 | 0.101047 | 113176.0 | sat | sat |
433164997 | qf_shlid_entl/skl2-vc01.smt2 | 8318255 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.022582 | 0.0394171 | 113176.0 | unsat | unsat |
433165033 | qf_shlid_entl/skl2-vc02.smt2 | 8318291 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.027497 | 0.0477061 | 113176.0 | unsat | unsat |
433165014 | qf_shlid_entl/skl2-vc03.smt2 | 8318272 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.04 | 6.03165 | 243564.0 | unsat | unsat |
433164991 | qf_shlid_entl/skl2-vc04.smt2 | 8318249 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.189224 | 0.308213 | 113176.0 | unsat | unsat |
433165001 | qf_shlid_entl/skl2-vc05.smt2 | 8318259 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 191.83 | 191.619 | 325692.0 | starexec-unknown | sat |
433165037 | qf_shlid_entl/skl2-vc06.smt2 | 8318295 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.058085 | 0.0960211 | 113176.0 | sat | sat |
433165018 | qf_shlid_entl/skl2-vc07.smt2 | 8318276 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069423 | 0.109129 | 113176.0 | sat | sat |
433164995 | qf_shlid_entl/skl3-vc01.smt2 | 8318253 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.038247 | 0.0576511 | 113176.0 | unsat | unsat |
433165030 | qf_shlid_entl/skl3-vc02.smt2 | 8318288 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 284.7 | 284.162 | 2390220.0 | starexec-unknown | sat |
433165012 | qf_shlid_entl/skl3-vc03.smt2 | 8318270 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.47 | 6.47992 | 241336.0 | unsat | unsat |
433164989 | qf_shlid_entl/skl3-vc04.smt2 | 8318247 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 375.6 | 374.687 | 3042788.0 | starexec-unknown | unsat |
433164998 | qf_shlid_entl/skl3-vc05.smt2 | 8318256 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 375.24 | 374.446 | 2693008.0 | starexec-unknown | unsat |
433165034 | qf_shlid_entl/skl3-vc06.smt2 | 8318292 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 373.97 | 373.247 | 2373796.0 | starexec-unknown | unsat |
433165016 | qf_shlid_entl/skl3-vc07.smt2 | 8318274 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.58 | 5.59751 | 279196.0 | unsat | unsat |
433164982 | qf_shlid_entl/skl3-vc08.smt2 | 8318240 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.65 | 5.64435 | 264796.0 | unsat | unsat |
433165006 | qf_shlid_entl/skl3-vc09.smt2 | 8318264 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.57346 | 5.60184 | 264796.0 | unsat | unsat |
433164979 | qf_shlid_entl/skl3-vc10.smt2 | 8318237 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.31 | 5.33268 | 252268.0 | unsat | unsat |
433165003 | qf_shlid_entl/skl3-vc11.smt2 | 8318261 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 478.52 | 477.719 | 3042788.0 | starexec-unknown | sat |
433165024 | qf_shlid_entl/skl3-vc12.smt2 | 8318282 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.389805 | 0.465748 | 113176.0 | sat | sat |
433165027 | qf_shlid_entl/sll-vc01.smt2 | 8318285 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 208.9 | 207.782 | 6702236.0 | starexec-unknown | sat |
433165009 | qf_shlid_entl/sll-vc02.smt2 | 8318267 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.85 | 1.93957 | 199776.0 | sat | sat |