Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt41_160_235
Best Solver: qsts Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - depqbf-v2 3.61
qsts(0.04)
depqbf-v2(3.61)
cadet(15.39)
rareqs(104.97)
xb-bid-qsts(121.84)
depqbf-v1(295.71)
depqbf-v3(555.26)