研究室 · kenkyūshitsu
Solver lab
Race one puzzle through our own CDCL and DPLL solvers in different modes (branching heuristics, restart policies, subsumption) and compare them to splr.
3 · Results 結果
Total time is encoding plus solving. Disconnected solutions are refuted lazily, each refutation costs another SAT call.
No race yet. 待機中