graph,grammar,num_reachable_pairs
airflow,prov_derivation.cnf,91350
apache,c_alias.cnf,92806768
arch,c_alias.cnf,5339563
atom,nested_parentheses_subClassOf.cnf,2
atom,nested_parentheses_subClassOf_type.cnf,6
atom,nested_parentheses_type.cnf,4
avrora,java_points_to.cnf,192790
batik,java_points_to.cnf,868368
biomedical,nested_parentheses_subClassOf.cnf,43
biomedical,nested_parentheses_subClassOf_type.cnf,47
biomedical,nested_parentheses_type.cnf,4
block,c_alias.cnf,5351409
bzip,c_alias.cnf,315
cactus,vf.cnf,47806209
cactus_field_sensitive_alias,aa.cnf,37625324
celery,prov_derivation.cnf,25306
click,prov_derivation.cnf,2710
commons_io,java_points_to.cnf,24020
commons_lang3,java_points_to.cnf,27553
core,nested_parentheses_subClassOf.cnf,143
core,nested_parentheses_subClassOf_type.cnf,204
core,nested_parentheses_type.cnf,61
crypto,c_alias.cnf,5428237
django,prov_derivation.cnf,615946
drivers,c_alias.cnf,18825025
eclass,nested_parentheses_subClassOf.cnf,90988
eclass,nested_parentheses_subClassOf_type.cnf,90994
eclass,nested_parentheses_type.cnf,6
eclipse,java_points_to.cnf,378989
enzyme,nested_parentheses_broaderTransitive.cnf,14267542
enzyme,nested_parentheses_subClassOf.cnf,394
enzyme,nested_parentheses_subClassOf_type.cnf,396
enzyme,nested_parentheses_type.cnf,3
fastapi,prov_derivation.cnf,8814
flask,prov_derivation.cnf,8062
foaf,nested_parentheses_subClassOf.cnf,7
foaf,nested_parentheses_subClassOf_type.cnf,36
foaf,nested_parentheses_type.cnf,29
fop,java_points_to.cnf,1984072
fs,c_alias.cnf,9646475
funding,nested_parentheses_subClassOf.cnf,27
funding,nested_parentheses_subClassOf_type.cnf,58
funding,nested_parentheses_type.cnf,31
generations,nested_parentheses_subClassOf.cnf,0
generations,nested_parentheses_subClassOf_type.cnf,12
generations,nested_parentheses_type.cnf,12
geospecies,nested_parentheses_broaderTransitive.cnf,226669749
geospecies,nested_parentheses_subClassOf.cnf,0
geospecies,nested_parentheses_subClassOf_type.cnf,85
geospecies,nested_parentheses_type.cnf,85
go,nested_parentheses_subClassOf.cnf,640305
go,nested_parentheses_subClassOf_type.cnf,640316
go,nested_parentheses_type.cnf,9
go_hierarchy,nested_parentheses_subClassOf.cnf,588976
go_hierarchy,nested_parentheses_subClassOf_type.cnf,588976
go_hierarchy,nested_parentheses_type.cnf,0
gson,java_points_to.cnf,56325
guava,java_points_to.cnf,26384496
gzip,c_alias.cnf,1458
h2,java_points_to.cnf,2611022
httpx,prov_derivation.cnf,4408
imagick,vf.cnf,12687034
imagick_field_sensitive_alias,aa.cnf,369956094
init,c_alias.cnf,3783769
ipc,c_alias.cnf,5249389
itsdangerous,prov_derivation.cnf,2912
jackson,java_points_to.cnf,3108775
jiaozi,name_resolution.cnf,14435
jinja,prov_derivation.cnf,7436
jsonpath,name_resolution.cnf,59764
junit5,java_points_to.cnf,129598
jython,java_points_to.cnf,561720
kernel,c_alias.cnf,16747731
leela,vf.cnf,662466
leela_field_sensitive_alias,aa.cnf,3968276
lib,c_alias.cnf,5276303
libgdx,name_resolution.cnf,
ls,c_alias.cnf,854
luindex,java_points_to.cnf,176051
lusearch,java_points_to.cnf,43719
mm,c_alias.cnf,3990305
mockito,java_points_to.cnf,16169
nab,vf.cnf,739646
nab_field_sensitive_alias,aa.cnf,262566
net,c_alias.cnf,8833403
omnetpp,vf.cnf,8424500
omnetpp_field_sensitive_alias,aa.cnf,158255766
pandas,prov_derivation.cnf,154646
parest,vf.cnf,1342540
parest_field_sensitive_alias,aa.cnf,49415038
pathways,nested_parentheses_subClassOf.cnf,883
pathways,nested_parentheses_subClassOf_type.cnf,884
pathways,nested_parentheses_type.cnf,2
people,nested_parentheses_subClassOf.cnf,24
people,nested_parentheses_subClassOf_type.cnf,51
people,nested_parentheses_type.cnf,29
perlbench,vf.cnf,297504186
perlbench_field_sensitive_alias,aa.cnf,851737865
pizza,nested_parentheses_subClassOf.cnf,1334
pizza,nested_parentheses_subClassOf_type.cnf,1356
pizza,nested_parentheses_type.cnf,20
pluggy,prov_derivation.cnf,880
pmd,java_points_to.cnf,137120
postgre,c_alias.cnf,90661446
povray,vf.cnf,34599413
povray_field_sensitive_alias,aa.cnf,27219043
pr,c_alias.cnf,385
requests,prov_derivation.cnf,2524
sampleproject,prov_derivation.cnf,342
scikit-learn,prov_derivation.cnf,217728
security,c_alias.cnf,5593387
shattered_pixel_dungeon,name_resolution.cnf,971998
skos,nested_parentheses_subClassOf.cnf,1
skos,nested_parentheses_subClassOf_type.cnf,30
skos,nested_parentheses_type.cnf,29
sound,c_alias.cnf,6085269
sphinx,prov_derivation.cnf,304084
sunflow,java_points_to.cnf,35209
superset,prov_derivation.cnf,97460
taxonomy,nested_parentheses_subClassOf.cnf,151703
taxonomy,nested_parentheses_subClassOf_type.cnf,151706
taxonomy,nested_parentheses_type.cnf,4
taxonomy_hierarchy,nested_parentheses_subClassOf.cnf,5351657
taxonomy_hierarchy,nested_parentheses_subClassOf_type.cnf,5351657
taxonomy_hierarchy,nested_parentheses_type.cnf,0
tomcat,java_points_to.cnf,3792543
tradebeans,java_points_to.cnf,34370090
tradesoap,java_points_to.cnf,34451130
travel,nested_parentheses_subClassOf.cnf,33
travel,nested_parentheses_subClassOf_type.cnf,52
travel,nested_parentheses_type.cnf,19
unigraph_1,unigraph_1.cnf,376578
unigraph_10,unigraph_10.cnf,
unigraph_2,unigraph_2.cnf,39888347
unigraph_3,unigraph_3.cnf,52471840
unigraph_4,unigraph_4.cnf,808091802
unigraph_5,unigraph_5.cnf,2303590109
unigraph_6,unigraph_6.cnf,1722963921
unigraph_7,unigraph_7.cnf,2320964134
unigraph_8,unigraph_8.cnf,
unigraph_9,unigraph_9.cnf,
univ,nested_parentheses_subClassOf.cnf,17
univ,nested_parentheses_subClassOf_type.cnf,25
univ,nested_parentheses_type.cnf,6
wc,c_alias.cnf,156
wikipedia-provenance,prov_derivation.cnf,1732
wine,nested_parentheses_subClassOf.cnf,499
wine,nested_parentheses_subClassOf_type.cnf,565
wine,nested_parentheses_type.cnf,65
x264,vf.cnf,20259480
x264_field_sensitive_alias,aa.cnf,5246565
xalan,java_points_to.cnf,1138776
xz,vf.cnf,358834
xz_field_sensitive_alias,aa.cnf,205164
zulip,prov_derivation.cnf,209908