Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: add6_COMPLETE
Best Solver: depqbf_prefix_opt_qdo Time: 185.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 350.01 - - - -
depqbf_prefix_opt_qdo(185.76)
Hiqqer2019_1(350.01)