433164560 | shid_entl/dll-entails-node-dll-rev.smt2 | 8318827 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01588 | 0.0369559 | 113176.0 | sat | sat |
433164606 | shid_entl/dll-entails-node-node-dll.smt2 | 8318873 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015503 | 0.052418 | 113176.0 | sat | sat |
433164570 | shid_entl/dll-spaghetti-existential.smt2 | 8318837 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 190.55 | 190.413 | 1986456.0 | starexec-unknown | unsat |
433164565 | shid_entl/dll2-spaghetti-existential.smt2 | 8318832 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 35.15 | 35.2577 | 559572.0 | unsat | unsat |
433164546 | shid_entl/dllnull_entails_dll.sb.smt2 | 8318813 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.041486 | 0.077535 | 113176.0 | unsat | unsat |
433164572 | shid_entl/dllnull_entails_dllrev.sb.smt2 | 8318839 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.07224 | 0.12208 | 113176.0 | unsat | unsat |
433164552 | shid_entl/dll_concat_dllrev_get_last.sb.smt2 | 8318819 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.09 | 1.10598 | 181884.0 | unsat | unsat |
433164594 | shid_entl/dll_entails_ls_node.sb.smt2 | 8318861 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.047447 | 0.088963 | 113176.0 | unsat | unsat |
433164589 | shid_entl/dll_entails_node_lsrev.sb.smt2 | 8318856 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.088311 | 0.138691 | 113176.0 | unsat | unsat |
433164577 | shid_entl/eolseg_03.sb.smt2 | 8318844 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.3 | 3.33139 | 200144.0 | unsat | unsat |
433164601 | shid_entl/eolseg_04.sb.smt2 | 8318868 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.11 | 2.09708 | 189020.0 | unsat | unsat |
433164602 | shid_entl/eolseg_08.sb.smt2 | 8318869 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.85159 | 178652.0 | unsat | unsat |
433164579 | shid_entl/eolseg_10.sb.smt2 | 8318846 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 47.51 | 47.1607 | 621060.0 | unsat | unsat |
433164610 | shid_entl/eolseg_11.sb.smt2 | 8318877 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.54 | 2.59201 | 195552.0 | unsat | unsat |
433164561 | shid_entl/eolseg_13.sb.smt2 | 8318828 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.7 | 0.778471 | 178708.0 | unsat | unsat |
433164580 | shid_entl/eolseg_14.sb.smt2 | 8318847 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.268687 | 0.473112 | 113176.0 | unsat | unsat |
433164568 | shid_entl/eolseg_16.sb.smt2 | 8318835 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.09 | 1.11248 | 186424.0 | unsat | unsat |
433164609 | shid_entl/ls2_entail_ls_02.sb.smt2 | 8318876 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.46 | 5.46428 | 223404.0 | unsat | unsat |
433164578 | shid_entl/ls2_entail_ls_03.sb.smt2 | 8318845 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.24 | 5.2777 | 241704.0 | unsat | unsat |
433164569 | shid_entl/ls2_entail_ls_05.sb.smt2 | 8318836 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.75 | 5.74447 | 223684.0 | unsat | unsat |
433164611 | shid_entl/ls2_entail_ls_06.sb.smt2 | 8318878 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.34 | 5.31863 | 252632.0 | unsat | unsat |
433164559 | shid_entl/lsevenodd_05.sb.smt2 | 8318826 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.99 | 1.04269 | 181880.0 | unsat | unsat |
433164582 | shid_entl/lsevenodd_06.sb.smt2 | 8318849 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.98 | 1.04373 | 181524.0 | unsat | unsat |
433164614 | shid_entl/lsevenodd_07.sb.smt2 | 8318881 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.989302 | 181524.0 | unsat | unsat |
433164567 | shid_entl/lsevenodd_08.sb.smt2 | 8318834 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.96 | 1.02712 | 179748.0 | unsat | unsat |
433164549 | shid_entl/lsevenodd_10.sb.smt2 | 8318816 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.36895 | 0.564521 | 113176.0 | unsat | unsat |
433164608 | shid_entl/lsevenodd_12.sb.smt2 | 8318875 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.54 | 0.609295 | 175684.0 | unsat | unsat |
433164598 | shid_entl/lsevenodd_13.sb.smt2 | 8318865 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.5 | 0.570992 | 175692.0 | unsat | unsat |
433164596 | shid_entl/lsevenodd_17.sb.smt2 | 8318863 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.82 | 0.846616 | 180092.0 | unsat | unsat |
433164550 | shid_entl/lsevenodd_18.sb.smt2 | 8318817 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.85 | 0.894083 | 180084.0 | unsat | unsat |
433164573 | shid_entl/lsevenodd_19.sb.smt2 | 8318840 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.83794 | 178552.0 | unsat | unsat |
433164612 | shid_entl/lsevenodd_20.sb.smt2 | 8318879 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.01 | 1.06225 | 181524.0 | unsat | unsat |
433164584 | shid_entl/lsevenodd_ls2_03.sb.smt2 | 8318851 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.326787 | 0.513139 | 113176.0 | unsat | unsat |
433164557 | shid_entl/lsevenodd_ls2_04.sb.smt2 | 8318824 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.303211 | 0.475416 | 113176.0 | unsat | unsat |
433164583 | shid_entl/lsevenodd_ls2_07.sb.smt2 | 8318850 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.29 | 1.32862 | 189076.0 | unsat | unsat |
433164558 | shid_entl/lsevenodd_ls2_08.sb.smt2 | 8318825 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.2 | 1.2607 | 189076.0 | unsat | unsat |
433164574 | shid_entl/lsevenodd_ls2_10.sb.smt2 | 8318841 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.08 | 1.10876 | 186404.0 | unsat | unsat |
433164551 | shid_entl/lsevenodd_ls2_11.sb.smt2 | 8318818 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.320928 | 0.513263 | 113176.0 | unsat | unsat |
433164593 | shid_entl/lsevenodd_ls2_12.sb.smt2 | 8318860 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.54 | 0.574169 | 177176.0 | unsat | unsat |
433164566 | shid_entl/lsleftright_03.sb.smt2 | 8318833 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.74 | 0.764717 | 176040.0 | unsat | unsat |
433164603 | shid_entl/ls_entail_ls2_01.sb.smt2 | 8318870 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.276877 | 0.429166 | 113176.0 | unsat | unsat |
433164554 | shid_entl/ls_entail_ls2_03.sb.smt2 | 8318821 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.943493 | 184040.0 | unsat | unsat |
433164616 | shid_entl/ls_even_split_ls_even.sb.smt2 | 8318883 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.037539 | 0.0653019 | 113176.0 | unsat | unsat |
433164575 | shid_entl/ls_lsrev_concat_entail_split_1.sb.smt2 | 8318842 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 15.02 | 14.834 | 338396.0 | unsat | unsat |
433164607 | shid_entl/ls_lsrev_concat_entail_split_2.sb.smt2 | 8318874 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.97 | 4.92061 | 232364.0 | unsat | unsat |
433164597 | shid_entl/ls_lsrev_concat_entail_split_3.sb.smt2 | 8318864 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.08 | 5.07416 | 232368.0 | unsat | unsat |
433164548 | shid_entl/ls_lsrev_concat_entail_split_4.sb.smt2 | 8318815 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 51.39 | 50.8353 | 620460.0 | unsat | unsat |
433164592 | shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt2 | 8318859 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.29 | 1.31069 | 181536.0 | unsat | unsat |
433164555 | shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt2 | 8318822 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.53 | 0.606343 | 176096.0 | unsat | unsat |
433164576 | shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt2 | 8318843 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.809823 | 180144.0 | unsat | unsat |
433164605 | shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt2 | 8318872 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.58 | 0.612524 | 177256.0 | unsat | unsat |
433164585 | shid_entl/ls_odd_split_ls_even_node.sb.smt2 | 8318852 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.051406 | 0.0869441 | 113176.0 | unsat | unsat |
433164615 | shid_entl/ls_odd_split_ls_even_odd.sb.smt2 | 8318882 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030937 | 0.0567479 | 113176.0 | unsat | unsat |
433164590 | shid_entl/ls_split_ls.sb.smt2 | 8318857 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035594 | 0.063248 | 113176.0 | unsat | unsat |
433164599 | shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318866 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.71 | 1.69657 | 188612.0 | unsat | unsat |
433164556 | shid_entl/node-node-dll-entails-dll.smt2 | 8318823 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.71 | 1.78813 | 188708.0 | unsat | unsat |
433164613 | shid_entl/node-tll-tll-entails-tll.smt2 | 8318880 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.1 | 5.11252 | 252472.0 | unsat | unsat |
433164586 | shid_entl/tll-entails-node-tll-tll.smt2 | 8318853 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017368 | 0.0326801 | 113176.0 | sat | sat |
433164604 | shid_entl/tll-ravioli-existential.smt2 | 8318871 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 18.27 | 18.3341 | 301260.0 | unsat | unsat |
433164545 | shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt2 | 8318812 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 131.36 | 130.647 | 1544128.0 | unsat | unsat |
433164591 | shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt2 | 8318858 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 131.34 | 130.656 | 1544128.0 | unsat | unsat |
433164600 | shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt2 | 8318867 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 131.34 | 130.635 | 1072648.0 | unsat | unsat |
433164588 | shid_entl/tree_entail_tseg_unk-1.sb.smt2 | 8318855 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.55 | 6.57795 | 315952.0 | unsat | unsat |
433164547 | shid_entl/tree_entail_tseg_unk-2.sb.smt2 | 8318814 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 10.77 | 10.6735 | 363304.0 | unsat | unsat |
433164562 | shid_entl/tree_split_tseg-1.sb.smt2 | 8318829 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 59.78 | 59.3428 | 953520.0 | unsat | unsat |
433164581 | shid_entl/tree_split_tseg-2.sb.smt2 | 8318848 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 180.61 | 180.159 | 5722820.0 | starexec-unknown | unsat |
433164564 | shid_entl/tseg_join_2_entail_tree_unk.sb.smt2 | 8318831 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 60.27 | 60.0804 | 764292.0 | unsat | unsat |
433164595 | shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt2 | 8318862 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.13 | 5.11274 | 279192.0 | unsat | unsat |
433164553 | shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt2 | 8318820 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 24.06 | 23.9 | 511636.0 | unsat | unsat |
433164563 | shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt2 | 8318830 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 59.7 | 59.487 | 684212.0 | unsat | unsat |
433164587 | shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt2 | 8318854 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.08 | 8.02741 | 315884.0 | unsat | unsat |
433164617 | shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt2 | 8318884 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 64.36 | 63.9601 | 1205564.0 | unsat | unsat |
433164571 | shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt2 | 8318838 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 63.32 | 62.7868 | 852012.0 | starexec-unknown | unsat |