No-Limits Track

If your solver does not generate UNSAT proofs or if you do not want to publish your source code, you can still submit your solver to the No-Limits Track.

Each solver submitted to the Main Track will automatically participate in the No-Limits Track.

The No-Limits Track will only be evaluated with respect to the new benchmarks instances which are submitted to .