一道关于microtime（）的题目,该怎么处理 _PHP

一道关于microtime（）的题目
php获取时间的函数
$gtc_end_time = microtime(true);

从下面这种数列中(1000个吧)，
19493845809,24359390850934,3435345,4345345,5345345,6345345,73453453 ……
判断某个数：234343345 是否存在这里面，
计算一下看需要多少时间

------解决方案--------------------

PHP code

$k = 10000;
$ar = range(1, $k);
$t =  microtime(true);
if(in_array($k, $ar))
  echo microtime(true) - $t;