full results

problem
dolmen
dolmen.time
0.17
0.21
0.25
0.27
0.27
0.27
0.28
0.28
0.30
0.56
0.53
0.52
0.97
0.99
1.02
1.11
1.98
2.07
2.01
4.09
4.08
7.38
0.06
0.06
0.07