tests/quick/se/70.twolf/ref/x86/linux/simple-atomic/smred.sav


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

0.009592
121
0
1
0.000000
0.500000
3.906156
1
1 1 2 37 13
2 2 0 34 65
3 2 2 63 65
4 1 0 59 13
5 1 2 32 13
6 2 0 23 65
7 1 2 12 13
8 2 0 6 65
9 1 0 70 13
10 2 0 70 65