full results

problem
zip-dev
zip-dev.time
9.87
9.80
9.84
9.82
9.81
9.79
9.82
9.82
2.34
9.80
9.84
0.68
0.53
9.82
9.82
9.83
2.49
0.30
0.21
6.03
0.35
9.80
0.41
9.86
9.85