full results

problem
zip-dev
zip-dev.time
9.80
9.79
0.86
0.61
9.80
9.80
9.79
9.85
9.79
2.84
9.79
9.83
9.79
5.14
9.80
9.79
9.80
9.79
0.04
0.05
9.79
9.79
1.58
0.66
1.54