full results

problem
zip-dev
zip-dev.time
1.55
0.02
0.07
0.89
9.84
9.88
10.02
10.02
10.02
10.02
10.02
10.02
10.02
10.02
9.92
0.10
9.93
0.15
9.84
0.15
0.09
0.09
9.81
0.03
3.23