Sota solver details
QBFEVAL'06

Instance: 3qbf-5cnf-40var-320cl.1
Best Solver: Qbfl Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.05 sSolve 0.18 ssolve-ut 0.21
- - - - ssolve+ut 0.19 qube5.0 0.24
- - - - - - qube4.0 0.25
- - - - - - GRL 0.8
- - - - - - qube3.0 1.09
Qbfl(0.02)
semprop(0.05)
sSolve(0.18)
ssolve+ut(0.19)
ssolve-ut(0.21)
qube5.0(0.24)
qube4.0(0.25)
GRL(0.8)
qube3.0(1.09)
WalkQSAT(2.55)
SQBF(28.51)
yQuaffle(134.03)