Sota solver details
QBFEVAL'06

Instance: 4qbf-5cnf-40var-320cl.5
Best Solver: ssolve-ut Time: 0.99 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 2.09 qube3.0 6.54 ssolve+ut 11.1
ssolve-ut(0.99)
sSolve(2.09)
qube3.0(6.54)
ssolve+ut(11.1)
Qbfl(154)
qube5.0(5532.34)
qube4.0(5536.49)