Sota solver details
QBFEVAL'06

Instance: ncf_4_16_4_euad.9
Best Solver: WalkQSAT Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.1 sKizzo-0.9-abs 0.33 qube3.0 0.75
- - semprop 0.11 sKizzo-0.9-std 0.36 SQBF 0.91
- - - - sKizzo-0.9-grn 0.56 2clsQ 0.92
- - - - - - preQuantor 0.93
- - - - - - QUANTOR 1.64
- - - - - - QUANTOR_hc 1.72
- - - - - - GRL 1.73
- - - - - - ssolve-ut 2.84
- - - - - - sSolve 3.3
- - - - - - ssolve+ut 3.3
- - - - - - Qbfl 3.55
- - - - - - openQbf 4.81
qube4.0(0.06)
WalkQSAT(0.06)
qube5.0(0.1)
semprop(0.11)
sKizzo-0.9-abs(0.33)
sKizzo-0.9-std(0.36)
sKizzo-0.9-grn(0.56)
qube3.0(0.75)
SQBF(0.91)
2clsQ(0.92)
preQuantor(0.93)
QUANTOR(1.64)
QUANTOR_hc(1.72)
GRL(1.73)
ssolve-ut(2.84)
sSolve(3.3)
ssolve+ut(3.3)
Qbfl(3.55)
openQbf(4.81)