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

InstanceResultTime
stmt19_66_214UNSAT0
stmt21_181_369UNSAT0
stmt31_22_328UNSAT0.37
stmt21_71_354UNSAT0.49
stmt21_70_369UNSAT0.51
stmt44_40_387UNSAT0.53
stmt31_276_328UNSAT0.53
stmt29_226_376UNSAT0.6
stmt19_90_408UNSAT0.61
stmt21_71_413UNSAT0.63
stmt21_143_403UNSAT0.64
stmt19_352_359UNSAT0.66
stmt39_285_335UNSAT0.68
stmt22_6_414UNSAT0.68
stmt46_289_388UNSAT0.7
stmt22_311_370UNSAT0.81
stmt21_84_364UNSAT0.89
stmt53_296_346UNSAT0.89
stmt19_137_408UNSAT0.96
stmt19_83_412UNSAT1.07
stmt19_3_401UNSAT1.21
stmt47_290_340UNSAT1.38
stmt19_133_217UNSAT1.6
stmt19_313_412UNSAT1.61
stmt21_310_360UNSAT1.68
stmt29_275_376UNSAT1.8
stmt52_295_394UNSAT1.97
stmt47_340_389UNSAT3.89
stmt32_329_378UNSAT3.9
stmt46_111_238UNSAT4.01
stmt41_160_235UNSAT4.69
stmt41_336_385UNSAT6.49
stmt27_149_224UNSAT27.57
stmt21_178_258UNSAT91.47
stmt27_16_224UNSAT108.38
stmt41_286_385FAIL480.26
stmt21_319_418FAIL531.44
stmt19_368_417FAIL539.54
stmt50_343_392FAIL581.28
stmt21_354_403FAIL590.39
stmt19_302_352FAIL595.12
stmt21_181_218FAIL595.95
stmt31_190_227FAIL597.7
stmt85_300_399FAIL645.95
stmt53_208_245FAIL662.05
stmt22_320_370FAIL710.66