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

InstanceResultTime
stmt52_55_117UNSAT0.06
stmt41_37_108UNSAT0.07
stmt22_92_263UNSAT0.08
stmt21_79_304UNSAT0.08
stmt22_73_311UNSAT0.09
stmt22_73_182UNSAT0.09
stmt27_16_97UNSAT0.09
stmt27_16_149UNSAT0.1
stmt21_5_134UNSAT0.11
stmt19_67_318UNSAT0.11
stmt19_217_309UNSAT0.11
stmt50_205_293UNSAT0.11
stmt21_138_304UNSAT0.11
stmt19_90_266UNSAT0.11
stmt22_6_72UNSAT0.11
stmt19_83_142UNSAT0.11
stmt19_217_302UNSAT0.11
stmt21_262_319UNSAT0.11
stmt27_16_224UNSAT0.11
stmt19_177_309UNSAT0.11
stmt21_178_258UNSAT0.12
stmt44_41_288UNSAT0.12
stmt19_352_359UNSAT0.21
stmt22_311_370UNSAT0.21
stmt19_3_214UNSAT0.21
stmt21_70_369UNSAT0.31
stmt21_84_364UNSAT0.31
stmt29_226_376UNSAT0.41
stmt21_71_354UNSAT0.41
stmt19_180_352UNSAT0.51
stmt31_22_328UNSAT0.71
stmt44_40_387UNSAT3.11
stmt52_244_394UNSAT4.32
stmt39_107_197UNSAT20.11
stmt19_66_214UNSAT26.42
stmt21_84_215UNSAT26.71
stmt46_111_238UNSAT63.82
stmt21_71_413UNSAT159.01
stmt19_90_408UNSAT163.21
stmt19_133_217UNSAT179.81
stmt21_143_403UNSAT216.51
stmt41_160_235UNSAT295.71
stmt22_6_414UNSAT322.61
stmt19_3_401UNSAT354.01
stmt19_83_412UNSAT355.32
stmt19_137_408UNSAT372.11
stmt21_181_218UNSAT532.51
stmt21_319_418FAIL592.32
stmt21_354_403FAIL592.52
stmt31_190_227FAIL593.22