Sota solver details
QBFEVAL'06

Instance: ncf_4_16_4_u.1
Best Solver: SQBF 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 - - qube3.0 0.15
- - QUANTOR_hc 0.02 - - sKizzo-0.9-abs 0.44
- - 2clsQ 0.03 - - sKizzo-0.9-grn 0.44
- - - - - - sKizzo-0.9-std 0.46
- - - - - - WalkQSAT 0.75
- - - - - - ssolve-ut 0.83
QUANTOR(0.01)
SQBF(0.01)
preQuantor(0.02)
QUANTOR_hc(0.02)
2clsQ(0.03)
qube3.0(0.15)
sKizzo-0.9-abs(0.44)
sKizzo-0.9-grn(0.44)
sKizzo-0.9-std(0.46)
WalkQSAT(0.75)
ssolve-ut(0.83)
qube4.0(2.34)
qube5.0(2.35)
semprop(6.99)
sSolve(7.8)
ssolve+ut(10.86)
openQbf(99.73)
GRL(279.48)