full results

problem
zip-dev
zip-dev.time
10.27
10.31
10.26
10.25
10.28
10.31
10.38
0.20
1.07
2.30
3.44
4.75
0.02
8.56
9.88
9.98
10.11
0.02
9.80
9.83
9.95
10.07
0.11
9.82
9.85