full results

problem
zip-dev
zip-dev.time
9.96
0.03
9.78
3.05
9.86
2.92
10.02
5.44
2.61
2.74
9.91
10.02
9.94
5.19
10.02
9.94
0.07
10.02
9.95
4.04
0.05
0.06
0.06
0.02
0.05