Sota solver details
QBFEVAL'06

Instance: term1.blif_0.10_0.20_0_0_inp_exact
Best Solver: ssolve-ut Time: 43.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 43.34 - - SQBF 544.28
- - Quaffle 66 - - qube5.0 571.9
- - ssolve+ut 100.84 - - qube4.0 702.23
- - semprop 126.43 - - qube3.0 1754.19
- - yQuaffle 150.36 - - - -
- - 2clsQ 215.18 - - - -
ssolve-ut(43.17)
sSolve(43.34)
Quaffle(66)
ssolve+ut(100.84)
semprop(126.43)
yQuaffle(150.36)
2clsQ(215.18)
SQBF(544.28)
qube5.0(571.9)
qube4.0(702.23)
qube3.0(1754.19)