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

InstanceResultTime
stmt27_16_97UNSAT0.51
stmt19_90_266UNSAT0.51
stmt52_244_394UNSAT0.51
stmt29_226_376UNSAT0.51
stmt19_217_309UNSAT0.51
stmt21_319_418SAT0.51
stmt21_79_304UNSAT0.51
stmt19_3_214UNSAT0.51
stmt41_160_235UNSAT0.51
stmt19_83_412UNSAT0.51