sentiment.json 769 Bytes
Newer Older
1
2
{
  "datasets": [
Thomas Huetter's avatar
Thomas Huetter committed
3
    "sentiment/sentiment_sorted.bracket"
4
5
  ],
  "thresholds": [
6
7
    1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0,
    9.0, 10.0, 11.0, 12.0, 13.0, 14.0, 15.0
8
9
10
11
12
13
  ],
  "algorithms": [
    { "name": "t_join",
      "verification_algorithm" : "Touzet",
      "upperbound": "greedy"
    },
14
15
16
17
18
19
20
21
22
23
24
25
26
    { "name": "histogram_join",
      "verification_algorithm" : "APTED",
      "upperbound": "none"
    },
    { "name": "binary_branches_join",
      "verification_algorithm" : "APTED",
      "upperbound": "none"
    },
    { "name": "guha_rsb_join",
      "verification_algorithm" : "APTED",
      "reference_set_size": "8",
      "reference_set_id": "-1"
    },
27
    { "name": "tang_join",
28
      "verification_algorithm" : "APTED",
29
30
31
32
      "upperbound": "none"
    }
  ]
}