full results

problem
zip-dev
zip-dev.time
9.85
9.82
10.03
1.27
10.02
9.91
9.83
0.03
0.02
0.06
10.03
0.60
10.03
9.89
1.35
0.77
9.84
10.03
10.03
10.03
10.03
10.03
10.03
10.03
10.03