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

InstanceResultTime
stmt21_178_258UNSAT0
stmt31_190_227UNSAT0
stmt21_71_354UNSAT0
stmt19_137_408UNSAT0
stmt19_83_412UNSAT0
stmt19_90_408UNSAT0
stmt31_22_328UNSAT0
stmt21_143_403UNSAT0
stmt41_160_235UNSAT0
stmt46_111_238UNSAT0
stmt21_181_369UNSAT0
stmt21_84_364UNSAT0
stmt19_133_217UNSAT0
stmt21_70_369UNSAT0
stmt53_208_245UNSAT0
stmt29_226_376UNSAT0
stmt19_66_214UNSAT0
stmt44_40_387UNSAT0
stmt21_71_413UNSAT0
stmt21_181_218UNSAT0
stmt19_3_401UNSAT0
stmt27_149_224UNSAT0
stmt22_6_414UNSAT0
stmt27_16_224UNSAT0
stmt22_311_370UNSAT0.61
stmt47_290_340UNSAT1.15
stmt41_336_385UNSAT1.19
stmt46_289_388UNSAT1.2
stmt39_285_335UNSAT1.39
stmt19_352_359UNSAT1.43
stmt19_313_412UNSAT1.45
stmt32_329_378UNSAT1.59
stmt21_319_418SAT2.66
stmt52_295_394UNSAT3.17
stmt19_368_417SAT3.48
stmt50_343_392UNSAT3.8
stmt53_296_346UNSAT5.09
stmt21_310_360UNSAT6.27
stmt22_320_370SAT6.89
stmt29_275_376UNSAT9.56
stmt41_286_385UNSAT14.56
stmt47_340_389UNSAT19.27
stmt31_276_328UNSAT23.39
stmt21_354_403SAT372.88
stmt19_302_352FAIL900.04
stmt85_300_399FAIL900.07