full results

problem
zip-dev
zip-dev.time
10.02
10.00
9.91
9.83
9.80
10.02
9.97
10.02
10.02
9.77
10.20
0.02
1.38
0.02
1.37
0.02
10.17
0.02
10.17
0.02
0.43
0.02
0.42
0.02
0.58