Instances of family terminator solved by rareqs
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt22_6_72UNSAT0.09
stmt27_16_97UNSAT0.14
stmt27_16_149UNSAT0.2
stmt22_73_182UNSAT0.23
stmt52_55_117UNSAT0.25
stmt19_66_214UNSAT0.27
stmt39_107_197UNSAT0.28
stmt19_90_266UNSAT0.35
stmt41_37_108UNSAT0.41
stmt21_262_319UNSAT0.45
stmt21_79_304UNSAT0.48
stmt19_177_309UNSAT0.53
stmt19_217_302UNSAT0.63
stmt21_138_304UNSAT0.66
stmt19_180_352UNSAT0.69
stmt19_217_309UNSAT0.74
stmt44_41_288UNSAT0.79
stmt22_311_370UNSAT0.84
stmt19_137_408UNSAT1.15
stmt19_352_359UNSAT2.84
stmt19_90_408UNSAT3.41
stmt50_205_293UNSAT4.25
stmt21_5_134UNSAT5.28
stmt21_71_354UNSAT7.44
stmt22_92_263UNSAT7.66
stmt19_83_142UNSAT9.09
stmt19_133_217UNSAT25.14
stmt46_111_238UNSAT46.29
stmt31_22_328UNSAT46.75
stmt19_83_412UNSAT59.15
stmt19_3_214UNSAT64.29
stmt21_84_364UNSAT70.32
stmt21_178_258UNSAT71.13
stmt19_67_318UNSAT81.05
stmt21_84_215UNSAT96.65
stmt41_160_235UNSAT104.97
stmt52_244_394UNSAT127.77
stmt27_16_224UNSAT164.37
stmt21_143_403UNSAT217.39
stmt21_71_413UNSAT269.39
stmt22_73_311UNSAT304.83
stmt21_70_369FAIL599.71
stmt21_354_403FAIL599.71
stmt22_6_414FAIL599.71
stmt19_3_401FAIL599.71
stmt44_40_387FAIL599.71
stmt29_226_376FAIL599.71
stmt31_190_227FAIL599.71
stmt21_181_218FAIL599.71
stmt21_319_418FAIL599.71