full results

problem
zip-dev
zip-dev.time
10.02
0.02
0.50
0.04
8.05
0.84
0.05
0.02
0.05
0.05
10.02
0.65
10.00
9.81
10.02
1.45
0.06
0.05
9.92
9.79
0.24
9.77
0.06
10.02
0.67