Sota solver details
Prenex CNF Track

Instance: arbiter-08-comp-error02-qbf-hardness-depth-9
Best Solver: Caqe-bloqqer-qdo Time: 3.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Caqe-hqspre 267.34
- - - - - - caqe-pre 267.36
Caqe-bloqqer-qdo(3.24)
Caqe-hqspre(267.34)
caqe-pre(267.36)