full results

problem
zip-dev
zip-dev.time
9.79
9.98
10.02
9.88
6.60
0.64
10.02
0.23
0.26
0.03
0.04
8.09
8.32
6.86
8.40
0.08
2.80
9.90
9.84
0.31
10.02
10.02
10.02
9.99
9.85