|
problem
|
zip-dev
|
zip-dev.time
|
|
9.88
|
||
|
10.37
|
||
|
9.92
|
||
|
11.01
|
||
|
1.50
|
||
|
1.22
|
||
|
0.37
|
||
|
11.01
|
||
|
2.66
|
||
|
11.01
|
||
|
10.64
|
||
|
1.87
|
||
|
0.36
|
||
|
11.01
|
||
|
2.84
|
||
|
11.01
|
||
|
11.02
|
||
|
10.19
|
||
|
10.18
|
||
|
0.05
|
||
|
10.17
|
||
|
11.02
|
||
|
11.02
|
||
|
11.02
|
||
|
11.02
|