h_clauses=2874
variables=1124
h_cls1=92
h_cls2=468
h_cls3=2252
h_cls4=62
h_cls5=0
h_cls6=0
h_cls7=0
h_cls8=0
h_cls9=0
h_cls10p=0
h_horn=1640
h_invhorn=1506
h_positive=114
h_negative=426
h_hornvars_mean=4.10489
h_hornvars_variance=3.58189
h_hornvars_min=0
h_hornvars_max=10
h_hornvars_entropy=0.801963
h_invhornvars_mean=3.43644
h_invhornvars_variance=4.78996
h_invhornvars_min=0
h_invhornvars_max=10
h_invhornvars_entropy=0.784769
h_balancecls_mean=0.434122
h_balancecls_variance=0.0588318
h_balancecls_min=0
h_balancecls_max=1
h_balancecls_entropy=0.449676
h_balancevars_mean=0.695464
h_balancevars_variance=0.0140843
h_balancevars_min=0.333333
h_balancevars_max=1
h_balancevars_entropy=0.0360931
s_clauses=240
s_weight_sum=240
s_cls1=240
s_cls2=0
s_cls3=0
s_cls4=0
s_cls5=0
s_cls6=0
s_cls7=0
s_cls8=0
s_cls9=0
s_cls10p=0
s_weight_mean=1
s_weight_variance=0
s_weight_min=1
s_weight_max=1
s_weight_entropy=0
h_vcg_vdegree_mean=7.13956
h_vcg_vdegree_variance=12.465
h_vcg_vdegree_min=0
h_vcg_vdegree_max=18
h_vcg_vdegree_entropy=0.664851
h_vcg_cdegree_mean=2.65639
h_vcg_cdegree_variance=0.478593
h_vcg_cdegree_min=1
h_vcg_cdegree_max=4
h_vcg_cdegree_entropy=0.602934
h_vg_degree_mean=20.6436
h_vg_degree_variance=124.885
h_vg_degree_min=0
h_vg_degree_max=57
h_vg_degree_entropy=0.633925
h_cg_degree_mean=24.8323
h_cg_degree_variance=119.417
h_cg_degree_min=3
h_cg_degree_max=72
h_cg_degree_entropy=0.839772
