Sota solver details
QBFEVAL'06

Instance: ncf_4_16_4_u.6
Best Solver: ssolve+ut Time: 0.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.23 - - qube4.0 6.57
- - semprop 0.66 - - qube5.0 6.65
ssolve+ut(0.2)
sSolve(0.23)
semprop(0.66)
qube4.0(6.57)
qube5.0(6.65)
qube3.0(75.66)
WalkQSAT(89.75)
ssolve-ut(179.14)
openQbf(323.43)
sKizzo-0.9-abs(536.92)
sKizzo-0.9-std(545.05)
sKizzo-0.9-grn(2502.2)