full results

problem
zip-dev
zip-dev.time
10.05
10.07
0.09
0.12
2.47
10.07
9.92
9.85
10.01
9.91
9.85
9.89
10.18
0.36
9.94
9.95
10.11
9.97
5.23
4.08
5.03
5.55
4.86
0.13
10.04