Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: arbiter-09-comp-error01-qbf-hardness-depth-21
Best Solver: Caqe-bloqqer Time: 32.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 56.81 - - - -
- - Qute_default 60.55 - - - -
Caqe-bloqqer(32.86)
Caqe-bloqqer-qdo(56.81)
Qute_default(60.55)