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

InstanceResultTime
stmt19_66_214UNSAT0.27
stmt19_180_352UNSAT0.69
stmt22_311_370UNSAT0.85
stmt19_137_408UNSAT1.65
stmt47_340_389UNSAT1.68
stmt19_352_359UNSAT2.12
stmt21_71_354UNSAT2.13
stmt21_70_369UNSAT2.53
stmt21_84_364UNSAT4.72
stmt27_149_224UNSAT4.82
stmt22_6_414UNSAT7.43
stmt21_84_215UNSAT9.64
stmt19_90_408UNSAT12.48
stmt19_133_217UNSAT42.26
stmt27_16_224UNSAT59.59
stmt21_71_413UNSAT60.59
stmt31_22_328UNSAT68.8
stmt46_289_388UNSAT91.02
stmt21_178_258UNSAT117.49
stmt21_143_403UNSAT125.94
stmt47_290_340UNSAT152.72
stmt46_111_238UNSAT160.51
stmt44_40_387UNSAT317.95
stmt41_286_385FAIL700.66
stmt50_343_392FAIL700.72
stmt21_181_218FAIL700.74
stmt29_275_376FAIL700.77
stmt53_296_346FAIL700.78
stmt31_190_227FAIL700.79
stmt53_208_245FAIL700.79
stmt52_295_394FAIL700.8
stmt31_276_328FAIL700.81
stmt19_3_401FAIL700.84
stmt19_368_417FAIL700.86
stmt85_300_399FAIL700.86
stmt19_302_352FAIL700.89
stmt41_336_385FAIL700.9
stmt21_354_403FAIL700.91
stmt22_320_370FAIL701.07