Instances of family terminator solved by ghostq-cegar
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt27_16_224UNSAT0.43
stmt21_71_354UNSAT0.93
stmt31_22_328UNSAT0.95
stmt21_178_258UNSAT1
stmt21_143_403UNSAT1.16
stmt21_70_369UNSAT1.22
stmt21_71_413UNSAT1.28
stmt46_111_238UNSAT1.29
stmt44_40_387UNSAT1.59
stmt19_180_352UNSAT2.2
stmt19_90_408UNSAT2.37
stmt19_3_401UNSAT5.34
stmt22_6_414UNSAT52.68
stmt19_133_217UNSAT65.67
stmt21_84_215UNSAT97.36
stmt27_149_224UNSAT161.46
stmt19_66_214UNSAT881.21
stmt47_290_340UNSAT885.08
stmt29_275_376FAIL900
stmt21_181_218FAIL900
stmt21_84_364FAIL900
stmt46_289_388FAIL900
stmt50_343_392FAIL900
stmt21_354_403FAIL900
stmt53_296_346FAIL900
stmt85_300_399FAIL900
stmt41_336_385FAIL900
stmt31_276_328FAIL900
stmt19_368_417FAIL900
stmt19_137_408FAIL900
stmt19_352_359FAIL900
stmt47_340_389FAIL900
stmt22_320_370FAIL900
stmt52_295_394FAIL900
stmt19_302_352FAIL900
stmt22_311_370FAIL900
stmt41_286_385FAIL900
stmt53_208_245FAIL900
stmt31_190_227FAIL900