Sota solver details
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

Instance: arbiter-10-comp-error01-qbf-hardness-depth-22
Best Solver: hordeqbf Time: 11.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - mpiDepQBF 33.98 - - - -
hordeqbf(11.25)
mpiDepQBF(33.98)