full results

problem
zip-dev
zip-dev.time
9.89
9.85
10.02
10.02
9.78
9.81
9.77
0.03
3.18
0.03
0.07
0.06
0.22
0.16
0.03
0.07
2.58
0.94
0.86
9.78
0.14
0.11
3.28
0.06
0.06