Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: incrementer-enc02-uniform-depth-58
Best Solver: rareqs Time: 2.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 2.81 ghostq-cegar 15.43 AIGSolve 39.29
- - qsts 12.38 - - - -
rareqs(2.78)
qestos(2.81)
qsts(12.38)
ghostq-cegar(15.43)
AIGSolve(39.29)