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

InstanceResultTime
stmt21_84_215UNSAT1.65
stmt21_181_218UNSAT2.23
stmt53_208_245UNSAT2.39
stmt22_320_370SAT4.03
stmt21_354_403SAT4.85
stmt21_71_354UNSAT5.98
stmt19_180_352UNSAT6.27
stmt19_352_359UNSAT6.69
stmt31_190_227UNSAT7.68
stmt46_111_238UNSAT8.4
stmt27_16_224UNSAT8.94
stmt19_137_408UNSAT14.91
stmt21_84_364UNSAT15.89
stmt19_133_217UNSAT17.84
stmt19_302_352SAT20.02
stmt22_311_370UNSAT22.11
stmt19_368_417SAT24.78
stmt27_149_224UNSAT26.29
stmt31_22_328UNSAT26.81
stmt19_66_214UNSAT35.61
stmt53_296_346UNSAT38.32
stmt85_300_399SAT40.86
stmt21_143_403UNSAT43.88
stmt47_340_389UNSAT47.6
stmt19_90_408UNSAT56.35
stmt47_290_340UNSAT58.4
stmt21_71_413UNSAT61.4
stmt21_178_258UNSAT66.14
stmt41_286_385UNSAT68.87
stmt44_40_387UNSAT98.63
stmt21_70_369UNSAT101.84
stmt46_289_388UNSAT105.69
stmt31_276_328UNSAT108.13
stmt22_6_414UNSAT133.78
stmt19_3_401UNSAT157.67
stmt41_336_385UNSAT217.18
stmt50_343_392UNSAT282.97
stmt52_295_394UNSAT375.61
stmt29_275_376FAIL900