variable	failed
source-handle	ZBDD
time	8760
minimal-cutsets
SatRelay1.Receiver1.failure	SatRelay1.Receiver2.failure	SatRelay2.Receiver1.failure	SatRelay2.Receiver2.failure
SatRelay1.Receiver1.failure	SatRelay1.Receiver2.failure	SatRelay2.Battery1.failure	SatRelay2.Battery2.failure
SatRelay1.Receiver1.failure	SatRelay1.Receiver2.failure	SatRelay2.Transmitter1.failure	SatRelay2.Transmitter2.failure
SatRelay1.Battery1.failure	SatRelay1.Battery2.failure	SatRelay2.Receiver1.failure	SatRelay2.Receiver2.failure
SatRelay1.Battery1.failure	SatRelay1.Battery2.failure	SatRelay2.Battery1.failure	SatRelay2.Battery2.failure
SatRelay1.Battery1.failure	SatRelay1.Battery2.failure	SatRelay2.Transmitter1.failure	SatRelay2.Transmitter2.failure
GS1.Transmitter1.failure	GS1.Transmitter2.failure	GS2.Transmitter1.failure	GS2.Transmitter2.failure
GS1.Transmitter1.failure	GS1.Transmitter2.failure	GS2.Antenna.failure
GS1.Transmitter1.failure	GS1.Transmitter2.failure	GS2.Receiver1.failure	GS2.Receiver2.failure
GS1.Antenna.failure	GS2.Transmitter1.failure	GS2.Transmitter2.failure
GS1.Antenna.failure	GS2.Antenna.failure
GS1.Antenna.failure	GS2.Receiver1.failure	GS2.Receiver2.failure
Sat.Receiver1.failure	Sat.Receiver2.failure
Sat.Battery1.failure	Sat.Battery2.failure
Sat.Transmitter1.failure	Sat.Transmitter2.failure
GS1.Receiver1.failure	GS1.Receiver2.failure	GS2.Transmitter1.failure	GS2.Transmitter2.failure
GS1.Receiver1.failure	GS1.Receiver2.failure	GS2.Antenna.failure
GS1.Receiver1.failure	GS1.Receiver2.failure	GS2.Receiver1.failure	GS2.Receiver2.failure
SatRelay1.Transmitter1.failure	SatRelay1.Transmitter2.failure	SatRelay2.Receiver1.failure	SatRelay2.Receiver2.failure
SatRelay1.Transmitter1.failure	SatRelay1.Transmitter2.failure	SatRelay2.Battery1.failure	SatRelay2.Battery2.failure
SatRelay1.Transmitter1.failure	SatRelay1.Transmitter2.failure	SatRelay2.Transmitter1.failure	SatRelay2.Transmitter2.failure
