Sota solver details
QBFEVAL'06

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube3.0 0.9 sSolve 1.31 ssolve+ut 8.27
- - - - qube4.0 1.66 sKizzo-0.9-abs 9.44
- - - - qube5.0 1.71 sKizzo-0.9-grn 9.69
- - - - - - sKizzo-0.9-std 10.26
- - - - - - semprop 25.46
ssolve-ut(0.26)
qube3.0(0.9)
sSolve(1.31)
qube4.0(1.66)
qube5.0(1.71)
ssolve+ut(8.27)
sKizzo-0.9-abs(9.44)
sKizzo-0.9-grn(9.69)
sKizzo-0.9-std(10.26)
semprop(25.46)
2clsQ(111.94)
SQBF(490.8)