Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_u.2
Best Solver: QChaffLearn Time: 2.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - sSolve 21.15 WalkQSAT 54.58
- - - - - - openQbf 236.83
QChaffLearn(2.98)
sSolve(21.15)
WalkQSAT(54.58)
openQbf(236.83)
semprop(347.91)
skizzo_v0.4(462.39)
skizzo_v0.5(602.03)