full results

problem
dolmen
dolmen.time
0.14
0.15
0.15
0.27
0.26
0.13
0.13
0.24
0.13
0.22
0.16
0.13
0.13
0.14
0.12
0.15
0.20
0.11
0.12
0.18
0.12
0.22
0.12
0.12
0.15