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

InstanceResultTime
stmt21_4_5UNSAT0.08
stmt22_6_80UNSAT0.08
stmt19_2_83UNSAT0.08
stmt19_3_83UNSAT0.08
stmt41_36_37UNSAT0.09
stmt21_71_70UNSAT0.09
stmt19_3_78UNSAT0.09
stmt19_66_90UNSAT0.09
stmt31_22_23UNSAT0.1
stmt44_40_41UNSAT0.1
stmt52_54_55UNSAT0.11
stmt19_67_83UNSAT0.12
stmt19_83_90UNSAT0.12
stmt21_79_91UNSAT0.14
stmt39_34_107UNSAT0.14
stmt19_3_177UNSAT0.14
stmt19_2_180UNSAT0.14
stmt44_40_162UNSAT0.16
stmt19_90_133UNSAT0.18
stmt85_64_122UNSAT0.22
stmt21_70_258UNSAT0.25
stmt22_92_259UNSAT0.27
stmt21_127_258UNSAT0.28
stmt21_143_258UNSAT0.28
stmt19_133_257UNSAT0.28
stmt21_71_304UNSAT0.3
stmt19_142_261UNSAT0.3
stmt29_21_275UNSAT0.32
stmt31_100_276UNSAT0.32
stmt19_217_250UNSAT0.33
stmt22_179_182UNSAT0.34
stmt19_3_309UNSAT0.35
stmt19_83_302UNSAT0.35
stmt19_66_318UNSAT0.36
stmt52_117_295UNSAT0.36
stmt46_163_289UNSAT0.36
stmt32_153_277UNSAT0.37
stmt32_228_277UNSAT0.38
stmt19_125_302UNSAT0.38
stmt50_167_293UNSAT0.38
stmt19_261_266UNSAT0.4
stmt41_235_286UNSAT0.4
stmt19_177_302UNSAT0.4
stmt19_137_313UNSAT0.42
stmt47_239_290UNSAT0.42
stmt21_79_314UNSAT0.42
stmt19_214_309UNSAT0.46
stmt19_313_318UNSAT0.58
stmt21_252_310UNSAT0.58
stmt21_134_418UNSAT0.67
stmt21_267_310UNSAT28.36
stmt53_208_245UNSAT39.95
stmt21_310_360FAIL1200.02
stmt27_149_224FAIL1200.02
stmt19_313_412FAIL1200.02
stmt52_295_394FAIL1200.03
stmt41_336_385FAIL1200.04