|
problem
|
zip-dev-check
|
zip-dev
|
zip-dev-check.time
|
zip-dev.time
|
|
0.28
|
0.28
|
|||
|
0.10
|
0.09
|
|||
|
0.08
|
0.06
|
|||
|
0.17
|
0.16
|
|||
|
0.08
|
0.07
|
|||
|
0.10
|
0.07
|
|||
|
10.03
|
0.19
|
|||
|
10.04
|
0.58
|
|||
|
8.68
|
8.89
|
|||
|
11.02
|
11.02
|
|||
|
11.02
|
11.02
|
|||
|
11.02
|
11.02
|
|||
|
11.02
|
11.02
|
|||
|
11.02
|
11.02
|
|||
|
11.02
|
11.03
|
|||
|
7.75
|
0.31
|
|||
|
8.19
|
7.22
|
|||
|
8.52
|
8.68
|
|||
|
7.39
|
8.40
|
|||
|
7.98
|
8.01
|
|||
|
7.39
|
8.41
|
|||
|
7.33
|
7.93
|
|||
|
10.05
|
0.51
|
|||
|
8.21
|
8.20
|
|||
|
9.07
|
9.01
|