Sota solver details
QBFEVAL'05

Instance: ncf_4_16_2_euad.8
Best Solver: skizzo_v0.5 Time: 2.66 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - skizzo_v0.4 15.64 openQbf 32.29
- - - - sSolve 15.65 - -
- - - - WalkQSAT 19.2 - -
skizzo_v0.5(2.66)
skizzo_v0.4(15.64)
sSolve(15.65)
WalkQSAT(19.2)
openQbf(32.29)
QChaffLearn(329.17)