433164414 | shid_entl/dll-entails-node-dll-rev.smt2 | 8318827 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.337109 | 0.357786 | 113176.0 | sat | sat |
433164460 | shid_entl/dll-entails-node-node-dll.smt2 | 8318873 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.315733 | 0.3314 | 113176.0 | sat | sat |
433164424 | shid_entl/dll-spaghetti-existential.smt2 | 8318837 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 2.24553 | 2.40408 | 533700.0 | unsat | unsat |
433164419 | shid_entl/dll2-spaghetti-existential.smt2 | 8318832 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 3.42751 | 3.69226 | 536656.0 | unsat | unsat |
433164400 | shid_entl/dllnull_entails_dll.sb.smt2 | 8318813 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.316871 | 0.377063 | 113176.0 | unsat | unsat |
433164426 | shid_entl/dllnull_entails_dllrev.sb.smt2 | 8318839 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.312843 | 0.331488 | 113176.0 | unsat | unsat |
433164406 | shid_entl/dll_concat_dllrev_get_last.sb.smt2 | 8318819 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289182 | 0.328653 | 113176.0 | starexec-unknown | unsat |
433164448 | shid_entl/dll_entails_ls_node.sb.smt2 | 8318861 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293065 | 0.28552 | 113176.0 | starexec-unknown | unsat |
433164443 | shid_entl/dll_entails_node_lsrev.sb.smt2 | 8318856 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290088 | 0.282596 | 113176.0 | starexec-unknown | unsat |
433164431 | shid_entl/eolseg_03.sb.smt2 | 8318844 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28916 | 0.28134 | 113176.0 | starexec-unknown | unsat |
433164455 | shid_entl/eolseg_04.sb.smt2 | 8318868 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290624 | 0.28334 | 113176.0 | starexec-unknown | unsat |
433164456 | shid_entl/eolseg_08.sb.smt2 | 8318869 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.294624 | 0.287104 | 113176.0 | starexec-unknown | unsat |
433164433 | shid_entl/eolseg_10.sb.smt2 | 8318846 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286945 | 0.280948 | 113176.0 | starexec-unknown | unsat |
433164464 | shid_entl/eolseg_11.sb.smt2 | 8318877 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288961 | 0.28286 | 113176.0 | starexec-unknown | unsat |
433164415 | shid_entl/eolseg_13.sb.smt2 | 8318828 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291104 | 0.284089 | 113176.0 | starexec-unknown | unsat |
433164434 | shid_entl/eolseg_14.sb.smt2 | 8318847 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291582 | 0.282715 | 113176.0 | starexec-unknown | unsat |
433164422 | shid_entl/eolseg_16.sb.smt2 | 8318835 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288201 | 0.28083 | 113176.0 | starexec-unknown | unsat |
433164463 | shid_entl/ls2_entail_ls_02.sb.smt2 | 8318876 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289036 | 0.283084 | 113176.0 | starexec-unknown | unsat |
433164432 | shid_entl/ls2_entail_ls_03.sb.smt2 | 8318845 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29279 | 0.289493 | 113176.0 | starexec-unknown | unsat |
433164423 | shid_entl/ls2_entail_ls_05.sb.smt2 | 8318836 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291284 | 0.283579 | 113176.0 | starexec-unknown | unsat |
433164465 | shid_entl/ls2_entail_ls_06.sb.smt2 | 8318878 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290702 | 0.283649 | 113176.0 | starexec-unknown | unsat |
433164413 | shid_entl/lsevenodd_05.sb.smt2 | 8318826 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289515 | 0.377017 | 113176.0 | starexec-unknown | unsat |
433164436 | shid_entl/lsevenodd_06.sb.smt2 | 8318849 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28967 | 0.327519 | 113176.0 | starexec-unknown | unsat |
433164468 | shid_entl/lsevenodd_07.sb.smt2 | 8318881 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288639 | 0.282682 | 113176.0 | starexec-unknown | unsat |
433164421 | shid_entl/lsevenodd_08.sb.smt2 | 8318834 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288454 | 0.282508 | 113176.0 | starexec-unknown | unsat |
433164403 | shid_entl/lsevenodd_10.sb.smt2 | 8318816 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290941 | 0.320095 | 113176.0 | starexec-unknown | unsat |
433164462 | shid_entl/lsevenodd_12.sb.smt2 | 8318875 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288875 | 0.281755 | 113176.0 | starexec-unknown | unsat |
433164452 | shid_entl/lsevenodd_13.sb.smt2 | 8318865 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292789 | 0.285317 | 113176.0 | starexec-unknown | unsat |
433164450 | shid_entl/lsevenodd_17.sb.smt2 | 8318863 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28892 | 0.31543 | 113176.0 | starexec-unknown | unsat |
433164404 | shid_entl/lsevenodd_18.sb.smt2 | 8318817 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28927 | 0.281853 | 113176.0 | starexec-unknown | unsat |
433164427 | shid_entl/lsevenodd_19.sb.smt2 | 8318840 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289547 | 0.282037 | 113176.0 | starexec-unknown | unsat |
433164466 | shid_entl/lsevenodd_20.sb.smt2 | 8318879 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289756 | 0.315593 | 113176.0 | starexec-unknown | unsat |
433164438 | shid_entl/lsevenodd_ls2_03.sb.smt2 | 8318851 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287616 | 0.281669 | 113176.0 | starexec-unknown | unsat |
433164411 | shid_entl/lsevenodd_ls2_04.sb.smt2 | 8318824 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288509 | 0.282556 | 113176.0 | starexec-unknown | unsat |
433164437 | shid_entl/lsevenodd_ls2_07.sb.smt2 | 8318850 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287607 | 0.281331 | 113176.0 | starexec-unknown | unsat |
433164412 | shid_entl/lsevenodd_ls2_08.sb.smt2 | 8318825 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287747 | 0.321557 | 113176.0 | starexec-unknown | unsat |
433164428 | shid_entl/lsevenodd_ls2_10.sb.smt2 | 8318841 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288167 | 0.280569 | 113176.0 | starexec-unknown | unsat |
433164405 | shid_entl/lsevenodd_ls2_11.sb.smt2 | 8318818 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289697 | 0.331026 | 113176.0 | starexec-unknown | unsat |
433164447 | shid_entl/lsevenodd_ls2_12.sb.smt2 | 8318860 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289892 | 0.282339 | 113176.0 | starexec-unknown | unsat |
433164420 | shid_entl/lsleftright_03.sb.smt2 | 8318833 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290018 | 0.320412 | 113176.0 | starexec-unknown | unsat |
433164457 | shid_entl/ls_entail_ls2_01.sb.smt2 | 8318870 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289185 | 0.282978 | 113176.0 | starexec-unknown | unsat |
433164408 | shid_entl/ls_entail_ls2_03.sb.smt2 | 8318821 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286887 | 0.280639 | 113176.0 | starexec-unknown | unsat |
433164470 | shid_entl/ls_even_split_ls_even.sb.smt2 | 8318883 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.305754 | 0.298455 | 113176.0 | unsat | unsat |
433164429 | shid_entl/ls_lsrev_concat_entail_split_1.sb.smt2 | 8318842 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.570142 | 0.561076 | 113176.0 | starexec-unknown | unsat |
433164461 | shid_entl/ls_lsrev_concat_entail_split_2.sb.smt2 | 8318874 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.58029 | 0.571856 | 414520.0 | starexec-unknown | unsat |
433164451 | shid_entl/ls_lsrev_concat_entail_split_3.sb.smt2 | 8318864 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.582353 | 0.573505 | 414544.0 | starexec-unknown | unsat |
433164402 | shid_entl/ls_lsrev_concat_entail_split_4.sb.smt2 | 8318815 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.580121 | 0.570786 | 414544.0 | starexec-unknown | unsat |
433164446 | shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt2 | 8318859 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289827 | 0.318239 | 113176.0 | starexec-unknown | unsat |
433164409 | shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt2 | 8318822 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288163 | 0.282014 | 113176.0 | starexec-unknown | unsat |
433164430 | shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt2 | 8318843 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289141 | 0.283491 | 113176.0 | starexec-unknown | unsat |
433164459 | shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt2 | 8318872 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286154 | 0.280369 | 113176.0 | starexec-unknown | unsat |
433164439 | shid_entl/ls_odd_split_ls_even_node.sb.smt2 | 8318852 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.327582 | 0.380233 | 113176.0 | starexec-unknown | unsat |
433164469 | shid_entl/ls_odd_split_ls_even_odd.sb.smt2 | 8318882 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.320139 | 0.342319 | 113176.0 | unsat | unsat |
433164444 | shid_entl/ls_split_ls.sb.smt2 | 8318857 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.319254 | 0.384892 | 113176.0 | unsat | unsat |
433164453 | shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318866 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.33725 | 0.388152 | 113176.0 | unsat | unsat |
433164410 | shid_entl/node-node-dll-entails-dll.smt2 | 8318823 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287868 | 0.279365 | 113176.0 | unsat | unsat |
433164467 | shid_entl/node-tll-tll-entails-tll.smt2 | 8318880 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.299821 | 0.316205 | 113176.0 | unsat | unsat |
433164440 | shid_entl/tll-entails-node-tll-tll.smt2 | 8318853 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.346665 | 0.358272 | 113176.0 | starexec-unknown | sat |
433164458 | shid_entl/tll-ravioli-existential.smt2 | 8318871 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.295465 | 0.286562 | 113176.0 | unsat | unsat |
433164399 | shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt2 | 8318812 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.481329 | 0.47239 | 113176.0 | starexec-unknown | unsat |
433164445 | shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt2 | 8318858 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.483831 | 0.47477 | 113176.0 | starexec-unknown | unsat |
433164454 | shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt2 | 8318867 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.48393 | 0.475166 | 113176.0 | starexec-unknown | unsat |
433164442 | shid_entl/tree_entail_tseg_unk-1.sb.smt2 | 8318855 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.466822 | 0.557574 | 414544.0 | unsat | unsat |
433164401 | shid_entl/tree_entail_tseg_unk-2.sb.smt2 | 8318814 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.436845 | 0.427958 | 113176.0 | starexec-unknown | unsat |
433164416 | shid_entl/tree_split_tseg-1.sb.smt2 | 8318829 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290523 | 0.281415 | 113176.0 | starexec-unknown | unsat |
433164435 | shid_entl/tree_split_tseg-2.sb.smt2 | 8318848 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.420292 | 0.410844 | 113176.0 | starexec-unknown | unsat |
433164418 | shid_entl/tseg_join_2_entail_tree_unk.sb.smt2 | 8318831 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.673616 | 0.694404 | 414544.0 | unsat | unsat |
433164449 | shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt2 | 8318862 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.471726 | 0.463229 | 113176.0 | starexec-unknown | unsat |
433164407 | shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt2 | 8318820 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.718779 | 0.749548 | 414552.0 | starexec-unknown | unsat |
433164417 | shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt2 | 8318830 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.407337 | 0.398278 | 113176.0 | starexec-unknown | unsat |
433164441 | shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt2 | 8318854 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.532156 | 0.529848 | 113176.0 | starexec-unknown | unsat |
433164471 | shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt2 | 8318884 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.56983 | 0.561604 | 113176.0 | starexec-unknown | unsat |
433164425 | shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt2 | 8318838 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.587837 | 0.578654 | 113176.0 | starexec-unknown | unsat |