full results

problem
zip-dev
zip-dev.time
9.80
1.92
0.99
0.59
9.79
9.79
9.79
9.79
0.91
0.52
9.79
2.56
9.79
6.44
0.05
0.20
0.05
0.64
0.62
0.50
9.79
2.77
7.45
2.06
9.79