430234697 | shid_entl/dll-entails-node-dll-rev.smt2 | 8318827 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.340057 | 0.369984 | 113176.0 | sat | sat |
430234743 | shid_entl/dll-entails-node-node-dll.smt2 | 8318873 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.316092 | 0.341354 | 113176.0 | sat | sat |
430234707 | shid_entl/dll-spaghetti-existential.smt2 | 8318837 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 2.24413 | 2.4979 | 534216.0 | unsat | unsat |
430234702 | shid_entl/dll2-spaghetti-existential.smt2 | 8318832 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 3.40743 | 3.59071 | 544224.0 | unsat | unsat |
430234683 | shid_entl/dllnull_entails_dll.sb.smt2 | 8318813 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.318164 | 0.316983 | 113176.0 | unsat | unsat |
430234709 | shid_entl/dllnull_entails_dllrev.sb.smt2 | 8318839 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.315251 | 0.337127 | 113176.0 | unsat | unsat |
430234689 | shid_entl/dll_concat_dllrev_get_last.sb.smt2 | 8318819 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.2913 | 0.283323 | 113176.0 | starexec-unknown | unsat |
430234731 | shid_entl/dll_entails_ls_node.sb.smt2 | 8318861 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.29122 | 0.283434 | 113176.0 | starexec-unknown | unsat |
430234726 | shid_entl/dll_entails_node_lsrev.sb.smt2 | 8318856 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289164 | 0.282046 | 113176.0 | starexec-unknown | unsat |
430234714 | shid_entl/eolseg_03.sb.smt2 | 8318844 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290472 | 0.282849 | 113176.0 | starexec-unknown | unsat |
430234738 | shid_entl/eolseg_04.sb.smt2 | 8318868 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290167 | 0.282222 | 113176.0 | starexec-unknown | unsat |
430234739 | shid_entl/eolseg_08.sb.smt2 | 8318869 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290098 | 0.282105 | 113176.0 | starexec-unknown | unsat |
430234716 | shid_entl/eolseg_10.sb.smt2 | 8318846 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287686 | 0.28172 | 113176.0 | starexec-unknown | unsat |
430234747 | shid_entl/eolseg_11.sb.smt2 | 8318877 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287895 | 0.281955 | 113176.0 | starexec-unknown | unsat |
430234698 | shid_entl/eolseg_13.sb.smt2 | 8318828 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288985 | 0.282101 | 113176.0 | starexec-unknown | unsat |
430234717 | shid_entl/eolseg_14.sb.smt2 | 8318847 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.292628 | 0.283842 | 113176.0 | starexec-unknown | unsat |
430234705 | shid_entl/eolseg_16.sb.smt2 | 8318835 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288129 | 0.280379 | 113176.0 | starexec-unknown | unsat |
430234746 | shid_entl/ls2_entail_ls_02.sb.smt2 | 8318876 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287406 | 0.281497 | 113176.0 | starexec-unknown | unsat |
430234715 | shid_entl/ls2_entail_ls_03.sb.smt2 | 8318845 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288461 | 0.282212 | 113176.0 | starexec-unknown | unsat |
430234706 | shid_entl/ls2_entail_ls_05.sb.smt2 | 8318836 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290134 | 0.283151 | 113176.0 | starexec-unknown | unsat |
430234748 | shid_entl/ls2_entail_ls_06.sb.smt2 | 8318878 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289802 | 0.282088 | 113176.0 | starexec-unknown | unsat |
430234696 | shid_entl/lsevenodd_05.sb.smt2 | 8318826 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288253 | 0.282082 | 113176.0 | starexec-unknown | unsat |
430234719 | shid_entl/lsevenodd_06.sb.smt2 | 8318849 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288423 | 0.282125 | 113176.0 | starexec-unknown | unsat |
430234751 | shid_entl/lsevenodd_07.sb.smt2 | 8318881 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287391 | 0.28142 | 113176.0 | starexec-unknown | unsat |
430234704 | shid_entl/lsevenodd_08.sb.smt2 | 8318834 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287458 | 0.281154 | 113176.0 | starexec-unknown | unsat |
430234686 | shid_entl/lsevenodd_10.sb.smt2 | 8318816 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289264 | 0.282327 | 113176.0 | starexec-unknown | unsat |
430234745 | shid_entl/lsevenodd_12.sb.smt2 | 8318875 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289871 | 0.281995 | 113176.0 | starexec-unknown | unsat |
430234735 | shid_entl/lsevenodd_13.sb.smt2 | 8318865 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.29096 | 0.284166 | 113176.0 | starexec-unknown | unsat |
430234733 | shid_entl/lsevenodd_17.sb.smt2 | 8318863 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288698 | 0.280899 | 113176.0 | starexec-unknown | unsat |
430234687 | shid_entl/lsevenodd_18.sb.smt2 | 8318817 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288549 | 0.280719 | 113176.0 | starexec-unknown | unsat |
430234710 | shid_entl/lsevenodd_19.sb.smt2 | 8318840 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288641 | 0.281308 | 113176.0 | starexec-unknown | unsat |
430234749 | shid_entl/lsevenodd_20.sb.smt2 | 8318879 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288018 | 0.281962 | 113176.0 | starexec-unknown | unsat |
430234721 | shid_entl/lsevenodd_ls2_03.sb.smt2 | 8318851 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289471 | 0.283396 | 113176.0 | starexec-unknown | unsat |
430234694 | shid_entl/lsevenodd_ls2_04.sb.smt2 | 8318824 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289741 | 0.283371 | 113176.0 | starexec-unknown | unsat |
430234720 | shid_entl/lsevenodd_ls2_07.sb.smt2 | 8318850 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289442 | 0.284614 | 113176.0 | starexec-unknown | unsat |
430234695 | shid_entl/lsevenodd_ls2_08.sb.smt2 | 8318825 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.289252 | 0.283657 | 113176.0 | starexec-unknown | unsat |
430234711 | shid_entl/lsevenodd_ls2_10.sb.smt2 | 8318841 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.29175 | 0.285003 | 113176.0 | starexec-unknown | unsat |
430234688 | shid_entl/lsevenodd_ls2_11.sb.smt2 | 8318818 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.291327 | 0.283728 | 113176.0 | starexec-unknown | unsat |
430234730 | shid_entl/lsevenodd_ls2_12.sb.smt2 | 8318860 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.290335 | 0.282626 | 113176.0 | starexec-unknown | unsat |
430234703 | shid_entl/lsleftright_03.sb.smt2 | 8318833 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286746 | 0.280712 | 113176.0 | starexec-unknown | unsat |
430234740 | shid_entl/ls_entail_ls2_01.sb.smt2 | 8318870 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.286164 | 0.280257 | 113176.0 | starexec-unknown | unsat |
430234691 | shid_entl/ls_entail_ls2_03.sb.smt2 | 8318821 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287806 | 0.282005 | 113176.0 | starexec-unknown | unsat |
430234753 | shid_entl/ls_even_split_ls_even.sb.smt2 | 8318883 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.307801 | 0.30221 | 113176.0 | unsat | unsat |
430234712 | shid_entl/ls_lsrev_concat_entail_split_1.sb.smt2 | 8318842 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.570325 | 0.561917 | 113176.0 | starexec-unknown | unsat |
430234744 | shid_entl/ls_lsrev_concat_entail_split_2.sb.smt2 | 8318874 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.576008 | 0.566588 | 414500.0 | starexec-unknown | unsat |
430234734 | shid_entl/ls_lsrev_concat_entail_split_3.sb.smt2 | 8318864 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.577878 | 0.568608 | 113176.0 | starexec-unknown | unsat |
430234685 | shid_entl/ls_lsrev_concat_entail_split_4.sb.smt2 | 8318815 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.57523 | 0.56578 | 414544.0 | starexec-unknown | unsat |
430234729 | shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt2 | 8318859 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.28795 | 0.282177 | 113176.0 | starexec-unknown | unsat |
430234692 | shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt2 | 8318822 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287503 | 0.2816 | 113176.0 | starexec-unknown | unsat |
430234713 | shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt2 | 8318843 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288556 | 0.282494 | 113176.0 | starexec-unknown | unsat |
430234742 | shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt2 | 8318872 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.288455 | 0.28204 | 113176.0 | starexec-unknown | unsat |
430234722 | shid_entl/ls_odd_split_ls_even_node.sb.smt2 | 8318852 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.326418 | 0.357035 | 113176.0 | starexec-unknown | unsat |
430234752 | shid_entl/ls_odd_split_ls_even_odd.sb.smt2 | 8318882 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.322221 | 0.372951 | 113176.0 | unsat | unsat |
430234727 | shid_entl/ls_split_ls.sb.smt2 | 8318857 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.315731 | 0.333703 | 113176.0 | unsat | unsat |
430234736 | shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318866 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.334987 | 0.361481 | 113176.0 | unsat | unsat |
430234693 | shid_entl/node-node-dll-entails-dll.smt2 | 8318823 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.287601 | 0.279036 | 113176.0 | unsat | unsat |
430234750 | shid_entl/node-tll-tll-entails-tll.smt2 | 8318880 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.299305 | 0.288882 | 113176.0 | unsat | unsat |
430234723 | shid_entl/tll-entails-node-tll-tll.smt2 | 8318853 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.340801 | 0.370694 | 113176.0 | starexec-unknown | sat |
430234741 | shid_entl/tll-ravioli-existential.smt2 | 8318871 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.292295 | 0.283426 | 113176.0 | unsat | unsat |
430234682 | shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt2 | 8318812 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.479845 | 0.478847 | 113176.0 | starexec-unknown | unsat |
430234728 | shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt2 | 8318858 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.481176 | 0.472525 | 113176.0 | starexec-unknown | unsat |
430234737 | shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt2 | 8318867 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.482507 | 0.473932 | 113176.0 | starexec-unknown | unsat |
430234725 | shid_entl/tree_entail_tseg_unk-1.sb.smt2 | 8318855 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.470772 | 0.516281 | 113176.0 | unsat | unsat |
430234684 | shid_entl/tree_entail_tseg_unk-2.sb.smt2 | 8318814 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.434816 | 0.426083 | 113176.0 | starexec-unknown | unsat |
430234699 | shid_entl/tree_split_tseg-1.sb.smt2 | 8318829 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.29302 | 0.284354 | 113176.0 | starexec-unknown | unsat |
430234718 | shid_entl/tree_split_tseg-2.sb.smt2 | 8318848 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.423352 | 0.414659 | 113176.0 | starexec-unknown | unsat |
430234701 | shid_entl/tseg_join_2_entail_tree_unk.sb.smt2 | 8318831 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.673539 | 0.677987 | 414288.0 | unsat | unsat |
430234732 | shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt2 | 8318862 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.464406 | 0.455465 | 113176.0 | starexec-unknown | unsat |
430234690 | shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt2 | 8318820 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.722766 | 0.713645 | 414520.0 | starexec-unknown | unsat |
430234700 | shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt2 | 8318830 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.409099 | 0.401112 | 113176.0 | starexec-unknown | unsat |
430234724 | shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt2 | 8318854 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.531753 | 0.52367 | 414544.0 | starexec-unknown | unsat |
430234754 | shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt2 | 8318884 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.573112 | 0.564534 | 414544.0 | starexec-unknown | unsat |
430234708 | shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt2 | 8318838 | slide-2018-v5 | 20628 | SLD_input | 304326 | complete | 0.585972 | 0.577687 | 414312.0 | starexec-unknown | unsat |