full results

problem
zip-dev
zip-dev.time
9.78
0.06
0.05
9.78
0.06
0.05
0.37
0.03
9.79
9.78
9.84
9.91
9.78
0.42
0.16
0.03
0.31
0.28
0.20
0.34
0.29
0.16
0.34
0.37
0.20