full results

problem
zip-dev
zip-dev.time
0.02
10.17
0.03
10.39
0.02
10.14
0.02
10.15
0.02
10.43
0.03
9.88
9.79
9.91
0.12
10.37
0.02
9.93
0.02
1.72
0.02
1.91
0.02
2.34
0.02