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

InstanceResultTime
stmt19_83_90UNSAT2.06
stmt21_4_5UNSAT3.19
stmt21_127_258UNSAT5.77
stmt19_142_261UNSAT6.05
stmt21_70_258UNSAT6.18
stmt21_143_258UNSAT6.27
stmt19_133_257UNSAT6.36
stmt19_261_266UNSAT6.44
stmt19_217_250UNSAT6.6
stmt22_92_259UNSAT6.67
stmt52_117_295UNSAT6.83
stmt50_167_293UNSAT7.15
stmt29_21_275UNSAT7.21
stmt32_228_277UNSAT7.48
stmt32_153_277UNSAT7.52
stmt31_100_276UNSAT7.56
stmt41_36_37UNSAT8.42
stmt46_163_289UNSAT8.52
stmt19_66_318UNSAT8.58
stmt19_177_302UNSAT8.64
stmt19_125_302UNSAT8.75
stmt47_239_290UNSAT8.84
stmt19_83_302UNSAT9.07
stmt19_214_309UNSAT9.27
stmt21_79_314UNSAT9.48
stmt41_235_286UNSAT9.55
stmt19_137_313UNSAT9.82
stmt44_40_41UNSAT18.11
stmt31_22_23UNSAT23.26
stmt21_134_418UNSAT30.68
stmt52_54_55UNSAT39.53
stmt19_2_83UNSAT82.37
stmt22_6_80UNSAT82.77
stmt19_3_78UNSAT332.73
stmt19_3_83FAIL704.96
stmt19_2_180FAIL1159.48
stmt21_79_91FAIL1177.17
stmt21_71_70FAIL1191.32
stmt19_3_309FAIL1200
stmt39_34_107FAIL1200
stmt52_295_394FAIL1200
stmt21_310_360FAIL1200
stmt21_252_310FAIL1200
stmt21_267_310FAIL1200
stmt19_313_412FAIL1200
stmt22_179_182FAIL1200
stmt41_336_385FAIL1200
stmt27_149_224FAIL1200
stmt19_66_90FAIL1200
stmt21_71_304FAIL1200
stmt53_208_245FAIL1200
stmt19_313_318FAIL1200
stmt85_64_122FAIL1200
stmt19_90_133FAIL1200
stmt19_3_177FAIL1200
stmt19_67_83FAIL1200
stmt44_40_162FAIL1200