full results

problem
dolmen
dolmen.time
0.07
0.13
0.13
0.13
0.20
0.21
0.12
0.21
0.21
0.23
0.23
0.37
0.39
0.40
0.41
0.34
0.41
0.76
0.78
0.78
0.83
0.80
1.50
1.19
1.56