The real activity happened at night, said community officials and the police.
But police officials and some community officials say they have seen progress.
But community officials said military options were not discussed at a meeting here of senior political officers, which lasted more than three hours.
That decision was strongly criticized by some lawmakers and community officials.
Federal, state, and community officials immediately pledged to rebuild it.
A community official said the reports were "not too far away."
But some community officials are critical of the plan.
A community official said the program, which involves 5,500 researchers from 12 countries, would represent a third of European basic research in information technology.
The problem had existed for years, community officials said.
Initially, some community officials said the university should have improved the public schools rather than opening a private school.