Sota solver details
QBFEVAL'06

Instance: ncf_4_16_4_d.10
Best Solver: ssolve+ut Time: 0.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.17 qube4.0 1.2 semprop 5.78
- - - - qube5.0 1.25 - -
ssolve+ut(0.16)
sSolve(0.17)
qube4.0(1.2)
qube5.0(1.25)
semprop(5.78)
qube3.0(31.67)
sKizzo-0.9-abs(52.21)
sKizzo-0.9-std(52.91)
sKizzo-0.9-grn(92.67)
SQBF(183.76)
2clsQ(666.33)
ssolve-ut(2126.21)