full results

problem
zip-dev
zip-dev.time
9.95
9.95
10.02
9.87
0.10
9.96
9.94
9.83
9.84
9.83
0.12
9.82
0.12
9.84
9.93
9.97
0.76
9.79
0.06
9.86
1.47
9.83
10.01
0.89
10.03