Sota solver details
QBFEVAL'05

Instance: ncf_4_16_4_u.8
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.88
- - - - - - skizzo_v0.4 0.89
QUANTOR(0.01)
WalkQSAT(0.05)
skizzo_v0.5(0.88)
skizzo_v0.4(0.89)
sSolve(1.38)
semprop(1.57)
QChaffLearn(24.31)
yQuaffle(461.02)