Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_euad.7
Best Solver: qube4.0 Time: 3.67 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 3.72 ssolve-ut 25.61 WalkQSAT 62.63
- - semprop 6.29 sSolve 32.61 openQbf 81.45
- - - - ssolve+ut 35.29 2clsQ 212.18
- - - - - - qube3.0 356.03
qube4.0(3.67)
qube5.0(3.72)
semprop(6.29)
ssolve-ut(25.61)
sSolve(32.61)
ssolve+ut(35.29)
WalkQSAT(62.63)
openQbf(81.45)
2clsQ(212.18)
qube3.0(356.03)