Index of /research/SPL/SSBSE_2014/Resources/fms/SmartHomev2.2.dimacs_mutants
Name Last modified Size Description
![[PARENTDIR]](/__ovh_icons/back.gif)
Parent Directory -
![[ ]](/__ovh_icons/unknown.gif)
_literalNegation80 2014-06-04 11:41 718
_literalOmission75 2014-06-04 11:41 717
_literalOmission104 2014-06-04 11:41 715
_literalOmission91 2014-06-04 11:41 716
_literalOmission4 2014-06-04 11:41 716
_literalNegation60 2014-06-04 11:41 718
_literalNegation74 2014-06-04 11:41 718
_operatorOr56 2014-06-04 11:41 721
_literalNegation16 2014-06-04 11:41 718
_literalNegation22 2014-06-04 11:41 718
_literalNegation140 2014-06-04 11:41 720
_literalNegation134 2014-06-04 11:41 720
_literalOmission135 2014-06-04 11:41 715
_literalNegation26 2014-06-04 11:41 718
_operatorOr66 2014-06-04 11:41 721
_literalNegation158 2014-06-04 11:41 718
_operatorOr51 2014-06-04 11:41 721
_literalNegation132 2014-06-04 11:41 720
_literalNegation6 2014-06-04 11:41 718
_literalNegation168 2014-06-04 11:41 720
_literalOmission10 2014-06-04 11:41 716
_literalOmission18 2014-06-04 11:41 716
_literalOmission2 2014-06-04 11:41 716
_literalNegation1 2014-06-04 11:41 720
_literalNegation76 2014-06-04 11:41 718
_literalNegation118 2014-06-04 11:41 718
_literalNegation7 2014-06-04 11:41 720
_literalOmission47 2014-06-04 11:41 717
_literalOmission133 2014-06-04 11:41 715
_literalNegation55 2014-06-04 11:41 720
_literalNegation137 2014-06-04 11:41 718
_literalNegation15 2014-06-04 11:41 720
_literalNegation78 2014-06-04 11:41 718
_literalNegation8 2014-06-04 11:41 718
_literalOmission12 2014-06-04 11:41 716
_operatorOr30 2014-06-04 11:41 721
_literalOmission172 2014-06-04 11:41 715
_operatorOr80 2014-06-04 11:41 721
_literalOmission62 2014-06-04 11:41 715
_operatorOr47 2014-06-04 11:41 721
_literalOmission8 2014-06-04 11:41 716
_operatorOr72 2014-06-04 11:41 721
_literalNegation49 2014-06-04 11:41 720
_literalOmission58 2014-06-04 11:41 715
_literalOmission154 2014-06-04 11:41 716
_literalNegation50 2014-06-04 11:41 718
_operatorOr61 2014-06-04 11:41 721
_literalNegation12 2014-06-04 11:41 718
_literalOmission166 2014-06-04 11:41 715
_literalOmission29 2014-06-04 11:41 717
_literalNegation89 2014-06-04 11:41 720
_operatorOr53 2014-06-04 11:41 721
_literalOmission124 2014-06-04 11:41 715
_literalNegation110 2014-06-04 11:41 718
_operatorOr84 2014-06-04 11:41 721
_literalOmission83 2014-06-04 11:41 717
_literalOmission66 2014-06-04 11:41 716
_literalNegation119 2014-06-04 11:41 720
_literalNegation112 2014-06-04 11:41 718
_literalNegation166 2014-06-04 11:41 718
_literalOmission157 2014-06-04 11:41 716
_literalOmission57 2014-06-04 11:41 716
_operatorOr2 2014-06-04 11:41 721
_operatorOr78 2014-06-04 11:41 721
_literalOmission59 2014-06-04 11:41 717
_literalOmission121 2014-06-04 11:41 716
_operatorOr63 2014-06-04 11:41 721
_literalOmission60 2014-06-04 11:41 715
_literalOmission103 2014-06-04 11:41 716
_operatorOr85 2014-06-04 11:41 721
_literalOmission61 2014-06-04 11:41 717
_literalOmission33 2014-06-04 11:41 717
_literalOmission78 2014-06-04 11:41 716
_literalNegation64 2014-06-04 11:41 718
_literalNegation5 2014-06-04 11:41 720
_operatorOr57 2014-06-04 11:41 721
_literalOmission145 2014-06-04 11:41 715
_literalNegation45 2014-06-04 11:41 720
_literalOmission92 2014-06-04 11:41 715
_literalOmission134 2014-06-04 11:41 716
_literalNegation28 2014-06-04 11:41 718
_literalOmission93 2014-06-04 11:41 716
_literalNegation41 2014-06-04 11:41 720
_operatorOr34 2014-06-04 11:41 721
_literalOmission158 2014-06-04 11:41 715
_literalOmission14 2014-06-04 11:41 716
_literalNegation57 2014-06-04 11:41 720
_operatorOr76 2014-06-04 11:41 721
_literalNegation157 2014-06-04 11:41 720
_literalNegation69 2014-06-04 11:41 720
_literalNegation33 2014-06-04 11:41 720
_literalNegation130 2014-06-04 11:41 720
_literalNegation165 2014-06-04 11:41 720
_literalNegation65 2014-06-04 11:41 720
_literalNegation38 2014-06-04 11:41 718
_literalOmission42 2014-06-04 11:41 715
_literalNegation17 2014-06-04 11:41 720
_literalOmission13 2014-06-04 11:41 717
_literalNegation107 2014-06-04 11:41 720
_literalNegation70 2014-06-04 11:41 718
_operatorOr39 2014-06-04 11:41 721
_literalOmission15 2014-06-04 11:41 717
_literalNegation25 2014-06-04 11:41 720
_literalNegation167 2014-06-04 11:41 720
_literalNegation71 2014-06-04 11:41 720
_literalOmission64 2014-06-04 11:41 715
_literalNegation95 2014-06-04 11:41 720
_literalOmission130 2014-06-04 11:41 716
_literalOmission95 2014-06-04 11:41 716
_literalNegation145 2014-06-04 11:41 718
_literalOmission143 2014-06-04 11:41 715
_literalNegation156 2014-06-04 11:41 718
_literalNegation79 2014-06-04 11:41 720
_literalNegation93 2014-06-04 11:41 720
_operatorOr55 2014-06-04 11:41 721
_operatorOr73 2014-06-04 11:41 721
_literalOmission101 2014-06-04 11:41 716
_operatorOr83 2014-06-04 11:41 721
_literalOmission40 2014-06-04 11:41 715
_literalOmission161 2014-06-04 11:41 716
_literalNegation56 2014-06-04 11:41 718
_literalOmission44 2014-06-04 11:41 716
_literalNegation34 2014-06-04 11:41 718
_operatorOr71 2014-06-04 11:41 721
_literalNegation102 2014-06-04 11:41 718
_literalNegation108 2014-06-04 11:41 718
_literalNegation122 2014-06-04 11:41 718
_operatorOr54 2014-06-04 11:41 721
_operatorOr19 2014-06-04 11:41 721
_operatorOr6 2014-06-04 11:41 721
_operatorOr31 2014-06-04 11:41 721
_operatorOr68 2014-06-04 11:41 721
_literalOmission54 2014-06-04 11:41 715
_literalOmission87 2014-06-04 11:41 717
_literalOmission132 2014-06-04 11:41 716
_literalNegation109 2014-06-04 11:41 720
_literalOmission82 2014-06-04 11:41 715
_literalNegation72 2014-06-04 11:41 718
_literalOmission153 2014-06-04 11:41 715
_operatorOr74 2014-06-04 11:41 721
_literalNegation11 2014-06-04 11:41 720
_literalNegation143 2014-06-04 11:41 718
_literalOmission115 2014-06-04 11:41 716
_literalNegation162 2014-06-04 11:41 718
_operatorOr11 2014-06-04 11:41 721
_literalNegation37 2014-06-04 11:41 720
_literalOmission119 2014-06-04 11:41 716
_literalNegation35 2014-06-04 11:41 720
_literalOmission79 2014-06-04 11:41 716
_literalOmission48 2014-06-04 11:41 715
_literalNegation106 2014-06-04 11:41 718
_literalNegation43 2014-06-04 11:41 720
_literalNegation10 2014-06-04 11:41 718
_literalOmission116 2014-06-04 11:41 715
_literalNegation82 2014-06-04 11:41 718
_literalNegation9 2014-06-04 11:41 720
_literalOmission85 2014-06-04 11:41 717
_operatorOr15 2014-06-04 11:41 721
_literalOmission168 2014-06-04 11:41 716
_operatorOr82 2014-06-04 11:41 721
_literalOmission46 2014-06-04 11:41 715
_literalOmission80 2014-06-04 11:41 715
_literalOmission110 2014-06-04 11:41 715
_literalNegation147 2014-06-04 11:41 720
_literalOmission106 2014-06-04 11:41 715
_literalNegation98 2014-06-04 11:41 718
_literalOmission117 2014-06-04 11:41 716
_literalNegation23 2014-06-04 11:41 720
_literalNegation32 2014-06-04 11:41 718
_operatorOr90 2014-06-04 11:41 721
_literalOmission127 2014-06-04 11:41 716
_operatorOr89 2014-06-04 11:41 721
_literalOmission129 2014-06-04 11:41 716
_literalNegation75 2014-06-04 11:41 720
_literalOmission26 2014-06-04 11:41 715
_literalNegation124 2014-06-04 11:41 718
_operatorOr8 2014-06-04 11:41 721
_literalNegation42 2014-06-04 11:41 718
_literalOmission77 2014-06-04 11:41 717
_literalNegation111 2014-06-04 11:41 720
_literalNegation31 2014-06-04 11:41 720
_operatorOr50 2014-06-04 11:41 721
_literalNegation59 2014-06-04 11:41 720
_literalOmission89 2014-06-04 11:41 716
_literalOmission112 2014-06-04 11:41 715
_literalOmission140 2014-06-04 11:41 716
_literalOmission142 2014-06-04 11:41 716
_literalOmission128 2014-06-04 11:41 715
_literalNegation44 2014-06-04 11:41 718
_literalOmission144 2014-06-04 11:41 716
_literalOmission136 2014-06-04 11:41 716
_operatorOr17 2014-06-04 11:41 721
_literalOmission36 2014-06-04 11:41 715
_literalNegation142 2014-06-04 11:41 720
_literalOmission9 2014-06-04 11:41 717
_literalOmission74 2014-06-04 11:41 715
_literalOmission109 2014-06-04 11:41 716
_literalOmission86 2014-06-04 11:41 715
_literalOmission137 2014-06-04 11:41 715
_literalOmission148 2014-06-04 11:41 716
_literalOmission31 2014-06-04 11:41 717
_literalNegation73 2014-06-04 11:41 720
_literalOmission107 2014-06-04 11:41 716
_literalNegation97 2014-06-04 11:41 720
_literalNegation127 2014-06-04 11:41 720
_literalNegation83 2014-06-04 11:41 720
_literalOmission105 2014-06-04 11:41 716
_literalOmission138 2014-06-04 11:41 716
_operatorOr28 2014-06-04 11:41 721
_literalOmission97 2014-06-04 11:41 716
_literalNegation160 2014-06-04 11:41 718
_literalNegation151 2014-06-04 11:41 718
_literalOmission113 2014-06-04 11:41 716
_literalOmission30 2014-06-04 11:41 715
_literalOmission125 2014-06-04 11:41 716
_literalOmission149 2014-06-04 11:41 715
_literalOmission7 2014-06-04 11:41 717
_literalNegation153 2014-06-04 11:41 718
_operatorOr42 2014-06-04 11:41 721
_literalNegation53 2014-06-04 11:41 720
_literalNegation154 2014-06-04 11:41 720
_literalNegation115 2014-06-04 11:41 720
_literalNegation123 2014-06-04 11:41 720
_literalNegation94 2014-06-04 11:41 718
_literalOmission167 2014-06-04 11:41 716
_literalNegation3 2014-06-04 11:41 720
_operatorOr58 2014-06-04 11:41 721
_operatorOr70 2014-06-04 11:41 721
_literalNegation121 2014-06-04 11:41 720
_literalNegation138 2014-06-04 11:41 720
_operatorOr62 2014-06-04 11:41 721
_operatorOr48 2014-06-04 11:41 721
_literalOmission90 2014-06-04 11:41 716
_operatorOr75 2014-06-04 11:41 721
_literalOmission139 2014-06-04 11:41 715
_operatorOr45 2014-06-04 11:41 721
_operatorOr87 2014-06-04 11:41 721
_literalNegation19 2014-06-04 11:41 720
_literalOmission17 2014-06-04 11:41 717
_literalOmission76 2014-06-04 11:41 715
_literalOmission43 2014-06-04 11:41 717
_literalNegation114 2014-06-04 11:41 718
_literalOmission159 2014-06-04 11:41 716
_literalOmission169 2014-06-04 11:41 715
_literalNegation149 2014-06-04 11:41 718
_literalOmission150 2014-06-04 11:41 716
_literalNegation117 2014-06-04 11:41 720
_operatorOr32 2014-06-04 11:41 721
_literalOmission23 2014-06-04 11:41 717
_literalNegation66 2014-06-04 11:41 718
_literalOmission141 2014-06-04 11:41 715
_literalNegation54 2014-06-04 11:41 718
_literalOmission71 2014-06-04 11:41 717
_literalOmission120 2014-06-04 11:41 715
_literalNegation86 2014-06-04 11:41 718
_literalOmission160 2014-06-04 11:41 715
_literalNegation101 2014-06-04 11:41 720
_operatorOr41 2014-06-04 11:41 721
_literalOmission41 2014-06-04 11:41 717
_literalOmission1 2014-06-04 11:41 715
_literalOmission3 2014-06-04 11:41 717
_literalNegation170 2014-06-04 11:41 718
_operatorOr52 2014-06-04 11:41 721
_literalNegation58 2014-06-04 11:41 718
_operatorOr10 2014-06-04 11:41 721
_literalNegation96 2014-06-04 11:41 718
_literalNegation4 2014-06-04 11:41 718
_literalNegation141 2014-06-04 11:41 718
_literalOmission171 2014-06-04 11:41 715
_literalNegation36 2014-06-04 11:41 718
_literalOmission49 2014-06-04 11:41 717
_literalNegation13 2014-06-04 11:41 720
_literalOmission72 2014-06-04 11:41 716
_literalOmission155 2014-06-04 11:41 716
_literalNegation133 2014-06-04 11:41 718
_literalNegation2 2014-06-04 11:41 718
_operatorOr79 2014-06-04 11:41 721
_literalNegation100 2014-06-04 11:41 718
_literalOmission16 2014-06-04 11:41 716
_operatorOr81 2014-06-04 11:41 721
_literalNegation46 2014-06-04 11:41 718
_literalNegation155 2014-06-04 11:41 720
_literalOmission152 2014-06-04 11:41 716
_literalOmission81 2014-06-04 11:41 717
_literalOmission96 2014-06-04 11:41 715
_literalNegation92 2014-06-04 11:41 718
_literalNegation169 2014-06-04 11:41 718
_operatorOr67 2014-06-04 11:41 721
_operatorOr9 2014-06-04 11:41 721
_literalOmission32 2014-06-04 11:41 715
_operatorOr38 2014-06-04 11:41 721
_literalOmission63 2014-06-04 11:41 717
_literalNegation150 2014-06-04 11:41 720
_operatorOr43 2014-06-04 11:41 721
_literalNegation148 2014-06-04 11:41 720
_literalNegation164 2014-06-04 11:41 718
_literalOmission100 2014-06-04 11:41 715
_literalNegation136 2014-06-04 11:41 720
_operatorOr64 2014-06-04 11:41 721
_literalOmission21 2014-06-04 11:41 717
_literalOmission19 2014-06-04 11:41 717
_literalOmission131 2014-06-04 11:41 715
_literalOmission114 2014-06-04 11:41 715
_literalNegation103 2014-06-04 11:41 720
_literalNegation99 2014-06-04 11:41 720
_literalNegation68 2014-06-04 11:41 720
_literalOmission25 2014-06-04 11:41 717
_literalOmission34 2014-06-04 11:41 715
_literalOmission147 2014-06-04 11:41 716
_literalOmission123 2014-06-04 11:41 716
_operatorOr7 2014-06-04 11:41 721
_literalOmission102 2014-06-04 11:41 715
_literalNegation39 2014-06-04 11:41 720
_literalNegation172 2014-06-04 11:41 718
_literalOmission84 2014-06-04 11:41 715
_operatorOr37 2014-06-04 11:41 721
_operatorOr33 2014-06-04 11:41 721
_literalOmission164 2014-06-04 11:41 715
_literalNegation125 2014-06-04 11:41 720
_operatorOr35 2014-06-04 11:41 721
_literalNegation120 2014-06-04 11:41 718
_literalNegation67 2014-06-04 11:41 720
_literalNegation161 2014-06-04 11:41 720
_operatorOr49 2014-06-04 11:41 721
_literalNegation171 2014-06-04 11:41 718
_operatorOr5 2014-06-04 11:41 721
_literalNegation77 2014-06-04 11:41 720
_literalNegation135 2014-06-04 11:41 718
_literalNegation91 2014-06-04 11:41 720
_literalNegation27 2014-06-04 11:41 720
_literalNegation104 2014-06-04 11:41 718
_literalNegation20 2014-06-04 11:41 718
_literalNegation90 2014-06-04 11:41 720
_literalOmission146 2014-06-04 11:41 716
_literalOmission27 2014-06-04 11:41 717
_literalOmission69 2014-06-04 11:41 716
_literalOmission5 2014-06-04 11:41 717
_operatorOr27 2014-06-04 11:41 721
_literalNegation63 2014-06-04 11:41 720
_literalNegation146 2014-06-04 11:41 720
_operatorOr1 2014-06-04 11:41 721
_literalNegation128 2014-06-04 11:41 718
_literalOmission24 2014-06-04 11:41 715
_operatorOr46 2014-06-04 11:41 721
_literalOmission53 2014-06-04 11:41 716
_literalOmission68 2014-06-04 11:41 716
_literalOmission162 2014-06-04 11:41 715
_operatorOr21 2014-06-04 11:41 721
_literalNegation18 2014-06-04 11:41 718
_literalOmission45 2014-06-04 11:41 716
_literalOmission99 2014-06-04 11:41 716
_literalNegation29 2014-06-04 11:41 720
_literalOmission39 2014-06-04 11:41 717
_literalNegation88 2014-06-04 11:41 718
_operatorOr23 2014-06-04 11:41 721
_literalNegation87 2014-06-04 11:41 720
_literalOmission94 2014-06-04 11:41 715
_literalOmission151 2014-06-04 11:41 715
_literalOmission65 2014-06-04 11:41 717
_literalNegation48 2014-06-04 11:41 718
_literalOmission50 2014-06-04 11:41 715
_operatorOr14 2014-06-04 11:41 721
_operatorOr26 2014-06-04 11:41 721
_literalOmission165 2014-06-04 11:41 716
_literalOmission20 2014-06-04 11:41 716
_operatorOr20 2014-06-04 11:41 721
_literalNegation113 2014-06-04 11:41 720
_operatorOr12 2014-06-04 11:41 721
_literalOmission67 2014-06-04 11:41 716
_operatorOr4 2014-06-04 11:41 721
_operatorOr25 2014-06-04 11:41 721
_literalOmission122 2014-06-04 11:41 715
_literalOmission163 2014-06-04 11:41 716
_literalNegation144 2014-06-04 11:41 720
_literalNegation52 2014-06-04 11:41 718
_literalOmission70 2014-06-04 11:41 715
_literalNegation51 2014-06-04 11:41 720
_operatorOr18 2014-06-04 11:41 721
_literalNegation163 2014-06-04 11:41 720
_literalNegation131 2014-06-04 11:41 718
_literalOmission11 2014-06-04 11:41 717
_operatorOr22 2014-06-04 11:41 721
_operatorOr13 2014-06-04 11:41 721
_literalNegation81 2014-06-04 11:41 720
_literalOmission126 2014-06-04 11:41 715
_literalNegation84 2014-06-04 11:41 718
_literalNegation62 2014-06-04 11:41 718
_literalNegation24 2014-06-04 11:41 718
_literalOmission56 2014-06-04 11:41 716
_literalNegation85 2014-06-04 11:41 720
_literalOmission52 2014-06-04 11:41 716
_literalOmission28 2014-06-04 11:41 715
_literalOmission35 2014-06-04 11:41 717
_literalNegation139 2014-06-04 11:41 718
_literalNegation14 2014-06-04 11:41 718
_operatorOr86 2014-06-04 11:41 721
_literalNegation129 2014-06-04 11:41 720
_literalOmission118 2014-06-04 11:41 715
_operatorOr24 2014-06-04 11:41 721
_literalNegation40 2014-06-04 11:41 718
_literalOmission6 2014-06-04 11:41 716
_literalNegation126 2014-06-04 11:41 718
_literalOmission38 2014-06-04 11:41 715
_literalNegation47 2014-06-04 11:41 720
_operatorOr16 2014-06-04 11:41 721
_operatorOr65 2014-06-04 11:41 721
_operatorOr40 2014-06-04 11:41 721
_literalNegation21 2014-06-04 11:41 720
_operatorOr69 2014-06-04 11:41 721
_literalNegation159 2014-06-04 11:41 720
_literalNegation116 2014-06-04 11:41 718
_literalOmission22 2014-06-04 11:41 716
_literalOmission88 2014-06-04 11:41 716
_operatorOr36 2014-06-04 11:41 721
_operatorOr29 2014-06-04 11:41 721
_operatorOr88 2014-06-04 11:41 721
_literalOmission73 2014-06-04 11:41 716
_literalOmission37 2014-06-04 11:41 717
_operatorOr60 2014-06-04 11:41 721
_literalOmission55 2014-06-04 11:41 717
_literalOmission111 2014-06-04 11:41 716
_literalOmission108 2014-06-04 11:41 715
_operatorOr77 2014-06-04 11:41 721
_literalOmission51 2014-06-04 11:41 717
_literalNegation105 2014-06-04 11:41 720
_operatorOr44 2014-06-04 11:41 721
_literalOmission98 2014-06-04 11:41 715
_literalNegation61 2014-06-04 11:41 720
_literalOmission170 2014-06-04 11:41 715
_literalNegation152 2014-06-04 11:41 720
_operatorOr3 2014-06-04 11:41 721
_operatorOr59 2014-06-04 11:41 721
_literalOmission156 2014-06-04 11:41 715
_literalNegation30 2014-06-04 11:41 718