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

InstanceResultTime
stmt19_66_214UNSAT0
stmt21_70_369UNSAT0.53
stmt22_311_370UNSAT0.76
stmt21_71_354UNSAT0.95
stmt19_137_408UNSAT0.98
stmt21_143_403UNSAT1.07
stmt19_352_359UNSAT1.5
stmt46_289_388UNSAT2.7
stmt19_90_408UNSAT10.79
stmt19_133_217UNSAT16.66
stmt21_178_258UNSAT20.18
stmt39_285_335UNSAT22.8
stmt27_16_224UNSAT38.37
stmt44_40_387UNSAT46.44
stmt21_84_364UNSAT47.48
stmt29_226_376UNSAT48.47
stmt19_83_412UNSAT49.7
stmt27_149_224UNSAT52.9
stmt21_71_413UNSAT67.1
stmt53_208_245UNSAT76.56
stmt41_160_235UNSAT83.17
stmt41_336_385UNSAT91.78
stmt31_276_328UNSAT134.63
stmt22_6_414UNSAT237.28
stmt21_181_218UNSAT238.12
stmt46_111_238UNSAT246.34
stmt47_290_340UNSAT273.5
stmt47_340_389UNSAT353.26
stmt21_181_369UNSAT495.88
stmt29_275_376UNSAT616.82
stmt53_296_346UNSAT694.72
stmt85_300_399FAIL900.01
stmt31_22_328FAIL900.02
stmt31_190_227FAIL900.02
stmt21_319_418FAIL900.03
stmt41_286_385FAIL900.04
stmt50_343_392FAIL900.05
stmt19_302_352FAIL900.05
stmt21_310_360FAIL900.06
stmt19_3_401FAIL900.06
stmt22_320_370FAIL900.06
stmt52_295_394FAIL900.07
stmt19_313_412FAIL900.07
stmt19_368_417FAIL900.07
stmt32_329_378FAIL900.08
stmt21_354_403FAIL900.08