|
problem
|
zip-dev-check
|
zip-dev
|
zip-dev-check.time
|
zip-dev.time
|
|
9.85
|
9.90
|
|||
|
10.26
|
10.25
|
|||
|
9.89
|
9.93
|
|||
|
11.02
|
11.02
|
|||
|
1.53
|
1.54
|
|||
|
1.12
|
1.11
|
|||
|
0.36
|
0.36
|
|||
|
11.02
|
11.02
|
|||
|
2.65
|
2.91
|
|||
|
11.02
|
11.02
|
|||
|
10.69
|
10.69
|
|||
|
1.92
|
1.95
|
|||
|
0.34
|
0.40
|
|||
|
11.02
|
11.02
|
|||
|
2.96
|
2.97
|
|||
|
11.02
|
11.02
|
|||
|
11.02
|
11.03
|
|||
|
10.18
|
10.15
|
|||
|
10.19
|
10.16
|
|||
|
0.04
|
0.04
|
|||
|
10.25
|
10.20
|
|||
|
11.03
|
11.03
|
|||
|
11.03
|
11.03
|
|||
|
11.03
|
11.03
|
|||
|
11.03
|
11.03
|