full results

problem
dolmen
dolmen.time
0.16
0.14
0.20
0.14
0.89
1.02
0.70
0.76
0.80
57.78
1.05
1.39
1.17
0.99
0.93
1.03
1.09
1.10
1.26
1.07
1.03
0.97
0.93
0.94
1.48