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

InstanceResultTime
stmt27_16_224UNSAT0.04
stmt21_178_258UNSAT0.1
stmt21_84_215UNSAT0.14
stmt19_133_217UNSAT0.16
stmt46_111_238UNSAT0.2
stmt19_66_214UNSAT0.2
stmt31_22_328UNSAT0.22
stmt44_40_387UNSAT0.23
stmt21_71_354UNSAT0.24
stmt19_180_352UNSAT0.25
stmt19_3_401UNSAT0.25
stmt19_90_408UNSAT0.26
stmt22_6_414UNSAT0.26
stmt21_70_369UNSAT0.26
stmt21_71_413UNSAT0.26
stmt19_137_408UNSAT0.27
stmt21_143_403UNSAT0.27
stmt21_84_364UNSAT0.27
stmt53_208_245UNSAT0.31
stmt31_190_227UNSAT0.31
stmt27_149_224UNSAT0.35
stmt21_181_218UNSAT0.37
stmt22_311_370UNSAT0.7
stmt41_286_385UNSAT1.03
stmt47_290_340UNSAT1.07
stmt19_352_359UNSAT1.16
stmt46_289_388UNSAT1.22
stmt52_295_394UNSAT1.24
stmt31_276_328UNSAT1.3
stmt29_275_376UNSAT1.34
stmt47_340_389UNSAT7.13
stmt19_368_417SAT9.75
stmt22_320_370SAT13.78
stmt53_296_346UNSAT30.26
stmt50_343_392UNSAT30.79
stmt41_336_385UNSAT33.28
stmt21_354_403FAIL900
stmt19_302_352FAIL900
stmt85_300_399FAIL900