430511424 | qf_shidlia_entl/dll-entl-01.smt2 | 8318769 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 136.03 | 133.918 | 617740.0 | unsat | unsat |
430511399 | qf_shidlia_entl/dll-entl-02.smt2 | 8318744 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.77 | 0.805143 | 188964.0 | sat | sat |
430511379 | qf_shidlia_entl/dll-entl-03.smt2 | 8318724 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 142.67 | 141.197 | 695952.0 | starexec-unknown | unsat |
430511414 | qf_shidlia_entl/dll-entl-04.smt2 | 8318759 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 184.22 | 180.807 | 957132.0 | starexec-unknown | unsat |
430511422 | qf_shidlia_entl/dll-entl-05.smt2 | 8318767 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.552001 | 0.587681 | 113176.0 | sat | sat |
430511396 | qf_shidlia_entl/dll-entl-06.smt2 | 8318741 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.33202 | 0.367415 | 113176.0 | sat | sat |
430511376 | qf_shidlia_entl/dll-entl-07.smt2 | 8318721 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.114064 | 0.225541 | 113176.0 | unsat | unsat |
430511410 | qf_shidlia_entl/dll-entl-08.smt2 | 8318755 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.025523 | 0.05248 | 113176.0 | sat | sat |
430511433 | qf_shidlia_entl/dll-entl-09.smt2 | 8318778 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019093 | 0.045192 | 113176.0 | unsat | unsat |
430511409 | qf_shidlia_entl/dll-entl-10.smt2 | 8318754 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.240069 | 0.392407 | 113176.0 | unsat | unsat |
430511429 | qf_shidlia_entl/dll-entl-11.smt2 | 8318774 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020151 | 0.04665 | 113176.0 | sat | sat |
430511393 | qf_shidlia_entl/dll-entl-12.smt2 | 8318738 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.14 | 4.17239 | 200088.0 | unsat | unsat |
430511385 | qf_shidlia_entl/dll-entl-13.smt2 | 8318730 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.57892 | 0.614301 | 185904.0 | sat | sat |
430511405 | qf_shidlia_entl/dll-entl-14.smt2 | 8318750 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.6 | 0.622846 | 185900.0 | sat | sat |
430511426 | qf_shidlia_entl/dll-entl-15.smt2 | 8318771 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.608642 | 0.648023 | 183560.0 | sat | sat |
430511404 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len.sb.smt2 | 8318749 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.31 | 4.30862 | 191844.0 | unsat | unsat |
430511391 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-1.sb.smt2 | 8318736 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 47.58 | 47.401 | 301740.0 | unsat | unsat |
430511428 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-2.sb.smt2 | 8318773 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 19.3 | 19.2807 | 242160.0 | unsat | unsat |
430511406 | qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-3.sb.smt2 | 8318751 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.39 | 6.42709 | 176444.0 | unsat | unsat |
430511386 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull.sb.smt2 | 8318731 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.62 | 2.69118 | 176444.0 | unsat | unsat |
430511383 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull_num-1.sb.smt2 | 8318728 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 15.76 | 15.7338 | 176444.0 | unsat | unsat |
430511403 | qf_shidlia_entl/dll_len_append_tail_entails_dllnull_num-2.sb.smt2 | 8318748 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 29.89 | 29.6411 | 363920.0 | unsat | unsat |
430511407 | qf_shidlia_entl/dll_len_entails_lspre_len.sb.smt2 | 8318752 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.102104 | 0.268938 | 113176.0 | unsat | unsat |
430511416 | qf_shidlia_entl/dll_len_entails_lspre_len_num-1.sb.smt2 | 8318761 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.88 | 5.94766 | 236844.0 | unsat | unsat |
430511373 | qf_shidlia_entl/dll_len_entails_lspre_len_num-2.sb.smt2 | 8318718 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 51.28 | 50.9869 | 830380.0 | unsat | unsat |
430511384 | qf_shidlia_entl/dll_len_entails_lsrev_len.sb.smt2 | 8318729 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.172837 | 0.336907 | 113176.0 | unsat | unsat |
430511387 | qf_shidlia_entl/dll_len_entails_lsrev_len_num-1.sb.smt2 | 8318732 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.87 | 5.92563 | 239684.0 | unsat | unsat |
430511411 | qf_shidlia_entl/dll_len_entails_lsrev_len_num-2.sb.smt2 | 8318756 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 51.3 | 50.9511 | 830376.0 | unsat | unsat |
430511401 | qf_shidlia_entl/dll_len_entails_ls_len.sb.smt2 | 8318746 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.090602 | 0.249495 | 113176.0 | unsat | unsat |
430511382 | qf_shidlia_entl/dll_len_entails_ls_len_num-1.sb.smt2 | 8318727 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.82 | 1.83832 | 175332.0 | unsat | unsat |
430511418 | qf_shidlia_entl/dll_len_entails_ls_len_num-2.sb.smt2 | 8318763 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 22.48 | 22.2058 | 427412.0 | unsat | unsat |
430511397 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len.sb.smt2 | 8318742 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.64 | 2.67561 | 176444.0 | unsat | unsat |
430511420 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len_num-1.sb.smt2 | 8318765 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.33 | 6.32933 | 176444.0 | unsat | unsat |
430511378 | qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len_num-2.sb.smt2 | 8318723 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 14.22 | 14.1213 | 282008.0 | unsat | unsat |
430511417 | qf_shidlia_entl/ls-entl-01.smt2 | 8318762 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.4 | 1.3864 | 179884.0 | unsat | unsat |
430511377 | qf_shidlia_entl/ls-entl-02.smt2 | 8318722 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.047369 | 0.105652 | 113176.0 | sat | sat |
430511398 | qf_shidlia_entl/ls-entl-03.smt2 | 8318743 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 149.81 | 148.332 | 635400.0 | starexec-unknown | unsat |
430511423 | qf_shidlia_entl/ls-entl-04.smt2 | 8318768 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059128 | 0.125261 | 113176.0 | sat | sat |
430511415 | qf_shidlia_entl/ls-entl-05.smt2 | 8318760 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.051715 | 0.0862571 | 113176.0 | unsat | unsat |
430511375 | qf_shidlia_entl/ls-entl-06.smt2 | 8318720 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017161 | 0.0415061 | 113176.0 | sat | sat |
430511395 | qf_shidlia_entl/ls-entl-07.smt2 | 8318740 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 198.33 | 197.049 | 539816.0 | starexec-unknown | unsat |
430511380 | qf_shidlia_entl/ls_append_node.sb.smt2 | 8318725 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.78 | 1.79623 | 172152.0 | unsat | unsat |
430511432 | qf_shidlia_entl/ls_combine_ls.sb.smt2 | 8318777 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.11 | 7.15888 | 238724.0 | unsat | unsat |
430511394 | qf_shidlia_entl/sls_join_2.sb.smt2 | 8318739 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.84 | 2.89524 | 192248.0 | unsat | unsat |
430511390 | qf_shidlia_entl/sls_join_2_known_bnd.sb.smt2 | 8318735 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.22 | 3.24349 | 184276.0 | unsat | unsat |
430511430 | qf_shidlia_entl/sls_join_2_no_cond.sb.smt2 | 8318775 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.58 | 4.58427 | 195980.0 | unsat | unsat |
430511388 | qf_shidlia_entl/sls_join_2_unk_lower_bnd.sb.smt2 | 8318733 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.72 | 4.69024 | 195980.0 | unsat | unsat |
430511374 | qf_shidlia_entl/sls_join_2_unk_upper_bnd.sb.smt2 | 8318719 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.65 | 4.63514 | 195980.0 | unsat | unsat |
430511389 | qf_shidlia_entl/sls_join_3.sb.smt2 | 8318734 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 82.05 | 81.0679 | 298088.0 | unsat | unsat |
430511412 | qf_shidlia_entl/sls_join_3_2_cond.sb.smt2 | 8318757 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 82.14 | 81.1328 | 298088.0 | unsat | unsat |
430511425 | qf_shidlia_entl/sls_join_3_no_cond.sb.smt2 | 8318770 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.07 | 7.03597 | 210464.0 | unsat | unsat |
430511400 | qf_shidlia_entl/sls_join_3_unk_lower_bnd.sb.smt2 | 8318745 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 76.22 | 75.3204 | 234284.0 | unsat | unsat |
430511392 | qf_shidlia_entl/sls_join_3_unk_upper_bnd.sb.smt2 | 8318737 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.06 | 7.00966 | 210500.0 | unsat | unsat |
430511402 | qf_shidlia_entl/sls_join_4_1_cond_unk_both.sb.smt2 | 8318747 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 88.58 | 87.6269 | 365860.0 | unsat | unsat |
430511413 | qf_shidlia_entl/sls_join_4_1_cond_unk_lower_bnd.sb.smt2 | 8318758 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.05 | 7.0362 | 210452.0 | unsat | unsat |
430511408 | qf_shidlia_entl/sls_join_4_1_cond_unk_upper_bnd.sb.smt2 | 8318753 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.04531 | 7.07215 | 216620.0 | unsat | unsat |
430511431 | qf_shidlia_entl/sls_join_4_2_cond_unk_lower_bnd.sb.smt2 | 8318776 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 90.67 | 89.6358 | 394768.0 | unsat | unsat |
430511421 | qf_shidlia_entl/sls_join_4_2_cond_unk_upper_bnd.sb.smt2 | 8318766 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 89.53 | 88.5358 | 365700.0 | unsat | unsat |
430511419 | qf_shidlia_entl/sls_join_4_3_cond.sb.smt2 | 8318764 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 133.55 | 132.409 | 1073532.0 | unsat | unsat |
430511381 | qf_shidlia_entl/sls_join_4_no_cond.sb.smt2 | 8318726 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.06 | 7.05785 | 210432.0 | unsat | unsat |
430511427 | qf_shidlia_entl/tseg_size_join_tree_size_entail_tree.sb.smt2 | 8318772 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.57 | 5.56664 | 279404.0 | unsat | unsat |