qf_shid_entl/01.tst.smt2 | 0.019858 | none | 0.073349 | 0.112812 | 0.014492 | none | s2s.0.3.3 |
qf_shid_entl/02.tst.smt2 | 0.023474 | 2.97574 | 0.076146 | 1.76 | 0.014778 | none | s2s.0.3.3 |
qf_shid_entl/03.tst.smt2 | 0.019015 | 3.07768 | 0.071342 | 0.074617 | 0.012117 | none | s2s.0.3.3 |
qf_shid_entl/04.tst.smt2 | 0.024998 | 2.98548 | 0.074311 | 1.22 | 0.012372 | 0.311835 | s2s.0.3.3 |
qf_shid_entl/05.tst.smt2 | 0.018336 | 3.18671 | 0.070907 | 0.082372 | 0.012543 | none | s2s.0.3.3 |
qf_shid_entl/06.tst.smt2 | 0.041412 | 3.15375 | 0.085693 | 1.02 | 0.012307 | 0.466932 | s2s.0.3.3 |
qf_shid_entl/07.tst.smt2 | 0.024085 | 3.84661 | 0.105965 | 0.073894 | 0.012513 | none | s2s.0.3.3 |
qf_shid_entl/08.tst.smt2 | 0.024251 | 3.55504 | none | 0.097721 | 0.014273 | none | s2s.0.3.3 |
qf_shid_entl/09.tst.smt2 | 0.035854 | 4.60597 | 0.147458 | 2.38 | 0.012097 | none | s2s.0.3.3 |
qf_shid_entl/10.tst.smt2 | 0.162507 | 3.24059 | 0.119033 | 0.19488 | 0.016678 | 0.296044 | s2s.0.3.3 |
qf_shid_entl/11.tst.smt2 | 0.109268 | 3.29181 | 0.185133 | 0.155807 | 0.014253 | 0.297666 | s2s.0.3.3 |
qf_shid_entl/12.tst.smt2 | 0.08331 | 3.24308 | 0.157007 | 0.148285 | 0.014061 | 0.305876 | s2s.0.3.3 |
qf_shid_entl/13.tst.smt2 | 0.028925 | 2.99546 | none | 0.037315 | 0.014722 | 0.322568 | s2s.0.3.3 |
qf_shid_entl/14.tst.smt2 | 0.030816 | 3.01082 | none | 0.036697 | 0.013312 | 0.323099 | s2s.0.3.3 |
qf_shid_entl/15.tst.smt2 | 0.057898 | 3.47496 | 0.115689 | 5.1 | 0.017828 | 1.102 | s2s.0.3.3 |
qf_shid_entl/16.tst.smt2 | 0.046012 | 4.05301 | 0.140025 | 1.36 | 0.015194 | 0.38975 | s2s.0.3.3 |
qf_shid_entl/17.tst.smt2 | 0.12778 | 5.22683 | 0.246034 | 5.09 | 0.024905 | 0.525578 | s2s.0.3.3 |
qf_shid_entl/18.tst.smt2 | 0.068995 | 3.85523 | 0.084212 | 5.06 | 0.01572 | 0.391878 | s2s.0.3.3 |
qf_shid_entl/19.tst.smt2 | 0.010136 | 3.3819 | 0.082985 | 0.105642 | 0.011896 | 0.288423 | Cyclist |
qf_shid_entl/20.tst.smt2 | 0.040251 | 3.37786 | 0.068749 | 0.54 | 0.011863 | none | s2s.0.3.3 |
qf_shid_entl/21.tst.smt2 | 0.046886 | 3.0372 | none | 0.060983 | 0.015674 | none | s2s.0.3.3 |
qf_shid_entl/22.tst.smt2 | 0.183715 | 3.62617 | 0.072091 | 1.3 | 0.01202 | none | s2s.0.3.3 |
qf_shid_entl/append_dll_slk-1.smt2 | 0.011411 | 3.29226 | 0.090219 | 0.95 | 0.014726 | none | Cyclist |
qf_shid_entl/append_dll_slk-10.smt2 | 0.055053 | 3.92927 | 0.127954 | 0.075468 | 0.015824 | none | s2s.0.3.3 |
qf_shid_entl/append_dll_slk-11.smt2 | 0.011827 | 3.06293 | 0.087975 | 0.015503 | 0.015856 | none | Cyclist |
qf_shid_entl/append_dll_slk-12.smt2 | 0.018323 | 3.33829 | 0.095426 | 0.051429 | 0.015075 | none | s2s.0.3.3 |
qf_shid_entl/append_dll_slk-2.smt2 | 0.011181 | 2.17858 | 0.084134 | 0.118029 | 0.014746 | none | Cyclist |
qf_shid_entl/append_dll_slk-3.smt2 | 0.010178 | 2.09641 | 0.083463 | 1.17 | 0.014045 | none | Cyclist |
qf_shid_entl/append_dll_slk-4.smt2 | 0.01068 | 3.34738 | 0.092746 | 0.181461 | 0.014635 | none | Cyclist |
qf_shid_entl/append_dll_slk-5.smt2 | 0.009975 | 2.16793 | 0.078575 | 0.0156 | 0.013778 | none | Cyclist |
qf_shid_entl/append_dll_slk-6.smt2 | 0.009841 | 2.14222 | 0.086501 | 0.124141 | 0.014979 | none | Cyclist |
qf_shid_entl/append_dll_slk-7.smt2 | 0.012673 | 3.64788 | 0.104437 | 0.133656 | 0.015178 | none | Cyclist |
qf_shid_entl/append_dll_slk-8.smt2 | 0.012404 | 3.42179 | 0.09398 | 1.71 | 0.014634 | none | Cyclist |
qf_shid_entl/append_dll_slk-9.smt2 | 0.026979 | 2.55493 | 0.158337 | 1.3 | 0.069406 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-1.smt2 | 0.009769 | 3.09949 | 0.098031 | 0.034591 | 0.014135 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-10.smt2 | 0.011305 | 3.13507 | 0.09367 | 0.033841 | 0.014322 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-11.smt2 | 0.011649 | 2.15055 | 0.090763 | 0.016758 | 0.013861 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-12.smt2 | 0.01093 | 2.11421 | 0.095069 | 0.039406 | 0.013716 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-13.smt2 | 0.009684 | 3.16749 | 0.094343 | 0.054383 | 0.014398 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-14.smt2 | 0.01148 | 2.21595 | 0.093161 | 0.038093 | 0.014186 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-15.smt2 | none | 3.02148 | 0.110574 | 0.021509 | 0.014187 | none | s2s.0.3.3 |
qf_shid_entl/append_sll_cll_slk-16.smt2 | 0.011662 | 2.96249 | 0.095878 | 0.015334 | 0.015039 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-17.smt2 | 0.010719 | 3.45325 | 0.105845 | 0.045769 | 0.014573 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-18.smt2 | 0.016994 | 3.24088 | 0.098916 | 0.017362 | 0.015999 | none | s2s.0.3.3 |
qf_shid_entl/append_sll_cll_slk-2.smt2 | 0.010564 | 2.10206 | 0.088131 | 0.016489 | 0.013636 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-3.smt2 | 0.00959 | 2.05991 | 0.091545 | 0.038492 | 0.013831 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-4.smt2 | 0.011022 | 3.15411 | 0.096767 | 0.055496 | 0.013993 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-5.smt2 | 0.010107 | 2.22917 | 0.089458 | 0.039306 | 0.013708 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-6.smt2 | none | 3.05878 | 0.09285 | 0.018295 | 0.013803 | none | s2s.0.3.3 |
qf_shid_entl/append_sll_cll_slk-7.smt2 | 0.011696 | 2.94737 | 0.091339 | 0.015483 | 0.015056 | none | Cyclist |
qf_shid_entl/append_sll_cll_slk-8.smt2 | 0.019757 | 3.79455 | 0.137477 | 0.067614 | 0.014474 | none | s2s.0.3.3 |
qf_shid_entl/append_sll_cll_slk-9.smt2 | 0.023017 | none | 0.105783 | 0.019853 | 0.014226 | none | s2s.0.3.3 |
qf_shid_entl/append_sll_ls_slk-1.smt2 | 0.010636 | 3.10379 | 0.083711 | 0.035016 | 0.014751 | none | Cyclist |
qf_shid_entl/append_sll_ls_slk-2.smt2 | 0.010262 | 2.10983 | 0.085533 | 0.015613 | 0.014398 | none | Cyclist |
qf_shid_entl/append_sll_ls_slk-3.smt2 | 0.010703 | 2.05421 | 0.081114 | 0.039163 | 0.013966 | none | Cyclist |
qf_shid_entl/append_sll_ls_slk-4.smt2 | 0.010974 | 3.17562 | 0.086006 | 0.055028 | 0.015223 | none | Cyclist |
qf_shid_entl/append_sll_ls_slk-5.smt2 | 0.010193 | 2.21436 | 0.083178 | 0.038388 | 0.013393 | none | Cyclist |
qf_shid_entl/append_sll_ls_slk-6.smt2 | 0.010676 | 3.12266 | 0.083411 | 0.0166 | 0.014076 | none | Cyclist |
qf_shid_entl/append_sll_ls_slk-7.smt2 | 0.018729 | 3.7775 | 0.138616 | 0.069603 | 0.015092 | none | s2s.0.3.3 |
qf_shid_entl/append_sll_ls_slk-8.smt2 | 0.021508 | none | 0.093684 | 0.019873 | 0.01388 | none | s2s.0.3.3 |
qf_shid_entl/append_sll_slk-1.smt2 | 0.010688 | 3.13869 | 0.07596 | 0.262072 | 0.013535 | none | Cyclist |
qf_shid_entl/append_sll_slk-2.smt2 | 0.009591 | 2.05543 | 0.072557 | 0.093386 | 0.012873 | none | Cyclist |
qf_shid_entl/append_sll_slk-3.smt2 | 0.00936 | 2.03681 | 0.072083 | 0.63 | 0.012789 | none | Cyclist |
qf_shid_entl/append_sll_slk-4.smt2 | 0.010528 | 3.34655 | 0.077306 | 0.92 | 0.014468 | none | Cyclist |
qf_shid_entl/append_sll_slk-5.smt2 | 0.009742 | 2.2385 | 0.097923 | 0.65 | 0.012503 | none | Cyclist |
qf_shid_entl/append_sll_slk-6.smt2 | 0.011673 | 3.20582 | 0.077106 | 0.125847 | 0.014199 | none | Cyclist |
qf_shid_entl/append_sll_slk-7.smt2 | 0.010467 | 3.01814 | 0.071655 | 0.041004 | 0.012515 | none | Cyclist |
qf_shid_entl/append_sll_slk-8.smt2 | 0.013065 | 3.11695 | 0.077369 | 0.146955 | 0.012741 | none | s2s.0.3.3 |
qf_shid_entl/dll-entails-dll-rev.smt2 | none | 3.43956 | none | 3.62 | 0.019299 | 0.317737 | s2s.0.3.3 |
qf_shid_entl/dll-entails-dll0+.smt2 | 0.076815 | 3.77307 | none | 0.058766 | 0.018708 | 0.31701 | s2s.0.3.3 |
qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 3.56666 | none | none | 27.64 | 0.05607 | 0.646387 | s2s.0.3.3 |
qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 0.03372 | none | none | 0.102041 | 0.054995 | 0.331758 | Cyclist |
qf_shid_entl/dll-rev-entails-dll.smt2 | none | 3.42423 | none | 3.53 | 0.019285 | 0.372421 | s2s.0.3.3 |
qf_shid_entl/dll-spaghetti.smt2 | none | none | none | 15.82 | 0.048115 | 14.5383 | s2s.0.3.3 |
qf_shid_entl/dll-vc01.smt2 | 0.011726 | 3.26304 | 0.119151 | 0.02798 | 0.012119 | 0.291951 | Cyclist |
qf_shid_entl/dll-vc02.smt2 | 0.012484 | 3.27936 | 0.11886 | 0.024458 | 0.012759 | 0.288796 | Cyclist |
qf_shid_entl/dll-vc03.smt2 | 0.017896 | 7.8536 | 0.134768 | 0.031639 | 0.012399 | 0.290997 | s2s.0.3.3 |
qf_shid_entl/dll-vc04.smt2 | none | 4.01739 | 0.152807 | 0.01546 | 0.013632 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc05.smt2 | 1.02878 | 3.8687 | none | 19.73 | 0.012861 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc06.smt2 | none | 4.77036 | 0.218624 | 0.030629 | 0.012827 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc07.smt2 | 0.090412 | 4.06292 | none | 4.46 | 0.0132 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc08.smt2 | none | 6.93989 | 0.313387 | 0.033783 | 0.013627 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc09.smt2 | 0.079426 | 9.75756 | 0.180277 | 0.061197 | 0.012567 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc10.smt2 | none | 7.4453 | 0.332393 | 0.031432 | 0.012316 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc11.smt2 | 70.0474 | 3.83136 | none | none | 0.012617 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc12.smt2 | none | 4.61832 | 0.230778 | 0.026297 | 0.012805 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc13.smt2 | none | 4.76176 | 0.157042 | 0.017634 | 0.012193 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc14.smt2 | none | 3.01565 | 0.160597 | 0.018624 | 0.01274 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc15.smt2 | 0.010971 | 3.03835 | 0.110819 | 0.020361 | 0.012142 | 0.289601 | Cyclist |
qf_shid_entl/dll-vc16.smt2 | none | 25.9451 | 0.793715 | 0.035276 | 0.014612 | none | s2s.0.3.3 |
qf_shid_entl/dll-vc17.smt2 | 0.324389 | 4.41683 | none | 16.0 | 0.013618 | none | s2s.0.3.3 |
qf_shid_entl/dll2-entails-dll2-rev.smt2 | 26.2406 | 4.04768 | none | 0.3361 | 0.114434 | 0.324032 | s2s.0.3.3 |
qf_shid_entl/dll2-rev-entails-dll2.smt2 | 24.8045 | 4.03427 | none | 0.539396 | 0.115168 | 0.324397 | s2s.0.3.3 |
qf_shid_entl/dll2-spaghetti.smt2 | none | none | none | 24.46 | 0.691866 | 29.0368 | s2s.0.3.3 |
qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 0.170533 | 12.3837 | none | 31.88 | 0.051436 | 0.318852 | s2s.0.3.3 |
qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 1.62091 | 12.1605 | none | 5.07 | 0.052317 | 0.317907 | s2s.0.3.3 |
qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 1.66888 | 13.5613 | 0.3643 | 5.11 | 0.051336 | 0.314829 | s2s.0.3.3 |
qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 0.773407 | 15.3784 | none | 22.98 | 0.051839 | 0.31509 | s2s.0.3.3 |
qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 0.594393 | 3.69751 | none | 0.077592 | 0.018721 | none | s2s.0.3.3 |
qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 0.018477 | 3.70032 | 0.127537 | 0.059066 | 0.014694 | none | s2s.0.3.3 |
qf_shid_entl/dllrev_concat.sb.smt2 | 0.0276 | 4.3044 | none | 1.25 | 0.017898 | 0.313983 | s2s.0.3.3 |
qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 0.027567 | 4.63869 | 0.231233 | 1.34 | 0.028686 | 0.958992 | Cyclist |
qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 0.026813 | 4.56016 | none | 1.39 | 0.031035 | 0.317438 | Cyclist |
qf_shid_entl/dllrev_entails_dll.sb.smt2 | 0.064463 | 3.42099 | none | 0.075046 | 0.019798 | 0.372302 | s2s.0.3.3 |
qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 0.023844 | 3.30721 | 0.096643 | 0.194546 | 0.018275 | 0.315599 | s2s.0.3.3 |
qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 0.021039 | 3.74101 | none | 0.056517 | 0.014507 | none | s2s.0.3.3 |
qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 0.020078 | 3.22476 | 0.101478 | 0.05472 | 0.014759 | none | s2s.0.3.3 |
qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 0.095179 | 3.23709 | none | 0.058921 | 0.016141 | none | s2s.0.3.3 |
qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 0.019122 | 3.71101 | none | 0.057038 | 0.014419 | none | s2s.0.3.3 |
qf_shid_entl/dll_concat.sb.smt2 | 0.026583 | 4.39009 | 0.134298 | 1.12 | 0.017755 | 0.313487 | s2s.0.3.3 |
qf_shid_entl/dll_concat_dllrev.sb.smt2 | 0.044911 | 4.61908 | none | 1.15 | 0.031038 | none | s2s.0.3.3 |
qf_shid_entl/dll_entails_dllrev.sb.smt2 | 0.070511 | 3.44286 | none | 0.050852 | 0.018979 | 0.315398 | s2s.0.3.3 |
qf_shid_entl/dll_entails_ls.sb.smt2 | 0.018353 | 3.78939 | 0.10275 | 0.065246 | 0.014362 | none | s2s.0.3.3 |
qf_shid_entl/dll_entails_lspre.sb.smt2 | 0.059084 | 3.5623 | none | 0.069757 | 0.014128 | none | s2s.0.3.3 |
qf_shid_entl/dll_entails_lsrev.sb.smt2 | 0.059963 | 3.58786 | none | 0.137952 | 0.014624 | none | s2s.0.3.3 |
qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 0.024355 | 3.15739 | 0.086445 | 0.042805 | 0.014779 | 0.31934 | s2s.0.3.3 |
qf_shid_entl/elseg4_slk-1.smt2 | 0.009456 | 3.88369 | 0.106713 | 0.103295 | 0.014509 | none | Cyclist |
qf_shid_entl/elseg4_slk-2.smt2 | 0.011236 | 3.07623 | 0.087984 | 0.014634 | 0.013581 | none | Cyclist |
qf_shid_entl/elseg4_slk-3.smt2 | none | 3.4879 | 0.097511 | 0.013284 | 0.01456 | none | Songbird |
qf_shid_entl/elseg4_slk-4.smt2 | none | 3.56211 | 0.103914 | 0.022076 | 0.013108 | none | s2s.0.3.3 |
qf_shid_entl/elseg4_slk-5.smt2 | 0.019381 | 3.87952 | 0.10009 | 1.6 | 0.014472 | none | s2s.0.3.3 |
qf_shid_entl/elseg4_slk-6.smt2 | 0.019935 | 3.88354 | 0.104842 | 0.153524 | 0.014576 | none | s2s.0.3.3 |
qf_shid_entl/elseg4_slk-7.smt2 | 0.056691 | 5.74962 | 0.151623 | 0.099628 | 0.017924 | none | s2s.0.3.3 |
qf_shid_entl/elseg4_slk-8.smt2 | 0.016653 | 2.44364 | 0.104034 | 0.05987 | 0.014042 | none | s2s.0.3.3 |
qf_shid_entl/elseg4_slk-9.smt2 | 0.018926 | 5.74025 | 0.098998 | 0.061014 | 0.018421 | none | s2s.0.3.3 |
qf_shid_entl/eolseg_01.sb.smt2 | 2.13912 | 3.45469 | none | 3.4 | 0.015981 | none | s2s.0.3.3 |
qf_shid_entl/eolseg_02.sb.smt2 | 1.02364 | 3.46658 | none | 4.1 | 0.019086 | none | s2s.0.3.3 |
qf_shid_entl/eolseg_05.sb.smt2 | 42.0599 | 3.73541 | none | 5.23 | 0.02223 | none | s2s.0.3.3 |
qf_shid_entl/eolseg_06.sb.smt2 | 21.807 | 3.67591 | none | 5.24 | 0.02527 | none | s2s.0.3.3 |
qf_shid_entl/eolseg_07.sb.smt2 | 270.348 | 3.73317 | none | 51.31 | 0.034383 | none | s2s.0.3.3 |
qf_shid_entl/eolseg_09.sb.smt2 | 13.4158 | 3.73779 | none | 1.8 | 0.023044 | none | s2s.0.3.3 |
qf_shid_entl/eolseg_12.sb.smt2 | 2.56259 | 3.79845 | none | 5.18 | 0.021954 | none | s2s.0.3.3 |
qf_shid_entl/eolseg_15.sb.smt2 | 4.73608 | 3.80431 | none | 5.22 | 0.021452 | none | s2s.0.3.3 |
qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 0.040617 | 3.2889 | 0.124374 | 2.15 | 0.014024 | none | s2s.0.3.3 |
qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 0.47773 | 4.76569 | none | 5.87 | 0.017136 | none | s2s.0.3.3 |
qf_shid_entl/lsegex4_slk-1.smt2 | none | none | 0.150911 | 0.66 | 0.013826 | none | s2s.0.3.3 |
qf_shid_entl/lsegex4_slk-2.smt2 | none | none | 0.145613 | 0.012412 | 0.013903 | none | Songbird |
qf_shid_entl/lsegex4_slk-3.smt2 | 0.015865 | 2.32882 | 0.151077 | 0.041126 | 0.015353 | none | s2s.0.3.3 |
qf_shid_entl/lsegex4_slk-4.smt2 | 0.01885 | 2.36803 | 0.165088 | 0.059042 | 0.016032 | none | s2s.0.3.3 |
qf_shid_entl/lsegex4_slk-5.smt2 | 0.018718 | 2.3225 | 0.144246 | 0.037554 | 0.014028 | none | s2s.0.3.3 |
qf_shid_entl/lsegex4_slk-6.smt2 | 0.011725 | 2.28942 | 0.141829 | 0.033399 | 0.014104 | none | Cyclist |
qf_shid_entl/lsevenodd_01.sb.smt2 | 0.036278 | 3.21041 | 0.143015 | 0.075364 | 0.014769 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_02.sb.smt2 | 0.066421 | 3.3315 | 0.210955 | 1.39 | 0.015564 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_03.sb.smt2 | 6.51081 | 3.25106 | none | 1.62 | 0.016109 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_04.sb.smt2 | 0.99671 | 3.32758 | none | 1.63 | 0.015441 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_09.sb.smt2 | 0.491131 | 3.25351 | none | 0.91 | 0.015997 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_11.sb.smt2 | 0.101491 | 3.3154 | 0.186299 | 0.72 | 0.015686 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_14.sb.smt2 | 0.304872 | 3.2277 | none | 0.95 | 0.01567 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_15.sb.smt2 | 0.458952 | 3.28288 | none | 1.23 | 0.015646 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_16.sb.smt2 | 0.22025 | 3.31632 | 0.177838 | 0.83 | 0.01557 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 0.163792 | 3.93037 | none | 0.317081 | 0.020522 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 0.448321 | 3.94481 | none | 0.316653 | 0.017401 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 0.964237 | 5.09161 | 0.176962 | 0.61 | 0.029837 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 0.498812 | 4.94808 | none | 1.39 | 0.03618 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 0.273397 | 3.47696 | 0.251326 | 5.17 | 0.015792 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 3.5227 | 3.6843 | none | 5.17 | 0.020758 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 1.21207 | 3.76264 | none | 5.18 | 0.01729 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 2.99748 | 3.82062 | none | 5.21 | 0.017305 | none | s2s.0.3.3 |
qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 4.77453 | 3.71042 | none | 5.34 | 0.017522 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_01.sb.smt2 | 0.032672 | none | none | 2.32 | 0.027177 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_02.sb.smt2 | 0.047723 | none | none | 0.222525 | 0.01592 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_04.sb.smt2 | 0.156958 | none | none | 0.2143 | 0.016747 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_05.sb.smt2 | 0.045046 | 3.20582 | 0.09764 | 0.96 | 0.015071 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_06.sb.smt2 | 0.366097 | none | none | 0.78 | 0.014902 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_07.sb.smt2 | 0.182175 | 3.20287 | none | 0.99 | 0.015945 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_08.sb.smt2 | 0.033717 | 3.18848 | 0.105382 | 0.72 | 0.013063 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_09.sb.smt2 | 0.358312 | none | none | 0.62 | 0.014916 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_10.sb.smt2 | 5.04768 | 3.17592 | none | 0.69 | 0.01571 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_11.sb.smt2 | 0.149529 | none | none | 0.269531 | 0.016067 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_12.sb.smt2 | 0.146786 | none | none | 0.277897 | 0.016514 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_13.sb.smt2 | 0.861003 | none | none | 3.29 | 0.027729 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_14.sb.smt2 | 0.858665 | none | none | 5.17 | 0.027167 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_15.sb.smt2 | 1.30619 | none | none | 3.25 | 0.02721 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_16.sb.smt2 | 0.041945 | none | none | 0.233852 | 0.025901 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_17.sb.smt2 | 1.89479 | none | none | 5.07 | 0.015499 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_18.sb.smt2 | 1.56075 | none | none | 5.11 | 0.015372 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_19.sb.smt2 | 1.36706 | none | none | 0.83 | 0.016041 | none | s2s.0.3.3 |
qf_shid_entl/lsleftright_20.sb.smt2 | 0.033365 | none | none | 1.32 | 0.015507 | none | s2s.0.3.3 |
qf_shid_entl/lss-vc01.smt2 | 0.010046 | 2.99426 | 0.074802 | 0.015803 | 0.01187 | 0.303618 | Cyclist |
qf_shid_entl/lss-vc02.smt2 | 0.014205 | 3.92036 | 0.116887 | 0.022208 | 0.01197 | 0.305643 | s2s.0.3.3 |
qf_shid_entl/lss-vc03.smt2 | 0.045704 | 4.24003 | 0.135611 | 0.110736 | 0.01212 | 0.558935 | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 0.175405 | 5.47667 | none | 5.1 | 0.017288 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 0.046876 | 12.4901 | none | 0.61 | 0.016273 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 0.047298 | 11.7018 | 0.187263 | 0.61 | 0.017337 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 0.031971 | 9.93511 | 0.153606 | 0.14171 | 0.017376 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 0.088675 | 4.00671 | 0.135774 | 0.052127 | 0.014196 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 0.075981 | 5.38619 | 0.150744 | 0.071008 | 0.014444 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 0.152472 | 5.59446 | 0.378569 | 1.7 | 0.014407 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 0.447704 | 15.0828 | 1.38178 | 5.88 | 0.016621 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 0.792269 | 14.9817 | 4.42036 | 6.41 | 0.01668 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 0.383347 | 14.9713 | 0.222845 | 0.166977 | 0.015843 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 516.342 | 95.6618 | none | 6.58 | 0.020559 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 5.361 | 85.4825 | 1.27341 | 6.06 | 0.018301 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 4.35918 | 84.6525 | 12.796 | 6.08 | 0.01826 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 3.1015 | 87.2042 | 127.142 | 6.07 | 0.018872 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | none | none | none | 12.99 | 0.036484 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | none | none | none | 35.06 | 0.059164 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | none | none | none | 42.4 | 0.14021 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | none | none | none | 31.92 | 0.467848 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | none | none | none | 11.9 | 2.2654 | none | s2s.0.3.3 |
qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | none | none | none | 26.3 | 14.6352 | none | s2s.0.3.3 |
qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 0.081881 | 3.21606 | 0.132975 | 0.072712 | 0.014678 | none | s2s.0.3.3 |
qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 0.04335 | 3.48271 | 0.11566 | 0.171362 | 0.014548 | none | s2s.0.3.3 |
qf_shid_entl/ls_even_entails_ls.sb.smt2 | 0.03646 | 3.13397 | 0.123553 | 0.054207 | 0.014478 | 0.309285 | s2s.0.3.3 |
qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 0.482579 | 3.26691 | none | 0.92 | 0.01527 | 0.506268 | s2s.0.3.3 |
qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 0.144468 | 3.49313 | 0.205423 | 4.36 | 0.015739 | 0.586597 | s2s.0.3.3 |
qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 0.181782 | 3.29692 | none | 0.78 | 0.014458 | 0.626953 | s2s.0.3.3 |
qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 0.703855 | 3.22803 | none | 0.938602 | 0.01672 | 0.613911 | s2s.0.3.3 |
qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 0.145958 | 3.49773 | 0.11219 | 2.52 | 0.01495 | 0.639705 | s2s.0.3.3 |
qf_shid_entl/ls_join_entails_ls.sb.smt2 | 0.034918 | 3.18 | 0.096829 | 0.66 | 0.012137 | 0.541689 | s2s.0.3.3 |
qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 4.55135 | none | 0.136544 | 52.44 | 0.016275 | none | s2s.0.3.3 |
qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 27.742 | none | 0.121871 | 5.1 | 0.015741 | none | s2s.0.3.3 |
qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 135.997 | none | 0.148073 | 5.13 | 0.017322 | none | s2s.0.3.3 |
qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 90.1514 | none | 0.171205 | 5.26 | 0.018472 | none | s2s.0.3.3 |
qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 11.4581 | none | 0.13015 | 5.2 | 0.014404 | none | s2s.0.3.3 |
qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 6.89338 | none | none | 5.18 | 0.014587 | none | s2s.0.3.3 |
qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 15.7357 | none | none | 5.17 | 0.016768 | none | s2s.0.3.3 |
qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 55.4084 | none | none | 5.35 | 0.016565 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 0.073979 | 3.68989 | 0.433366 | 4.44 | 0.014297 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 0.386975 | 3.69465 | none | 5.32 | 0.015267 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 2.68183 | 4.99036 | none | 5.44 | 0.017225 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 0.350764 | 4.829 | none | 54.43 | 0.016472 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 0.369626 | 4.77315 | 13.2825 | 52.49 | 0.016367 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 0.124727 | 4.64174 | 0.599957 | 8.68 | 0.015502 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 20.8888 | 8.63423 | none | 5.68 | 0.021097 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 2.49424 | 9.48544 | none | 5.47 | 0.018052 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 3.64057 | 8.2956 | none | 52.33 | 0.018226 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 2.50375 | 8.11955 | none | 52.44 | 0.020255 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 12.6953 | 7.79533 | none | 53.54 | 0.018582 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 0.607546 | 8.61533 | 20.2077 | 5.75 | 0.016628 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 899.4 | 22.7253 | none | 6.27 | 0.03605 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | none | 66.6038 | none | 7.28 | 0.059782 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | none | none | none | 8.7 | 0.13973 | none | s2s.0.3.3 |
qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | none | none | none | 11.09 | 0.4711 | none | s2s.0.3.3 |
qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 0.03436 | 3.21261 | 0.130946 | 0.069866 | 0.015092 | none | s2s.0.3.3 |
qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 0.067709 | 3.4815 | 0.109773 | 0.218234 | 0.014798 | none | s2s.0.3.3 |
qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 0.079039 | 3.13662 | 0.119065 | 0.052022 | 0.014325 | 0.305745 | s2s.0.3.3 |
qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 0.21292 | 3.19775 | none | 0.94 | 0.017189 | 0.535259 | s2s.0.3.3 |
qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 0.191264 | 3.47198 | 0.107282 | 4.1 | 0.016397 | 0.536536 | s2s.0.3.3 |
qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 0.364034 | 3.29433 | 0.168486 | 0.81 | 0.014927 | 0.737406 | s2s.0.3.3 |
qf_shid_entl/nll-vc01.smt2 | 411.636 | 19.1298 | 0.975899 | 0.070967 | 0.013676 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc02.smt2 | 410.993 | 18.4933 | 0.979629 | 0.070235 | 0.013433 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc03.smt2 | none | 37.7051 | 1.07947 | 0.66 | 0.013767 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc04.smt2 | none | 116.406 | 1.61127 | 5.17 | 0.016942 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc05.smt2 | 0.534069 | 17.2453 | 2.13964 | 5.02958 | 0.013196 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc06.smt2 | none | 18.8346 | none | 0.026733 | 0.012651 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc07.smt2 | 0.042086 | 16.9675 | 1.14457 | 7.33 | 0.012562 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc08.smt2 | 13.2796 | 31.162 | 1.89627 | 13.85 | 0.013334 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc09.smt2 | 0.055483 | 19.7354 | 1.23661 | 6.15 | 0.013113 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc10.smt2 | 2.60454 | 20.4334 | 1.58013 | 6.87 | 0.01395 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc11.smt2 | 0.028375 | 17.1843 | 1.29871 | 5.1 | 0.013235 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc12.smt2 | 0.029096 | 4.00464 | 0.993208 | 3.42 | 0.012607 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc13.smt2 | none | 3.92555 | 1.07844 | 0.022425 | 0.013724 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc14.smt2 | none | 4.46532 | 1.28599 | 0.04024 | 0.012764 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc15.smt2 | none | 17.0081 | 1.07959 | 0.019473 | 0.01394 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc16.smt2 | none | 19.7816 | 1.22651 | 0.023534 | 0.01399 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc17.smt2 | none | 53.0627 | 3.34169 | none | 0.013985 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc18.smt2 | none | 35.2162 | 3.56333 | 0.055652 | 0.013911 | none | s2s.0.3.3 |
qf_shid_entl/nll-vc19.smt2 | none | 77.0514 | 4.89569 | 0.068236 | 0.014255 | none | s2s.0.3.3 |
qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 0.051219 | 4.95369 | 0.181368 | 1.7 | 0.032451 | 0.333957 | s2s.0.3.3 |
qf_shid_entl/node-node-dll-entails-dll.smt2 | 0.065955 | 3.8171 | 0.123079 | 1.79 | 0.016682 | 0.287398 | s2s.0.3.3 |
qf_shid_entl/node-tll-tll-entails-tll.smt2 | 0.010445 | 3.55748 | 0.099555 | 5.02 | 0.0142 | 0.302214 | Cyclist |
qf_shid_entl/odd-lseg3_slk-1.smt2 | none | 2.93898 | 0.064898 | 0.01218 | 0.013134 | none | Songbird |
qf_shid_entl/odd-lseg3_slk-2.smt2 | none | 2.64063 | 0.059961 | 0.011176 | 0.01219 | none | Songbird |
qf_shid_entl/odd-lseg3_slk-3.smt2 | 0.009502 | 3.72178 | 0.078327 | 0.094156 | 0.011965 | none | Cyclist |
qf_shid_entl/odd-lseg3_slk-4.smt2 | none | 3.30979 | 0.067001 | 0.013636 | 0.014661 | none | Songbird |
qf_shid_entl/odd-lseg3_slk-5.smt2 | 0.302545 | 3.65194 | none | 2.09 | 0.015312 | none | s2s.0.3.3 |
qf_shid_entl/odd-lseg3_slk-6.smt2 | none | 4.83605 | none | 0.013467 | 0.014377 | none | Songbird |
qf_shid_entl/odd-lseg3_slk-7.smt2 | 0.010677 | 3.26707 | 0.061945 | 0.011634 | 0.012246 | none | Cyclist |
qf_shid_entl/skl2-vc01.smt2 | 0.01562 | 3.09804 | 0.987332 | 0.023118 | 0.012742 | none | s2s.0.3.3 |
qf_shid_entl/skl2-vc02.smt2 | 0.055283 | 3.5125 | 0.993169 | 0.029166 | 0.012561 | none | s2s.0.3.3 |
qf_shid_entl/skl2-vc03.smt2 | none | none | none | 6.03 | 0.021437 | none | s2s.0.3.3 |
qf_shid_entl/skl2-vc04.smt2 | 0.104513 | 5.42378 | 1.07675 | 0.190075 | 0.012888 | none | s2s.0.3.3 |
qf_shid_entl/skl2-vc05.smt2 | none | none | 2.72963 | none | 0.013574 | none | s2s.0.3.3 |
qf_shid_entl/skl2-vc06.smt2 | none | 117.028 | 4.47182 | 0.059741 | 0.014034 | none | s2s.0.3.3 |
qf_shid_entl/skl2-vc07.smt2 | none | none | none | 0.069188 | 0.013738 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc01.smt2 | 0.243543 | 3.2383 | 4.94816 | 0.038272 | 0.013955 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc02.smt2 | none | 320.605 | 82.2464 | none | 0.013347 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc03.smt2 | 0.070805 | 367.197 | 1150.44 | 6.47 | 0.013943 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc04.smt2 | none | none | none | none | 0.017343 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc05.smt2 | none | none | none | none | 0.016391 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc06.smt2 | none | none | none | none | 0.015781 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc07.smt2 | none | none | none | 5.62 | 0.017676 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc08.smt2 | none | none | none | 5.65 | 0.015364 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc09.smt2 | none | none | none | 5.56 | 0.014355 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc10.smt2 | none | 446.655 | 5.25823 | 5.3 | 0.014396 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc11.smt2 | none | none | none | none | 0.017118 | none | s2s.0.3.3 |
qf_shid_entl/skl3-vc12.smt2 | none | none | none | 0.392544 | 0.017382 | none | s2s.0.3.3 |
qf_shid_entl/sll-vc01.smt2 | none | none | 0.074943 | none | 0.060465 | none | s2s.0.3.3 |
qf_shid_entl/sll-vc02.smt2 | none | none | 0.075346 | 1.93 | 0.042322 | none | s2s.0.3.3 |
qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | none | 5.00563 | none | 1.22 | 0.531403 | 0.289652 | slide |
qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | none | none | none | none | 0.525605 | 0.792619 | s2s.0.3.3 |
qf_shid_entl/tll-ravioli.smt2 | 0.012625 | 2.11418 | none | 17.05 | 0.021976 | 0.292054 | Cyclist |
qf_shid_entl/tll_slk-1.smt2 | 0.011541 | 2.09198 | 0.110932 | 0.03318 | 0.236111 | none | Cyclist |
qf_shid_entl/tll_slk-10.smt2 | 0.011009 | 2.13315 | 0.115668 | 5.21 | 0.236002 | none | Cyclist |
qf_shid_entl/tll_slk-11.smt2 | 0.010328 | 2.30592 | 0.1156 | 5.22 | 0.240094 | none | Cyclist |
qf_shid_entl/tll_slk-12.smt2 | 0.011448 | 3.21374 | 0.125882 | 0.030695 | 0.237359 | none | Cyclist |
qf_shid_entl/tll_slk-13.smt2 | 0.026307 | none | 0.168404 | 5.34 | 27.2556 | none | Cyclist |
qf_shid_entl/tll_slk-2.smt2 | 0.010139 | 2.09681 | 0.108852 | 0.026161 | 0.23871 | none | Cyclist |
qf_shid_entl/tll_slk-3.smt2 | 0.011293 | 2.91429 | 0.111906 | 0.026424 | 0.236898 | none | Cyclist |
qf_shid_entl/tll_slk-4.smt2 | 0.013104 | 3.30476 | 0.123355 | 5.2 | 0.237175 | none | Cyclist |
qf_shid_entl/tll_slk-5.smt2 | 0.011081 | 2.16418 | 0.111827 | 0.025638 | 0.23404 | none | Cyclist |
qf_shid_entl/tll_slk-6.smt2 | 0.011618 | 2.14942 | 0.114128 | 5.14 | 0.233765 | none | Cyclist |
qf_shid_entl/tll_slk-7.smt2 | 0.011504 | 2.89209 | 0.113777 | 0.025516 | 0.240156 | none | Cyclist |
qf_shid_entl/tll_slk-8.smt2 | 0.011889 | 3.30225 | 0.119116 | 5.2 | 0.236679 | none | Cyclist |
qf_shid_entl/tll_slk-9.smt2 | 0.011281 | 2.28181 | 0.112891 | 5.12 | 0.234294 | none | Cyclist |
qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | none | none | none | none | 0.209569 | 0.334633 | s2s.0.3.3 |
qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 52.3471 | none | none | none | 0.049216 | 0.814061 | s2s.0.3.3 |
qf_shid_entl/tseg_join_2.sb.smt2 | 0.129933 | 6.48366 | 0.259369 | 5.13 | 0.024908 | 0.514349 | s2s.0.3.3 |
qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 0.389436 | 3.82706 | none | 5.18 | 0.015139 | 0.461509 | s2s.0.3.3 |
qf_shid_entl/tseg_join_tree.sb.smt2 | 0.06419 | 3.79904 | 0.084795 | 5.14 | 0.015234 | none | s2s.0.3.3 |
qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 0.189302 | 6.44377 | 0.21729 | 5.16 | 0.025071 | none | s2s.0.3.3 |
Total | 64 | 0 | 0 | 6 | 241 | 1 | ALL |