full results

problem
zip-dev
zip-dev.time
0.60
1.14
0.21
2.07
5.19
1.97
0.03
0.06
0.05
0.56
2.04
0.25
2.26
5.52
0.29
2.36
5.35
0.28
0.62
3.45
0.30
0.52
1.85
0.36
2.20