Welcome to the League of Solvers! Can't wait for the next SAT competition? You have come to the right place!

The principle is simple: There is a match every hour and you compete with your own machine using your solver of choice. The League of Solvers is open to all skill levels, no matter if you are an experienced researcher writing a new SAT solver every year, or a student that just heard of SAT and started building your very first solver.

By allowing you to compete with you own machine, the league is open to creative solutions such as utilizing your GPU, designing an FPGA or hacking into the OS to squeeze out more performance. The hope is that this will make it less time intensive to participate, as you don't need to make your solver compile or run on a different machine. And don't worry, if you are not on the top of the list. This is not a fair scientific comparison of solvers. Maybe the leaders are bringing a whole compute cluster to the competition.

Have fun competing in the league, keep pushing the performance of your solver and watch your rating improve!

The new los-client version 0.3.0 adds support for multiple solvers, uses compressed CNFs and adds a countdown till match start.

The new los-client version 0.2.0 fixes an issue with downloading large instances and terminates the solver, so it does not keep running after the match.

We are happy to announce the release of the League of Solvers beta!

Please note that this is a Beta, so the experience will be a bit rough, server outage and other problems are to be expected, instructions are still a bit lacking. However, we wanted to push it out, in case you get bored during Christmas.

Have a nice Christmas and a happy new year!