full results

problem
zip-dev
zip-dev.time
9.88
9.77
10.02
9.87
6.40
0.66
9.99
0.24
0.22
0.03
0.05
7.53
7.45
7.02
8.46
0.07
2.56
9.87
9.78
0.29
10.02
10.02
9.84
9.94
10.02