433161972 | qf_shid_entl/01.tst.smt2 | 8318666 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.314802 | 0.320023 | 113176.0 | starexec-unknown | unsat |
433161723 | qf_shid_entl/02.tst.smt2 | 8318417 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.713787 | 0.704587 | 414620.0 | starexec-unknown | unsat |
433161783 | qf_shid_entl/03.tst.smt2 | 8318477 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.36236 | 0.364797 | 113176.0 | starexec-unknown | unsat |
433161839 | qf_shid_entl/04.tst.smt2 | 8318533 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.311835 | 0.375099 | 113176.0 | unsat | unsat |
433161770 | qf_shid_entl/05.tst.smt2 | 8318464 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.354556 | 0.353203 | 113176.0 | starexec-unknown | unsat |
433161949 | qf_shid_entl/06.tst.smt2 | 8318643 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.466932 | 0.469039 | 113176.0 | unsat | unsat |
433161895 | qf_shid_entl/07.tst.smt2 | 8318589 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.297356 | 0.288323 | 113176.0 | starexec-unknown | unsat |
433161892 | qf_shid_entl/08.tst.smt2 | 8318586 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.429219 | 0.420214 | 113176.0 | starexec-unknown | unsat |
433161951 | qf_shid_entl/09.tst.smt2 | 8318645 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.501474 | 0.492561 | 113176.0 | starexec-unknown | unsat |
433161932 | qf_shid_entl/10.tst.smt2 | 8318626 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.296044 | 0.334302 | 113176.0 | unsat | unsat |
433161978 | qf_shid_entl/11.tst.smt2 | 8318672 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.297666 | 0.288721 | 113176.0 | unsat | unsat |
433161727 | qf_shid_entl/12.tst.smt2 | 8318421 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.305876 | 0.309696 | 113176.0 | unsat | unsat |
433161795 | qf_shid_entl/13.tst.smt2 | 8318489 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.322568 | 0.324727 | 113176.0 | unsat | unsat |
433161827 | qf_shid_entl/14.tst.smt2 | 8318521 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.323099 | 0.331962 | 113176.0 | unsat | unsat |
433161757 | qf_shid_entl/15.tst.smt2 | 8318451 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.102 | 1.17808 | 414520.0 | unsat | unsat |
433161937 | qf_shid_entl/16.tst.smt2 | 8318631 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.38975 | 0.41967 | 113176.0 | unsat | unsat |
433161881 | qf_shid_entl/17.tst.smt2 | 8318575 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.525578 | 0.546836 | 113176.0 | unsat | unsat |
433161882 | qf_shid_entl/18.tst.smt2 | 8318576 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.391878 | 0.395652 | 113176.0 | unsat | unsat |
433161935 | qf_shid_entl/19.tst.smt2 | 8318629 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288423 | 0.280854 | 113176.0 | unsat | unsat |
433161905 | qf_shid_entl/20.tst.smt2 | 8318599 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.448564 | 0.440016 | 113176.0 | starexec-unknown | unsat |
433161994 | qf_shid_entl/21.tst.smt2 | 8318688 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287111 | 0.278755 | 113176.0 | starexec-unknown | unsat |
433161707 | qf_shid_entl/22.tst.smt2 | 8318401 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.355305 | 0.344304 | 113176.0 | starexec-unknown | unsat |
433161981 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289425 | 0.281365 | 113176.0 | starexec-unknown | unsat |
433161974 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288736 | 0.280229 | 113176.0 | starexec-unknown | unsat |
433161857 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287571 | 0.280163 | 113176.0 | starexec-unknown | unsat |
433161730 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286172 | 0.278296 | 113176.0 | starexec-unknown | unsat |
433161788 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286229 | 0.280578 | 113176.0 | starexec-unknown | unsat |
433161747 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28551 | 0.279678 | 113176.0 | starexec-unknown | unsat |
433161900 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28703 | 0.279721 | 113176.0 | starexec-unknown | unsat |
433162010 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287868 | 0.281764 | 113176.0 | starexec-unknown | unsat |
433161814 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288044 | 0.282045 | 113176.0 | starexec-unknown | unsat |
433161772 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.284675 | 0.27892 | 113176.0 | starexec-unknown | unsat |
433161908 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288497 | 0.280988 | 113176.0 | starexec-unknown | unsat |
433161941 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288625 | 0.282902 | 113176.0 | starexec-unknown | unsat |
433161977 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288042 | 0.279192 | 113176.0 | starexec-unknown | unsat |
433161856 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289647 | 0.280593 | 113176.0 | starexec-unknown | unsat |
433161970 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288177 | 0.282432 | 113176.0 | starexec-unknown | unsat |
433161778 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286874 | 0.280969 | 113176.0 | starexec-unknown | unsat |
433161739 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286505 | 0.279091 | 113176.0 | starexec-unknown | unsat |
433161884 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286043 | 0.28025 | 113176.0 | starexec-unknown | unsat |
433161997 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286773 | 0.279536 | 113176.0 | starexec-unknown | sat |
433161802 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287873 | 0.28042 | 113176.0 | starexec-unknown | unsat |
433161760 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287137 | 0.301991 | 113176.0 | starexec-unknown | unsat |
433161913 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288255 | 0.281409 | 113176.0 | starexec-unknown | unsat |
433161786 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288776 | 0.282758 | 113176.0 | starexec-unknown | unsat |
433161741 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28591 | 0.279957 | 113176.0 | starexec-unknown | unsat |
433161877 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288154 | 0.280286 | 113176.0 | starexec-unknown | unsat |
433161992 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.284787 | 0.27892 | 113176.0 | starexec-unknown | unsat |
433161798 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289763 | 0.28235 | 113176.0 | starexec-unknown | sat |
433161754 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291324 | 0.284227 | 113176.0 | starexec-unknown | unsat |
433161917 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28862 | 0.281088 | 113176.0 | starexec-unknown | unsat |
433161953 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286813 | 0.279531 | 113176.0 | starexec-unknown | unsat |
433161753 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288417 | 0.279798 | 113176.0 | starexec-unknown | unsat |
433161872 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28813 | 0.283566 | 226356.0 | starexec-unknown | unsat |
433161988 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287263 | 0.281633 | 113176.0 | starexec-unknown | unsat |
433161810 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288414 | 0.281014 | 113176.0 | starexec-unknown | unsat |
433161769 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286511 | 0.280996 | 113176.0 | starexec-unknown | unsat |
433161891 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293371 | 0.286128 | 113176.0 | starexec-unknown | unsat |
433162005 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28915 | 0.281587 | 113176.0 | starexec-unknown | unsat |
433161829 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287043 | 0.279675 | 113176.0 | starexec-unknown | unsat |
433161724 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287291 | 0.27875 | 113176.0 | starexec-unknown | unsat |
433161923 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288495 | 0.282122 | 113176.0 | starexec-unknown | unsat |
433161958 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.284874 | 0.278955 | 113176.0 | starexec-unknown | unsat |
433161826 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286073 | 0.278594 | 113176.0 | starexec-unknown | unsat |
433161702 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28547 | 0.279225 | 113176.0 | starexec-unknown | unsat |
433161901 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286275 | 0.278906 | 113176.0 | starexec-unknown | unsat |
433161939 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28906 | 0.281137 | 113176.0 | starexec-unknown | unsat |
433161819 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288534 | 0.281442 | 113176.0 | starexec-unknown | unsat |
433161919 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.317737 | 0.430825 | 113176.0 | unsat | unsat |
433161761 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.31701 | 0.353229 | 113176.0 | unsat | unsat |
433161890 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.646387 | 0.649965 | 414544.0 | unsat | unsat |
433161820 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.331758 | 0.376856 | 113176.0 | unsat | unsat |
433161927 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.372421 | 0.387886 | 113176.0 | unsat | unsat |
433161893 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 14.5383 | 14.8279 | 580508.0 | unsat | unsat |
433161717 | qf_shid_entl/dll-vc01.smt2 | 8318411 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291951 | 0.302737 | 113176.0 | unsat | unsat |
433161916 | qf_shid_entl/dll-vc02.smt2 | 8318610 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288796 | 0.279865 | 113176.0 | unsat | unsat |
433161954 | qf_shid_entl/dll-vc03.smt2 | 8318648 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290997 | 0.281885 | 113176.0 | unsat | unsat |
433161850 | qf_shid_entl/dll-vc04.smt2 | 8318544 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.303648 | 0.292965 | 113176.0 | starexec-unknown | sat |
433161726 | qf_shid_entl/dll-vc05.smt2 | 8318420 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290392 | 0.281345 | 113176.0 | starexec-unknown | unsat |
433161931 | qf_shid_entl/dll-vc06.smt2 | 8318625 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.371189 | 0.363225 | 113176.0 | starexec-unknown | sat |
433161961 | qf_shid_entl/dll-vc07.smt2 | 8318655 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288626 | 0.308848 | 113176.0 | starexec-unknown | unsat |
433161787 | qf_shid_entl/dll-vc08.smt2 | 8318481 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.352363 | 0.397554 | 113176.0 | starexec-unknown | sat |
433161740 | qf_shid_entl/dll-vc09.smt2 | 8318434 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.305467 | 0.296179 | 113176.0 | starexec-unknown | unsat |
433161793 | qf_shid_entl/dll-vc10.smt2 | 8318487 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.340538 | 0.361297 | 113176.0 | starexec-unknown | sat |
433161752 | qf_shid_entl/dll-vc11.smt2 | 8318446 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289955 | 0.280951 | 113176.0 | starexec-unknown | unsat |
433161874 | qf_shid_entl/dll-vc12.smt2 | 8318568 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.372333 | 0.362888 | 113176.0 | starexec-unknown | sat |
433161989 | qf_shid_entl/dll-vc13.smt2 | 8318683 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.370612 | 0.361683 | 113176.0 | starexec-unknown | sat |
433161805 | qf_shid_entl/dll-vc14.smt2 | 8318499 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292914 | 0.284055 | 113176.0 | starexec-unknown | sat |
433161766 | qf_shid_entl/dll-vc15.smt2 | 8318460 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289601 | 0.304996 | 113176.0 | unsat | unsat |
433161894 | qf_shid_entl/dll-vc16.smt2 | 8318588 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292529 | 0.283855 | 113176.0 | starexec-unknown | sat |
433162007 | qf_shid_entl/dll-vc17.smt2 | 8318701 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.368972 | 0.360161 | 113176.0 | starexec-unknown | unsat |
433161781 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.324032 | 0.390887 | 113176.0 | unsat | unsat |
433161791 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.324397 | 0.332639 | 113176.0 | unsat | unsat |
433161847 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 29.0368 | 29.2623 | 633436.0 | unsat | unsat |
433161838 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.318852 | 0.551129 | 414756.0 | unsat | unsat |
433161926 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.317907 | 0.324326 | 113176.0 | unsat | unsat |
433161705 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.314829 | 0.321222 | 113176.0 | unsat | unsat |
433161733 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.31509 | 0.338555 | 113176.0 | unsat | unsat |
433161744 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.379203 | 0.536945 | 113176.0 | starexec-unknown | unsat |
433161846 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.311007 | 0.370846 | 113176.0 | starexec-unknown | unsat |
433161765 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.313983 | 0.317076 | 113176.0 | unsat | unsat |
433161718 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.958992 | 1.00449 | 414756.0 | unsat | unsat |
433161782 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.317438 | 0.448415 | 113176.0 | unsat | unsat |
433161763 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.372302 | 0.376892 | 113176.0 | unsat | unsat |
433161947 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.315599 | 0.417632 | 113176.0 | unsat | unsat |
433161986 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.370921 | 0.376644 | 113176.0 | starexec-unknown | unsat |
433161792 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.371034 | 0.417052 | 113176.0 | starexec-unknown | unsat |
433161921 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.379121 | 0.379807 | 113176.0 | starexec-unknown | unsat |
433162011 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.374046 | 0.393488 | 113176.0 | starexec-unknown | unsat |
433161706 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.313487 | 0.367114 | 113176.0 | unsat | unsat |
433161821 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.549546 | 0.540295 | 113176.0 | starexec-unknown | unsat |
433161833 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.315398 | 0.400011 | 113176.0 | unsat | unsat |
433161713 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29414 | 0.285043 | 113176.0 | starexec-unknown | unsat |
433161750 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.59443 | 0.622764 | 414544.0 | starexec-unknown | unsat |
433161971 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.403326 | 0.394677 | 113176.0 | starexec-unknown | unsat |
433161736 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.31934 | 0.385426 | 113176.0 | unsat | unsat |
433161899 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287758 | 0.278618 | 113176.0 | starexec-unknown | unsat |
433161771 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289321 | 0.280428 | 113176.0 | starexec-unknown | unsat |
433161813 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28984 | 0.282305 | 113176.0 | starexec-unknown | sat |
433161982 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288612 | 0.279551 | 113176.0 | starexec-unknown | sat |
433161869 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291117 | 0.281526 | 113176.0 | starexec-unknown | unsat |
433161748 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288427 | 0.279363 | 113176.0 | starexec-unknown | unsat |
433161789 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289736 | 0.280668 | 113176.0 | starexec-unknown | unsat |
433161960 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286518 | 0.277947 | 113176.0 | starexec-unknown | unsat |
433161925 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288411 | 0.279358 | 113176.0 | starexec-unknown | unsat |
433161808 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287219 | 0.278448 | 113176.0 | starexec-unknown | unsat |
433161999 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288907 | 0.279669 | 113176.0 | starexec-unknown | unsat |
433161812 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287265 | 0.278221 | 113176.0 | starexec-unknown | unsat |
433162004 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289281 | 0.280282 | 113176.0 | starexec-unknown | unsat |
433161879 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286107 | 0.277204 | 113176.0 | starexec-unknown | unsat |
433161823 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287851 | 0.281038 | 113176.0 | starexec-unknown | unsat |
433161911 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288223 | 0.280538 | 113176.0 | starexec-unknown | unsat |
433161710 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289267 | 0.280497 | 113176.0 | starexec-unknown | unsat |
433161868 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291645 | 0.282102 | 113176.0 | starexec-unknown | unsat |
433161987 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288755 | 0.281321 | 113176.0 | starexec-unknown | unsat |
433161731 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289622 | 0.280307 | 113176.0 | starexec-unknown | unsat |
433161858 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287232 | 0.278351 | 113176.0 | starexec-unknown | sat |
433161975 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289043 | 0.279962 | 113176.0 | starexec-unknown | unsat |
433161800 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289566 | 0.280737 | 113176.0 | starexec-unknown | unsat |
433161756 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288728 | 0.304192 | 113176.0 | starexec-unknown | unsat |
433161887 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288648 | 0.279986 | 113176.0 | starexec-unknown | unsat |
433161896 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290273 | 0.281114 | 113176.0 | starexec-unknown | unsat |
433161762 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289143 | 0.280508 | 113176.0 | starexec-unknown | unsat |
433161797 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288472 | 0.326142 | 113176.0 | starexec-unknown | unsat |
433162009 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28836 | 0.279795 | 113176.0 | starexec-unknown | unsat |
433161897 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290764 | 0.281697 | 113176.0 | starexec-unknown | unsat |
433161948 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289263 | 0.280071 | 113176.0 | starexec-unknown | unsat |
433161920 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290638 | 0.28183 | 113176.0 | starexec-unknown | unsat |
433161952 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286875 | 0.278076 | 113176.0 | starexec-unknown | unsat |
433161828 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287021 | 0.278354 | 113176.0 | starexec-unknown | unsat |
433161862 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290729 | 0.281612 | 113176.0 | starexec-unknown | unsat |
433161745 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288143 | 0.279521 | 113176.0 | starexec-unknown | unsat |
433161865 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291155 | 0.283553 | 113176.0 | starexec-unknown | unsat |
433161749 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288391 | 0.280761 | 113176.0 | starexec-unknown | unsat |
433161861 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28703 | 0.278244 | 113176.0 | starexec-unknown | unsat |
433161729 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288759 | 0.28013 | 113176.0 | starexec-unknown | unsat |
433161922 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291133 | 0.281931 | 113176.0 | starexec-unknown | unsat |
433161957 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288522 | 0.279392 | 113176.0 | starexec-unknown | unsat |
433161849 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289308 | 0.280523 | 113176.0 | starexec-unknown | unsat |
433161837 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290533 | 0.281624 | 113176.0 | starexec-unknown | unsat |
433161940 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287556 | 0.27849 | 113176.0 | starexec-unknown | unsat |
433161711 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290559 | 0.281518 | 113176.0 | starexec-unknown | unsat |
433161836 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.295511 | 0.322758 | 113176.0 | starexec-unknown | unsat |
433161938 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292151 | 0.283008 | 113176.0 | starexec-unknown | unsat |
433161910 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287712 | 0.279057 | 113176.0 | starexec-unknown | unsat |
433161715 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290184 | 0.281863 | 113176.0 | starexec-unknown | unsat |
433161830 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289204 | 0.280323 | 113176.0 | starexec-unknown | unsat |
433161809 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288653 | 0.27945 | 113176.0 | starexec-unknown | unsat |
433161773 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288184 | 0.279036 | 113176.0 | starexec-unknown | unsat |
433161878 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287357 | 0.27837 | 113176.0 | starexec-unknown | unsat |
433162001 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289906 | 0.280933 | 113176.0 | starexec-unknown | unsat |
433161811 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289323 | 0.280266 | 113176.0 | starexec-unknown | unsat |
433161774 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29083 | 0.281464 | 113176.0 | starexec-unknown | unsat |
433161880 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288479 | 0.280674 | 113176.0 | starexec-unknown | unsat |
433162003 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288343 | 0.279404 | 113176.0 | starexec-unknown | unsat |
433161822 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289443 | 0.280698 | 113176.0 | starexec-unknown | unsat |
433161768 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290629 | 0.283247 | 113176.0 | starexec-unknown | unsat |
433161918 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291133 | 0.283799 | 113176.0 | starexec-unknown | unsat |
433161751 | qf_shid_entl/lss-vc01.smt2 | 8318445 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.303618 | 0.325828 | 113176.0 | unsat | unsat |
433161866 | qf_shid_entl/lss-vc02.smt2 | 8318560 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.305643 | 0.302386 | 113176.0 | unsat | unsat |
433161979 | qf_shid_entl/lss-vc03.smt2 | 8318673 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.558935 | 0.560076 | 414544.0 | unsat | unsat |
433161933 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291742 | 0.281423 | 113176.0 | starexec-unknown | unsat |
433161840 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292057 | 0.282971 | 113176.0 | starexec-unknown | unsat |
433161719 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289416 | 0.280655 | 113176.0 | starexec-unknown | unsat |
433161930 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292144 | 0.283255 | 113176.0 | starexec-unknown | unsat |
433161968 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289222 | 0.28175 | 113176.0 | starexec-unknown | unsat |
433161842 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289836 | 0.280759 | 113176.0 | starexec-unknown | unsat |
433161725 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286437 | 0.279097 | 113176.0 | starexec-unknown | unsat |
433161928 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293504 | 0.286244 | 113176.0 | starexec-unknown | unsat |
433161966 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288957 | 0.281576 | 113176.0 | starexec-unknown | unsat |
433161841 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289906 | 0.281109 | 113176.0 | starexec-unknown | unsat |
433161720 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288818 | 0.279449 | 113176.0 | starexec-unknown | unsat |
433161934 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28857 | 0.280987 | 113176.0 | starexec-unknown | unsat |
433161963 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288038 | 0.280613 | 113176.0 | starexec-unknown | unsat |
433161980 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287352 | 0.279915 | 113176.0 | starexec-unknown | unsat |
433161871 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289168 | 0.280146 | 113176.0 | starexec-unknown | unsat |
433161732 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289587 | 0.280931 | 113176.0 | starexec-unknown | unsat |
433161780 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292376 | 0.28335 | 113176.0 | starexec-unknown | unsat |
433161985 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289194 | 0.280218 | 113176.0 | starexec-unknown | unsat |
433161873 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289782 | 0.281404 | 113176.0 | starexec-unknown | unsat |
433161737 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293502 | 0.28434 | 113176.0 | starexec-unknown | unsat |
433161955 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.357473 | 0.351955 | 113176.0 | starexec-unknown | unsat |
433161817 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.362644 | 0.372001 | 113176.0 | starexec-unknown | unsat |
433161704 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.309285 | 0.305863 | 113176.0 | unsat | unsat |
433161906 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.506268 | 0.502765 | 113176.0 | unsat | unsat |
433161712 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.586597 | 0.589977 | 414544.0 | unsat | unsat |
433161964 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.626953 | 0.622515 | 414288.0 | unsat | unsat |
433161807 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.613911 | 0.61381 | 414756.0 | unsat | unsat |
433161902 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.639705 | 0.73741 | 414756.0 | unsat | unsat |
433161876 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.541689 | 0.537586 | 113176.0 | unsat | unsat |
433161714 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.602006 | 0.593057 | 414544.0 | starexec-unknown | unsat |
433161912 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.649832 | 0.641467 | 414544.0 | starexec-unknown | unsat |
433161942 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.355236 | 0.346034 | 113176.0 | starexec-unknown | unsat |
433161835 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.353972 | 0.345137 | 113176.0 | starexec-unknown | unsat |
433161806 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.564058 | 0.554661 | 113176.0 | starexec-unknown | unsat |
433161996 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.556635 | 0.547779 | 414288.0 | starexec-unknown | unsat |
433161875 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.354005 | 0.344932 | 113176.0 | starexec-unknown | unsat |
433161775 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.352417 | 0.343399 | 113176.0 | starexec-unknown | unsat |
433161832 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289751 | 0.282153 | 113176.0 | starexec-unknown | unsat |
433161945 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287676 | 0.278605 | 113176.0 | starexec-unknown | unsat |
433161907 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287342 | 0.278188 | 113176.0 | starexec-unknown | unsat |
433161716 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287862 | 0.280403 | 113176.0 | starexec-unknown | unsat |
433161831 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290651 | 0.283306 | 113176.0 | starexec-unknown | unsat |
433161944 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291276 | 0.282227 | 113176.0 | starexec-unknown | unsat |
433161904 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291143 | 0.282756 | 113176.0 | starexec-unknown | unsat |
433161708 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288621 | 0.281075 | 113176.0 | starexec-unknown | unsat |
433161834 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287568 | 0.279901 | 113176.0 | starexec-unknown | unsat |
433161816 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288111 | 0.280597 | 113176.0 | starexec-unknown | unsat |
433161764 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287828 | 0.280825 | 113176.0 | starexec-unknown | unsat |
433161886 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290265 | 0.28149 | 113176.0 | starexec-unknown | unsat |
433161993 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290532 | 0.281678 | 113176.0 | starexec-unknown | unsat |
433161818 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291363 | 0.282188 | 113176.0 | starexec-unknown | unsat |
433161767 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287142 | 0.278331 | 113176.0 | starexec-unknown | unsat |
433161888 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28901 | 0.280781 | 113176.0 | starexec-unknown | unsat |
433161990 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.354952 | 0.353173 | 113176.0 | starexec-unknown | unsat |
433161864 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.35469 | 0.361232 | 113176.0 | starexec-unknown | unsat |
433162006 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.305745 | 0.300457 | 113176.0 | unsat | unsat |
433161995 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.535259 | 0.545879 | 414612.0 | unsat | unsat |
433161758 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.536536 | 0.575109 | 113176.0 | unsat | unsat |
433161851 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.737406 | 0.747747 | 414756.0 | unsat | unsat |
433161853 | qf_shid_entl/nll-vc01.smt2 | 8318547 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.351882 | 0.343138 | 113176.0 | starexec-unknown | unsat |
433161735 | qf_shid_entl/nll-vc02.smt2 | 8318429 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.353088 | 0.355886 | 113176.0 | starexec-unknown | unsat |
433161779 | qf_shid_entl/nll-vc03.smt2 | 8318473 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.1015 | 1.09253 | 414756.0 | starexec-unknown | unsat |
433162000 | qf_shid_entl/nll-vc04.smt2 | 8318694 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.417542 | 0.40837 | 113176.0 | starexec-unknown | unsat |
433161883 | qf_shid_entl/nll-vc05.smt2 | 8318577 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291965 | 0.283479 | 113176.0 | starexec-unknown | unsat |
433161759 | qf_shid_entl/nll-vc06.smt2 | 8318453 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.34941 | 0.340768 | 113176.0 | starexec-unknown | sat |
433161804 | qf_shid_entl/nll-vc07.smt2 | 8318498 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.326533 | 0.357555 | 113176.0 | starexec-unknown | unsat |
433161946 | qf_shid_entl/nll-vc08.smt2 | 8318640 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.294392 | 0.285541 | 113176.0 | starexec-unknown | unsat |
433161914 | qf_shid_entl/nll-vc09.smt2 | 8318608 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29116 | 0.282123 | 113176.0 | starexec-unknown | unsat |
433161943 | qf_shid_entl/nll-vc10.smt2 | 8318637 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292391 | 0.283476 | 113176.0 | starexec-unknown | unsat |
433161909 | qf_shid_entl/nll-vc11.smt2 | 8318603 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.296088 | 0.287732 | 113176.0 | starexec-unknown | unsat |
433161701 | qf_shid_entl/nll-vc12.smt2 | 8318395 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290468 | 0.284866 | 113176.0 | starexec-unknown | unsat |
433161824 | qf_shid_entl/nll-vc13.smt2 | 8318518 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290887 | 0.281721 | 113176.0 | starexec-unknown | sat |
433161959 | qf_shid_entl/nll-vc14.smt2 | 8318653 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.294091 | 0.284853 | 113176.0 | starexec-unknown | sat |
433161924 | qf_shid_entl/nll-vc15.smt2 | 8318618 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290421 | 0.28179 | 113176.0 | starexec-unknown | sat |
433161721 | qf_shid_entl/nll-vc16.smt2 | 8318415 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.294709 | 0.285744 | 113176.0 | starexec-unknown | sat |
433161844 | qf_shid_entl/nll-vc17.smt2 | 8318538 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.391615 | 0.389622 | 113176.0 | starexec-unknown | sat |
433161983 | qf_shid_entl/nll-vc18.smt2 | 8318677 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.416944 | 0.407892 | 113176.0 | starexec-unknown | sat |
433161870 | qf_shid_entl/nll-vc19.smt2 | 8318564 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293433 | 0.283957 | 113176.0 | starexec-unknown | sat |
433161801 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.333957 | 0.383114 | 113176.0 | unsat | unsat |
433161794 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287398 | 0.315067 | 113176.0 | unsat | unsat |
433161915 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.302214 | 0.291496 | 113176.0 | unsat | unsat |
433161803 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291208 | 0.282028 | 113176.0 | starexec-unknown | sat |
433161998 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287564 | 0.280244 | 113176.0 | starexec-unknown | unsat |
433161885 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288152 | 0.279101 | 113176.0 | starexec-unknown | unsat |
433161738 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286348 | 0.278717 | 113176.0 | starexec-unknown | sat |
433161777 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289133 | 0.280173 | 113176.0 | starexec-unknown | unsat |
433161969 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289736 | 0.281366 | 113176.0 | starexec-unknown | sat |
433161855 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288109 | 0.279285 | 113176.0 | starexec-unknown | unsat |
433161799 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290393 | 0.312467 | 113176.0 | starexec-unknown | unsat |
433162002 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292363 | 0.284216 | 113176.0 | starexec-unknown | unsat |
433161889 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.417109 | 0.408498 | 113176.0 | starexec-unknown | unsat |
433161734 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290886 | 0.282075 | 113176.0 | starexec-unknown | unsat |
433161776 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.40171 | 0.392963 | 113176.0 | starexec-unknown | sat |
433161973 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.397514 | 0.388775 | 113176.0 | starexec-unknown | sat |
433161860 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293167 | 0.284476 | 113176.0 | starexec-unknown | sat |
433161815 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293449 | 0.284434 | 113176.0 | starexec-unknown | unsat |
433162012 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.304398 | 0.293754 | 113176.0 | starexec-unknown | sat |
433161898 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.304272 | 0.293401 | 113176.0 | starexec-unknown | unsat |
433161743 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.295827 | 0.323414 | 113176.0 | starexec-unknown | unsat |
433161790 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292348 | 0.283648 | 113176.0 | starexec-unknown | unsat |
433161984 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292867 | 0.283875 | 113176.0 | starexec-unknown | unsat |
433161867 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293449 | 0.284669 | 113176.0 | starexec-unknown | unsat |
433161722 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293834 | 0.284743 | 113176.0 | starexec-unknown | unsat |
433161843 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291004 | 0.282522 | 113176.0 | starexec-unknown | unsat |
433161728 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.454206 | 0.44566 | 113176.0 | starexec-unknown | unsat |
433161852 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.295961 | 0.286829 | 113176.0 | starexec-unknown | sat |
433161967 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.299328 | 0.290822 | 113176.0 | starexec-unknown | sat |
433161845 | qf_shid_entl/sll-vc01.smt2 | 8318539 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.788097 | 0.779096 | 414756.0 | starexec-unknown | sat |
433161956 | qf_shid_entl/sll-vc02.smt2 | 8318650 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.886429 | 0.877577 | 414520.0 | starexec-unknown | sat |
433161746 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289652 | 0.281258 | 113176.0 | unsat | unsat |
433161950 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.792619 | 0.826635 | 414544.0 | unsat | unsat |
433161859 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292054 | 0.283464 | 113176.0 | unsat | unsat |
433161991 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287543 | 0.27849 | 113176.0 | starexec-unknown | unsat |
433161703 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290175 | 0.284157 | 113176.0 | starexec-unknown | unsat |
433161825 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.285501 | 0.279595 | 113176.0 | starexec-unknown | unsat |
433161936 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291893 | 0.284081 | 113176.0 | starexec-unknown | unsat |
433161903 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286802 | 0.278558 | 113176.0 | starexec-unknown | unsat |
433161796 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288809 | 0.280479 | 113176.0 | starexec-unknown | unsat |
433161755 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288986 | 0.281535 | 113176.0 | starexec-unknown | unsat |
433161863 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292135 | 0.285266 | 113176.0 | starexec-unknown | unsat |
433161976 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286362 | 0.28035 | 113176.0 | starexec-unknown | unsat |
433161785 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290843 | 0.310643 | 113176.0 | starexec-unknown | unsat |
433161742 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289593 | 0.281967 | 113176.0 | starexec-unknown | unsat |
433161929 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288718 | 0.28116 | 113176.0 | starexec-unknown | unsat |
433161962 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289551 | 0.28339 | 113176.0 | starexec-unknown | unsat |
433162008 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.334633 | 0.354574 | 113176.0 | unsat | unsat |
433161848 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.814061 | 0.810101 | 414876.0 | unsat | unsat |
433161854 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.514349 | 0.526388 | 113176.0 | unsat | unsat |
433161784 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.461509 | 0.463264 | 113176.0 | unsat | unsat |
433161709 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.377153 | 0.368156 | 113176.0 | starexec-unknown | unsat |
433161965 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.393142 | 0.384204 | 113176.0 | starexec-unknown | unsat |