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

Instance: ev-pr-8x8-11-7-0-1-2-lg
Best Solver: hordeqbf Time: 78.36 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - par-pd-depqbf 117.53 - - - -
- - mpiDepQBF 127.08 - - - -
- - hiqqerfork 147.05 - - - -
hordeqbf(78.36)
par-pd-depqbf(117.53)
mpiDepQBF(127.08)
hiqqerfork(147.05)