Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: C6288.blif_0.10_1.00_0_1_out_exact
Best Solver: depqbf-v1 Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 0.34 - - struqs-10 2.26
- - aqua-s3o 0.34 - - squeezebf+struqs 2.32
- - aqua-s2v 0.35 - - ghostq-cegar 2.92
- - - - - - ghostq-plain 2.93
- - - - - - rareqs 4.78
- - - - - - depqbf-v3 10.05
depqbf-v1(0.11)
aqua-f3v(0.34)
aqua-s3o(0.34)
aqua-s2v(0.35)
struqs-10(2.26)
squeezebf+struqs(2.32)
ghostq-cegar(2.92)
ghostq-plain(2.93)
rareqs(4.78)
depqbf-v3(10.05)
depqbf-v2(28.31)
qesto(44.17)
caqe-picosat(76.8)
xb-bid-qsts(125.87)
caqe-minisat(364.55)