Instances of family terminator solved by aspq2v3
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
stmt19_66_214UNSAT0
stmt22_311_370UNSAT0.77
stmt47_340_389UNSAT1.87
stmt19_137_408UNSAT1.89
stmt19_352_359UNSAT2.27
stmt21_71_354UNSAT2.3
stmt21_70_369UNSAT2.68
stmt21_84_364UNSAT4.86
stmt27_149_224UNSAT5.07
stmt22_6_414UNSAT7.61
stmt19_90_408UNSAT12.5
stmt19_83_412UNSAT32.33
stmt19_133_217UNSAT42.62
stmt29_226_376UNSAT49.77
stmt27_16_224UNSAT59.85
stmt21_71_413UNSAT60.82
stmt31_22_328UNSAT69
stmt46_289_388UNSAT90.22
stmt21_178_258UNSAT117.66
stmt21_143_403UNSAT126.53
stmt21_181_369UNSAT143.32
stmt47_290_340UNSAT154.15
stmt46_111_238UNSAT160.45
stmt19_313_412UNSAT199.89
stmt44_40_387UNSAT321.95
stmt21_310_360UNSAT325.78
stmt52_295_394FAIL900.02
stmt50_343_392FAIL900.02
stmt85_300_399FAIL900.02
stmt31_190_227FAIL900.03
stmt21_319_418FAIL900.03
stmt32_329_378FAIL900.03
stmt21_181_218FAIL900.03
stmt22_320_370FAIL900.03
stmt53_208_245FAIL900.04
stmt21_354_403FAIL900.04
stmt19_3_401FAIL900.05
stmt31_276_328FAIL900.05
stmt29_275_376FAIL900.05
stmt39_285_335FAIL900.06
stmt41_286_385FAIL900.06
stmt41_336_385FAIL900.06
stmt41_160_235FAIL900.06
stmt19_302_352FAIL900.08
stmt53_296_346FAIL900.08
stmt19_368_417FAIL900.09