full results

problem
zip-dev
zip-dev.time
9.82
10.03
10.02
9.78
10.00
0.24
10.02
8.59
3.54
1.24
0.96
0.52
2.44
1.77
1.77
1.33
2.46
7.13
1.33
9.79
9.78
0.26
2.44
9.78
4.92