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

InstanceResultTime
stmt21_178_258UNSAT0
stmt27_16_224UNSAT0
stmt21_71_354UNSAT0.01
stmt21_70_369UNSAT0.01
stmt21_84_364UNSAT0.01
stmt29_226_376UNSAT0.01
stmt21_181_369UNSAT0.01
stmt22_311_370UNSAT0.02
stmt19_352_359UNSAT0.02
stmt31_22_328UNSAT0.6
stmt44_40_387UNSAT3.22
stmt21_310_360UNSAT26.51
stmt19_66_214UNSAT30.56
stmt46_111_238UNSAT68.7
stmt21_71_413UNSAT171.96
stmt19_90_408UNSAT173.67
stmt27_149_224UNSAT175.35
stmt19_133_217UNSAT191.25
stmt21_143_403UNSAT238.07
stmt19_313_412UNSAT264.49
stmt41_160_235UNSAT294.19
stmt22_6_414UNSAT340.24
stmt19_83_412UNSAT374.54
stmt19_3_401UNSAT380.83
stmt19_137_408UNSAT405.22
stmt21_181_218UNSAT567.14
stmt53_208_245UNSAT657.36
stmt31_276_328FAIL900
stmt41_286_385FAIL900
stmt46_289_388FAIL900
stmt29_275_376FAIL900.01
stmt39_285_335FAIL900.01
stmt41_336_385FAIL900.01
stmt22_320_370FAIL900.02
stmt53_296_346FAIL900.02
stmt19_368_417FAIL900.02
stmt47_340_389FAIL900.03
stmt21_354_403FAIL900.05
stmt47_290_340FAIL900.06
stmt85_300_399FAIL900.06
stmt19_302_352FAIL900.06
stmt21_319_418FAIL900.07
stmt31_190_227FAIL900.08
stmt32_329_378FAIL900.08
stmt50_343_392FAIL900.08
stmt52_295_394FAIL900.1