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

InstanceResultTime
stmt19_90_266UNSAT128.84
stmt19_3_214FAIL197.77
stmt41_160_235FAIL202.32
stmt21_319_418FAIL215.16
stmt27_16_97FAIL221.1
stmt29_226_376FAIL225.81
stmt19_217_309FAIL228.18
stmt52_244_394FAIL235.92
stmt19_83_412FAIL251.4
stmt21_79_304FAIL263.2