研究室 · kenkyūshitsu
Phòng lab bộ giải
Cho một câu đố chạy đua qua các bộ giải CDCL và DPLL tự viết ở nhiều chế độ (heuristic phân nhánh, chiến lược khởi động lại, loại mệnh đề bao hàm) và so sánh với splr.
3 · Kết quả 結果
Tổng thời gian gồm mã hóa và giải. Các lời giải không liên thông bị bác bỏ dần khi gặp, mỗi lần bác bỏ tốn thêm một lần gọi SAT.
Chưa có cuộc đua nào. 待機中