Sota solver details
QBFEVAL'06

Instance: ncf_4_16_4_euad.3
Best Solver: qube5.0 Time: 9.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube4.0 9.14 - - semprop 91.54
- - WalkQSAT 29.74 - - ssolve-ut 230.84
- - - - - - sSolve 238.01
- - - - - - ssolve+ut 331.57
qube5.0(9.06)
qube4.0(9.14)
WalkQSAT(29.74)
semprop(91.54)
ssolve-ut(230.84)
sSolve(238.01)
ssolve+ut(331.57)
2clsQ(1403.55)