Instances of family terminator solved by qesto
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt19_66_214UNSAT0.27
stmt27_16_224UNSAT0.57
stmt21_84_215UNSAT0.57
stmt19_133_217UNSAT0.66
stmt19_90_408UNSAT0.69
stmt19_180_352UNSAT0.7
stmt22_311_370UNSAT0.84
stmt19_352_359UNSAT2.21
stmt21_71_354UNSAT7.04
stmt19_137_408UNSAT7.56
stmt29_275_376UNSAT9.13
stmt31_22_328UNSAT11.69
stmt46_111_238UNSAT19.07
stmt22_6_414UNSAT56.81
stmt21_71_413UNSAT66.18
stmt21_70_369UNSAT72.76
stmt53_296_346UNSAT91.79
stmt21_178_258UNSAT128.65
stmt21_84_364UNSAT160.35
stmt31_276_328UNSAT187.38
stmt46_289_388UNSAT268.09
stmt41_336_385UNSAT328.33
stmt44_40_387UNSAT404.06
stmt27_149_224UNSAT825.28
stmt47_290_340FAIL900
stmt31_190_227FAIL900
stmt53_208_245FAIL900
stmt41_286_385FAIL900
stmt19_302_352FAIL900
stmt52_295_394FAIL900
stmt19_3_401FAIL900
stmt50_343_392FAIL900
stmt21_143_403FAIL900
stmt21_181_218FAIL900
stmt22_320_370FAIL900
stmt47_340_389FAIL900
stmt19_368_417FAIL900
stmt85_300_399FAIL900
stmt21_354_403FAIL900