full results

problem
zip-dev
zip-dev.time
9.84
7.27
9.90
8.31
9.90
9.90
0.62
0.50
0.45
0.36
0.45
0.07
9.79
9.79
9.80
0.06
0.05
9.79
9.83
0.06
0.04
9.78
9.79
0.05
0.04