Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: arbiter-10-comp-error01-qbf-hardness-depth-22
Best Solver: Caqe-bloqqer-qdo Time: 53.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 73.87 - - - -
- - Qute_default 112.86 - - - -
Caqe-bloqqer-qdo(53.17)
Caqe-bloqqer(73.87)
Qute_default(112.86)