dblp_var_size.json 763 Bytes
Newer Older
1
2
{
  "datasets": [
3
4
5
    "dblp/dblp_10000_sorted.bracket",
    "dblp/dblp_50000_sorted.bracket",
    "dblp/dblp_100000_sorted.bracket"
6
7
  ],
  "thresholds": [
8
    6.0
9
10
11
12
13
14
15
16
17
18
  ],
  "algorithms": [
    { "name": "t_join",
      "verification_algorithm" : "Touzet",
      "upperbound": "greedy"
    },
    { "name": "histogram_join",
      "verification_algorithm" : "APTED",
      "upperbound": "none"
    },
Thomas Huetter's avatar
Thomas Huetter committed
19
    { "name": "binary_branches_join",
20
21
22
      "verification_algorithm" : "APTED",
      "upperbound": "none"
    },
23
24
25
26
27
    { "name": "guha_rsb_join",
      "verification_algorithm" : "APTED",
      "reference_set_size": "8",
      "reference_set_id": "-1"
    },
Thomas Huetter's avatar
Thomas Huetter committed
28
    { "name": "tang_join",
29
30
31
32
      "verification_algorithm" : "APTED",
      "upperbound": "none"
    }
  ]
Thomas Huetter's avatar
Thomas Huetter committed
33
}