Sota solver details
QBFEVAL'06

Instance: ncf_4_16_8_euad.8
Best Solver: qube4.0 Time: 2.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 2.68 - - ssolve-ut 76.1
- - - - - - sSolve 83.49
- - - - - - ssolve+ut 86.93
- - - - - - WalkQSAT 157.14
- - - - - - semprop 182.71
qube4.0(2.62)
qube5.0(2.68)
ssolve-ut(76.1)
sSolve(83.49)
ssolve+ut(86.93)
WalkQSAT(157.14)
semprop(182.71)