430497762 | qf_shidlia_entl/dll-entl-01.smt2 | 8318769 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.124367 | 0.122007 | 113176.0 | unsat | unsat |
430497737 | qf_shidlia_entl/dll-entl-02.smt2 | 8318744 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.206049 | 0.200061 | 113176.0 | sat | sat |
430497717 | qf_shidlia_entl/dll-entl-03.smt2 | 8318724 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.228416 | 0.22429 | 113176.0 | unsat | unsat |
430497752 | qf_shidlia_entl/dll-entl-04.smt2 | 8318759 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.214358 | 0.21324 | 113176.0 | unsat | unsat |
430497760 | qf_shidlia_entl/dll-entl-05.smt2 | 8318767 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.201549 | 0.195152 | 113176.0 | sat | sat |
430497734 | qf_shidlia_entl/dll-entl-06.smt2 | 8318741 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.206301 | 0.199724 | 113176.0 | sat | sat |
430497714 | qf_shidlia_entl/dll-entl-07.smt2 | 8318721 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.118658 | 0.132736 | 113176.0 | unsat | unsat |
430497748 | qf_shidlia_entl/dll-entl-08.smt2 | 8318755 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.12584 | 0.123547 | 113176.0 | sat | sat |
430497771 | qf_shidlia_entl/dll-entl-09.smt2 | 8318778 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.119767 | 0.118625 | 113176.0 | unsat | unsat |
430497747 | qf_shidlia_entl/dll-entl-10.smt2 | 8318754 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.125716 | 0.133436 | 113176.0 | unsat | unsat |
430497767 | qf_shidlia_entl/dll-entl-11.smt2 | 8318774 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.135624 | 0.133128 | 113176.0 | sat | sat |
430497731 | qf_shidlia_entl/dll-entl-12.smt2 | 8318738 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.118073 | 0.116438 | 113176.0 | unsat | unsat |
430497723 | qf_shidlia_entl/dll-entl-13.smt2 | 8318730 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.20636 | 0.19963 | 113176.0 | sat | sat |
430497743 | qf_shidlia_entl/dll-entl-14.smt2 | 8318750 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.207036 | 0.20032 | 113176.0 | sat | sat |
430497764 | qf_shidlia_entl/dll-entl-15.smt2 | 8318771 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.204981 | 0.198368 | 113176.0 | sat | sat |
430497742 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len.sb.smt2 | 8318749 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.170525 | 0.16691 | 113176.0 | unsat | unsat |
430497729 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-1.sb.smt2 | 8318736 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.17212 | 0.168522 | 113176.0 | unsat | unsat |
430497766 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-2.sb.smt2 | 8318773 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.170372 | 0.16629 | 113176.0 | unsat | unsat |
430497744 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-3.sb.smt2 | 8318751 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.170057 | 0.168779 | 113176.0 | unsat | unsat |
430497724 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull.sb.smt2 | 8318731 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.174547 | 0.17028 | 113176.0 | unsat | unsat |
430497721 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull_num-1.sb.smt2 | 8318728 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.170441 | 0.16657 | 113176.0 | unsat | unsat |
430497741 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull_num-2.sb.smt2 | 8318748 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.170591 | 0.168077 | 113176.0 | unsat | unsat |
430497745 | qf_shidlia_entl/dll_len_entails_lspre_len.sb.smt2 | 8318752 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.177703 | 0.175305 | 113176.0 | unsat | unsat |
430497754 | qf_shidlia_entl/dll_len_entails_lspre_len_num-1.sb.smt2 | 8318761 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.177445 | 0.173982 | 113176.0 | unsat | unsat |
430497711 | qf_shidlia_entl/dll_len_entails_lspre_len_num-2.sb.smt2 | 8318718 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.177744 | 0.174268 | 113176.0 | unsat | unsat |
430497722 | qf_shidlia_entl/dll_len_entails_lsrev_len.sb.smt2 | 8318729 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.165325 | 0.163162 | 113176.0 | unsat | unsat |
430497725 | qf_shidlia_entl/dll_len_entails_lsrev_len_num-1.sb.smt2 | 8318732 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.170353 | 0.166939 | 113176.0 | unsat | unsat |
430497749 | qf_shidlia_entl/dll_len_entails_lsrev_len_num-2.sb.smt2 | 8318756 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.171066 | 0.16756 | 113176.0 | unsat | unsat |
430497739 | qf_shidlia_entl/dll_len_entails_ls_len.sb.smt2 | 8318746 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.180148 | 0.1766 | 113176.0 | unsat | unsat |
430497720 | qf_shidlia_entl/dll_len_entails_ls_len_num-1.sb.smt2 | 8318727 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.179108 | 0.175701 | 113176.0 | unsat | unsat |
430497756 | qf_shidlia_entl/dll_len_entails_ls_len_num-2.sb.smt2 | 8318763 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.177705 | 0.175756 | 113176.0 | unsat | unsat |
430497735 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len.sb.smt2 | 8318742 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.168241 | 0.164765 | 113176.0 | unsat | unsat |
430497758 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len_num-1.sb.smt2 | 8318765 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.169376 | 0.166794 | 113176.0 | unsat | unsat |
430497716 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len_num-2.sb.smt2 | 8318723 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.171169 | 0.167539 | 113176.0 | unsat | unsat |
430497755 | qf_shidlia_entl/ls-entl-01.smt2 | 8318762 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012234 | 0.012308 | 113176.0 | unsat | unsat |
430497715 | qf_shidlia_entl/ls-entl-02.smt2 | 8318722 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.119969 | 0.117873 | 113176.0 | sat | sat |
430497736 | qf_shidlia_entl/ls-entl-03.smt2 | 8318743 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.103785 | 0.102659 | 113176.0 | unsat | unsat |
430497761 | qf_shidlia_entl/ls-entl-04.smt2 | 8318768 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.127316 | 0.124463 | 113176.0 | sat | sat |
430497753 | qf_shidlia_entl/ls-entl-05.smt2 | 8318760 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.100706 | 0.099188 | 113176.0 | unsat | unsat |
430497713 | qf_shidlia_entl/ls-entl-06.smt2 | 8318720 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.104608 | 0.103122 | 113176.0 | sat | sat |
430497733 | qf_shidlia_entl/ls-entl-07.smt2 | 8318740 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.185139 | 0.18109 | 113176.0 | unsat | unsat |
430497718 | qf_shidlia_entl/ls_append_node.sb.smt2 | 8318725 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.100176 | 0.114674 | 113176.0 | unsat | unsat |
430497770 | qf_shidlia_entl/ls_combine_ls.sb.smt2 | 8318777 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.099849 | 0.0986811 | 113176.0 | unsat | unsat |
430497732 | qf_shidlia_entl/sls_join_2.sb.smt2 | 8318739 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.088265 | 0.0864729 | 113176.0 | unsat | unsat |
430497728 | qf_shidlia_entl/sls_join_2_known_bnd.sb.smt2 | 8318735 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.098332 | 0.0961659 | 113176.0 | unsat | unsat |
430497768 | qf_shidlia_entl/sls_join_2_no_cond.sb.smt2 | 8318775 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.092616 | 0.090781 | 113176.0 | unsat | unsat |
430497726 | qf_shidlia_entl/sls_join_2_unk_lower_bnd.sb.smt2 | 8318733 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.092844 | 0.0908649 | 113176.0 | unsat | unsat |
430497712 | qf_shidlia_entl/sls_join_2_unk_upper_bnd.sb.smt2 | 8318719 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.091258 | 0.0892919 | 113176.0 | unsat | unsat |
430497727 | qf_shidlia_entl/sls_join_3.sb.smt2 | 8318734 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.104219 | 0.102295 | 113176.0 | unsat | unsat |
430497750 | qf_shidlia_entl/sls_join_3_2_cond.sb.smt2 | 8318757 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.108098 | 0.106073 | 113176.0 | unsat | unsat |
430497763 | qf_shidlia_entl/sls_join_3_no_cond.sb.smt2 | 8318770 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.112372 | 0.109483 | 113176.0 | unsat | unsat |
430497738 | qf_shidlia_entl/sls_join_3_unk_lower_bnd.sb.smt2 | 8318745 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.110817 | 0.108654 | 113176.0 | unsat | unsat |
430497730 | qf_shidlia_entl/sls_join_3_unk_upper_bnd.sb.smt2 | 8318737 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107533 | 0.105103 | 113176.0 | unsat | unsat |
430497740 | qf_shidlia_entl/sls_join_4_1_cond_unk_both.sb.smt2 | 8318747 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.138684 | 0.134887 | 113176.0 | unsat | unsat |
430497751 | qf_shidlia_entl/sls_join_4_1_cond_unk_lower_bnd.sb.smt2 | 8318758 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.151819 | 0.147574 | 113176.0 | unsat | unsat |
430497746 | qf_shidlia_entl/sls_join_4_1_cond_unk_upper_bnd.sb.smt2 | 8318753 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.151462 | 0.147084 | 113176.0 | unsat | unsat |
430497769 | qf_shidlia_entl/sls_join_4_2_cond_unk_lower_bnd.sb.smt2 | 8318776 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.14005 | 0.136193 | 113176.0 | unsat | unsat |
430497759 | qf_shidlia_entl/sls_join_4_2_cond_unk_upper_bnd.sb.smt2 | 8318766 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.141035 | 0.137166 | 113176.0 | unsat | unsat |
430497757 | qf_shidlia_entl/sls_join_4_3_cond.sb.smt2 | 8318764 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.134483 | 0.131002 | 113176.0 | unsat | unsat |
430497719 | qf_shidlia_entl/sls_join_4_no_cond.sb.smt2 | 8318726 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.160567 | 0.155823 | 113176.0 | unsat | unsat |
430497765 | qf_shidlia_entl/tseg_size_join_tree_size_entail_tree.sb.smt2 | 8318772 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.224813 | 0.221709 | 113176.0 | unsat | unsat |