|
problem
|
zip-dev-check
|
zip-dev
|
zip-dev-check.time
|
zip-dev.time
|
|
0.87
|
0.91
|
|||
|
3.66
|
4.15
|
|||
|
10.23
|
10.29
|
|||
|
10.56
|
10.60
|
|||
|
0.80
|
0.79
|
|||
|
0.63
|
0.85
|
|||
|
0.84
|
0.77
|
|||
|
0.26
|
0.26
|
|||
|
0.41
|
0.44
|
|||
|
10.27
|
10.26
|
|||
|
0.06
|
0.08
|
|||
|
9.95
|
9.90
|
|||
|
10.09
|
10.10
|
|||
|
9.90
|
10.07
|
|||
|
9.85
|
10.09
|
|||
|
9.87
|
9.92
|
|||
|
10.08
|
10.10
|
|||
|
0.84
|
1.00
|
|||
|
9.92
|
10.07
|
|||
|
10.10
|
9.88
|
|||
|
9.85
|
10.09
|
|||
|
9.90
|
9.91
|
|||
|
9.87
|
9.89
|
|||
|
9.84
|
9.87
|
|||
|
10.23
|
10.29
|