full results

problem
zip-dev
zip-dev.time
0.13
0.33
0.11
0.91
0.25
0.94
0.22
9.87
0.04
0.98
0.11
9.77
0.07
0.02
0.04
10.01
0.06
0.02
0.05
9.95
0.07
0.02
0.03
7.73
0.24