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

InstanceResultTime
stmt21_4_5UNSAT0.06
stmt22_6_80UNSAT0.08
stmt19_2_83UNSAT0.08
stmt19_66_90UNSAT0.08
stmt21_71_70UNSAT0.09
stmt19_3_83UNSAT0.09
stmt19_3_78UNSAT0.09
stmt41_36_37UNSAT0.09
stmt31_22_23UNSAT0.09
stmt44_40_41UNSAT0.1
stmt52_54_55UNSAT0.1
stmt19_67_83UNSAT0.11
stmt19_83_90UNSAT0.12
stmt39_34_107UNSAT0.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.26
stmt19_133_257UNSAT0.28
stmt29_21_275UNSAT0.29
stmt21_127_258UNSAT0.3
stmt21_143_258UNSAT0.3
stmt19_142_261UNSAT0.3
stmt21_71_304UNSAT0.3
stmt22_179_182UNSAT0.33
stmt31_100_276UNSAT0.33
stmt19_217_250UNSAT0.34
stmt32_153_277UNSAT0.35
stmt19_83_302UNSAT0.35
stmt19_3_309UNSAT0.35
stmt52_117_295UNSAT0.35
stmt19_66_318UNSAT0.36
stmt46_163_289UNSAT0.36
stmt32_228_277UNSAT0.36
stmt19_125_302UNSAT0.37
stmt50_167_293UNSAT0.37
stmt19_261_266UNSAT0.39
stmt19_137_313UNSAT0.39
stmt21_79_314UNSAT0.39
stmt41_235_286UNSAT0.41
stmt47_239_290UNSAT0.42
stmt19_177_302UNSAT0.42
stmt19_214_309UNSAT0.46
stmt21_252_310UNSAT0.54
stmt19_313_318UNSAT0.56
stmt21_134_418UNSAT0.56
stmt21_267_310UNSAT0.71
stmt21_310_360UNSAT1.01
stmt19_313_412UNSAT1.14
stmt53_208_245UNSAT5.82
stmt27_149_224FAIL1200.03
stmt52_295_394FAIL1200.03
stmt41_336_385FAIL1200.03