| 430234930 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | ASTERIX | 20618 | default | 304295 | complete | 0.012157 | 0.0121901 | 113176.0 | unsat | unsat |
| 430234938 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | ASTERIX | 20618 | default | 304295 | complete | 0.012204 | 0.0122269 | 113176.0 | sat | sat |
| 430234934 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | ASTERIX | 20618 | default | 304295 | complete | 0.012188 | 0.0122489 | 113176.0 | unsat | unsat |
| 430234945 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | ASTERIX | 20618 | default | 304295 | complete | 0.012185 | 0.0122569 | 113176.0 | unsat | unsat |
| 430234942 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | ASTERIX | 20618 | default | 304295 | complete | 0.012686 | 0.0127681 | 113176.0 | sat | sat |
| 430234951 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | ASTERIX | 20618 | default | 304295 | complete | 0.011813 | 0.0118639 | 113176.0 | sat | sat |
| 430234948 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | ASTERIX | 20618 | default | 304295 | complete | 0.012154 | 0.0121889 | 113176.0 | sat | sat |
| 430234904 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | ASTERIX | 20618 | default | 304295 | complete | 0.012186 | 0.012215 | 113176.0 | unsat | unsat |
| 430234909 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | ASTERIX | 20618 | default | 304295 | complete | 0.011666 | 0.0117031 | 113176.0 | unsat | unsat |
| 430234967 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | ASTERIX | 20618 | default | 304295 | complete | 0.011882 | 0.0119251 | 113176.0 | sat | sat |
| 430234970 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | ASTERIX | 20618 | default | 304295 | complete | 0.013527 | 0.0135579 | 113176.0 | unsat | unsat |
| 430234968 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | ASTERIX | 20618 | default | 304295 | complete | 0.01285 | 0.012939 | 113176.0 | sat | sat |
| 430234964 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | ASTERIX | 20618 | default | 304295 | complete | 0.011946 | 0.0119719 | 113176.0 | sat | sat |
| 430234963 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | ASTERIX | 20618 | default | 304295 | complete | 0.01334 | 0.0198541 | 0.0 | unsat | unsat |
| 430234960 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | ASTERIX | 20618 | default | 304295 | complete | 0.012394 | 0.0124171 | 113176.0 | sat | sat |
| 430234957 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | ASTERIX | 20618 | default | 304295 | complete | 0.012921 | 0.0129511 | 113176.0 | sat | sat |
| 430234954 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | ASTERIX | 20618 | default | 304295 | complete | 0.012334 | 0.012367 | 113176.0 | unsat | unsat |
| 430235005 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | ASTERIX | 20618 | default | 304295 | complete | 0.012057 | 0.012114 | 113176.0 | sat | sat |
| 430235010 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | ASTERIX | 20618 | default | 304295 | complete | 0.012175 | 0.0122381 | 113176.0 | unsat | unsat |
| 430234937 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | ASTERIX | 20618 | default | 304295 | complete | 0.012532 | 0.012595 | 113176.0 | sat | sat |
| 430234924 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | ASTERIX | 20618 | default | 304295 | complete | 0.012618 | 0.012696 | 113176.0 | unsat | unsat |
| 430234922 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | ASTERIX | 20618 | default | 304295 | complete | 0.013369 | 0.0142141 | 113176.0 | unsat | unsat |
| 430234918 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | ASTERIX | 20618 | default | 304295 | complete | 0.011833 | 0.0118769 | 113176.0 | unsat | unsat |
| 430234917 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | ASTERIX | 20618 | default | 304295 | complete | 0.01204 | 0.012079 | 113176.0 | unsat | unsat |
| 430234913 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | ASTERIX | 20618 | default | 304295 | complete | 0.012326 | 0.0123781 | 113176.0 | sat | sat |
| 430234907 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | ASTERIX | 20618 | default | 304295 | complete | 0.012632 | 0.012685 | 113176.0 | unsat | unsat |
| 430234903 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | ASTERIX | 20618 | default | 304295 | complete | 0.012725 | 0.0127949 | 113176.0 | unsat | unsat |
| 430234947 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | ASTERIX | 20618 | default | 304295 | complete | 0.012702 | 0.0127799 | 113176.0 | sat | sat |
| 430234950 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | ASTERIX | 20618 | default | 304295 | complete | 0.012461 | 0.012524 | 113176.0 | sat | sat |
| 430234987 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | ASTERIX | 20618 | default | 304295 | complete | 0.012219 | 0.012249 | 113176.0 | sat | sat |
| 430234976 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | ASTERIX | 20618 | default | 304295 | complete | 0.012125 | 0.012163 | 113176.0 | unsat | unsat |
| 430234989 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | ASTERIX | 20618 | default | 304295 | complete | 0.012351 | 0.012385 | 113176.0 | sat | sat |
| 430234984 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | ASTERIX | 20618 | default | 304295 | complete | 0.013133 | 0.0132049 | 113176.0 | unsat | unsat |
| 430235000 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | ASTERIX | 20618 | default | 304295 | complete | 0.012713 | 0.0127949 | 113176.0 | unsat | unsat |
| 430234995 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | ASTERIX | 20618 | default | 304295 | complete | 0.01261 | 0.0126399 | 113176.0 | unsat | unsat |
| 430235008 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | ASTERIX | 20618 | default | 304295 | complete | 0.011879 | 0.0119391 | 113176.0 | unsat | unsat |
| 430235004 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | ASTERIX | 20618 | default | 304295 | complete | 0.013876 | 0.0139661 | 113176.0 | unsat | unsat |
| 430234953 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | ASTERIX | 20618 | default | 304295 | complete | 0.012444 | 0.012484 | 113176.0 | sat | sat |
| 430234956 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | ASTERIX | 20618 | default | 304295 | complete | 0.012732 | 0.012766 | 113176.0 | unsat | unsat |
| 430234921 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | ASTERIX | 20618 | default | 304295 | complete | 0.011974 | 0.012018 | 113176.0 | sat | sat |
| 430234966 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | ASTERIX | 20618 | default | 304295 | complete | 0.013323 | 0.0133651 | 113176.0 | sat | sat |
| 430234974 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | ASTERIX | 20618 | default | 304295 | complete | 0.014263 | 0.014285 | 113176.0 | unsat | unsat |
| 430234973 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | ASTERIX | 20618 | default | 304295 | complete | 0.012705 | 0.012791 | 113176.0 | unsat | unsat |
| 430234955 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | ASTERIX | 20618 | default | 304295 | complete | 0.012735 | 0.0127681 | 113176.0 | sat | sat |
| 430234952 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | ASTERIX | 20618 | default | 304295 | complete | 0.012587 | 0.012625 | 113176.0 | unsat | unsat |
| 430234962 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | ASTERIX | 20618 | default | 304295 | complete | 0.014069 | 0.0206429 | 0.0 | unsat | unsat |
| 430234959 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | ASTERIX | 20618 | default | 304295 | complete | 0.012469 | 0.01255 | 113176.0 | sat | sat |
| 430234993 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | ASTERIX | 20618 | default | 304295 | complete | 0.013502 | 0.0135529 | 113176.0 | unsat | unsat |
| 430234999 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | ASTERIX | 20618 | default | 304295 | complete | 0.012893 | 0.0129201 | 113176.0 | unsat | unsat |
| 430234931 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | ASTERIX | 20618 | default | 304295 | complete | 0.012561 | 0.0126401 | 113176.0 | unsat | unsat |
| 430234936 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | ASTERIX | 20618 | default | 304295 | complete | 0.013163 | 0.0132429 | 113176.0 | sat | sat |
| 430234933 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | ASTERIX | 20618 | default | 304295 | complete | 0.012834 | 0.01288 | 113176.0 | unsat | unsat |
| 430234932 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | ASTERIX | 20618 | default | 304295 | complete | 0.012917 | 0.012983 | 113176.0 | sat | sat |
| 430234949 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | ASTERIX | 20618 | default | 304295 | complete | 0.012543 | 0.012623 | 113176.0 | sat | sat |
| 430234946 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | ASTERIX | 20618 | default | 304295 | complete | 0.01277 | 0.012858 | 113176.0 | unsat | unsat |
| 430234944 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | ASTERIX | 20618 | default | 304295 | complete | 0.012655 | 0.0126931 | 113176.0 | sat | sat |
| 430234941 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | ASTERIX | 20618 | default | 304295 | complete | 0.012944 | 0.013021 | 113176.0 | sat | sat |
| 430234911 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | ASTERIX | 20618 | default | 304295 | complete | 0.012825 | 0.0130559 | 113176.0 | unsat | unsat |
| 430234916 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | ASTERIX | 20618 | default | 304295 | complete | 0.011884 | 0.011936 | 113176.0 | unsat | unsat |
| 430234971 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | ASTERIX | 20618 | default | 304295 | complete | 0.01443 | 0.0144871 | 113176.0 | sat | sat |
| 430234985 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | ASTERIX | 20618 | default | 304295 | complete | 0.012517 | 0.012567 | 113176.0 | unsat | unsat |
| 430234983 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | ASTERIX | 20618 | default | 304295 | complete | 0.012529 | 0.012563 | 113176.0 | unsat | unsat |
| 430234980 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | ASTERIX | 20618 | default | 304295 | complete | 0.013015 | 0.013098 | 113176.0 | sat | sat |
| 430235006 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | ASTERIX | 20618 | default | 304295 | complete | 0.013612 | 0.0136749 | 113176.0 | sat | sat |
| 430235002 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | ASTERIX | 20618 | default | 304295 | complete | 0.012215 | 0.012241 | 113176.0 | unsat | unsat |
| 430234997 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | ASTERIX | 20618 | default | 304295 | complete | 0.013287 | 0.013365 | 113176.0 | sat | sat |
| 430234992 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | ASTERIX | 20618 | default | 304295 | complete | 0.012854 | 0.0128919 | 113176.0 | unsat | unsat |
| 430234958 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | ASTERIX | 20618 | default | 304295 | complete | 0.012482 | 0.0125151 | 113176.0 | unsat | unsat |
| 430234961 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | ASTERIX | 20618 | default | 304295 | complete | 0.012821 | 0.012884 | 113176.0 | sat | sat |
| 430234925 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | ASTERIX | 20618 | default | 304295 | complete | 0.012776 | 0.012854 | 113176.0 | sat | sat |
| 430234920 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | ASTERIX | 20618 | default | 304295 | complete | 0.01329 | 0.0133461 | 113176.0 | sat | sat |
| 430234928 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | ASTERIX | 20618 | default | 304295 | complete | 0.013651 | 0.013723 | 113176.0 | sat | sat |
| 430234926 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | ASTERIX | 20618 | default | 304295 | complete | 0.012938 | 0.0129821 | 113176.0 | unsat | unsat |
| 430234906 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | ASTERIX | 20618 | default | 304295 | complete | 0.01249 | 0.0125231 | 113176.0 | sat | sat |
| 430234902 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | ASTERIX | 20618 | default | 304295 | complete | 0.013699 | 0.0137621 | 113176.0 | sat | sat |
| 430234914 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | ASTERIX | 20618 | default | 304295 | complete | 0.013051 | 0.013091 | 113176.0 | unsat | unsat |
| 430234910 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | ASTERIX | 20618 | default | 304295 | complete | 0.013227 | 0.013299 | 113176.0 | unsat | unsat |
| 430234940 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | ASTERIX | 20618 | default | 304295 | complete | 0.013177 | 0.013236 | 113176.0 | unsat | unsat |
| 430234943 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | ASTERIX | 20618 | default | 304295 | complete | 0.013309 | 0.0133679 | 113176.0 | sat | sat |
| 430234977 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | ASTERIX | 20618 | default | 304295 | complete | 0.013364 | 0.013442 | 113176.0 | sat | sat |
| 430234915 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | ASTERIX | 20618 | default | 304295 | complete | 0.01293 | 0.012956 | 113176.0 | sat | sat |
| 430234901 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | ASTERIX | 20618 | default | 304295 | complete | 0.013454 | 0.0134821 | 113176.0 | unsat | unsat |
| 430234905 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | ASTERIX | 20618 | default | 304295 | complete | 0.012741 | 0.0127911 | 113176.0 | sat | sat |
| 430234927 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | ASTERIX | 20618 | default | 304295 | complete | 0.013161 | 0.0133179 | 113176.0 | sat | sat |
| 430234929 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | ASTERIX | 20618 | default | 304295 | complete | 0.013082 | 0.0131191 | 113176.0 | sat | sat |
| 430234919 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | ASTERIX | 20618 | default | 304295 | complete | 0.012518 | 0.012588 | 113176.0 | sat | sat |
| 430234923 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | ASTERIX | 20618 | default | 304295 | complete | 0.013267 | 0.0133271 | 113176.0 | sat | sat |
| 430234939 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | ASTERIX | 20618 | default | 304295 | complete | 0.013092 | 0.013132 | 113176.0 | unsat | unsat |
| 430234935 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | ASTERIX | 20618 | default | 304295 | complete | 0.012937 | 0.0129659 | 113176.0 | unsat | unsat |
| 430235009 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | ASTERIX | 20618 | default | 304295 | complete | 0.012782 | 0.0128089 | 113176.0 | unsat | unsat |
| 430234996 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | ASTERIX | 20618 | default | 304295 | complete | 0.012555 | 0.012621 | 113176.0 | unsat | unsat |
| 430235003 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | ASTERIX | 20618 | default | 304295 | complete | 0.013568 | 0.0136071 | 113176.0 | sat | sat |
| 430235007 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | ASTERIX | 20618 | default | 304295 | complete | 0.012458 | 0.012493 | 113176.0 | sat | sat |
| 430234979 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | ASTERIX | 20618 | default | 304295 | complete | 0.012943 | 0.0129809 | 113176.0 | unsat | unsat |
| 430234982 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | ASTERIX | 20618 | default | 304295 | complete | 0.014854 | 0.014922 | 113176.0 | sat | sat |
| 430234986 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | ASTERIX | 20618 | default | 304295 | complete | 0.013083 | 0.013115 | 113176.0 | sat | sat |
| 430234990 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | ASTERIX | 20618 | default | 304295 | complete | 0.012906 | 0.01298 | 113176.0 | unsat | unsat |
| 430234969 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | ASTERIX | 20618 | default | 304295 | complete | 0.012594 | 0.0126739 | 113176.0 | sat | sat |
| 430234965 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | ASTERIX | 20618 | default | 304295 | complete | 0.0143 | 0.014411 | 0.0 | unsat | unsat |
| 430234908 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | ASTERIX | 20618 | default | 304295 | complete | 0.013138 | 0.0131539 | 113176.0 | unsat | unsat |
| 430235001 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | ASTERIX | 20618 | default | 304295 | complete | 0.012677 | 0.012731 | 113176.0 | unsat | unsat |
| 430234998 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | ASTERIX | 20618 | default | 304295 | complete | 0.015083 | 0.0175959 | 0.0 | sat | sat |
| 430234994 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | ASTERIX | 20618 | default | 304295 | complete | 0.013578 | 0.0136139 | 113176.0 | sat | sat |
| 430234991 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | ASTERIX | 20618 | default | 304295 | complete | 0.013366 | 0.0133981 | 113176.0 | sat | sat |
| 430234988 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | ASTERIX | 20618 | default | 304295 | complete | 0.01347 | 0.013565 | 113176.0 | unsat | unsat |
| 430234981 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | ASTERIX | 20618 | default | 304295 | complete | 0.013759 | 0.0137929 | 113176.0 | unsat | unsat |
| 430234978 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | ASTERIX | 20618 | default | 304295 | complete | 0.013295 | 0.013372 | 113176.0 | sat | sat |
| 430234972 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | ASTERIX | 20618 | default | 304295 | complete | 0.01583 | 0.0200019 | 0.0 | sat | sat |
| 430234975 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | ASTERIX | 20618 | default | 304295 | complete | 0.013412 | 0.0134771 | 113176.0 | sat | sat |
| 430234912 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | ASTERIX | 20618 | default | 304295 | complete | 0.012529 | 0.0125619 | 113176.0 | unsat | unsat |