SNN-logic-report