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

InstanceResultTime
stmt19_90_266FAIL109.56
stmt41_160_235FAIL110.89
stmt19_217_309FAIL114.5
stmt19_3_214FAIL118.39
stmt21_79_304FAIL120.77
stmt29_226_376FAIL121.12
stmt52_244_394FAIL123.65
stmt21_319_418FAIL125.53
stmt27_16_97FAIL136.35
stmt19_83_412FAIL137.03