full results

problem
zip-dev
zip-dev.time
9.96
10.02
10.02
1.42
10.02
9.92
10.02
0.02
0.02
0.05
9.88
0.65
10.02
10.02
1.60
0.72
9.77
10.02
10.02
10.02
9.95
10.02
10.02
10.02
9.99