Commit 01c5d44c authored by Thomas Huetter's avatar Thomas Huetter

cleaned up ploting

parent 1a52ccf9
*.DS_Store
### Upperbound
python3 plot_experiments.py --service ted-exp --config configs/upperbound/sentiment_runtime.json --storeplot "./plots/sentiment_runtime.pdf"
python3 plot_experiments.py --service ted-exp --config configs/upperbound/sentiment_runtime_k.json --storeplot "./plots/sentiment_runtime_k.pdf"
python3 plot_experiments.py --service ted-exp --config configs/upperbound/sentiment_error.json --storeplot "./plots/sentiment_error.pdf"
python3 plot_experiments.py --service ted-exp --config configs/upperbound/dblp_runtime.json --storeplot "./plots/dblp_runtime.pdf"
python3 plot_experiments.py --service ted-exp --config configs/upperbound/dblp_error.json --storeplot "./plots/dblp_error.pdf"
### FPR
python3 plot_experiments.py --service ted-exp --config configs/fpr/fpr_bolzano.json --storeplot "./plots/bolzano_fpr.pdf"
python3 plot_experiments.py --service ted-exp --config configs/fpr/fpr_dblp.json --storeplot "./plots/dblp_fpr.pdf"
python3 plot_experiments.py --service ted-exp --config configs/fpr/fpr_python.json --storeplot "./plots/python_fpr.pdf"
python3 plot_experiments.py --service ted-exp --config configs/fpr/fpr_sentiment.json --storeplot "./plots/sentiment_fpr.pdf"
python3 plot_experiments.py --service ted-exp --config configs/fpr/fpr_swissprot.json --storeplot "./plots/swissprot_fpr.pdf"
### Pairs
python3 plot_experiments.py --service ted-exp --config configs/pairs/tree_pairs_bolzano.json --storeplot "./plots/bolzano_pairs.pdf"
python3 plot_experiments.py --service ted-exp --config configs/pairs/tree_pairs_dblp.json --storeplot "./plots/dblp_pairs.pdf"
python3 plot_experiments.py --service ted-exp --config configs/pairs/tree_pairs_python.json --storeplot "./plots/python_pairs.pdf"
python3 plot_experiments.py --service ted-exp --config configs/pairs/tree_pairs_sentiment.json --storeplot "./plots/sentiment_pairs.pdf"
python3 plot_experiments.py --service ted-exp --config configs/pairs/tree_pairs_swissprot.json --storeplot "./plots/swissprot_pairs.pdf"
### Times
python3 plot_experiments.py --service ted-exp --config configs/times/times_bolzano.json --storeplot "./plots/bolzano_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs/times/times_dblp.json --storeplot "./plots/dblp_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs/times/times_python.json --storeplot "./plots/python_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs/times/times_sentiment.json --storeplot "./plots/sentiment_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs/times/times_swissprot.json --storeplot "./plots/swissprot_times.pdf"
\ No newline at end of file
### FPR
python3 plot_experiments.py --service ted-exp --config configs_histograms/fpr/fpr_bolzano.json --storeplot "./plots/fpr/bolzano_fpr.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/fpr/fpr_dblp_10000.json --storeplot "./plots/fpr/dblp_fpr_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/fpr/fpr_python_10000.json --storeplot "./plots/fpr/python_fpr_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/fpr/fpr_sentiment.json --storeplot "./plots/fpr/sentiment_fpr.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/fpr/fpr_swissprot_10000.json --storeplot "./plots/fpr/swissprot_fpr_10000.pdf"
### Join Times
python3 plot_experiments.py --service ted-exp --config configs_histograms/times/times_bolzano.json --storeplot "./plots/times/bolzano_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/times/times_dblp_10000.json --storeplot "./plots/times/dblp_times_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/times/times_python_10000.json --storeplot "./plots/times/python_times_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/times/times_sentiment.json --storeplot "./plots/times/sentiment_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/times/times_swissprot_10000.json --storeplot "./plots/times/swissprot_times_10000.pdf"
### Candidate Times
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times/cand_times_bolzano.json --storeplot "./plots/cand_times/bolzano_cand_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times/cand_times_dblp_10000.json --storeplot "./plots/cand_times/dblp_cand_times_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times/cand_times_python_10000.json --storeplot "./plots/cand_times/python_cand_times_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times/cand_times_sentiment.json --storeplot "./plots/cand_times/sentiment_cand_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times/cand_times_swissprot_10000.json --storeplot "./plots/cand_times/swissprot_cand_times_10000.pdf"
### Candidate Times
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times_conv/cand_times_conv_bolzano.json --storeplot "./plots/cand_times_conv/bolzano_cand_conv_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times_conv/cand_times_conv_dblp_10000.json --storeplot "./plots/cand_times_conv/dblp_cand_conv_times_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times_conv/cand_times_conv_python_10000.json --storeplot "./plots/cand_times_conv/python_cand_conv_times_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times_conv/cand_times_conv_sentiment.json --storeplot "./plots/cand_times_conv/sentiment_cand_conv_times.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/cand_times_conv/cand_times_conv_swissprot_10000.json --storeplot "./plots/cand_times_conv/swissprot_cand_conv_times_10000.pdf"
### Candidates
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidates/candidates_bolzano.json --storeplot "./plots/candidates/bolzano_candidates.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidates/candidates_dblp_10000.json --storeplot "./plots/candidates/dblp_candidates_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidates/candidates_python_10000.json --storeplot "./plots/candidates/python_candidates_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidates/candidates_sentiment.json --storeplot "./plots/candidates/sentiment_candidates.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidates/candidates_swissprot_10000.json --storeplot "./plots/candidates/swissprot_candidates_10000.pdf"
### Candidates LabelHisto, TJoin, TJoin + UB, Result
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidatesub/candidatesub_bolzano.json --storeplot "./plots/candidatesub/bolzano_candidatesub.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidatesub/candidatesub_dblp_10000.json --storeplot "./plots/candidatesub/dblp_candidatesub_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidatesub/candidatesub_python_10000.json --storeplot "./plots/candidatesub/python_candidatesub_10000.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidatesub/candidatesub_sentiment.json --storeplot "./plots/candidatesub/sentiment_candidatesub.pdf"
python3 plot_experiments.py --service ted-exp --config configs_histograms/candidatesub/candidatesub_swissprot_10000.json --storeplot "./plots/candidatesub/swissprot_candidatesub_10000.pdf"
\ No newline at end of file
This diff is collapsed.
{
"title": "False Positive Ratio",
"print_title": "no",
"legend": "lower right",
"legend_font_size": 18,
"grid": "on",
"dataset_name": "Bolzano",
"markers": ["s", "*"],
"markersize": [15, 20],
"markerfacecolor": "none",
"colors": ["red", "green"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(1.0 - (join_result_size::decimal / NULLIF(verification_candidates::decimal,0)))"
}
],
"name": "$\\mathtt{Tang}$"
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(1.0 - (join_result_size::decimal / NULLIF(verification_candidates::decimal,0)))"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"upperbound": "greedy"
}
}
],
"constraints": {
"dataset_filename": "bolzano_sorted.bracket",
"verification_algorithm": "Touzet"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 2,
"xmin": 1,
"xmax": 15.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "False Positive Ratio",
"ymin": 0,
"ymax": 1,
"font_size": 20,
"ticks_font_size": 20
}
}
\ No newline at end of file
{
"title": "False Positive Ratio",
"print_title": "no",
"legend": "upper right",
"legend_font_size": 18,
"grid": "on",
"dataset_name": "DBLP",
"markers": ["s", "*"],
"markersize": [15, 20],
"markerfacecolor": "none",
"colors": ["red", "green"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(1.0 - (join_result_size::decimal / NULLIF(verification_candidates::decimal,0)))"
}
],
"name": "$\\mathtt{Tang}$"
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(1.0 - (join_result_size::decimal / NULLIF(verification_candidates::decimal,0)))"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"upperbound": "greedy"
}
}
],
"constraints": {
"dataset_filename": "dblp_no_www_sorted.bracket",
"verification_algorithm": "Touzet"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 1,
"xmin": 1,
"xmax": 8.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "False Positive Ratio",
"ymin": 0,
"ymax": 1,
"font_size": 20,
"ticks_font_size": 20
},
"textbox": {
"text": "$\\mathtt{Tang}$:\n$\\tau = 1$: FPR=100%\n$\\tau > 1$: timeout",
"x": 0.04,
"y": 0.95,
"font_size": 18
}
}
\ No newline at end of file
{
"title": "False Positive Ratio",
"print_title": "no",
"legend": "upper right",
"legend_font_size": 18,
"grid": "on",
"dataset_name": "Python AST",
"markers": ["*"],
"markersize": [20],
"markerfacecolor": "none",
"colors": ["green"],
"tables": [
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(1.0 - (join_result_size::decimal / NULLIF(verification_candidates::decimal,0)))"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"upperbound": "greedy"
}
}
],
"constraints": {
"dataset_filename": "python_sorted.bracket",
"verification_algorithm": "Touzet"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 2,
"xmin": 1,
"xmax": 20.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "False Positive Ratio",
"ymin": 0,
"ymax": 1,
"font_size": 20,
"ticks_font_size": 20
},
"textbox": {
"text": "Tang: timeout",
"x": 0.04,
"y": 0.95,
"font_size": 20
}
}
\ No newline at end of file
{
"title": "False Positive Ratio",
"print_title": "no",
"legend": "lower right",
"legend_font_size": 18,
"grid": "on",
"dataset_name": "Sentiment",
"markers": ["s", "*"],
"markersize": [15, 20],
"markerfacecolor": "none",
"colors": ["red", "green"],
"tables": [
{
"table_name": "tang_join",
"attributes": [
{
"attr_name": "avg(1.0 - (join_result_size::decimal / NULLIF(verification_candidates::decimal,0)))"
}
],
"name": "$\\mathtt{Tang}$"
},
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(1.0 - (join_result_size::decimal / NULLIF(verification_candidates::decimal,0)))"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"upperbound": "greedy"
}
}
],
"constraints": {
"dataset_filename": "sentiment_sorted.bracket",
"verification_algorithm": "Touzet"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 2,
"xmin": 1,
"xmax": 15.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "False Positive Ratio",
"ymin": 0,
"ymax": 1,
"font_size": 20,
"ticks_font_size": 20
}
}
\ No newline at end of file
{
"title": "False Positive Ratio",
"print_title": "no",
"legend": "upper right",
"legend_font_size": 18,
"grid": "on",
"dataset_name": "Swissprot",
"markers": ["*"],
"markersize": [20],
"markerfacecolor": "none",
"colors": ["green"],
"tables": [
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(1.0 - (join_result_size::decimal / NULLIF(verification_candidates::decimal,0)))"
}
],
"name": "$\\mathtt{TJoin}$",
"constraints": {
"upperbound": "greedy"
}
}
],
"constraints": {
"dataset_filename": "swissprot_sorted.bracket",
"verification_algorithm": "Touzet"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 10,
"xmin": 0,
"xmax": 60.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "False Positive Ratio",
"ymin": 0,
"ymax": 1,
"font_size": 20,
"ticks_font_size": 20
},
"textbox": {
"text": "Tang: timeout",
"x": 0.04,
"y": 0.95,
"font_size": 20
}
}
\ No newline at end of file
{
"title": "Tree Pairs",
"print_title": "no",
"legend_font_size": 18,
"legend": "upper left",
"grid": "on",
"dataset_name": "Bolzano",
"markers": ["o", "p", "^"],
"markersize": [15, 15, 15],
"markerfacecolor": "none",
"colors": ["blueviolet", "green", "turquoise"],
"tables": [
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "verification_candidates",
"name": "Candidates"
},
{
"attr_name": "join_result_size",
"name": "Join result"
},
{
"attr_name": "upperbound_pruned",
"name": "Upperbound"
}
]
}
],
"constraints": {
"dataset_filename": "bolzano_sorted.bracket",
"verification_algorithm": "Touzet",
"upperbound": "greedy"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 2,
"xmin": 1,
"xmax": 15.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Number of Tree Pairs",
"aggregate": "avg",
"ymin": 0,
"ymax": 2500,
"font_size": 20,
"ticks_font_size": 20,
"suffix": "yes"
}
}
\ No newline at end of file
{
"title": "Tree Pairs",
"print_title": "no",
"legend_font_size": 18,
"legend": "upper left",
"grid": "on",
"dataset_name": "DBLP",
"markers": ["o", "p", "^"],
"markersize": [15, 15, 15],
"markerfacecolor": "none",
"colors": ["blueviolet", "green", "turquoise"],
"tables": [
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "verification_candidates",
"name": "Candidates"
},
{
"attr_name": "join_result_size",
"name": "Join result"
},
{
"attr_name": "upperbound_pruned",
"name": "Upperbound"
}
]
}
],
"constraints": {
"dataset_filename": "dblp_no_www_sorted.bracket",
"verification_algorithm": "Touzet",
"upperbound": "greedy"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 1,
"xmin": 1,
"xmax": 8.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Number of Tree Pairs",
"aggregate": "avg",
"ymin": 0,
"ymax": 1200000000,
"font_size": 20,
"ticks_font_size": 20,
"suffix": "yes"
}
}
\ No newline at end of file
{
"title": "Tree Pairs",
"print_title": "no",
"legend_font_size": 18,
"legend": "upper left",
"grid": "on",
"dataset_name": "Python AST",
"markers": ["o", "p", "^"],
"markersize": [15, 15, 15],
"markerfacecolor": "none",
"colors": ["blueviolet", "green", "turquoise"],
"tables": [
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "verification_candidates",
"name": "Candidates"
},
{
"attr_name": "join_result_size",
"name": "Join result"
},
{
"attr_name": "upperbound_pruned",
"name": "Upperbound"
}
]
}
],
"constraints": {
"dataset_filename": "python_sorted.bracket",
"verification_algorithm": "Touzet",
"upperbound": "greedy"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 2,
"xmin": 1,
"xmax": 20.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Number of Tree Pairs",
"aggregate": "avg",
"ymin": 0,
"ymax": 70000000,
"font_size": 20,
"ticks_font_size": 20,
"suffix": "yes"
}
}
\ No newline at end of file
{
"title": "Tree Pairs",
"print_title": "no",
"legend_font_size": 18,
"legend": "upper left",
"grid": "on",
"dataset_name": "Sentiment",
"markers": ["o", "p", "^"],
"markersize": [15, 15, 15],
"markerfacecolor": "none",
"colors": ["blueviolet", "green", "turquoise"],
"tables": [
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "verification_candidates",
"name": "Candidates"
},
{
"attr_name": "join_result_size",
"name": "Join result"
},
{
"attr_name": "upperbound_pruned",
"name": "Upperbound"
}
]
}
],
"constraints": {
"dataset_filename": "sentiment_sorted.bracket",
"verification_algorithm": "Touzet",
"upperbound": "greedy"
},
"x_axis": {
"db_column": "threshold",
"name": "Threshold",
"xticks": 2,
"xmin": 1,
"xmax": 15.001,
"font_size": 20,
"ticks_font_size": 20
},
"y_axis": {
"name": "Number of Tree Pairs",
"aggregate": "avg",
"ymin": 0,
"ymax": 2000000,
"font_size": 20,
"ticks_font_size": 20,
"suffix": "yes"
}
}
\ No newline at end of file
{
"title": "Tree Pairs",
"print_title": "no",
"legend_font_size": 18,
"legend": "upper left",
"grid": "on",
"dataset_name": "Swissprot",
"markers": ["o", "p", "^"],
"markersize": [15, 15, 15],
"markerfacecolor": "none",
"colors": ["blueviolet", "green", "turquoise"],
"tables": [
{
"table_name": "t_join",
"attributes": [
{
"attr_name": "verification_candidates",
"name": "Candidates"
},
{