Sota solver details
QBFEVAL'05

Instance: ncf_4_16_2_d.8
Best Solver: skizzo_v0.5 Time: 0.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.88 - - sSolve 16.98
- - skizzo_v0.4 2.97 - - - -
skizzo_v0.5(0.7)
semprop(0.88)
skizzo_v0.4(2.97)
sSolve(16.98)
WalkQSAT(187.21)
QbflHR(188.76)
openQbf(317.2)
QChaffLearn(366.18)