Instances of family terminator solved by GhostQ-PG_cegar
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
stmt27_16_224UNSAT0
stmt19_66_214UNSAT0.61
stmt19_133_217UNSAT0.64
stmt46_111_238UNSAT0.64
stmt27_149_224UNSAT0.77
stmt31_22_328UNSAT0.81
stmt41_160_235UNSAT0.84
stmt31_190_227UNSAT0.89
stmt21_178_258UNSAT0.91
stmt21_71_354UNSAT0.92
stmt53_208_245UNSAT0.99
stmt44_40_387UNSAT1
stmt21_181_218UNSAT1
stmt21_70_369UNSAT1.01
stmt22_6_414UNSAT1.07
stmt21_71_413UNSAT1.08
stmt19_3_401UNSAT1.08
stmt19_90_408UNSAT1.18
stmt21_181_369UNSAT1.2
stmt21_84_364UNSAT1.2
stmt19_83_412UNSAT1.2
stmt21_143_403UNSAT1.26
stmt19_137_408UNSAT1.3
stmt29_226_376UNSAT1.32
stmt31_276_328UNSAT1.55
stmt22_311_370UNSAT1.64
stmt41_286_385UNSAT1.66
stmt19_352_359UNSAT1.78
stmt47_340_389UNSAT1.83
stmt50_343_392UNSAT1.84
stmt19_313_412UNSAT2.89
stmt21_310_360UNSAT4.38
stmt29_275_376UNSAT11.26
stmt52_295_394UNSAT21.9
stmt46_289_388UNSAT22.22
stmt41_336_385UNSAT34.17
stmt39_285_335UNSAT84.29
stmt53_296_346UNSAT157.49
stmt47_290_340UNSAT157.98
stmt32_329_378UNSAT168.27
stmt22_320_370FAIL900
stmt21_319_418FAIL900.01
stmt85_300_399FAIL900.01
stmt19_302_352FAIL900.03
stmt19_368_417FAIL900.05
stmt21_354_403FAIL900.06