Instances of family HardwareFixpoint solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
small-swap1-fixpoint-3SAT0.51
small-swap2-fixpoint-4SAT0.51
cache-coherence-2-fixpoint-1UNSAT1.01
small-synabs-fixpoint-9UNSAT2.02
sdlx-fixpoint-3UNSAT2.02
small-seq-fixpoint-3UNSAT20.07
cache-coherence-3-fixpoint-3UNSAT29.1
cache-coherence-2-fixpoint-6UNSAT67.74
small-seq-fixpoint-5FAIL600