full results

problem
zip-dev
zip-dev.time
9.90
10.02
10.02
9.77
6.42
0.67
9.77
0.21
0.26
0.03
0.03
8.48
7.62
7.87
7.55
0.08
2.56
10.02
9.77
0.30
10.02
10.02
10.02
10.02
10.02