full results

problem
zip-dev
zip-dev.time
10.28
10.31
10.26
10.26
10.28
10.36
10.36
0.20
1.09
2.35
3.45
4.76
0.02
8.56
9.91
9.97
10.05
0.02
9.80
9.87
9.97
10.09
0.11
9.80
9.86