430234843 | shid_entl/dll-entails-node-dll-rev.smt2 | 8318827 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017158 | 0.0385769 | 113176.0 | sat | sat |
430234889 | shid_entl/dll-entails-node-node-dll.smt2 | 8318873 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01599 | 0.0529081 | 113176.0 | sat | sat |
430234853 | shid_entl/dll-spaghetti-existential.smt2 | 8318837 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 190.48 | 190.355 | 1986460.0 | starexec-unknown | unsat |
430234848 | shid_entl/dll2-spaghetti-existential.smt2 | 8318832 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 35.07 | 35.1283 | 559568.0 | unsat | unsat |
430234829 | shid_entl/dllnull_entails_dll.sb.smt2 | 8318813 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.041457 | 0.0771579 | 113176.0 | unsat | unsat |
430234855 | shid_entl/dllnull_entails_dllrev.sb.smt2 | 8318839 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.073728 | 0.125294 | 113176.0 | unsat | unsat |
430234835 | shid_entl/dll_concat_dllrev_get_last.sb.smt2 | 8318819 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.09 | 1.11145 | 181884.0 | unsat | unsat |
430234877 | shid_entl/dll_entails_ls_node.sb.smt2 | 8318861 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.048564 | 0.090093 | 113176.0 | unsat | unsat |
430234872 | shid_entl/dll_entails_node_lsrev.sb.smt2 | 8318856 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.085645 | 0.13637 | 113176.0 | unsat | unsat |
430234860 | shid_entl/eolseg_03.sb.smt2 | 8318844 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.32 | 3.33339 | 200144.0 | unsat | unsat |
430234884 | shid_entl/eolseg_04.sb.smt2 | 8318868 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.01 | 2.0871 | 188756.0 | unsat | unsat |
430234885 | shid_entl/eolseg_08.sb.smt2 | 8318869 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.77 | 0.847685 | 178652.0 | unsat | unsat |
430234862 | shid_entl/eolseg_10.sb.smt2 | 8318846 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 47.52 | 47.1531 | 621060.0 | unsat | unsat |
430234893 | shid_entl/eolseg_11.sb.smt2 | 8318877 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.63 | 2.62797 | 195552.0 | unsat | unsat |
430234844 | shid_entl/eolseg_13.sb.smt2 | 8318828 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.69 | 0.77127 | 178708.0 | unsat | unsat |
430234863 | shid_entl/eolseg_14.sb.smt2 | 8318847 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.273987 | 0.479912 | 113176.0 | unsat | unsat |
430234851 | shid_entl/eolseg_16.sb.smt2 | 8318835 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.09 | 1.11114 | 186424.0 | unsat | unsat |
430234892 | shid_entl/ls2_entail_ls_02.sb.smt2 | 8318876 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.43 | 5.46165 | 223404.0 | unsat | unsat |
430234861 | shid_entl/ls2_entail_ls_03.sb.smt2 | 8318845 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.27 | 5.27508 | 241704.0 | unsat | unsat |
430234852 | shid_entl/ls2_entail_ls_05.sb.smt2 | 8318836 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.75 | 5.73717 | 232172.0 | unsat | unsat |
430234894 | shid_entl/ls2_entail_ls_06.sb.smt2 | 8318878 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.28636 | 5.3265 | 252632.0 | unsat | unsat |
430234842 | shid_entl/lsevenodd_05.sb.smt2 | 8318826 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.94 | 1.02204 | 181528.0 | unsat | unsat |
430234865 | shid_entl/lsevenodd_06.sb.smt2 | 8318849 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.99 | 1.04012 | 181524.0 | unsat | unsat |
430234897 | shid_entl/lsevenodd_07.sb.smt2 | 8318881 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.96 | 0.975882 | 181864.0 | unsat | unsat |
430234850 | shid_entl/lsevenodd_08.sb.smt2 | 8318834 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.01 | 1.02462 | 181872.0 | unsat | unsat |
430234832 | shid_entl/lsevenodd_10.sb.smt2 | 8318816 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.368793 | 0.562016 | 113176.0 | unsat | unsat |
430234891 | shid_entl/lsevenodd_12.sb.smt2 | 8318875 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.58 | 0.610491 | 176012.0 | unsat | unsat |
430234881 | shid_entl/lsevenodd_13.sb.smt2 | 8318865 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.53 | 0.57 | 176008.0 | unsat | unsat |
430234879 | shid_entl/lsevenodd_17.sb.smt2 | 8318863 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.82 | 0.850397 | 180092.0 | unsat | unsat |
430234833 | shid_entl/lsevenodd_18.sb.smt2 | 8318817 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.87 | 0.891558 | 180084.0 | unsat | unsat |
430234856 | shid_entl/lsevenodd_19.sb.smt2 | 8318840 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.82 | 0.836797 | 180096.0 | unsat | unsat |
430234895 | shid_entl/lsevenodd_20.sb.smt2 | 8318879 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.97 | 1.05072 | 181524.0 | unsat | unsat |
430234867 | shid_entl/lsevenodd_ls2_03.sb.smt2 | 8318851 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.323148 | 0.510109 | 113176.0 | unsat | unsat |
430234840 | shid_entl/lsevenodd_ls2_04.sb.smt2 | 8318824 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.303509 | 0.472793 | 113176.0 | unsat | unsat |
430234866 | shid_entl/lsevenodd_ls2_07.sb.smt2 | 8318850 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.22 | 1.31765 | 189076.0 | unsat | unsat |
430234841 | shid_entl/lsevenodd_ls2_08.sb.smt2 | 8318825 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.22 | 1.2605 | 189076.0 | unsat | unsat |
430234857 | shid_entl/lsevenodd_ls2_10.sb.smt2 | 8318841 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.08 | 1.11206 | 186404.0 | unsat | unsat |
430234834 | shid_entl/lsevenodd_ls2_11.sb.smt2 | 8318818 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.317787 | 0.512089 | 113176.0 | unsat | unsat |
430234876 | shid_entl/lsevenodd_ls2_12.sb.smt2 | 8318860 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.356856 | 0.562546 | 113176.0 | unsat | unsat |
430234849 | shid_entl/lsleftright_03.sb.smt2 | 8318833 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.71 | 0.757495 | 175692.0 | unsat | unsat |
430234886 | shid_entl/ls_entail_ls2_01.sb.smt2 | 8318870 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.274784 | 0.425972 | 113176.0 | unsat | unsat |
430234837 | shid_entl/ls_entail_ls2_03.sb.smt2 | 8318821 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.942631 | 184040.0 | unsat | unsat |
430234899 | shid_entl/ls_even_split_ls_even.sb.smt2 | 8318883 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.038468 | 0.066111 | 113176.0 | unsat | unsat |
430234858 | shid_entl/ls_lsrev_concat_entail_split_1.sb.smt2 | 8318842 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 15.01 | 14.8784 | 338396.0 | unsat | unsat |
430234890 | shid_entl/ls_lsrev_concat_entail_split_2.sb.smt2 | 8318874 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.91 | 4.89203 | 232364.0 | unsat | unsat |
430234880 | shid_entl/ls_lsrev_concat_entail_split_3.sb.smt2 | 8318864 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.05 | 5.06721 | 232368.0 | unsat | unsat |
430234831 | shid_entl/ls_lsrev_concat_entail_split_4.sb.smt2 | 8318815 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 51.4 | 50.8255 | 687768.0 | unsat | unsat |
430234875 | shid_entl/ls_lsrev_node_concat_entail_split_1.sb.smt2 | 8318859 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.28 | 1.29518 | 181536.0 | unsat | unsat |
430234838 | shid_entl/ls_lsrev_node_concat_entail_split_2.sb.smt2 | 8318822 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.52 | 0.605104 | 176096.0 | unsat | unsat |
430234859 | shid_entl/ls_lsrev_node_concat_entail_split_3.sb.smt2 | 8318843 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.805976 | 180144.0 | unsat | unsat |
430234888 | shid_entl/ls_lsrev_node_concat_entail_split_4.sb.smt2 | 8318872 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.54 | 0.610165 | 177256.0 | unsat | unsat |
430234868 | shid_entl/ls_odd_split_ls_even_node.sb.smt2 | 8318852 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.050884 | 0.0859259 | 113176.0 | unsat | unsat |
430234898 | shid_entl/ls_odd_split_ls_even_odd.sb.smt2 | 8318882 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.031326 | 0.0569321 | 113176.0 | unsat | unsat |
430234873 | shid_entl/ls_split_ls.sb.smt2 | 8318857 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035382 | 0.062226 | 113176.0 | unsat | unsat |
430234882 | shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318866 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.72 | 1.71682 | 188612.0 | unsat | unsat |
430234839 | shid_entl/node-node-dll-entails-dll.smt2 | 8318823 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.76 | 1.7739 | 188708.0 | unsat | unsat |
430234896 | shid_entl/node-tll-tll-entails-tll.smt2 | 8318880 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.05 | 5.08097 | 252472.0 | unsat | unsat |
430234869 | shid_entl/tll-entails-node-tll-tll.smt2 | 8318853 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017047 | 0.0326699 | 113176.0 | sat | sat |
430234887 | shid_entl/tll-ravioli-existential.smt2 | 8318871 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 18.3 | 18.3709 | 301264.0 | unsat | unsat |
430234828 | shid_entl/tree_2_entail_tseg_2_unk-1.sb.smt2 | 8318812 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 131.35 | 130.669 | 1544188.0 | unsat | unsat |
430234874 | shid_entl/tree_2_entail_tseg_2_unk-2.sb.smt2 | 8318858 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 131.36 | 130.657 | 1544128.0 | unsat | unsat |
430234883 | shid_entl/tree_2_entail_tseg_2_unk-3.sb.smt2 | 8318867 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 131.33 | 130.649 | 1072648.0 | unsat | unsat |
430234871 | shid_entl/tree_entail_tseg_unk-1.sb.smt2 | 8318855 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 11.3113 | 6.57769 | 315960.0 | unsat | unsat |
430234830 | shid_entl/tree_entail_tseg_unk-2.sb.smt2 | 8318814 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 10.65 | 10.6212 | 363172.0 | unsat | unsat |
430234845 | shid_entl/tree_split_tseg-1.sb.smt2 | 8318829 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 59.77 | 59.3311 | 953520.0 | unsat | unsat |
430234864 | shid_entl/tree_split_tseg-2.sb.smt2 | 8318848 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 180.65 | 180.143 | 5722820.0 | starexec-unknown | unsat |
430234847 | shid_entl/tseg_join_2_entail_tree_unk.sb.smt2 | 8318831 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 59.69 | 59.4107 | 764008.0 | unsat | unsat |
430234878 | shid_entl/tseg_join_2_entail_unk_tseg-1.sb.smt2 | 8318862 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.07275 | 5.1144 | 279192.0 | unsat | unsat |
430234836 | shid_entl/tseg_join_2_entail_unk_tseg-2.sb.smt2 | 8318820 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 24.0 | 23.8384 | 511592.0 | unsat | unsat |
430234846 | shid_entl/tseg_join_tree_entail_unk_tree-1.sb.smt2 | 8318830 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 59.61 | 59.4276 | 684216.0 | unsat | unsat |
430234870 | shid_entl/tseg_join_tree_entail_unk_tree-2.sb.smt2 | 8318854 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.08 | 8.0221 | 315884.0 | unsat | unsat |
430234900 | shid_entl/tseg_join_tree_entail_unk_tseg-1.sb.smt2 | 8318884 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 64.46 | 64.0266 | 1206204.0 | unsat | unsat |
430234854 | shid_entl/tseg_join_tree_entail_unk_tseg-2.sb.smt2 | 8318838 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 63.36 | 62.817 | 852012.0 | starexec-unknown | unsat |