Sota solver details
QBFEVAL'06

Instance: 5qbf-5cnf-80var-1280cl.1
Best Solver: qube4.0 Time: 0.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.18 sSolve 1.2 semprop 1.51
- - ssolve-ut 0.24 - - ssolve+ut 4.26
- - WalkQSAT 0.36 - - - -
qube4.0(0.13)
qube5.0(0.18)
ssolve-ut(0.24)
WalkQSAT(0.36)
sSolve(1.2)
semprop(1.51)
ssolve+ut(4.26)
sKizzo-0.9-grn(15.46)
sKizzo-0.9-abs(15.8)
sKizzo-0.9-std(16.11)
2clsQ(18.17)
SQBF(21.25)
GRL(30.59)
qube3.0(65.7)