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

InstanceResultTime
stmt21_134_418FAIL1199.95
stmt52_295_394FAIL1200.09
stmt19_2_83FAIL1200.12
stmt19_3_177FAIL1200.12
stmt29_21_275FAIL1200.13
stmt53_208_245FAIL1200.13
stmt32_153_277FAIL1200.14
stmt21_252_310FAIL1200.14
stmt19_3_309FAIL1200.14
stmt19_214_309FAIL1200.14
stmt52_117_295FAIL1200.15
stmt19_3_78FAIL1200.15
stmt19_90_133FAIL1200.15
stmt46_163_289FAIL1200.15
stmt41_336_385FAIL1200.15
stmt19_177_302FAIL1200.15
stmt41_36_37FAIL1200.15
stmt21_70_258FAIL1200.15
stmt21_143_258FAIL1200.15
stmt19_3_83FAIL1200.15
stmt19_142_261FAIL1200.15
stmt19_83_302FAIL1200.15
stmt19_261_266FAIL1200.15
stmt44_40_41FAIL1200.15
stmt50_167_293FAIL1200.15
stmt21_310_360FAIL1200.15
stmt19_313_318FAIL1200.15
stmt31_22_23FAIL1200.15
stmt19_313_412FAIL1200.15
stmt21_71_304FAIL1200.15
stmt19_66_318FAIL1200.15
stmt21_71_70FAIL1200.15
stmt19_67_83FAIL1200.15
stmt39_34_107FAIL1200.16
stmt32_228_277FAIL1200.16
stmt21_4_5FAIL1200.16
stmt21_79_314FAIL1200.16
stmt22_179_182FAIL1200.16
stmt19_83_90FAIL1200.16
stmt21_127_258FAIL1200.16
stmt31_100_276FAIL1200.16
stmt19_133_257FAIL1200.16
stmt19_217_250FAIL1200.16
stmt19_2_180FAIL1200.16
stmt19_66_90FAIL1200.16
stmt27_149_224FAIL1200.16
stmt52_54_55FAIL1200.16
stmt44_40_162FAIL1200.16
stmt85_64_122FAIL1200.16
stmt19_137_313FAIL1200.16
stmt21_267_310FAIL1200.16
stmt22_92_259FAIL1200.16
stmt21_79_91FAIL1200.16
stmt41_235_286FAIL1200.16
stmt19_125_302FAIL1200.16
stmt47_239_290FAIL1200.16
stmt22_6_80FAIL1200.17