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

Instance: ev-pr-6x6-11-5-0-1-2-lg
Best Solver: par-pd-depqbf Time: 34.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqerfork 37.4 - - - -
- - mpiDepQBF 40.17 - - - -
- - hordeqbf 73.11 - - - -
par-pd-depqbf(34.13)
hiqqerfork(37.4)
mpiDepQBF(40.17)
hordeqbf(73.11)