Sota solver details
QBFEVAL'06

Instance: ncf_8_16_8_edau.1
Best Solver: 2clsQ Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR_hc 0.02 qube3.0 0.08 qube4.0 0.1
- - preQuantor 0.03 - - qube5.0 0.1
- - QUANTOR 0.03 - - WalkQSAT 0.1
- - semprop 0.03 - - ssolve-ut 0.21
- - SQBF 0.03 - - GRL 0.49
2clsQ(0.01)
QUANTOR_hc(0.02)
preQuantor(0.03)
QUANTOR(0.03)
semprop(0.03)
SQBF(0.03)
qube3.0(0.08)
qube4.0(0.1)
qube5.0(0.1)
WalkQSAT(0.1)
ssolve-ut(0.21)
GRL(0.49)
openQbf(3.83)
sSolve(7.24)
Qbfl(7.69)
ssolve+ut(10.23)
sKizzo-0.9-abs(196.8)
sKizzo-0.9-std(200.17)
sKizzo-0.9-grn(1135.61)