full results

problem
zip-dev
zip-dev.time
10.02
9.88
9.93
0.06
0.06
1.24
1.20
10.02
10.02
9.79
10.01
1.20
1.72
1.77
1.10
1.27
1.00
10.02
1.50
1.71
10.02
0.05
0.06
9.98
10.02