full results

problem
zip-dev
zip-dev.time
9.87
0.53
0.92
2.68
9.87
9.81
2.58
0.22
2.45
4.50
9.33
1.47
2.78
9.88
9.83
0.81
0.60
9.80
0.44
9.81
9.82
9.79
2.48
9.84
5.51