Sota solver details
QBFEVAL'06

Instance: ncf_8_16_4_d.3
Best Solver: qube4.0 Time: 0.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.81 sKizzo-0.9-abs 4.13 semprop 14.91
- - - - sKizzo-0.9-std 4.24 yQuaffle 47.72
qube4.0(0.75)
qube5.0(0.81)
sKizzo-0.9-abs(4.13)
sKizzo-0.9-std(4.24)
semprop(14.91)
yQuaffle(47.72)
ssolve-ut(840.53)
sSolve(845.85)
ssolve+ut(871.11)