Conflicts Focus MR Goal: Achieve Thrust A conflict, C, is an assignment to a subset of the control variables that entails the negation of the goal Performance on Cassini Number of components: 80 Number of clauses: 11.101 Failure MI time MR time scenario(Spare 5 in sec)I(Spare 5 in sec EGA 1.7 realm 2.7 IRU 1.5 l.6 EGA burn 2.2 3.6 ACC 5 1.9 ME too ot 5.5 6.125 Goal: Achieve Thrust A conflict, C, is an assignment to a subset of the control variables that entails the negation of the goal. Conflicts Focus MR 26 Performance on Cassini Failure scenario MI time (Sparc 5 in sec) MR time (Sparc 5 in sec) MI time (est Sparc 5 sec) MR time (est Sparc 5 sec) EGA preaim 2.2 1.7 .07 .17 BPLVD 2.7 2.9 .18 .29 IRU 1.5 1.6 .02 .03 EGA burn 2.2 3.6 .08 .03 ACC 2.5 1.9 .04 .02 ME too hot 2.4 3.8 .18 .78 Acc low 5.5 6.1 .25 .05 Number of components: 80 Number of clauses: 11,101