Instances of family terminator solved by Caqe-bloqqer-qdo
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
stmt19_133_217UNSAT3.01
stmt31_22_328UNSAT4.41
stmt19_352_359UNSAT5.41
stmt21_178_258UNSAT5.97
stmt27_149_224UNSAT7.15
stmt47_340_389UNSAT10.98
stmt19_137_408UNSAT31.91
stmt19_3_401UNSAT32.29
stmt21_181_369UNSAT33.29
stmt29_226_376UNSAT45.18
stmt46_289_388UNSAT46.46
stmt31_276_328UNSAT48.04
stmt53_296_346UNSAT53.62
stmt32_329_378UNSAT58.72
stmt19_90_408UNSAT61.29
stmt22_311_370UNSAT61.82
stmt29_275_376UNSAT64.78
stmt21_70_369UNSAT71.81
stmt41_286_385UNSAT74.49
stmt31_190_227UNSAT80.4
stmt50_343_392UNSAT112.92
stmt19_83_412UNSAT115.93
stmt47_290_340UNSAT116.36
stmt19_313_412UNSAT118.17
stmt21_71_413UNSAT126.71
stmt21_143_403UNSAT128.79
stmt22_6_414UNSAT131.26
stmt39_285_335UNSAT169.75
stmt21_84_364UNSAT228.23
stmt27_16_224UNSAT229.77
stmt41_336_385UNSAT294.18
stmt21_310_360UNSAT628.55
stmt19_302_352FAIL900.01
stmt46_111_238FAIL900.01
stmt85_300_399FAIL900.01
stmt22_320_370FAIL900.02
stmt19_66_214FAIL900.02
stmt21_354_403FAIL900.03
stmt21_71_354FAIL900.03
stmt44_40_387FAIL900.03
stmt21_319_418FAIL900.05
stmt52_295_394FAIL900.05
stmt41_160_235FAIL900.05
stmt19_368_417FAIL900.06
stmt21_181_218FAIL900.08
stmt53_208_245FAIL900.1