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

InstanceResultTime
stmt22_6_72UNSAT0.71
stmt27_16_97UNSAT0.91
stmt41_37_108UNSAT1.31
stmt52_55_117UNSAT1.41
stmt21_5_134UNSAT1.41
stmt22_73_182UNSAT1.91
stmt44_41_288UNSAT1.91
stmt27_16_149UNSAT1.91
stmt19_83_142UNSAT2.12
stmt19_3_214UNSAT2.12
stmt39_107_197UNSAT2.22
stmt19_66_214UNSAT2.31
stmt19_67_318UNSAT2.31
stmt27_16_224UNSAT2.31
stmt22_92_263UNSAT2.51
stmt19_133_217UNSAT2.61
stmt19_90_266UNSAT2.61
stmt21_79_304UNSAT2.71
stmt44_40_387UNSAT2.71
stmt21_84_215UNSAT2.71
stmt21_138_304UNSAT2.81
stmt22_73_311UNSAT2.91
stmt46_111_238UNSAT3.01
stmt19_217_309UNSAT3.11
stmt50_205_293UNSAT3.41
stmt19_217_302UNSAT3.41
stmt31_22_328UNSAT3.51
stmt29_226_376UNSAT3.51
stmt22_6_414UNSAT3.61
stmt19_177_309UNSAT3.61
stmt19_3_401UNSAT3.61
stmt41_160_235UNSAT3.61
stmt21_262_319UNSAT3.81
stmt21_178_258UNSAT3.81
stmt21_143_403UNSAT3.91
stmt21_84_364UNSAT4.01
stmt19_137_408UNSAT4.11
stmt21_71_413UNSAT4.32
stmt19_180_352UNSAT4.51
stmt22_311_370UNSAT4.52
stmt21_71_354UNSAT5.11
stmt19_352_359UNSAT5.52
stmt21_70_369UNSAT6.11
stmt52_244_394UNSAT6.91
stmt19_90_408UNSAT9.51
stmt31_190_227UNSAT16.11
stmt19_83_412UNSAT22.81
stmt21_181_218UNSAT195.21
stmt21_319_418FAIL593.62
stmt21_354_403FAIL593.94