Sota solver details
QBFEVAL'05

Instance: ncf_4_8_4_euad.1
Best Solver: semprop Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - WalkQSAT 0.21 sSolve 0.44
- - - - QbflHR 0.39 QChaffLearn 0.57
- - - - - - skizzo_v0.4 1.08
- - - - - - GRL 1.79
- - - - - - skizzo_v0.5 3.27
semprop(0.04)
WalkQSAT(0.21)
QbflHR(0.39)
sSolve(0.44)
QChaffLearn(0.57)
skizzo_v0.4(1.08)
GRL(1.79)
skizzo_v0.5(3.27)
openQbf(7.11)
yQuaffle(406.03)