full results

problem
zip-dev
zip-dev.time
10.08
10.06
10.08
2.22
2.25
0.10
2.17
9.89
10.06
9.93
9.85
9.94
0.03
9.94
0.03
10.06
10.06
9.98
3.86
9.94
0.06
9.87
9.87
9.83
2.79