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

InstanceResultTime
stmt27_16_224UNSAT5.45
stmt22_6_414UNSAT5.56
stmt19_90_408UNSAT5.62
stmt21_71_413UNSAT5.63
stmt19_137_408UNSAT5.64
stmt21_178_258UNSAT5.7
stmt46_111_238UNSAT5.7
stmt31_22_328UNSAT5.8
stmt41_160_235UNSAT5.81
stmt19_66_214UNSAT5.85
stmt44_40_387UNSAT5.87
stmt21_84_364UNSAT5.88
stmt19_133_217UNSAT5.88
stmt21_70_369UNSAT5.89
stmt21_71_354UNSAT5.93
stmt19_3_401UNSAT5.94
stmt21_181_369UNSAT5.97
stmt19_83_412UNSAT5.99
stmt21_143_403UNSAT6
stmt29_226_376UNSAT6.23
stmt27_149_224UNSAT6.87
stmt19_352_359UNSAT7.16
stmt50_343_392UNSAT7.33
stmt21_310_360UNSAT7.41
stmt21_181_218UNSAT7.48
stmt22_311_370UNSAT7.64
stmt41_286_385UNSAT7.82
stmt52_295_394UNSAT7.86
stmt29_275_376UNSAT8.95
stmt46_289_388UNSAT9.45
stmt31_190_227UNSAT10.54
stmt53_208_245UNSAT11.31
stmt39_285_335UNSAT13.86
stmt47_340_389UNSAT14.13
stmt47_290_340UNSAT14.6
stmt19_313_412UNSAT149.48
stmt31_276_328UNSAT160.58
stmt53_296_346UNSAT163.45
stmt32_329_378UNSAT175.81
stmt41_336_385UNSAT317.92
stmt21_354_403FAIL900.01
stmt21_319_418FAIL900.01
stmt85_300_399FAIL900.03
stmt19_368_417FAIL900.05
stmt22_320_370FAIL900.05
stmt19_302_352FAIL900.07