full results

problem
zip-dev
zip-dev.time
4.16
9.96
9.82
9.82
9.82
3.34
0.23
9.79
2.11
9.82
10.05
9.81
9.88
0.02
0.05
0.03
9.93
9.94
9.84
9.87
9.85
9.90
9.91
9.85
0.02