Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: Adder2-10-s
Best Solver: caqe_2017_v2 Time: 1.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - caqe_2017_v1 16.98
- - - - - - caqe_2017_v3 17.01
- - - - - - AIGSolve 40.95
caqe_2017_v2(1.01)
caqe_2017_v1(16.98)
caqe_2017_v3(17.01)
AIGSolve(40.95)
dynQBF-bloqqer-hqspre(283.62)