Sota solver details
QBFEVAL'06

Instance: ncf_8_16_4_edau.7
Best Solver: semprop Time: 0.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube4.0 0.53 ssolve-ut 1.45 qube3.0 2.17
- - qube5.0 0.55 - - sSolve 8.41
- - - - - - ssolve+ut 11.67
semprop(0.19)
qube4.0(0.53)
qube5.0(0.55)
ssolve-ut(1.45)
qube3.0(2.17)
sSolve(8.41)
ssolve+ut(11.67)
2clsQ(112.8)
WalkQSAT(157.34)