Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_euad.10
Best Solver: qube4.0 Time: 1.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 1.99 - - semprop 21.76
- - ssolve-ut 2.43 - - ssolve+ut 22.89
- - sSolve 9.48 - - WalkQSAT 92.28
- - - - - - 2clsQ 117.68
- - - - - - openQbf 195.25
qube4.0(1.96)
qube5.0(1.99)
ssolve-ut(2.43)
sSolve(9.48)
semprop(21.76)
ssolve+ut(22.89)
WalkQSAT(92.28)
2clsQ(117.68)
openQbf(195.25)