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

InstanceResultTime
stmt22_6_72UNSAT0.16
stmt27_16_149UNSAT0.19
stmt27_16_97UNSAT0.22
stmt19_83_142UNSAT0.25
stmt21_5_134UNSAT0.28
stmt22_92_263UNSAT0.61
stmt22_73_311UNSAT0.65
stmt44_41_288UNSAT0.65
stmt21_178_258UNSAT0.82
stmt50_205_293UNSAT0.95
stmt19_177_309UNSAT0.96
stmt19_217_309UNSAT1.07
stmt41_37_108UNSAT16.58
stmt52_55_117UNSAT37.68
stmt19_133_217UNSAT75.56
stmt22_73_182UNSAT90.43
stmt19_3_214UNSAT109.61
stmt27_16_224UNSAT116.19
stmt21_84_215UNSAT160.09
stmt19_66_214UNSAT166.3
stmt31_22_328UNSAT168.99
stmt39_107_197UNSAT328.56
stmt19_90_266UNSAT373.57
stmt46_111_238UNSAT389.44
stmt41_160_235UNSAT555.26
stmt21_138_304FAIL599.71
stmt21_181_218FAIL599.71
stmt21_71_413FAIL599.71
stmt19_217_302FAIL599.71
stmt31_190_227FAIL599.71
stmt19_3_401FAIL599.71
stmt21_79_304FAIL599.71
stmt21_70_369FAIL599.71
stmt22_311_370FAIL599.71
stmt44_40_387FAIL599.71
stmt19_352_359FAIL599.71
stmt19_83_412FAIL599.71
stmt21_143_403FAIL599.71
stmt21_84_364FAIL599.71
stmt52_244_394FAIL599.71
stmt22_6_414FAIL599.71
stmt19_137_408FAIL599.71
stmt19_180_352FAIL599.71
stmt21_319_418FAIL599.71
stmt21_262_319FAIL599.71
stmt21_354_403FAIL599.71
stmt21_71_354FAIL599.71
stmt19_90_408FAIL599.81
stmt29_226_376FAIL599.81
stmt19_67_318FAIL599.81