Commit 675c2e2b authored by Thomas Huetter's avatar Thomas Huetter

added plot configs for revision submission paper version

parent de829421
{
"title": "Candidate Times",
"print_title": "no",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"legend": "upper right",
"grid": "on",
"dataset_name": "DBLP",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
"markersize": [15, 20, 15, 15, 15, 15, 15],
"markerfacecolor": "none",
"colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(tree_to_binary_tree_time + index_time)/1000"
}
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"]
}
},
{
"table_name": "binary_branches_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "histogram_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "guha_rsb_join",
"attributes": [
{
"attr_name": "avg(vectors_time + metric_candidates_time)/1000"
}
],
"name": "$\\mathtt{Guha}$",
"constraints": {
"verification_algorithm": ["APTED"],
"reference_set_size": [8]
}
}
],
"constraints": {
"dataset_filename": ["dblp_no_www_sorted.bracket"]
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 1,
"xmin": 1,
"xmax": 8.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ticks_font_size": 20
}
}
{
"title": "Candidate Times",
"print_title": "no",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"legend": "upper right",
"grid": "on",
"dataset_name": "DBLP",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
"markersize": [15, 20, 15, 15, 15, 15, 15],
"markerfacecolor": "none",
"colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(tree_to_binary_tree_time + index_time)/1000"
}
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"verification_algorithm": ["APTED"],
"dataset_filename": ["dblp_10000_sorted.bracket", "dblp_50000_sorted.bracket", "dblp_100000_sorted.bracket"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"],
"dataset_filename": ["dblp_10000_sorted.bracket", "dblp_50000_sorted.bracket", "dblp_100000_sorted.bracket"]
}
},
{
"table_name": "binary_branches_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"],
"dataset_filename": ["dblp_10000_sorted.bracket", "dblp_50000_sorted.bracket", "dblp_100000_sorted.bracket"]
}
},
{
"table_name": "histogram_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"],
"dataset_filename": ["dblp_10000_sorted.bracket", "dblp_50000_sorted.bracket", "dblp_100000_sorted.bracket"]
}
},
{
"table_name": "guha_rsb_join",
"attributes": [
{
"attr_name": "avg(vectors_time + metric_candidates_time)/1000"
}
],
"name": "$\\mathtt{Guha}$",
"constraints": {
"verification_algorithm": ["APTED"],
"reference_set_size": [8],
"dataset_filename": ["dblp_10000_sorted.bracket", "dblp_50000_sorted.bracket", "dblp_100000_sorted.bracket"]
}
}
],
"constraints": {
"threshold": [6]
},
"x_axis": {
"db_column": "dataset_filename",
"size_plot": 1,
"name": "Dataset Size",
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ticks_font_size": 20
}
}
{
"title": "Candidate Times",
"print_title": "no",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"legend": "lower right",
"grid": "on",
"dataset_name": "Python",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
"markersize": [15, 20, 15, 15, 15, 15, 15],
"markerfacecolor": "none",
"colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(tree_to_binary_tree_time + index_time)/1000"
}
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"]
}
},
{
"table_name": "binary_branches_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "histogram_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "guha_rsb_join",
"attributes": [
{
"attr_name": "avg(vectors_time + metric_candidates_time)/1000"
}
],
"name": "$\\mathtt{Guha}$",
"constraints": {
"verification_algorithm": ["APTED"],
"reference_set_size": [8]
}
}
],
"constraints": {
"dataset_filename": ["python_sorted.bracket"]
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 2,
"xmin": 1,
"xmax": 20.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ticks_font_size": 20
}
}
{
"title": "Candidate Times",
"print_title": "no",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"legend": "upper left",
"grid": "on",
"dataset_name": "Sentiment",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
"markersize": [15, 20, 15, 15, 15, 15, 15],
"markerfacecolor": "none",
"colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(tree_to_binary_tree_time + index_time)/1000"
}
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"]
}
},
{
"table_name": "binary_branches_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "histogram_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "guha_rsb_join",
"attributes": [
{
"attr_name": "avg(vectors_time + metric_candidates_time)/1000"
}
],
"name": "$\\mathtt{Guha}$",
"constraints": {
"verification_algorithm": ["APTED"],
"reference_set_size": [8]
}
}
],
"constraints": {
"dataset_filename": ["sentiment_sorted.bracket"]
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 2,
"xmin": 1,
"xmax": 15.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ticks_font_size": 20
}
}
{
"title": "Candidate Times",
"print_title": "no",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"legend": "upper right",
"grid": "on",
"dataset_name": "Swissprot",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
"markersize": [15, 20, 15, 15, 15, 15, 15],
"markerfacecolor": "none",
"colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(tree_to_binary_tree_time + index_time)/1000"
}
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"]
}
},
{
"table_name": "binary_branches_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "histogram_join",
"attributes": [
{
"attr_name": "avg(tree_to_set_time + index_time)/1000"
}
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "guha_rsb_join",
"attributes": [
{
"attr_name": "avg(vectors_time + metric_candidates_time)/1000"
}
],
"name": "$\\mathtt{Guha}$",
"constraints": {
"verification_algorithm": ["APTED"],
"reference_set_size": [8]
}
}
],
"constraints": {
"dataset_filename": ["swissprot_sorted.bracket"]
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 10,
"xmin": 0,
"xmax": 60.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ticks_font_size": 20
}
}
{
"title": "Verification Candidates",
"print_title": "no",
"legend": "lower right",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"grid": "on",
"dataset_name": "DBLP",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
"markersize": [15, 20, 15, 15, 15, 15, 15],
"markerfacecolor": "none",
"colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(verification_candidates)"
}
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(verification_candidates)"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"]
}
},
{
"table_name": "binary_branches_join",
"attributes": [
{
"attr_name": "avg(verification_candidates)"
}
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "histogram_join",
"attributes": [
{
"attr_name": "avg(verification_candidates)"
}
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "guha_join",
"attributes": [
{
"attr_name": "avg(l_t_candidates - u_t_result_pairs)"
}
],
"name": "$\\mathtt{Guha}$",
"constraints": {
"reference_set_size": [8],
"verification_algorithm": ["APTED"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(verification_candidates - upperbound_pruned)"
}
],
"name": "$\\mathtt{TJoin\\ VC}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(join_result_size)"
}
],
"name": "$\\mathtt{Result}$"
}
],
"constraints": {
"dataset_filename": ["dblp_no_www_sorted.bracket"]
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 1,
"xmin": 1,
"xmax": 8.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Candidates (Tree Pairs)",
"scale": "log",
"font_size": 20,
"ticks_font_size": 20,
"suffix": "yes"
}
}
{
"title": "Verification Candidates",
"print_title": "no",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"legend": "upper right",
"grid": "on",
"dataset_name": "DBLP",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
"markersize": [15, 20, 15, 15, 15, 15, 15],
"markerfacecolor": "none",
"colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(verification_candidates)"
}
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"verification_algorithm": ["APTED"],
"dataset_filename": ["dblp_10000_sorted.bracket", "dblp_50000_sorted.bracket", "dblp_100000_sorted.bracket"]
}
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(verification_candidates)"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"],