Instances of family terminator solved by DynQBF-bloqqer-hqspre-it
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt21_84_215UNSAT1.74
stmt21_181_218UNSAT2.3
stmt53_208_245UNSAT2.34
stmt22_320_370SAT4
stmt21_354_403SAT4.92
stmt19_180_352UNSAT5.24
stmt19_368_417SAT7.3
stmt22_311_370UNSAT7.52
stmt19_137_408UNSAT11.12
stmt27_149_224UNSAT11.74
stmt21_178_258UNSAT11.79
stmt31_190_227UNSAT12.57
stmt46_111_238UNSAT12.69
stmt44_40_387UNSAT20.59
stmt19_133_217UNSAT20.97
stmt47_340_389UNSAT28.72
stmt21_70_369UNSAT29.04
stmt19_302_352SAT30.57
stmt21_84_364UNSAT30.78
stmt21_71_354UNSAT34.61
stmt85_300_399SAT46.06
stmt46_289_388UNSAT46.57
stmt19_90_408UNSAT51.37
stmt53_296_346UNSAT52.71
stmt41_286_385UNSAT55.66
stmt31_276_328UNSAT55.84
stmt19_66_214UNSAT60.15
stmt21_143_403UNSAT84.34
stmt27_16_224UNSAT105.88
stmt19_3_401UNSAT113.61
stmt47_290_340UNSAT133.91
stmt31_22_328UNSAT175.68
stmt50_343_392UNSAT184.87
stmt22_6_414UNSAT237.32
stmt29_275_376UNSAT293.47
stmt19_352_359UNSAT342.88
stmt21_71_413UNSAT579.13
stmt41_336_385UNSAT774.8
stmt52_295_394FAIL900