full results

problem
zip-dev
zip-dev.time
0.10
9.81
9.83
9.80
9.80
9.81
11.02
10.39
11.01
0.05
1.24
1.67
0.02
0.02
0.05
0.31
0.56
1.27
0.48
0.38
0.44
10.02
3.48
0.03
9.97