full results

problem
zip-dev
zip-dev.time
0.64
9.95
9.79
9.94
0.02
9.87
0.02
9.88
0.08
9.87
0.02
9.90
0.02
10.13
9.79
10.09
0.02
9.88
0.04
10.00
9.89
10.13
0.02
9.87
0.06