variable	failed
source-handle	ZBDD
time	8760
rank	order	minimal-cutsets
1	4	SatRelay1.Receiver1.failure	SatRelay1.Receiver2.failure	SatRelay2.Receiver1.failure	SatRelay2.Receiver2.failure
2	4	SatRelay1.Receiver1.failure	SatRelay1.Receiver2.failure	SatRelay2.Battery1.failure	SatRelay2.Battery2.failure
3	4	SatRelay1.Receiver1.failure	SatRelay1.Receiver2.failure	SatRelay2.Transmitter1.failure	SatRelay2.Transmitter2.failure
4	4	SatRelay1.Battery1.failure	SatRelay1.Battery2.failure	SatRelay2.Receiver1.failure	SatRelay2.Receiver2.failure
5	4	SatRelay1.Battery1.failure	SatRelay1.Battery2.failure	SatRelay2.Battery1.failure	SatRelay2.Battery2.failure
6	4	SatRelay1.Battery1.failure	SatRelay1.Battery2.failure	SatRelay2.Transmitter1.failure	SatRelay2.Transmitter2.failure
7	4	GS1.Transmitter1.failure	GS1.Transmitter2.failure	GS2.Transmitter1.failure	GS2.Transmitter2.failure
8	3	GS1.Transmitter1.failure	GS1.Transmitter2.failure	GS2.Antenna.failure
9	4	GS1.Transmitter1.failure	GS1.Transmitter2.failure	GS2.Receiver1.failure	GS2.Receiver2.failure
10	3	GS1.Antenna.failure	GS2.Transmitter1.failure	GS2.Transmitter2.failure
11	2	GS1.Antenna.failure	GS2.Antenna.failure
12	3	GS1.Antenna.failure	GS2.Receiver1.failure	GS2.Receiver2.failure
13	2	Sat.Receiver1.failure	Sat.Receiver2.failure
14	2	Sat.Battery1.failure	Sat.Battery2.failure
15	2	Sat.Transmitter1.failure	Sat.Transmitter2.failure
16	4	GS1.Receiver1.failure	GS1.Receiver2.failure	GS2.Transmitter1.failure	GS2.Transmitter2.failure
17	3	GS1.Receiver1.failure	GS1.Receiver2.failure	GS2.Antenna.failure
18	4	GS1.Receiver1.failure	GS1.Receiver2.failure	GS2.Receiver1.failure	GS2.Receiver2.failure
19	4	SatRelay1.Transmitter1.failure	SatRelay1.Transmitter2.failure	SatRelay2.Receiver1.failure	SatRelay2.Receiver2.failure
20	4	SatRelay1.Transmitter1.failure	SatRelay1.Transmitter2.failure	SatRelay2.Battery1.failure	SatRelay2.Battery2.failure
21	4	SatRelay1.Transmitter1.failure	SatRelay1.Transmitter2.failure	SatRelay2.Transmitter1.failure	SatRelay2.Transmitter2.failure
