Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_euad.1
Best Solver: sSolve Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QbflHR 0.44
- - - - - - skizzo_v0.5 0.48
- - - - - - skizzo_v0.4 0.49
- - - - - - semprop 0.67
- - - - - - WalkQSAT 0.81
- - - - - - openQbf 2.76
sSolve(0.03)
QbflHR(0.44)
skizzo_v0.5(0.48)
skizzo_v0.4(0.49)
semprop(0.67)
WalkQSAT(0.81)
openQbf(2.76)
GRL(10.59)
QUANTOR(40.17)
QChaffLearn(272.27)