430511851 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | SPEN | 22607 | qf_shls | 326476 | complete | 0.019068 | 0.018613 | 113176.0 | unsat | unsat |
430511859 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | SPEN | 22607 | qf_shls | 326476 | complete | 0.031073 | 0.030603 | 113176.0 | sat | sat |
430511855 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | SPEN | 22607 | qf_shls | 326476 | complete | 0.020383 | 0.0199179 | 113176.0 | unsat | unsat |
430511866 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | SPEN | 22607 | qf_shls | 326476 | complete | 0.020782 | 0.0203061 | 113176.0 | unsat | unsat |
430511863 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033486 | 0.032868 | 113176.0 | sat | sat |
430511872 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | SPEN | 22607 | qf_shls | 326476 | complete | 0.028272 | 0.0276381 | 113176.0 | sat | sat |
430511869 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | SPEN | 22607 | qf_shls | 326476 | complete | 0.029515 | 0.0288509 | 113176.0 | sat | sat |
430511825 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | SPEN | 22607 | qf_shls | 326476 | complete | 0.01865 | 0.0181189 | 113176.0 | unsat | unsat |
430511830 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | SPEN | 22607 | qf_shls | 326476 | complete | 0.015998 | 0.0155331 | 113176.0 | unsat | unsat |
430511888 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | SPEN | 22607 | qf_shls | 326476 | complete | 0.030054 | 0.029426 | 113176.0 | sat | sat |
430511891 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | SPEN | 22607 | qf_shls | 326476 | complete | 0.018489 | 0.0180359 | 113176.0 | unsat | unsat |
430511889 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | SPEN | 22607 | qf_shls | 326476 | complete | 0.030676 | 0.0300781 | 113176.0 | sat | sat |
430511885 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033035 | 0.0323861 | 113176.0 | sat | sat |
430511884 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | SPEN | 22607 | qf_shls | 326476 | complete | 0.034218 | 0.0337561 | 113176.0 | unsat | unsat |
430511881 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036906 | 0.036403 | 113176.0 | sat | sat |
430511878 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | SPEN | 22607 | qf_shls | 326476 | complete | 0.046602 | 0.0459559 | 113176.0 | sat | sat |
430511875 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | SPEN | 22607 | qf_shls | 326476 | complete | 0.021391 | 0.0209081 | 113176.0 | unsat | unsat |
430511926 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | SPEN | 22607 | qf_shls | 326476 | complete | 0.030217 | 0.0295919 | 113176.0 | sat | sat |
430511931 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | SPEN | 22607 | qf_shls | 326476 | complete | 0.024784 | 0.0243 | 113176.0 | unsat | unsat |
430511858 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | SPEN | 22607 | qf_shls | 326476 | complete | 0.040875 | 0.0402439 | 113176.0 | sat | sat |
430511845 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | SPEN | 22607 | qf_shls | 326476 | complete | 0.029296 | 0.0288219 | 113176.0 | unsat | unsat |
430511843 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035142 | 0.0346749 | 113176.0 | unsat | unsat |
430511839 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | SPEN | 22607 | qf_shls | 326476 | complete | 0.02591 | 0.0254031 | 113176.0 | unsat | unsat |
430511838 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | SPEN | 22607 | qf_shls | 326476 | complete | 0.025652 | 0.0251241 | 113176.0 | unsat | unsat |
430511834 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036596 | 0.035982 | 113176.0 | sat | sat |
430511828 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | SPEN | 22607 | qf_shls | 326476 | complete | 0.029148 | 0.0286029 | 113176.0 | unsat | unsat |
430511824 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | SPEN | 22607 | qf_shls | 326476 | complete | 0.028132 | 0.0276259 | 113176.0 | unsat | unsat |
430511868 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | SPEN | 22607 | qf_shls | 326476 | complete | 0.049629 | 0.0490119 | 113176.0 | sat | sat |
430511871 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035977 | 0.0352981 | 113176.0 | sat | sat |
430511908 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | SPEN | 22607 | qf_shls | 326476 | complete | 0.040344 | 0.0396461 | 113176.0 | sat | sat |
430511897 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | SPEN | 22607 | qf_shls | 326476 | complete | 0.026234 | 0.025745 | 113176.0 | unsat | unsat |
430511910 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | SPEN | 22607 | qf_shls | 326476 | complete | 0.045818 | 0.0452101 | 113176.0 | sat | sat |
430511905 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | SPEN | 22607 | qf_shls | 326476 | complete | 0.033373 | 0.032876 | 113176.0 | unsat | unsat |
430511921 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | SPEN | 22607 | qf_shls | 326476 | complete | 0.027767 | 0.027269 | 113176.0 | unsat | unsat |
430511916 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | SPEN | 22607 | qf_shls | 326476 | complete | 0.03634 | 0.0358621 | 113176.0 | unsat | unsat |
430511929 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | SPEN | 22607 | qf_shls | 326476 | complete | 0.022916 | 0.022375 | 113176.0 | unsat | unsat |
430511925 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | SPEN | 22607 | qf_shls | 326476 | complete | 0.054465 | 0.0540091 | 113176.0 | unsat | unsat |
430511874 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | SPEN | 22607 | qf_shls | 326476 | complete | 0.061928 | 0.06177 | 113176.0 | sat | sat |
430511877 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036091 | 0.0356199 | 113176.0 | unsat | unsat |
430511842 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | SPEN | 22607 | qf_shls | 326476 | complete | 0.045019 | 0.044435 | 113176.0 | sat | sat |
430511887 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | SPEN | 22607 | qf_shls | 326476 | complete | 0.066412 | 0.06579 | 113176.0 | sat | sat |
430511895 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | SPEN | 22607 | qf_shls | 326476 | complete | 0.037099 | 0.0365561 | 113176.0 | unsat | unsat |
430511894 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | SPEN | 22607 | qf_shls | 326476 | complete | 0.027888 | 0.0273879 | 113176.0 | unsat | unsat |
430511876 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | SPEN | 22607 | qf_shls | 326476 | complete | 0.079723 | 0.0796031 | 113176.0 | sat | sat |
430511873 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | SPEN | 22607 | qf_shls | 326476 | complete | 0.046193 | 0.045675 | 113176.0 | unsat | unsat |
430511883 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | SPEN | 22607 | qf_shls | 326476 | complete | 0.027077 | 0.0265801 | 113176.0 | unsat | unsat |
430511880 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | SPEN | 22607 | qf_shls | 326476 | complete | 0.057141 | 0.0565591 | 113176.0 | sat | sat |
430511914 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | SPEN | 22607 | qf_shls | 326476 | complete | 0.053486 | 0.0529579 | 113176.0 | unsat | unsat |
430511920 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | SPEN | 22607 | qf_shls | 326476 | complete | 0.046485 | 0.0460319 | 113176.0 | unsat | unsat |
430511852 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035561 | 0.0350979 | 113176.0 | unsat | unsat |
430511857 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | SPEN | 22607 | qf_shls | 326476 | complete | 0.086378 | 0.085761 | 113176.0 | sat | sat |
430511854 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | SPEN | 22607 | qf_shls | 326476 | complete | 0.051909 | 0.051413 | 113176.0 | unsat | unsat |
430511853 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | SPEN | 22607 | qf_shls | 326476 | complete | 0.075633 | 0.0750691 | 113176.0 | sat | sat |
430511870 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | SPEN | 22607 | qf_shls | 326476 | complete | 0.05035 | 0.0497251 | 113176.0 | sat | sat |
430511867 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | SPEN | 22607 | qf_shls | 326476 | complete | 0.036951 | 0.0364389 | 113176.0 | unsat | unsat |
430511865 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | SPEN | 22607 | qf_shls | 326476 | complete | 0.069149 | 0.068519 | 113176.0 | sat | sat |
430511862 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | SPEN | 22607 | qf_shls | 326476 | complete | 0.062446 | 0.0618939 | 113176.0 | sat | sat |
430511832 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | SPEN | 22607 | qf_shls | 326476 | complete | 0.035977 | 0.035522 | 113176.0 | unsat | unsat |
430511837 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | SPEN | 22607 | qf_shls | 326476 | complete | 0.031026 | 0.0305399 | 113176.0 | unsat | unsat |
430511892 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | SPEN | 22607 | qf_shls | 326476 | complete | 0.067522 | 0.0668679 | 113176.0 | sat | sat |
430511906 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | SPEN | 22607 | qf_shls | 326476 | complete | 0.030818 | 0.0303591 | 113176.0 | unsat | unsat |
430511904 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | SPEN | 22607 | qf_shls | 326476 | complete | 0.031409 | 0.030924 | 113176.0 | unsat | unsat |
430511901 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | SPEN | 22607 | qf_shls | 326476 | complete | 0.079153 | 0.07851 | 113176.0 | sat | sat |
430511927 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | SPEN | 22607 | qf_shls | 326476 | complete | 0.09714 | 0.0964801 | 113176.0 | sat | sat |
430511923 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | SPEN | 22607 | qf_shls | 326476 | complete | 0.025063 | 0.0245929 | 113176.0 | unsat | unsat |
430511918 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | SPEN | 22607 | qf_shls | 326476 | complete | 0.083094 | 0.0824981 | 113176.0 | sat | sat |
430511913 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | SPEN | 22607 | qf_shls | 326476 | complete | 0.051219 | 0.050696 | 113176.0 | unsat | unsat |
430511879 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | SPEN | 22607 | qf_shls | 326476 | complete | 0.04015 | 0.0397099 | 113176.0 | unsat | unsat |
430511882 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | SPEN | 22607 | qf_shls | 326476 | complete | 0.060486 | 0.059881 | 113176.0 | sat | sat |
430511846 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | SPEN | 22607 | qf_shls | 326476 | complete | 0.090502 | 0.0898589 | 113176.0 | sat | sat |
430511841 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | SPEN | 22607 | qf_shls | 326476 | complete | 0.127097 | 0.126511 | 113176.0 | sat | sat |
430511849 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | SPEN | 22607 | qf_shls | 326476 | complete | 0.133257 | 0.132649 | 113176.0 | sat | sat |
430511847 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | SPEN | 22607 | qf_shls | 326476 | complete | 0.074015 | 0.073533 | 113176.0 | unsat | unsat |
430511827 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | SPEN | 22607 | qf_shls | 326476 | complete | 0.096377 | 0.095758 | 113176.0 | sat | sat |
430511823 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | SPEN | 22607 | qf_shls | 326476 | complete | 0.138173 | 0.137541 | 113176.0 | sat | sat |
430511835 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | SPEN | 22607 | qf_shls | 326476 | complete | 0.061958 | 0.061482 | 113176.0 | unsat | unsat |
430511831 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | SPEN | 22607 | qf_shls | 326476 | complete | 0.039489 | 0.039004 | 113176.0 | unsat | unsat |
430511861 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | SPEN | 22607 | qf_shls | 326476 | complete | 0.050783 | 0.0502829 | 113176.0 | unsat | unsat |
430511864 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | SPEN | 22607 | qf_shls | 326476 | complete | 0.095755 | 0.095177 | 113176.0 | sat | sat |
430511898 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | SPEN | 22607 | qf_shls | 326476 | complete | 0.109348 | 0.108885 | 113176.0 | sat | sat |
430511836 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | SPEN | 22607 | qf_shls | 326476 | complete | 0.100062 | 0.0994209 | 113176.0 | sat | sat |
430511822 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | SPEN | 22607 | qf_shls | 326476 | complete | 0.067693 | 0.06714 | 113176.0 | unsat | unsat |
430511826 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | SPEN | 22607 | qf_shls | 326476 | complete | 0.074568 | 0.0739709 | 113176.0 | sat | sat |
430511848 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | SPEN | 22607 | qf_shls | 326476 | complete | 0.14665 | 0.146062 | 113176.0 | sat | sat |
430511850 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | SPEN | 22607 | qf_shls | 326476 | complete | 0.118361 | 0.11781 | 113176.0 | sat | sat |
430511840 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | SPEN | 22607 | qf_shls | 326476 | complete | 0.080067 | 0.0794629 | 113176.0 | sat | sat |
430511844 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | SPEN | 22607 | qf_shls | 326476 | complete | 0.131373 | 0.13069 | 113176.0 | sat | sat |
430511860 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | SPEN | 22607 | qf_shls | 326476 | complete | 0.061581 | 0.0610639 | 113176.0 | unsat | unsat |
430511856 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | SPEN | 22607 | qf_shls | 326476 | complete | 0.075105 | 0.0745891 | 113176.0 | unsat | unsat |
430511930 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | SPEN | 22607 | qf_shls | 326476 | complete | 0.048248 | 0.047762 | 113176.0 | unsat | unsat |
430511917 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | SPEN | 22607 | qf_shls | 326476 | complete | 0.045217 | 0.0446939 | 113176.0 | unsat | unsat |
430511924 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | SPEN | 22607 | qf_shls | 326476 | complete | 0.180654 | 0.180079 | 113176.0 | sat | sat |
430511928 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | SPEN | 22607 | qf_shls | 326476 | complete | 0.066794 | 0.066184 | 113176.0 | sat | sat |
430511900 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | SPEN | 22607 | qf_shls | 326476 | complete | 0.049877 | 0.0494211 | 113176.0 | unsat | unsat |
430511903 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | SPEN | 22607 | qf_shls | 326476 | complete | 0.233394 | 0.232803 | 113176.0 | sat | sat |
430511907 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | SPEN | 22607 | qf_shls | 326476 | complete | 0.120765 | 0.120144 | 113176.0 | sat | sat |
430511911 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | SPEN | 22607 | qf_shls | 326476 | complete | 0.049951 | 0.0494281 | 113176.0 | unsat | unsat |
430511890 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | SPEN | 22607 | qf_shls | 326476 | complete | 0.098515 | 0.0980411 | 113176.0 | sat | sat |
430511886 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | SPEN | 22607 | qf_shls | 326476 | complete | 0.080934 | 0.0804559 | 113176.0 | unsat | unsat |
430511829 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | SPEN | 22607 | qf_shls | 326476 | complete | 0.079613 | 0.0790921 | 113176.0 | unsat | unsat |
430511922 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | SPEN | 22607 | qf_shls | 326476 | complete | 0.055064 | 0.054545 | 113176.0 | unsat | unsat |
430511919 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | SPEN | 22607 | qf_shls | 326476 | complete | 0.176488 | 0.175878 | 113176.0 | sat | sat |
430511915 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | SPEN | 22607 | qf_shls | 326476 | complete | 0.202335 | 0.201678 | 113176.0 | sat | sat |
430511912 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | SPEN | 22607 | qf_shls | 326476 | complete | 0.182382 | 0.182204 | 113176.0 | sat | sat |
430511909 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | SPEN | 22607 | qf_shls | 326476 | complete | 0.066654 | 0.066118 | 113176.0 | unsat | unsat |
430511902 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | SPEN | 22607 | qf_shls | 326476 | complete | 0.118107 | 0.117613 | 113176.0 | unsat | unsat |
430511899 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | SPEN | 22607 | qf_shls | 326476 | complete | 0.151513 | 0.150954 | 113176.0 | sat | sat |
430511893 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | SPEN | 22607 | qf_shls | 326476 | complete | 0.193131 | 0.192515 | 113176.0 | sat | sat |
430511896 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | SPEN | 22607 | qf_shls | 326476 | complete | 0.146775 | 0.146272 | 113176.0 | sat | sat |
430511833 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | SPEN | 22607 | qf_shls | 326476 | complete | 0.060041 | 0.0595599 | 113176.0 | unsat | unsat |