Instances of family terminator solved by squeezebf+struqs
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt22_6_72UNSAT0.83
stmt27_16_97UNSAT1.13
stmt41_37_108UNSAT1.81
stmt21_5_134UNSAT1.98
stmt27_16_149UNSAT2.04
stmt52_55_117UNSAT2.07
stmt19_83_142UNSAT2.58
stmt22_73_182UNSAT3.44
stmt19_3_214UNSAT6.58
stmt19_90_266UNSAT7.43
stmt22_92_263UNSAT8.01
stmt44_41_288UNSAT9.03
stmt22_73_311UNSAT9.24
stmt21_79_304UNSAT10.19
stmt21_138_304UNSAT11.98
stmt19_67_318UNSAT13.27
stmt21_178_258UNSAT13.51
stmt50_205_293UNSAT14.56
stmt19_177_309UNSAT14.79
stmt19_217_302UNSAT15.25
stmt19_217_309UNSAT16.24
stmt21_262_319UNSAT37.62
stmt19_90_408FAIL599.71
stmt31_22_328FAIL599.71
stmt19_180_352FAIL599.71
stmt41_160_235FAIL599.71
stmt21_354_403FAIL599.71
stmt22_6_414FAIL599.71
stmt46_111_238FAIL599.71
stmt39_107_197FAIL599.71
stmt19_137_408FAIL599.71
stmt27_16_224FAIL599.71
stmt44_40_387FAIL599.71
stmt21_319_418FAIL599.71
stmt21_71_413FAIL599.71
stmt19_3_401FAIL599.71
stmt21_70_369FAIL599.71
stmt19_352_359FAIL599.71
stmt21_143_403FAIL599.71
stmt19_83_412FAIL599.71
stmt21_84_364FAIL599.71
stmt52_244_394FAIL599.71
stmt19_133_217FAIL599.71
stmt21_181_218FAIL599.71
stmt19_66_214FAIL599.71
stmt29_226_376FAIL599.71
stmt31_190_227FAIL599.71
stmt21_84_215FAIL599.71
stmt21_71_354FAIL599.81
stmt22_311_370FAIL599.81