430494923 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014696 | 0.0147769 | 113176.0 | sat | sat |
430494914 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012802 | 0.0128551 | 113176.0 | unsat | unsat |
430494904 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01461 | 0.0168821 | 0.0 | unsat | unsat |
430494886 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014999 | 0.015022 | 113176.0 | sat | sat |
430494881 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01302 | 0.01307 | 113176.0 | sat | sat |
430494872 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014973 | 0.0150291 | 113176.0 | sat | sat |
430494861 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013867 | 0.0139071 | 113176.0 | sat | sat |
430494982 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01372 | 0.013754 | 113176.0 | sat | sat |
430494990 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01493 | 0.014986 | 113176.0 | sat | sat |
430494807 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013672 | 0.0137031 | 113176.0 | unsat | unsat |
430494796 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013058 | 0.013131 | 113176.0 | unsat | unsat |
430494826 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01357 | 0.0136101 | 113176.0 | unsat | unsat |
430494815 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015448 | 0.015482 | 113176.0 | unsat | unsat |
430494834 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014011 | 0.014108 | 113176.0 | unsat | unsat |
430494829 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014377 | 0.0144519 | 113176.0 | sat | sat |
430494854 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017354 | 0.0173931 | 113176.0 | sat | sat |
430494843 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012849 | 0.012928 | 113176.0 | unsat | unsat |
430494704 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016416 | 0.0164479 | 113176.0 | unsat | unsat |
430494714 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014218 | 0.014288 | 113176.0 | unsat | unsat |
430494896 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015483 | 0.015541 | 113176.0 | sat | sat |
430494938 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015338 | 0.0153861 | 113176.0 | unsat | unsat |
430494960 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014294 | 0.0143619 | 113176.0 | sat | sat |
430494952 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015356 | 0.015447 | 113176.0 | sat | sat |
430494971 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015952 | 0.0160031 | 113176.0 | sat | sat |
430494962 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013793 | 0.013824 | 113176.0 | unsat | unsat |
430494993 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013324 | 0.0133561 | 113176.0 | unsat | unsat |
430494984 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014648 | 0.0146921 | 113176.0 | sat | sat |
430494863 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017285 | 0.0173121 | 113176.0 | unsat | unsat |
430494873 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.034372 | 0.0344109 | 113176.0 | unsat | unsat |
430494747 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019531 | 0.0196271 | 113176.0 | unsat | unsat |
430494776 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016424 | 0.0164989 | 113176.0 | unsat | unsat |
430494762 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.02287 | 0.0229089 | 113176.0 | sat | sat |
430494751 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017732 | 0.017748 | 113176.0 | unsat | unsat |
430494733 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015736 | 0.019347 | 0.0 | sat | sat |
430494726 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019103 | 0.0191579 | 113176.0 | sat | sat |
430494719 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.02707 | 0.0271 | 113176.0 | sat | sat |
430494706 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016208 | 0.0162931 | 113176.0 | unsat | unsat |
430494845 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017419 | 0.017462 | 113176.0 | unsat | unsat |
430494855 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017555 | 0.017589 | 113176.0 | sat | sat |
430494948 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013495 | 0.01353 | 113176.0 | sat | sat |
430494810 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015124 | 0.0151869 | 113176.0 | unsat | unsat |
430494802 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016769 | 0.0168191 | 113176.0 | unsat | unsat |
430494787 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.098001 | 0.098065 | 113176.0 | unsat | unsat |
430494856 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027542 | 0.027573 | 113176.0 | unsat | unsat |
430494849 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01649 | 0.0165271 | 113176.0 | sat | sat |
430494841 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017401 | 0.017426 | 113176.0 | unsat | unsat |
430494831 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018907 | 0.0189571 | 113176.0 | unsat | unsat |
430494731 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.060893 | 0.060931 | 113176.0 | unsat | unsat |
430494737 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014092 | 0.014126 | 113176.0 | unsat | unsat |
430494920 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01481 | 0.0148879 | 113176.0 | sat | sat |
430494901 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023808 | 0.0238389 | 113176.0 | unsat | unsat |
430494927 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035397 | 0.0354369 | 113176.0 | unsat | unsat |
430494916 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018961 | 0.019003 | 113176.0 | sat | sat |
430494875 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.031956 | 0.032026 | 113176.0 | unsat | unsat |
430494867 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023756 | 0.023815 | 113176.0 | unsat | unsat |
430494894 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014964 | 0.0150051 | 113176.0 | unsat | unsat |
430494882 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024529 | 0.0245639 | 113176.0 | unsat | unsat |
430494969 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015932 | 0.0160099 | 113176.0 | sat | sat |
430494974 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01672 | 0.016745 | 113176.0 | sat | sat |
430494791 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023385 | 0.0234279 | 113176.0 | unsat | unsat |
430494749 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.031593 | 0.0317541 | 113176.0 | unsat | unsat |
430494779 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024886 | 0.0249189 | 113176.0 | sat | sat |
430494766 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023441 | 0.0234779 | 113176.0 | sat | sat |
430494720 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035538 | 0.0356151 | 113176.0 | sat | sat |
430494708 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.037673 | 0.037754 | 113176.0 | unsat | unsat |
430494743 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.02184 | 0.021875 | 113176.0 | sat | sat |
430494732 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017241 | 0.0173029 | 113176.0 | unsat | unsat |
430494833 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.034784 | 0.0348649 | 113176.0 | unsat | unsat |
430494842 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016873 | 0.016914 | 113176.0 | unsat | unsat |
430494937 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021462 | 0.021534 | 113176.0 | sat | sat |
430494951 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021629 | 0.021668 | 113176.0 | unsat | unsat |
430494940 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023601 | 0.02363 | 113176.0 | sat | sat |
430494931 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022204 | 0.022255 | 113176.0 | sat | sat |
430494995 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.033591 | 0.033656 | 113176.0 | unsat | unsat |
430494987 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023936 | 0.024019 | 113176.0 | unsat | unsat |
430494979 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.104404 | 0.104484 | 113176.0 | unsat | unsat |
430494970 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.033011 | 0.033093 | 113176.0 | unsat | unsat |
430494885 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.029141 | 0.029203 | 113176.0 | sat | sat |
430494895 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015144 | 0.0152169 | 113176.0 | unsat | unsat |
430494774 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.225363 | 0.225403 | 113176.0 | unsat | unsat |
430494980 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.073325 | 0.0734549 | 113176.0 | unsat | unsat |
430494986 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023622 | 0.02366 | 113176.0 | sat | sat |
430494994 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020128 | 0.0201659 | 113176.0 | sat | sat |
430494932 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023519 | 0.023587 | 113176.0 | sat | sat |
430494941 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022336 | 0.0223811 | 113176.0 | sat | sat |
430494950 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.033895 | 0.033926 | 113176.0 | sat | sat |
430494958 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023084 | 0.023128 | 113176.0 | sat | sat |
430494911 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023583 | 0.023627 | 113176.0 | sat | sat |
430494902 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.023277 | 0.023339 | 113176.0 | sat | sat |
430494716 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022259 | 0.022346 | 113176.0 | unsat | unsat |
430494742 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.084314 | 0.0843791 | 113176.0 | sat | sat |
430494709 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035735 | 0.035791 | 113176.0 | sat | sat |
430494721 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022483 | 0.0225121 | 113176.0 | sat | sat |
430494765 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.036664 | 0.0366931 | 113176.0 | sat | sat |
430494778 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.050131 | 0.0501619 | 113176.0 | unsat | unsat |
430494750 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022852 | 0.0229109 | 113176.0 | unsat | unsat |
430494759 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.03389 | 0.033932 | 113176.0 | sat | sat |
430494822 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020009 | 0.0200339 | 113176.0 | unsat | unsat |
430494813 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021473 | 0.021544 | 113176.0 | sat | sat |
430494991 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027951 | 0.0280011 | 113176.0 | unsat | unsat |
430494711 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.032432 | 0.0325199 | 113176.0 | sat | sat |
430494739 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.048313 | 0.0483439 | 113176.0 | sat | sat |
430494730 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.037555 | 0.0375991 | 113176.0 | sat | sat |
430494758 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.032662 | 0.0327069 | 113176.0 | sat | sat |
430494745 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.038205 | 0.038277 | 113176.0 | sat | sat |
430494780 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015756 | 0.0158029 | 113176.0 | unsat | unsat |
430494768 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.093415 | 0.0934909 | 113176.0 | unsat | unsat |
430494788 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.029081 | 0.0291151 | 113176.0 | unsat | unsat |
430494801 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.064222 | 0.064283 | 113176.0 | sat | sat |
430494963 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.058228 | 0.05827 | 113176.0 | unsat | unsat |
430494717 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011493 | 0.0115691 | 113176.0 | unsat | unsat |
430494725 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012937 | 0.0131339 | 113176.0 | unsat | unsat |
430494734 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0123 | 0.012459 | 0.0 | unsat | unsat |
430494752 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011516 | 0.0115781 | 113176.0 | unsat | unsat |
430494761 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011966 | 0.0120199 | 113176.0 | unsat | unsat |
430494775 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012288 | 0.012355 | 113176.0 | unsat | unsat |
430494785 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.010264 | 0.022227 | 0.0 | sat | sat |
430494806 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009336 | 0.00973803 | 0.0 | sat | sat |
430494798 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009031 | 0.00910608 | 113176.0 | sat | sat |
430494978 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009106 | 0.010834 | 0.0 | sat | sat |
430494870 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011412 | 0.0114729 | 113176.0 | unsat | unsat |
430494878 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012331 | 0.01305 | 0.0 | unsat | unsat |
430494889 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012756 | 0.012819 | 113176.0 | unsat | unsat |
430494906 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011263 | 0.0113011 | 113176.0 | unsat | unsat |
430494912 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011715 | 0.0117519 | 113176.0 | unsat | unsat |
430494921 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011588 | 0.0139919 | 0.0 | unsat | unsat |
430494929 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008269 | 0.00834092 | 0.0 | sat | sat |
430494943 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012013 | 0.0120399 | 113176.0 | sat | sat |
430494936 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011487 | 0.011557 | 113176.0 | sat | sat |
430494839 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009546 | 0.00983593 | 113176.0 | sat | sat |
430494851 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011642 | 0.011692 | 113176.0 | unsat | unsat |
430494828 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011789 | 0.011821 | 113176.0 | unsat | unsat |
430494836 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011665 | 0.011695 | 113176.0 | unsat | unsat |
430494816 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011389 | 0.011475 | 113176.0 | unsat | unsat |
430494823 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011715 | 0.0117381 | 113176.0 | unsat | unsat |
430494793 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011945 | 0.0120019 | 113176.0 | unsat | unsat |
430494805 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008926 | 0.00982704 | 0.0 | sat | sat |
430494783 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013456 | 0.0135381 | 113176.0 | sat | sat |
430494773 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012226 | 0.0123011 | 113176.0 | sat | sat |
430494893 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009761 | 0.00981909 | 113176.0 | sat | sat |
430494741 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011813 | 0.0118471 | 113176.0 | unsat | unsat |
430494707 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011935 | 0.0119779 | 113176.0 | unsat | unsat |
430494722 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013535 | 0.0135619 | 113176.0 | unsat | unsat |
430494767 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011365 | 0.0113829 | 113176.0 | unsat | unsat |
430494777 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011874 | 0.0119411 | 113176.0 | unsat | unsat |
430494748 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011273 | 0.011315 | 113176.0 | unsat | unsat |
430494760 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012535 | 0.012576 | 113176.0 | sat | sat |
430494821 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013406 | 0.01348 | 113176.0 | sat | sat |
430494814 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012365 | 0.0124011 | 113176.0 | sat | sat |
430494992 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012124 | 0.01216 | 113176.0 | sat | sat |
430494977 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011571 | 0.011595 | 113176.0 | unsat | unsat |
430494985 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01224 | 0.0122601 | 113176.0 | unsat | unsat |
430494996 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012066 | 0.0121091 | 113176.0 | unsat | unsat |
430494933 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011286 | 0.011314 | 113176.0 | unsat | unsat |
430494939 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012316 | 0.012374 | 113176.0 | unsat | unsat |
430494949 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011678 | 0.0117411 | 113176.0 | unsat | unsat |
430494959 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012519 | 0.0125779 | 113176.0 | sat | sat |
430494910 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013818 | 0.0138621 | 113176.0 | sat | sat |
430494903 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012936 | 0.0130011 | 113176.0 | sat | sat |
430494718 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012244 | 0.0123069 | 113176.0 | sat | sat |
430494837 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01158 | 0.011657 | 113176.0 | unsat | unsat |
430494847 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012571 | 0.0126611 | 113176.0 | unsat | unsat |
430494860 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012216 | 0.012285 | 113176.0 | unsat | unsat |
430494789 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011733 | 0.0117999 | 113176.0 | unsat | unsat |
430494799 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012289 | 0.012362 | 113176.0 | unsat | unsat |
430494809 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011462 | 0.0114919 | 113176.0 | unsat | unsat |
430494820 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012393 | 0.0124261 | 113176.0 | sat | sat |
430494756 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01352 | 0.0135791 | 113176.0 | sat | sat |
430494746 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01226 | 0.0123379 | 113176.0 | sat | sat |
430494871 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01222 | 0.0122759 | 113176.0 | sat | sat |
430494891 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011485 | 0.011521 | 113176.0 | unsat | unsat |
430494865 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012297 | 0.0123199 | 113176.0 | unsat | unsat |
430494876 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012542 | 0.0125719 | 113176.0 | unsat | unsat |
430494918 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011786 | 0.0136271 | 0.0 | unsat | unsat |
430494926 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012958 | 0.0129981 | 113176.0 | unsat | unsat |
430494898 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011424 | 0.0114511 | 113176.0 | unsat | unsat |
430494908 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013338 | 0.0133981 | 113176.0 | sat | sat |
430494955 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014092 | 0.014151 | 113176.0 | sat | sat |
430494946 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014009 | 0.014073 | 113176.0 | sat | sat |
430494853 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012746 | 0.012808 | 113176.0 | sat | sat |
430494899 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01161 | 0.0116801 | 113176.0 | unsat | unsat |
430494925 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012514 | 0.012581 | 113176.0 | unsat | unsat |
430494917 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012845 | 0.012897 | 113176.0 | unsat | unsat |
430494877 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011653 | 0.0117061 | 113176.0 | unsat | unsat |
430494866 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012715 | 0.0127829 | 113176.0 | unsat | unsat |
430494890 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011533 | 0.011607 | 113176.0 | unsat | unsat |
430494884 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013798 | 0.013875 | 113176.0 | sat | sat |
430494966 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014608 | 0.0146389 | 113176.0 | sat | sat |
430494975 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013846 | 0.0138711 | 113176.0 | sat | sat |
430494795 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013645 | 0.013722 | 113176.0 | sat | sat |
430494808 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012162 | 0.0122071 | 113176.0 | unsat | unsat |
430494800 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012353 | 0.012405 | 113176.0 | unsat | unsat |
430494790 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012903 | 0.0129349 | 113176.0 | unsat | unsat |
430494859 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011356 | 0.0114151 | 113176.0 | unsat | unsat |
430494846 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012632 | 0.0126461 | 113176.0 | unsat | unsat |
430494838 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011244 | 0.011279 | 113176.0 | unsat | unsat |
430494832 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013378 | 0.0134061 | 113176.0 | sat | sat |
430494728 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01587 | 0.0159539 | 113176.0 | sat | sat |
430494740 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014504 | 0.0145861 | 113176.0 | sat | sat |
430494922 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01295 | 0.013011 | 113176.0 | sat | sat |
430494735 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011707 | 0.0117359 | 113176.0 | unsat | unsat |
430494703 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012682 | 0.0127389 | 113176.0 | unsat | unsat |
430494715 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01255 | 0.012586 | 113176.0 | unsat | unsat |
430494772 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012314 | 0.0123911 | 113176.0 | unsat | unsat |
430494782 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013936 | 0.0139771 | 113176.0 | unsat | unsat |
430494753 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01135 | 0.011403 | 113176.0 | unsat | unsat |
430494764 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013389 | 0.0134271 | 113176.0 | sat | sat |
430494825 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016099 | 0.0161331 | 113176.0 | sat | sat |
430494818 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014374 | 0.0144309 | 113176.0 | sat | sat |
430494998 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013818 | 0.0138859 | 113176.0 | sat | sat |
430494981 | qf_shls_entl/ls-vc01.smt2 | 8317436 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011521 | 0.0116139 | 113176.0 | sat | sat |
430494812 | qf_shls_entl/ls-vc02.smt2 | 8317267 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011508 | 0.011563 | 113176.0 | sat | sat |
430494770 | qf_shls_entl/ls-vc03.smt2 | 8317225 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013018 | 0.0131269 | 113176.0 | sat | sat |
430494864 | qf_shls_entl/ls-vc04.smt2 | 8317319 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011583 | 0.011652 | 113176.0 | sat | sat |
430494968 | qf_shls_entl/ls-vc05.smt2 | 8317423 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011664 | 0.0116891 | 113176.0 | unsat | unsat |
430494797 | qf_shls_entl/ls-vc06.smt2 | 8317252 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012293 | 0.01234 | 113176.0 | sat | sat |
430494755 | qf_shls_entl/ls-vc07.smt2 | 8317210 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011787 | 0.0118191 | 113176.0 | sat | sat |
430494924 | qf_shls_entl/ls-vc08.smt2 | 8317379 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011471 | 0.0115329 | 113176.0 | unsat | unsat |
430494956 | qf_shls_entl/ls-vc09.smt2 | 8317411 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012291 | 0.012344 | 113176.0 | unsat | unsat |
430494786 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012762 | 0.0128229 | 113176.0 | unsat | unsat |
430494819 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011822 | 0.0190799 | 0.0 | unsat | unsat |
430494811 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012351 | 0.012432 | 113176.0 | unsat | unsat |
430494840 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012144 | 0.012231 | 113176.0 | unsat | unsat |
430494830 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01153 | 0.0115961 | 113176.0 | unsat | unsat |
430494857 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011429 | 0.0114849 | 113176.0 | unsat | unsat |
430494850 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011878 | 0.0119191 | 113176.0 | unsat | unsat |
430494710 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011469 | 0.0115429 | 113176.0 | unsat | unsat |
430494724 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011926 | 0.0119831 | 113176.0 | unsat | unsat |
430494905 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011642 | 0.011692 | 113176.0 | unsat | unsat |
430494913 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012637 | 0.012716 | 113176.0 | unsat | unsat |
430494919 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011807 | 0.011828 | 113176.0 | unsat | unsat |
430494930 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01174 | 0.0117859 | 113176.0 | unsat | unsat |
430494862 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011553 | 0.0115931 | 113176.0 | unsat | unsat |
430494869 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011655 | 0.0116941 | 113176.0 | unsat | unsat |
430494879 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011817 | 0.0118429 | 113176.0 | unsat | unsat |
430494888 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011638 | 0.0116641 | 113176.0 | unsat | unsat |
430494972 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011832 | 0.0119051 | 113176.0 | unsat | unsat |
430494965 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011832 | 0.0119119 | 113176.0 | unsat | unsat |
430494705 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.008941 | 0.0094049 | 0.0 | unsat | unsat |
430494713 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011876 | 0.011908 | 113176.0 | unsat | unsat |
430494727 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011992 | 0.0120359 | 113176.0 | sat | sat |
430494736 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011796 | 0.011824 | 113176.0 | sat | sat |
430494754 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012124 | 0.0121939 | 113176.0 | unsat | unsat |
430494763 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011841 | 0.0118579 | 113176.0 | unsat | unsat |
430494771 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012066 | 0.012091 | 113176.0 | unsat | unsat |
430494784 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012124 | 0.0121721 | 113176.0 | unsat | unsat |
430494803 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011822 | 0.0118529 | 113176.0 | unsat | unsat |
430494794 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009045 | 0.00916793 | 0.0 | sat | sat |
430494976 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009342 | 0.0093981 | 113176.0 | sat | sat |
430494967 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009727 | 0.010014 | 0.0 | sat | sat |
430494997 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009055 | 0.00992108 | 0.0 | sat | sat |
430494988 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009529 | 0.0105981 | 0.0 | sat | sat |
430494942 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011909 | 0.0119951 | 113176.0 | unsat | unsat |
430494934 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009524 | 0.00993202 | 0.0 | sat | sat |
430494954 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012525 | 0.0126121 | 113176.0 | unsat | unsat |
430494947 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.009812 | 0.00990203 | 113176.0 | sat | sat |
430494897 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013865 | 0.0152031 | 0.0 | unsat | unsat |
430494909 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012871 | 0.0129509 | 113176.0 | sat | sat |
430494961 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012024 | 0.0120969 | 113176.0 | sat | sat |
430494953 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013173 | 0.013241 | 113176.0 | unsat | unsat |
430494944 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011938 | 0.0119569 | 113176.0 | unsat | unsat |
430494935 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012082 | 0.012114 | 113176.0 | sat | sat |
430494989 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012651 | 0.0126759 | 113176.0 | unsat | unsat |
430494983 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011835 | 0.0119061 | 113176.0 | unsat | unsat |
430494973 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011877 | 0.011928 | 113176.0 | unsat | unsat |
430494964 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011441 | 0.011515 | 113176.0 | unsat | unsat |
430494880 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011545 | 0.0116339 | 113176.0 | unsat | unsat |
430494887 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011895 | 0.011944 | 113176.0 | sat | sat |
430494769 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011675 | 0.0117481 | 113176.0 | unsat | unsat |
430494781 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011606 | 0.011678 | 113176.0 | unsat | unsat |
430494744 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012313 | 0.0123461 | 113176.0 | unsat | unsat |
430494757 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012277 | 0.012329 | 113176.0 | unsat | unsat |
430494729 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011839 | 0.011908 | 113176.0 | sat | sat |
430494738 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011618 | 0.0116749 | 113176.0 | unsat | unsat |
430494712 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011581 | 0.0116131 | 113176.0 | sat | sat |
430494723 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012081 | 0.0121571 | 113176.0 | sat | sat |
430494858 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01241 | 0.0124859 | 113176.0 | unsat | unsat |
430494848 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011714 | 0.011751 | 113176.0 | unsat | unsat |
430494883 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01186 | 0.011915 | 113176.0 | unsat | unsat |
430494892 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011804 | 0.0118551 | 113176.0 | sat | sat |
430494868 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011405 | 0.0114759 | 113176.0 | unsat | unsat |
430494874 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011658 | 0.011697 | 113176.0 | unsat | unsat |
430494915 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011999 | 0.0242019 | 0.0 | unsat | unsat |
430494928 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012 | 0.0120329 | 113176.0 | unsat | unsat |
430494900 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011812 | 0.0118741 | 113176.0 | unsat | unsat |
430494907 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011727 | 0.011815 | 113176.0 | unsat | unsat |
430494957 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011825 | 0.0118889 | 113176.0 | sat | sat |
430494945 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011833 | 0.0118681 | 113176.0 | sat | sat |
430494852 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01197 | 0.011995 | 113176.0 | sat | sat |
430494844 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011872 | 0.011903 | 113176.0 | unsat | unsat |
430494835 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01199 | 0.012019 | 113176.0 | sat | sat |
430494827 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012465 | 0.0125071 | 113176.0 | sat | sat |
430494824 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01286 | 0.012934 | 113176.0 | unsat | unsat |
430494817 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011711 | 0.0117799 | 113176.0 | unsat | unsat |
430494804 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012727 | 0.0127479 | 113176.0 | sat | sat |
430494792 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011724 | 0.0117589 | 113176.0 | unsat | unsat |