Sota solver details
QBFEVAL'06

Instance: 5qbf-5cnf-160var-2560cl.4
Best Solver: ssolve-ut Time: 0.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 1.35 qube3.0 1.78 ssolve+ut 6.27
- - - - qube5.0 1.94 sKizzo-0.9-grn 16.31
- - - - qube4.0 1.98 sKizzo-0.9-abs 24.76
- - - - - - sKizzo-0.9-std 25.31
ssolve-ut(0.32)
sSolve(1.35)
qube3.0(1.78)
qube5.0(1.94)
qube4.0(1.98)
ssolve+ut(6.27)
sKizzo-0.9-grn(16.31)
sKizzo-0.9-abs(24.76)
sKizzo-0.9-std(25.31)
SQBF(71.5)
semprop(98.65)
2clsQ(275.35)