full results

problem
zip-dev
zip-dev.time
11.02
11.01
0.33
0.14
0.29
1.11
0.11
0.20
0.77
0.77
0.03
0.16
7.38
0.02
0.18
6.71
0.03
3.05
0.02
0.16
0.03
0.17
0.02
0.18
0.02