433168197 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.041841 | 0.0418601 | 113176.0 | unsat | unsat |
433168205 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.040261 | 0.040334 | 113176.0 | sat | sat |
433168201 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045019 | 0.045075 | 113176.0 | unsat | unsat |
433168212 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.050172 | 0.05023 | 113176.0 | unsat | unsat |
433168209 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.043269 | 0.0433461 | 113176.0 | sat | sat |
433168218 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.032523 | 0.032582 | 113176.0 | sat | sat |
433168215 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.041866 | 0.0419041 | 113176.0 | sat | sat |
433168171 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.047856 | 0.0479199 | 113176.0 | unsat | unsat |
433168176 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.039615 | 0.039683 | 113176.0 | unsat | unsat |
433168234 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.036223 | 0.0362931 | 113176.0 | sat | sat |
433168237 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.044426 | 0.0445159 | 113176.0 | unsat | unsat |
433168235 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.035267 | 0.0353319 | 113176.0 | sat | sat |
433168231 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.036006 | 0.0360839 | 113176.0 | sat | sat |
433168230 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.063789 | 0.063847 | 113176.0 | unsat | unsat |
433168227 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.040392 | 0.0404491 | 113176.0 | sat | sat |
433168224 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.057969 | 0.0580371 | 113176.0 | sat | sat |
433168221 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.050484 | 0.050562 | 113176.0 | unsat | unsat |
433168272 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.035801 | 0.0358491 | 113176.0 | sat | sat |
433168277 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058031 | 0.0581381 | 113176.0 | unsat | unsat |
433168204 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048155 | 0.048213 | 113176.0 | sat | sat |
433168191 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048721 | 0.048792 | 113176.0 | unsat | unsat |
433168189 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.071174 | 0.071208 | 113176.0 | unsat | unsat |
433168185 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048161 | 0.0482131 | 113176.0 | unsat | unsat |
433168184 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.056263 | 0.05631 | 113176.0 | unsat | unsat |
433168180 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.040503 | 0.0405329 | 113176.0 | sat | sat |
433168174 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053418 | 0.053457 | 113176.0 | unsat | unsat |
433168170 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053543 | 0.0535871 | 113176.0 | unsat | unsat |
433168214 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.050899 | 0.050962 | 113176.0 | sat | sat |
433168217 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.035815 | 0.0358661 | 113176.0 | sat | sat |
433168254 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.041936 | 0.0420201 | 113176.0 | sat | sat |
433168243 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055801 | 0.055855 | 113176.0 | unsat | unsat |
433168256 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.039326 | 0.0394119 | 113176.0 | sat | sat |
433168251 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055628 | 0.055716 | 113176.0 | unsat | unsat |
433168267 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.061736 | 0.0618199 | 113176.0 | unsat | unsat |
433168262 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.068377 | 0.068448 | 113176.0 | unsat | unsat |
433168275 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.049482 | 0.049555 | 113176.0 | unsat | unsat |
433168271 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.099686 | 0.099753 | 113176.0 | unsat | unsat |
433168220 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.048103 | 0.0481839 | 113176.0 | sat | sat |
433168223 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.074396 | 0.074461 | 113176.0 | unsat | unsat |
433168188 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.039945 | 0.0400291 | 113176.0 | sat | sat |
433168233 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054553 | 0.0546069 | 113176.0 | sat | sat |
433168241 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054284 | 0.054335 | 113176.0 | unsat | unsat |
433168240 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054929 | 0.054968 | 113176.0 | unsat | unsat |
433168222 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058587 | 0.0586471 | 113176.0 | sat | sat |
433168219 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.061796 | 0.061872 | 113176.0 | unsat | unsat |
433168229 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051774 | 0.051829 | 113176.0 | unsat | unsat |
433168226 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045052 | 0.0451021 | 113176.0 | sat | sat |
433168260 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.090435 | 0.090493 | 113176.0 | unsat | unsat |
433168266 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.064318 | 0.0643751 | 113176.0 | unsat | unsat |
433168198 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055701 | 0.055745 | 113176.0 | unsat | unsat |
433168203 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.056529 | 0.0565841 | 113176.0 | sat | sat |
433168200 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.07073 | 0.0708159 | 113176.0 | unsat | unsat |
433168199 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058219 | 0.058287 | 113176.0 | sat | sat |
433168216 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.044549 | 0.0445821 | 113176.0 | sat | sat |
433168213 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.064754 | 0.0648231 | 113176.0 | unsat | unsat |
433168211 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051639 | 0.05171 | 113176.0 | sat | sat |
433168208 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053824 | 0.0539019 | 113176.0 | sat | sat |
433168178 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.066386 | 0.0664799 | 113176.0 | unsat | unsat |
433168183 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058527 | 0.0586181 | 113176.0 | unsat | unsat |
433168238 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053309 | 0.053378 | 113176.0 | sat | sat |
433168252 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.060102 | 0.060313 | 113176.0 | unsat | unsat |
433168250 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.058417 | 0.058464 | 113176.0 | unsat | unsat |
433168247 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.052032 | 0.0520879 | 113176.0 | sat | sat |
433168273 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.066343 | 0.0663959 | 113176.0 | sat | sat |
433168269 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.054198 | 0.0542831 | 113176.0 | unsat | unsat |
433168264 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.053863 | 0.0538981 | 113176.0 | sat | sat |
433168259 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.06825 | 0.068306 | 113176.0 | unsat | unsat |
433168225 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.071869 | 0.0719131 | 113176.0 | unsat | unsat |
433168228 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051236 | 0.0513259 | 113176.0 | sat | sat |
433168192 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.059723 | 0.059776 | 113176.0 | sat | sat |
433168187 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.062777 | 0.0628359 | 113176.0 | sat | sat |
433168195 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.082538 | 0.0826111 | 113176.0 | sat | sat |
433168193 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.072644 | 0.072761 | 113176.0 | unsat | unsat |
433168173 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051535 | 0.0515809 | 113176.0 | sat | sat |
433168169 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.069906 | 0.0699639 | 113176.0 | sat | sat |
433168181 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.075376 | 0.075415 | 113176.0 | unsat | unsat |
433168177 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.064533 | 0.064623 | 113176.0 | unsat | unsat |
433168207 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.08278 | 0.0828631 | 113176.0 | unsat | unsat |
433168210 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.075982 | 0.0760329 | 113176.0 | sat | sat |
433168244 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.066807 | 0.0668969 | 113176.0 | sat | sat |
433168182 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.072254 | 0.072301 | 113176.0 | sat | sat |
433168168 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.09125 | 0.0913279 | 113176.0 | unsat | unsat |
433168172 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.051837 | 0.0518861 | 113176.0 | sat | sat |
433168194 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.074048 | 0.074077 | 113176.0 | sat | sat |
433168196 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.071207 | 0.0712899 | 113176.0 | sat | sat |
433168186 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.056887 | 0.0569609 | 113176.0 | sat | sat |
433168190 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.074635 | 0.0747141 | 113176.0 | sat | sat |
433168206 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.090976 | 0.091039 | 113176.0 | unsat | unsat |
433168202 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.078786 | 0.0789011 | 113176.0 | unsat | unsat |
433168276 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.066703 | 0.0667729 | 113176.0 | unsat | unsat |
433168263 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.066264 | 0.0663229 | 113176.0 | unsat | unsat |
433168270 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.085039 | 0.0851081 | 113176.0 | sat | sat |
433168274 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.045492 | 0.0455481 | 113176.0 | sat | sat |
433168246 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.072974 | 0.0730591 | 113176.0 | unsat | unsat |
433168249 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.10286 | 0.102914 | 113176.0 | sat | sat |
433168253 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.062697 | 0.06276 | 113176.0 | sat | sat |
433168257 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.072532 | 0.0726779 | 113176.0 | unsat | unsat |
433168236 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.055507 | 0.055565 | 113176.0 | sat | sat |
433168232 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.098906 | 0.0989541 | 113176.0 | unsat | unsat |
433168175 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.097241 | 0.0973271 | 113176.0 | unsat | unsat |
433168268 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.070338 | 0.0704079 | 113176.0 | unsat | unsat |
433168265 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.07054 | 0.0705839 | 113176.0 | sat | sat |
433168261 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.081042 | 0.08113 | 113176.0 | sat | sat |
433168258 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.074004 | 0.0740491 | 113176.0 | sat | sat |
433168255 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.08241 | 0.0824901 | 113176.0 | unsat | unsat |
433168248 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.094342 | 0.094417 | 113176.0 | unsat | unsat |
433168245 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.073353 | 0.0734531 | 113176.0 | sat | sat |
433168239 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.067114 | 0.067206 | 113176.0 | sat | sat |
433168242 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.06432 | 0.064404 | 113176.0 | sat | sat |
433168179 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | COMSPEN2019 | 22337 | qf_shls_sat | 325903 | complete | 0.076956 | 0.077016 | 113176.0 | unsat | unsat |