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

InstanceResultTime
stmt22_6_72UNSAT0.09
stmt27_16_97UNSAT0.15
stmt27_16_149UNSAT0.2
stmt22_73_182UNSAT0.23
stmt52_55_117UNSAT0.25
stmt19_66_214UNSAT0.28
stmt39_107_197UNSAT0.29
stmt19_217_302UNSAT0.63
stmt19_180_352UNSAT0.69
stmt41_37_108UNSAT0.7
stmt22_311_370UNSAT0.84
stmt19_217_309UNSAT0.98
stmt19_352_359UNSAT1.05
stmt19_3_214UNSAT1.13
stmt44_41_288UNSAT1.21
stmt19_137_408FAIL1.52
stmt19_90_266UNSAT1.8
stmt27_16_224UNSAT2.17
stmt50_205_293UNSAT2.49
stmt21_5_134UNSAT4.6
stmt21_79_304UNSAT12.67
stmt21_70_369UNSAT19.84
stmt21_71_413UNSAT28.81
stmt19_83_142UNSAT44.38
stmt29_226_376UNSAT44.56
stmt19_177_309UNSAT48.38
stmt31_22_328FAIL60.47
stmt22_92_263FAIL60.5
stmt21_84_215FAIL60.56
stmt22_73_311FAIL60.58
stmt21_178_258FAIL60.64
stmt21_262_319FAIL60.68
stmt21_71_354FAIL60.71
stmt52_244_394FAIL60.72
stmt21_138_304FAIL60.72
stmt21_181_218FAIL60.75
stmt19_133_217FAIL60.75
stmt31_190_227FAIL60.77
stmt44_40_387FAIL60.79
stmt19_83_412FAIL60.79
stmt21_84_364FAIL60.79
stmt19_67_318FAIL60.8
stmt19_3_401FAIL60.81
stmt41_160_235FAIL60.82
stmt46_111_238FAIL60.82
stmt19_90_408FAIL60.88
stmt21_354_403FAIL60.88
stmt21_319_418FAIL60.9
stmt21_143_403FAIL60.91
stmt22_6_414FAIL60.95