研究室 · kenkyūshitsu
Solver-Labor
Schick ein Rätsel ins Rennen durch unsere eigenen CDCL- und DPLL-Solver in verschiedenen Modi (Verzweigungsheuristiken, Neustart-Strategien, Subsumption) und vergleiche sie mit splr.
3 · Ergebnisse 結果
Die Gesamtzeit ist Kodieren plus Lösen. Unzusammenhängende Lösungen werden erst bei Bedarf widerlegt, jede Widerlegung kostet einen weiteren SAT-Aufruf.
Noch kein Rennen. 待機中