Sota solver details
QBFEVAL'06

Instance: ncf_8_16_4_u.3
Best Solver: semprop Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
semprop(0.21)
ssolve-ut(118.67)
sSolve(125.66)
ssolve+ut(128.6)
qube4.0(139.76)
qube5.0(139.87)
WalkQSAT(183.44)
qube3.0(686.5)
openQbf(5779.4)