full results

problem
zip-dev
zip-dev.time
9.94
10.04
7.54
9.92
9.90
10.01
9.95
9.90
9.86
9.83
9.91
9.86
9.91
9.97
10.06
9.90
10.16
10.04
10.02
9.95
9.91
0.16
0.17
10.02
9.96