Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: small-synabs-fixpoint-9
Best Solver: qesto Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 0.25 - - AIGSolve 2.96
- - hiqqer1 0.26 - - - -
- - hiqqer3 0.27 - - - -
- - depqbf-v2 0.71 - - - -
- - xb-bid-qsts 0.73 - - - -
- - xb-qsts 0.74 - - - -
- - caqe-minisat 0.77 - - - -
- - caqe-picosat 0.77 - - - -
qesto(0.21)
qestos(0.21)
rareqs(0.21)
hiqqer1ldsq(0.25)
hiqqer1(0.26)
hiqqer3(0.27)
depqbf-v2(0.71)
xb-bid-qsts(0.73)
xb-qsts(0.74)
caqe-minisat(0.77)
caqe-picosat(0.77)
AIGSolve(2.96)
struqs-10(83.43)
squeezebf+struqs(83.51)
aqua-s2v(143.56)
aqua-s3o(149.03)
aqua-f3v(440.26)