full results

problem
dolmen
dolmen.time
3.64
0.60
10.43
0.29
0.33
0.27
0.46
0.27
0.46
0.26
0.46
3.98
5.25
0.44
5.54
4.54
1.86
0.49
0.47
0.50
0.29
0.43
0.36
0.49
0.48