Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_euad.8
Best Solver: qube5.0 Time: 0.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube4.0 0.24 - - sKizzo-0.9-abs 2.4
- - - - - - sKizzo-0.9-std 2.69
- - - - - - ssolve-ut 18.98
- - - - - - WalkQSAT 19.45
- - - - - - sSolve 19.72
- - - - - - qube3.0 21.66
qube5.0(0.22)
qube4.0(0.24)
sKizzo-0.9-abs(2.4)
sKizzo-0.9-std(2.69)
ssolve-ut(18.98)
WalkQSAT(19.45)
sSolve(19.72)
qube3.0(21.66)
ssolve+ut(28.17)
openQbf(31.45)
2clsQ(46.11)
SQBF(219.53)