Commit 80556759 authored by Thomas Huetter's avatar Thomas Huetter

changed TJoin VC to LGM;

parent a45c06fc
......@@ -34,7 +34,7 @@
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"],
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
"((tree_to_set_time + index_time)/1000) <": [36000]
}
},
{
......@@ -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]
}
},
{
......
......@@ -81,10 +81,10 @@
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(verification_candidates - upperbound_pruned)"
"attr_name": "avg(upperbound_pruned)"
}
],
"name": "$\\mathtt{TJoin\\ VC}$",
"name": "$\\mathtt{LGM}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"],
......
......@@ -77,13 +77,14 @@
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(verification_candidates - upperbound_pruned)"
"attr_name": "avg(upperbound_pruned)"
}
],
"name": "$\\mathtt{TJoin\\ VC}$",
"name": "$\\mathtt{LGM}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"]
"upperbound": ["greedy"],
"((tree_to_set_time + index_time + upperbound_time + verification_time)/1000) <": [36000]
}
},
{
......
......@@ -80,10 +80,10 @@
"table_name": "t_join",
"attributes": [
{
"attr_name": "avg(verification_candidates - upperbound_pruned)"
"attr_name": "avg(upperbound_pruned)"
}
],
"name": "$\\mathtt{TJoin\\ VC}$",
"name": "$\\mathtt{LGM}$",
"constraints": {
"verification_algorithm": ["Touzet"],
"upperbound": ["greedy"],
......
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