研究室 · kenkyūshitsu
Laboratorium solverów
Puść jedną łamigłówkę przez nasze własne solvery CDCL i DPLL w różnych trybach (heurystyki rozgałęziania, strategie restartów, subsumpcja) i porównaj je ze splr.
3 · Wyniki 結果
Łączny czas to kodowanie plus rozwiązywanie. Niespójne rozwiązania są odrzucane leniwie, każde odrzucenie kosztuje kolejne wywołanie SAT.
Jeszcze nie było wyścigu. 待機中