full results

problem
zip-dev
zip-dev.time
9.77
9.86
10.02
9.86
9.83
9.87
0.03
9.86
9.87
0.30
6.10
0.11
9.87
0.03
6.19
0.02
9.86
0.21
9.88
0.03
9.95
0.03
0.46
0.02
5.29