time-to-botec/C-optimized/out/samples.txt

9.000000
5.000000
11.000000
4.000000
6.000000
7.000000
9.000000
9.000000
5.000000
13.000000
6.000000
8.000000
14.000000
8.000000
9.000000
8.000000
14.000000
14.000000
7.000000
12.000000
14.000000
6.000000
12.000000
8.000000
8.000000
9.000000
8.000000
8.000000
10.000000
8.000000
9.000000
11.000000
10.000000
8.000000
8.000000
8.000000
6.000000
8.000000
8.000000
8.000000
8.000000
14.000000
9.000000
7.000000
8.000000
11.000000
12.000000
9.000000
11.000000
7.000000
13.000000
7.000000
7.000000
8.000000
8.000000
21.000000
8.000000
7.000000
8.000000
9.000000
7.000000
12.000000
14.000000
11.000000
7.000000
8.000000
13.000000
9.000000
12.000000
8.000000
8.000000
13.000000
10.000000
9.000000
9.000000
13.000000
7.000000
8.000000
9.000000
8.000000
8.000000
8.000000
8.000000
6.000000
8.000000
8.000000
9.000000
8.000000
8.000000
8.000000
7.000000
7.000000
8.000000
8.000000
6.000000
7.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
7.000000
5.000000
7.000000
7.000000
7.000000
6.000000
6.000000
4.000000
7.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
6.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
8.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
4.000000
5.000000
6.000000
8.000000
5.000000
8.000000
6.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
8.000000
9.000000
6.000000
6.000000
6.000000
7.000000
8.000000
8.000000
7.000000
8.000000
8.000000
9.000000
8.000000
9.000000
9.000000
8.000000
8.000000
7.000000
8.000000
8.000000
7.000000
8.000000
6.000000
5.000000
7.000000
8.000000
8.000000
7.000000
6.000000
6.000000
8.000000
8.000000
8.000000
8.000000
8.000000
8.000000
8.000000
8.000000
8.000000
8.000000
8.000000
8.000000
8.000000
9.000000
9.000000
8.000000
8.000000
9.000000
7.000000
8.000000
5.000000
7.000000
8.000000
8.000000
7.000000
4.000000
4.000000
7.000000
5.000000
5.000000
6.000000
8.000000
6.000000
5.000000
5.000000
7.000000
8.000000
9.000000
8.000000
8.000000
5.000000
5.000000
7.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
6.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
8.000000
8.000000
7.000000
5.000000
7.000000
5.000000
8.000000
6.000000
6.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
4.000000
4.000000
6.000000
5.000000
5.000000
6.000000
5.000000
4.000000
5.000000
9.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
6.000000
7.000000
7.000000
5.000000
5.000000
5.000000
4.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
9.000000
8.000000
6.000000
6.000000
5.000000
5.000000
6.000000
5.000000
6.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
7.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
6.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
5.000000
5.000000
5.000000
6.000000
5.000000
4.000000
5.000000
8.000000
6.000000
8.000000
8.000000
8.000000
8.000000
7.000000
7.000000
7.000000
8.000000
8.000000
8.000000
9.000000
8.000000
9.000000
8.000000
8.000000
7.000000
7.000000
7.000000
8.000000
8.000000
8.000000
7.000000
7.000000
6.000000
5.000000
5.000000
5.000000
13.000000
10.000000
7.000000
4.000000
7.000000
5.000000
4.000000
7.000000
4.000000
4.000000
8.000000
4.000000
5.000000
7.000000
5.000000
4.000000
6.000000
5.000000
4.000000
6.000000
4.000000
4.000000
4.000000
7.000000
7.000000
8.000000
7.000000
4.000000
7.000000
5.000000
7.000000
5.000000
4.000000
4.000000
6.000000
6.000000
9.000000
4.000000
5.000000
7.000000
4.000000
5.000000
7.000000
5.000000
7.000000
8.000000
8.000000
8.000000
7.000000
7.000000
5.000000
7.000000
7.000000
7.000000
7.000000
7.000000
7.000000
7.000000
7.000000
8.000000
7.000000
7.000000
4.000000
6.000000
7.000000
7.000000
7.000000
8.000000
8.000000
7.000000
6.000000
6.000000
4.000000
6.000000
6.000000
5.000000
4.000000
4.000000
7.000000
4.000000
5.000000
6.000000
5.000000
4.000000
7.000000
7.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
5.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
4.000000
6.000000
5.000000
5.000000
9.000000
4.000000
8.000000
4.000000
4.000000
8.000000
5.000000
5.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
5.000000
6.000000
4.000000
5.000000
7.000000
4.000000
4.000000
5.000000
7.000000
4.000000
4.000000
8.000000
4.000000
4.000000
7.000000
4.000000
5.000000
6.000000
4.000000
4.000000
4.000000
6.000000
4.000000
5.000000
6.000000
5.000000
4.000000
7.000000
4.000000
5.000000
6.000000
5.000000
4.000000
4.000000
7.000000
4.000000
4.000000
8.000000
5.000000
5.000000
6.000000
5.000000
4.000000
7.000000
4.000000
4.000000
4.000000
7.000000
4.000000
8.000000
5.000000
4.000000
4.000000
6.000000
5.000000
6.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
8.000000
7.000000
5.000000
6.000000
6.000000
8.000000
5.000000
7.000000
5.000000
5.000000
4.000000
6.000000
5.000000
4.000000
7.000000
5.000000
4.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
8.000000
4.000000
4.000000
5.000000
7.000000
7.000000
8.000000
5.000000
4.000000
7.000000
5.000000
5.000000
8.000000
4.000000
4.000000
7.000000
5.000000
4.000000
7.000000
4.000000
5.000000
4.000000
6.000000
4.000000
5.000000
8.000000
7.000000
8.000000
8.000000
7.000000
8.000000
8.000000
7.000000
7.000000
7.000000
7.000000
7.000000
8.000000
8.000000
7.000000
8.000000
6.000000
5.000000
4.000000
6.000000
4.000000
4.000000
7.000000
5.000000
4.000000
7.000000
4.000000
4.000000
7.000000
7.000000
4.000000
7.000000
5.000000
4.000000
7.000000
4.000000
5.000000
8.000000
7.000000
8.000000
4.000000
6.000000
4.000000
7.000000
4.000000
4.000000
7.000000
5.000000
5.000000
6.000000
6.000000
8.000000
4.000000
4.000000
8.000000
4.000000
4.000000
8.000000
4.000000
4.000000
8.000000
4.000000
4.000000
7.000000
8.000000
4.000000
7.000000
4.000000
4.000000
5.000000
6.000000
5.000000
4.000000
7.000000
7.000000
5.000000
6.000000
5.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
8.000000
8.000000
7.000000
7.000000
7.000000
7.000000
8.000000
7.000000
6.000000
4.000000
5.000000
7.000000
4.000000
5.000000
7.000000
5.000000
5.000000
6.000000
4.000000
5.000000
8.000000
4.000000
9.000000
4.000000
4.000000
7.000000
5.000000
4.000000
7.000000
6.000000
4.000000
7.000000
4.000000
4.000000
4.000000
7.000000
4.000000
4.000000
5.000000
6.000000
4.000000
4.000000
7.000000
4.000000
4.000000
8.000000
6.000000
4.000000
7.000000
4.000000
5.000000
7.000000
4.000000
4.000000
7.000000
4.000000
5.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
5.000000
7.000000
4.000000
4.000000
5.000000
6.000000
4.000000
4.000000
6.000000
5.000000
5.000000
7.000000
7.000000
5.000000
6.000000
4.000000
4.000000
6.000000
5.000000
6.000000
8.000000
7.000000
7.000000
5.000000
4.000000
7.000000
4.000000
4.000000
8.000000
4.000000
5.000000
8.000000
4.000000
4.000000
5.000000
6.000000
4.000000
5.000000
6.000000
5.000000
4.000000
7.000000
7.000000
7.000000
7.000000
7.000000
7.000000
7.000000
7.000000
7.000000
8.000000
8.000000
8.000000
6.000000
8.000000
5.000000
8.000000
7.000000
7.000000
8.000000
8.000000
6.000000
8.000000
8.000000
6.000000
4.000000
4.000000
8.000000
7.000000
8.000000
5.000000
4.000000
8.000000
4.000000
4.000000
8.000000
5.000000
4.000000
9.000000
4.000000
4.000000
8.000000
5.000000
5.000000
9.000000
5.000000
4.000000
8.000000
4.000000
5.000000
7.000000
5.000000
4.000000
8.000000
4.000000
4.000000
7.000000
4.000000
4.000000
11.000000
4.000000
8.000000
5.000000
4.000000
9.000000
4.000000
4.000000
10.000000
6.000000
11.000000
4.000000
9.000000
4.000000
10.000000
4.000000
4.000000
11.000000
4.000000
5.000000
8.000000
4.000000
4.000000
9.000000
6.000000
4.000000
8.000000
5.000000
4.000000
8.000000
4.000000
4.000000
8.000000
5.000000
4.000000
8.000000
4.000000
5.000000
8.000000
4.000000
4.000000
8.000000
5.000000
4.000000
8.000000
4.000000
4.000000
8.000000
4.000000
4.000000
7.000000
7.000000
8.000000
5.000000
4.000000
8.000000
4.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
4.000000
8.000000
4.000000
5.000000
6.000000
4.000000
4.000000
7.000000
4.000000
5.000000
8.000000
4.000000
4.000000
8.000000
4.000000
4.000000
8.000000
7.000000
7.000000
4.000000
5.000000
8.000000
4.000000
9.000000
4.000000
4.000000
9.000000
4.000000
4.000000
8.000000
4.000000
4.000000
10.000000
8.000000
8.000000
5.000000
5.000000
8.000000
4.000000
5.000000
7.000000
4.000000
6.000000
8.000000
7.000000
8.000000
7.000000
7.000000
7.000000
10.000000
7.000000
8.000000
7.000000
10.000000
7.000000
9.000000
7.000000
6.000000
6.000000
4.000000
4.000000
6.000000
5.000000
4.000000
6.000000
5.000000
4.000000
4.000000
7.000000
4.000000
5.000000
6.000000
5.000000
5.000000
7.000000
4.000000
5.000000
6.000000
4.000000
4.000000
4.000000
6.000000
4.000000
5.000000
6.000000
4.000000
4.000000
4.000000
6.000000
10.000000
6.000000
5.000000
6.000000
6.000000
4.000000
6.000000
6.000000
5.000000
6.000000
6.000000
4.000000
4.000000
7.000000
4.000000
4.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
4.000000
6.000000
4.000000
4.000000
6.000000
5.000000
4.000000
5.000000
6.000000
4.000000
4.000000
7.000000
4.000000
4.000000
7.000000
4.000000
4.000000
4.000000
6.000000
4.000000
5.000000
6.000000
4.000000
5.000000
5.000000
6.000000
7.000000
8.000000
8.000000
7.000000
8.000000
7.000000
7.000000
7.000000
7.000000
9.000000
7.000000
4.000000
4.000000
6.000000
5.000000
4.000000
4.000000
6.000000
4.000000
4.000000
6.000000
4.000000
4.000000
4.000000
6.000000
5.000000
4.000000
7.000000
7.000000
8.000000
4.000000
4.000000
7.000000
5.000000
4.000000
6.000000
6.000000
4.000000
6.000000
6.000000
4.000000
4.000000
7.000000
4.000000
4.000000
6.000000
4.000000
4.000000
4.000000
6.000000
4.000000
5.000000
6.000000
5.000000
5.000000
7.000000
5.000000
5.000000
7.000000
4.000000
4.000000
4.000000
6.000000
4.000000
4.000000
7.000000
6.000000
5.000000
6.000000
5.000000
4.000000
6.000000
4.000000
4.000000
5.000000
6.000000
6.000000
4.000000
6.000000
4.000000
4.000000
7.000000
4.000000
4.000000
4.000000
6.000000
8.000000
8.000000
5.000000
4.000000
6.000000
4.000000
4.000000
4.000000
7.000000
4.000000
4.000000
6.000000
5.000000
6.000000
6.000000
4.000000
4.000000
4.000000
5.000000
5.000000
7.000000
8.000000
7.000000
7.000000
7.000000
8.000000
7.000000
8.000000
7.000000
9.000000
8.000000
6.000000
8.000000
8.000000
8.000000
8.000000
7.000000
7.000000
7.000000
6.000000
8.000000
7.000000
7.000000
8.000000
4.000000
7.000000
8.000000
7.000000
7.000000
7.000000
8.000000
7.000000
8.000000
7.000000
7.000000
7.000000
7.000000
7.000000
5.000000
7.000000
5.000000
5.000000
4.000000
4.000000
4.000000
5.000000
4.000000
8.000000
8.000000
8.000000
7.000000
6.000000
4.000000
7.000000
6.000000
4.000000
6.000000
6.000000
4.000000
7.000000
6.000000
6.000000
4.000000
6.000000
5.000000
4.000000
6.000000
5.000000
4.000000
4.000000
6.000000
5.000000
4.000000
6.000000
6.000000
7.000000
6.000000
5.000000
6.000000
6.000000
4.000000
6.000000
6.000000
4.000000
6.000000
5.000000
5.000000
4.000000
7.000000
4.000000
4.000000
4.000000
6.000000
4.000000
4.000000
6.000000
5.000000
4.000000
4.000000
6.000000
4.000000
4.000000
6.000000
5.000000
4.000000
4.000000
6.000000
4.000000
4.000000
7.000000
4.000000
5.000000
4.000000
6.000000
4.000000
5.000000
7.000000
5.000000
6.000000
6.000000
4.000000
4.000000
7.000000
7.000000
4.000000
6.000000
4.000000
7.000000
7.000000
4.000000
4.000000
6.000000
5.000000
4.000000
4.000000
6.000000
4.000000
5.000000
6.000000
4.000000
6.000000
6.000000
4.000000
4.000000
4.000000
6.000000
4.000000
5.000000
6.000000
4.000000
7.000000
6.000000
4.000000
5.000000
4.000000
8.000000
6.000000
6.000000
4.000000
7.000000
6.000000
5.000000
6.000000
5.000000
4.000000
6.000000
6.000000
4.000000
4.000000
4.000000
8.000000
7.000000
7.000000
5.000000
4.000000
4.000000
7.000000
4.000000
4.000000
6.000000
5.000000
5.000000
6.000000
4.000000
4.000000
4.000000
6.000000
4.000000
4.000000
7.000000
4.000000
5.000000
7.000000
5.000000
4.000000
4.000000
6.000000
4.000000
8.000000
5.000000
4.000000
4.000000
6.000000
4.000000
4.000000
4.000000
6.000000
4.000000
4.000000
6.000000
4.000000
4.000000