Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_u.1
Best Solver: sSolve Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.21 - - openQbf 2.66
- - QUANTOR 0.24 - - GRL 6.14
- - WalkQSAT 0.28 - - - -
- - QbflHR 0.44 - - - -
- - skizzo_v0.4 0.51 - - - -
- - skizzo_v0.5 0.52 - - - -
sSolve(0.18)
semprop(0.21)
QUANTOR(0.24)
WalkQSAT(0.28)
QbflHR(0.44)
skizzo_v0.4(0.51)
skizzo_v0.5(0.52)
openQbf(2.66)
GRL(6.14)
QChaffLearn(152.06)