Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_u.3
Best Solver: QUANTOR Time: 0.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - skizzo_v0.5 0.63 - - sSolve 4.45
- - WalkQSAT 0.63 - - semprop 6.85
- - skizzo_v0.4 0.64 - - GRL 15.34
QUANTOR(0.23)
skizzo_v0.5(0.63)
WalkQSAT(0.63)
skizzo_v0.4(0.64)
sSolve(4.45)
semprop(6.85)
GRL(15.34)
QChaffLearn(23.8)
openQbf(69.67)