full results

problem
zip-dev
zip-dev.time
9.79
0.10
0.06
0.29
0.41
0.30
0.30
2.98
9.79
9.67
9.78
1.73
0.11
0.10
0.16
9.82
0.34
7.85
0.59
0.51
0.34
9.79
0.52
9.87
5.76