Sota solver details
QBFEVAL'05

Instance: ncf_8_16_8_u.8
Best Solver: WalkQSAT Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - semprop 0.76 - -
WalkQSAT(0.12)
semprop(0.76)
sSolve(12.3)
QChaffLearn(34.54)
GRL(66.82)
openQbf(237.63)
QbflHR(387.09)