430515278 | qf_shid_entl/01.tst.smt2 | 8318666 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.115094 | 0.238842 | 113176.0 | unsat | unsat |
430515029 | qf_shid_entl/02.tst.smt2 | 8318417 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.79 | 1.79413 | 192284.0 | unsat | unsat |
430515089 | qf_shid_entl/03.tst.smt2 | 8318477 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.074464 | 0.27491 | 113176.0 | unsat | unsat |
430515145 | qf_shid_entl/04.tst.smt2 | 8318533 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.22 | 1.29186 | 181984.0 | unsat | unsat |
430515076 | qf_shid_entl/05.tst.smt2 | 8318464 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.082303 | 0.162434 | 113176.0 | unsat | unsat |
430515255 | qf_shid_entl/06.tst.smt2 | 8318643 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.02612 | 1.09379 | 179756.0 | unsat | unsat |
430515201 | qf_shid_entl/07.tst.smt2 | 8318589 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.076923 | 0.150011 | 113176.0 | unsat | unsat |
430515198 | qf_shid_entl/08.tst.smt2 | 8318586 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.096931 | 0.152384 | 113176.0 | unsat | unsat |
430515257 | qf_shid_entl/09.tst.smt2 | 8318645 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.4 | 2.37856 | 188780.0 | unsat | unsat |
430515238 | qf_shid_entl/10.tst.smt2 | 8318626 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.189294 | 0.323066 | 113176.0 | unsat | unsat |
430515284 | qf_shid_entl/11.tst.smt2 | 8318672 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.155278 | 0.259596 | 113176.0 | unsat | unsat |
430515033 | qf_shid_entl/12.tst.smt2 | 8318421 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.150308 | 0.249933 | 113176.0 | unsat | unsat |
430515101 | qf_shid_entl/13.tst.smt2 | 8318489 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.039219 | 0.068597 | 113176.0 | unsat | unsat |
430515133 | qf_shid_entl/14.tst.smt2 | 8318521 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035483 | 0.0656251 | 113176.0 | unsat | unsat |
430515063 | qf_shid_entl/15.tst.smt2 | 8318451 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.16 | 5.08506 | 241160.0 | unsat | unsat |
430515243 | qf_shid_entl/16.tst.smt2 | 8318631 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.38 | 1.40051 | 188616.0 | unsat | unsat |
430515187 | qf_shid_entl/17.tst.smt2 | 8318575 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.07 | 5.11078 | 278752.0 | unsat | unsat |
430515188 | qf_shid_entl/18.tst.smt2 | 8318576 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.04 | 5.08442 | 278752.0 | unsat | unsat |
430515241 | qf_shid_entl/19.tst.smt2 | 8318629 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.105446 | 0.233311 | 113176.0 | unsat | unsat |
430515211 | qf_shid_entl/20.tst.smt2 | 8318599 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.59 | 0.611886 | 176868.0 | unsat | unsat |
430515300 | qf_shid_entl/21.tst.smt2 | 8318688 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.061602 | 0.241582 | 113176.0 | unsat | unsat |
430515013 | qf_shid_entl/22.tst.smt2 | 8318401 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.32 | 1.34276 | 186092.0 | unsat | unsat |
430515287 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.95 | 0.991401 | 179752.0 | unsat | unsat |
430515280 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.078957 | 0.156928 | 113176.0 | unsat | unsat |
430515163 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016112 | 0.0538341 | 113176.0 | unsat | unsat |
430515036 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052531 | 0.12048 | 113176.0 | unsat | unsat |
430515094 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.120402 | 0.239808 | 113176.0 | unsat | unsat |
430515053 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.17 | 1.20146 | 181688.0 | unsat | unsat |
430515206 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.183959 | 0.343968 | 113176.0 | unsat | unsat |
430515316 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015367 | 0.051783 | 113176.0 | unsat | unsat |
430515120 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.119735 | 0.244267 | 113176.0 | unsat | unsat |
430515078 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.132378 | 0.247341 | 113176.0 | unsat | unsat |
430515214 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.69 | 1.70733 | 188768.0 | unsat | unsat |
430515247 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.32 | 1.34851 | 181528.0 | unsat | unsat |
430515283 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035305 | 0.0964041 | 113176.0 | unsat | unsat |
430515162 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035307 | 0.0966969 | 113176.0 | unsat | unsat |
430515276 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.018782 | 0.061317 | 113176.0 | unsat | unsat |
430515084 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.037227 | 0.104318 | 113176.0 | unsat | unsat |
430515045 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.055942 | 0.136571 | 113176.0 | unsat | unsat |
430515190 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.03809 | 0.105312 | 113176.0 | unsat | unsat |
430515303 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015361 | 0.061299 | 113176.0 | sat | sat |
430515108 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015887 | 0.0583079 | 113176.0 | unsat | unsat |
430515066 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04606 | 0.113048 | 113176.0 | unsat | unsat |
430515219 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017998 | 0.061653 | 113176.0 | unsat | unsat |
430515092 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014897 | 0.0563579 | 113176.0 | unsat | unsat |
430515047 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.037691 | 0.103659 | 113176.0 | unsat | unsat |
430515183 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.05352 | 0.134455 | 113176.0 | unsat | unsat |
430515298 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.038004 | 0.104224 | 113176.0 | unsat | unsat |
430515104 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016767 | 0.062902 | 113176.0 | sat | sat |
430515060 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015579 | 0.0576151 | 113176.0 | unsat | unsat |
430515223 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.066286 | 0.160761 | 113176.0 | unsat | unsat |
430515259 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020417 | 0.065564 | 113176.0 | unsat | unsat |
430515059 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.034277 | 0.0950889 | 113176.0 | unsat | unsat |
430515178 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015142 | 0.0608739 | 113176.0 | unsat | unsat |
430515294 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.037106 | 0.104688 | 113176.0 | unsat | unsat |
430515116 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.054057 | 0.134698 | 113176.0 | unsat | unsat |
430515075 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.040694 | 0.107259 | 113176.0 | unsat | unsat |
430515197 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017378 | 0.0608911 | 113176.0 | unsat | unsat |
430515311 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.068235 | 0.161762 | 113176.0 | unsat | unsat |
430515135 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019062 | 0.0641619 | 113176.0 | unsat | unsat |
430515030 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.264926 | 0.526026 | 113176.0 | unsat | unsat |
430515229 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.096219 | 0.195746 | 113176.0 | unsat | unsat |
430515264 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.6 | 0.691335 | 175692.0 | unsat | unsat |
430515132 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.96 | 0.9737 | 178212.0 | unsat | unsat |
430515008 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.67 | 0.68737 | 175692.0 | unsat | unsat |
430515207 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.128332 | 0.252015 | 113176.0 | unsat | unsat |
430515245 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.039504 | 0.104121 | 113176.0 | unsat | unsat |
430515125 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.148832 | 0.295952 | 113176.0 | unsat | unsat |
430515225 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.63 | 3.64887 | 205084.0 | unsat | unsat |
430515067 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.057497 | 0.109439 | 113176.0 | unsat | unsat |
430515196 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 27.79 | 27.5882 | 510024.0 | unsat | unsat |
430515126 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.102052 | 0.207563 | 113176.0 | unsat | unsat |
430515233 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.51 | 3.52417 | 212192.0 | unsat | unsat |
430515199 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 15.79 | 15.857 | 337980.0 | unsat | unsat |
430515023 | qf_shid_entl/dll-vc01.smt2 | 8318411 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.024373 | 0.0511731 | 113176.0 | unsat | unsat |
430515222 | qf_shid_entl/dll-vc02.smt2 | 8318610 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.027117 | 0.05426 | 113176.0 | unsat | unsat |
430515260 | qf_shid_entl/dll-vc03.smt2 | 8318648 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.03244 | 0.0676899 | 113176.0 | unsat | unsat |
430515156 | qf_shid_entl/dll-vc04.smt2 | 8318544 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01504 | 0.032656 | 113176.0 | sat | sat |
430515032 | qf_shid_entl/dll-vc05.smt2 | 8318420 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 19.22 | 19.2713 | 196956.0 | unsat | unsat |
430515237 | qf_shid_entl/dll-vc06.smt2 | 8318625 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030796 | 0.068173 | 113176.0 | sat | sat |
430515267 | qf_shid_entl/dll-vc07.smt2 | 8318655 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.53 | 4.58812 | 175668.0 | unsat | unsat |
430515093 | qf_shid_entl/dll-vc08.smt2 | 8318481 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033069 | 0.0627451 | 113176.0 | sat | sat |
430515046 | qf_shid_entl/dll-vc09.smt2 | 8318434 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.055568 | 0.115804 | 113176.0 | unsat | unsat |
430515099 | qf_shid_entl/dll-vc10.smt2 | 8318487 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.029897 | 0.0548729 | 113176.0 | sat | sat |
430515058 | qf_shid_entl/dll-vc11.smt2 | 8318446 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 180.65 | 180.528 | 365652.0 | starexec-unknown | unsat |
430515180 | qf_shid_entl/dll-vc12.smt2 | 8318568 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026775 | 0.058706 | 113176.0 | sat | sat |
430515295 | qf_shid_entl/dll-vc13.smt2 | 8318683 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.018792 | 0.0393959 | 113176.0 | sat | sat |
430515111 | qf_shid_entl/dll-vc14.smt2 | 8318499 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017762 | 0.040637 | 113176.0 | sat | sat |
430515072 | qf_shid_entl/dll-vc15.smt2 | 8318460 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019909 | 0.0414801 | 113176.0 | unsat | unsat |
430515200 | qf_shid_entl/dll-vc16.smt2 | 8318588 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.036206 | 0.066798 | 113176.0 | sat | sat |
430515313 | qf_shid_entl/dll-vc17.smt2 | 8318701 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 15.97 | 16.0182 | 184548.0 | unsat | unsat |
430515087 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.331972 | 0.437104 | 113176.0 | unsat | unsat |
430515097 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.69 | 0.756942 | 178204.0 | unsat | unsat |
430515153 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 22.93 | 22.988 | 392224.0 | unsat | unsat |
430515144 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 31.77 | 31.4524 | 509544.0 | unsat | unsat |
430515232 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.14 | 5.10976 | 216180.0 | unsat | unsat |
430515011 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.15 | 5.10096 | 223316.0 | unsat | unsat |
430515039 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 23.36 | 23.1625 | 425508.0 | unsat | unsat |
430515050 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.076754 | 0.144382 | 113176.0 | unsat | unsat |
430515152 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059387 | 0.111214 | 113176.0 | unsat | unsat |
430515071 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.24 | 1.24798 | 183716.0 | unsat | unsat |
430515024 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.3 | 1.34009 | 183560.0 | unsat | unsat |
430515088 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.39 | 1.38555 | 186056.0 | unsat | unsat |
430515069 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.072317 | 0.131519 | 113176.0 | unsat | unsat |
430515253 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.191956 | 0.327013 | 113176.0 | unsat | unsat |
430515292 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.057336 | 0.101679 | 113176.0 | unsat | unsat |
430515098 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052482 | 0.0979469 | 113176.0 | unsat | unsat |
430515227 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059754 | 0.105685 | 113176.0 | unsat | unsat |
430515317 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.057522 | 0.103557 | 113176.0 | unsat | unsat |
430515012 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.13 | 1.17511 | 181524.0 | unsat | unsat |
430515127 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.1 | 1.16574 | 181520.0 | unsat | unsat |
430515139 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052956 | 0.102821 | 113176.0 | unsat | unsat |
430515019 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.066298 | 0.13 | 113176.0 | unsat | unsat |
430515056 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.070774 | 0.139733 | 113176.0 | unsat | unsat |
430515277 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.141167 | 0.207204 | 113176.0 | unsat | unsat |
430515042 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04164 | 0.079324 | 113176.0 | unsat | unsat |
430515205 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.10556 | 0.179725 | 113176.0 | unsat | unsat |
430515077 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014208 | 0.028071 | 113176.0 | unsat | unsat |
430515119 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013187 | 0.0303559 | 113176.0 | sat | sat |
430515288 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014406 | 0.0300359 | 113176.0 | sat | sat |
430515175 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.67 | 1.70307 | 171752.0 | unsat | unsat |
430515054 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.153676 | 0.265804 | 113176.0 | unsat | unsat |
430515095 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.100435 | 0.165443 | 113176.0 | unsat | unsat |
430515266 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.060277 | 0.0983699 | 113176.0 | unsat | unsat |
430515231 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.06318 | 0.102597 | 113176.0 | unsat | unsat |
430515114 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.44 | 3.45905 | 195564.0 | unsat | unsat |
430515305 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.13 | 4.10176 | 199880.0 | unsat | unsat |
430515118 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.26 | 5.26828 | 204712.0 | unsat | unsat |
430515310 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.24 | 5.19894 | 204688.0 | unsat | unsat |
430515185 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 51.4 | 51.3709 | 316500.0 | unsat | unsat |
430515129 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.75 | 1.80226 | 181712.0 | unsat | unsat |
430515217 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.16958 | 210044.0 | unsat | unsat |
430515016 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.21 | 5.18194 | 210044.0 | unsat | unsat |
430515174 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.14 | 2.16469 | 188744.0 | unsat | unsat |
430515293 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.83 | 5.85036 | 223436.0 | unsat | unsat |
430515037 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.7 | 0.752062 | 173976.0 | unsat | unsat |
430515164 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013162 | 0.026302 | 113176.0 | sat | sat |
430515281 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.042116 | 0.0725791 | 113176.0 | unsat | unsat |
430515106 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.057055 | 0.098836 | 113176.0 | unsat | unsat |
430515062 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.036703 | 0.0682519 | 113176.0 | unsat | unsat |
430515193 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.034647 | 0.063308 | 113176.0 | unsat | unsat |
430515202 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.073575 | 0.14116 | 113176.0 | unsat | unsat |
430515068 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.39 | 1.40958 | 181532.0 | unsat | unsat |
430515103 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.63 | 1.6878 | 183572.0 | unsat | unsat |
430515315 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.64 | 1.67876 | 183556.0 | unsat | unsat |
430515203 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.95 | 0.970664 | 176864.0 | unsat | unsat |
430515254 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.77 | 0.790788 | 175696.0 | unsat | unsat |
430515226 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.01 | 1.01009 | 176852.0 | unsat | unsat |
430515258 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.22 | 1.24239 | 178212.0 | unsat | unsat |
430515134 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.86 | 0.861394 | 175696.0 | unsat | unsat |
430515168 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.309505 | 0.532209 | 113176.0 | unsat | unsat |
430515051 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.320209 | 0.539384 | 113176.0 | unsat | unsat |
430515171 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.64164 | 176856.0 | unsat | unsat |
430515055 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.43 | 1.4355 | 186520.0 | unsat | unsat |
430515167 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.16 | 5.13156 | 216244.0 | unsat | unsat |
430515035 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.15 | 5.16518 | 210016.0 | unsat | unsat |
430515228 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.1576 | 216232.0 | unsat | unsat |
430515263 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.22 | 5.20416 | 210040.0 | unsat | unsat |
430515155 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.37 | 5.31375 | 216268.0 | unsat | unsat |
430515143 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.34 | 2.32483 | 199632.0 | unsat | unsat |
430515246 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.219543 | 0.397292 | 113176.0 | unsat | unsat |
430515017 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.215978 | 0.380668 | 113176.0 | unsat | unsat |
430515142 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.93 | 0.966628 | 181524.0 | unsat | unsat |
430515244 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.81 | 0.836649 | 179748.0 | unsat | unsat |
430515216 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.96 | 1.03693 | 181656.0 | unsat | unsat |
430515021 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.66 | 0.725997 | 174668.0 | unsat | unsat |
430515136 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.62 | 0.637791 | 173780.0 | unsat | unsat |
430515115 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.69 | 0.738711 | 174676.0 | unsat | unsat |
430515079 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.274354 | 0.476797 | 113176.0 | unsat | unsat |
430515184 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.270421 | 0.483724 | 113176.0 | unsat | unsat |
430515307 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.36 | 3.3542 | 216104.0 | unsat | unsat |
430515117 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.2 | 5.11581 | 252236.0 | unsat | unsat |
430515080 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.25 | 3.24963 | 215980.0 | unsat | unsat |
430515186 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.227934 | 0.408426 | 113176.0 | unsat | unsat |
430515309 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.13 | 5.09331 | 210020.0 | unsat | unsat |
430515128 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.06 | 5.09367 | 241476.0 | unsat | unsat |
430515074 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.82 | 0.834473 | 175692.0 | unsat | unsat |
430515224 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.32 | 1.3673 | 188752.0 | unsat | unsat |
430515057 | qf_shid_entl/lss-vc01.smt2 | 8318445 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015915 | 0.0323889 | 113176.0 | unsat | unsat |
430515172 | qf_shid_entl/lss-vc02.smt2 | 8318560 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020831 | 0.0420949 | 113176.0 | unsat | unsat |
430515285 | qf_shid_entl/lss-vc03.smt2 | 8318673 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.110831 | 0.208314 | 113176.0 | unsat | unsat |
430515239 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.12 | 5.10131 | 241348.0 | unsat | unsat |
430515146 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.668285 | 176864.0 | unsat | unsat |
430515025 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.59 | 0.608117 | 176868.0 | unsat | unsat |
430515236 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.13983 | 0.201881 | 113176.0 | unsat | unsat |
430515274 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.053083 | 0.100078 | 113176.0 | unsat | unsat |
430515148 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.072156 | 0.127888 | 113176.0 | unsat | unsat |
430515031 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.74 | 1.73573 | 189096.0 | unsat | unsat |
430515234 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.88 | 5.84491 | 252244.0 | unsat | unsat |
430515272 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.48 | 6.42578 | 252532.0 | unsat | unsat |
430515147 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.165785 | 0.277123 | 113176.0 | unsat | unsat |
430515026 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.58 | 6.54435 | 252240.0 | unsat | unsat |
430515240 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.09 | 6.03514 | 252544.0 | unsat | unsat |
430515269 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.07 | 6.04985 | 252536.0 | unsat | unsat |
430515286 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.1 | 6.06434 | 252516.0 | unsat | unsat |
430515177 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 13.07 | 13.0708 | 279152.0 | unsat | unsat |
430515038 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 35.08 | 35.0236 | 279152.0 | unsat | unsat |
430515086 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 42.43 | 42.3674 | 295704.0 | unsat | unsat |
430515291 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 31.84 | 31.7877 | 295708.0 | unsat | unsat |
430515179 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 11.9 | 11.8574 | 295716.0 | unsat | unsat |
430515043 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 26.3 | 26.2231 | 337164.0 | unsat | unsat |
430515261 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.073129 | 0.141475 | 113176.0 | unsat | unsat |
430515123 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.176244 | 0.315528 | 113176.0 | unsat | unsat |
430515010 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.054091 | 0.105795 | 113176.0 | unsat | unsat |
430515212 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.95 | 0.957351 | 176864.0 | unsat | unsat |
430515018 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.35 | 4.342 | 210020.0 | unsat | unsat |
430515270 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.837382 | 175692.0 | unsat | unsat |
430515113 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.92 | 0.932394 | 176852.0 | unsat | unsat |
430515208 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.52 | 2.53723 | 195392.0 | unsat | unsat |
430515182 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.66 | 0.725263 | 174676.0 | unsat | unsat |
430515020 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 52.42 | 51.8945 | 685684.0 | unsat | unsat |
430515218 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.05 | 5.09106 | 232024.0 | unsat | unsat |
430515248 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.15 | 5.11909 | 232028.0 | unsat | unsat |
430515141 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.23 | 5.26266 | 241808.0 | unsat | unsat |
430515112 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.16 | 5.12186 | 210016.0 | unsat | unsat |
430515302 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.09543 | 210152.0 | unsat | unsat |
430515181 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.12841 | 210020.0 | unsat | unsat |
430515081 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.3 | 5.26689 | 210304.0 | unsat | unsat |
430515138 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.43 | 4.42259 | 204600.0 | unsat | unsat |
430515251 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.29 | 5.26058 | 216244.0 | unsat | unsat |
430515213 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.48 | 5.41479 | 216244.0 | unsat | unsat |
430515022 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 54.63 | 54.5091 | 297432.0 | unsat | unsat |
430515137 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 52.49 | 52.4373 | 281876.0 | unsat | unsat |
430515250 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.75 | 8.7538 | 216244.0 | unsat | unsat |
430515210 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.74 | 5.67734 | 216248.0 | unsat | unsat |
430515014 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.49 | 5.4764 | 216268.0 | unsat | unsat |
430515140 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 52.19 | 52.0746 | 464976.0 | unsat | unsat |
430515122 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 52.56 | 52.5816 | 268132.0 | unsat | unsat |
430515070 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 53.51 | 53.4415 | 258688.0 | unsat | unsat |
430515192 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.76 | 5.73849 | 216248.0 | unsat | unsat |
430515299 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.31 | 6.24162 | 223404.0 | unsat | unsat |
430515124 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.31 | 7.29216 | 241360.0 | unsat | unsat |
430515073 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.75 | 8.68987 | 252252.0 | unsat | unsat |
430515194 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 11.1 | 11.0783 | 279160.0 | unsat | unsat |
430515296 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.071428 | 0.136777 | 113176.0 | unsat | unsat |
430515170 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.221463 | 0.376817 | 113176.0 | unsat | unsat |
430515312 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.053338 | 0.105699 | 113176.0 | unsat | unsat |
430515301 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.94 | 0.982248 | 176864.0 | unsat | unsat |
430515064 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.05 | 4.08568 | 216112.0 | unsat | unsat |
430515157 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.819665 | 175696.0 | unsat | unsat |
430515159 | qf_shid_entl/nll-vc01.smt2 | 8318547 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.070378 | 0.110705 | 113176.0 | unsat | unsat |
430515041 | qf_shid_entl/nll-vc02.smt2 | 8318429 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069656 | 0.109368 | 113176.0 | unsat | unsat |
430515085 | qf_shid_entl/nll-vc03.smt2 | 8318473 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.66 | 0.719439 | 175804.0 | unsat | unsat |
430515306 | qf_shid_entl/nll-vc04.smt2 | 8318694 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.14 | 5.19735 | 232024.0 | unsat | unsat |
430515189 | qf_shid_entl/nll-vc05.smt2 | 8318577 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.06 | 5.07541 | 231676.0 | unsat | unsat |
430515065 | qf_shid_entl/nll-vc06.smt2 | 8318453 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.02593 | 0.0499201 | 113176.0 | sat | sat |
430515110 | qf_shid_entl/nll-vc07.smt2 | 8318498 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.35 | 7.30063 | 252716.0 | unsat | unsat |
430515252 | qf_shid_entl/nll-vc08.smt2 | 8318640 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 13.95 | 13.8741 | 315880.0 | unsat | unsat |
430515220 | qf_shid_entl/nll-vc09.smt2 | 8318608 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.15 | 6.19363 | 241604.0 | unsat | unsat |
430515249 | qf_shid_entl/nll-vc10.smt2 | 8318637 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.96 | 6.90119 | 252512.0 | unsat | unsat |
430515215 | qf_shid_entl/nll-vc11.smt2 | 8318603 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.04 | 5.08382 | 231812.0 | unsat | unsat |
430515007 | qf_shid_entl/nll-vc12.smt2 | 8318395 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.5 | 3.46173 | 216172.0 | unsat | unsat |
430515130 | qf_shid_entl/nll-vc13.smt2 | 8318518 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.023222 | 0.042598 | 113176.0 | sat | sat |
430515265 | qf_shid_entl/nll-vc14.smt2 | 8318653 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.040547 | 0.0711909 | 113176.0 | sat | sat |
430515230 | qf_shid_entl/nll-vc15.smt2 | 8318618 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.021626 | 0.0382761 | 113176.0 | sat | sat |
430515027 | qf_shid_entl/nll-vc16.smt2 | 8318415 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026291 | 0.0459669 | 113176.0 | sat | sat |
430515150 | qf_shid_entl/nll-vc17.smt2 | 8318538 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 203.01 | 202.368 | 278024.0 | starexec-unknown | sat |
430515289 | qf_shid_entl/nll-vc18.smt2 | 8318677 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.054453 | 0.083078 | 113176.0 | sat | sat |
430515176 | qf_shid_entl/nll-vc19.smt2 | 8318564 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069458 | 0.100696 | 113176.0 | sat | sat |
430515107 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.7 | 1.70976 | 188612.0 | unsat | unsat |
430515100 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.73 | 1.80065 | 188708.0 | unsat | unsat |
430515221 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.08 | 5.1116 | 252472.0 | unsat | unsat |
430515109 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01127 | 0.0239311 | 113176.0 | sat | sat |
430515304 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011579 | 0.024561 | 113176.0 | unsat | unsat |
430515191 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.097137 | 0.147875 | 113176.0 | unsat | unsat |
430515044 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012079 | 0.024752 | 113176.0 | sat | sat |
430515083 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.14 | 2.19253 | 172992.0 | unsat | unsat |
430515275 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01342 | 0.026856 | 113176.0 | sat | sat |
430515161 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011189 | 0.026164 | 113176.0 | unsat | unsat |
430515105 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.023068 | 0.039837 | 113176.0 | unsat | unsat |
430515308 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.029354 | 0.048894 | 113176.0 | unsat | unsat |
430515195 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.04 | 6.04761 | 243512.0 | unsat | unsat |
430515040 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.191708 | 0.309668 | 113176.0 | unsat | unsat |
430515082 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 191.66 | 191.501 | 325692.0 | starexec-unknown | sat |
430515279 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059461 | 0.097559 | 113176.0 | sat | sat |
430515166 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069478 | 0.108202 | 113176.0 | sat | sat |
430515121 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.03796 | 0.0570589 | 113176.0 | unsat | unsat |
430515318 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 285.71 | 285.148 | 3055108.0 | starexec-unknown | sat |
430515204 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.52 | 6.48644 | 241336.0 | unsat | unsat |
430515049 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 375.77 | 374.825 | 3042788.0 | starexec-unknown | unsat |
430515096 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 374.95 | 374.228 | 2377940.0 | starexec-unknown | unsat |
430515290 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 375.3 | 374.578 | 2684768.0 | starexec-unknown | unsat |
430515173 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.61 | 5.64415 | 264804.0 | unsat | unsat |
430515028 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.61 | 5.62897 | 264796.0 | unsat | unsat |
430515149 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.61 | 5.60818 | 264796.0 | unsat | unsat |
430515034 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.26 | 5.31634 | 252268.0 | unsat | unsat |
430515158 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 478.05 | 477.274 | 3042784.0 | starexec-unknown | sat |
430515273 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.39048 | 0.464801 | 113176.0 | sat | sat |
430515151 | qf_shid_entl/sll-vc01.smt2 | 8318539 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 208.46 | 207.397 | 7654612.0 | starexec-unknown | sat |
430515262 | qf_shid_entl/sll-vc02.smt2 | 8318650 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.85 | 1.94225 | 199840.0 | sat | sat |
430515052 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.21 | 1.26493 | 189084.0 | unsat | unsat |
430515256 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 203.5 | 203.012 | 1205456.0 | starexec-unknown | unsat |
430515165 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 17.1462 | 17.1837 | 278980.0 | unsat | unsat |
430515297 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026178 | 0.119362 | 113176.0 | unsat | unsat |
430515009 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.19 | 5.21092 | 216672.0 | unsat | unsat |
430515131 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.11 | 5.12974 | 218208.0 | unsat | unsat |
430515242 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030785 | 0.125098 | 113176.0 | unsat | unsat |
430515209 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.34 | 5.37456 | 217132.0 | unsat | unsat |
430515102 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026875 | 0.122106 | 113176.0 | unsat | unsat |
430515061 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026192 | 0.118102 | 113176.0 | unsat | unsat |
430515169 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.22 | 5.23399 | 218036.0 | unsat | unsat |
430515282 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.024805 | 0.118312 | 113176.0 | unsat | unsat |
430515091 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.15 | 5.18411 | 216932.0 | unsat | unsat |
430515048 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026801 | 0.119444 | 113176.0 | unsat | unsat |
430515235 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.2 | 5.23998 | 218036.0 | unsat | unsat |
430515268 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.11 | 5.16796 | 216708.0 | unsat | unsat |
430515314 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 181.11 | 180.051 | 2585072.0 | starexec-unknown | unsat |
430515154 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 72.62 | 72.5198 | 466620.0 | starexec-unknown | unsat |
430515160 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.16 | 5.11393 | 264660.0 | unsat | unsat |
430515090 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.16 | 5.1613 | 241396.0 | unsat | unsat |
430515015 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.14 | 5.10684 | 241396.0 | unsat | unsat |
430515271 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.12 | 5.14092 | 264796.0 | unsat | unsat |