full results

problem
zip-dev
zip-dev.time
9.78
5.55
0.02
9.92
0.03
9.90
0.03
4.40
0.11
9.92
1.26
9.92
9.95
0.04
9.94
9.96
9.94
9.90
1.32
9.92
0.03
9.92
10.02
9.02
0.03