Sota solver details
QBFEVAL'06

Instance: ncf_16_32_2_edau.10
Best Solver: WalkQSAT Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - yQuaffle 0.4 qube4.0 1
- - - - - - qube5.0 1.01
WalkQSAT(0.06)
yQuaffle(0.4)
qube4.0(1)
qube5.0(1.01)
semprop(9.71)
SQBF(37.18)
ssolve-ut(314.16)
sSolve(321.3)
ssolve+ut(323.19)