|
problem
|
zip-dev
|
zip-dev.time
|
|
0.28
|
||
|
0.14
|
||
|
0.06
|
||
|
0.18
|
||
|
0.06
|
||
|
0.07
|
||
|
0.19
|
||
|
0.58
|
||
|
11.97
|
||
|
11.02
|
||
|
11.02
|
||
|
11.02
|
||
|
11.02
|
||
|
11.02
|
||
|
11.02
|
||
|
0.47
|
||
|
11.23
|
||
|
11.85
|
||
|
11.83
|
||
|
10.55
|
||
|
12.02
|
||
|
9.35
|
||
|
0.44
|
||
|
11.01
|
||
|
10.89
|