python.json 243 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
{
  "datasets": [
    "python/python_sorted.bracket"
  ],
  "thresholds": [
    1.0, 2.0, 5.0, 10.0, 15.0, 20.0
  ],
  "algorithms": [
    { "name": "t_join",
      "verification_algorithm" : "Touzet",
      "upperbound": "greedy"
    }
  ]
14
}