What is the best MAX-SAT solver problems for Ising spin glass? I tried Scip-Max-sat and open-wbo. While open-wbo cannot solve the instance with only 27 variable Scip-max-Sat fail to solve the one with 200+ variables (while it can solve model with 100 variables in 30 secs).... I am not sure whether I have missed something or is it the state of art solution space for ising spin glass is 100+ variables.
Here's the test case I use: https://www.dropbox.com/sh/qg9u20w040e7hpn/AACg428cWgNfqF6pQG36URCxa?dl=0