full results

problem
zip-dev
zip-dev.time
9.94
0.05
0.18
9.84
12.06
10.04
11.00
9.81
4.43
10.04
9.79
9.81
11.01
11.02
5.26
0.17
0.12
0.89
0.11
0.11
9.99
10.16
0.09
2.60
1.71