433329956 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.020257 | 0.0198061 | 113176.0 | unsat | unsat |
433329964 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033523 | 0.032934 | 113176.0 | sat | sat |
433329960 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.021927 | 0.0213739 | 113176.0 | unsat | unsat |
433329971 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.021099 | 0.020607 | 113176.0 | unsat | unsat |
433329968 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034087 | 0.0334779 | 113176.0 | sat | sat |
433329977 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.027388 | 0.0267579 | 113176.0 | sat | sat |
433329974 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.031202 | 0.03053 | 113176.0 | sat | sat |
433329930 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.019436 | 0.0188819 | 113176.0 | unsat | unsat |
433329935 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.016582 | 0.016089 | 113176.0 | unsat | unsat |
433329993 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.031323 | 0.0306859 | 113176.0 | sat | sat |
433329996 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.020238 | 0.019773 | 113176.0 | unsat | unsat |
433329994 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03223 | 0.031565 | 113176.0 | sat | sat |
433329990 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.034131 | 0.0334971 | 113176.0 | sat | sat |
433329989 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.038378 | 0.0378639 | 113176.0 | unsat | unsat |
433329986 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.036882 | 0.036296 | 113176.0 | sat | sat |
433329983 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.051873 | 0.0511819 | 113176.0 | sat | sat |
433329980 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.022368 | 0.021869 | 113176.0 | unsat | unsat |
433330031 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.0291 | 0.028504 | 113176.0 | sat | sat |
433330036 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.026853 | 0.026305 | 113176.0 | unsat | unsat |
433329963 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.043888 | 0.0432301 | 113176.0 | sat | sat |
433329950 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032408 | 0.0320041 | 113176.0 | unsat | unsat |
433329948 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.038338 | 0.037829 | 113176.0 | unsat | unsat |
433329944 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.029341 | 0.0288589 | 113176.0 | unsat | unsat |
433329943 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.027556 | 0.027064 | 113176.0 | unsat | unsat |
433329939 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.038769 | 0.0382241 | 113176.0 | sat | sat |
433329933 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.032901 | 0.032373 | 113176.0 | unsat | unsat |
433329929 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.029726 | 0.0291691 | 113176.0 | unsat | unsat |
433329973 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.052718 | 0.052128 | 113176.0 | sat | sat |
433329976 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035908 | 0.0353131 | 113176.0 | sat | sat |
433330013 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.041659 | 0.0410471 | 113176.0 | sat | sat |
433330002 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.028681 | 0.0281849 | 113176.0 | unsat | unsat |
433330015 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.051001 | 0.050871 | 127516.0 | sat | sat |
433330010 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.035656 | 0.0351881 | 113176.0 | unsat | unsat |
433330026 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.030398 | 0.029874 | 113176.0 | unsat | unsat |
433330021 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.039548 | 0.039024 | 113176.0 | unsat | unsat |
433330034 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.024048 | 0.0235939 | 113176.0 | unsat | unsat |
433330030 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.060956 | 0.0604429 | 113176.0 | unsat | unsat |
433329979 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.064637 | 0.0640621 | 113176.0 | sat | sat |
433329982 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.037593 | 0.0370929 | 113176.0 | unsat | unsat |
433329947 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.04763 | 0.0469631 | 113176.0 | sat | sat |
433329992 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.073077 | 0.072468 | 113176.0 | sat | sat |
433330000 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03902 | 0.0385589 | 113176.0 | unsat | unsat |
433329999 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.030222 | 0.0297351 | 113176.0 | unsat | unsat |
433329981 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.082514 | 0.0819439 | 113176.0 | sat | sat |
433329978 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.051326 | 0.0508289 | 113176.0 | unsat | unsat |
433329988 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.028516 | 0.028005 | 113176.0 | unsat | unsat |
433329985 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.059475 | 0.0589409 | 113176.0 | sat | sat |
433330019 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.05813 | 0.05766 | 113176.0 | unsat | unsat |
433330025 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.050387 | 0.0498751 | 113176.0 | unsat | unsat |
433329957 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.037019 | 0.0365449 | 113176.0 | unsat | unsat |
433329962 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.089349 | 0.088766 | 113176.0 | sat | sat |
433329959 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.057399 | 0.0568841 | 113176.0 | unsat | unsat |
433329958 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.079291 | 0.0787101 | 113176.0 | sat | sat |
433329975 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.052212 | 0.0516609 | 113176.0 | sat | sat |
433329972 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.039821 | 0.039288 | 113176.0 | unsat | unsat |
433329970 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.072791 | 0.0722421 | 113176.0 | sat | sat |
433329967 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.067878 | 0.0672449 | 113176.0 | sat | sat |
433329937 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.039169 | 0.038626 | 113176.0 | unsat | unsat |
433329942 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033646 | 0.033139 | 113176.0 | unsat | unsat |
433329997 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.071377 | 0.0707339 | 113176.0 | sat | sat |
433330011 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.03277 | 0.0323309 | 113176.0 | unsat | unsat |
433330009 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.033719 | 0.0332321 | 113176.0 | unsat | unsat |
433330006 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.081611 | 0.0810909 | 113176.0 | sat | sat |
433330032 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.102862 | 0.102226 | 113176.0 | sat | sat |
433330028 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.027392 | 0.0269051 | 113176.0 | unsat | unsat |
433330023 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.087885 | 0.0872899 | 113176.0 | sat | sat |
433330018 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.052065 | 0.051563 | 113176.0 | unsat | unsat |
433329984 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.043952 | 0.043522 | 113176.0 | unsat | unsat |
433329987 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.062577 | 0.061948 | 113176.0 | sat | sat |
433329951 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.095035 | 0.0944901 | 113176.0 | sat | sat |
433329946 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.134055 | 0.133391 | 113176.0 | sat | sat |
433329954 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.142281 | 0.141794 | 113176.0 | sat | sat |
433329952 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.069851 | 0.069394 | 113176.0 | unsat | unsat |
433329932 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.095921 | 0.095335 | 113176.0 | sat | sat |
433329928 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.150659 | 0.149998 | 113176.0 | sat | sat |
433329940 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.070811 | 0.0703569 | 113176.0 | unsat | unsat |
433329936 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.042272 | 0.0417929 | 113176.0 | unsat | unsat |
433329966 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.057373 | 0.056948 | 113176.0 | unsat | unsat |
433329969 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.102878 | 0.102185 | 113176.0 | sat | sat |
433330003 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.114545 | 0.113875 | 113176.0 | sat | sat |
433329941 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.105589 | 0.104984 | 113176.0 | sat | sat |
433329927 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.074783 | 0.0742861 | 113176.0 | unsat | unsat |
433329931 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.07675 | 0.076151 | 113176.0 | sat | sat |
433329953 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.154561 | 0.154002 | 113176.0 | sat | sat |
433329955 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.122994 | 0.122417 | 113176.0 | sat | sat |
433329945 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.083199 | 0.0825141 | 113176.0 | sat | sat |
433329949 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.140176 | 0.139597 | 113176.0 | sat | sat |
433329965 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.068159 | 0.067805 | 113176.0 | unsat | unsat |
433329961 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.078784 | 0.078268 | 113176.0 | unsat | unsat |
433330035 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.054769 | 0.0542621 | 113176.0 | unsat | unsat |
433330022 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.050115 | 0.049541 | 113176.0 | unsat | unsat |
433330029 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.195712 | 0.195311 | 113176.0 | sat | sat |
433330033 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.068021 | 0.067398 | 113176.0 | sat | sat |
433330005 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.055857 | 0.0553669 | 113176.0 | unsat | unsat |
433330008 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.254366 | 0.253766 | 113176.0 | sat | sat |
433330012 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.129203 | 0.128707 | 113176.0 | sat | sat |
433330016 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.056226 | 0.0557211 | 113176.0 | unsat | unsat |
433329995 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.102036 | 0.101409 | 113176.0 | sat | sat |
433329991 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.089057 | 0.0885759 | 113176.0 | unsat | unsat |
433329934 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.090084 | 0.0896289 | 113176.0 | unsat | unsat |
433330027 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.060858 | 0.0603001 | 113176.0 | unsat | unsat |
433330024 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.184583 | 0.183942 | 113176.0 | sat | sat |
433330020 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.211562 | 0.211098 | 113176.0 | sat | sat |
433330017 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.193655 | 0.193086 | 113176.0 | sat | sat |
433330014 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.073854 | 0.0733801 | 113176.0 | unsat | unsat |
433330007 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.122479 | 0.122011 | 113176.0 | unsat | unsat |
433330004 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.155615 | 0.154947 | 113176.0 | sat | sat |
433329998 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.202734 | 0.202064 | 113176.0 | sat | sat |
433330001 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.15314 | 0.152453 | 113176.0 | sat | sat |
433329938 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | SPEN19.2 | 22729 | qf_shls | 326782 | complete | 0.068538 | 0.0679901 | 113176.0 | unsat | unsat |