Sota solver details
QBFEVAL'06

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ssolve-ut 0.28 - - ssolve+ut 2.24
- - qube4.0 0.31 - - semprop 2.77
- - qube5.0 0.31 - - qube3.0 5.53
- - - - - - WalkQSAT 6.72
- - - - - - sKizzo-0.9-abs 12.88
- - - - - - sKizzo-0.9-grn 13.27
- - - - - - sKizzo-0.9-std 14.49
sSolve(0.2)
ssolve-ut(0.28)
qube4.0(0.31)
qube5.0(0.31)
ssolve+ut(2.24)
semprop(2.77)
qube3.0(5.53)
WalkQSAT(6.72)
sKizzo-0.9-abs(12.88)
sKizzo-0.9-grn(13.27)
sKizzo-0.9-std(14.49)