Sota solver details
QBFEVAL'05

Instance: ncf_4_16_4_edau.9
Best Solver: semprop Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - sSolve 0.34
- - - - - - skizzo_v0.4 0.41
- - - - - - WalkQSAT 0.44
- - - - - - skizzo_v0.5 0.47
- - - - - - QUANTOR 1.08
semprop(0.02)
sSolve(0.34)
skizzo_v0.4(0.41)
WalkQSAT(0.44)
skizzo_v0.5(0.47)
QUANTOR(1.08)
QChaffLearn(6.37)
QbflHR(16.89)
GRL(41.5)
openQbf(52.42)