data/clasp-3.3.5/CHANGES:49: OLL ==> ALL, OLE, OLD, OLLY, OIL data/clasp-3.3.5/CHANGES:101: extentions ==> extensions data/clasp-3.3.5/CHANGES:171: completition ==> completion data/clasp-3.3.5/CHANGES:254: otions ==> options data/clasp-3.3.5/CHANGES:337: disbaled ==> disabled data/clasp-3.3.5/CHANGES:467: splitted ==> split data/clasp-3.3.5/CHANGES:483: unitialized ==> uninitialized data/clasp-3.3.5/CHANGES:686: afer ==> after data/clasp-3.3.5/app/clasp_app.h:45: knwon ==> known data/clasp-3.3.5/clasp/clause.h:40: lits ==> list data/clasp-3.3.5/clasp/clause.h:44: lits ==> list data/clasp-3.3.5/clasp/clause.h:45: lits ==> list data/clasp-3.3.5/clasp/clause.h:45: lits ==> list data/clasp-3.3.5/clasp/clause.h:45: lits ==> list data/clasp-3.3.5/clasp/clause.h:47: lits ==> list data/clasp-3.3.5/clasp/clause.h:73: lits ==> list data/clasp-3.3.5/clasp/clause.h:148: lits ==> list data/clasp-3.3.5/clasp/clause.h:148: lits ==> list data/clasp-3.3.5/clasp/clause.h:156: lits ==> list data/clasp-3.3.5/clasp/clause.h:157: lits ==> list data/clasp-3.3.5/clasp/clause.h:168: lits ==> list data/clasp-3.3.5/clasp/clause.h:211: lits ==> list data/clasp-3.3.5/clasp/clause.h:220: lits ==> list data/clasp-3.3.5/clasp/clause.h:220: lits ==> list data/clasp-3.3.5/clasp/clause.h:223: lits ==> list data/clasp-3.3.5/clasp/clause.h:226: lits ==> list data/clasp-3.3.5/clasp/clause.h:228: lits ==> list data/clasp-3.3.5/clasp/clause.h:231: lits ==> list data/clasp-3.3.5/clasp/clause.h:236: lits ==> list data/clasp-3.3.5/clasp/clause.h:252: lits ==> list data/clasp-3.3.5/clasp/clause.h:326: lits ==> list data/clasp-3.3.5/clasp/clause.h:355: lits ==> list data/clasp-3.3.5/clasp/clause.h:358: lits ==> list data/clasp-3.3.5/clasp/clause.h:360: lits ==> list data/clasp-3.3.5/clasp/clause.h:372: lits ==> list data/clasp-3.3.5/clasp/clause.h:451: lits ==> list data/clasp-3.3.5/clasp/clause.h:462: lits ==> list data/clasp-3.3.5/clasp/clause.h:521: lits ==> list data/clasp-3.3.5/clasp/clause.h:524: lits ==> list data/clasp-3.3.5/clasp/clause.h:536: lits ==> list data/clasp-3.3.5/clasp/clingo.h:242: lits ==> list data/clasp-3.3.5/clasp/clingo.h:243: lits ==> list data/clasp-3.3.5/clasp/constraint.h:108: lits ==> list data/clasp-3.3.5/clasp/constraint.h:110: lits ==> list data/clasp-3.3.5/clasp/constraint.h:318: implemet ==> implement data/clasp-3.3.5/clasp/constraint.h:497: lits ==> list data/clasp-3.3.5/clasp/constraint.h:501: lits ==> list data/clasp-3.3.5/clasp/constraint.h:504: lits ==> list data/clasp-3.3.5/clasp/constraint.h:505: lits ==> list data/clasp-3.3.5/clasp/dependency_graph.h:200: sentinal ==> sentinel data/clasp-3.3.5/clasp/heuristics.h:68: lits ==> list data/clasp-3.3.5/clasp/heuristics.h:69: lits ==> list data/clasp-3.3.5/clasp/heuristics.h:179: lits ==> list data/clasp-3.3.5/clasp/heuristics.h:180: lits ==> list data/clasp-3.3.5/clasp/heuristics.h:267: lits ==> list data/clasp-3.3.5/clasp/heuristics.h:268: lits ==> list data/clasp-3.3.5/clasp/logic_program.h:137: completly ==> completely data/clasp-3.3.5/clasp/logic_program.h:340: lits ==> list data/clasp-3.3.5/clasp/logic_program.h:345: lits ==> list data/clasp-3.3.5/clasp/logic_program.h:348: lits ==> list data/clasp-3.3.5/clasp/logic_program.h:434: lits ==> list data/clasp-3.3.5/clasp/logic_program.h:506: lits ==> list data/clasp-3.3.5/clasp/logic_program.h:549: lits ==> list data/clasp-3.3.5/clasp/logic_program.h:647: lits ==> list data/clasp-3.3.5/clasp/logic_program.h:651: lits ==> list data/clasp-3.3.5/clasp/logic_program_types.h:517: lits ==> list data/clasp-3.3.5/clasp/logic_program_types.h:519: lits ==> list data/clasp-3.3.5/clasp/logic_program_types.h:520: lits ==> list data/clasp-3.3.5/clasp/logic_program_types.h:538: lits ==> list data/clasp-3.3.5/clasp/logic_program_types.h:538: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:105: ajusted ==> adjusted data/clasp-3.3.5/clasp/minimize_constraint.h:108: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:110: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:110: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:195: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:212: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:336: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:437: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:476: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:478: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:479: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:480: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:482: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:522: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:525: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:527: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:529: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:531: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:555: lits ==> list data/clasp-3.3.5/clasp/minimize_constraint.h:555: lits ==> list data/clasp-3.3.5/clasp/parser.h:177: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:134: occuring ==> occurring data/clasp-3.3.5/clasp/program_builder.h:140: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:141: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:187: occuring ==> occurring data/clasp-3.3.5/clasp/program_builder.h:187: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:189: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:194: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:198: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:201: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:212: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:213: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:214: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:214: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:224: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:225: lits ==> list data/clasp-3.3.5/clasp/program_builder.h:243: lits ==> list data/clasp-3.3.5/clasp/satelite.h:38: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:46: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:50: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:52: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:53: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:58: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:61: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:77: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:77: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:78: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:78: SatElite ==> satellite data/clasp-3.3.5/clasp/satelite.h:154: lits ==> list data/clasp-3.3.5/clasp/satelite.h:155: lits ==> list data/clasp-3.3.5/clasp/shared_context.h:128: lits ==> list data/clasp-3.3.5/clasp/shared_context.h:145: lits ==> list data/clasp-3.3.5/clasp/shared_context.h:333: lits ==> list data/clasp-3.3.5/clasp/shared_context.h:469: lits ==> list data/clasp-3.3.5/clasp/shared_context.h:584: strat ==> start, strata data/clasp-3.3.5/clasp/shared_context.h:702: associcated ==> associated data/clasp-3.3.5/clasp/shared_context.h:903: lits ==> list data/clasp-3.3.5/clasp/solver.h:130: lits ==> list data/clasp-3.3.5/clasp/solver.h:130: lits ==> list data/clasp-3.3.5/clasp/solver.h:130: lits ==> list data/clasp-3.3.5/clasp/solver.h:241: lits ==> list data/clasp-3.3.5/clasp/solver.h:248: lits ==> list data/clasp-3.3.5/clasp/solver.h:256: lits ==> list data/clasp-3.3.5/clasp/solver.h:286: currrent ==> current data/clasp-3.3.5/clasp/solver.h:292: currrent ==> current data/clasp-3.3.5/clasp/solver.h:461: upto ==> up to data/clasp-3.3.5/clasp/solver.h:718: lits ==> list data/clasp-3.3.5/clasp/solver.h:728: lits ==> list data/clasp-3.3.5/clasp/solver.h:730: lits ==> list data/clasp-3.3.5/clasp/solver.h:733: lits ==> list data/clasp-3.3.5/clasp/solver.h:736: lits ==> list data/clasp-3.3.5/clasp/solver.h:736: lits ==> list data/clasp-3.3.5/clasp/solver.h:736: lits ==> list data/clasp-3.3.5/clasp/solver.h:873: lits ==> list data/clasp-3.3.5/clasp/solver.h:876: lits ==> list data/clasp-3.3.5/clasp/solver.h:1004: lits ==> list data/clasp-3.3.5/clasp/solver.h:1007: lits ==> list data/clasp-3.3.5/clasp/solver.h:1010: lits ==> list data/clasp-3.3.5/clasp/solver.h:1010: lits ==> list data/clasp-3.3.5/clasp/solver.h:1012: lits ==> list data/clasp-3.3.5/clasp/solver.h:1012: lits ==> list data/clasp-3.3.5/clasp/solver.h:1017: lits ==> list data/clasp-3.3.5/clasp/solver.h:1017: lits ==> list data/clasp-3.3.5/clasp/solver_strategies.h:215: OLL ==> ALL, OLE, OLD, OLLY, OIL data/clasp-3.3.5/clasp/solver_types.h:245: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:245: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:251: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:257: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:257: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:257: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:258: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:258: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:258: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:259: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:259: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:259: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:267: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:274: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:274: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:278: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:360: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:363: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:364: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:775: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:776: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:776: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:783: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:786: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:789: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:790: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:791: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:792: lits ==> list data/clasp-3.3.5/clasp/solver_types.h:793: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:39: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:44: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:55: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:56: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:57: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:59: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:116: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:120: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:123: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:136: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:174: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:175: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:176: lits ==> list data/clasp-3.3.5/clasp/weight_constraint.h:185: lits ==> list data/clasp-3.3.5/clasp/cli/clasp_cli_options.inl:52: unsinged ==> unsigned data/clasp-3.3.5/clasp/cli/clasp_cli_options.inl:54: unsinged ==> unsigned data/clasp-3.3.5/clasp/cli/clasp_cli_options.inl:148: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/clasp/cli/clasp_cli_options.inl:158: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/clasp/cli/clasp_cli_options.inl:158: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/clasp/cli/clasp_cli_options.inl:159: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/clasp/mt/parallel_solve.h:323: lits ==> list data/clasp-3.3.5/clasp/mt/parallel_solve.h:325: lits ==> list data/clasp-3.3.5/clasp/mt/parallel_solve.h:362: sentinal ==> sentinel data/clasp-3.3.5/clasp/mt/parallel_solve.h:362: sentinal ==> sentinel data/clasp-3.3.5/clasp/util/pod_vector.h:433: unitialized ==> uninitialized data/clasp-3.3.5/clasp/util/type_manip.h:64: lits ==> list data/clasp-3.3.5/doc/api/clasp.doxy:1098: therefor ==> therefore data/clasp-3.3.5/doc/api/clasp.doxy:1641: empy ==> empty data/clasp-3.3.5/doc/api/clasp.doxy:1642: refered ==> referred data/clasp-3.3.5/examples/example1.cpp:26: directoies ==> directories data/clasp-3.3.5/examples/example1.cpp:65: ouput ==> output data/clasp-3.3.5/examples/example2.cpp:26: directoies ==> directories data/clasp-3.3.5/examples/example3.cpp:25: directoies ==> directories data/clasp-3.3.5/examples/example4.cpp:26: directoies ==> directories data/clasp-3.3.5/libpotassco/potassco/aspif.h:86: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif.h:88: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif.h:94: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif.h:121: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif.h:121: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif.h:122: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif.h:123: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif.h:123: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif.h:124: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif_text.h:85: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif_text.h:86: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif_text.h:89: lits ==> list data/clasp-3.3.5/libpotassco/potassco/aspif_text.h:109: lits ==> list data/clasp-3.3.5/libpotassco/potassco/basic_types.h:160: lits ==> list data/clasp-3.3.5/libpotassco/potassco/basic_types.h:176: lits ==> list data/clasp-3.3.5/libpotassco/potassco/convert.h:57: lits ==> list data/clasp-3.3.5/libpotassco/potassco/convert.h:78: lits ==> list data/clasp-3.3.5/libpotassco/potassco/rule_utils.h:36: lits ==> list data/clasp-3.3.5/libpotassco/potassco/rule_utils.h:53: lits ==> list data/clasp-3.3.5/libpotassco/potassco/smodels.h:142: lits ==> list data/clasp-3.3.5/libpotassco/potassco/smodels.h:148: lits ==> list data/clasp-3.3.5/libpotassco/potassco/smodels.h:152: lits ==> list data/clasp-3.3.5/libpotassco/potassco/smodels.h:162: lits ==> list data/clasp-3.3.5/libpotassco/potassco/smodels.h:163: lits ==> list data/clasp-3.3.5/libpotassco/potassco/smodels.h:165: lits ==> list data/clasp-3.3.5/libpotassco/potassco/string_convert.h:318: Constrcuts ==> Constructs data/clasp-3.3.5/libpotassco/potassco/program_opts/program_options.h:131: formated ==> formatted data/clasp-3.3.5/libpotassco/src/aspif.cpp:208: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:209: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:210: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:210: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:215: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:216: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:217: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:217: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:251: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:252: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:260: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif.cpp:261: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:37: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:116: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:138: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:159: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:166: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:362: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:363: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:368: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:369: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:370: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:370: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:378: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:379: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:379: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:384: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:385: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:399: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:400: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:442: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:443: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:444: lits ==> list data/clasp-3.3.5/libpotassco/src/aspif_text.cpp:444: lits ==> list data/clasp-3.3.5/libpotassco/src/convert.cpp:108: lits ==> list data/clasp-3.3.5/libpotassco/src/convert.cpp:110: lits ==> list data/clasp-3.3.5/libpotassco/src/convert.cpp:111: lits ==> list data/clasp-3.3.5/libpotassco/src/convert.cpp:111: lits ==> list data/clasp-3.3.5/libpotassco/src/convert.cpp:226: lits ==> list data/clasp-3.3.5/libpotassco/src/convert.cpp:227: lits ==> list data/clasp-3.3.5/libpotassco/src/program_options.cpp:774: seperator ==> separator data/clasp-3.3.5/libpotassco/src/program_options.cpp:777: seperator ==> separator data/clasp-3.3.5/libpotassco/src/program_options.cpp:780: seperator ==> separator data/clasp-3.3.5/libpotassco/src/rule_utils.cpp:38: lits ==> list data/clasp-3.3.5/libpotassco/src/rule_utils.cpp:39: lits ==> list data/clasp-3.3.5/libpotassco/src/rule_utils.cpp:223: lits ==> list data/clasp-3.3.5/libpotassco/src/rule_utils.cpp:224: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:262: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:264: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:264: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:282: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:283: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:283: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:285: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:288: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:289: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:289: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:293: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:294: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:335: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:336: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:355: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:359: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:359: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:363: lits ==> list data/clasp-3.3.5/libpotassco/src/smodels.cpp:363: lits ==> list data/clasp-3.3.5/libpotassco/tests/catch.hpp:86: SEH ==> SHE data/clasp-3.3.5/libpotassco/tests/catch.hpp:8048: alpha-numeric ==> alphanumeric data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:68: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:69: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:69: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:81: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:82: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:82: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:133: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:134: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:134: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:140: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:149: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:163: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:164: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:172: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:173: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:173: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:251: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:252: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:253: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_aspif.cpp:254: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_options.cpp:253: fo ==> of, for data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:85: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:86: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:88: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:430: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:431: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:431: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:438: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:439: lits ==> list data/clasp-3.3.5/libpotassco/tests/test_smodels.cpp:439: lits ==> list data/clasp-3.3.5/src/CMakeLists.txt:51: satelite ==> satellite data/clasp-3.3.5/src/CMakeLists.txt:103: satelite ==> satellite data/clasp-3.3.5/src/cb_enumerator.cpp:297: lits ==> list data/clasp-3.3.5/src/clasp_output.cpp:26: satelite ==> satellite data/clasp-3.3.5/src/clasp_output.cpp:846: SatElite ==> satellite data/clasp-3.3.5/src/clasp_output.cpp:852: SatElite ==> satellite data/clasp-3.3.5/src/clasp_output.cpp:892: te ==> the, be, we data/clasp-3.3.5/src/clasp_output.cpp:892: te ==> the, be, we data/clasp-3.3.5/src/clause.cpp:60: lits ==> list data/clasp-3.3.5/src/clause.cpp:62: lits ==> list data/clasp-3.3.5/src/clause.cpp:165: lits ==> list data/clasp-3.3.5/src/clause.cpp:166: lits ==> list data/clasp-3.3.5/src/clause.cpp:166: lits ==> list data/clasp-3.3.5/src/clause.cpp:168: lits ==> list data/clasp-3.3.5/src/clause.cpp:168: lits ==> list data/clasp-3.3.5/src/clause.cpp:168: lits ==> list data/clasp-3.3.5/src/clause.cpp:169: lits ==> list data/clasp-3.3.5/src/clause.cpp:172: lits ==> list data/clasp-3.3.5/src/clause.cpp:172: lits ==> list data/clasp-3.3.5/src/clause.cpp:188: lits ==> list data/clasp-3.3.5/src/clause.cpp:190: lits ==> list data/clasp-3.3.5/src/clause.cpp:202: lits ==> list data/clasp-3.3.5/src/clause.cpp:224: lits ==> list data/clasp-3.3.5/src/clause.cpp:225: lits ==> list data/clasp-3.3.5/src/clause.cpp:229: lits ==> list data/clasp-3.3.5/src/clause.cpp:234: lits ==> list data/clasp-3.3.5/src/clause.cpp:234: lits ==> list data/clasp-3.3.5/src/clause.cpp:235: lits ==> list data/clasp-3.3.5/src/clause.cpp:235: lits ==> list data/clasp-3.3.5/src/clause.cpp:241: lits ==> list data/clasp-3.3.5/src/clause.cpp:241: lits ==> list data/clasp-3.3.5/src/clause.cpp:253: lits ==> list data/clasp-3.3.5/src/clause.cpp:255: lits ==> list data/clasp-3.3.5/src/clause.cpp:263: lits ==> list data/clasp-3.3.5/src/clause.cpp:292: lits ==> list data/clasp-3.3.5/src/clause.cpp:294: lits ==> list data/clasp-3.3.5/src/clause.cpp:304: lits ==> list data/clasp-3.3.5/src/clause.cpp:304: lits ==> list data/clasp-3.3.5/src/clause.cpp:304: lits ==> list data/clasp-3.3.5/src/clause.cpp:305: lits ==> list data/clasp-3.3.5/src/clause.cpp:305: lits ==> list data/clasp-3.3.5/src/clause.cpp:313: lits ==> list data/clasp-3.3.5/src/clause.cpp:314: lits ==> list data/clasp-3.3.5/src/clause.cpp:319: lits ==> list data/clasp-3.3.5/src/clause.cpp:319: lits ==> list data/clasp-3.3.5/src/clause.cpp:320: lits ==> list data/clasp-3.3.5/src/clause.cpp:368: lits ==> list data/clasp-3.3.5/src/clause.cpp:369: lits ==> list data/clasp-3.3.5/src/clause.cpp:373: lits ==> list data/clasp-3.3.5/src/clause.cpp:384: lits ==> list data/clasp-3.3.5/src/clause.cpp:385: lits ==> list data/clasp-3.3.5/src/clause.cpp:390: lits ==> list data/clasp-3.3.5/src/clause.cpp:390: lits ==> list data/clasp-3.3.5/src/clause.cpp:400: lits ==> list data/clasp-3.3.5/src/clause.cpp:404: lits ==> list data/clasp-3.3.5/src/clause.cpp:419: lits ==> list data/clasp-3.3.5/src/clause.cpp:420: lits ==> list data/clasp-3.3.5/src/clause.cpp:421: lits ==> list data/clasp-3.3.5/src/clause.cpp:581: lits ==> list data/clasp-3.3.5/src/clause.cpp:737: lits ==> list data/clasp-3.3.5/src/clause.cpp:738: lits ==> list data/clasp-3.3.5/src/clause.cpp:816: lits ==> list data/clasp-3.3.5/src/clause.cpp:817: lits ==> list data/clasp-3.3.5/src/clause.cpp:827: lits ==> list data/clasp-3.3.5/src/clause.cpp:894: lits ==> list data/clasp-3.3.5/src/clause.cpp:910: lits ==> list data/clasp-3.3.5/src/clause.cpp:977: lits ==> list data/clasp-3.3.5/src/clause.cpp:984: lits ==> list data/clasp-3.3.5/src/clause.cpp:988: lits ==> list data/clasp-3.3.5/src/clause.cpp:990: lits ==> list data/clasp-3.3.5/src/clingo.cpp:286: lits ==> list data/clasp-3.3.5/src/clingo.cpp:287: lits ==> list data/clasp-3.3.5/src/dependency_graph.cpp:48: sentinal ==> sentinel data/clasp-3.3.5/src/enumerator.cpp:68: lits ==> list data/clasp-3.3.5/src/enumerator.cpp:169: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:200: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:203: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:204: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:204: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:204: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:212: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:213: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:213: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:452: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:456: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:457: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:457: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:463: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:464: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:464: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:642: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:645: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:646: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:646: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:652: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:654: lits ==> list data/clasp-3.3.5/src/heuristics.cpp:654: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:360: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:360: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:362: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:362: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:366: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:371: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:458: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:473: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:476: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:477: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:491: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:492: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:499: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:500: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:538: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:680: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:681: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:681: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:755: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:756: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:763: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:768: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:768: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:768: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:774: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:774: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:774: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:774: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:777: wIt ==> with data/clasp-3.3.5/src/logic_program.cpp:777: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:777: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:777: wIt ==> with data/clasp-3.3.5/src/logic_program.cpp:777: wIt ==> with data/clasp-3.3.5/src/logic_program.cpp:778: wIt ==> with data/clasp-3.3.5/src/logic_program.cpp:952: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:952: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1672: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1672: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1675: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1690: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1743: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1867: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1868: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1868: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:1923: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:2106: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:2107: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:2118: lits ==> list data/clasp-3.3.5/src/logic_program.cpp:2119: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:80: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:115: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:662: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:664: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:668: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:668: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:669: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:669: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:680: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:691: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:694: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:694: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:715: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:865: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:866: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:892: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:903: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:912: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:914: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:930: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:935: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:935: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:936: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:936: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:938: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:938: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:942: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:943: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:944: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:945: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1004: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1008: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1122: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1122: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1123: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1123: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1124: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1125: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1170: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1170: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1171: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1171: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1172: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1173: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1298: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1301: lits ==> list data/clasp-3.3.5/src/logic_program_types.cpp:1303: lits ==> list data/clasp-3.3.5/src/lookahead.cpp:272: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:55: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:193: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:210: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:225: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:244: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:252: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:261: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:267: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:293: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:310: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:315: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:324: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:369: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:373: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:382: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:387: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:388: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:391: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:392: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:404: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:449: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:548: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:565: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:566: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:566: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:582: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:585: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:633: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:698: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:708: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:710: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:876: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1045: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1201: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1207: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1214: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1214: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1234: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1239: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1240: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1241: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1242: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1245: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1247: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1251: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1251: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1251: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1254: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1261: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1271: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1294: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1302: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1305: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1307: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1315: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1351: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1382: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1382: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1383: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1385: lits ==> list data/clasp-3.3.5/src/minimize_constraint.cpp:1509: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:168: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:171: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:172: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:174: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:175: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:175: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:175: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:176: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:176: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:176: lits ==> list data/clasp-3.3.5/src/model_enumerators.cpp:265: lits ==> list data/clasp-3.3.5/src/parallel_solve.cpp:593: artifical ==> artificial data/clasp-3.3.5/src/parallel_solve.cpp:1087: lits ==> list data/clasp-3.3.5/src/parallel_solve.cpp:1088: lits ==> list data/clasp-3.3.5/src/parallel_solve.cpp:1106: sentinal ==> sentinel data/clasp-3.3.5/src/parallel_solve.cpp:1129: sentinal ==> sentinel data/clasp-3.3.5/src/parser.cpp:408: lits ==> list data/clasp-3.3.5/src/parser.cpp:432: lits ==> list data/clasp-3.3.5/src/parser.cpp:438: lits ==> list data/clasp-3.3.5/src/parser.cpp:443: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:164: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:166: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:168: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:168: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:234: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:238: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:243: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:243: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:243: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:243: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:244: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:244: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:245: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:249: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:276: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:278: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:278: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:279: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:280: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:287: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:290: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:292: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:295: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:296: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:296: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:298: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:302: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:302: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:303: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:306: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:312: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:313: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:313: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:314: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:314: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:315: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:317: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:321: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:321: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:326: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:327: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:386: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:390: lits ==> list data/clasp-3.3.5/src/program_builder.cpp:390: lits ==> list data/clasp-3.3.5/src/satelite.cpp:24: satelite ==> satellite data/clasp-3.3.5/src/satelite.cpp:29: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:32: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:32: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:39: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:39: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:40: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:43: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:47: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:48: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:48: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:52: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:63: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:71: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:79: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:99: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:110: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:130: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:138: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:158: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:178: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:237: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:269: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:282: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:336: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:357: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:357: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:376: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:376: lits ==> list data/clasp-3.3.5/src/satelite.cpp:378: lits ==> list data/clasp-3.3.5/src/satelite.cpp:378: lits ==> list data/clasp-3.3.5/src/satelite.cpp:381: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:381: lits ==> list data/clasp-3.3.5/src/satelite.cpp:383: lits ==> list data/clasp-3.3.5/src/satelite.cpp:391: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:468: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:483: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:502: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:514: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:556: SatElite ==> satellite data/clasp-3.3.5/src/satelite.cpp:590: lits ==> list data/clasp-3.3.5/src/satelite.cpp:619: SatElite ==> satellite data/clasp-3.3.5/src/shared_context.cpp:227: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:229: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:229: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:229: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:385: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:387: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:390: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:502: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:505: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:507: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:508: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:722: strat ==> start, strata data/clasp-3.3.5/src/shared_context.cpp:723: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:724: strat ==> start, strata data/clasp-3.3.5/src/shared_context.cpp:725: strat ==> start, strata data/clasp-3.3.5/src/shared_context.cpp:963: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:964: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:968: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:969: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:992: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:996: lits ==> list data/clasp-3.3.5/src/shared_context.cpp:999: lits ==> list data/clasp-3.3.5/src/solver.cpp:325: lits ==> list data/clasp-3.3.5/src/solver.cpp:329: lits ==> list data/clasp-3.3.5/src/solver.cpp:336: lits ==> list data/clasp-3.3.5/src/solver.cpp:353: lits ==> list data/clasp-3.3.5/src/solver.cpp:356: lits ==> list data/clasp-3.3.5/src/solver.cpp:945: lits ==> list data/clasp-3.3.5/src/solver.cpp:948: lits ==> list data/clasp-3.3.5/src/solver.cpp:949: lits ==> list data/clasp-3.3.5/src/solver.cpp:955: lits ==> list data/clasp-3.3.5/src/solver.cpp:955: lits ==> list data/clasp-3.3.5/src/solver.cpp:956: lits ==> list data/clasp-3.3.5/src/solver.cpp:957: lits ==> list data/clasp-3.3.5/src/solver.cpp:1168: resSize ==> resize data/clasp-3.3.5/src/solver.cpp:1174: resSize ==> resize data/clasp-3.3.5/src/solver.cpp:1182: resSize ==> resize data/clasp-3.3.5/src/solver.cpp:1195: resSize ==> resize data/clasp-3.3.5/src/solver.cpp:1196: resSize ==> resize data/clasp-3.3.5/src/solver_strategies.cpp:61: strat ==> start, strata data/clasp-3.3.5/src/unfounded_check.cpp:37: circularly ==> circular data/clasp-3.3.5/src/unfounded_check.cpp:43: circularly ==> circular data/clasp-3.3.5/src/unfounded_check.cpp:65: circularly ==> circular data/clasp-3.3.5/src/unfounded_check.cpp:357: inadvertantly ==> inadvertently data/clasp-3.3.5/src/unfounded_check.cpp:396: autmatically ==> automatically data/clasp-3.3.5/src/unfounded_check.cpp:397: explicity ==> explicitly data/clasp-3.3.5/src/unfounded_check.cpp:448: circularly ==> circular data/clasp-3.3.5/src/unfounded_check.cpp:480: emtpy ==> empty data/clasp-3.3.5/src/weight_constraint.cpp:41: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:42: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:46: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:47: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:48: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:49: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:50: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:51: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:51: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:52: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:53: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:56: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:56: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:61: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:62: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:62: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:65: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:66: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:67: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:67: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:68: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:69: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:70: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:73: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:75: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:75: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:77: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:77: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:77: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:82: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:84: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:84: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:84: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:89: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:90: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:91: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:92: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:92: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:92: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:93: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:93: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:94: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:95: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:99: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:99: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:108: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:108: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:110: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:110: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:110: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:128: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:130: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:134: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:134: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:152: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:152: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:169: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:171: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:178: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:179: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:180: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:205: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:256: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:268: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:274: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:275: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:314: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:315: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:432: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:490: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:505: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:555: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:555: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:560: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:567: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:568: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:568: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:569: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:569: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:572: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:575: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:582: lits ==> list data/clasp-3.3.5/src/weight_constraint.cpp:583: lits ==> list data/clasp-3.3.5/tests/catch.hpp:86: SEH ==> SHE data/clasp-3.3.5/tests/catch.hpp:8158: alpha-numeric ==> alphanumeric data/clasp-3.3.5/tests/clause_creator_test.cpp:55: lits ==> list data/clasp-3.3.5/tests/clause_creator_test.cpp:198: lits ==> list data/clasp-3.3.5/tests/clause_creator_test.cpp:211: lits ==> list data/clasp-3.3.5/tests/clause_creator_test.cpp:225: lits ==> list data/clasp-3.3.5/tests/clause_creator_test.cpp:225: lits ==> list data/clasp-3.3.5/tests/clause_creator_test.cpp:530: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:34: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:36: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:37: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:41: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:43: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:45: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:46: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:47: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:48: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:50: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:51: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:53: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:54: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:56: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:291: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:292: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:295: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:298: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:441: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:444: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:447: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:449: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:452: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:455: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:512: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:513: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:514: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:515: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:523: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:524: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:525: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:526: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:532: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:540: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:542: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:543: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:545: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:545: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:546: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:547: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:548: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:549: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:552: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:553: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:556: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:557: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:558: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:583: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:584: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:584: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:870: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:872: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:872: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:1003: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:1004: lits ==> list data/clasp-3.3.5/tests/clause_test.cpp:1005: lits ==> list data/clasp-3.3.5/tests/cli_test.cpp:390: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/cli_test.cpp:404: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/cli_test.cpp:406: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/cli_test.cpp:407: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/cli_test.cpp:409: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/cli_test.cpp:410: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/cli_test.cpp:411: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/cli_test.cpp:426: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/facade_test.cpp:363: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tests/facade_test.cpp:979: happend ==> happened, happens, happen data/clasp-3.3.5/tests/minimize_test.cpp:41: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:42: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:43: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:44: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:99: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:100: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:118: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:118: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:119: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:160: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:162: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:230: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:255: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:255: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:498: disbale ==> disable data/clasp-3.3.5/tests/minimize_test.cpp:973: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:983: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:984: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:985: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:986: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1000: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1001: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1002: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1017: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1017: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1020: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1021: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1022: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1039: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1039: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1043: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1044: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1046: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1075: lits ==> list data/clasp-3.3.5/tests/minimize_test.cpp:1076: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:199: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:199: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:199: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:200: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:200: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:200: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:201: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:201: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:201: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:202: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:202: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:202: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:257: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:257: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:257: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:258: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:258: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:258: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:267: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:268: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:268: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:268: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:269: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:269: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:269: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:654: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:655: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:739: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:740: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:741: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:742: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:746: Weigthed ==> Weighted data/clasp-3.3.5/tests/parser_test.cpp:759: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:760: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:761: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:789: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:790: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:791: lits ==> list data/clasp-3.3.5/tests/parser_test.cpp:792: lits ==> list data/clasp-3.3.5/tests/program_builder_test.cpp:281: lits ==> list data/clasp-3.3.5/tests/program_builder_test.cpp:289: lits ==> list data/clasp-3.3.5/tests/program_builder_test.cpp:291: lits ==> list data/clasp-3.3.5/tests/program_builder_test.cpp:292: lits ==> list data/clasp-3.3.5/tests/program_builder_test.cpp:295: lits ==> list data/clasp-3.3.5/tests/program_builder_test.cpp:297: lits ==> list data/clasp-3.3.5/tests/program_builder_test.cpp:752: lits ==> list data/clasp-3.3.5/tests/rule_test.cpp:36: lits ==> list data/clasp-3.3.5/tests/rule_test.cpp:36: lits ==> list data/clasp-3.3.5/tests/rule_test.cpp:36: lits ==> list data/clasp-3.3.5/tests/rule_test.cpp:36: lits ==> list data/clasp-3.3.5/tests/rule_test.cpp:36: lits ==> list data/clasp-3.3.5/tests/satelite_test.cpp:24: satelite ==> satellite data/clasp-3.3.5/tests/satelite_test.cpp:39: SatElite ==> satellite data/clasp-3.3.5/tests/satelite_test.cpp:41: SatElite ==> satellite data/clasp-3.3.5/tests/solver_test.cpp:1245: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1245: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1246: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1246: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1256: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1257: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1517: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1518: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1519: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1520: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1521: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1523: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1831: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1836: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1854: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1854: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1855: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1855: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1856: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1857: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1858: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1858: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1858: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1859: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1860: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1861: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1862: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1876: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1877: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1887: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1887: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1888: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1888: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1889: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1890: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1891: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1891: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1891: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1891: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1892: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1898: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1899: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1900: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1900: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1902: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1903: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1903: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1903: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1903: lits ==> list data/clasp-3.3.5/tests/solver_test.cpp:1904: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:31: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:32: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:34: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:35: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:37: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:38: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:40: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:72: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:73: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:74: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:75: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:76: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:77: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:79: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:80: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:85: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:86: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:91: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:92: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:93: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:98: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:99: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:100: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:106: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:108: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:109: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:110: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:111: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:116: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:146: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:188: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:189: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:253: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:254: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:255: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:256: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:257: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:271: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:272: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:273: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:274: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:275: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:289: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:301: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:315: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:316: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:316: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:318: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:318: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:320: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:320: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:713: lits ==> list data/clasp-3.3.5/tests/weight_constraint_test.cpp:714: lits ==> list data/clasp-3.3.5/tools/clasp-option-template.inl:21: syntatic ==> syntactic data/clasp-3.3.5/tools/clasp-option-template.inl:55: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tools/clasp-option-template.inl:55: oll ==> all, ole, old, olly, oil data/clasp-3.3.5/tools/clasp-option-template.inl:81: doman ==> domain data/clasp-3.3.5/tools/clasp-option-template.inl:100: Arithmethic ==> Arithmetic data/clasp-3.3.5/tools/clasp-option-template.inl:191: oll ==> all, ole, old, olly, oil