Sota solver details
QBFEVAL'06

Instance: 3qbf-5cnf-40var-640cl.5
Best Solver: qube3.0 Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube4.0 0.03 GRL 0.11 ssolve-ut 0.22
- - qube5.0 0.03 sKizzo-0.9-grn 0.13 yQuaffle 0.29
- - WalkQSAT 0.03 sKizzo-0.9-abs 0.14 sSolve 1.12
- - - - sKizzo-0.9-std 0.14 - -
qube3.0(0.02)
semprop(0.02)
qube4.0(0.03)
qube5.0(0.03)
WalkQSAT(0.03)
GRL(0.11)
sKizzo-0.9-grn(0.13)
sKizzo-0.9-abs(0.14)
sKizzo-0.9-std(0.14)
ssolve-ut(0.22)
yQuaffle(0.29)
sSolve(1.12)
Quaffle(2.12)
ssolve+ut(4.17)
SQBF(18.89)
2clsQ(19.17)
openQbf(56.16)