|
problem
|
zip-dev-check
|
zip-dev
|
zip-dev-check.time
|
zip-dev.time
|
|
0.18
|
0.16
|
|||
|
9.96
|
9.99
|
|||
|
10.19
|
10.24
|
|||
|
11.02
|
11.02
|
|||
|
9.85
|
9.79
|
|||
|
0.61
|
0.54
|
|||
|
1.26
|
1.42
|
|||
|
11.02
|
11.02
|
|||
|
9.89
|
9.97
|
|||
|
0.67
|
0.67
|
|||
|
1.32
|
1.31
|
|||
|
11.02
|
11.02
|
|||
|
0.77
|
0.65
|
|||
|
2.80
|
2.41
|
|||
|
9.95
|
9.58
|
|||
|
10.11
|
10.08
|
|||
|
11.02
|
11.02
|
|||
|
2.62
|
2.59
|
|||
|
9.98
|
10.05
|
|||
|
10.19
|
10.24
|
|||
|
11.02
|
11.02
|
|||
|
2.47
|
2.88
|
|||
|
6.77
|
6.13
|
|||
|
10.02
|
10.03
|
|||
|
11.02
|
11.02
|