Sota solver details
QBFEVAL'05

Instance: ncf_4_16_2_euad.7
Best Solver: WalkQSAT Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QChaffLearn 0.12 - - skizzo_v0.5 0.48
- - semprop 0.16 - - QbflHR 0.73
- - - - - - GRL 1.26
- - - - - - sSolve 1.63
WalkQSAT(0.04)
QChaffLearn(0.12)
semprop(0.16)
skizzo_v0.5(0.48)
QbflHR(0.73)
GRL(1.26)
sSolve(1.63)
openQbf(14.18)
QUANTOR(669.99)