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

InstanceResultTime
stmt21_4_5UNSAT2.28
stmt41_36_37UNSAT6.78
stmt52_54_55UNSAT30.55
stmt21_134_418FAIL38.4
stmt41_336_385FAIL46.41
stmt19_313_318FAIL46.66
stmt50_167_293FAIL48.28
stmt21_79_91UNSAT63.73
stmt21_310_360FAIL70.6
stmt52_295_394FAIL80.27
stmt19_83_302FAIL92.75
stmt21_267_310FAIL96.8
stmt19_133_257FAIL96.92
stmt19_214_309FAIL98.26
stmt19_125_302FAIL98.67
stmt19_177_302FAIL99.05
stmt21_252_310FAIL99.05
stmt19_3_309FAIL100.68
stmt19_313_412FAIL101.66
stmt53_208_245FAIL102.2
stmt19_137_313FAIL107.87
stmt21_71_304FAIL109.65
stmt21_79_314FAIL112.73
stmt29_21_275FAIL122.63
stmt32_228_277FAIL122.84
stmt27_149_224FAIL127.33
stmt31_100_276FAIL128.45
stmt32_153_277FAIL129.9
stmt19_66_90UNSAT145
stmt19_67_83UNSAT145.78
stmt19_3_78UNSAT146
stmt19_2_83UNSAT147.04
stmt19_3_83UNSAT156.1
stmt31_22_23UNSAT161
stmt22_6_80UNSAT162.91
stmt44_40_41UNSAT183.23
stmt39_34_107FAIL185.86
stmt19_66_318FAIL214.73
stmt19_90_133FAIL224.84
stmt19_261_266FAIL229.39
stmt19_217_250FAIL239.51
stmt22_92_259FAIL279.93
stmt21_70_258FAIL280.78
stmt21_143_258FAIL293.28
stmt19_142_261FAIL315.32
stmt21_127_258FAIL340.88
stmt46_163_289FAIL374.4
stmt47_239_290FAIL380.96
stmt44_40_162FAIL389.07
stmt21_71_70UNSAT416.11
stmt52_117_295FAIL481.9
stmt41_235_286FAIL548.49
stmt85_64_122FAIL597.73
stmt19_83_90UNSAT817.13
stmt19_3_177FAIL1200.12
stmt19_2_180FAIL1200.16
stmt22_179_182FAIL1200.25