full results

problem
dolmen
dolmen.time
0.47
0.83
0.77
0.62
0.90
0.90
1.72
1.75
1.13
1.97
3.54
3.46
3.63
7.13
4.37
12.58
0.04
0.09
0.12
0.09
0.14
0.20
0.24
0.27
0.06