full results

problem
zip-dev
zip-dev.time
9.92
10.03
10.03
0.25
0.29
10.03
9.85
10.03
10.03
0.13
0.14
10.03
9.80
9.98
10.03
9.91
10.03
9.93
10.03
9.79
9.94
9.78
9.79
9.78
9.80