Commit 39ee51cd authored by Thomas Huetter's avatar Thomas Huetter

cleaned config files for join experiments

parent 01c5d44c
......@@ -3,16 +3,30 @@
"bolzano/bolzano_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0,
11.0, 12.0, 13.0, 14.0, 15.0, 16.0, 17.0, 18.0, 19.0, 20.0
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0,
9.0, 10.0, 11.0, 12.0, 13.0, 14.0, 15.0,
16.0, 17.0, 18.0, 19.0, 20.0
],
"algorithms": [
{ "name": "t_join",
"verification_algorithm" : "Touzet",
"upperbound": "greedy"
},
{ "name": "histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "binary_branches_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "guha_rsb_join",
"verification_algorithm" : "APTED",
"reference_set_size": "8",
"reference_set_id": "-1"
},
{ "name": "tang_join",
"verification_algorithm" : "Touzet",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
......
......@@ -11,4 +11,4 @@
"upperbound": "greedy"
}
]
}
\ No newline at end of file
}
{
"datasets": [
"swissprot/swissprot_sorted.bracket"
"dblp/dblp_10000_sorted.bracket",
"dblp/dblp_50000_sorted.bracket",
"dblp/dblp_100000_sorted.bracket"
],
"thresholds": [
1.0, 5.0, 10.0, 15.0, 20.0, 25.0, 30.0
6.0
],
"algorithms": [
{ "name": "t_join",
......@@ -18,6 +20,11 @@
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "guha_rsb_join",
"verification_algorithm" : "APTED",
"reference_set_size": "8",
"reference_set_id": "-1"
},
{ "name": "tang_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
......
......@@ -11,4 +11,4 @@
"upperbound": "greedy"
}
]
}
\ No newline at end of file
}
......@@ -3,16 +3,29 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0,
11.0, 12.0, 13.0, 14.0, 15.0
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0,
9.0, 10.0, 11.0, 12.0, 13.0, 14.0, 15.0
],
"algorithms": [
{ "name": "t_join",
"verification_algorithm" : "Touzet",
"upperbound": "greedy"
},
{ "name": "histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "binary_branches_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "guha_rsb_join",
"verification_algorithm" : "APTED",
"reference_set_size": "8",
"reference_set_id": "-1"
},
{ "name": "tang_join",
"verification_algorithm" : "Touzet",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
10.0
10.0, 11.0
],
"algorithms": [
{ "name": "guha_rsb_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
12.0
12.0, 13.0
],
"algorithms": [
{ "name": "guha_rsb_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
14.0
14.0, 15.0
],
"algorithms": [
{ "name": "guha_rsb_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
2.0
1.0, 2.0, 3.0
],
"algorithms": [
{ "name": "guha_rsb_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
4.0
4.0, 5.0
],
"algorithms": [
{ "name": "guha_rsb_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
6.0
6.0, 7.0
],
"algorithms": [
{ "name": "guha_rsb_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
8.0
8.0, 9.0
],
"algorithms": [
{ "name": "guha_rsb_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
10.0
10.0, 11.0
],
"algorithms": [
{ "name": "guha_rsc_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
12.0
12.0, 13.0
],
"algorithms": [
{ "name": "guha_rsc_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
14.0
14.0, 15.0
],
"algorithms": [
{ "name": "guha_rsc_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
2.0
1.0, 2.0, 3.0
],
"algorithms": [
{ "name": "guha_rsc_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
4.0
4.0, 5.0
],
"algorithms": [
{ "name": "guha_rsc_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
6.0
6.0, 7.0
],
"algorithms": [
{ "name": "guha_rsc_join",
......
......@@ -3,7 +3,7 @@
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
8.0
8.0, 9.0
],
"algorithms": [
{ "name": "guha_rsc_join",
......
......@@ -3,13 +3,21 @@
"swissprot/swissprot_sorted.bracket"
],
"thresholds": [
1.0, 5.0, 10.0, 15.0, 20.0, 25.0, 30.0,
35.0, 40.0, 45.0, 50.0, 55.0, 60.0
1.0, 5.0, 10.0, 15.0, 20.0, 25.0,
30.0, 35.0, 40.0, 45.0, 50.0, 55.0
],
"algorithms": [
{ "name": "t_join",
"verification_algorithm" : "Touzet",
"upperbound": "greedy"
},
{ "name": "histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "binary_branches_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
}
\ No newline at end of file
}
{
"datasets": [
"bolzano/bolzano_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0,
11.0, 12.0, 13.0, 14.0, 15.0, 16.0, 17.0, 18.0, 19.0, 20.0
],
"algorithms": [
{ "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
{
"datasets": [
"dblp/dblp_10000_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0
],
"algorithms": [
{ "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
{
"datasets": [
"python/python_10000_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 5.0, 10.0, 15.0, 20.0
],
"algorithms": [
{ "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"
}
]
}
{
"datasets": [
"python/python_10000_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 5.0, 10.0, 15.0, 20.0
],
"algorithms": [
{ "name": "binary_branches_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
}
{
"datasets": [
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0,
11.0, 12.0, 13.0, 14.0, 15.0
],
"algorithms": [
{ "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
{
"datasets": [
"sentiment/sentiment_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0,
11.0, 12.0, 13.0, 14.0, 15.0
],
"algorithms": [
{ "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"
}
]
}
{
"datasets": [
"swissprot/swissprot_10000_sorted.bracket"
],
"thresholds": [
1.0, 5.0, 10.0, 15.0, 20.0
],
"algorithms": [
{ "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"
}
]
}
{
"datasets": [
"swissprot/swissprot_10000_sorted.bracket"
],
"thresholds": [
20.0, 25.0, 30.0,
35.0, 40.0, 45.0, 50.0, 55.0, 60.0
],
"algorithms": [
{ "name": "label_histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
}
{
"datasets": [
"bolzano/bolzano_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0,
11.0, 12.0, 13.0, 14.0, 15.0, 16.0, 17.0, 18.0, 19.0, 20.0
],
"algorithms": [
{ "name": "t_join",
"verification_algorithm" : "Touzet",
"upperbound": "greedy"
},
{ "name": "histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "tang_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "binary_branches_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
}
\ No newline at end of file
{
"datasets": [
"bolzano/bolzano_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0,
11.0, 12.0, 13.0, 14.0, 15.0
],
"algorithms": [
{ "name": "guha_join",
"verification_algorithm" : "APTED",
"reference_set_size": "2"
},
{ "name": "guha_join",
"verification_algorithm" : "APTED",
"reference_set_size": "4"
},
{ "name": "guha_join",
"verification_algorithm" : "APTED",
"reference_set_size": "8"
},
{ "name": "guha_join",
"verification_algorithm" : "APTED",
"reference_set_size": "16"
}
]
}
\ No newline at end of file
{
"datasets": [
"dblp/dblp_no_www_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0
],
"algorithms": [
{ "name": "t_join",
"verification_algorithm" : "Touzet",
"upperbound": "greedy"
},
{ "name": "histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "binary_branches_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "tang_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
}
{
"datasets": [
"dblp/dblp_10000_sorted.bracket"
],
"thresholds": [
1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0
],
"algorithms": [
{ "name": "t_join",
"verification_algorithm" : "Touzet",
"upperbound": "greedy"
},
{ "name": "histogram_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "tang_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
},
{ "name": "binary_branches_join",
"verification_algorithm" : "APTED",
"upperbound": "none"
}
]
}
\ No newline at end of file
{
"datasets": [
"dblp/dblp_10000_sorted.bracket"
],
"thresholds": [
1.0
],
"algorithms": [
{ "name": "guha_rsb_join",
"verification_algorithm" : "APTED",
"reference_set_size": "2",
"reference_set_id": "-1"
},
{ "name": "guha_rsb_join",
"verification_algorithm" : "APTED",
"reference_set_size": "4",
"reference_set_id": "-1"
},
{ "name": "guha_rsb_join",
"verification_algorithm" : "APTED",
"reference_set_size": "8",
"reference_set_id": "-1"