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

InstanceResultTime
stmt19_3_214UNSAT1.06
stmt27_16_97UNSAT1.06
stmt21_79_304UNSAT1.07
stmt19_90_266UNSAT1.07
stmt29_226_376UNSAT1.08
stmt19_217_309UNSAT1.08
stmt52_244_394UNSAT1.08
stmt19_83_412UNSAT303.02
stmt21_319_418FAIL600
stmt41_160_235FAIL600