Instances of family terminator solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt27_16_224UNSAT0.2
stmt21_178_258UNSAT0.27
stmt22_311_370UNSAT0.35
stmt19_352_359UNSAT0.38
stmt21_70_369UNSAT0.43
stmt21_84_364UNSAT0.45
stmt21_71_354UNSAT0.59
stmt19_180_352UNSAT0.63
stmt31_22_328UNSAT0.81
stmt44_40_387UNSAT3.45
stmt52_295_394UNSAT21.64
stmt53_296_346UNSAT26.97
stmt21_84_215UNSAT28.05
stmt19_66_214UNSAT28.15
stmt46_111_238UNSAT66.63
stmt21_181_218UNSAT74.63
stmt19_3_401UNSAT77.43
stmt22_320_370SAT78.22
stmt53_208_245UNSAT79.14
stmt19_133_217UNSAT79.16
stmt21_354_403SAT79.2
stmt85_300_399SAT79.68
stmt19_302_352SAT79.83
stmt19_368_417SAT79.92
stmt19_90_408UNSAT80.01
stmt21_143_403UNSAT80.07
stmt27_149_224UNSAT81.01
stmt22_6_414UNSAT82.01
stmt19_137_408UNSAT82.5
stmt29_275_376UNSAT83.18
stmt21_71_413UNSAT84.81
stmt31_190_227UNSAT85
stmt41_336_385FAIL888.41
stmt46_289_388FAIL889.13
stmt41_286_385FAIL889.7
stmt50_343_392FAIL890.03
stmt47_290_340FAIL890.22
stmt47_340_389FAIL890.52
stmt31_276_328FAIL890.71