full results

problem
dolmen
dolmen.time
0.40
0.39
0.42
0.84
0.77
0.53
0.80
1.56
1.60
1.64
3.21
3.18
6.59
0.03
0.06
0.06
0.06
0.06
0.06
0.06
0.08
0.08
0.09
0.08
0.14