Instances of family terminator solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
stmt27_16_97UNSAT0.11
stmt19_90_266UNSAT0.11
stmt19_217_309UNSAT0.21
stmt21_79_304UNSAT0.21
stmt19_3_214UNSAT0.31
stmt29_226_376UNSAT0.51
stmt52_244_394UNSAT5.01
stmt41_160_235FAIL322.45
stmt19_83_412FAIL415.05
stmt21_319_418FAIL602.52