Sota solver details
QBFEVAL'05

Instance: ncf_4_16_2_u.4
Best Solver: QUANTOR Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - WalkQSAT 0.05 skizzo_v0.5 0.18
- - - - - - sSolve 0.4
- - - - - - semprop 0.49
- - - - - - skizzo_v0.4 0.82
- - - - - - yQuaffle 0.96
QUANTOR(0.01)
WalkQSAT(0.05)
skizzo_v0.5(0.18)
sSolve(0.4)
semprop(0.49)
skizzo_v0.4(0.82)
yQuaffle(0.96)
QbflHR(3.94)
QChaffLearn(4.98)
openQbf(27.85)
GRL(103.1)