Sota solver details
QBFEVAL'06

Instance: 5qbf-5cnf-160var-2560cl.8
Best Solver: ssolve-ut Time: 0.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - sSolve 1.22 ssolve+ut 4.28
- - - - qube3.0 1.23 sKizzo-0.9-grn 9.28
- - - - - - sKizzo-0.9-abs 9.52
- - - - - - sKizzo-0.9-std 10.32
ssolve-ut(0.2)
sSolve(1.22)
qube3.0(1.23)
ssolve+ut(4.28)
sKizzo-0.9-grn(9.28)
sKizzo-0.9-abs(9.52)
sKizzo-0.9-std(10.32)
SQBF(35.73)
qube5.0(37.92)
qube4.0(37.95)
2clsQ(42.68)
semprop(96.13)