Commit 33807735 authored by Thomas Huetter's avatar Thomas Huetter
Browse files

updated candidate plots

parent 6017730c
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......
......@@ -20,7 +20,7 @@
],
"name": "$\\mathtt{Tang}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -45,7 +45,7 @@
],
"name": "$\\mathtt{BinBranches}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -57,7 +57,7 @@
],
"name": "$\\mathtt{Histogram}$",
"constraints": {
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -70,7 +70,7 @@
"name": "$\\mathtt{Guha\\ K=2}$",
"constraints": {
"reference_set_size": [2],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
},
{
......@@ -83,7 +83,7 @@
"name": "$\\mathtt{Guha\\ K=4}$",
"constraints": {
"reference_set_size": [4],
"upperbound": ["APTED"]
"verification_algorithm": ["APTED"]
}
}
],
......
Supports Markdown
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