Clustering Coefficients
FOF axioms:
1.00
-
PUZ001+1
exactly the same;
0.17
-
SEU140+2
rather unclustered
CNF leaves: Generally clustered.
0.23
-
SEU142+1
show different FOF-to-CNFs
CNFs: Moderately clustered.
CNF inferences generally different
Problem
FOF Axioms
CNF leaves
CNFs
CNF Inf
NUM390+1
0.86
0.67
0.30
0.04
PUZ001+1
1.00
0.92
0.35
0.09
SET914+1
0.81
0.62
0.33
0.04
SEU140+1
0.82
0.80
0.43
0.16
SEU140+2
0.17
0.49
0.31
0.04
SEU142+1
0.70
0.23
0.12
0.01
SEU303+1
0.81
0.95
0.59
0.14