full results

problem
dolmen
dolmen.time
0.02
0.03
0.03
0.01
1.91
1.14
1.50
1.06
1.73
1.15
1.20
0.18
1.18
1.19
0.11
0.10
0.15
0.25
0.51
0.36
0.55
0.63
0.39
0.36
0.36