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

InstanceResultTime
stmt27_16_224UNSAT0.52
stmt19_66_214UNSAT0.58
stmt19_133_217UNSAT0.64
stmt46_111_238UNSAT0.67
stmt31_22_328UNSAT0.77
stmt21_181_218UNSAT0.77
stmt27_149_224UNSAT0.8
stmt21_178_258UNSAT0.9
stmt41_160_235UNSAT0.9
stmt21_71_354UNSAT0.93
stmt44_40_387UNSAT0.97
stmt22_6_414UNSAT0.99
stmt21_70_369UNSAT1.01
stmt53_208_245UNSAT1.06
stmt21_84_364UNSAT1.07
stmt21_71_413UNSAT1.07
stmt19_3_401UNSAT1.08
stmt19_90_408UNSAT1.16
stmt31_190_227UNSAT1.17
stmt21_181_369UNSAT1.2
stmt19_83_412UNSAT1.21
stmt21_143_403UNSAT1.24
stmt19_137_408UNSAT1.25
stmt29_226_376UNSAT1.31
stmt22_311_370UNSAT1.57
stmt19_352_359UNSAT1.77
stmt19_313_412UNSAT1.79
stmt47_290_340UNSAT1.82
stmt41_336_385UNSAT1.86
stmt21_310_360UNSAT1.86
stmt53_296_346UNSAT1.9
stmt46_289_388UNSAT4.52
stmt52_295_394UNSAT4.63
stmt29_275_376UNSAT6.76
stmt47_340_389UNSAT6.85
stmt50_343_392UNSAT7.08
stmt39_285_335UNSAT9.47
stmt32_329_378UNSAT13.11
stmt41_286_385UNSAT24.06
stmt22_320_370SAT124.32
stmt21_319_418SAT125.99
stmt19_368_417SAT162.04
stmt31_276_328UNSAT365.78
stmt19_302_352FAIL900.01
stmt85_300_399FAIL900.01
stmt21_354_403FAIL900.05