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

InstanceResultTime
stmt19_3_214FAIL604.32
stmt21_319_418FAIL606.87
stmt27_16_97FAIL607.44
stmt52_244_394FAIL610.05
stmt21_79_304FAIL613.52
stmt19_90_266FAIL614.5
stmt19_83_412FAIL615.74
stmt41_160_235FAIL628.32
stmt29_226_376FAIL633.04
stmt19_217_309FAIL641.85