Sota solver details
QBFEVAL'06

Instance: ncf_4_8_4_u.10
Best Solver: qube3.0 Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.07 ssolve-ut 0.32 sKizzo-0.9-std 0.53
- - qube4.0 0.09 sKizzo-0.9-abs 0.48 WalkQSAT 0.6
- - qube5.0 0.09 - - ssolve+ut 1.33
- - - - - - sSolve 1.37
- - - - - - openQbf 3.25
- - - - - - 2clsQ 3.38
- - - - - - preQuantor 3.41
- - - - - - QUANTOR 3.42
- - - - - - QUANTOR_hc 3.43
- - - - - - SQBF 3.44
qube3.0(0.05)
semprop(0.07)
qube4.0(0.09)
qube5.0(0.09)
ssolve-ut(0.32)
sKizzo-0.9-abs(0.48)
sKizzo-0.9-std(0.53)
WalkQSAT(0.6)
ssolve+ut(1.33)
sSolve(1.37)
openQbf(3.25)
2clsQ(3.38)
preQuantor(3.41)
QUANTOR(3.42)
QUANTOR_hc(3.43)
SQBF(3.44)
sKizzo-0.9-grn(9.4)
Qbfl(10.64)
GRL(11.54)