Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_u.8
Best Solver: qube4.0 Time: 0.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.27 ssolve+ut 1.83 WalkQSAT 4.39
- - ssolve-ut 1.03 sSolve 1.9 qube3.0 5.2
- - - - sKizzo-0.9-abs 2.2 - -
- - - - sKizzo-0.9-std 2.33 - -
qube4.0(0.26)
qube5.0(0.27)
ssolve-ut(1.03)
ssolve+ut(1.83)
sSolve(1.9)
sKizzo-0.9-abs(2.2)
sKizzo-0.9-std(2.33)
WalkQSAT(4.39)
qube3.0(5.2)
openQbf(26.99)
2clsQ(31.61)
SQBF(123.93)