full results

problem
zip-dev
zip-dev.time
9.86
0.04
10.03
3.03
9.81
2.76
9.85
6.37
2.99
2.55
10.00
10.03
9.79
5.43
9.97
9.83
0.06
10.03
10.03
4.59
0.05
0.05
0.06
0.03
0.04