full results

problem
zip-dev
zip-dev.time
10.03
0.03
10.02
3.00
10.03
2.45
10.02
6.34
2.95
2.48
9.78
10.02
9.81
5.12
10.02
10.02
0.10
9.86
9.81
4.73
0.08
0.05
0.05
0.02
0.03