full results

problem
zip-dev
zip-dev.time
9.89
9.89
2.05
1.92
2.09
1.52
1.67
1.96
10.05
0.37
0.10
10.02
10.12
10.03
9.98
9.97
10.02
9.88
9.87
9.98
9.85
9.98
10.05
10.17
9.94