Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_euad.6
Best Solver: WalkQSAT Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube3.0 0.47 - - qube4.0 3.25
- - - - - - qube5.0 3.31
WalkQSAT(0.1)
qube3.0(0.47)
qube4.0(3.25)
qube5.0(3.31)
2clsQ(21.76)
ssolve-ut(32.9)
sSolve(39.66)
ssolve+ut(46.42)
semprop(140.12)
Qbfl(249.39)
GRL(401.46)