Commit 2532cac2 authored by Thomas Huetter's avatar Thomas Huetter

fix in dblp10000 config

parent 1f2f9bc7
......@@ -9,6 +9,26 @@
{ "name": "t_join",
"verification_algorithm" : "Touzet",
"upperbound": "greedy"
},
{ "name": "tang_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "leaf_distance_histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "label_histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "degree_histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "binary_branches_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
}
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment