Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: adder-10-sat
Best Solver: AIGSolve Time: 9.99 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - dynQBF-bloqqer-hqspre 37.51 - - caqe_2017_v3 208.86
- - - - - - caqe_2017_v2 209.5
AIGSolve(9.99)
dynQBF-bloqqer-hqspre(37.51)
caqe_2017_v3(208.86)
caqe_2017_v2(209.5)