-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathresults.json
More file actions
42 lines (42 loc) · 1.39 KB
/
results.json
File metadata and controls
42 lines (42 loc) · 1.39 KB
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
36
37
38
39
40
41
42
{
"a=1 // a=2 // <b=a+a>": {
"COMPARE_TO_HUMAN": {
"PROBABILISTIC_MOST_STORES_AND_BRANCHES_STATIC": 0.3316,
"PROBABILISTIC_MOST_STORES_STATIC": 0.326,
"RANDOM_MAX_GLOBAL_STEPS_IGNORE_COMPLETE_THREADS": 0.3412,
"PROBABILISTIC_MOST_STORES_STATIC_SHUFFLE": 0.071
}
},
"<x++>": {
"COMPARE_TO_HUMAN": {
"PROBABILISTIC_MOST_STORES_AND_BRANCHES_STATIC": 1.0,
"PROBABILISTIC_MOST_STORES_STATIC": 1.0,
"RANDOM_MAX_GLOBAL_STEPS_IGNORE_COMPLETE_THREADS": 1.0,
"PROBABILISTIC_MOST_STORES_STATIC_SHUFFLE": 0.1356
}
},
"x++": {
"COMPARE_TO_HUMAN": {
"PROBABILISTIC_MOST_STORES_AND_BRANCHES_STATIC": 1.0,
"PROBABILISTIC_MOST_STORES_STATIC": 1.0,
"RANDOM_MAX_GLOBAL_STEPS_IGNORE_COMPLETE_THREADS": 0.7566,
"PROBABILISTIC_MOST_STORES_STATIC_SHUFFLE": 1.0
}
},
"a=1 // a=2 // b=a+a": {
"COMPARE_TO_HUMAN": {
"PROBABILISTIC_MOST_STORES_AND_BRANCHES_STATIC": 0.0,
"PROBABILISTIC_MOST_STORES_STATIC": 0.0,
"RANDOM_MAX_GLOBAL_STEPS_IGNORE_COMPLETE_THREADS": 0.0258,
"PROBABILISTIC_MOST_STORES_STATIC_SHUFFLE": 0.0
}
},
"Await flag": {
"COMPARE_TO_HUMAN": {
"PROBABILISTIC_MOST_STORES_AND_BRANCHES_STATIC": 0.0,
"PROBABILISTIC_MOST_STORES_STATIC": 0.0,
"RANDOM_MAX_GLOBAL_STEPS_IGNORE_COMPLETE_THREADS": 0.067,
"PROBABILISTIC_MOST_STORES_STATIC_SHUFFLE": 0.0638
}
}
}