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

InstanceResultTime
stmt22_6_72UNSAT0.28
stmt27_16_97UNSAT0.38
stmt41_37_108UNSAT0.4
stmt27_16_224UNSAT0.44
stmt19_83_142UNSAT0.44
stmt19_90_266UNSAT0.69
stmt22_92_263UNSAT0.73
stmt22_73_182UNSAT0.75
stmt21_71_354UNSAT0.94
stmt31_22_328UNSAT0.97
stmt21_178_258UNSAT1.02
stmt21_138_304UNSAT1.11
stmt21_143_403UNSAT1.17
stmt21_70_369UNSAT1.26
stmt19_67_318UNSAT1.29
stmt21_71_413UNSAT1.3
stmt46_111_238UNSAT1.3
stmt22_73_311UNSAT1.33
stmt52_55_117UNSAT1.37
stmt44_40_387UNSAT1.62
stmt27_16_149UNSAT1.67
stmt52_244_394UNSAT1.79
stmt21_79_304UNSAT2.01
stmt19_180_352UNSAT2.23
stmt19_90_408UNSAT2.4
stmt21_262_319UNSAT2.48
stmt19_217_302UNSAT3.86
stmt50_205_293UNSAT4.18
stmt19_3_401UNSAT5.38
stmt44_41_288UNSAT7.75
stmt19_217_309UNSAT19.21
stmt39_107_197UNSAT22.75
stmt22_6_414UNSAT51.69
stmt19_133_217UNSAT64.42
stmt21_84_215UNSAT96.43
stmt29_226_376UNSAT110.72
stmt19_3_214UNSAT317.12
stmt21_5_134UNSAT407.51
stmt19_177_309UNSAT499.04
stmt19_83_412FAIL599.71
stmt21_354_403FAIL599.71
stmt21_84_364FAIL599.71
stmt21_319_418FAIL599.71
stmt22_311_370FAIL599.71
stmt41_160_235FAIL599.81
stmt19_137_408FAIL599.81
stmt31_190_227FAIL599.81
stmt19_66_214FAIL599.81
stmt19_352_359FAIL599.81
stmt21_181_218FAIL599.81