full results

problem
zip-dev
zip-dev.time
9.78
9.95
9.84
10.02
9.89
9.82
9.90
9.95
10.00
9.81
10.16
0.02
1.28
0.02
1.51
0.02
10.18
0.02
10.19
0.02
0.45
0.02
0.45
0.02
0.64