full results

problem
zip-dev
zip-dev.time
4.07
0.03
0.07
0.02
3.89
0.02
9.93
0.03
9.87
0.03
9.80
0.03
9.81
0.03
9.81
0.03
3.67
0.02
3.89
0.03
9.82
0.03
0.07
0.03
9.81