times_swissprot.json 2.37 KB
Newer Older
Thomas Huetter's avatar
Thomas Huetter committed
1 2 3 4 5
{
    "title": "Times",
    "print_title": "no",
    "legend_font_size": 18,
    "legend_frame_alpha": 0.8,
Thomas Huetter's avatar
Thomas Huetter committed
6
    "legend": "lower right",
Thomas Huetter's avatar
Thomas Huetter committed
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 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82
    "grid": "on",
    "dataset_name": "Swissprot",
    "markers": ["s", "*", "o", "^", "p", "d"],
    "markersize": [15, 20, 15, 15, 15, 15],
    "markerfacecolor": "none",
    "colors": ["red", "green", "blue", "cyan", "magenta", "orange"],
    "tables": [ 
        {
            "table_name": "tang_join", 
            "attributes": [
                {
                    "attr_name": "avg(tree_to_binary_tree_time + index_time + verification_time)/1000"
                }
            ],
            "name": "$\\mathtt{Tang}$",
            "constraints": {
                "verification_algorithm": "APTED"
            }
        },
        {
            "table_name": "t_join", 
            "attributes": [
                {
                    "attr_name": "avg(tree_to_set_time + index_time + upperbound_time + verification_time)/1000"
                }
            ],
            "name": "$\\mathtt{TJoin}$",
            "constraints": {
                "verification_algorithm": "Touzet",
                "upperbound": "greedy"
            }
        },
        {
            "table_name": "binary_branches_join", 
            "attributes": [
                {
                    "attr_name": "avg(tree_to_set_time + index_time + upperbound_time + verification_time)/1000"
                }
            ],
            "name": "$\\mathtt{BinBranches}$",
            "constraints": {
                "verification_algorithm": "APTED"
            }
        },
        {
            "table_name": "histogram_join", 
            "attributes": [
                {
                    "attr_name": "avg(tree_to_set_time + index_time + upperbound_time + verification_time)/1000"
                }
            ],
            "name": "$\\mathtt{Histogram}$",
            "constraints": {
                "verification_algorithm": "APTED"
            }
        }
    ],
    "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
    }
}