files / problems / c7-shannon / compute / q3 / hamming13_log.txt

741 B · on GitHub

blocker_hist 0:0 1:8 2:254 3:1505 4:3039 5:3712 6:3897 7:2842 8:921 9:199 10:61 11:2 12:0 13:0 14:0 15:0
caseA n=3897 best_mis=4 max_freed=14 t=0.07s
  caseB 400/3712 best_mis=4 max_freed=12 t=0.2s
  caseB 800/3712 best_mis=4 max_freed=12 t=0.4s
  caseB 1200/3712 best_mis=4 max_freed=14 t=0.5s
  caseB 1600/3712 best_mis=4 max_freed=14 t=0.7s
  caseB 2000/3712 best_mis=4 max_freed=14 t=0.8s
  caseB 2400/3712 best_mis=4 max_freed=14 t=1.0s
  caseB 2800/3712 best_mis=4 max_freed=14 t=1.1s
  caseB 3200/3712 best_mis=4 max_freed=14 t=1.3s
  caseB 3600/3712 best_mis=4 max_freed=14 t=1.4s
caseB n=1343744 best_mis=4 max_freed=14
DONE hit=0 caseA_best=4 caseB_best=4 t=1.46s
no 368 in Hamming-13 cases A+B (added vertex with 5 or 6 blockers)