Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: incrementer-enc08-uniform-depth-33
Best Solver: rareqs Time: 1.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 1.56 AIGSolve 7.69 depqbf-v1 18.21
- - qsts 4.74 ghostq-cegar 8.34 aqua-s2v 105.68
rareqs(1.48)
qestos(1.56)
qsts(4.74)
AIGSolve(7.69)
ghostq-cegar(8.34)
depqbf-v1(18.21)
aqua-s2v(105.68)
depqbf-v3(294.61)