Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_d.10
Best Solver: qube5.0 Time: 1.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube4.0 1.72 semprop 11.84 qube3.0 108.5
- - - - - - 2clsQ 145.28
qube5.0(1.7)
qube4.0(1.72)
semprop(11.84)
qube3.0(108.5)
2clsQ(145.28)
Qbfl(481.58)
sKizzo-0.9-std(1234.65)
sKizzo-0.9-abs(1261.57)