Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: incrementer-enc07-uniform-depth-25
Best Solver: qsts Time: 0.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 1.43 - - AIGSolve 5
- - - - - - ghostq-cegar 7.16
- - - - - - qestos 12.59
qsts(0.41)
rareqs(1.43)
AIGSolve(5)
ghostq-cegar(7.16)
qestos(12.59)
xb-bid-qsts(49.9)
iprover-QBF-bloqqer(171.93)
depqbf-v2(249.72)
iprover-QBF(400.06)