433329613 | qf_shlid_entl/dll-vc01.smt2 | 8318278 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.036528 | 0.035599 | 113176.0 | starexec-unknown | unsat |
433329571 | qf_shlid_entl/dll-vc02.smt2 | 8318236 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.03844 | 0.036464 | 113176.0 | starexec-unknown | unsat |
433329595 | qf_shlid_entl/dll-vc03.smt2 | 8318260 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034501 | 0.033181 | 113176.0 | starexec-unknown | unsat |
433329619 | qf_shlid_entl/dll-vc04.smt2 | 8318284 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034407 | 0.0331369 | 113176.0 | starexec-unknown | sat |
433329615 | qf_shlid_entl/dll-vc05.smt2 | 8318280 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.026604 | 0.025459 | 113176.0 | unsat | unsat |
433329576 | qf_shlid_entl/dll-vc06.smt2 | 8318241 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035423 | 0.034163 | 113176.0 | starexec-unknown | sat |
433329600 | qf_shlid_entl/dll-vc07.smt2 | 8318265 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035007 | 0.033732 | 113176.0 | starexec-unknown | unsat |
433329624 | qf_shlid_entl/dll-vc08.smt2 | 8318289 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035706 | 0.0344039 | 113176.0 | starexec-unknown | sat |
433329606 | qf_shlid_entl/dll-vc09.smt2 | 8318271 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034822 | 0.033641 | 113176.0 | starexec-unknown | unsat |
433329622 | qf_shlid_entl/dll-vc10.smt2 | 8318287 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.033548 | 0.032277 | 113176.0 | sat | sat |
433329603 | qf_shlid_entl/dll-vc11.smt2 | 8318268 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.026341 | 0.0251749 | 113176.0 | unsat | unsat |
433329578 | qf_shlid_entl/dll-vc12.smt2 | 8318243 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034736 | 0.033497 | 113176.0 | starexec-unknown | sat |
433329586 | qf_shlid_entl/dll-vc13.smt2 | 8318251 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035365 | 0.0341119 | 113176.0 | starexec-unknown | sat |
433329628 | qf_shlid_entl/dll-vc14.smt2 | 8318293 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034312 | 0.032973 | 113176.0 | sat | sat |
433329610 | qf_shlid_entl/dll-vc15.smt2 | 8318275 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034275 | 0.0329719 | 113176.0 | starexec-unknown | unsat |
433329583 | qf_shlid_entl/dll-vc16.smt2 | 8318248 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.038763 | 0.0374509 | 113176.0 | starexec-unknown | sat |
433329592 | qf_shlid_entl/dll-vc17.smt2 | 8318257 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.036591 | 0.035376 | 113176.0 | starexec-unknown | unsat |
433329604 | qf_shlid_entl/lss-vc01.smt2 | 8318269 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.007241 | 0.00975198 | 0.0 | starexec-unknown | unsat |
433329580 | qf_shlid_entl/lss-vc02.smt2 | 8318245 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.00731 | 0.017323 | 0.0 | starexec-unknown | unsat |
433329589 | qf_shlid_entl/lss-vc03.smt2 | 8318254 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.007358 | 0.011359 | 0.0 | starexec-unknown | unsat |
433329581 | qf_shlid_entl/nll-vc01.smt2 | 8318246 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034543 | 0.033303 | 113176.0 | unsat | unsat |
433329608 | qf_shlid_entl/nll-vc02.smt2 | 8318273 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034866 | 0.033606 | 113176.0 | unsat | unsat |
433329625 | qf_shlid_entl/nll-vc03.smt2 | 8318290 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035218 | 0.0339129 | 113176.0 | unsat | unsat |
433329593 | qf_shlid_entl/nll-vc04.smt2 | 8318258 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.036568 | 0.0352849 | 113176.0 | unsat | unsat |
433329585 | qf_shlid_entl/nll-vc05.smt2 | 8318250 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034041 | 0.0327909 | 113176.0 | unsat | unsat |
433329612 | qf_shlid_entl/nll-vc06.smt2 | 8318277 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035474 | 0.0342001 | 113176.0 | sat | sat |
433329629 | qf_shlid_entl/nll-vc07.smt2 | 8318294 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.036281 | 0.0428441 | 113176.0 | unsat | unsat |
433329597 | qf_shlid_entl/nll-vc08.smt2 | 8318262 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035141 | 0.033879 | 113176.0 | unsat | unsat |
433329573 | qf_shlid_entl/nll-vc09.smt2 | 8318238 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035611 | 0.0343321 | 113176.0 | unsat | unsat |
433329598 | qf_shlid_entl/nll-vc10.smt2 | 8318263 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034298 | 0.033082 | 113176.0 | unsat | unsat |
433329574 | qf_shlid_entl/nll-vc11.smt2 | 8318239 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034289 | 0.033084 | 113176.0 | unsat | unsat |
433329614 | qf_shlid_entl/nll-vc12.smt2 | 8318279 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.03511 | 0.033824 | 113176.0 | unsat | unsat |
433329618 | qf_shlid_entl/nll-vc13.smt2 | 8318283 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034286 | 0.0552421 | 113176.0 | sat | sat |
433329601 | qf_shlid_entl/nll-vc14.smt2 | 8318266 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.034138 | 0.0328341 | 113176.0 | sat | sat |
433329577 | qf_shlid_entl/nll-vc15.smt2 | 8318242 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.036786 | 0.0354191 | 113176.0 | sat | sat |
433329616 | qf_shlid_entl/nll-vc16.smt2 | 8318281 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.03547 | 0.034238 | 113176.0 | sat | sat |
433329621 | qf_shlid_entl/nll-vc17.smt2 | 8318286 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.038078 | 0.0368499 | 113176.0 | sat | sat |
433329587 | qf_shlid_entl/nll-vc18.smt2 | 8318252 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.037695 | 0.03641 | 113176.0 | sat | sat |
433329579 | qf_shlid_entl/nll-vc19.smt2 | 8318244 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.036993 | 0.035766 | 113176.0 | sat | sat |
433329590 | qf_shlid_entl/skl2-vc01.smt2 | 8318255 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035762 | 0.0344331 | 113176.0 | sat | unsat |
433329626 | qf_shlid_entl/skl2-vc02.smt2 | 8318291 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.036656 | 0.035312 | 113176.0 | sat | unsat |
433329607 | qf_shlid_entl/skl2-vc03.smt2 | 8318272 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.038821 | 0.037581 | 113176.0 | sat | unsat |
433329584 | qf_shlid_entl/skl2-vc04.smt2 | 8318249 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.03509 | 0.033794 | 113176.0 | sat | unsat |
433329594 | qf_shlid_entl/skl2-vc05.smt2 | 8318259 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.039115 | 0.037811 | 113176.0 | starexec-unknown | sat |
433329630 | qf_shlid_entl/skl2-vc06.smt2 | 8318295 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.037595 | 0.0363369 | 113176.0 | starexec-unknown | sat |
433329611 | qf_shlid_entl/skl2-vc07.smt2 | 8318276 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.039313 | 0.038145 | 113176.0 | starexec-unknown | sat |
433329588 | qf_shlid_entl/skl3-vc01.smt2 | 8318253 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035302 | 0.03406 | 113176.0 | sat | unsat |
433329623 | qf_shlid_entl/skl3-vc02.smt2 | 8318288 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.035229 | 0.0340549 | 113176.0 | sat | sat |
433329605 | qf_shlid_entl/skl3-vc03.smt2 | 8318270 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.037617 | 0.036332 | 113176.0 | sat | unsat |
433329582 | qf_shlid_entl/skl3-vc04.smt2 | 8318247 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.065452 | 0.06423 | 113176.0 | sat | unsat |
433329591 | qf_shlid_entl/skl3-vc05.smt2 | 8318256 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.069814 | 0.068564 | 113176.0 | sat | unsat |
433329627 | qf_shlid_entl/skl3-vc06.smt2 | 8318292 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.069803 | 0.068671 | 113176.0 | sat | unsat |
433329609 | qf_shlid_entl/skl3-vc07.smt2 | 8318274 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.05815 | 0.056914 | 113176.0 | sat | unsat |
433329575 | qf_shlid_entl/skl3-vc08.smt2 | 8318240 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.059468 | 0.058134 | 113176.0 | sat | unsat |
433329599 | qf_shlid_entl/skl3-vc09.smt2 | 8318264 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.059993 | 0.058789 | 113176.0 | sat | unsat |
433329572 | qf_shlid_entl/skl3-vc10.smt2 | 8318237 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.036979 | 0.0357021 | 113176.0 | sat | unsat |
433329596 | qf_shlid_entl/skl3-vc11.smt2 | 8318261 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.091127 | 0.0898561 | 113176.0 | starexec-unknown | sat |
433329617 | qf_shlid_entl/skl3-vc12.smt2 | 8318282 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.122526 | 0.121264 | 113176.0 | sat | sat |
433329620 | qf_shlid_entl/sll-vc01.smt2 | 8318285 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.190749 | 0.189657 | 113176.0 | sat | sat |
433329602 | qf_shlid_entl/sll-vc02.smt2 | 8318267 | SPEN19.2 | 22729 | qf_shlid | 326785 | complete | 0.172391 | 0.171086 | 113176.0 | sat | sat |