Index of /research/SPL/SSBSE_2014/Resources/fms/Cellphone.dimacs_mutants

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 _literalOmission4       2014-06-04 11:45  179   
 _literalNegation16      2014-06-04 11:45  181   
 _literalNegation22      2014-06-04 11:45  183   
 _literalNegation26      2014-06-04 11:45  183   
 _literalNegation6       2014-06-04 11:45  181   
 _literalOmission10      2014-06-04 11:45  179   
 _literalOmission18      2014-06-04 11:45  180   
 _literalOmission2       2014-06-04 11:45  179   
 _literalNegation1       2014-06-04 11:45  183   
 _literalNegation7       2014-06-04 11:45  183   
 _literalOmission47      2014-06-04 11:45  179   
 _literalNegation15      2014-06-04 11:45  183   
 _literalNegation8       2014-06-04 11:45  181   
 _literalOmission12      2014-06-04 11:45  179   
 _literalOmission8       2014-06-04 11:45  179   
 _literalNegation12      2014-06-04 11:45  181   
 _literalOmission29      2014-06-04 11:45  179   
 _operatorOr2            2014-06-04 11:45  184   
 _literalOmission33      2014-06-04 11:45  179   
 _literalNegation5       2014-06-04 11:45  183   
 _literalNegation45      2014-06-04 11:45  183   
 _literalNegation28      2014-06-04 11:45  183   
 _literalNegation41      2014-06-04 11:45  183   
 _literalOmission14      2014-06-04 11:45  179   
 _literalNegation33      2014-06-04 11:45  181   
 _literalNegation38      2014-06-04 11:45  183   
 _literalOmission42      2014-06-04 11:45  178   
 _literalNegation17      2014-06-04 11:45  183   
 _literalOmission13      2014-06-04 11:45  180   
 _literalOmission15      2014-06-04 11:45  180   
 _literalNegation25      2014-06-04 11:45  181   
 _literalOmission40      2014-06-04 11:45  179   
 _literalOmission44      2014-06-04 11:45  179   
 _literalNegation34      2014-06-04 11:45  181   
 _operatorOr19           2014-06-04 11:45  184   
 _operatorOr6            2014-06-04 11:45  184   
 _literalNegation11      2014-06-04 11:45  183   
 _operatorOr11           2014-06-04 11:45  184   
 _literalNegation37      2014-06-04 11:45  181   
 _literalNegation35      2014-06-04 11:45  181   
 _literalNegation43      2014-06-04 11:45  181   
 _literalNegation10      2014-06-04 11:45  181   
 _literalNegation9       2014-06-04 11:45  183   
 _operatorOr15           2014-06-04 11:45  184   
 _literalOmission46      2014-06-04 11:45  178   
 _literalNegation23      2014-06-04 11:45  181   
 _literalNegation32      2014-06-04 11:45  181   
 _literalOmission26      2014-06-04 11:45  180   
 _operatorOr8            2014-06-04 11:45  184   
 _literalNegation42      2014-06-04 11:45  181   
 _literalNegation31      2014-06-04 11:45  181   
 _literalNegation44      2014-06-04 11:45  181   
 _operatorOr17           2014-06-04 11:45  184   
 _literalOmission36      2014-06-04 11:45  180   
 _literalOmission9       2014-06-04 11:45  180   
 _literalOmission31      2014-06-04 11:45  179   
 _literalOmission30      2014-06-04 11:45  179   
 _literalOmission7       2014-06-04 11:45  180   
 _literalNegation3       2014-06-04 11:45  183   
 _literalNegation19      2014-06-04 11:45  181   
 _literalOmission17      2014-06-04 11:45  180   
 _literalOmission43      2014-06-04 11:45  178   
 _literalOmission23      2014-06-04 11:45  179   
 _literalOmission41      2014-06-04 11:45  179   
 _literalOmission1       2014-06-04 11:45  178   
 _literalOmission3       2014-06-04 11:45  180   
 _operatorOr10           2014-06-04 11:45  184   
 _literalNegation4       2014-06-04 11:45  181   
 _literalNegation36      2014-06-04 11:45  183   
 _literalNegation13      2014-06-04 11:45  183   
 _literalNegation2       2014-06-04 11:45  181   
 _literalOmission16      2014-06-04 11:45  179   
 _literalNegation46      2014-06-04 11:45  181   
 _operatorOr9            2014-06-04 11:45  184   
 _literalOmission32      2014-06-04 11:45  179   
 _literalOmission21      2014-06-04 11:45  179   
 _literalOmission19      2014-06-04 11:45  179   
 _literalOmission25      2014-06-04 11:45  179   
 _literalOmission34      2014-06-04 11:45  179   
 _operatorOr7            2014-06-04 11:45  184   
 _literalNegation39      2014-06-04 11:45  181   
 _operatorOr5            2014-06-04 11:45  184   
 _literalNegation27      2014-06-04 11:45  183   
 _literalNegation20      2014-06-04 11:45  183   
 _literalOmission27      2014-06-04 11:45  180   
 _literalOmission5       2014-06-04 11:45  180   
 _operatorOr1            2014-06-04 11:45  184   
 _literalOmission24      2014-06-04 11:45  180   
 _operatorOr21           2014-06-04 11:45  184   
 _literalNegation18      2014-06-04 11:45  183   
 _literalOmission45      2014-06-04 11:45  180   
 _literalNegation29      2014-06-04 11:45  181   
 _literalOmission39      2014-06-04 11:45  179   
 _operatorOr23           2014-06-04 11:45  184   
 _operatorOr14           2014-06-04 11:45  184   
 _literalOmission20      2014-06-04 11:45  180   
 _operatorOr20           2014-06-04 11:45  184   
 _operatorOr12           2014-06-04 11:45  184   
 _operatorOr4            2014-06-04 11:45  184   
 _operatorOr25           2014-06-04 11:45  184   
 _operatorOr18           2014-06-04 11:45  184   
 _literalOmission11      2014-06-04 11:45  180   
 _operatorOr22           2014-06-04 11:45  184   
 _operatorOr13           2014-06-04 11:45  184   
 _literalNegation24      2014-06-04 11:45  183   
 _literalOmission28      2014-06-04 11:45  180   
 _literalOmission35      2014-06-04 11:45  178   
 _literalNegation14      2014-06-04 11:45  181   
 _operatorOr24           2014-06-04 11:45  184   
 _literalNegation40      2014-06-04 11:45  183   
 _literalOmission6       2014-06-04 11:45  179   
 _literalOmission38      2014-06-04 11:45  180   
 _literalNegation47      2014-06-04 11:45  181   
 _operatorOr16           2014-06-04 11:45  184   
 _literalNegation21      2014-06-04 11:45  181   
 _literalOmission22      2014-06-04 11:45  180   
 _literalOmission37      2014-06-04 11:45  178   
 _operatorOr3            2014-06-04 11:45  184   
 _literalNegation30      2014-06-04 11:45  181