Instances of family terminator solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt21_84_215UNSAT1.73
stmt21_181_218UNSAT2.27
stmt53_208_245UNSAT2.35
stmt22_320_370SAT4.12
stmt21_354_403SAT4.97
stmt47_340_389FAIL900
stmt21_70_369FAIL900
stmt27_149_224FAIL900
stmt19_3_401FAIL900
stmt52_295_394FAIL900
stmt19_302_352FAIL900
stmt21_71_413FAIL900
stmt44_40_387FAIL900
stmt19_66_214FAIL900
stmt22_311_370FAIL900
stmt41_286_385FAIL900
stmt31_190_227FAIL900
stmt47_290_340FAIL900
stmt19_352_359FAIL900
stmt46_111_238FAIL900
stmt46_289_388FAIL900
stmt50_343_392FAIL900
stmt22_6_414FAIL900
stmt21_178_258FAIL900
stmt53_296_346FAIL900
stmt19_180_352FAIL900
stmt85_300_399FAIL900
stmt31_22_328FAIL900
stmt41_336_385FAIL900
stmt31_276_328FAIL900
stmt19_90_408FAIL900
stmt19_368_417FAIL900
stmt19_137_408FAIL900
stmt27_16_224FAIL900
stmt21_143_403FAIL900
stmt21_84_364FAIL900
stmt19_133_217FAIL900
stmt29_275_376FAIL900
stmt21_71_354FAIL900