Sota solver details
QBFEVAL'18 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 490.55 - - - -
- - Caqe-bloqqer 826.79 - - - -
depqbf_prefix_opt_qdo(189.96)
Rareqs_2018(490.55)
Caqe-bloqqer(826.79)