full results

problem
zip-dev
zip-dev.time
0.03
6.69
0.02
4.52
0.02
3.89
0.02
7.41
9.92
9.88
7.34
0.02
6.54
0.03
9.92
0.03
9.93
9.77
9.95
0.03
6.59
0.02
9.91
0.02
9.91