Sota solver details
QBFEVAL'06

Instance: ncf_16_32_4_euad.1
Best Solver: WalkQSAT Time: 0.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.16 - - qube4.0 0.92
- - ssolve-ut 0.19 - - qube5.0 0.95
- - ssolve+ut 0.22 - - qube3.0 2.66
- - - - - - yQuaffle 6.14
WalkQSAT(0.07)
sSolve(0.16)
ssolve-ut(0.19)
ssolve+ut(0.22)
qube4.0(0.92)
qube5.0(0.95)
qube3.0(2.66)
yQuaffle(6.14)
SQBF(35.16)