Sota solver details
QBFEVAL'06

Instance: term1.blif_0.10_1.00_0_0_out_exact
Best Solver: QUANTOR_hc Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - 2clsQ 0.12 SQBF 0.15 sKizzo-0.9-abs 0.3
- - preQuantor 0.13 sKizzo-0.9-grn 0.29 sKizzo-0.9-std 0.3
- - - - - - yQuaffle 2.18
QUANTOR(0.03)
QUANTOR_hc(0.03)
2clsQ(0.12)
preQuantor(0.13)
SQBF(0.15)
sKizzo-0.9-grn(0.29)
sKizzo-0.9-abs(0.3)
sKizzo-0.9-std(0.3)
yQuaffle(2.18)
qube4.0(5.86)
semprop(5.92)
qube5.0(8.09)
qube3.0(9.37)
Quaffle(19.17)
ssolve-ut(111.96)
ssolve+ut(120.87)
sSolve(120.98)