ref_F3_c3_plusK1_n37.json: n=37 |E|=263 w=30 m=n-w=7 mindeg=0 isolated=1 connected(non-isolated part)=True | SAT 3-col=True, 2-col=False => chi=3; omega=3; DSATUR uses 3 | ceil(floor(w/2)/(n-w))=ceil(15/7)=3; Melnikov chi>3? False; (2chi-1)m=35 vs n-1=36
ref_F4_c3_plusK1_n51.json: n=51 |E|=543 w=44 m=n-w=7 mindeg=0 isolated=1 connected(non-isolated part)=True | SAT 4-col=True, 3-col=False => chi=4; omega=4; DSATUR uses 4 | ceil(floor(w/2)/(n-w))=ceil(22/7)=4; Melnikov chi>4? False; (2chi-1)m=49 vs n-1=50
ref_F3_c4_n57.json: n=57 |E|=656 w=46 m=n-w=11 mindeg=1 isolated=0 connected(non-isolated part)=True | SAT 3-col=True, 2-col=False => chi=3; omega=3; DSATUR uses 3 | ceil(floor(w/2)/(n-w))=ceil(23/11)=3; Melnikov chi>3? False; (2chi-1)m=55 vs n-1=56
ref_F5_c3_plusK1_n65.json: n=65 |E|=921 w=58 m=n-w=7 mindeg=0 isolated=1 connected(non-isolated part)=True | SAT 5-col=True, 4-col=False => chi=5; omega=5; DSATUR uses 5 | ceil(floor(w/2)/(n-w))=ceil(29/7)=5; Melnikov chi>5? False; (2chi-1)m=63 vs n-1=64
ref_F4_c4_n79.json: n=79 |E|=1349 w=68 m=n-w=11 mindeg=1 isolated=0 connected(non-isolated part)=True | SAT 4-col=True, 3-col=False => chi=4; omega=4; DSATUR uses 4 | ceil(floor(w/2)/(n-w))=ceil(34/11)=4; Melnikov chi>4? False; (2chi-1)m=77 vs n-1=78
ref_F3_c3_n36.json: n=36 |E|=263 w=29 m=n-w=7 mindeg=1 isolated=0 connected(non-isolated part)=True | SAT 3-col=True, 2-col=False => chi=3; omega=3; DSATUR uses 3 | ceil(floor(w/2)/(n-w))=ceil(14/7)=2; Melnikov chi>2? True; (2chi-1)m=35 vs n-1=35
chi == k == omega for all: True
