full results

problem
dolmen
dolmen.time
0.30
0.26
0.45
0.48
0.48
0.49
0.90
0.91
0.61
1.06
1.84
3.79
0.05
0.05
0.05
0.06
0.05
0.05
0.05
0.06
0.06
0.06
0.06
0.07
0.07