430114546 | shidlia_entl/dllnull_len_entails_dllrev_len.sb.smt2 | 8318964 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.169661 | 0.165956 | 113176.0 | unsat | unsat |
430114513 | shidlia_entl/dllnull_len_entails_dllrev_len_num-1.sb.smt2 | 8318931 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.172871 | 0.169948 | 113176.0 | unsat | unsat |
430114628 | shidlia_entl/dllnull_len_entails_dllrev_len_num-2.sb.smt2 | 8319046 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.171118 | 0.167425 | 113176.0 | unsat | unsat |
430114591 | shidlia_entl/dllnull_len_entails_dll_len.sb.smt2 | 8319009 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.171478 | 0.167967 | 113176.0 | unsat | unsat |
430114490 | shidlia_entl/dllnull_len_entails_dll_len_num-1.sb.smt2 | 8318908 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.171133 | 0.1675 | 113176.0 | unsat | unsat |
430114562 | shidlia_entl/dllnull_len_entails_dll_len_num-2.sb.smt2 | 8318980 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.17674 | 0.172863 | 113176.0 | unsat | unsat |
430114573 | shidlia_entl/dllnull_len_split_dllrevs.sb.smt2 | 8318991 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.169007 | 0.165434 | 113176.0 | unsat | unsat |
430114498 | shidlia_entl/dllnull_len_split_dllrevs_num-1.sb.smt2 | 8318916 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.175777 | 0.171896 | 113176.0 | unsat | unsat |
430114578 | shidlia_entl/dllnull_len_split_dllrevs_num-2.sb.smt2 | 8318996 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.169689 | 0.165903 | 113176.0 | unsat | unsat |
430114645 | shidlia_entl/dllnull_len_split_dllrevs_num-3.sb.smt2 | 8319063 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.173735 | 0.169878 | 113176.0 | unsat | unsat |
430114522 | shidlia_entl/dllnull_len_split_dllrevs_num-4.sb.smt2 | 8318940 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.17398 | 0.170103 | 113176.0 | unsat | unsat |
430114495 | shidlia_entl/dllnull_len_split_dllrevs_num-5.sb.smt2 | 8318913 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.174173 | 0.172054 | 113176.0 | unsat | unsat |
430114582 | shidlia_entl/dllnull_len_split_dllrev_dll.sb.smt2 | 8319000 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.251024 | 0.245848 | 113176.0 | unsat | unsat |
430114471 | shidlia_entl/dllnull_len_split_dllrev_dll_node.sb.smt2 | 8318889 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.255485 | 0.250666 | 113176.0 | unsat | unsat |
430114558 | shidlia_entl/dllnull_len_split_dllrev_dll_node_num-1.sb.smt2 | 8318976 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.251228 | 0.249403 | 113176.0 | unsat | unsat |
430114492 | shidlia_entl/dllnull_len_split_dllrev_dll_node_num-2.sb.smt2 | 8318910 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.254151 | 0.249232 | 113176.0 | unsat | unsat |
430114514 | shidlia_entl/dllnull_len_split_dllrev_dll_node_num-3.sb.smt2 | 8318932 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.249288 | 0.245681 | 113176.0 | unsat | unsat |
430114629 | shidlia_entl/dllnull_len_split_dllrev_dll_node_num-4.sb.smt2 | 8319047 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.249257 | 0.247522 | 113176.0 | unsat | unsat |
430114555 | shidlia_entl/dllnull_len_split_dllrev_dll_node_num-5.sb.smt2 | 8318973 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.250341 | 0.245283 | 113176.0 | unsat | unsat |
430114622 | shidlia_entl/dllnull_len_split_dllrev_dll_num-1.sb.smt2 | 8319040 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.252424 | 0.247762 | 113176.0 | unsat | unsat |
430114544 | shidlia_entl/dllnull_len_split_dllrev_dll_num-2.sb.smt2 | 8318962 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.252925 | 0.248146 | 113176.0 | unsat | unsat |
430114478 | shidlia_entl/dllnull_len_split_dllrev_dll_num-3.sb.smt2 | 8318896 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.257774 | 0.252392 | 113176.0 | unsat | unsat |
430114592 | shidlia_entl/dllnull_len_split_dllrev_dll_num-4.sb.smt2 | 8319010 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.25438 | 0.252858 | 113176.0 | unsat | unsat |
430114620 | shidlia_entl/dllnull_len_split_dllrev_dll_num-5.sb.smt2 | 8319038 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.255414 | 0.250314 | 113176.0 | unsat | unsat |
430114587 | shidlia_entl/dllnull_len_split_dllrev_len_last-1.sb.smt2 | 8319005 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.169393 | 0.168167 | 113176.0 | unsat | unsat |
430114484 | shidlia_entl/dllnull_len_split_dllrev_len_last-2.sb.smt2 | 8318902 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.172232 | 0.168451 | 113176.0 | unsat | unsat |
430114635 | shidlia_entl/dllnull_len_split_dlls.sb.smt2 | 8319053 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.171774 | 0.168657 | 113176.0 | unsat | unsat |
430114572 | shidlia_entl/dllnull_len_split_dlls_num-1.sb.smt2 | 8318990 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.173929 | 0.170382 | 113176.0 | unsat | unsat |
430114501 | shidlia_entl/dllnull_len_split_dlls_num-2.sb.smt2 | 8318919 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.170008 | 0.166008 | 113176.0 | unsat | unsat |
430114519 | shidlia_entl/dllnull_len_split_dlls_num-3.sb.smt2 | 8318937 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.174564 | 0.171104 | 113176.0 | unsat | unsat |
430114646 | shidlia_entl/dllnull_len_split_dlls_num-4.sb.smt2 | 8319064 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.173431 | 0.169736 | 113176.0 | unsat | unsat |
430114575 | shidlia_entl/dllnull_len_split_dlls_num-5.sb.smt2 | 8318993 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.172316 | 0.168145 | 113176.0 | unsat | unsat |
430114509 | shidlia_entl/dllnull_len_split_dll_dllrev.sb.smt2 | 8318927 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.250816 | 0.249029 | 113176.0 | unsat | unsat |
430114631 | shidlia_entl/dllnull_len_split_dll_dllrev_num-1.sb.smt2 | 8319049 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.252914 | 0.249233 | 113176.0 | unsat | unsat |
430114510 | shidlia_entl/dllnull_len_split_dll_dllrev_num-2.sb.smt2 | 8318928 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.249477 | 0.244927 | 113176.0 | unsat | unsat |
430114487 | shidlia_entl/dllnull_len_split_dll_dllrev_num-3.sb.smt2 | 8318905 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.25313 | 0.247935 | 113176.0 | unsat | unsat |
430114568 | shidlia_entl/dllnull_len_split_dll_dllrev_num-4.sb.smt2 | 8318986 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.247703 | 0.243728 | 113176.0 | unsat | unsat |
430114633 | shidlia_entl/dllnull_len_split_dll_dllrev_num-5.sb.smt2 | 8319051 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.249973 | 0.24585 | 113176.0 | unsat | unsat |
430114554 | shidlia_entl/dllnull_len_split_dll_len_last-1.sb.smt2 | 8318972 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.168353 | 0.166132 | 113176.0 | unsat | unsat |
430114615 | shidlia_entl/dllnull_len_split_dll_len_last-2.sb.smt2 | 8319033 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.169536 | 0.165546 | 113176.0 | unsat | unsat |
430114545 | shidlia_entl/dllnull_len_split_dll_node_dllrev.sb.smt2 | 8318963 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.247851 | 0.243268 | 113176.0 | unsat | unsat |
430114540 | shidlia_entl/dllnull_len_split_dll_node_dllrev_num-1.sb.smt2 | 8318958 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.252565 | 0.247495 | 113176.0 | unsat | unsat |
430114602 | shidlia_entl/dllnull_len_split_dll_node_dllrev_num-2.sb.smt2 | 8319020 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.254708 | 0.249431 | 113176.0 | unsat | unsat |
430114581 | shidlia_entl/dllnull_len_split_dll_node_dllrev_num-3.sb.smt2 | 8318999 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.255174 | 0.249945 | 113176.0 | unsat | unsat |
430114469 | shidlia_entl/dllnull_len_split_dll_node_dllrev_num-4.sb.smt2 | 8318887 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.255135 | 0.249715 | 113176.0 | unsat | unsat |
430114538 | shidlia_entl/dllnull_len_split_dll_node_dllrev_num-5.sb.smt2 | 8318956 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.250571 | 0.247019 | 113176.0 | unsat | unsat |
430114548 | shidlia_entl/dllnull_len_split_hd_dllrev_len-1.sb.smt2 | 8318966 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.167438 | 0.166198 | 113176.0 | unsat | unsat |
430114616 | shidlia_entl/dllnull_len_split_hd_dllrev_len-2.sb.smt2 | 8319034 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.17013 | 0.168441 | 113176.0 | unsat | unsat |
430114488 | shidlia_entl/dllnull_len_split_hd_dll_len-1.sb.smt2 | 8318906 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.169566 | 0.165584 | 113176.0 | unsat | unsat |
430114561 | shidlia_entl/dllnull_len_split_hd_dll_len-2.sb.smt2 | 8318979 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.170062 | 0.167569 | 113176.0 | unsat | unsat |
430114521 | shidlia_entl/dllrev_len_concat_dll_len_get_first.sb.smt2 | 8318939 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.183768 | 0.180124 | 113176.0 | unsat | unsat |
430114485 | shidlia_entl/dllrev_len_concat_dll_len_get_first_last.sb.smt2 | 8318903 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.185059 | 0.181407 | 113176.0 | unsat | unsat |
430114579 | shidlia_entl/dllrev_len_concat_dll_len_get_first_num-1.sb.smt2 | 8318997 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.187584 | 0.184011 | 113176.0 | unsat | unsat |
430114472 | shidlia_entl/dllrev_len_concat_dll_len_get_first_num-2.sb.smt2 | 8318890 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.188949 | 0.185901 | 113176.0 | unsat | unsat |
430114547 | shidlia_entl/dllrev_len_concat_dll_len_get_last-1.sb.smt2 | 8318965 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.185388 | 0.181816 | 113176.0 | unsat | unsat |
430114619 | shidlia_entl/dllrev_len_concat_dll_len_get_last-2.sb.smt2 | 8319037 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.187262 | 0.183649 | 113176.0 | unsat | unsat |
430114617 | shidlia_entl/dll_len_append_tail_entails_dllnull_num-3.sb.smt2 | 8319035 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.16832 | 0.165951 | 113176.0 | unsat | unsat |
430114596 | shidlia_entl/dll_len_concat_dllrev_len_get_last-1.sb.smt2 | 8319014 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.188713 | 0.186451 | 113176.0 | unsat | unsat |
430114479 | shidlia_entl/dll_len_concat_dllrev_len_get_last-2.sb.smt2 | 8318897 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.186985 | 0.183114 | 113176.0 | unsat | unsat |
430114621 | shidlia_entl/dll_len_concat_dllrev_len_get_last.sb.smt2 | 8319039 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.249715 | 0.244584 | 113176.0 | unsat | unsat |
430114599 | shidlia_entl/dll_len_concat_dllrev_len_get_last_num-1.sb.smt2 | 8319017 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.255875 | 0.250537 | 113176.0 | unsat | unsat |
430114539 | shidlia_entl/dll_len_concat_dllrev_len_get_last_num-2.sb.smt2 | 8318957 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.25285 | 0.247699 | 113176.0 | unsat | unsat |
430114605 | shidlia_entl/dll_len_entails_ls_len_node.sb.smt2 | 8319023 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.182764 | 0.179816 | 113176.0 | unsat | unsat |
430114534 | shidlia_entl/dll_len_entails_ls_len_node_num-1.sb.smt2 | 8318952 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.176353 | 0.173956 | 113176.0 | unsat | unsat |
430114612 | shidlia_entl/dll_len_entails_ls_len_node_num-2.sb.smt2 | 8319030 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.179316 | 0.175835 | 113176.0 | unsat | unsat |
430114503 | shidlia_entl/dll_len_entails_node_lsrev_len.sb.smt2 | 8318921 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.172623 | 0.169129 | 113176.0 | unsat | unsat |
430114609 | shidlia_entl/dll_len_entails_node_lsrev_len_num-1.sb.smt2 | 8319027 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.168546 | 0.165546 | 113176.0 | unsat | unsat |
430114533 | shidlia_entl/dll_len_entails_node_lsrev_len_num-2.sb.smt2 | 8318951 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.169269 | 0.165724 | 113176.0 | unsat | unsat |
430114563 | shidlia_entl/dll_len_get_1_hd_4_lasts.sb.smt2 | 8318981 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.123688 | 0.121287 | 113176.0 | unsat | unsat |
430114601 | shidlia_entl/dll_len_get_1_last.sb.smt2 | 8319019 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.124211 | 0.121715 | 113176.0 | unsat | unsat |
430114516 | shidlia_entl/dll_len_get_2_hd_3_lasts.sb.smt2 | 8318934 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.117453 | 0.114687 | 113176.0 | unsat | unsat |
430114526 | shidlia_entl/dll_len_get_2_lasts.sb.smt2 | 8318944 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.120187 | 0.117789 | 113176.0 | unsat | unsat |
430114520 | shidlia_entl/dll_len_get_3_hd_2_lasts.sb.smt2 | 8318938 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.116783 | 0.115157 | 113176.0 | unsat | unsat |
430114583 | shidlia_entl/dll_len_get_3_lasts.sb.smt2 | 8319001 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.122316 | 0.119942 | 113176.0 | unsat | unsat |
430114608 | shidlia_entl/dll_len_get_4_hd_1_last.sb.smt2 | 8319026 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.113877 | 0.111367 | 113176.0 | unsat | unsat |
430114613 | shidlia_entl/dll_len_get_4_lasts.sb.smt2 | 8319031 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.123821 | 0.120865 | 113176.0 | unsat | unsat |
430114505 | shidlia_entl/dll_len_get_5_lasts.sb.smt2 | 8318923 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.120668 | 0.117736 | 113176.0 | unsat | unsat |
430114550 | shidlia_entl/dll_len_split.sb.smt2 | 8318968 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.251681 | 0.246444 | 113176.0 | unsat | unsat |
430114625 | shidlia_entl/dll_len_split_dll_dllrev.sb.smt2 | 8319043 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.252168 | 0.246926 | 113176.0 | unsat | unsat |
430114481 | shidlia_entl/dll_len_split_num-1.sb.smt2 | 8318899 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.257146 | 0.252113 | 113176.0 | unsat | unsat |
430114589 | shidlia_entl/dll_len_split_num-2.sb.smt2 | 8319007 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.250057 | 0.245944 | 113176.0 | unsat | unsat |
430114598 | shidlia_entl/dll_ubnd_len_get_1_hd_4_lasts.sb.smt2 | 8319016 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.118541 | 0.115645 | 113176.0 | unsat | unsat |
430114586 | shidlia_entl/dll_ubnd_len_get_1_last.sb.smt2 | 8319004 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.121676 | 0.119201 | 113176.0 | unsat | unsat |
430114470 | shidlia_entl/dll_ubnd_len_get_2_hd_3_lasts.sb.smt2 | 8318888 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.118108 | 0.115888 | 113176.0 | unsat | unsat |
430114529 | shidlia_entl/dll_ubnd_len_get_2_lasts.sb.smt2 | 8318947 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.120868 | 0.118569 | 113176.0 | unsat | unsat |
430114475 | shidlia_entl/dll_ubnd_len_get_3_hd_2_lasts.sb.smt2 | 8318893 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.114775 | 0.1303 | 113176.0 | unsat | unsat |
430114585 | shidlia_entl/dll_ubnd_len_get_3_lasts.sb.smt2 | 8319003 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.121832 | 0.119319 | 113176.0 | unsat | unsat |
430114577 | shidlia_entl/dll_ubnd_len_get_4_hd_1_last.sb.smt2 | 8318995 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.112735 | 0.110257 | 113176.0 | unsat | unsat |
430114610 | shidlia_entl/dll_ubnd_len_get_4_lasts.sb.smt2 | 8319028 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.119551 | 0.116604 | 113176.0 | unsat | unsat |
430114502 | shidlia_entl/dll_ubnd_len_get_5_lasts.sb.smt2 | 8318920 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.123428 | 0.120372 | 113176.0 | unsat | unsat |
430114618 | shidlia_entl/ls_dlen_get_last.sb.smt2 | 8319036 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107351 | 0.105922 | 113176.0 | unsat | unsat |
430114607 | shidlia_entl/ls_dlen_get_last_unk_rem.sb.smt2 | 8319025 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106469 | 0.105278 | 113176.0 | unsat | unsat |
430114570 | shidlia_entl/ls_dlen_get_two_lasts.sb.smt2 | 8318988 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.112983 | 0.110713 | 113176.0 | unsat | unsat |
430114467 | shidlia_entl/ls_dlen_get_two_lasts_unk_rem.sb.smt2 | 8318885 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.109292 | 0.107228 | 113176.0 | unsat | unsat |
430114494 | shidlia_entl/ls_dlen_split.sb.smt2 | 8318912 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.115782 | 0.113336 | 113176.0 | unsat | unsat |
430114603 | shidlia_entl/ls_dlen_split_mid_node.sb.smt2 | 8319021 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107147 | 0.105384 | 113176.0 | unsat | unsat |
430114611 | shidlia_entl/ls_dlen_split_mid_node_unk_hd.sb.smt2 | 8319029 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106978 | 0.105564 | 113176.0 | unsat | unsat |
430114588 | shidlia_entl/ls_dlen_split_mid_node_unk_hd_tl.sb.smt2 | 8319006 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106645 | 0.104774 | 113176.0 | unsat | unsat |
430114536 | shidlia_entl/ls_dlen_split_mid_node_unk_tl.sb.smt2 | 8318954 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106908 | 0.105346 | 113176.0 | unsat | unsat |
430114632 | shidlia_entl/ls_dlen_split_unk_hd.sb.smt2 | 8319050 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.115579 | 0.11345 | 113176.0 | unsat | unsat |
430114566 | shidlia_entl/ls_dlen_split_unk_hd_tl.sb.smt2 | 8318984 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.101827 | 0.10026 | 113176.0 | unsat | unsat |
430114515 | shidlia_entl/ls_dlen_split_unk_tl.sb.smt2 | 8318933 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.119014 | 0.116648 | 113176.0 | unsat | unsat |
430114474 | shidlia_entl/ls_dlen_triple_split.sb.smt2 | 8318892 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.133928 | 0.131246 | 113176.0 | unsat | unsat |
430114486 | shidlia_entl/ls_dlen_triple_split_unk_hd.sb.smt2 | 8318904 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.127702 | 0.1245 | 113176.0 | unsat | unsat |
430114637 | shidlia_entl/ls_dlen_triple_split_unk_hd_tl.sb.smt2 | 8319055 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.140318 | 0.136723 | 113176.0 | unsat | unsat |
430114497 | shidlia_entl/ls_dlen_triple_split_unk_mid.sb.smt2 | 8318915 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.130984 | 0.140313 | 113176.0 | unsat | unsat |
430114597 | shidlia_entl/ls_dlen_triple_split_unk_tl.sb.smt2 | 8319015 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.145305 | 0.141121 | 113176.0 | unsat | unsat |
430114600 | shidlia_entl/ls_len_get_1_hd_4_lasts.sb.smt2 | 8319018 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.108419 | 0.106545 | 113176.0 | unsat | unsat |
430114473 | shidlia_entl/ls_len_get_2_hd_3_lasts.sb.smt2 | 8318891 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.109211 | 0.107776 | 113176.0 | unsat | unsat |
430114531 | shidlia_entl/ls_len_get_2_lasts.sb.smt2 | 8318949 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.109813 | 0.107811 | 113176.0 | unsat | unsat |
430114480 | shidlia_entl/ls_len_get_3_hd_2_lasts.sb.smt2 | 8318898 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.10697 | 0.105008 | 113176.0 | unsat | unsat |
430114569 | shidlia_entl/ls_len_get_3_lasts.sb.smt2 | 8318987 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.105943 | 0.104497 | 113176.0 | unsat | unsat |
430114593 | shidlia_entl/ls_len_get_4_hd_1_lasts.sb.smt2 | 8319011 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.1084 | 0.106511 | 113176.0 | unsat | unsat |
430114640 | shidlia_entl/ls_len_get_4_lasts.sb.smt2 | 8319058 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.10748 | 0.106119 | 113176.0 | unsat | unsat |
430114530 | shidlia_entl/ls_len_get_5_hd.sb.smt2 | 8318948 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107403 | 0.105352 | 113176.0 | unsat | unsat |
430114468 | shidlia_entl/ls_len_get_5_lasts.sb.smt2 | 8318886 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106175 | 0.104311 | 113176.0 | unsat | unsat |
430114560 | shidlia_entl/ls_len_get_6_lasts.sb.smt2 | 8318978 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107484 | 0.106029 | 113176.0 | unsat | unsat |
430114557 | shidlia_entl/ls_len_get_last.sb.smt2 | 8318975 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.105801 | 0.104085 | 113176.0 | unsat | unsat |
430114641 | shidlia_entl/ls_len_get_last_unk_rem.sb.smt2 | 8319059 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.105074 | 0.10321 | 113176.0 | unsat | unsat |
430114551 | shidlia_entl/ls_len_get_two_lasts_unk_rem.sb.smt2 | 8318969 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107851 | 0.106087 | 113176.0 | unsat | unsat |
430114525 | shidlia_entl/ls_len_split.sb.smt2 | 8318943 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.115196 | 0.112797 | 113176.0 | unsat | unsat |
430114528 | shidlia_entl/ls_len_split_mid_node.sb.smt2 | 8318946 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.105227 | 0.103421 | 113176.0 | unsat | unsat |
430114590 | shidlia_entl/ls_len_split_mid_node_unk_hd.sb.smt2 | 8319008 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.104534 | 0.10278 | 113176.0 | unsat | unsat |
430114524 | shidlia_entl/ls_len_split_mid_node_unk_hd_tl.sb.smt2 | 8318942 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107181 | 0.105148 | 113176.0 | unsat | unsat |
430114477 | shidlia_entl/ls_len_split_mid_node_unk_tl.sb.smt2 | 8318895 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107285 | 0.105307 | 113176.0 | unsat | unsat |
430114594 | shidlia_entl/ls_len_split_unk_hd.sb.smt2 | 8319012 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.11889 | 0.115621 | 113176.0 | unsat | unsat |
430114512 | shidlia_entl/ls_len_split_unk_hd_tl.sb.smt2 | 8318930 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.100182 | 0.0991091 | 113176.0 | unsat | unsat |
430114483 | shidlia_entl/ls_len_split_unk_tl.sb.smt2 | 8318901 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.119427 | 0.116763 | 113176.0 | unsat | unsat |
430114507 | shidlia_entl/ls_len_triple_split.sb.smt2 | 8318925 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.131323 | 0.127738 | 113176.0 | unsat | unsat |
430114543 | shidlia_entl/ls_len_triple_split_unk_hd.sb.smt2 | 8318961 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.132165 | 0.129265 | 113176.0 | unsat | unsat |
430114576 | shidlia_entl/ls_len_triple_split_unk_hd_tl.sb.smt2 | 8318994 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.142459 | 0.138851 | 113176.0 | unsat | unsat |
430114565 | shidlia_entl/ls_len_triple_split_unk_mid.sb.smt2 | 8318983 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.130626 | 0.127153 | 113176.0 | unsat | unsat |
430114614 | shidlia_entl/ls_len_triple_split_unk_tl.sb.smt2 | 8319032 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.143178 | 0.139432 | 113176.0 | unsat | unsat |
430114523 | shidlia_entl/ls_plen_get_last.sb.smt2 | 8318941 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107559 | 0.105663 | 113176.0 | unsat | unsat |
430114626 | shidlia_entl/ls_plen_get_last_unk_rem.sb.smt2 | 8319044 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.104262 | 0.102424 | 113176.0 | unsat | unsat |
430114532 | shidlia_entl/ls_plen_get_two_lasts.sb.smt2 | 8318950 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.109914 | 0.107903 | 113176.0 | unsat | unsat |
430114644 | shidlia_entl/ls_plen_get_two_lasts_unk_rem.sb.smt2 | 8319062 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.112156 | 0.110384 | 113176.0 | unsat | unsat |
430114584 | shidlia_entl/ls_plen_split.sb.smt2 | 8319002 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.116851 | 0.114259 | 113176.0 | unsat | unsat |
430114500 | shidlia_entl/ls_plen_split_mid_node.sb.smt2 | 8318918 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.105746 | 0.104288 | 113176.0 | unsat | unsat |
430114496 | shidlia_entl/ls_plen_split_mid_node_unk_hd.sb.smt2 | 8318914 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.105799 | 0.104002 | 113176.0 | unsat | unsat |
430114574 | shidlia_entl/ls_plen_split_mid_node_unk_hd_tl.sb.smt2 | 8318992 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106997 | 0.105115 | 113176.0 | unsat | unsat |
430114571 | shidlia_entl/ls_plen_split_mid_node_unk_tl.sb.smt2 | 8318989 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.10931 | 0.107727 | 113176.0 | unsat | unsat |
430114564 | shidlia_entl/ls_plen_split_unk_hd.sb.smt2 | 8318982 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.119645 | 0.117584 | 113176.0 | unsat | unsat |
430114542 | shidlia_entl/ls_plen_split_unk_hd_tl.sb.smt2 | 8318960 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.101547 | 0.100477 | 113176.0 | unsat | unsat |
430114489 | shidlia_entl/ls_plen_split_unk_tl.sb.smt2 | 8318907 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.118837 | 0.11643 | 113176.0 | unsat | unsat |
430114541 | shidlia_entl/ls_plen_triple_split.sb.smt2 | 8318959 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.131971 | 0.128922 | 113176.0 | unsat | unsat |
430114511 | shidlia_entl/ls_plen_triple_split_unk_hd.sb.smt2 | 8318929 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.128447 | 0.125207 | 113176.0 | unsat | unsat |
430114559 | shidlia_entl/ls_plen_triple_split_unk_hd_tl.sb.smt2 | 8318977 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.142146 | 0.138476 | 113176.0 | unsat | unsat |
430114491 | shidlia_entl/ls_plen_triple_split_unk_mid.sb.smt2 | 8318909 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.131434 | 0.128544 | 113176.0 | unsat | unsat |
430114627 | shidlia_entl/ls_plen_triple_split_unk_tl.sb.smt2 | 8319045 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.143948 | 0.140243 | 113176.0 | unsat | unsat |
430114639 | shidlia_entl/ls_ubnd_dlen_get_last.sb.smt2 | 8319057 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106556 | 0.105115 | 113176.0 | unsat | unsat |
430114499 | shidlia_entl/ls_ubnd_len_get_1_hd_4_lasts.sb.smt2 | 8318917 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.109028 | 0.107403 | 113176.0 | unsat | unsat |
430114643 | shidlia_entl/ls_ubnd_len_get_2_hd_3_lasts.sb.smt2 | 8319061 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106098 | 0.104154 | 113176.0 | unsat | unsat |
430114482 | shidlia_entl/ls_ubnd_len_get_2_lasts.sb.smt2 | 8318900 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.108146 | 0.106365 | 113176.0 | unsat | unsat |
430114624 | shidlia_entl/ls_ubnd_len_get_3_hd_2_lasts.sb.smt2 | 8319042 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.109243 | 0.107225 | 113176.0 | unsat | unsat |
430114634 | shidlia_entl/ls_ubnd_len_get_3_lasts.sb.smt2 | 8319052 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.106289 | 0.104355 | 113176.0 | unsat | unsat |
430114518 | shidlia_entl/ls_ubnd_len_get_4_hd_1_lasts.sb.smt2 | 8318936 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.108242 | 0.106443 | 113176.0 | unsat | unsat |
430114567 | shidlia_entl/ls_ubnd_len_get_4_lasts.sb.smt2 | 8318985 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.105968 | 0.104551 | 113176.0 | unsat | unsat |
430114580 | shidlia_entl/ls_ubnd_len_get_5_hd.sb.smt2 | 8318998 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.107073 | 0.105275 | 113176.0 | unsat | unsat |
430114552 | shidlia_entl/ls_ubnd_len_get_5_lasts.sb.smt2 | 8318970 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.108342 | 0.106347 | 113176.0 | unsat | unsat |
430114647 | shidlia_entl/ls_ubnd_len_get_6_lasts.sb.smt2 | 8319065 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.108685 | 0.107224 | 113176.0 | unsat | unsat |
430114553 | shidlia_entl/ls_ubnd_len_get_last.sb.smt2 | 8318971 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.105949 | 0.104048 | 113176.0 | unsat | unsat |
430114638 | shidlia_entl/sls_get_last_node.sb.smt2 | 8319056 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.095833 | 0.093561 | 113176.0 | unsat | unsat |
430114549 | shidlia_entl/sls_get_last_node_ls.sb.smt2 | 8318967 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.079633 | 0.0784649 | 113176.0 | unsat | unsat |
430114595 | shidlia_entl/sls_get_last_node_sls-1.sb.smt2 | 8319013 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.094037 | 0.0919519 | 113176.0 | unsat | unsat |
430114476 | shidlia_entl/sls_get_last_node_sls-2.sb.smt2 | 8318894 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.083978 | 0.082941 | 113176.0 | unsat | unsat |
430114493 | shidlia_entl/sls_join_2_get_last-1.sb.smt2 | 8318911 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.121684 | 0.11822 | 113176.0 | unsat | unsat |
430114556 | shidlia_entl/sls_join_2_get_last-2.sb.smt2 | 8318974 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.086145 | 0.0844109 | 113176.0 | unsat | unsat |
430114606 | shidlia_entl/sls_join_3_get_last-1.sb.smt2 | 8319024 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.249913 | 0.243978 | 113176.0 | unsat | unsat |
430114537 | shidlia_entl/sls_join_3_get_last-2.sb.smt2 | 8318955 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.086341 | 0.084534 | 113176.0 | unsat | unsat |
430114630 | shidlia_entl/tree_size_entail_tseg-1.sb.smt2 | 8319048 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.228279 | 0.224537 | 113176.0 | unsat | unsat |
430114508 | shidlia_entl/tree_size_entail_tseg-2.sb.smt2 | 8318926 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.228187 | 0.224549 | 113176.0 | unsat | unsat |
430114623 | shidlia_entl/tree_size_split-1.sb.smt2 | 8319041 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.226063 | 0.222435 | 113176.0 | unsat | unsat |
430114517 | shidlia_entl/tree_size_split-2.sb.smt2 | 8318935 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.226595 | 0.222825 | 113176.0 | unsat | unsat |
430114642 | shidlia_entl/tree_tseg_mix_entail_tree_tseg_mix-1.sb.smt2 | 8319060 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.225855 | 0.222139 | 113176.0 | unsat | unsat |
430114527 | shidlia_entl/tree_tseg_mix_entail_tree_tseg_mix-2.sb.smt2 | 8318945 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.224784 | 0.222145 | 113176.0 | unsat | unsat |
430114504 | shidlia_entl/tree_tseg_mix_entail_tree_tseg_mix-3.sb.smt2 | 8318922 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.227676 | 0.224187 | 113176.0 | unsat | unsat |
430114604 | shidlia_entl/tseg_size_join_tree_size_entail_tree_unk-1.sb.smt2 | 8319022 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.228745 | 0.225581 | 113176.0 | unsat | unsat |
430114535 | shidlia_entl/tseg_size_join_tree_size_entail_tree_unk-2.sb.smt2 | 8318953 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.225828 | 0.224133 | 113176.0 | unsat | unsat |
430114506 | shidlia_entl/tseg_size_split-1.sb.smt2 | 8318924 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.225776 | 0.223258 | 113176.0 | unsat | unsat |
430114636 | shidlia_entl/tseg_size_split-2.sb.smt2 | 8319054 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.223888 | 0.221316 | 113176.0 | unsat | unsat |