|
problem
|
zip-dev-check
|
zip-dev
|
zip-dev-check.time
|
zip-dev.time
|
|
0.19
|
0.17
|
|||
|
10.04
|
10.00
|
|||
|
10.19
|
10.32
|
|||
|
11.03
|
11.02
|
|||
|
9.80
|
9.85
|
|||
|
0.60
|
0.54
|
|||
|
1.38
|
1.39
|
|||
|
11.02
|
11.02
|
|||
|
9.79
|
9.83
|
|||
|
0.70
|
0.66
|
|||
|
1.34
|
1.19
|
|||
|
11.02
|
11.02
|
|||
|
0.77
|
0.69
|
|||
|
2.41
|
2.39
|
|||
|
9.94
|
9.96
|
|||
|
10.12
|
10.21
|
|||
|
11.02
|
11.02
|
|||
|
2.98
|
2.58
|
|||
|
9.89
|
9.89
|
|||
|
10.19
|
10.20
|
|||
|
11.02
|
11.02
|
|||
|
2.79
|
2.70
|
|||
|
6.19
|
6.73
|
|||
|
10.01
|
9.97
|
|||
|
11.02
|
11.02
|