Sota solver details
QBFEVAL'06

Instance: ncf_8_16_8_d.1
Best Solver: QUANTOR 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.1
- - SQBF 0.02 - - qube4.0 0.11
- - 2clsQ 0.03 - - qube5.0 0.12
- - QUANTOR_hc 0.03 - - WalkQSAT 0.13
- - semprop 0.03 - - ssolve-ut 0.25
- - - - - - GRL 0.73
QUANTOR(0.01)
preQuantor(0.02)
SQBF(0.02)
2clsQ(0.03)
QUANTOR_hc(0.03)
semprop(0.03)
qube3.0(0.1)
qube4.0(0.11)
qube5.0(0.12)
WalkQSAT(0.13)
ssolve-ut(0.25)
GRL(0.73)
Qbfl(2.49)
openQbf(5.42)
sSolve(7.3)
ssolve+ut(10.28)
sKizzo-0.9-abs(15.86)
sKizzo-0.9-std(16.63)
sKizzo-0.9-grn(724.81)