Logic model evaluation