full results

problem
dolmen
dolmen.time
7.43
7.82
4.85
6.24
5.61
5.92
4.74
5.72
6.88
0.06
0.04
0.13
0.02
0.04
0.06
0.12
0.01
0.05
0.05
0.02
0.04
0.05
0.11
0.02
0.05