Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_u.6
Best Solver: WalkQSAT Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube3.0 0.51 - - ssolve-ut 5.44
- - - - - - Qbfl 6.46
WalkQSAT(0.11)
qube3.0(0.51)
ssolve-ut(5.44)
Qbfl(6.46)
sSolve(12.47)
ssolve+ut(15.48)
2clsQ(21.69)
qube4.0(40.91)
qube5.0(41.33)
semprop(254.63)