Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: Q_2-3_v-80-100_r-11.6
Best Solver: aqua-s2v Time: 3.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 10.11 aqua-f3v 24.78 depqbf-v2 39.11
- - - - xb-bid-qsts 36.34 depqbf-v3 39.2
aqua-s2v(3.82)
depqbf-v1(10.11)
aqua-f3v(24.78)
xb-bid-qsts(36.34)
depqbf-v2(39.11)
depqbf-v3(39.2)