430235150 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012405 | 0.0124871 | 113176.0 | unsat | unsat |
430235158 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012439 | 0.012595 | 113176.0 | sat | sat |
430235154 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012496 | 0.0125579 | 113176.0 | unsat | unsat |
430235165 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012978 | 0.0130321 | 113176.0 | unsat | unsat |
430235162 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012318 | 0.0123559 | 113176.0 | sat | sat |
430235171 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011734 | 0.0117939 | 113176.0 | sat | sat |
430235168 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012622 | 0.012674 | 113176.0 | sat | sat |
430235124 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012644 | 0.0126929 | 113176.0 | unsat | unsat |
430235129 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012213 | 0.0122881 | 113176.0 | unsat | unsat |
430235187 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012581 | 0.0126249 | 113176.0 | sat | sat |
430235190 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012409 | 0.012446 | 113176.0 | unsat | unsat |
430235188 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012341 | 0.012418 | 113176.0 | sat | sat |
430235184 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012242 | 0.012283 | 113176.0 | sat | sat |
430235183 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018807 | 0.01887 | 113176.0 | unsat | unsat |
430235180 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01242 | 0.012442 | 113176.0 | sat | sat |
430235177 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012347 | 0.0124021 | 113176.0 | sat | sat |
430235174 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012535 | 0.012589 | 113176.0 | unsat | unsat |
430235225 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012405 | 0.012482 | 113176.0 | sat | sat |
430235230 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013626 | 0.013701 | 113176.0 | unsat | unsat |
430235157 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012454 | 0.0125001 | 113176.0 | sat | sat |
430235144 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013528 | 0.0135569 | 113176.0 | unsat | unsat |
430235142 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013608 | 0.013636 | 113176.0 | unsat | unsat |
430235138 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01262 | 0.012703 | 113176.0 | unsat | unsat |
430235137 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012752 | 0.0128089 | 113176.0 | unsat | unsat |
430235133 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011517 | 0.0125481 | 0.0 | sat | sat |
430235127 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015517 | 0.0155531 | 113176.0 | unsat | unsat |
430235123 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015506 | 0.0155399 | 113176.0 | unsat | unsat |
430235167 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012289 | 0.012353 | 113176.0 | sat | sat |
430235170 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013513 | 0.014983 | 0.0 | sat | sat |
430235207 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012102 | 0.0121711 | 113176.0 | sat | sat |
430235196 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0146 | 0.014631 | 113176.0 | unsat | unsat |
430235209 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012037 | 0.012126 | 113176.0 | sat | sat |
430235204 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014691 | 0.0147279 | 113176.0 | unsat | unsat |
430235220 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01697 | 0.0169791 | 113176.0 | unsat | unsat |
430235215 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012741 | 0.0127621 | 113176.0 | unsat | unsat |
430235228 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013286 | 0.0133429 | 113176.0 | unsat | unsat |
430235224 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013137 | 0.013201 | 113176.0 | unsat | unsat |
430235173 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012472 | 0.0125009 | 113176.0 | sat | sat |
430235176 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01294 | 0.012964 | 113176.0 | unsat | unsat |
430235141 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012705 | 0.012744 | 113176.0 | sat | sat |
430235186 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013341 | 0.0133859 | 113176.0 | sat | sat |
430235194 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018068 | 0.0181499 | 113176.0 | unsat | unsat |
430235193 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012996 | 0.0130681 | 113176.0 | unsat | unsat |
430235175 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013137 | 0.0131619 | 113176.0 | sat | sat |
430235172 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013207 | 0.0132441 | 113176.0 | unsat | unsat |
430235182 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013083 | 0.01312 | 113176.0 | unsat | unsat |
430235179 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012267 | 0.0122931 | 113176.0 | sat | sat |
430235213 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015286 | 0.0153549 | 113176.0 | unsat | unsat |
430235219 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01602 | 0.0160869 | 113176.0 | unsat | unsat |
430235151 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018523 | 0.0185921 | 113176.0 | unsat | unsat |
430235156 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012314 | 0.0123411 | 113176.0 | sat | sat |
430235153 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013564 | 0.0136139 | 113176.0 | unsat | unsat |
430235152 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012624 | 0.0126931 | 113176.0 | sat | sat |
430235169 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013245 | 0.0154429 | 0.0 | sat | sat |
430235166 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015364 | 0.0154429 | 113176.0 | unsat | unsat |
430235164 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013732 | 0.0138141 | 113176.0 | sat | sat |
430235161 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01385 | 0.013884 | 113176.0 | sat | sat |
430235131 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012931 | 0.0129571 | 113176.0 | unsat | unsat |
430235136 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013299 | 0.0133449 | 113176.0 | unsat | unsat |
430235191 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012623 | 0.0126501 | 113176.0 | sat | sat |
430235205 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013486 | 0.0135139 | 113176.0 | unsat | unsat |
430235203 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014701 | 0.0147679 | 113176.0 | unsat | unsat |
430235200 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012277 | 0.0123089 | 113176.0 | sat | sat |
430235226 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013747 | 0.0227081 | 0.0 | sat | sat |
430235222 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012644 | 0.0126751 | 113176.0 | unsat | unsat |
430235217 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013409 | 0.013457 | 113176.0 | sat | sat |
430235212 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014873 | 0.0149571 | 113176.0 | unsat | unsat |
430235178 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013146 | 0.013168 | 113176.0 | unsat | unsat |
430235181 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012669 | 0.0127381 | 113176.0 | sat | sat |
430235145 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012981 | 0.0130101 | 113176.0 | sat | sat |
430235140 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012605 | 0.0126861 | 113176.0 | sat | sat |
430235148 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013721 | 0.013795 | 113176.0 | sat | sat |
430235146 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013339 | 0.013401 | 113176.0 | unsat | unsat |
430235126 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012311 | 0.0123421 | 113176.0 | sat | sat |
430235122 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012796 | 0.012865 | 113176.0 | sat | sat |
430235134 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.02175 | 0.0218081 | 113176.0 | unsat | unsat |
430235130 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016278 | 0.016312 | 113176.0 | unsat | unsat |
430235160 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016214 | 0.0162331 | 113176.0 | unsat | unsat |
430235163 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015094 | 0.0151329 | 113176.0 | sat | sat |
430235197 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012961 | 0.013004 | 113176.0 | sat | sat |
430235135 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015059 | 0.0151449 | 113176.0 | sat | sat |
430235121 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013985 | 0.014016 | 113176.0 | unsat | unsat |
430235125 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012891 | 0.01292 | 113176.0 | sat | sat |
430235147 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013226 | 0.013304 | 113176.0 | sat | sat |
430235149 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013959 | 0.0140439 | 113176.0 | sat | sat |
430235139 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013275 | 0.01334 | 113176.0 | sat | sat |
430235143 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013351 | 0.013451 | 113176.0 | sat | sat |
430235159 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013799 | 0.0138459 | 113176.0 | unsat | unsat |
430235155 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016642 | 0.0166721 | 113176.0 | unsat | unsat |
430235229 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013726 | 0.013809 | 113176.0 | unsat | unsat |
430235216 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014404 | 0.014432 | 113176.0 | unsat | unsat |
430235223 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017389 | 0.0174079 | 113176.0 | sat | sat |
430235227 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013004 | 0.013033 | 113176.0 | sat | sat |
430235199 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013806 | 0.013875 | 113176.0 | unsat | unsat |
430235202 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.032046 | 0.032092 | 113176.0 | sat | sat |
430235206 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013455 | 0.013489 | 113176.0 | sat | sat |
430235210 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014316 | 0.0143549 | 113176.0 | unsat | unsat |
430235189 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012851 | 0.0129289 | 113176.0 | sat | sat |
430235185 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013501 | 0.0135241 | 113176.0 | unsat | unsat |
430235128 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035624 | 0.035651 | 113176.0 | unsat | unsat |
430235221 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013108 | 0.0131451 | 113176.0 | unsat | unsat |
430235218 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012859 | 0.012888 | 113176.0 | sat | sat |
430235214 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013659 | 0.01373 | 113176.0 | sat | sat |
430235211 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014304 | 0.0168729 | 0.0 | sat | sat |
430235208 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.045377 | 0.0454561 | 113176.0 | unsat | unsat |
430235201 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014198 | 0.0142211 | 113176.0 | unsat | unsat |
430235198 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013248 | 0.013319 | 113176.0 | sat | sat |
430235192 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012509 | 0.0126249 | 113176.0 | sat | sat |
430235195 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012861 | 0.0129301 | 113176.0 | sat | sat |
430235132 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013591 | 0.0136181 | 113176.0 | unsat | unsat |