|
problem
|
zip-dev
|
zip-dev.time
|
|
0.38
|
||
|
0.58
|
||
|
1.95
|
||
|
7.10
|
||
|
9.76
|
||
|
1.77
|
||
|
5.22
|
||
|
0.55
|
||
|
1.22
|
||
|
5.32
|
||
|
9.78
|
||
|
9.78
|
||
|
9.81
|
||
|
9.78
|
||
|
8.75
|
||
|
9.77
|
||
|
2.80
|
||
|
4.16
|
||
|
0.29
|
||
|
4.96
|
||
|
3.59
|
||
|
9.15
|
||
|
0.89
|
||
|
4.94
|
||
|
9.77
|