Sota solver details
QBFEVAL'06

Instance: 3qbf-5cnf-160var-2560cl.2
Best Solver: ssolve-ut Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.53 sSolve 1.2 ssolve+ut 4.14
- - qube4.0 0.55 - - sKizzo-0.9-abs 8.64
- - qube3.0 0.59 - - sKizzo-0.9-grn 8.65
- - - - - - sKizzo-0.9-std 9.07
- - - - - - semprop 10.41
ssolve-ut(0.18)
qube5.0(0.53)
qube4.0(0.55)
qube3.0(0.59)
sSolve(1.2)
ssolve+ut(4.14)
sKizzo-0.9-abs(8.64)
sKizzo-0.9-grn(8.65)
sKizzo-0.9-std(9.07)
semprop(10.41)
SQBF(19.12)
2clsQ(124.71)