Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: stmt19_3_214
Best Solver: aqua-f3v Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.21 AIGSolve 0.4 depqbf-v2 2.11
- - - - ghostq-plain 0.46 xb-qsts 2.95
- - - - - - xb-bid-qsts 3.44
- - - - - - struqs-10 6.53
- - - - - - squeezebf+struqs 6.58
aqua-f3v(0.08)
aqua-s2v(0.08)
aqua-s3o(0.08)
depqbf-v1(0.21)
AIGSolve(0.4)
ghostq-plain(0.46)
depqbf-v2(2.11)
xb-qsts(2.95)
xb-bid-qsts(3.44)
struqs-10(6.53)
squeezebf+struqs(6.58)
caqe-minisat(35.59)
rareqs(64.26)
depqbf-v3(114.39)
qesto(229.71)
ghostq-cegar(310.45)