full results

problem
zip-dev
zip-dev.time
10.25
0.02
10.22
0.02
10.45
0.03
10.48
0.03
10.26
0.02
10.16
0.03
10.17
0.02
10.19
0.03
4.74
0.02
0.03
10.03
0.05
10.03
0.23
3.15
10.03