Sota solver details
QBFEVAL'05

Instance: ncf_4_16_2_u.3
Best Solver: sSolve Time: 21.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - WalkQSAT 28.45 - - skizzo_v0.4 246.65
- - openQbf 32.32 - - - -
sSolve(21.21)
WalkQSAT(28.45)
openQbf(32.32)
skizzo_v0.4(246.65)