anzi che usare "==" è forse meglio usare "preg_match", prova così dovrebbe anadare:

Codice PHP:
for ($i 1$i <= $spider_search_engine_n$i++) 
{
    if(
preg_match($spider_user_agent[$i], $sys){
    
$spider_search_engine_ctr=1;