$start = microtime(TRUE);
// Code PHP à bencher
for ($i = 0; $i < 10000; $i++)
{
    isset($array['id']);
}

echo number_format(microtime(TRUE) - $start, 6)." seconds: isset\n";