Sota solver details
QBFEVAL'06

Instance: 6qbf-5cnf-160var-2560cl.2
Best Solver: sSolve Time: 0.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve-ut 0.31 - - ssolve+ut 2.21
- - qube3.0 0.35 - - - -
- - semprop 0.4 - - - -
- - qube4.0 0.46 - - - -
- - qube5.0 0.47 - - - -
sSolve(0.19)
ssolve-ut(0.31)
qube3.0(0.35)
semprop(0.4)
qube4.0(0.46)
qube5.0(0.47)
ssolve+ut(2.21)
sKizzo-0.9-grn(33.42)
sKizzo-0.9-std(47.04)
sKizzo-0.9-abs(47.93)