full results

problem
dolmen
dolmen.time
7.51
5.93
4.44
6.76
7.25
7.42
8.11
4.52
4.56
4.77
7.31
7.65
7.38
7.58
7.71
7.53
7.57
6.12
4.54
5.19
7.44
7.66
6.88
7.57
7.55