full results

problem
zip-dev
zip-dev.time
0.86
9.77
9.78
0.02
10.06
9.79
10.05
9.85
9.98
9.81
9.89
9.87
5.41
9.86
0.04
4.25
4.03
10.04
9.84
9.86
5.57
9.83
0.04
4.88
4.76