full results

problem
dolmen
dolmen.time
0.37
0.36
0.33
0.38
0.33
0.38
0.37
0.40
0.01
0.34
0.34
0.96
0.04
0.38
0.41
0.39
0.45
0.33
0.02
0.02
0.06
0.30
0.52
0.35
0.04