full results

problem
zip-dev
zip-dev.time
9.82
0.60
0.94
2.98
9.79
9.82
2.49
0.21
2.44
5.03
9.79
1.47
2.67
9.91
9.89
0.89
0.61
9.86
0.44
9.81
9.84
9.80
3.27
9.83
6.10