Table 4 DRAT-trim proof checking overhead of KissatMABHyWalk as recorded in the SAT Competition 2022, in terms of multiples of its solving time (“Ratio”) and in terms of absolute running times (“Time”)
From: Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers
# | Min | p10 | Med | (g/a)mean | p90 | Max | |
|---|---|---|---|---|---|---|---|
Ratio | 146 | 0.137 | 0.269 | 1.109 | 1.208 | 6.394 | 66.494 |
Time | 146 | 8.978 | 59.325 | 576.400 | 2675.813 | 5246.770 | (Timeout) |