Commit 42eeb4ad authored by Thomas Huetter's avatar Thomas Huetter

join runtime plots with metric time

parent 164a97cd
......@@ -47,7 +47,7 @@
"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)/1000) <": [36000]
}
},
{
......@@ -60,7 +60,7 @@
"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)/1000) <": [36000]
}
},
{
......
......@@ -63,10 +63,10 @@
}
},
{
"table_name": "guha_join",
"table_name": "guha_rsb_join",
"attributes": [
{
"attr_name": "avg(vectors_time + metric_candidates_time + candidates_time + verification_time)/1000"
"attr_name": "avg(vectors_time + metric_candidates_time + sc_candidates_time + verification_time)/1000"
}
],
"name": "$\\mathtt{Guha}$",
......
......@@ -45,7 +45,8 @@
],
"name": "$\\mathtt{Binary}$",
"constraints": {
"verification_algorithm": ["APTED"]
"verification_algorithm": ["APTED"],
"verification_time": [-1]
}
},
{
......@@ -57,14 +58,15 @@
],
"name": "$\\mathtt{Histo}$",
"constraints": {
"verification_algorithm": ["APTED"]
"verification_algorithm": ["APTED"],
"verification_time": [-1]
}
},
{
"table_name": "guha_join",
"table_name": "guha_rsb_join",
"attributes": [
{
"attr_name": "avg(vectors_time + metric_candidates_time + candidates_time + verification_time)/1000"
"attr_name": "avg(vectors_time + metric_candidates_time + sc_candidates_time + verification_time)/1000"
}
],
"name": "$\\mathtt{Guha}$",
......
......@@ -64,10 +64,10 @@
}
},
{
"table_name": "guha_join",
"table_name": "guha_rsb_join",
"attributes": [
{
"attr_name": "avg(vectors_time + metric_candidates_time + candidates_time + verification_time)/1000"
"attr_name": "avg(vectors_time + metric_candidates_time + sc_candidates_time + verification_time)/1000"
}
],
"name": "$\\mathtt{Guha}$",
......
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