|
problem
|
zip-dev-check
|
zip-dev
|
zip-dev-check.time
|
zip-dev.time
|
|
0.60
|
0.57
|
|||
|
1.28
|
1.25
|
|||
|
0.22
|
0.21
|
|||
|
3.07
|
1.90
|
|||
|
9.80
|
9.80
|
|||
|
2.14
|
2.11
|
|||
|
0.06
|
0.06
|
|||
|
0.08
|
0.08
|
|||
|
0.06
|
0.05
|
|||
|
0.61
|
0.58
|
|||
|
1.98
|
1.94
|
|||
|
0.26
|
0.26
|
|||
|
3.66
|
4.81
|
|||
|
5.47
|
4.73
|
|||
|
0.29
|
0.28
|
|||
|
2.75
|
2.44
|
|||
|
4.67
|
5.20
|
|||
|
0.30
|
0.29
|
|||
|
0.98
|
1.06
|
|||
|
3.74
|
3.37
|
|||
|
0.34
|
0.33
|
|||
|
0.58
|
0.58
|
|||
|
1.81
|
2.07
|
|||
|
0.35
|
0.31
|
|||
|
2.48
|
2.80
|