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

InstanceResultTime
stmt19_66_214UNSAT0.26
stmt19_180_352UNSAT0.67
stmt22_311_370UNSAT0.82
stmt19_352_359UNSAT0.82
stmt21_71_354UNSAT1.12
stmt19_137_408UNSAT4.27
stmt46_289_388UNSAT5.53
stmt21_71_413UNSAT5.8
stmt21_70_369UNSAT10.71
stmt19_90_408UNSAT13.5
stmt19_133_217UNSAT20.13
stmt21_143_403UNSAT21.57
stmt21_84_215UNSAT22.09
stmt21_178_258UNSAT31.11
stmt27_16_224UNSAT82.43
stmt47_340_389UNSAT143.96
stmt27_149_224UNSAT145.49
stmt53_208_245UNSAT147.38
stmt31_276_328UNSAT158.17
stmt22_6_414UNSAT169.85
stmt21_84_364UNSAT231.25
stmt53_296_346UNSAT233.28
stmt46_111_238UNSAT273.81
stmt47_290_340UNSAT442.97
stmt31_190_227FAIL900
stmt41_286_385FAIL900
stmt44_40_387FAIL900
stmt19_302_352FAIL900
stmt52_295_394FAIL900
stmt19_3_401FAIL900
stmt22_320_370FAIL900
stmt19_368_417FAIL900
stmt21_181_218FAIL900
stmt29_275_376FAIL900
stmt41_336_385FAIL900
stmt31_22_328FAIL900
stmt85_300_399FAIL900
stmt21_354_403FAIL900
stmt50_343_392FAIL900