Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: add6_CHOOSE
Best Solver: Hiqqer2019_1 Time: 596.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_3 617.16 - - - -
Hiqqer2019_1(596.02)
Hiqqer2019_3(617.16)