|
problem
|
zip-dev
|
zip-dev.time
|
|
9.77
|
||
|
0.34
|
||
|
0.19
|
||
|
0.02
|
||
|
0.72
|
||
|
0.18
|
||
|
0.71
|
||
|
9.79
|
||
|
0.04
|
||
|
9.77
|
||
|
9.79
|
||
|
0.10
|
||
|
0.06
|
||
|
5.98
|
||
|
5.09
|
||
|
9.81
|
||
|
9.77
|
||
|
9.77
|
||
|
0.44
|
||
|
0.09
|
||
|
0.66
|
||
|
2.38
|
||
|
9.26
|
||
|
9.53
|
||
|
9.79
|