Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_u.3
Best Solver: qube4.0 Time: 0.79 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.81 - - ssolve-ut 26.03
- - ssolve+ut 1.19 - - openQbf 32.22
- - sSolve 2.12 - - WalkQSAT 33.03
- - qube3.0 3.24 - - 2clsQ 62.08
qube4.0(0.79)
qube5.0(0.81)
ssolve+ut(1.19)
sSolve(2.12)
qube3.0(3.24)
ssolve-ut(26.03)
openQbf(32.22)
WalkQSAT(33.03)
2clsQ(62.08)
sKizzo-0.9-std(551.04)
sKizzo-0.9-abs(588.04)