Formulas Compiled | Formula Fired | Assertions Compiled | Assertions Fired | Assertions Satisfied | Assertions Not Satisfied |
---|---|---|---|---|---|
0 | 0 | 1 | 2 | 2 | 0 |
id | satisfied | message |
---|---|---|
Arithmetic_IS01 (evaluation 1) | satisfied | $PropertyPlantAndEquipmentNet=295183000 = (sum(($Land=5347000 , $BuildingsNet=244508000 , $FurnitureAndFixturesNet=34457000 , $ComputerEquipmentNet=4169000 , $OtherPropertyPlantAndEquipmentNet=6702000))) |
Arithmetic_IS01 (evaluation 2) | satisfied | $PropertyPlantAndEquipmentNet=413441000 = (sum(($Land=1147000 , $BuildingsNet=366375000 , $FurnitureAndFixturesNet=34457000 , $ComputerEquipmentNet=5313000 , $OtherPropertyPlantAndEquipmentNet=6149000))) |