430232241 | shid_entl/dll-entails-node-dll-rev.smt2 | 8318827 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.02732 | 0.027359 | 113176.0 | sat | sat |
430232287 | shid_entl/dll-entails-node-node-dll.smt2 | 8318873 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014677 | 0.014732 | 113176.0 | sat | sat |
430232251 | shid_entl/dll-spaghetti-existential.smt2 | 8318837 | s2s.0.3.3 | 22440 | default | 326050 | complete | 1.34718 | 1.34728 | 138600.0 | unsat | unsat |
430232246 | shid_entl/dll2-spaghetti-existential.smt2 | 8318832 | s2s.0.3.3 | 22440 | default | 326050 | complete | 1.28331 | 1.28426 | 139596.0 | unsat | unsat |
430232227 | shid_entl/dllnull_entails_dll.sb.smt2 | 8318813 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014476 | 0.014521 | 113176.0 | unsat | unsat |
430232253 | shid_entl/dllnull_entails_dllrev.sb.smt2 | 8318839 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015314 | 0.0153921 | 113176.0 | unsat | unsat |
430232233 | shid_entl/dll_concat_dllrev_get_last.sb.smt2 | 8318819 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.029141 | 0.0291839 | 113176.0 | unsat | unsat |
430232275 | shid_entl/dll_entails_ls_node.sb.smt2 | 8318861 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015423 | 0.0154509 | 113176.0 | unsat | unsat |
430232270 | shid_entl/dll_entails_node_lsrev.sb.smt2 | 8318856 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014582 | 0.0146539 | 113176.0 | unsat | unsat |
430232258 | shid_entl/eolseg_03.sb.smt2 | 8318844 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01826 | 0.0182849 | 113176.0 | unsat | unsat |
430232282 | shid_entl/eolseg_04.sb.smt2 | 8318868 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017966 | 0.018001 | 113176.0 | unsat | unsat |
430232283 | shid_entl/eolseg_08.sb.smt2 | 8318869 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.045227 | 0.0452481 | 113176.0 | unsat | unsat |
430232260 | shid_entl/eolseg_10.sb.smt2 | 8318846 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022635 | 0.022668 | 113176.0 | unsat | unsat |
430232291 | shid_entl/eolseg_11.sb.smt2 | 8318877 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017888 | 0.0179179 | 113176.0 | unsat | unsat |
430232242 | shid_entl/eolseg_13.sb.smt2 | 8318828 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.025294 | 0.0253461 | 113176.0 | unsat | unsat |
430232261 | shid_entl/eolseg_14.sb.smt2 | 8318847 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015847 | 0.0159251 | 113176.0 | unsat | unsat |
430232249 | shid_entl/eolseg_16.sb.smt2 | 8318835 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.043382 | 0.0434191 | 113176.0 | unsat | unsat |
430232290 | shid_entl/ls2_entail_ls_02.sb.smt2 | 8318876 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014426 | 0.0144679 | 113176.0 | unsat | unsat |
430232259 | shid_entl/ls2_entail_ls_03.sb.smt2 | 8318845 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015581 | 0.0156189 | 113176.0 | unsat | unsat |
430232250 | shid_entl/ls2_entail_ls_05.sb.smt2 | 8318836 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015097 | 0.0151379 | 113176.0 | unsat | unsat |
430232292 | shid_entl/ls2_entail_ls_06.sb.smt2 | 8318878 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018464 | 0.0185139 | 113176.0 | unsat | unsat |
430232240 | shid_entl/lsevenodd_05.sb.smt2 | 8318826 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015698 | 0.0157201 | 113176.0 | unsat | unsat |
430232263 | shid_entl/lsevenodd_06.sb.smt2 | 8318849 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017575 | 0.0176569 | 113176.0 | unsat | unsat |
430232295 | shid_entl/lsevenodd_07.sb.smt2 | 8318881 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015515 | 0.015543 | 113176.0 | unsat | unsat |
430232248 | shid_entl/lsevenodd_08.sb.smt2 | 8318834 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016042 | 0.016072 | 113176.0 | unsat | unsat |
430232230 | shid_entl/lsevenodd_10.sb.smt2 | 8318816 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018131 | 0.018167 | 113176.0 | unsat | unsat |
430232289 | shid_entl/lsevenodd_12.sb.smt2 | 8318875 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018693 | 0.0187829 | 113176.0 | unsat | unsat |
430232279 | shid_entl/lsevenodd_13.sb.smt2 | 8318865 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018826 | 0.018865 | 113176.0 | unsat | unsat |
430232277 | shid_entl/lsevenodd_17.sb.smt2 | 8318863 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015375 | 0.0154249 | 113176.0 | unsat | unsat |
430232231 | shid_entl/lsevenodd_18.sb.smt2 | 8318817 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01543 | 0.01546 | 113176.0 | unsat | unsat |
430232254 | shid_entl/lsevenodd_19.sb.smt2 | 8318840 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015185 | 0.01522 | 113176.0 | unsat | unsat |
430232293 | shid_entl/lsevenodd_20.sb.smt2 | 8318879 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017582 | 0.0176089 | 113176.0 | unsat | unsat |
430232265 | shid_entl/lsevenodd_ls2_03.sb.smt2 | 8318851 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022488 | 0.0225161 | 113176.0 | unsat | unsat |
430232238 | shid_entl/lsevenodd_ls2_04.sb.smt2 | 8318824 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.032179 | 0.032213 | 113176.0 | unsat | unsat |
430232264 | shid_entl/lsevenodd_ls2_07.sb.smt2 | 8318850 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.247824 | 0.247877 | 113176.0 | unsat | unsat |
430232239 | shid_entl/lsevenodd_ls2_08.sb.smt2 | 8318825 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.109172 | 0.10921 | 113176.0 | unsat | unsat |
430232255 | shid_entl/lsevenodd_ls2_10.sb.smt2 | 8318841 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.243278 | 0.243315 | 113176.0 | unsat | unsat |
430232232 | shid_entl/lsevenodd_ls2_11.sb.smt2 | 8318818 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.033804 | 0.033843 | 113176.0 | unsat | unsat |
430232274 | shid_entl/lsevenodd_ls2_12.sb.smt2 | 8318860 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.043556 | 0.043581 | 113176.0 | unsat | unsat |
430232247 | shid_entl/lsleftright_03.sb.smt2 | 8318833 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015461 | 0.0154941 | 113176.0 | unsat | unsat |
430232284 | shid_entl/ls_entail_ls2_01.sb.smt2 | 8318870 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01584 | 0.015901 | 113176.0 | unsat | unsat |
430232235 | shid_entl/ls_entail_ls2_03.sb.smt2 | 8318821 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018371 | 0.018441 | 113176.0 | unsat | unsat |
430232297 | shid_entl/ls_even_split_ls_even.sb.smt2 | 8318883 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015029 | 0.0150619 | 113176.0 | unsat | unsat |
430232256 | shid_entl/ls_lsrev_concat_entail_split_1.sb.smt2 | 8318842 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018694 | 0.0187481 | 113176.0 | unsat | unsat |
430232288 | shid_entl/ls_lsrev_concat_entail_split_2.sb.smt2 | 8318874 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014703 | 0.014731 | 113176.0 | unsat | unsat |
430232278 | shid_entl/ls_lsrev_concat_entail_split_3.sb.smt2 | 8318864 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013534 | 0.013593 | 113176.0 | unsat | unsat |
430232229 | shid_entl/ls_lsrev_concat_entail_split_4.sb.smt2 | 8318815 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027943 | 0.0280199 | 113176.0 | unsat | unsat |
430232273 | shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt2 | 8318859 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014292 | 0.0143269 | 113176.0 | unsat | unsat |
430232236 | shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt2 | 8318822 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015244 | 0.0152779 | 113176.0 | unsat | unsat |
430232257 | shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt2 | 8318843 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016312 | 0.0163489 | 113176.0 | unsat | unsat |
430232286 | shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt2 | 8318872 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017434 | 0.0174719 | 113176.0 | unsat | unsat |
430232266 | shid_entl/ls_odd_split_ls_even_node.sb.smt2 | 8318852 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013734 | 0.0137609 | 113176.0 | unsat | unsat |
430232296 | shid_entl/ls_odd_split_ls_even_odd.sb.smt2 | 8318882 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014168 | 0.014189 | 113176.0 | unsat | unsat |
430232271 | shid_entl/ls_split_ls.sb.smt2 | 8318857 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011625 | 0.0116611 | 113176.0 | unsat | unsat |
430232280 | shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318866 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.032661 | 0.0326931 | 113176.0 | unsat | unsat |
430232237 | shid_entl/node-node-dll-entails-dll.smt2 | 8318823 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015649 | 0.015681 | 113176.0 | unsat | unsat |
430232294 | shid_entl/node-tll-tll-entails-tll.smt2 | 8318880 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014419 | 0.0144471 | 113176.0 | unsat | unsat |
430232267 | shid_entl/tll-entails-node-tll-tll.smt2 | 8318853 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.068637 | 0.068693 | 113176.0 | sat | sat |
430232285 | shid_entl/tll-ravioli-existential.smt2 | 8318871 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.785299 | 0.785399 | 137732.0 | unsat | unsat |
430232226 | shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt2 | 8318812 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.058703 | 0.05873 | 113176.0 | unsat | unsat |
430232272 | shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt2 | 8318858 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.052929 | 0.0529889 | 113176.0 | unsat | unsat |
430232281 | shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt2 | 8318867 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.053601 | 0.0536811 | 113176.0 | unsat | unsat |
430232269 | shid_entl/tree_entail_tseg_unk-1.sb.smt2 | 8318855 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01447 | 0.01453 | 113176.0 | unsat | unsat |
430232228 | shid_entl/tree_entail_tseg_unk-2.sb.smt2 | 8318814 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015039 | 0.0151111 | 113176.0 | unsat | unsat |
430232243 | shid_entl/tree_split_tseg-1.sb.smt2 | 8318829 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015156 | 0.015199 | 113176.0 | unsat | unsat |
430232262 | shid_entl/tree_split_tseg-2.sb.smt2 | 8318848 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015312 | 0.0153409 | 113176.0 | unsat | unsat |
430232245 | shid_entl/tseg_join_2_entail_tree_unk.sb.smt2 | 8318831 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016293 | 0.016457 | 113176.0 | unsat | unsat |
430232276 | shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt2 | 8318862 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027106 | 0.027144 | 113176.0 | unsat | unsat |
430232234 | shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt2 | 8318820 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.025771 | 0.0259791 | 113176.0 | unsat | unsat |
430232244 | shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt2 | 8318830 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.077113 | 0.0771799 | 113176.0 | unsat | unsat |
430232268 | shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt2 | 8318854 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018305 | 0.018375 | 113176.0 | unsat | unsat |
430232298 | shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt2 | 8318884 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.031284 | 0.031332 | 113176.0 | unsat | unsat |
430232252 | shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt2 | 8318838 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.031355 | 0.0314399 | 113176.0 | unsat | unsat |