433160250 | qf_shidlia_entl/dll-entl-01.smt2 | 8318769 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.0 | 2398.91 | 948784.0 | starexec-unknown | unsat |
433160225 | qf_shidlia_entl/dll-entl-02.smt2 | 8318744 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.06 | 2399.33 | 563728.0 | starexec-unknown | sat |
433160205 | qf_shidlia_entl/dll-entl-03.smt2 | 8318724 | SLEEK | 20564 | default | 304221 | complete | 1077.59 | 1075.99 | 450864.0 | sat | unsat |
433160240 | qf_shidlia_entl/dll-entl-04.smt2 | 8318759 | SLEEK | 20564 | default | 304221 | complete | 429.642 | 429.131 | 300936.0 | sat | unsat |
433160248 | qf_shidlia_entl/dll-entl-05.smt2 | 8318767 | SLEEK | 20564 | default | 304221 | complete | 309.172 | 308.509 | 316500.0 | unsat | sat |
433160222 | qf_shidlia_entl/dll-entl-06.smt2 | 8318741 | SLEEK | 20564 | default | 304221 | complete | 170.348 | 170.273 | 265128.0 | unsat | sat |
433160202 | qf_shidlia_entl/dll-entl-07.smt2 | 8318721 | SLEEK | 20564 | default | 304221 | complete | 0.137992 | 0.130812 | 113176.0 | unsat | unsat |
433160236 | qf_shidlia_entl/dll-entl-08.smt2 | 8318755 | SLEEK | 20564 | default | 304221 | complete | 0.179416 | 0.172308 | 113176.0 | unsat | sat |
433160259 | qf_shidlia_entl/dll-entl-09.smt2 | 8318778 | SLEEK | 20564 | default | 304221 | complete | 0.077009 | 0.071969 | 113176.0 | unsat | unsat |
433160235 | qf_shidlia_entl/dll-entl-10.smt2 | 8318754 | SLEEK | 20564 | default | 304221 | complete | 0.24935 | 0.239607 | 113176.0 | unsat | unsat |
433160255 | qf_shidlia_entl/dll-entl-11.smt2 | 8318774 | SLEEK | 20564 | default | 304221 | complete | 0.21609 | 0.208057 | 113176.0 | sat | sat |
433160219 | qf_shidlia_entl/dll-entl-12.smt2 | 8318738 | SLEEK | 20564 | default | 304221 | complete | 0.240678 | 0.231727 | 113176.0 | unsat | unsat |
433160211 | qf_shidlia_entl/dll-entl-13.smt2 | 8318730 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.02 | 2399.42 | 363436.0 | starexec-unknown | sat |
433160231 | qf_shidlia_entl/dll-entl-14.smt2 | 8318750 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.07 | 2399.52 | 353068.0 | starexec-unknown | sat |
433160252 | qf_shidlia_entl/dll-entl-15.smt2 | 8318771 | SLEEK | 20564 | default | 304221 | timeout (cpu) | 2400.01 | 2399.71 | 334548.0 | starexec-unknown | sat |
433160230 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len.sb.smt2 | 8318749 | SLEEK | 20564 | default | 304221 | complete | 0.129922 | 0.12336 | 113176.0 | sat | unsat |
433160217 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-1.sb.smt2 | 8318736 | SLEEK | 20564 | default | 304221 | complete | 0.119132 | 0.113773 | 113176.0 | sat | unsat |
433160254 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-2.sb.smt2 | 8318773 | SLEEK | 20564 | default | 304221 | complete | 0.116259 | 0.111027 | 113176.0 | sat | unsat |
433160232 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-3.sb.smt2 | 8318751 | SLEEK | 20564 | default | 304221 | complete | 0.123614 | 0.117782 | 113176.0 | sat | unsat |
433160212 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull.sb.smt2 | 8318731 | SLEEK | 20564 | default | 304221 | complete | 0.121719 | 0.11563 | 113176.0 | sat | unsat |
433160209 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull_num-1.sb.smt2 | 8318728 | SLEEK | 20564 | default | 304221 | complete | 0.111351 | 0.105589 | 113176.0 | sat | unsat |
433160229 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull_num-2.sb.smt2 | 8318748 | SLEEK | 20564 | default | 304221 | complete | 0.100923 | 0.0955111 | 113176.0 | sat | unsat |
433160233 | qf_shidlia_entl/dll_len_entails_lspre_len.sb.smt2 | 8318752 | SLEEK | 20564 | default | 304221 | complete | 0.096187 | 0.0908271 | 113176.0 | sat | unsat |
433160242 | qf_shidlia_entl/dll_len_entails_lspre_len_num-1.sb.smt2 | 8318761 | SLEEK | 20564 | default | 304221 | complete | 0.091603 | 0.0863661 | 113176.0 | sat | unsat |
433160199 | qf_shidlia_entl/dll_len_entails_lspre_len_num-2.sb.smt2 | 8318718 | SLEEK | 20564 | default | 304221 | complete | 0.089202 | 0.084159 | 113176.0 | sat | unsat |
433160210 | qf_shidlia_entl/dll_len_entails_lsrev_len.sb.smt2 | 8318729 | SLEEK | 20564 | default | 304221 | complete | 0.100082 | 0.0947121 | 113176.0 | sat | unsat |
433160213 | qf_shidlia_entl/dll_len_entails_lsrev_len_num-1.sb.smt2 | 8318732 | SLEEK | 20564 | default | 304221 | complete | 0.101895 | 0.0970119 | 113176.0 | sat | unsat |
433160237 | qf_shidlia_entl/dll_len_entails_lsrev_len_num-2.sb.smt2 | 8318756 | SLEEK | 20564 | default | 304221 | complete | 0.103056 | 0.0979649 | 113176.0 | sat | unsat |
433160227 | qf_shidlia_entl/dll_len_entails_ls_len.sb.smt2 | 8318746 | SLEEK | 20564 | default | 304221 | complete | 0.166799 | 0.158887 | 113176.0 | unsat | unsat |
433160208 | qf_shidlia_entl/dll_len_entails_ls_len_num-1.sb.smt2 | 8318727 | SLEEK | 20564 | default | 304221 | complete | 0.103535 | 0.0979631 | 113176.0 | sat | unsat |
433160244 | qf_shidlia_entl/dll_len_entails_ls_len_num-2.sb.smt2 | 8318763 | SLEEK | 20564 | default | 304221 | complete | 0.102272 | 0.0968461 | 113176.0 | sat | unsat |
433160223 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len.sb.smt2 | 8318742 | SLEEK | 20564 | default | 304221 | complete | 0.119883 | 0.113859 | 113176.0 | unsat | unsat |
433160246 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len_num-1.sb.smt2 | 8318765 | SLEEK | 20564 | default | 304221 | complete | 0.100063 | 0.0946721 | 113176.0 | sat | unsat |
433160204 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len_num-2.sb.smt2 | 8318723 | SLEEK | 20564 | default | 304221 | complete | 0.098113 | 0.092717 | 113176.0 | sat | unsat |
433160243 | qf_shidlia_entl/ls-entl-01.smt2 | 8318762 | SLEEK | 20564 | default | 304221 | complete | 0.143974 | 0.136267 | 113176.0 | sat | unsat |
433160203 | qf_shidlia_entl/ls-entl-02.smt2 | 8318722 | SLEEK | 20564 | default | 304221 | complete | 0.192485 | 0.183804 | 113176.0 | sat | sat |
433160224 | qf_shidlia_entl/ls-entl-03.smt2 | 8318743 | SLEEK | 20564 | default | 304221 | complete | 0.189135 | 0.180394 | 113176.0 | sat | unsat |
433160249 | qf_shidlia_entl/ls-entl-04.smt2 | 8318768 | SLEEK | 20564 | default | 304221 | complete | 0.266013 | 0.25458 | 113176.0 | sat | sat |
433160241 | qf_shidlia_entl/ls-entl-05.smt2 | 8318760 | SLEEK | 20564 | default | 304221 | complete | 0.206227 | 0.196807 | 113176.0 | unsat | unsat |
433160201 | qf_shidlia_entl/ls-entl-06.smt2 | 8318720 | SLEEK | 20564 | default | 304221 | complete | 0.170389 | 0.162557 | 113176.0 | sat | sat |
433160221 | qf_shidlia_entl/ls-entl-07.smt2 | 8318740 | SLEEK | 20564 | default | 304221 | complete | 0.400848 | 0.387545 | 113176.0 | sat | unsat |
433160206 | qf_shidlia_entl/ls_append_node.sb.smt2 | 8318725 | SLEEK | 20564 | default | 304221 | complete | 0.101091 | 0.0958811 | 113176.0 | sat | unsat |
433160258 | qf_shidlia_entl/ls_combine_ls.sb.smt2 | 8318777 | SLEEK | 20564 | default | 304221 | complete | 0.146498 | 0.139313 | 113176.0 | sat | unsat |
433160220 | qf_shidlia_entl/sls_join_2.sb.smt2 | 8318739 | SLEEK | 20564 | default | 304221 | complete | 0.182155 | 0.17335 | 113176.0 | sat | unsat |
433160216 | qf_shidlia_entl/sls_join_2_known_bnd.sb.smt2 | 8318735 | SLEEK | 20564 | default | 304221 | complete | 0.167977 | 0.16019 | 113176.0 | sat | unsat |
433160256 | qf_shidlia_entl/sls_join_2_no_cond.sb.smt2 | 8318775 | SLEEK | 20564 | default | 304221 | complete | 0.168059 | 0.159937 | 113176.0 | sat | unsat |
433160214 | qf_shidlia_entl/sls_join_2_unk_lower_bnd.sb.smt2 | 8318733 | SLEEK | 20564 | default | 304221 | complete | 0.188635 | 0.179953 | 113176.0 | sat | unsat |
433160200 | qf_shidlia_entl/sls_join_2_unk_upper_bnd.sb.smt2 | 8318719 | SLEEK | 20564 | default | 304221 | complete | 0.201627 | 0.192554 | 113176.0 | sat | unsat |
433160215 | qf_shidlia_entl/sls_join_3.sb.smt2 | 8318734 | SLEEK | 20564 | default | 304221 | complete | 0.553988 | 0.538021 | 113176.0 | sat | unsat |
433160238 | qf_shidlia_entl/sls_join_3_2_cond.sb.smt2 | 8318757 | SLEEK | 20564 | default | 304221 | complete | 0.55274 | 0.536991 | 113176.0 | sat | unsat |
433160251 | qf_shidlia_entl/sls_join_3_no_cond.sb.smt2 | 8318770 | SLEEK | 20564 | default | 304221 | complete | 0.419585 | 0.407002 | 113176.0 | sat | unsat |
433160226 | qf_shidlia_entl/sls_join_3_unk_lower_bnd.sb.smt2 | 8318745 | SLEEK | 20564 | default | 304221 | complete | 0.436045 | 0.422831 | 113176.0 | sat | unsat |
433160218 | qf_shidlia_entl/sls_join_3_unk_upper_bnd.sb.smt2 | 8318737 | SLEEK | 20564 | default | 304221 | complete | 0.415482 | 0.403085 | 113176.0 | sat | unsat |
433160228 | qf_shidlia_entl/sls_join_4_1_cond_unk_both.sb.smt2 | 8318747 | SLEEK | 20564 | default | 304221 | complete | 1.2519 | 1.22819 | 256556.0 | sat | unsat |
433160239 | qf_shidlia_entl/sls_join_4_1_cond_unk_lower_bnd.sb.smt2 | 8318758 | SLEEK | 20564 | default | 304221 | complete | 1.28539 | 1.26291 | 256532.0 | sat | unsat |
433160234 | qf_shidlia_entl/sls_join_4_1_cond_unk_upper_bnd.sb.smt2 | 8318753 | SLEEK | 20564 | default | 304221 | complete | 1.2774 | 1.25457 | 257872.0 | sat | unsat |
433160257 | qf_shidlia_entl/sls_join_4_2_cond_unk_lower_bnd.sb.smt2 | 8318776 | SLEEK | 20564 | default | 304221 | complete | 1.25096 | 1.22933 | 256520.0 | sat | unsat |
433160247 | qf_shidlia_entl/sls_join_4_2_cond_unk_upper_bnd.sb.smt2 | 8318766 | SLEEK | 20564 | default | 304221 | complete | 1.22711 | 1.20398 | 256552.0 | sat | unsat |
433160245 | qf_shidlia_entl/sls_join_4_3_cond.sb.smt2 | 8318764 | SLEEK | 20564 | default | 304221 | complete | 1.98081 | 1.94974 | 256544.0 | sat | unsat |
433160207 | qf_shidlia_entl/sls_join_4_no_cond.sb.smt2 | 8318726 | SLEEK | 20564 | default | 304221 | complete | 1.30583 | 1.28226 | 256656.0 | sat | unsat |
433160253 | qf_shidlia_entl/tseg_size_join_tree_size_entail_tree.sb.smt2 | 8318772 | SLEEK | 20564 | default | 304221 | complete | 0.140991 | 0.134066 | 113176.0 | sat | unsat |