LVS reports:
net count difference = 5
device count difference = 1
unmatched nets = 5
unmatched devices = 6
unmatched pins = 126
property failures = 0