full results

problem
zip-dev
zip-dev.time
10.16
0.02
10.48
0.03
10.17
0.02
10.16
0.02
9.90
0.03
2.27
0.02
9.91
0.03
10.29
0.02
10.36
0.02
10.39
0.06
10.16
0.02
10.17
0.03
10.18