Commit 9682b782 authored by Thomas Huetter's avatar Thomas Huetter

fixed y axis on the final paper plots

parent 08dcd6a3
......@@ -3,7 +3,7 @@
"print_title": "no",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"legend": "lower right",
"legend": "upper right",
"grid": "on",
"dataset_name": "DBLP",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
......@@ -94,6 +94,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000,
"ticks_font_size": 20
}
}
......@@ -93,6 +93,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 0.1,
"ymax": 10000,
"ticks_font_size": 20
}
}
......@@ -3,7 +3,7 @@
"print_title": "no",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"legend": "lower right",
"legend": "upper right",
"grid": "on",
"dataset_name": "Python",
"markers": ["s", "*", "o", "^", "p", "d", "8"],
......@@ -45,7 +45,8 @@
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"]
"verification_algorithm": ["APTED"],
"verification_time": [-1]
}
},
{
......@@ -57,7 +58,8 @@
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"]
"verification_algorithm": ["APTED"],
"verification_time": [-1]
}
},
{
......@@ -90,7 +92,7 @@
"name": "Time [s]",
"scale": "log",
"ymin": 10,
"ymax": 1000,
"ymax": 100000,
"font_size": 20,
"ticks_font_size": 20
}
......
......@@ -90,6 +90,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 0.1,
"ymax": 10000,
"ticks_font_size": 20
}
}
......@@ -34,7 +34,7 @@
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"],
"((tree_to_set_time + index_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
}
},
{
......@@ -47,7 +47,8 @@
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"],
"((tree_to_set_time + index_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000],
"experiments_version!": ["ef3c285715a8b2e07cf6121e2fa2bd88238c0cee"]
}
},
{
......@@ -60,7 +61,8 @@
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"],
"((tree_to_set_time + index_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000],
"experiments_version!": ["ef3c285715a8b2e07cf6121e2fa2bd88238c0cee"]
}
},
{
......@@ -85,7 +87,7 @@
"name": "Threshold",
"xticks": 10,
"xmin": 0,
"xmax": 60.001,
"xmax": 55.001,
"font_size": 20,
"ticks_font_size": 20
},
......@@ -93,6 +95,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000,
"ticks_font_size": 20
}
}
......@@ -120,6 +120,8 @@
"name": "Candidates (Tree Pairs)",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000000000,
"ticks_font_size": 20
}
}
......@@ -127,6 +127,8 @@
"name": "Candidates (Tree Pairs)",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000000000,
"ticks_font_size": 20
}
}
......@@ -45,7 +45,8 @@
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"]
"verification_algorithm": ["APTED"],
"verification_time": [-1]
}
},
{
......@@ -57,7 +58,8 @@
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"]
"verification_algorithm": ["APTED"],
"verification_time": [-1]
}
},
{
......@@ -113,6 +115,8 @@
"name": "Candidates (Tree Pairs)",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000000000,
"ticks_font_size": 20
}
}
......@@ -113,6 +113,8 @@
"name": "Candidates (Tree Pairs)",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000000,
"ticks_font_size": 20
}
}
{
"title": "Verification Candidates",
"print_title": "no",
"legend": "lower right",
"legend": "upper left",
"legend_font_size": 18,
"legend_frame_alpha": 0.8,
"grid": "on",
......@@ -34,7 +34,7 @@
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"],
"((tree_to_set_time + index_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
}
},
{
......@@ -47,7 +47,8 @@
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"],
"((tree_to_set_time + index_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000],
"experiments_version!": ["ef3c285715a8b2e07cf6121e2fa2bd88238c0cee"]
}
},
{
......@@ -60,7 +61,8 @@
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"],
"((tree_to_set_time + index_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000],
"experiments_version!": ["ef3c285715a8b2e07cf6121e2fa2bd88238c0cee"]
}
},
{
......@@ -87,7 +89,7 @@
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"],
"((tree_to_set_time + index_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
}
},
{
......@@ -99,7 +101,7 @@
],
"name": "$\\mathtt{Result}$",
"constraints": {
"((tree_to_set_time + index_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
}
}
],
......@@ -111,7 +113,7 @@
"name": "Threshold",
"xticks": 10,
"xmin": 0,
"xmax": 60.001,
"xmax": 55.001,
"font_size": 20,
"ticks_font_size": 20
},
......@@ -119,6 +121,8 @@
"name": "Candidates (Tree Pairs)",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000000000,
"ticks_font_size": 20
}
}
......@@ -92,6 +92,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000,
"ticks_font_size": 20
}
}
......@@ -93,6 +93,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 0.1,
"ymax": 100000,
"ticks_font_size": 20
}
}
......@@ -92,6 +92,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000,
"ticks_font_size": 20
}
}
......@@ -90,6 +90,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 0.1,
"ymax": 15000,
"ticks_font_size": 20
}
}
......@@ -47,7 +47,8 @@
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"],
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000],
"experiments_version!": ["ef3c285715a8b2e07cf6121e2fa2bd88238c0cee"]
}
},
{
......@@ -60,7 +61,8 @@
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"],
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000],
"experiments_version!": ["ef3c285715a8b2e07cf6121e2fa2bd88238c0cee"]
}
},
{
......@@ -85,7 +87,7 @@
"name": "Threshold",
"xticks": 10,
"xmin": 0,
"xmax": 60.001,
"xmax": 55.001,
"font_size": 20,
"ticks_font_size": 20
},
......@@ -93,6 +95,8 @@
"name": "Time [s]",
"scale": "log",
"font_size": 20,
"ymin": 10,
"ymax": 100000,
"ticks_font_size": 20
}
}
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