Instances of family terminator solved by ssolve-A
QBFEVAL'08

InstanceResultTime
stmt31_22_23UNSAT44.25
stmt41_36_37UNSAT45.78
stmt44_40_41UNSAT149.17
stmt52_54_55UNSAT169.12
stmt19_177_412FAIL600
stmt21_304_364FAIL600
stmt19_368_417FAIL600
stmt19_78_83FAIL600
stmt19_250_412FAIL600
stmt22_135_404FAIL600
stmt21_4_5FAIL600
stmt19_3_257FAIL600
stmt21_134_413FAIL600
stmt31_100_328FAIL600
stmt22_311_320FAIL600
stmt50_115_242FAIL600
stmt22_259_419FAIL600
stmt21_4_178FAIL600
stmt28_98_225FAIL600
stmt41_286_385FAIL600
stmt47_239_290FAIL600
stmt21_70_314FAIL600
stmt19_302_313FAIL600
stmt21_304_360FAIL600
stmt22_135_144FAIL600
stmt21_134_138FAIL600
stmt21_215_418FAIL600
stmt46_163_289FAIL600
stmt22_361_414FAIL600
stmt22_73_311FAIL600
stmt22_268_414FAIL600
stmt21_364_418FAIL600
stmt19_217_368FAIL600
stmt22_6_72FAIL600
stmt21_360_369FAIL600
stmt19_250_401FAIL600
stmt21_79_262FAIL600
stmt21_218_360FAIL600
stmt22_365_414FAIL600
stmt22_80_216FAIL600
stmt19_266_408FAIL600
stmt19_78_408FAIL600
stmt21_143_258FAIL600
stmt19_177_309FAIL600
stmt21_181_218FAIL600
stmt19_257_412FAIL600
stmt21_252_418FAIL600
stmt28_19_98FAIL600
stmt19_66_417FAIL600
stmt19_3_177FAIL600
stmt19_214_309FAIL600
stmt21_138_267FAIL600
stmt32_191_329FAIL600
stmt21_252_262FAIL600
stmt22_259_404FAIL600
stmt19_412_417FAIL600
stmt19_217_309FAIL600
stmt19_66_412FAIL600
stmt22_73_263FAIL600
stmt19_137_368FAIL600
stmt44_41_237FAIL600
stmt19_214_257FAIL600
stmt21_181_360FAIL600
stmt21_5_304FAIL600
stmt19_83_90FAIL600
stmt19_2_83FAIL600
stmt46_238_388FAIL600
stmt22_6_219FAIL600
stmt22_80_253FAIL600
stmt19_90_217FAIL600
stmt21_138_252FAIL600
stmt22_139_320FAIL600
stmt19_177_302FAIL600
stmt46_289_388FAIL600
stmt21_215_354FAIL600
stmt21_79_91FAIL600
stmt32_191_378FAIL600
stmt19_177_368FAIL600
stmt19_2_180FAIL600
stmt19_66_318FAIL600
stmt22_263_355FAIL600
stmt19_90_408FAIL600
stmt22_259_370FAIL600
stmt22_85_182FAIL600
stmt22_92_361FAIL600
stmt53_208_245FAIL600
stmt41_37_108FAIL600
stmt27_97_187FAIL600
stmt19_90_363FAIL600
stmt21_143_403FAIL600
stmt19_217_352FAIL600
stmt22_73_182FAIL600
stmt41_108_235FAIL600
stmt47_44_202FAIL600
stmt32_24_378FAIL600
stmt19_137_313FAIL600
stmt21_138_215FAIL600
stmt21_354_413FAIL600
stmt22_80_144FAIL600
stmt22_179_182FAIL600
stmt22_80_361FAIL600
stmt21_4_304FAIL600
stmt52_117_207FAIL600
stmt21_84_258FAIL600
stmt39_159_197FAIL600
stmt19_3_78FAIL600
stmt19_180_313FAIL600
stmt22_259_410FAIL600
stmt22_139_219FAIL600
stmt50_242_343FAIL600
stmt21_360_364FAIL600
stmt21_215_403FAIL600
stmt39_285_335FAIL600
stmt44_41_288FAIL600
stmt21_310_354FAIL600
stmt22_182_253FAIL600
stmt50_50_115FAIL600
stmt19_78_217FAIL600
stmt22_85_320FAIL600
stmt21_314_354FAIL600
stmt22_80_259FAIL600
stmt19_125_261FAIL600
stmt39_159_335FAIL600
stmt85_300_399FAIL600
stmt19_142_302FAIL600
stmt21_134_354FAIL600
stmt19_78_309FAIL600
stmt22_80_370FAIL600
stmt29_275_376FAIL600
stmt19_180_352FAIL600
stmt19_217_302FAIL600
stmt19_67_318FAIL600
stmt85_64_248FAIL600
stmt22_85_355FAIL600
stmt21_4_409FAIL600
stmt22_73_404FAIL600
stmt19_266_363FAIL600
stmt22_73_219FAIL600
stmt19_90_352FAIL600
stmt21_70_369FAIL600
stmt44_41_387FAIL600
stmt21_127_252FAIL600
stmt22_259_355FAIL600
stmt21_91_413FAIL600
stmt21_364_369FAIL600
stmt22_320_370FAIL600
stmt21_84_134FAIL600
stmt19_408_417FAIL600
stmt21_262_310FAIL600
stmt22_85_179FAIL600
stmt44_162_387FAIL600
stmt39_159_384FAIL600
stmt19_66_250FAIL600
stmt22_268_320FAIL600
stmt19_83_142FAIL600
stmt21_178_418FAIL600
stmt19_133_257FAIL600
stmt19_177_359FAIL600
stmt19_217_401FAIL600
stmt19_266_352FAIL600
stmt19_250_408FAIL600
stmt19_142_363FAIL600
stmt31_100_276FAIL600
stmt21_127_409FAIL600
stmt47_164_202FAIL600
stmt52_54_345FAIL600
stmt22_144_419FAIL600
stmt50_205_293FAIL600
stmt19_83_417FAIL600
stmt19_266_368FAIL600
stmt19_352_417FAIL600
stmt21_319_364FAIL600
stmt19_137_359FAIL600
stmt22_365_404FAIL600
stmt21_127_310FAIL600
stmt19_66_214FAIL600
stmt50_167_293FAIL600
stmt21_84_369FAIL600
stmt32_24_191FAIL600
stmt27_149_187FAIL600
stmt21_319_409FAIL600
stmt22_85_263FAIL600
stmt21_304_369FAIL600
stmt46_111_163FAIL600
stmt31_190_276FAIL600
stmt47_44_239FAIL600
stmt21_71_360FAIL600
stmt21_138_310FAIL600
stmt46_42_289FAIL600
stmt39_34_285FAIL600
stmt50_51_392FAIL600
stmt19_133_217FAIL600
stmt52_169_244FAIL600
stmt21_319_418FAIL600
stmt32_329_378FAIL600
stmt39_107_285FAIL600
stmt21_71_413FAIL600
stmt19_302_412FAIL600
stmt22_315_404FAIL600
stmt47_112_389FAIL600
stmt21_134_304FAIL600
stmt41_36_235FAIL600
stmt53_57_245FAIL600
stmt22_253_259FAIL600
stmt19_177_363FAIL600
stmt19_302_352FAIL600
stmt19_180_408FAIL600
stmt22_135_320FAIL600
stmt26_15_223FAIL600
stmt19_66_90FAIL600
stmt21_5_181FAIL600
stmt52_207_345FAIL600
stmt21_319_354FAIL600
stmt19_125_133FAIL600
stmt19_78_417FAIL600
stmt19_309_417FAIL600
stmt19_261_266FAIL600
stmt21_138_413FAIL600
stmt44_110_338FAIL600
stmt32_153_378FAIL600
stmt21_215_252FAIL600
stmt19_214_368FAIL600
stmt19_67_137FAIL600
stmt21_71_354FAIL600
stmt21_71_314FAIL600
stmt29_226_327FAIL600
stmt19_180_401FAIL600
stmt21_127_369FAIL600
stmt22_144_179FAIL600
stmt21_127_267FAIL600
stmt19_78_363FAIL600
stmt41_160_286FAIL600
stmt21_84_215FAIL600
stmt29_99_151FAIL600
stmt21_127_418FAIL600
stmt21_4_360FAIL600
stmt27_17_187FAIL600
stmt19_66_408FAIL600
stmt19_83_412FAIL600
stmt19_133_180FAIL600
stmt21_403_413FAIL600
stmt22_320_361FAIL600
stmt22_144_361FAIL600
stmt22_311_370FAIL600
stmt21_70_84FAIL600
stmt22_263_365FAIL600
stmt19_214_313FAIL600
stmt27_16_149FAIL600
stmt52_169_394FAIL600
stmt52_54_244FAIL600
stmt19_2_257FAIL600
stmt21_134_418FAIL600
stmt19_142_250FAIL600
stmt22_80_139FAIL600
stmt22_73_179FAIL600
stmt39_34_384FAIL600
stmt41_198_385FAIL600
stmt21_218_258FAIL600
stmt21_218_262FAIL600
stmt21_181_413FAIL600
stmt21_215_267FAIL600
stmt22_92_216FAIL600
stmt21_70_267FAIL600
stmt39_107_335FAIL600
stmt19_90_250FAIL600
stmt22_80_414FAIL600
stmt19_368_408FAIL600
stmt21_84_138FAIL600
stmt21_262_413FAIL600
stmt21_304_418FAIL600
stmt46_43_111FAIL600
stmt21_127_143FAIL600
stmt44_200_338FAIL600
stmt47_45_164FAIL600
stmt19_67_214FAIL600
stmt39_34_107FAIL600
stmt19_217_250FAIL600
stmt19_217_417FAIL600
stmt22_92_139FAIL600
stmt21_314_418FAIL600
stmt21_364_409FAIL600
stmt19_142_412FAIL600
stmt21_310_360FAIL600
stmt22_135_315FAIL600
stmt19_125_214FAIL600
stmt21_178_403FAIL600
stmt21_178_258FAIL600
stmt19_313_412FAIL600
stmt19_78_318FAIL600
stmt46_201_388FAIL600
stmt21_71_143FAIL600
stmt21_252_314FAIL600
stmt22_259_263FAIL600
stmt21_70_127FAIL600
stmt22_268_404FAIL600
stmt19_67_363FAIL600
stmt19_180_309FAIL600
stmt19_177_352FAIL600
stmt22_73_80FAIL600
stmt19_137_408FAIL600
stmt52_54_169FAIL600
stmt27_17_149FAIL600
stmt21_181_364FAIL600
stmt19_83_359FAIL600
stmt21_319_403FAIL600
stmt31_276_328FAIL600
stmt50_167_205FAIL600
stmt19_137_363FAIL600
stmt19_257_318FAIL600
stmt19_133_214FAIL600
stmt21_218_364FAIL600
stmt21_91_304FAIL600
stmt19_90_266FAIL600
stmt19_3_83FAIL600
stmt21_403_418FAIL600
stmt21_127_218FAIL600
stmt31_152_328FAIL600
stmt21_5_413FAIL600
stmt21_5_134FAIL600
stmt21_134_364FAIL600
stmt21_4_364FAIL600
stmt22_182_320FAIL600
stmt41_336_385FAIL600
stmt21_79_178FAIL600
stmt19_125_313FAIL600
stmt19_217_318FAIL600
stmt41_37_235FAIL600
stmt21_304_409FAIL600
stmt22_182_263FAIL600
stmt19_250_359FAIL600
stmt22_305_311FAIL600
stmt52_117_295FAIL600
stmt52_55_207FAIL600
stmt52_244_394FAIL600
stmt41_37_198FAIL600
stmt85_122_399FAIL600
stmt21_252_354FAIL600
stmt21_5_138FAIL600
stmt19_2_261FAIL600
stmt21_360_403FAIL600
stmt19_309_408FAIL600
stmt50_51_167FAIL600
stmt39_234_335FAIL600
stmt21_262_409FAIL600
stmt22_263_315FAIL600
stmt22_315_361FAIL600
stmt22_259_311FAIL600
stmt22_139_144FAIL600
stmt22_85_315FAIL600
stmt46_43_201FAIL600
stmt21_5_360FAIL600
stmt19_90_417FAIL600
stmt22_182_419FAIL600
stmt44_40_110FAIL600
stmt19_142_318FAIL600
stmt19_3_309FAIL600
stmt19_133_359FAIL600
stmt27_149_224FAIL600
stmt19_2_250FAIL600
stmt22_182_268FAIL600
stmt19_266_359FAIL600
stmt21_70_354FAIL600
stmt19_133_408FAIL600
stmt39_107_197FAIL600
stmt19_217_408FAIL600
stmt22_80_182FAIL600
stmt22_92_259FAIL600
stmt47_340_389FAIL600
stmt50_343_392FAIL600
stmt22_6_128FAIL600
stmt19_142_261FAIL600
stmt19_137_352FAIL600
stmt21_314_364FAIL600
stmt19_177_318FAIL600
stmt47_44_340FAIL600
stmt21_70_178FAIL600
stmt21_267_304FAIL600
stmt19_90_177FAIL600
stmt19_352_363FAIL600
stmt31_190_227FAIL600
stmt41_235_286FAIL600
stmt22_80_268FAIL600
stmt21_215_413FAIL600
stmt22_144_370FAIL600
stmt39_35_159FAIL600
stmt21_71_70FAIL600
stmt21_178_218FAIL600
stmt46_201_238FAIL600
stmt19_125_137FAIL600
stmt21_5_364FAIL600
stmt50_50_205FAIL600
stmt50_50_392FAIL600
stmt21_314_409FAIL600
stmt19_78_352FAIL600
stmt19_3_313FAIL600
stmt21_258_304FAIL600
stmt31_22_328FAIL600
stmt22_139_404FAIL600
stmt19_66_261FAIL600
stmt19_368_401FAIL600
stmt19_83_266FAIL600
stmt27_16_97FAIL600
stmt21_181_258FAIL600
stmt21_218_413FAIL600
stmt21_409_413FAIL600
stmt19_313_368FAIL600
stmt44_40_387FAIL600
stmt21_70_304FAIL600
stmt21_4_354FAIL600
stmt32_24_277FAIL600
stmt19_66_133FAIL600
stmt53_118_170FAIL600
stmt19_67_83FAIL600
stmt19_2_313FAIL600
stmt22_263_361FAIL600
stmt21_252_304FAIL600
stmt44_40_162FAIL600
stmt19_177_214FAIL600
stmt53_57_346FAIL600
stmt19_2_137FAIL600
stmt21_4_310FAIL600
stmt29_21_327FAIL600
stmt19_67_257FAIL600
stmt39_107_384FAIL600
stmt19_309_412FAIL600
stmt19_313_318FAIL600
stmt22_73_92FAIL600
stmt19_133_250FAIL600
stmt19_90_309FAIL600
stmt19_3_401FAIL600
stmt21_262_319FAIL600
stmt19_214_318FAIL600
stmt21_127_181FAIL600
stmt22_92_263FAIL600
stmt19_318_412FAIL600
stmt22_182_216FAIL600
stmt19_177_261FAIL600
stmt21_215_409FAIL600
stmt19_83_250FAIL600
stmt19_90_133FAIL600
stmt19_2_401FAIL600
stmt19_352_359FAIL600
stmt19_83_302FAIL600
stmt19_133_261FAIL600
stmt22_182_305FAIL600
stmt21_91_181FAIL600
stmt22_92_404FAIL600
stmt19_3_214FAIL600
stmt22_139_182FAIL600
stmt29_21_275FAIL600
stmt85_64_65FAIL600
stmt22_85_410FAIL600
stmt19_83_217FAIL600
stmt41_36_198FAIL600
stmt47_239_340FAIL600
stmt21_79_134FAIL600
stmt22_219_268FAIL600
stmt19_66_142FAIL600
stmt19_214_261FAIL600
stmt29_226_376FAIL600
stmt19_125_302FAIL600
stmt22_263_305FAIL600
stmt21_127_413FAIL600
stmt22_73_419FAIL600
stmt21_127_258FAIL600
stmt19_90_142FAIL600
stmt41_36_160FAIL600
stmt44_110_200FAIL600
stmt21_310_314FAIL600
stmt46_43_339FAIL600
stmt19_142_217FAIL600
stmt41_198_235FAIL600
stmt41_36_336FAIL600
stmt50_50_293FAIL600
stmt85_64_122FAIL600
stmt22_92_315FAIL600
stmt41_198_286FAIL600
stmt21_360_418FAIL600
stmt19_90_125FAIL600
stmt22_139_263FAIL600
stmt52_55_117FAIL600
stmt22_72_80FAIL600
stmt21_354_369FAIL600
stmt21_360_409FAIL600
stmt21_252_310FAIL600
stmt39_35_384FAIL600
stmt21_138_304FAIL600
stmt21_143_314FAIL600
stmt19_257_266FAIL600
stmt19_66_359FAIL600
stmt19_250_368FAIL600
stmt39_35_335FAIL600
stmt19_133_266FAIL600
stmt22_6_80FAIL600
stmt19_66_217FAIL600
stmt22_144_355FAIL600
stmt32_153_277FAIL600
stmt19_137_177FAIL600
stmt19_67_368FAIL600
stmt21_252_319FAIL600
stmt19_66_180FAIL600
stmt21_403_409FAIL600
stmt41_108_160FAIL600
stmt53_296_346FAIL600
stmt21_262_418FAIL600
stmt21_134_178FAIL600
stmt21_79_304FAIL600
stmt19_66_401FAIL600
stmt21_267_310FAIL600
stmt21_84_310FAIL600
stmt21_70_138FAIL600
stmt52_244_295FAIL600
stmt19_214_302FAIL600
stmt22_6_414FAIL600
stmt21_84_127FAIL600
stmt22_92_320FAIL600
stmt21_127_360FAIL600
stmt21_178_409FAIL600
stmt21_70_258FAIL600
stmt47_112_290FAIL600
stmt21_5_218FAIL600
stmt21_310_403FAIL600
stmt19_3_408FAIL600
stmt47_290_340FAIL600
stmt21_127_319FAIL600
stmt19_2_214FAIL600
stmt21_91_369FAIL600
stmt53_118_346FAIL600
stmt50_167_343FAIL600
stmt21_71_304FAIL600
stmt21_252_364FAIL600
stmt21_218_314FAIL600
stmt41_37_286FAIL600
stmt19_137_417FAIL600
stmt39_234_384FAIL600
stmt21_79_314FAIL600
stmt19_142_266FAIL600
stmt21_138_258FAIL600
stmt44_162_237FAIL600
stmt19_177_250FAIL600
stmt21_71_409FAIL600
stmt21_143_181FAIL600
stmt19_266_313FAIL600
stmt21_143_215FAIL600
stmt50_51_293FAIL600
stmt21_84_364FAIL600
stmt50_205_392FAIL600
stmt22_263_370FAIL600
stmt21_71_134FAIL600
stmt19_309_363FAIL600
stmt21_258_360FAIL600
stmt19_125_363FAIL600
stmt19_214_217FAIL600
stmt19_214_363FAIL600
stmt21_178_267FAIL600
stmt19_133_368FAIL600
stmt19_368_412FAIL600
stmt32_101_378FAIL600
stmt19_302_318FAIL600
stmt50_115_392FAIL600
stmt19_3_261FAIL600
stmt21_5_354FAIL600
stmt19_266_417FAIL600
stmt19_257_313FAIL600
stmt32_228_277FAIL600
stmt19_214_359FAIL600
stmt21_70_310FAIL600
stmt47_202_290FAIL600
stmt44_162_338FAIL600
stmt41_198_336FAIL600
stmt21_127_354FAIL600
stmt21_127_178FAIL600
stmt19_177_313FAIL600
stmt41_160_235FAIL600
stmt52_295_394FAIL600
stmt22_263_404FAIL600
stmt19_142_309FAIL600
stmt21_354_403FAIL600
stmt22_135_311FAIL600
stmt21_181_369FAIL600
stmt22_73_268FAIL600
stmt22_80_404FAIL600
stmt22_73_128FAIL600
stmt21_258_364FAIL600
stmt21_252_267FAIL600
stmt31_23_377FAIL600
stmt19_66_363FAIL600
stmt19_78_125FAIL600
stmt21_4_134FAIL600
stmt21_71_252FAIL600
stmt19_352_408FAIL600
stmt27_16_224FAIL600
stmt21_143_409FAIL600
stmt21_84_403FAIL600
stmt46_111_238FAIL600