full results

problem
dolmen
dolmen.time
0.57
0.58
0.36
0.58
1.10
1.20
1.12
1.19
2.20
1.84
1.63
4.47
5.07
9.26
0.07
0.07
0.07
0.07
0.08
0.07
0.04
0.13
0.10
0.10
0.10