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

InstanceResultTime
stmt22_6_72UNSAT0.26
stmt27_16_149UNSAT0.37
stmt27_16_97UNSAT0.37
stmt41_37_108UNSAT0.37
stmt19_83_142UNSAT0.42
stmt27_16_224UNSAT0.43
stmt19_3_214UNSAT0.46
stmt22_73_182UNSAT0.59
stmt19_90_266UNSAT0.7
stmt22_92_263UNSAT0.71
stmt19_67_318UNSAT0.74
stmt22_73_311UNSAT0.77
stmt52_55_117UNSAT0.87
stmt44_41_288UNSAT0.91
stmt21_178_258UNSAT0.93
stmt21_70_369UNSAT0.94
stmt21_71_413UNSAT1.04
stmt21_71_354UNSAT1.05
stmt31_22_328UNSAT1.17
stmt21_143_403UNSAT1.19
stmt19_180_352UNSAT1.39
stmt19_217_302UNSAT1.53
stmt19_90_408UNSAT1.82
stmt19_66_214UNSAT1.9
stmt19_3_401UNSAT2
stmt52_244_394UNSAT2.02
stmt21_79_304UNSAT2.43
stmt29_226_376UNSAT2.58
stmt21_262_319UNSAT2.66
stmt50_205_293UNSAT4.79
stmt21_138_304UNSAT6.27
stmt39_107_197UNSAT7.9
stmt44_40_387UNSAT10.05
stmt19_137_408UNSAT35.58
stmt22_6_414UNSAT48.76
stmt21_5_134UNSAT68.91
stmt19_83_412UNSAT88.95
stmt46_111_238UNSAT274.88
stmt19_217_309UNSAT301.71
stmt19_177_309UNSAT314.19
stmt19_133_217UNSAT570.03
stmt21_84_215UNSAT594.12
stmt22_311_370FAIL599.71
stmt31_190_227FAIL599.81
stmt21_181_218FAIL599.81
stmt21_354_403FAIL599.81
stmt21_319_418FAIL599.81
stmt41_160_235FAIL599.81
stmt21_84_364FAIL599.82
stmt19_352_359FAIL599.82