full results

problem
zip-dev
zip-dev.time
10.28
10.32
10.27
10.27
10.28
10.38
10.37
0.21
1.08
2.21
3.49
4.77
0.02
8.45
9.88
9.97
10.08
0.02
9.81
9.84
9.94
10.08
0.11
9.80
9.87