cand_times_swissprot.json 2.87 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
{
    "title": "Candidate Times",
    "print_title": "no",
    "legend_font_size": 18,
    "legend_frame_alpha": 0.8,
    "legend": "upper right",
    "grid": "on",
    "dataset_name": "Swissprot",
    "markers": ["s", "*", "o", "^", "p", "d", "8"],
    "markersize": [15, 20, 15, 15, 15, 15, 15],
    "markerfacecolor": "none",
    "colors": ["red", "green", "blue", "cyan", "magenta", "orange", "greenyellow"],
    "tables": [ 
        {
            "table_name": "tang_join", 
            "attributes": [
                {
                    "attr_name": "avg(tree_to_binary_tree_time + index_time)/1000"
                }
            ],
            "name": "$\\mathtt{Tang}$",
            "constraints": {
                "verification_algorithm": ["APTED"]
            }
        },
        {
            "table_name": "t_join", 
            "attributes": [
                {
                    "attr_name": "avg(tree_to_set_time + index_time)/1000"
                }
            ],
            "name": "$\\mathtt{TJoin}$",
            "constraints": {
                "verification_algorithm": ["Touzet"],
Thomas Huetter's avatar
Thomas Huetter committed
36
                "upperbound": ["greedy"],
Thomas Huetter's avatar
Thomas Huetter committed
37
                "((tree_to_set_time + index_time)/1000) <": [36000]
38
39
40
41
42
43
44
45
46
47
48
            }
        },
        {
            "table_name": "binary_branches_join", 
            "attributes": [
                {
                    "attr_name": "avg(tree_to_set_time + index_time)/1000"
                }
            ],
            "name": "$\\mathtt{Binary}$",
            "constraints": {
Thomas Huetter's avatar
Thomas Huetter committed
49
                "verification_algorithm": ["APTED"],
Thomas Huetter's avatar
Thomas Huetter committed
50
                "((tree_to_set_time + index_time)/1000) <": [36000]
51
52
53
54
55
56
57
58
59
60
61
            }
        },
        {
            "table_name": "histogram_join", 
            "attributes": [
                {
                    "attr_name": "avg(tree_to_set_time + index_time)/1000"
                }
            ],
            "name": "$\\mathtt{Histo}$",
            "constraints": {
Thomas Huetter's avatar
Thomas Huetter committed
62
                "verification_algorithm": ["APTED"],
Thomas Huetter's avatar
Thomas Huetter committed
63
                "((tree_to_set_time + index_time)/1000) <": [36000]
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
            }
        },
        {
            "table_name": "guha_rsb_join", 
            "attributes": [
                {
                    "attr_name": "avg(vectors_time + metric_candidates_time)/1000"
                }
            ],
            "name": "$\\mathtt{Guha}$",
            "constraints": {
                "verification_algorithm": ["APTED"],
                "reference_set_size": [8]
            }
        }
    ],
    "constraints": {
        "dataset_filename": ["swissprot_sorted.bracket"]
    },
    "x_axis": {
        "db_column": "threshold",
        "name": "Threshold",
        "xticks": 10,
        "xmin": 0,
        "xmax": 60.001, 
        "font_size": 20, 
        "ticks_font_size": 20
    },
    "y_axis": {
        "name": "Time [s]",
        "scale": "log",
        "font_size": 20, 
        "ticks_font_size": 20
    }
}