full results

problem
zip-dev
zip-dev.time
0.05
0.04
9.84
4.21
10.06
0.17
10.06
0.19
7.93
0.15
0.08
0.05
9.85
9.83
9.81
9.81
9.80
10.05
9.81
9.82
0.07
0.11
4.92
0.21
9.84