433168307 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.32604 | 1.46649 | 3071964.0 | unsat | unsat |
433168315 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.30914 | 1.44413 | 3072344.0 | sat | sat |
433168311 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.60747 | 1.55568 | 3072856.0 | unsat | unsat |
433168322 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.52859 | 1.52554 | 3072644.0 | unsat | unsat |
433168319 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.36706 | 1.48002 | 3072080.0 | sat | sat |
433168328 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.02207 | 1.36526 | 3071996.0 | sat | sat |
433168325 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.22599 | 1.44071 | 3072120.0 | sat | sat |
433168281 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.45632 | 1.52229 | 3072912.0 | unsat | unsat |
433168286 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.38275 | 1.49588 | 3072528.0 | unsat | unsat |
433168344 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.11941 | 1.39918 | 3071876.0 | sat | sat |
433168347 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.44914 | 1.51677 | 3072132.0 | unsat | unsat |
433168345 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.1319 | 1.38556 | 3071964.0 | sat | sat |
433168341 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.26914 | 1.43366 | 3072464.0 | sat | sat |
433168340 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 6.3898 | 3.26409 | 3077136.0 | unsat | unsat |
433168337 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.33563 | 1.4557 | 3072024.0 | sat | sat |
433168334 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.84116 | 1.69639 | 3072160.0 | sat | sat |
433168331 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.72925 | 1.60141 | 3073612.0 | unsat | unsat |
433168382 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.21038 | 1.40654 | 3071948.0 | sat | sat |
433168387 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.41673 | 1.85379 | 3072824.0 | unsat | unsat |
433168314 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.43077 | 1.50223 | 3072880.0 | sat | sat |
433168301 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.08365 | 1.67525 | 3072928.0 | unsat | unsat |
433168299 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.47958 | 1.84969 | 3073584.0 | unsat | unsat |
433168295 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.47845 | 1.52088 | 3072716.0 | unsat | unsat |
433168294 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.08705 | 1.72069 | 3072864.0 | unsat | unsat |
433168290 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.27228 | 1.44858 | 3071932.0 | sat | sat |
433168284 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.94473 | 2.12589 | 3074440.0 | unsat | unsat |
433168280 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.15264 | 2.12008 | 3074556.0 | unsat | unsat |
433168324 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.5256 | 1.52787 | 3072360.0 | sat | sat |
433168327 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.05479 | 1.36103 | 3072152.0 | sat | sat |
433168364 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.36064 | 1.46298 | 3072076.0 | sat | sat |
433168353 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.74652 | 2.52454 | 3073032.0 | unsat | unsat |
433168366 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.12719 | 1.40568 | 3072084.0 | sat | sat |
433168361 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.36979 | 1.8874 | 3072264.0 | unsat | unsat |
433168377 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.50194 | 2.25065 | 3073680.0 | unsat | unsat |
433168372 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.79575 | 1.60882 | 3073036.0 | unsat | unsat |
433168385 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.65547 | 1.91741 | 3072672.0 | unsat | unsat |
433168381 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.60649 | 1.55064 | 3071988.0 | unsat | unsat |
433168330 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.74003 | 1.57699 | 3073052.0 | sat | sat |
433168333 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.84629 | 1.60983 | 3072216.0 | unsat | unsat |
433168298 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.16563 | 1.61219 | 3072032.0 | sat | sat |
433168343 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.9971 | 2.2097 | 3073856.0 | sat | sat |
433168351 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.71666 | 3.04709 | 3074436.0 | unsat | unsat |
433168350 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.6847 | 1.58026 | 3073080.0 | unsat | unsat |
433168332 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.88593 | 1.67051 | 3073180.0 | sat | sat |
433168329 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.27571 | 2.26071 | 3073936.0 | unsat | unsat |
433168339 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.63915 | 1.95178 | 3074400.0 | unsat | unsat |
433168336 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.37404 | 1.47317 | 3072232.0 | sat | sat |
433168370 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.33224 | 1.80147 | 3072636.0 | unsat | unsat |
433168376 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.18233 | 2.86628 | 3073552.0 | unsat | unsat |
433168308 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.52694 | 2.84508 | 3074108.0 | unsat | unsat |
433168313 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.57777 | 1.51035 | 3072460.0 | sat | sat |
433168310 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.71873 | 2.4356 | 3074496.0 | unsat | unsat |
433168309 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.59078 | 1.53587 | 3072688.0 | sat | sat |
433168326 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.45211 | 1.51863 | 3072864.0 | sat | sat |
433168323 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.25247 | 1.80468 | 3073404.0 | unsat | unsat |
433168321 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.55869 | 1.53548 | 3072524.0 | sat | sat |
433168318 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.46361 | 1.49905 | 3072136.0 | sat | sat |
433168288 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.30325 | 1.47019 | 3073660.0 | unsat | unsat |
433168293 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.97806 | 1.65678 | 3072448.0 | unsat | unsat |
433168348 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.43412 | 1.49805 | 3072080.0 | sat | sat |
433168362 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.9515 | 2.11381 | 3072796.0 | unsat | unsat |
433168360 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.37285 | 1.87043 | 3074432.0 | unsat | unsat |
433168357 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.57458 | 1.52463 | 3072444.0 | sat | sat |
433168383 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.76372 | 1.59154 | 3072860.0 | sat | sat |
433168379 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.5524 | 1.53067 | 3072316.0 | unsat | unsat |
433168374 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.53728 | 1.52014 | 3073456.0 | sat | sat |
433168369 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.62719 | 2.56727 | 3072832.0 | unsat | unsat |
433168335 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.1809 | 1.72411 | 3072960.0 | unsat | unsat |
433168338 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.30364 | 1.4423 | 3071996.0 | sat | sat |
433168302 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.61819 | 1.53825 | 3073040.0 | sat | sat |
433168297 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.14472 | 1.75655 | 3073084.0 | sat | sat |
433168305 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.34567 | 1.86604 | 3073192.0 | sat | sat |
433168303 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.4262 | 1.82799 | 3073908.0 | unsat | unsat |
433168283 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.37216 | 1.47359 | 3071936.0 | sat | sat |
433168279 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.75721 | 1.58074 | 3073244.0 | sat | sat |
433168291 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 10.6386 | 7.29965 | 3077296.0 | unsat | unsat |
433168287 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.22711 | 2.26138 | 3074224.0 | unsat | unsat |
433168317 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.17212 | 2.21618 | 3073924.0 | unsat | unsat |
433168320 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.82479 | 2.73681 | 3074480.0 | sat | sat |
433168354 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.70173 | 1.60276 | 3073200.0 | sat | sat |
433168292 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.68481 | 1.57265 | 3072864.0 | sat | sat |
433168278 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.28629 | 1.81967 | 3073260.0 | unsat | unsat |
433168282 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.31007 | 1.44502 | 3072112.0 | sat | sat |
433168304 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.87214 | 1.59777 | 3073296.0 | sat | sat |
433168306 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.92815 | 1.65141 | 3073140.0 | sat | sat |
433168296 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.47194 | 1.49542 | 3072492.0 | sat | sat |
433168300 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.68876 | 1.57948 | 3073500.0 | sat | sat |
433168316 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.75144 | 1.58824 | 3072920.0 | unsat | unsat |
433168312 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.36575 | 2.40892 | 3073576.0 | unsat | unsat |
433168386 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.52018 | 1.50461 | 3072240.0 | unsat | unsat |
433168373 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.30862 | 1.82 | 3073060.0 | unsat | unsat |
433168380 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.06265 | 2.87124 | 3074320.0 | sat | sat |
433168384 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.28498 | 1.43407 | 3071960.0 | sat | sat |
433168356 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.02276 | 1.66309 | 3072420.0 | unsat | unsat |
433168359 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 16.5477 | 13.1097 | 3074312.0 | sat | sat |
433168363 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.2066 | 1.81576 | 3073100.0 | sat | sat |
433168367 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.22903 | 1.80607 | 3073056.0 | unsat | unsat |
433168346 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.44345 | 1.51025 | 3074144.0 | sat | sat |
433168342 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.35053 | 1.81952 | 3074068.0 | unsat | unsat |
433168285 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 7.64753 | 4.29325 | 3079324.0 | unsat | unsat |
433168378 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 7.42814 | 4.00074 | 3075744.0 | unsat | unsat |
433168375 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.69334 | 1.55926 | 3072788.0 | sat | sat |
433168371 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 3.00662 | 1.69208 | 3073108.0 | sat | sat |
433168368 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.77749 | 1.60149 | 3072968.0 | sat | sat |
433168365 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 45.1704 | 40.5552 | 3084332.0 | unsat | unsat |
433168358 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 5.51821 | 3.06264 | 3074180.0 | unsat | unsat |
433168355 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.71048 | 1.57309 | 3072464.0 | sat | sat |
433168349 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.73798 | 1.58505 | 3073408.0 | sat | sat |
433168352 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 2.53446 | 1.52073 | 3072724.0 | sat | sat |
433168289 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | Harrsh 2019.9 | 22687 | harrsh_default | 326665 | complete | 4.11709 | 2.14101 | 3073128.0 | unsat | unsat |