Sota solver details
QBFEVAL'05

Instance: ncf_8_16_2_d.2
Best Solver: QbflHR Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.02 - - QUANTOR 0.12
- - - - - - openQbf 0.23
- - - - - - WalkQSAT 0.61
QbflHR(0.01)
semprop(0.01)
sSolve(0.02)
QUANTOR(0.12)
openQbf(0.23)
WalkQSAT(0.61)
QChaffLearn(17.51)
skizzo_v0.5(24.46)
GRL(606.07)
skizzo_v0.4(809.55)