Instances of family terminator solved by QuBE7-c
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
stmt21_4_5UNSAT0.06
stmt22_6_80UNSAT0.08
stmt19_2_83UNSAT0.08
stmt19_3_83UNSAT0.08
stmt19_3_78UNSAT0.09
stmt19_66_90UNSAT0.09
stmt44_40_41UNSAT0.09
stmt41_36_37UNSAT0.09
stmt21_71_70UNSAT0.09
stmt31_22_23UNSAT0.09
stmt52_54_55UNSAT0.1
stmt19_67_83UNSAT0.11
stmt39_34_107UNSAT0.12
stmt19_83_90UNSAT0.13
stmt21_79_91UNSAT0.13
stmt19_3_177UNSAT0.14
stmt19_2_180UNSAT0.14
stmt44_40_162UNSAT0.17
stmt19_90_133UNSAT0.18
stmt85_64_122UNSAT0.23
stmt21_70_258UNSAT0.25
stmt22_92_259UNSAT0.27
stmt19_133_257UNSAT0.28
stmt19_142_261UNSAT0.28
stmt21_143_258UNSAT0.29
stmt21_127_258UNSAT0.3
stmt21_71_304UNSAT0.3
stmt31_100_276UNSAT0.31
stmt29_21_275UNSAT0.31
stmt19_217_250UNSAT0.33
stmt22_179_182UNSAT0.34
stmt52_117_295UNSAT0.34
stmt19_83_302UNSAT0.35
stmt32_153_277UNSAT0.35
stmt19_66_318UNSAT0.36
stmt46_163_289UNSAT0.36
stmt19_3_309UNSAT0.36
stmt32_228_277UNSAT0.36
stmt19_125_302UNSAT0.37
stmt50_167_293UNSAT0.37
stmt41_235_286UNSAT0.38
stmt19_261_266UNSAT0.38
stmt19_137_313UNSAT0.41
stmt19_177_302UNSAT0.41
stmt21_79_314UNSAT0.42
stmt47_239_290UNSAT0.42
stmt19_214_309UNSAT0.48
stmt19_313_318UNSAT0.56
stmt21_252_310UNSAT0.56
stmt21_134_418UNSAT0.62
stmt21_267_310UNSAT6.6
stmt53_208_245UNSAT66.69
stmt52_295_394FAIL1200.02
stmt27_149_224FAIL1200.02
stmt21_310_360FAIL1200.02
stmt19_313_412FAIL1200.03
stmt41_336_385FAIL1200.03