full results

problem
zip-dev
zip-dev.time
1.13
1.19
0.20
6.53
0.59
1.24
1.16
9.77
8.23
4.79
0.29
2.46
5.69
0.68
1.35
0.88
0.25
0.24
7.23
0.83
4.15
1.28
4.76
1.66
1.28