Sota solver details
QBFEVAL'06

Instance: ncf_4_16_4_u.8
Best Solver: QUANTOR_hc Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - preQuantor 0.02 - - sKizzo-0.9-grn 0.77
- - SQBF 0.03 - - sKizzo-0.9-abs 0.78
- - WalkQSAT 0.04 - - ssolve-ut 0.81
- - - - - - sKizzo-0.9-std 0.84
2clsQ(0.01)
QUANTOR(0.01)
QUANTOR_hc(0.01)
preQuantor(0.02)
SQBF(0.03)
WalkQSAT(0.04)
sKizzo-0.9-grn(0.77)
sKizzo-0.9-abs(0.78)
ssolve-ut(0.81)
sKizzo-0.9-std(0.84)
semprop(1.58)
qube4.0(1.85)
sSolve(1.86)
ssolve+ut(1.87)
qube5.0(1.88)
qube3.0(140.49)
yQuaffle(486.3)
openQbf(5179.45)