full results

problem
dolmen
dolmen.time
0.30
0.40
0.26
0.40
0.08
0.10
0.65
1.00
0.88
1.34
1.05
1.53
1.10
1.68
1.16
1.85
5.97
10.22
0.05
0.09
0.26
0.36
600.02
600.02
600.02