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

Instance: tlc04-nonuniform-depth-56
Best Solver: par-pd-depqbf Time: 4.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hordeqbf 4.15 - - caqe-picosat-par 128.85
- - hiqqerfork 5.22 - - - -
- - mpiDepQBF 10.68 - - - -
- - caqe-minisat-par 18.43 - - - -
par-pd-depqbf(4.02)
hordeqbf(4.15)
hiqqerfork(5.22)
mpiDepQBF(10.68)
caqe-minisat-par(18.43)
caqe-picosat-par(128.85)