Comparison of Extended IPO Algorithm (FireEye)
with Other Covering Array Generators

Input (12 variables)
Cur_Vertical_Sep : { 299, 300, 601 };
High_Confidence : boolean;
Two_of_Three_Reports_Valid : boolean;
Own_Tracked_Alt : { 1, 2 };
Other_Tracked_Alt : { 1, 2 };
Own_Tracked_Alt_Rate : { 600, 601 };
Alt_Layer_Value : 0..3;
Up_Separation : { 0, 399, 400, 499, 500, 639, 640, 739, 740, 840 };
Down_Separation : { 0, 399, 400, 499, 500, 639, 640, 739, 740, 840 };
Other_RAC : { NO_INTENT, DO_NOT_CLIMB, DO_NOT_DESCEND };
Other_Capability : { TCAS_TA, OTHER };
Climb_Inhibit : boolean;