full results

problem
zip-dev
zip-dev.time
10.29
10.31
10.28
10.28
10.28
10.33
10.36
0.20
1.08
2.26
3.47
4.77
0.02
8.49
9.89
9.98
10.09
0.02
9.79
9.84
9.97
10.08
0.11
9.80
9.88