Instances of family terminator solved by areqs
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_217_302UNSAT0.63
stmt19_180_352UNSAT0.69
stmt22_311_370UNSAT0.84
stmt44_41_288UNSAT1.35
stmt22_92_263UNSAT1.39
stmt21_79_304UNSAT1.49
stmt19_3_401UNSAT1.52
stmt21_71_354UNSAT1.58
stmt19_90_266UNSAT1.86
stmt19_67_318UNSAT1.99
stmt41_37_108UNSAT2.04
stmt19_83_142UNSAT2.36
stmt44_40_387UNSAT2.55
stmt21_71_413UNSAT2.73
stmt50_205_293UNSAT4.09
stmt22_73_311UNSAT4.52
stmt52_244_394UNSAT5.46
stmt21_143_403UNSAT5.67
stmt31_22_328UNSAT8.57
stmt19_90_408UNSAT12.02
stmt21_138_304UNSAT51.9
stmt21_70_369UNSAT68.41
stmt21_319_418FAIL599.71
stmt21_181_218FAIL599.71
stmt27_16_224FAIL599.71
stmt19_137_408FAIL599.71
stmt19_3_214FAIL599.71
stmt41_160_235FAIL599.71
stmt21_354_403FAIL599.71
stmt21_178_258FAIL599.71
stmt21_84_215FAIL599.71
stmt19_83_412FAIL599.71
stmt21_5_134FAIL599.71
stmt19_133_217FAIL599.71
stmt19_217_309FAIL599.71
stmt29_226_376FAIL599.71
stmt19_352_359FAIL599.71
stmt46_111_238FAIL599.81
stmt21_84_364FAIL599.81
stmt22_6_414FAIL599.81
stmt31_190_227FAIL599.81
stmt21_262_319FAIL599.81
stmt19_177_309FAIL599.82