Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_edau.1
Best Solver: qube4.0 Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.08 sSolve 0.27 semprop 0.88
- - qube3.0 0.09 sKizzo-0.9-abs 0.33 ssolve-ut 2.64
- - - - sKizzo-0.9-grn 0.34 - -
- - - - ssolve+ut 0.34 - -
- - - - sKizzo-0.9-std 0.38 - -
qube4.0(0.05)
qube5.0(0.08)
qube3.0(0.09)
sSolve(0.27)
sKizzo-0.9-abs(0.33)
sKizzo-0.9-grn(0.34)
ssolve+ut(0.34)
sKizzo-0.9-std(0.38)
semprop(0.88)
ssolve-ut(2.64)
WalkQSAT(6.67)
2clsQ(32.63)
SQBF(78.29)
Qbfl(96.41)
yQuaffle(166.65)
openQbf(256.9)