full results

problem
zip-dev
zip-dev.time
6.08
0.02
5.73
0.02
9.94
0.04
2.24
0.02
2.18
0.02
9.90
0.03
2.28
0.02
9.91
0.02
4.84
0.03
10.41
0.03
10.21
9.92
10.14
0.02
10.15