Sota solver details
QBFEVAL'06

Instance: ncf_4_16_2_euad.10
Best Solver: ssolve+ut Time: 0.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.22 qube5.0 1.49 qube3.0 7.87
- - - - qube4.0 1.51 - -
- - - - WalkQSAT 1.51 - -
- - - - openQbf 1.61 - -
- - - - sKizzo-0.9-abs 1.81 - -
- - - - sKizzo-0.9-std 1.87 - -
ssolve+ut(0.2)
sSolve(0.22)
qube5.0(1.49)
qube4.0(1.51)
WalkQSAT(1.51)
openQbf(1.61)
sKizzo-0.9-abs(1.81)
sKizzo-0.9-std(1.87)
qube3.0(7.87)
ssolve-ut(22.82)
2clsQ(38.71)
SQBF(668.83)