├── IWLS_2022_Contest_Presentation.pdf ├── IWLS_2022_Programming_Contest.pdf ├── LICENSE ├── README.md ├── benchmarks ├── ex00.truth ├── ex01.truth ├── ex02.truth ├── ex03.truth ├── ex04.truth ├── ex05.truth ├── ex06.truth ├── ex07.truth ├── ex08.truth ├── ex09.truth ├── ex10.truth ├── ex11.truth ├── ex12.truth ├── ex13.truth ├── ex14.truth ├── ex15.truth ├── ex16.truth ├── ex17.truth ├── ex18.truth ├── ex19.truth ├── ex20.truth ├── ex21.truth ├── ex22.truth ├── ex23.truth ├── ex24.truth ├── ex25.truth ├── ex26.truth ├── ex27.truth ├── ex28.truth ├── ex29.truth ├── ex30.truth ├── ex31.truth ├── ex32.truth ├── ex33.truth ├── ex34.truth ├── ex35.truth ├── ex36.truth ├── ex37.truth ├── ex38.truth ├── ex39.truth ├── ex40.truth ├── ex41.truth ├── ex42.truth ├── ex43.truth ├── ex44.truth ├── ex45.truth ├── ex46.truth ├── ex47.truth ├── ex48.truth ├── ex49.truth ├── ex50.truth ├── ex51.truth ├── ex52.truth ├── ex53.truth ├── ex54.truth ├── ex55.truth ├── ex56.truth ├── ex57.truth ├── ex58.truth ├── ex59.truth ├── ex60.truth ├── ex61.truth ├── ex62.truth ├── ex63.truth ├── ex64.truth ├── ex65.truth ├── ex66.truth ├── ex67.truth ├── ex68.truth ├── ex69.truth ├── ex70.truth ├── ex71.truth ├── ex72.truth ├── ex73.truth ├── ex74.truth ├── ex75.truth ├── ex76.truth ├── ex77.truth ├── ex78.truth ├── ex79.truth ├── ex80.truth ├── ex81.truth ├── ex82.truth ├── ex83.truth ├── ex84.truth ├── ex85.truth ├── ex86.truth ├── ex87.truth ├── ex88.truth ├── ex89.truth ├── ex90.truth ├── ex91.truth ├── ex92.truth ├── ex93.truth ├── ex94.truth ├── ex95.truth ├── ex96.truth ├── ex97.truth ├── ex98.truth └── ex99.truth └── submissions ├── epfl ├── ex00.aig ├── ex01.aig ├── ex02.aig ├── ex03.aig ├── ex04.aig ├── ex05.aig ├── ex06.aig ├── ex07.aig ├── ex08.aig ├── ex09.aig ├── ex10.aig ├── ex11.aig ├── ex12.aig ├── ex13.aig ├── ex14.aig ├── ex15.aig ├── ex16.aig ├── ex17.aig ├── ex18.aig ├── ex19.aig ├── ex20.aig ├── ex21.aig ├── ex22.aig ├── ex23.aig ├── ex24.aig ├── ex25.aig ├── ex26.aig ├── ex27.aig ├── ex28.aig ├── ex29.aig ├── ex30.aig ├── ex31.aig ├── ex32.aig ├── ex33.aig ├── ex34.aig ├── ex35.aig ├── ex36.aig ├── ex37.aig ├── ex38.aig ├── ex39.aig ├── ex40.aig ├── ex41.aig ├── ex42.aig ├── ex43.aig ├── ex44.aig ├── ex45.aig ├── ex46.aig ├── ex47.aig ├── ex48.aig ├── ex49.aig ├── ex50.aig ├── ex51.aig ├── ex52.aig ├── ex53.aig ├── ex54.aig ├── ex55.aig ├── ex56.aig ├── ex57.aig ├── ex58.aig ├── ex59.aig ├── ex60.aig ├── ex61.aig ├── ex62.aig ├── ex63.aig ├── ex64.aig ├── ex65.aig ├── ex66.aig ├── ex67.aig ├── ex68.aig ├── ex69.aig ├── ex70.aig ├── ex71.aig ├── ex72.aig ├── ex73.aig ├── ex74.aig ├── ex75.aig ├── ex76.aig ├── ex77.aig ├── ex78.aig ├── ex79.aig ├── ex80.aig ├── ex81.aig ├── ex82.aig ├── ex83.aig ├── ex84.aig ├── ex85.aig ├── ex86.aig ├── ex87.aig ├── ex88.aig ├── ex89.aig ├── ex90.aig ├── ex91.aig ├── ex92.aig ├── ex93.aig ├── ex94.aig ├── ex95.aig ├── ex96.aig ├── ex97.aig ├── ex98.aig ├── ex99.aig ├── stats.script └── stats.txt ├── fudan ├── ex00.aig ├── ex01.aig ├── ex02.aig ├── ex03.aig ├── ex04.aig ├── ex05.aig ├── ex06.aig ├── ex07.aig ├── ex08.aig ├── ex09.aig ├── ex10.aig ├── ex11.aig ├── ex12.aig ├── ex13.aig ├── ex14.aig ├── ex15.aig ├── ex16.aig ├── ex17.aig ├── ex18.aig ├── ex19.aig ├── ex20.aig ├── ex21.aig ├── ex22.aig ├── ex23.aig ├── ex24.aig ├── ex25.aig ├── ex26.aig ├── ex27.aig ├── ex28.aig ├── ex29.aig ├── ex30.aig ├── ex31.aig ├── ex32.aig ├── ex33.aig ├── ex34.aig ├── ex35.aig ├── ex36.aig ├── ex37.aig ├── ex38.aig ├── ex39.aig ├── ex40.aig ├── ex41.aig ├── ex42.aig ├── ex43.aig ├── ex44.aig ├── ex45.aig ├── ex46.aig ├── ex47.aig ├── ex48.aig ├── ex49.aig ├── ex50.aig ├── ex51.aig ├── ex52.aig ├── ex53.aig ├── ex54.aig ├── ex55.aig ├── ex56.aig ├── ex57.aig ├── ex58.aig ├── ex59.aig ├── ex60.aig ├── ex61.aig ├── ex62.aig ├── ex63.aig ├── ex64.aig ├── ex65.aig ├── ex66.aig ├── ex67.aig ├── ex68.aig ├── ex69.aig ├── ex70.aig ├── ex71.aig ├── ex72.aig ├── ex73.aig ├── ex74.aig ├── ex75.aig ├── ex76.aig ├── ex77.aig ├── ex78.aig ├── ex79.aig ├── ex80.aig ├── ex81.aig ├── ex82.aig ├── ex83.aig ├── ex84.aig ├── ex85.aig ├── ex86.aig ├── ex87.aig ├── ex88.aig ├── ex89.aig ├── ex90.aig ├── ex91.aig ├── ex92.aig ├── ex93.aig ├── ex94.aig ├── ex95.aig ├── ex96.aig ├── ex97.aig ├── ex98.aig ├── ex99.aig ├── stats.script └── stats.txt ├── levels.txt ├── nodes.txt ├── ntu ├── ex00.aig ├── ex01.aig ├── ex02.aig ├── ex03.aig ├── ex04.aig ├── ex05.aig ├── ex06.aig ├── ex07.aig ├── ex08.aig ├── ex09.aig ├── ex10.aig ├── ex11.aig ├── ex12.aig ├── ex13.aig ├── ex14.aig ├── ex15.aig ├── ex16.aig ├── ex17.aig ├── ex18.aig ├── ex19.aig ├── ex20.aig ├── ex21.aig ├── ex22.aig ├── ex23.aig ├── ex24.aig ├── ex25.aig ├── ex26.aig ├── ex27.aig ├── ex28.aig ├── ex29.aig ├── ex30.aig ├── ex31.aig ├── ex32.aig ├── ex33.aig ├── ex34.aig ├── ex35.aig ├── ex36.aig ├── ex37.aig ├── ex38.aig ├── ex39.aig ├── ex40.aig ├── ex41.aig ├── ex42.aig ├── ex43.aig ├── ex44.aig ├── ex45.aig ├── ex46.aig ├── ex47.aig ├── ex48.aig ├── ex49.aig ├── ex50.aig ├── ex51.aig ├── ex52.aig ├── ex53.aig ├── ex54.aig ├── ex55.aig ├── ex56.aig ├── ex57.aig ├── ex58.aig ├── ex59.aig ├── ex60.aig ├── ex61.aig ├── ex62.aig ├── ex63.aig ├── ex64.aig ├── ex65.aig ├── ex66.aig ├── ex67.aig ├── ex68.aig ├── ex69.aig ├── ex70.aig ├── ex71.aig ├── ex72.aig ├── ex73.aig ├── ex74.aig ├── ex75.aig ├── ex76.aig ├── ex77.aig ├── ex78.aig ├── ex79.aig ├── ex80.aig ├── ex81.aig ├── ex82.aig ├── ex83.aig ├── ex84.aig ├── ex85.aig ├── ex86.aig ├── ex87.aig ├── ex88.aig ├── ex89.aig ├── ex90.aig ├── ex91.aig ├── ex92.aig ├── ex93.aig ├── ex94.aig ├── ex95.aig ├── ex96.aig ├── ex97.aig ├── ex98.aig ├── ex99.aig ├── stats.script └── stats.txt ├── scores.txt ├── tuw ├── ex00.aig ├── ex01.aig ├── ex02.aig ├── ex03.aig ├── ex04.aig ├── ex05.aig ├── ex06.aig ├── ex07.aig ├── ex08.aig ├── ex09.aig ├── ex10.aig ├── ex11.aig ├── ex12.aig ├── ex13.aig ├── ex14.aig ├── ex15.aig ├── ex16.aig ├── ex17.aig ├── ex18.aig ├── ex19.aig ├── ex20.aig ├── ex21.aig ├── ex22.aig ├── ex23.aig ├── ex24.aig ├── ex25.aig ├── ex26.aig ├── ex27.aig ├── ex28.aig ├── ex29.aig ├── ex30.aig ├── ex31.aig ├── ex32.aig ├── ex33.aig ├── ex34.aig ├── ex35.aig ├── ex36.aig ├── ex37.aig ├── ex38.aig ├── ex39.aig ├── ex40.aig ├── ex41.aig ├── ex42.aig ├── ex43.aig ├── ex44.aig ├── ex45.aig ├── ex46.aig ├── ex47.aig ├── ex48.aig ├── ex49.aig ├── ex50.aig ├── ex51.aig ├── ex52.aig ├── ex53.aig ├── ex54.aig ├── ex55.aig ├── ex56.aig ├── ex57.aig ├── ex58.aig ├── ex59.aig ├── ex60.aig ├── ex61.aig ├── ex62.aig ├── ex63.aig ├── ex64.aig ├── ex65.aig ├── ex66.aig ├── ex67.aig ├── ex68.aig ├── ex69.aig ├── ex70.aig ├── ex71.aig ├── ex72.aig ├── ex73.aig ├── ex74.aig ├── ex75.aig ├── ex76.aig ├── ex77.aig ├── ex78.aig ├── ex79.aig ├── ex80.aig ├── ex81.aig ├── ex82.aig ├── ex83.aig ├── ex84.aig ├── ex85.aig ├── ex86.aig ├── ex87.aig ├── ex88.aig ├── ex89.aig ├── ex90.aig ├── ex91.aig ├── ex92.aig ├── ex93.aig ├── ex94.aig ├── ex95.aig ├── ex96.aig ├── ex97.aig ├── ex98.aig ├── ex99.aig ├── stats.script └── stats.txt ├── ucas ├── ex00.aig ├── ex01.aig ├── ex02.aig ├── ex03.aig ├── ex04.aig ├── ex05.aig ├── ex06.aig ├── ex07.aig ├── ex08.aig ├── ex09.aig ├── ex10.aig ├── ex11.aig ├── ex12.aig ├── ex13.aig ├── ex14.aig ├── ex15.aig ├── ex16.aig ├── ex17.aig ├── ex18.aig ├── ex19.aig ├── ex20.aig ├── ex21.aig ├── ex22.aig ├── ex23.aig ├── ex24.aig ├── ex25.aig ├── ex26.aig ├── ex27.aig ├── ex28.aig ├── ex29.aig ├── ex30.aig ├── ex31.aig ├── ex32.aig ├── ex33.aig ├── ex34.aig ├── ex35.aig ├── ex36.aig ├── ex37.aig ├── ex38.aig ├── ex39.aig ├── ex40.aig ├── ex41.aig ├── ex42.aig ├── ex43.aig ├── ex44.aig ├── ex45.aig ├── ex46.aig ├── ex47.aig ├── ex48.aig ├── ex49.aig ├── ex50.aig ├── ex51.aig ├── ex52.aig ├── ex53.aig ├── ex54.aig ├── ex55.aig ├── ex56.aig ├── ex57.aig ├── ex58.aig ├── ex59.aig ├── ex60.aig ├── ex61.aig ├── ex62.aig ├── ex63.aig ├── ex64.aig ├── ex65.aig ├── ex66.aig ├── ex67.aig ├── ex68.aig ├── ex69.aig ├── ex70.aig ├── ex71.aig ├── ex72.aig ├── ex73.aig ├── ex74.aig ├── ex75.aig ├── ex76.aig ├── ex77.aig ├── ex78.aig ├── ex79.aig ├── ex80.aig ├── ex81.aig ├── ex82.aig ├── ex83.aig ├── ex84.aig ├── ex85.aig ├── ex86.aig ├── ex87.aig ├── ex88.aig ├── ex89.aig ├── ex90.aig ├── ex91.aig ├── ex92.aig ├── ex93.aig ├── ex94.aig ├── ex95.aig ├── ex96.aig ├── ex97.aig ├── ex98.aig ├── ex99.aig ├── stats.script └── stats.txt ├── ucb ├── ex00.aig ├── ex01.aig ├── ex02.aig ├── ex03.aig ├── ex04.aig ├── ex05.aig ├── ex06.aig ├── ex07.aig ├── ex08.aig ├── ex09.aig ├── ex10.aig ├── ex11.aig ├── ex12.aig ├── ex13.aig ├── ex14.aig ├── ex15.aig ├── ex16.aig ├── ex17.aig ├── ex18.aig ├── ex19.aig ├── ex20.aig ├── ex21.aig ├── ex22.aig ├── ex23.aig ├── ex24.aig ├── ex25.aig ├── ex26.aig ├── ex27.aig ├── ex28.aig ├── ex29.aig ├── ex30.aig ├── ex31.aig ├── ex32.aig ├── ex33.aig ├── ex34.aig ├── ex35.aig ├── ex36.aig ├── ex37.aig ├── ex38.aig ├── ex39.aig ├── ex40.aig ├── ex41.aig ├── ex42.aig ├── ex43.aig ├── ex44.aig ├── ex45.aig ├── ex46.aig ├── ex47.aig ├── ex48.aig ├── ex49.aig ├── ex50.aig ├── ex51.aig ├── ex52.aig ├── ex53.aig ├── ex54.aig ├── ex55.aig ├── ex56.aig ├── ex57.aig ├── ex58.aig ├── ex59.aig ├── ex60.aig ├── ex61.aig ├── ex62.aig ├── ex63.aig ├── ex64.aig ├── ex65.aig ├── ex66.aig ├── ex67.aig ├── ex68.aig ├── ex69.aig ├── ex70.aig ├── ex71.aig ├── ex72.aig ├── ex73.aig ├── ex74.aig ├── ex75.aig ├── ex76.aig ├── ex77.aig ├── ex78.aig ├── ex79.aig ├── ex80.aig ├── ex81.aig ├── ex82.aig ├── ex83.aig ├── ex84.aig ├── ex85.aig ├── ex86.aig ├── ex87.aig ├── ex88.aig ├── ex89.aig ├── ex90.aig ├── ex91.aig ├── ex92.aig ├── ex93.aig ├── ex94.aig ├── ex95.aig ├── ex96.aig ├── ex97.aig ├── ex98.aig ├── ex99.aig ├── stats.script └── stats.txt └── ufrgs ├── ex00.aig ├── ex01.aig ├── ex02.aig ├── ex03.aig ├── ex04.aig ├── ex05.aig ├── ex06.aig ├── ex07.aig ├── ex08.aig ├── ex09.aig ├── ex10.aig ├── ex11.aig ├── ex12.aig ├── ex13.aig ├── ex14.aig ├── ex15.aig ├── ex16.aig ├── ex17.aig ├── ex18.aig ├── ex19.aig ├── ex20.aig ├── ex21.aig ├── ex22.aig ├── ex23.aig ├── ex24.aig ├── ex25.aig ├── ex26.aig ├── ex27.aig ├── ex28.aig ├── ex29.aig ├── ex30.aig ├── ex31.aig ├── ex32.aig ├── ex33.aig ├── ex34.aig ├── ex35.aig ├── ex36.aig ├── ex37.aig ├── ex38.aig ├── ex39.aig ├── ex40.aig ├── ex41.aig ├── ex42.aig ├── ex43.aig ├── ex44.aig ├── ex45.aig ├── ex46.aig ├── ex47.aig ├── ex48.aig ├── ex49.aig ├── ex50.aig ├── ex51.aig ├── ex52.aig ├── ex53.aig ├── ex54.aig ├── ex55.aig ├── ex56.aig ├── ex57.aig ├── ex58.aig ├── ex59.aig ├── ex60.aig ├── ex61.aig ├── ex62.aig ├── ex63.aig ├── ex64.aig ├── ex65.aig ├── ex66.aig ├── ex67.aig ├── ex68.aig ├── ex69.aig ├── ex70.aig ├── ex71.aig ├── ex72.aig ├── ex73.aig ├── ex74.aig ├── ex75.aig ├── ex76.aig ├── ex77.aig ├── ex78.aig ├── ex79.aig ├── ex80.aig ├── ex81.aig ├── ex82.aig ├── ex83.aig ├── ex84.aig ├── ex85.aig ├── ex86.aig ├── ex87.aig ├── ex88.aig ├── ex89.aig ├── ex90.aig ├── ex91.aig ├── ex92.aig ├── ex93.aig ├── ex94.aig ├── ex95.aig ├── ex96.aig ├── ex97.aig ├── ex98.aig ├── ex99.aig ├── stats.script └── stats.txt /IWLS_2022_Contest_Presentation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/IWLS_2022_Contest_Presentation.pdf -------------------------------------------------------------------------------- /IWLS_2022_Programming_Contest.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/IWLS_2022_Programming_Contest.pdf -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/README.md -------------------------------------------------------------------------------- /benchmarks/ex00.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex00.truth -------------------------------------------------------------------------------- /benchmarks/ex01.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex01.truth -------------------------------------------------------------------------------- /benchmarks/ex02.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex02.truth -------------------------------------------------------------------------------- /benchmarks/ex03.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex03.truth -------------------------------------------------------------------------------- /benchmarks/ex04.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex04.truth -------------------------------------------------------------------------------- /benchmarks/ex05.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex05.truth -------------------------------------------------------------------------------- /benchmarks/ex06.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex06.truth -------------------------------------------------------------------------------- /benchmarks/ex07.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex07.truth -------------------------------------------------------------------------------- /benchmarks/ex08.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex08.truth -------------------------------------------------------------------------------- /benchmarks/ex09.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex09.truth -------------------------------------------------------------------------------- /benchmarks/ex10.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex10.truth -------------------------------------------------------------------------------- /benchmarks/ex11.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex11.truth -------------------------------------------------------------------------------- /benchmarks/ex12.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex12.truth -------------------------------------------------------------------------------- /benchmarks/ex13.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex13.truth -------------------------------------------------------------------------------- /benchmarks/ex14.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex14.truth -------------------------------------------------------------------------------- /benchmarks/ex15.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex15.truth -------------------------------------------------------------------------------- /benchmarks/ex16.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex16.truth -------------------------------------------------------------------------------- /benchmarks/ex17.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex17.truth -------------------------------------------------------------------------------- /benchmarks/ex18.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex18.truth -------------------------------------------------------------------------------- /benchmarks/ex19.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex19.truth -------------------------------------------------------------------------------- /benchmarks/ex20.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex20.truth -------------------------------------------------------------------------------- /benchmarks/ex21.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex21.truth -------------------------------------------------------------------------------- /benchmarks/ex22.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex22.truth -------------------------------------------------------------------------------- /benchmarks/ex23.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex23.truth -------------------------------------------------------------------------------- /benchmarks/ex24.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex24.truth -------------------------------------------------------------------------------- /benchmarks/ex25.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex25.truth -------------------------------------------------------------------------------- /benchmarks/ex26.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex26.truth -------------------------------------------------------------------------------- /benchmarks/ex27.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex27.truth -------------------------------------------------------------------------------- /benchmarks/ex28.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex28.truth -------------------------------------------------------------------------------- /benchmarks/ex29.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex29.truth -------------------------------------------------------------------------------- /benchmarks/ex30.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex30.truth -------------------------------------------------------------------------------- /benchmarks/ex31.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex31.truth -------------------------------------------------------------------------------- /benchmarks/ex32.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex32.truth -------------------------------------------------------------------------------- /benchmarks/ex33.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex33.truth -------------------------------------------------------------------------------- /benchmarks/ex34.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex34.truth -------------------------------------------------------------------------------- /benchmarks/ex35.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex35.truth -------------------------------------------------------------------------------- /benchmarks/ex36.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex36.truth -------------------------------------------------------------------------------- /benchmarks/ex37.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex37.truth -------------------------------------------------------------------------------- /benchmarks/ex38.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex38.truth -------------------------------------------------------------------------------- /benchmarks/ex39.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex39.truth -------------------------------------------------------------------------------- /benchmarks/ex40.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex40.truth -------------------------------------------------------------------------------- /benchmarks/ex41.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex41.truth -------------------------------------------------------------------------------- /benchmarks/ex42.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex42.truth -------------------------------------------------------------------------------- /benchmarks/ex43.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex43.truth -------------------------------------------------------------------------------- /benchmarks/ex44.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex44.truth -------------------------------------------------------------------------------- /benchmarks/ex45.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex45.truth -------------------------------------------------------------------------------- /benchmarks/ex46.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex46.truth -------------------------------------------------------------------------------- /benchmarks/ex47.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex47.truth -------------------------------------------------------------------------------- /benchmarks/ex48.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex48.truth -------------------------------------------------------------------------------- /benchmarks/ex49.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex49.truth -------------------------------------------------------------------------------- /benchmarks/ex50.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex50.truth -------------------------------------------------------------------------------- /benchmarks/ex51.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex51.truth -------------------------------------------------------------------------------- /benchmarks/ex52.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex52.truth -------------------------------------------------------------------------------- /benchmarks/ex53.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex53.truth -------------------------------------------------------------------------------- /benchmarks/ex54.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex54.truth -------------------------------------------------------------------------------- /benchmarks/ex55.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex55.truth -------------------------------------------------------------------------------- /benchmarks/ex56.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex56.truth -------------------------------------------------------------------------------- /benchmarks/ex57.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex57.truth -------------------------------------------------------------------------------- /benchmarks/ex58.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex58.truth -------------------------------------------------------------------------------- /benchmarks/ex59.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex59.truth -------------------------------------------------------------------------------- /benchmarks/ex60.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex60.truth -------------------------------------------------------------------------------- /benchmarks/ex61.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex61.truth -------------------------------------------------------------------------------- /benchmarks/ex62.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex62.truth -------------------------------------------------------------------------------- /benchmarks/ex63.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex63.truth -------------------------------------------------------------------------------- /benchmarks/ex64.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex64.truth -------------------------------------------------------------------------------- /benchmarks/ex65.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex65.truth -------------------------------------------------------------------------------- /benchmarks/ex66.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex66.truth -------------------------------------------------------------------------------- /benchmarks/ex67.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex67.truth -------------------------------------------------------------------------------- /benchmarks/ex68.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex68.truth -------------------------------------------------------------------------------- /benchmarks/ex69.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex69.truth -------------------------------------------------------------------------------- /benchmarks/ex70.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex70.truth -------------------------------------------------------------------------------- /benchmarks/ex71.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex71.truth -------------------------------------------------------------------------------- /benchmarks/ex72.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex72.truth -------------------------------------------------------------------------------- /benchmarks/ex73.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex73.truth -------------------------------------------------------------------------------- /benchmarks/ex74.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex74.truth -------------------------------------------------------------------------------- /benchmarks/ex75.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex75.truth -------------------------------------------------------------------------------- /benchmarks/ex76.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex76.truth -------------------------------------------------------------------------------- /benchmarks/ex77.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex77.truth -------------------------------------------------------------------------------- /benchmarks/ex78.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex78.truth -------------------------------------------------------------------------------- /benchmarks/ex79.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex79.truth -------------------------------------------------------------------------------- /benchmarks/ex80.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex80.truth -------------------------------------------------------------------------------- /benchmarks/ex81.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex81.truth -------------------------------------------------------------------------------- /benchmarks/ex82.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex82.truth -------------------------------------------------------------------------------- /benchmarks/ex83.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex83.truth -------------------------------------------------------------------------------- /benchmarks/ex84.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex84.truth -------------------------------------------------------------------------------- /benchmarks/ex85.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex85.truth -------------------------------------------------------------------------------- /benchmarks/ex86.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex86.truth -------------------------------------------------------------------------------- /benchmarks/ex87.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex87.truth -------------------------------------------------------------------------------- /benchmarks/ex88.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex88.truth -------------------------------------------------------------------------------- /benchmarks/ex89.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex89.truth -------------------------------------------------------------------------------- /benchmarks/ex90.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex90.truth -------------------------------------------------------------------------------- /benchmarks/ex91.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex91.truth -------------------------------------------------------------------------------- /benchmarks/ex92.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex92.truth -------------------------------------------------------------------------------- /benchmarks/ex93.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex93.truth -------------------------------------------------------------------------------- /benchmarks/ex94.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex94.truth -------------------------------------------------------------------------------- /benchmarks/ex95.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex95.truth -------------------------------------------------------------------------------- /benchmarks/ex96.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex96.truth -------------------------------------------------------------------------------- /benchmarks/ex97.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex97.truth -------------------------------------------------------------------------------- /benchmarks/ex98.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex98.truth -------------------------------------------------------------------------------- /benchmarks/ex99.truth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/benchmarks/ex99.truth -------------------------------------------------------------------------------- /submissions/epfl/ex00.aig: -------------------------------------------------------------------------------- 1 | aig 32 6 0 1 26 2 | 64 3 |   & & ' 4 | 3 c -------------------------------------------------------------------------------- /submissions/epfl/ex01.aig: -------------------------------------------------------------------------------- 1 | aig 38 6 0 1 32 2 | 77 3 |   4 | " ).+!73) 5 | /=c -------------------------------------------------------------------------------- /submissions/epfl/ex02.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex02.aig -------------------------------------------------------------------------------- /submissions/epfl/ex03.aig: -------------------------------------------------------------------------------- 1 | aig 32 8 0 1 24 2 | 64 3 |   4 |  "&*c -------------------------------------------------------------------------------- /submissions/epfl/ex04.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex04.aig -------------------------------------------------------------------------------- /submissions/epfl/ex05.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex05.aig -------------------------------------------------------------------------------- /submissions/epfl/ex06.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex06.aig -------------------------------------------------------------------------------- /submissions/epfl/ex07.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex07.aig -------------------------------------------------------------------------------- /submissions/epfl/ex08.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex08.aig -------------------------------------------------------------------------------- /submissions/epfl/ex09.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex09.aig -------------------------------------------------------------------------------- /submissions/epfl/ex10.aig: -------------------------------------------------------------------------------- 1 | aig 15 5 0 1 10 2 | 30 3 |   4 |  5 | c -------------------------------------------------------------------------------- /submissions/epfl/ex11.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex11.aig -------------------------------------------------------------------------------- /submissions/epfl/ex12.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex12.aig -------------------------------------------------------------------------------- /submissions/epfl/ex13.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex13.aig -------------------------------------------------------------------------------- /submissions/epfl/ex14.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex14.aig -------------------------------------------------------------------------------- /submissions/epfl/ex15.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex15.aig -------------------------------------------------------------------------------- /submissions/epfl/ex16.aig: -------------------------------------------------------------------------------- 1 | aig 23 5 0 5 18 2 | 30 3 | 36 4 | 39 5 | 45 6 | 47 7 |     '%c -------------------------------------------------------------------------------- /submissions/epfl/ex17.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex17.aig -------------------------------------------------------------------------------- /submissions/epfl/ex18.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex18.aig -------------------------------------------------------------------------------- /submissions/epfl/ex19.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex19.aig -------------------------------------------------------------------------------- /submissions/epfl/ex20.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex20.aig -------------------------------------------------------------------------------- /submissions/epfl/ex21.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex21.aig -------------------------------------------------------------------------------- /submissions/epfl/ex22.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex22.aig -------------------------------------------------------------------------------- /submissions/epfl/ex23.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex23.aig -------------------------------------------------------------------------------- /submissions/epfl/ex24.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex24.aig -------------------------------------------------------------------------------- /submissions/epfl/ex25.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex25.aig -------------------------------------------------------------------------------- /submissions/epfl/ex26.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex26.aig -------------------------------------------------------------------------------- /submissions/epfl/ex27.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex27.aig -------------------------------------------------------------------------------- /submissions/epfl/ex28.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex28.aig -------------------------------------------------------------------------------- /submissions/epfl/ex29.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex29.aig -------------------------------------------------------------------------------- /submissions/epfl/ex30.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex30.aig -------------------------------------------------------------------------------- /submissions/epfl/ex31.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex31.aig -------------------------------------------------------------------------------- /submissions/epfl/ex32.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex32.aig -------------------------------------------------------------------------------- /submissions/epfl/ex33.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex33.aig -------------------------------------------------------------------------------- /submissions/epfl/ex34.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex34.aig -------------------------------------------------------------------------------- /submissions/epfl/ex35.aig: -------------------------------------------------------------------------------- 1 | aig 23 7 0 2 16 2 | 33 3 | 47 4 |    c -------------------------------------------------------------------------------- /submissions/epfl/ex36.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex36.aig -------------------------------------------------------------------------------- /submissions/epfl/ex37.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex37.aig -------------------------------------------------------------------------------- /submissions/epfl/ex38.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex38.aig -------------------------------------------------------------------------------- /submissions/epfl/ex39.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex39.aig -------------------------------------------------------------------------------- /submissions/epfl/ex40.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex40.aig -------------------------------------------------------------------------------- /submissions/epfl/ex41.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex41.aig -------------------------------------------------------------------------------- /submissions/epfl/ex42.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex42.aig -------------------------------------------------------------------------------- /submissions/epfl/ex43.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex43.aig -------------------------------------------------------------------------------- /submissions/epfl/ex44.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex44.aig -------------------------------------------------------------------------------- /submissions/epfl/ex45.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex45.aig -------------------------------------------------------------------------------- /submissions/epfl/ex46.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex46.aig -------------------------------------------------------------------------------- /submissions/epfl/ex47.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex47.aig -------------------------------------------------------------------------------- /submissions/epfl/ex48.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex48.aig -------------------------------------------------------------------------------- /submissions/epfl/ex49.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex49.aig -------------------------------------------------------------------------------- /submissions/epfl/ex50.aig: -------------------------------------------------------------------------------- 1 | aig 26 8 0 2 18 2 | 48 3 | 53 4 |   5 | c -------------------------------------------------------------------------------- /submissions/epfl/ex51.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex51.aig -------------------------------------------------------------------------------- /submissions/epfl/ex52.aig: -------------------------------------------------------------------------------- 1 | aig 27 8 0 2 19 2 | 50 3 | 54 4 |  5 |    6 |  '") c -------------------------------------------------------------------------------- /submissions/epfl/ex53.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex53.aig -------------------------------------------------------------------------------- /submissions/epfl/ex54.aig: -------------------------------------------------------------------------------- 1 | aig 21 8 0 2 13 2 | 19 3 | 42 4 |    c -------------------------------------------------------------------------------- /submissions/epfl/ex55.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex55.aig -------------------------------------------------------------------------------- /submissions/epfl/ex56.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex56.aig -------------------------------------------------------------------------------- /submissions/epfl/ex57.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex57.aig -------------------------------------------------------------------------------- /submissions/epfl/ex58.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex58.aig -------------------------------------------------------------------------------- /submissions/epfl/ex59.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex59.aig -------------------------------------------------------------------------------- /submissions/epfl/ex60.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex60.aig -------------------------------------------------------------------------------- /submissions/epfl/ex61.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex61.aig -------------------------------------------------------------------------------- /submissions/epfl/ex62.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex62.aig -------------------------------------------------------------------------------- /submissions/epfl/ex63.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex63.aig -------------------------------------------------------------------------------- /submissions/epfl/ex64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex64.aig -------------------------------------------------------------------------------- /submissions/epfl/ex65.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex65.aig -------------------------------------------------------------------------------- /submissions/epfl/ex66.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex66.aig -------------------------------------------------------------------------------- /submissions/epfl/ex67.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex67.aig -------------------------------------------------------------------------------- /submissions/epfl/ex68.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex68.aig -------------------------------------------------------------------------------- /submissions/epfl/ex69.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex69.aig -------------------------------------------------------------------------------- /submissions/epfl/ex70.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex70.aig -------------------------------------------------------------------------------- /submissions/epfl/ex71.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex71.aig -------------------------------------------------------------------------------- /submissions/epfl/ex72.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex72.aig -------------------------------------------------------------------------------- /submissions/epfl/ex73.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex73.aig -------------------------------------------------------------------------------- /submissions/epfl/ex74.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex74.aig -------------------------------------------------------------------------------- /submissions/epfl/ex75.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex75.aig -------------------------------------------------------------------------------- /submissions/epfl/ex76.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex76.aig -------------------------------------------------------------------------------- /submissions/epfl/ex77.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex77.aig -------------------------------------------------------------------------------- /submissions/epfl/ex78.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex78.aig -------------------------------------------------------------------------------- /submissions/epfl/ex79.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex79.aig -------------------------------------------------------------------------------- /submissions/epfl/ex80.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex80.aig -------------------------------------------------------------------------------- /submissions/epfl/ex81.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex81.aig -------------------------------------------------------------------------------- /submissions/epfl/ex82.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex82.aig -------------------------------------------------------------------------------- /submissions/epfl/ex83.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex83.aig -------------------------------------------------------------------------------- /submissions/epfl/ex84.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex84.aig -------------------------------------------------------------------------------- /submissions/epfl/ex85.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex85.aig -------------------------------------------------------------------------------- /submissions/epfl/ex86.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex86.aig -------------------------------------------------------------------------------- /submissions/epfl/ex87.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex87.aig -------------------------------------------------------------------------------- /submissions/epfl/ex88.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex88.aig -------------------------------------------------------------------------------- /submissions/epfl/ex89.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex89.aig -------------------------------------------------------------------------------- /submissions/epfl/ex90.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex90.aig -------------------------------------------------------------------------------- /submissions/epfl/ex91.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex91.aig -------------------------------------------------------------------------------- /submissions/epfl/ex92.aig: -------------------------------------------------------------------------------- 1 | aig 40 10 0 3 30 2 | 62 3 | 77 4 | 80 5 |  6 |   7 | "(* * 4';&9CB)c -------------------------------------------------------------------------------- /submissions/epfl/ex93.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex93.aig -------------------------------------------------------------------------------- /submissions/epfl/ex94.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex94.aig -------------------------------------------------------------------------------- /submissions/epfl/ex95.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex95.aig -------------------------------------------------------------------------------- /submissions/epfl/ex96.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex96.aig -------------------------------------------------------------------------------- /submissions/epfl/ex97.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex97.aig -------------------------------------------------------------------------------- /submissions/epfl/ex98.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex98.aig -------------------------------------------------------------------------------- /submissions/epfl/ex99.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/ex99.aig -------------------------------------------------------------------------------- /submissions/epfl/stats.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/stats.script -------------------------------------------------------------------------------- /submissions/epfl/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/epfl/stats.txt -------------------------------------------------------------------------------- /submissions/fudan/ex00.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex00.aig -------------------------------------------------------------------------------- /submissions/fudan/ex01.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex01.aig -------------------------------------------------------------------------------- /submissions/fudan/ex02.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex02.aig -------------------------------------------------------------------------------- /submissions/fudan/ex03.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex03.aig -------------------------------------------------------------------------------- /submissions/fudan/ex04.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex04.aig -------------------------------------------------------------------------------- /submissions/fudan/ex05.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex05.aig -------------------------------------------------------------------------------- /submissions/fudan/ex06.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex06.aig -------------------------------------------------------------------------------- /submissions/fudan/ex07.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex07.aig -------------------------------------------------------------------------------- /submissions/fudan/ex08.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex08.aig -------------------------------------------------------------------------------- /submissions/fudan/ex09.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex09.aig -------------------------------------------------------------------------------- /submissions/fudan/ex10.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex10.aig -------------------------------------------------------------------------------- /submissions/fudan/ex11.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex11.aig -------------------------------------------------------------------------------- /submissions/fudan/ex12.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex12.aig -------------------------------------------------------------------------------- /submissions/fudan/ex13.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex13.aig -------------------------------------------------------------------------------- /submissions/fudan/ex14.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex14.aig -------------------------------------------------------------------------------- /submissions/fudan/ex15.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex15.aig -------------------------------------------------------------------------------- /submissions/fudan/ex16.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex16.aig -------------------------------------------------------------------------------- /submissions/fudan/ex17.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex17.aig -------------------------------------------------------------------------------- /submissions/fudan/ex18.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex18.aig -------------------------------------------------------------------------------- /submissions/fudan/ex19.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex19.aig -------------------------------------------------------------------------------- /submissions/fudan/ex20.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex20.aig -------------------------------------------------------------------------------- /submissions/fudan/ex21.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex21.aig -------------------------------------------------------------------------------- /submissions/fudan/ex22.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex22.aig -------------------------------------------------------------------------------- /submissions/fudan/ex23.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex23.aig -------------------------------------------------------------------------------- /submissions/fudan/ex24.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex24.aig -------------------------------------------------------------------------------- /submissions/fudan/ex25.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex25.aig -------------------------------------------------------------------------------- /submissions/fudan/ex26.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex26.aig -------------------------------------------------------------------------------- /submissions/fudan/ex27.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex27.aig -------------------------------------------------------------------------------- /submissions/fudan/ex28.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex28.aig -------------------------------------------------------------------------------- /submissions/fudan/ex29.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex29.aig -------------------------------------------------------------------------------- /submissions/fudan/ex30.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex30.aig -------------------------------------------------------------------------------- /submissions/fudan/ex31.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex31.aig -------------------------------------------------------------------------------- /submissions/fudan/ex32.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex32.aig -------------------------------------------------------------------------------- /submissions/fudan/ex33.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex33.aig -------------------------------------------------------------------------------- /submissions/fudan/ex34.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex34.aig -------------------------------------------------------------------------------- /submissions/fudan/ex35.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex35.aig -------------------------------------------------------------------------------- /submissions/fudan/ex36.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex36.aig -------------------------------------------------------------------------------- /submissions/fudan/ex37.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex37.aig -------------------------------------------------------------------------------- /submissions/fudan/ex38.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex38.aig -------------------------------------------------------------------------------- /submissions/fudan/ex39.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex39.aig -------------------------------------------------------------------------------- /submissions/fudan/ex40.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex40.aig -------------------------------------------------------------------------------- /submissions/fudan/ex41.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex41.aig -------------------------------------------------------------------------------- /submissions/fudan/ex42.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex42.aig -------------------------------------------------------------------------------- /submissions/fudan/ex43.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex43.aig -------------------------------------------------------------------------------- /submissions/fudan/ex44.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex44.aig -------------------------------------------------------------------------------- /submissions/fudan/ex45.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex45.aig -------------------------------------------------------------------------------- /submissions/fudan/ex46.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex46.aig -------------------------------------------------------------------------------- /submissions/fudan/ex47.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex47.aig -------------------------------------------------------------------------------- /submissions/fudan/ex48.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex48.aig -------------------------------------------------------------------------------- /submissions/fudan/ex49.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex49.aig -------------------------------------------------------------------------------- /submissions/fudan/ex50.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex50.aig -------------------------------------------------------------------------------- /submissions/fudan/ex51.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex51.aig -------------------------------------------------------------------------------- /submissions/fudan/ex52.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex52.aig -------------------------------------------------------------------------------- /submissions/fudan/ex53.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex53.aig -------------------------------------------------------------------------------- /submissions/fudan/ex54.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex54.aig -------------------------------------------------------------------------------- /submissions/fudan/ex55.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex55.aig -------------------------------------------------------------------------------- /submissions/fudan/ex56.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex56.aig -------------------------------------------------------------------------------- /submissions/fudan/ex57.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex57.aig -------------------------------------------------------------------------------- /submissions/fudan/ex58.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex58.aig -------------------------------------------------------------------------------- /submissions/fudan/ex59.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex59.aig -------------------------------------------------------------------------------- /submissions/fudan/ex60.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex60.aig -------------------------------------------------------------------------------- /submissions/fudan/ex61.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex61.aig -------------------------------------------------------------------------------- /submissions/fudan/ex62.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex62.aig -------------------------------------------------------------------------------- /submissions/fudan/ex63.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex63.aig -------------------------------------------------------------------------------- /submissions/fudan/ex64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex64.aig -------------------------------------------------------------------------------- /submissions/fudan/ex65.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex65.aig -------------------------------------------------------------------------------- /submissions/fudan/ex66.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex66.aig -------------------------------------------------------------------------------- /submissions/fudan/ex67.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex67.aig -------------------------------------------------------------------------------- /submissions/fudan/ex68.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex68.aig -------------------------------------------------------------------------------- /submissions/fudan/ex69.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex69.aig -------------------------------------------------------------------------------- /submissions/fudan/ex70.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex70.aig -------------------------------------------------------------------------------- /submissions/fudan/ex71.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex71.aig -------------------------------------------------------------------------------- /submissions/fudan/ex72.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex72.aig -------------------------------------------------------------------------------- /submissions/fudan/ex73.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex73.aig -------------------------------------------------------------------------------- /submissions/fudan/ex74.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex74.aig -------------------------------------------------------------------------------- /submissions/fudan/ex75.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex75.aig -------------------------------------------------------------------------------- /submissions/fudan/ex76.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex76.aig -------------------------------------------------------------------------------- /submissions/fudan/ex77.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex77.aig -------------------------------------------------------------------------------- /submissions/fudan/ex78.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex78.aig -------------------------------------------------------------------------------- /submissions/fudan/ex79.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex79.aig -------------------------------------------------------------------------------- /submissions/fudan/ex80.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex80.aig -------------------------------------------------------------------------------- /submissions/fudan/ex81.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex81.aig -------------------------------------------------------------------------------- /submissions/fudan/ex82.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex82.aig -------------------------------------------------------------------------------- /submissions/fudan/ex83.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex83.aig -------------------------------------------------------------------------------- /submissions/fudan/ex84.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex84.aig -------------------------------------------------------------------------------- /submissions/fudan/ex85.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex85.aig -------------------------------------------------------------------------------- /submissions/fudan/ex86.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex86.aig -------------------------------------------------------------------------------- /submissions/fudan/ex87.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex87.aig -------------------------------------------------------------------------------- /submissions/fudan/ex88.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex88.aig -------------------------------------------------------------------------------- /submissions/fudan/ex89.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex89.aig -------------------------------------------------------------------------------- /submissions/fudan/ex90.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex90.aig -------------------------------------------------------------------------------- /submissions/fudan/ex91.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex91.aig -------------------------------------------------------------------------------- /submissions/fudan/ex92.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex92.aig -------------------------------------------------------------------------------- /submissions/fudan/ex93.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex93.aig -------------------------------------------------------------------------------- /submissions/fudan/ex94.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex94.aig -------------------------------------------------------------------------------- /submissions/fudan/ex95.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex95.aig -------------------------------------------------------------------------------- /submissions/fudan/ex96.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex96.aig -------------------------------------------------------------------------------- /submissions/fudan/ex97.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex97.aig -------------------------------------------------------------------------------- /submissions/fudan/ex98.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex98.aig -------------------------------------------------------------------------------- /submissions/fudan/ex99.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/ex99.aig -------------------------------------------------------------------------------- /submissions/fudan/stats.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/stats.script -------------------------------------------------------------------------------- /submissions/fudan/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/fudan/stats.txt -------------------------------------------------------------------------------- /submissions/levels.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/levels.txt -------------------------------------------------------------------------------- /submissions/nodes.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/nodes.txt -------------------------------------------------------------------------------- /submissions/ntu/ex00.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex00.aig -------------------------------------------------------------------------------- /submissions/ntu/ex01.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex01.aig -------------------------------------------------------------------------------- /submissions/ntu/ex02.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex02.aig -------------------------------------------------------------------------------- /submissions/ntu/ex03.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex03.aig -------------------------------------------------------------------------------- /submissions/ntu/ex04.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex04.aig -------------------------------------------------------------------------------- /submissions/ntu/ex05.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex05.aig -------------------------------------------------------------------------------- /submissions/ntu/ex06.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex06.aig -------------------------------------------------------------------------------- /submissions/ntu/ex07.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex07.aig -------------------------------------------------------------------------------- /submissions/ntu/ex08.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex08.aig -------------------------------------------------------------------------------- /submissions/ntu/ex09.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex09.aig -------------------------------------------------------------------------------- /submissions/ntu/ex10.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex10.aig -------------------------------------------------------------------------------- /submissions/ntu/ex11.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex11.aig -------------------------------------------------------------------------------- /submissions/ntu/ex12.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex12.aig -------------------------------------------------------------------------------- /submissions/ntu/ex13.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex13.aig -------------------------------------------------------------------------------- /submissions/ntu/ex14.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex14.aig -------------------------------------------------------------------------------- /submissions/ntu/ex15.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex15.aig -------------------------------------------------------------------------------- /submissions/ntu/ex16.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex16.aig -------------------------------------------------------------------------------- /submissions/ntu/ex17.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex17.aig -------------------------------------------------------------------------------- /submissions/ntu/ex18.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex18.aig -------------------------------------------------------------------------------- /submissions/ntu/ex19.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex19.aig -------------------------------------------------------------------------------- /submissions/ntu/ex20.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex20.aig -------------------------------------------------------------------------------- /submissions/ntu/ex21.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex21.aig -------------------------------------------------------------------------------- /submissions/ntu/ex22.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex22.aig -------------------------------------------------------------------------------- /submissions/ntu/ex23.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex23.aig -------------------------------------------------------------------------------- /submissions/ntu/ex24.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex24.aig -------------------------------------------------------------------------------- /submissions/ntu/ex25.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex25.aig -------------------------------------------------------------------------------- /submissions/ntu/ex26.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex26.aig -------------------------------------------------------------------------------- /submissions/ntu/ex27.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex27.aig -------------------------------------------------------------------------------- /submissions/ntu/ex28.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex28.aig -------------------------------------------------------------------------------- /submissions/ntu/ex29.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex29.aig -------------------------------------------------------------------------------- /submissions/ntu/ex30.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex30.aig -------------------------------------------------------------------------------- /submissions/ntu/ex31.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex31.aig -------------------------------------------------------------------------------- /submissions/ntu/ex32.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex32.aig -------------------------------------------------------------------------------- /submissions/ntu/ex33.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex33.aig -------------------------------------------------------------------------------- /submissions/ntu/ex34.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex34.aig -------------------------------------------------------------------------------- /submissions/ntu/ex35.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex35.aig -------------------------------------------------------------------------------- /submissions/ntu/ex36.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex36.aig -------------------------------------------------------------------------------- /submissions/ntu/ex37.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex37.aig -------------------------------------------------------------------------------- /submissions/ntu/ex38.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex38.aig -------------------------------------------------------------------------------- /submissions/ntu/ex39.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex39.aig -------------------------------------------------------------------------------- /submissions/ntu/ex40.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex40.aig -------------------------------------------------------------------------------- /submissions/ntu/ex41.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex41.aig -------------------------------------------------------------------------------- /submissions/ntu/ex42.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex42.aig -------------------------------------------------------------------------------- /submissions/ntu/ex43.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex43.aig -------------------------------------------------------------------------------- /submissions/ntu/ex44.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex44.aig -------------------------------------------------------------------------------- /submissions/ntu/ex45.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex45.aig -------------------------------------------------------------------------------- /submissions/ntu/ex46.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex46.aig -------------------------------------------------------------------------------- /submissions/ntu/ex47.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex47.aig -------------------------------------------------------------------------------- /submissions/ntu/ex48.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex48.aig -------------------------------------------------------------------------------- /submissions/ntu/ex49.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex49.aig -------------------------------------------------------------------------------- /submissions/ntu/ex50.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex50.aig -------------------------------------------------------------------------------- /submissions/ntu/ex51.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex51.aig -------------------------------------------------------------------------------- /submissions/ntu/ex52.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex52.aig -------------------------------------------------------------------------------- /submissions/ntu/ex53.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex53.aig -------------------------------------------------------------------------------- /submissions/ntu/ex54.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex54.aig -------------------------------------------------------------------------------- /submissions/ntu/ex55.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex55.aig -------------------------------------------------------------------------------- /submissions/ntu/ex56.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex56.aig -------------------------------------------------------------------------------- /submissions/ntu/ex57.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex57.aig -------------------------------------------------------------------------------- /submissions/ntu/ex58.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex58.aig -------------------------------------------------------------------------------- /submissions/ntu/ex59.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex59.aig -------------------------------------------------------------------------------- /submissions/ntu/ex60.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex60.aig -------------------------------------------------------------------------------- /submissions/ntu/ex61.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex61.aig -------------------------------------------------------------------------------- /submissions/ntu/ex62.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex62.aig -------------------------------------------------------------------------------- /submissions/ntu/ex63.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex63.aig -------------------------------------------------------------------------------- /submissions/ntu/ex64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex64.aig -------------------------------------------------------------------------------- /submissions/ntu/ex65.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex65.aig -------------------------------------------------------------------------------- /submissions/ntu/ex66.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex66.aig -------------------------------------------------------------------------------- /submissions/ntu/ex67.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex67.aig -------------------------------------------------------------------------------- /submissions/ntu/ex68.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex68.aig -------------------------------------------------------------------------------- /submissions/ntu/ex69.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex69.aig -------------------------------------------------------------------------------- /submissions/ntu/ex70.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex70.aig -------------------------------------------------------------------------------- /submissions/ntu/ex71.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex71.aig -------------------------------------------------------------------------------- /submissions/ntu/ex72.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex72.aig -------------------------------------------------------------------------------- /submissions/ntu/ex73.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex73.aig -------------------------------------------------------------------------------- /submissions/ntu/ex74.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex74.aig -------------------------------------------------------------------------------- /submissions/ntu/ex75.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex75.aig -------------------------------------------------------------------------------- /submissions/ntu/ex76.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex76.aig -------------------------------------------------------------------------------- /submissions/ntu/ex77.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex77.aig -------------------------------------------------------------------------------- /submissions/ntu/ex78.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex78.aig -------------------------------------------------------------------------------- /submissions/ntu/ex79.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex79.aig -------------------------------------------------------------------------------- /submissions/ntu/ex80.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex80.aig -------------------------------------------------------------------------------- /submissions/ntu/ex81.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex81.aig -------------------------------------------------------------------------------- /submissions/ntu/ex82.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex82.aig -------------------------------------------------------------------------------- /submissions/ntu/ex83.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex83.aig -------------------------------------------------------------------------------- /submissions/ntu/ex84.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex84.aig -------------------------------------------------------------------------------- /submissions/ntu/ex85.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex85.aig -------------------------------------------------------------------------------- /submissions/ntu/ex86.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex86.aig -------------------------------------------------------------------------------- /submissions/ntu/ex87.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex87.aig -------------------------------------------------------------------------------- /submissions/ntu/ex88.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex88.aig -------------------------------------------------------------------------------- /submissions/ntu/ex89.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex89.aig -------------------------------------------------------------------------------- /submissions/ntu/ex90.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex90.aig -------------------------------------------------------------------------------- /submissions/ntu/ex91.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex91.aig -------------------------------------------------------------------------------- /submissions/ntu/ex92.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex92.aig -------------------------------------------------------------------------------- /submissions/ntu/ex93.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex93.aig -------------------------------------------------------------------------------- /submissions/ntu/ex94.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex94.aig -------------------------------------------------------------------------------- /submissions/ntu/ex95.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex95.aig -------------------------------------------------------------------------------- /submissions/ntu/ex96.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex96.aig -------------------------------------------------------------------------------- /submissions/ntu/ex97.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex97.aig -------------------------------------------------------------------------------- /submissions/ntu/ex98.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex98.aig -------------------------------------------------------------------------------- /submissions/ntu/ex99.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/ex99.aig -------------------------------------------------------------------------------- /submissions/ntu/stats.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/stats.script -------------------------------------------------------------------------------- /submissions/ntu/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ntu/stats.txt -------------------------------------------------------------------------------- /submissions/scores.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/scores.txt -------------------------------------------------------------------------------- /submissions/tuw/ex00.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex00.aig -------------------------------------------------------------------------------- /submissions/tuw/ex01.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex01.aig -------------------------------------------------------------------------------- /submissions/tuw/ex02.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex02.aig -------------------------------------------------------------------------------- /submissions/tuw/ex03.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex03.aig -------------------------------------------------------------------------------- /submissions/tuw/ex04.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex04.aig -------------------------------------------------------------------------------- /submissions/tuw/ex05.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex05.aig -------------------------------------------------------------------------------- /submissions/tuw/ex06.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex06.aig -------------------------------------------------------------------------------- /submissions/tuw/ex07.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex07.aig -------------------------------------------------------------------------------- /submissions/tuw/ex08.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex08.aig -------------------------------------------------------------------------------- /submissions/tuw/ex09.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex09.aig -------------------------------------------------------------------------------- /submissions/tuw/ex10.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex10.aig -------------------------------------------------------------------------------- /submissions/tuw/ex11.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex11.aig -------------------------------------------------------------------------------- /submissions/tuw/ex12.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex12.aig -------------------------------------------------------------------------------- /submissions/tuw/ex13.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex13.aig -------------------------------------------------------------------------------- /submissions/tuw/ex14.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex14.aig -------------------------------------------------------------------------------- /submissions/tuw/ex15.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex15.aig -------------------------------------------------------------------------------- /submissions/tuw/ex16.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex16.aig -------------------------------------------------------------------------------- /submissions/tuw/ex17.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex17.aig -------------------------------------------------------------------------------- /submissions/tuw/ex18.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex18.aig -------------------------------------------------------------------------------- /submissions/tuw/ex19.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex19.aig -------------------------------------------------------------------------------- /submissions/tuw/ex20.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex20.aig -------------------------------------------------------------------------------- /submissions/tuw/ex21.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex21.aig -------------------------------------------------------------------------------- /submissions/tuw/ex22.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex22.aig -------------------------------------------------------------------------------- /submissions/tuw/ex23.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex23.aig -------------------------------------------------------------------------------- /submissions/tuw/ex24.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex24.aig -------------------------------------------------------------------------------- /submissions/tuw/ex25.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex25.aig -------------------------------------------------------------------------------- /submissions/tuw/ex26.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex26.aig -------------------------------------------------------------------------------- /submissions/tuw/ex27.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex27.aig -------------------------------------------------------------------------------- /submissions/tuw/ex28.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex28.aig -------------------------------------------------------------------------------- /submissions/tuw/ex29.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex29.aig -------------------------------------------------------------------------------- /submissions/tuw/ex30.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex30.aig -------------------------------------------------------------------------------- /submissions/tuw/ex31.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex31.aig -------------------------------------------------------------------------------- /submissions/tuw/ex32.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex32.aig -------------------------------------------------------------------------------- /submissions/tuw/ex33.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex33.aig -------------------------------------------------------------------------------- /submissions/tuw/ex34.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex34.aig -------------------------------------------------------------------------------- /submissions/tuw/ex35.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex35.aig -------------------------------------------------------------------------------- /submissions/tuw/ex36.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex36.aig -------------------------------------------------------------------------------- /submissions/tuw/ex37.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex37.aig -------------------------------------------------------------------------------- /submissions/tuw/ex38.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex38.aig -------------------------------------------------------------------------------- /submissions/tuw/ex39.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex39.aig -------------------------------------------------------------------------------- /submissions/tuw/ex40.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex40.aig -------------------------------------------------------------------------------- /submissions/tuw/ex41.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex41.aig -------------------------------------------------------------------------------- /submissions/tuw/ex42.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex42.aig -------------------------------------------------------------------------------- /submissions/tuw/ex43.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex43.aig -------------------------------------------------------------------------------- /submissions/tuw/ex44.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex44.aig -------------------------------------------------------------------------------- /submissions/tuw/ex45.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex45.aig -------------------------------------------------------------------------------- /submissions/tuw/ex46.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex46.aig -------------------------------------------------------------------------------- /submissions/tuw/ex47.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex47.aig -------------------------------------------------------------------------------- /submissions/tuw/ex48.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex48.aig -------------------------------------------------------------------------------- /submissions/tuw/ex49.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex49.aig -------------------------------------------------------------------------------- /submissions/tuw/ex50.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex50.aig -------------------------------------------------------------------------------- /submissions/tuw/ex51.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex51.aig -------------------------------------------------------------------------------- /submissions/tuw/ex52.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex52.aig -------------------------------------------------------------------------------- /submissions/tuw/ex53.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex53.aig -------------------------------------------------------------------------------- /submissions/tuw/ex54.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex54.aig -------------------------------------------------------------------------------- /submissions/tuw/ex55.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex55.aig -------------------------------------------------------------------------------- /submissions/tuw/ex56.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex56.aig -------------------------------------------------------------------------------- /submissions/tuw/ex57.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex57.aig -------------------------------------------------------------------------------- /submissions/tuw/ex58.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex58.aig -------------------------------------------------------------------------------- /submissions/tuw/ex59.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex59.aig -------------------------------------------------------------------------------- /submissions/tuw/ex60.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex60.aig -------------------------------------------------------------------------------- /submissions/tuw/ex61.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex61.aig -------------------------------------------------------------------------------- /submissions/tuw/ex62.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex62.aig -------------------------------------------------------------------------------- /submissions/tuw/ex63.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex63.aig -------------------------------------------------------------------------------- /submissions/tuw/ex64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex64.aig -------------------------------------------------------------------------------- /submissions/tuw/ex65.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex65.aig -------------------------------------------------------------------------------- /submissions/tuw/ex66.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex66.aig -------------------------------------------------------------------------------- /submissions/tuw/ex67.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex67.aig -------------------------------------------------------------------------------- /submissions/tuw/ex68.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex68.aig -------------------------------------------------------------------------------- /submissions/tuw/ex69.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex69.aig -------------------------------------------------------------------------------- /submissions/tuw/ex70.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex70.aig -------------------------------------------------------------------------------- /submissions/tuw/ex71.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex71.aig -------------------------------------------------------------------------------- /submissions/tuw/ex72.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex72.aig -------------------------------------------------------------------------------- /submissions/tuw/ex73.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex73.aig -------------------------------------------------------------------------------- /submissions/tuw/ex74.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex74.aig -------------------------------------------------------------------------------- /submissions/tuw/ex75.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex75.aig -------------------------------------------------------------------------------- /submissions/tuw/ex76.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex76.aig -------------------------------------------------------------------------------- /submissions/tuw/ex77.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex77.aig -------------------------------------------------------------------------------- /submissions/tuw/ex78.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex78.aig -------------------------------------------------------------------------------- /submissions/tuw/ex79.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex79.aig -------------------------------------------------------------------------------- /submissions/tuw/ex80.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex80.aig -------------------------------------------------------------------------------- /submissions/tuw/ex81.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex81.aig -------------------------------------------------------------------------------- /submissions/tuw/ex82.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex82.aig -------------------------------------------------------------------------------- /submissions/tuw/ex83.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex83.aig -------------------------------------------------------------------------------- /submissions/tuw/ex84.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex84.aig -------------------------------------------------------------------------------- /submissions/tuw/ex85.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex85.aig -------------------------------------------------------------------------------- /submissions/tuw/ex86.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex86.aig -------------------------------------------------------------------------------- /submissions/tuw/ex87.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex87.aig -------------------------------------------------------------------------------- /submissions/tuw/ex88.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex88.aig -------------------------------------------------------------------------------- /submissions/tuw/ex89.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex89.aig -------------------------------------------------------------------------------- /submissions/tuw/ex90.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex90.aig -------------------------------------------------------------------------------- /submissions/tuw/ex91.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex91.aig -------------------------------------------------------------------------------- /submissions/tuw/ex92.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex92.aig -------------------------------------------------------------------------------- /submissions/tuw/ex93.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex93.aig -------------------------------------------------------------------------------- /submissions/tuw/ex94.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex94.aig -------------------------------------------------------------------------------- /submissions/tuw/ex95.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex95.aig -------------------------------------------------------------------------------- /submissions/tuw/ex96.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex96.aig -------------------------------------------------------------------------------- /submissions/tuw/ex97.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex97.aig -------------------------------------------------------------------------------- /submissions/tuw/ex98.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex98.aig -------------------------------------------------------------------------------- /submissions/tuw/ex99.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/ex99.aig -------------------------------------------------------------------------------- /submissions/tuw/stats.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/stats.script -------------------------------------------------------------------------------- /submissions/tuw/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/tuw/stats.txt -------------------------------------------------------------------------------- /submissions/ucas/ex00.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex00.aig -------------------------------------------------------------------------------- /submissions/ucas/ex01.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex01.aig -------------------------------------------------------------------------------- /submissions/ucas/ex02.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex02.aig -------------------------------------------------------------------------------- /submissions/ucas/ex03.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex03.aig -------------------------------------------------------------------------------- /submissions/ucas/ex04.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex04.aig -------------------------------------------------------------------------------- /submissions/ucas/ex05.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex05.aig -------------------------------------------------------------------------------- /submissions/ucas/ex06.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex06.aig -------------------------------------------------------------------------------- /submissions/ucas/ex07.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex07.aig -------------------------------------------------------------------------------- /submissions/ucas/ex08.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex08.aig -------------------------------------------------------------------------------- /submissions/ucas/ex09.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex09.aig -------------------------------------------------------------------------------- /submissions/ucas/ex10.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex10.aig -------------------------------------------------------------------------------- /submissions/ucas/ex11.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex11.aig -------------------------------------------------------------------------------- /submissions/ucas/ex12.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex12.aig -------------------------------------------------------------------------------- /submissions/ucas/ex13.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex13.aig -------------------------------------------------------------------------------- /submissions/ucas/ex14.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex14.aig -------------------------------------------------------------------------------- /submissions/ucas/ex15.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex15.aig -------------------------------------------------------------------------------- /submissions/ucas/ex16.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex16.aig -------------------------------------------------------------------------------- /submissions/ucas/ex17.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex17.aig -------------------------------------------------------------------------------- /submissions/ucas/ex18.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex18.aig -------------------------------------------------------------------------------- /submissions/ucas/ex19.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex19.aig -------------------------------------------------------------------------------- /submissions/ucas/ex20.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex20.aig -------------------------------------------------------------------------------- /submissions/ucas/ex21.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex21.aig -------------------------------------------------------------------------------- /submissions/ucas/ex22.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex22.aig -------------------------------------------------------------------------------- /submissions/ucas/ex23.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex23.aig -------------------------------------------------------------------------------- /submissions/ucas/ex24.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex24.aig -------------------------------------------------------------------------------- /submissions/ucas/ex25.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex25.aig -------------------------------------------------------------------------------- /submissions/ucas/ex26.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex26.aig -------------------------------------------------------------------------------- /submissions/ucas/ex27.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex27.aig -------------------------------------------------------------------------------- /submissions/ucas/ex28.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex28.aig -------------------------------------------------------------------------------- /submissions/ucas/ex29.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex29.aig -------------------------------------------------------------------------------- /submissions/ucas/ex30.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex30.aig -------------------------------------------------------------------------------- /submissions/ucas/ex31.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex31.aig -------------------------------------------------------------------------------- /submissions/ucas/ex32.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex32.aig -------------------------------------------------------------------------------- /submissions/ucas/ex33.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex33.aig -------------------------------------------------------------------------------- /submissions/ucas/ex34.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex34.aig -------------------------------------------------------------------------------- /submissions/ucas/ex35.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex35.aig -------------------------------------------------------------------------------- /submissions/ucas/ex36.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex36.aig -------------------------------------------------------------------------------- /submissions/ucas/ex37.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex37.aig -------------------------------------------------------------------------------- /submissions/ucas/ex38.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex38.aig -------------------------------------------------------------------------------- /submissions/ucas/ex39.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex39.aig -------------------------------------------------------------------------------- /submissions/ucas/ex40.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex40.aig -------------------------------------------------------------------------------- /submissions/ucas/ex41.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex41.aig -------------------------------------------------------------------------------- /submissions/ucas/ex42.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex42.aig -------------------------------------------------------------------------------- /submissions/ucas/ex43.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex43.aig -------------------------------------------------------------------------------- /submissions/ucas/ex44.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex44.aig -------------------------------------------------------------------------------- /submissions/ucas/ex45.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex45.aig -------------------------------------------------------------------------------- /submissions/ucas/ex46.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex46.aig -------------------------------------------------------------------------------- /submissions/ucas/ex47.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex47.aig -------------------------------------------------------------------------------- /submissions/ucas/ex48.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex48.aig -------------------------------------------------------------------------------- /submissions/ucas/ex49.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex49.aig -------------------------------------------------------------------------------- /submissions/ucas/ex50.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex50.aig -------------------------------------------------------------------------------- /submissions/ucas/ex51.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex51.aig -------------------------------------------------------------------------------- /submissions/ucas/ex52.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex52.aig -------------------------------------------------------------------------------- /submissions/ucas/ex53.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex53.aig -------------------------------------------------------------------------------- /submissions/ucas/ex54.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex54.aig -------------------------------------------------------------------------------- /submissions/ucas/ex55.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex55.aig -------------------------------------------------------------------------------- /submissions/ucas/ex56.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex56.aig -------------------------------------------------------------------------------- /submissions/ucas/ex57.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex57.aig -------------------------------------------------------------------------------- /submissions/ucas/ex58.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex58.aig -------------------------------------------------------------------------------- /submissions/ucas/ex59.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex59.aig -------------------------------------------------------------------------------- /submissions/ucas/ex60.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex60.aig -------------------------------------------------------------------------------- /submissions/ucas/ex61.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex61.aig -------------------------------------------------------------------------------- /submissions/ucas/ex62.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex62.aig -------------------------------------------------------------------------------- /submissions/ucas/ex63.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex63.aig -------------------------------------------------------------------------------- /submissions/ucas/ex64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex64.aig -------------------------------------------------------------------------------- /submissions/ucas/ex65.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex65.aig -------------------------------------------------------------------------------- /submissions/ucas/ex66.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex66.aig -------------------------------------------------------------------------------- /submissions/ucas/ex67.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex67.aig -------------------------------------------------------------------------------- /submissions/ucas/ex68.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex68.aig -------------------------------------------------------------------------------- /submissions/ucas/ex69.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex69.aig -------------------------------------------------------------------------------- /submissions/ucas/ex70.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex70.aig -------------------------------------------------------------------------------- /submissions/ucas/ex71.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex71.aig -------------------------------------------------------------------------------- /submissions/ucas/ex72.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex72.aig -------------------------------------------------------------------------------- /submissions/ucas/ex73.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex73.aig -------------------------------------------------------------------------------- /submissions/ucas/ex74.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex74.aig -------------------------------------------------------------------------------- /submissions/ucas/ex75.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex75.aig -------------------------------------------------------------------------------- /submissions/ucas/ex76.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex76.aig -------------------------------------------------------------------------------- /submissions/ucas/ex77.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex77.aig -------------------------------------------------------------------------------- /submissions/ucas/ex78.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex78.aig -------------------------------------------------------------------------------- /submissions/ucas/ex79.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex79.aig -------------------------------------------------------------------------------- /submissions/ucas/ex80.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex80.aig -------------------------------------------------------------------------------- /submissions/ucas/ex81.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex81.aig -------------------------------------------------------------------------------- /submissions/ucas/ex82.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex82.aig -------------------------------------------------------------------------------- /submissions/ucas/ex83.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex83.aig -------------------------------------------------------------------------------- /submissions/ucas/ex84.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex84.aig -------------------------------------------------------------------------------- /submissions/ucas/ex85.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex85.aig -------------------------------------------------------------------------------- /submissions/ucas/ex86.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex86.aig -------------------------------------------------------------------------------- /submissions/ucas/ex87.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex87.aig -------------------------------------------------------------------------------- /submissions/ucas/ex88.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex88.aig -------------------------------------------------------------------------------- /submissions/ucas/ex89.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex89.aig -------------------------------------------------------------------------------- /submissions/ucas/ex90.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex90.aig -------------------------------------------------------------------------------- /submissions/ucas/ex91.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex91.aig -------------------------------------------------------------------------------- /submissions/ucas/ex92.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex92.aig -------------------------------------------------------------------------------- /submissions/ucas/ex93.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex93.aig -------------------------------------------------------------------------------- /submissions/ucas/ex94.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex94.aig -------------------------------------------------------------------------------- /submissions/ucas/ex95.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex95.aig -------------------------------------------------------------------------------- /submissions/ucas/ex96.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex96.aig -------------------------------------------------------------------------------- /submissions/ucas/ex97.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex97.aig -------------------------------------------------------------------------------- /submissions/ucas/ex98.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex98.aig -------------------------------------------------------------------------------- /submissions/ucas/ex99.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/ex99.aig -------------------------------------------------------------------------------- /submissions/ucas/stats.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/stats.script -------------------------------------------------------------------------------- /submissions/ucas/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucas/stats.txt -------------------------------------------------------------------------------- /submissions/ucb/ex00.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex00.aig -------------------------------------------------------------------------------- /submissions/ucb/ex01.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex01.aig -------------------------------------------------------------------------------- /submissions/ucb/ex02.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex02.aig -------------------------------------------------------------------------------- /submissions/ucb/ex03.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex03.aig -------------------------------------------------------------------------------- /submissions/ucb/ex04.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex04.aig -------------------------------------------------------------------------------- /submissions/ucb/ex05.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex05.aig -------------------------------------------------------------------------------- /submissions/ucb/ex06.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex06.aig -------------------------------------------------------------------------------- /submissions/ucb/ex07.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex07.aig -------------------------------------------------------------------------------- /submissions/ucb/ex08.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex08.aig -------------------------------------------------------------------------------- /submissions/ucb/ex09.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex09.aig -------------------------------------------------------------------------------- /submissions/ucb/ex10.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex10.aig -------------------------------------------------------------------------------- /submissions/ucb/ex11.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex11.aig -------------------------------------------------------------------------------- /submissions/ucb/ex12.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex12.aig -------------------------------------------------------------------------------- /submissions/ucb/ex13.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex13.aig -------------------------------------------------------------------------------- /submissions/ucb/ex14.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex14.aig -------------------------------------------------------------------------------- /submissions/ucb/ex15.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex15.aig -------------------------------------------------------------------------------- /submissions/ucb/ex16.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex16.aig -------------------------------------------------------------------------------- /submissions/ucb/ex17.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex17.aig -------------------------------------------------------------------------------- /submissions/ucb/ex18.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex18.aig -------------------------------------------------------------------------------- /submissions/ucb/ex19.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex19.aig -------------------------------------------------------------------------------- /submissions/ucb/ex20.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex20.aig -------------------------------------------------------------------------------- /submissions/ucb/ex21.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex21.aig -------------------------------------------------------------------------------- /submissions/ucb/ex22.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex22.aig -------------------------------------------------------------------------------- /submissions/ucb/ex23.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex23.aig -------------------------------------------------------------------------------- /submissions/ucb/ex24.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex24.aig -------------------------------------------------------------------------------- /submissions/ucb/ex25.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex25.aig -------------------------------------------------------------------------------- /submissions/ucb/ex26.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex26.aig -------------------------------------------------------------------------------- /submissions/ucb/ex27.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex27.aig -------------------------------------------------------------------------------- /submissions/ucb/ex28.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex28.aig -------------------------------------------------------------------------------- /submissions/ucb/ex29.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex29.aig -------------------------------------------------------------------------------- /submissions/ucb/ex30.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex30.aig -------------------------------------------------------------------------------- /submissions/ucb/ex31.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex31.aig -------------------------------------------------------------------------------- /submissions/ucb/ex32.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex32.aig -------------------------------------------------------------------------------- /submissions/ucb/ex33.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex33.aig -------------------------------------------------------------------------------- /submissions/ucb/ex34.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex34.aig -------------------------------------------------------------------------------- /submissions/ucb/ex35.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex35.aig -------------------------------------------------------------------------------- /submissions/ucb/ex36.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex36.aig -------------------------------------------------------------------------------- /submissions/ucb/ex37.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex37.aig -------------------------------------------------------------------------------- /submissions/ucb/ex38.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex38.aig -------------------------------------------------------------------------------- /submissions/ucb/ex39.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex39.aig -------------------------------------------------------------------------------- /submissions/ucb/ex40.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex40.aig -------------------------------------------------------------------------------- /submissions/ucb/ex41.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex41.aig -------------------------------------------------------------------------------- /submissions/ucb/ex42.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex42.aig -------------------------------------------------------------------------------- /submissions/ucb/ex43.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex43.aig -------------------------------------------------------------------------------- /submissions/ucb/ex44.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex44.aig -------------------------------------------------------------------------------- /submissions/ucb/ex45.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex45.aig -------------------------------------------------------------------------------- /submissions/ucb/ex46.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex46.aig -------------------------------------------------------------------------------- /submissions/ucb/ex47.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex47.aig -------------------------------------------------------------------------------- /submissions/ucb/ex48.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex48.aig -------------------------------------------------------------------------------- /submissions/ucb/ex49.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex49.aig -------------------------------------------------------------------------------- /submissions/ucb/ex50.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex50.aig -------------------------------------------------------------------------------- /submissions/ucb/ex51.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex51.aig -------------------------------------------------------------------------------- /submissions/ucb/ex52.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex52.aig -------------------------------------------------------------------------------- /submissions/ucb/ex53.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex53.aig -------------------------------------------------------------------------------- /submissions/ucb/ex54.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex54.aig -------------------------------------------------------------------------------- /submissions/ucb/ex55.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex55.aig -------------------------------------------------------------------------------- /submissions/ucb/ex56.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex56.aig -------------------------------------------------------------------------------- /submissions/ucb/ex57.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex57.aig -------------------------------------------------------------------------------- /submissions/ucb/ex58.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex58.aig -------------------------------------------------------------------------------- /submissions/ucb/ex59.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex59.aig -------------------------------------------------------------------------------- /submissions/ucb/ex60.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex60.aig -------------------------------------------------------------------------------- /submissions/ucb/ex61.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex61.aig -------------------------------------------------------------------------------- /submissions/ucb/ex62.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex62.aig -------------------------------------------------------------------------------- /submissions/ucb/ex63.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex63.aig -------------------------------------------------------------------------------- /submissions/ucb/ex64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex64.aig -------------------------------------------------------------------------------- /submissions/ucb/ex65.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex65.aig -------------------------------------------------------------------------------- /submissions/ucb/ex66.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex66.aig -------------------------------------------------------------------------------- /submissions/ucb/ex67.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex67.aig -------------------------------------------------------------------------------- /submissions/ucb/ex68.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex68.aig -------------------------------------------------------------------------------- /submissions/ucb/ex69.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex69.aig -------------------------------------------------------------------------------- /submissions/ucb/ex70.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex70.aig -------------------------------------------------------------------------------- /submissions/ucb/ex71.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex71.aig -------------------------------------------------------------------------------- /submissions/ucb/ex72.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex72.aig -------------------------------------------------------------------------------- /submissions/ucb/ex73.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex73.aig -------------------------------------------------------------------------------- /submissions/ucb/ex74.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex74.aig -------------------------------------------------------------------------------- /submissions/ucb/ex75.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex75.aig -------------------------------------------------------------------------------- /submissions/ucb/ex76.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex76.aig -------------------------------------------------------------------------------- /submissions/ucb/ex77.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex77.aig -------------------------------------------------------------------------------- /submissions/ucb/ex78.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex78.aig -------------------------------------------------------------------------------- /submissions/ucb/ex79.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex79.aig -------------------------------------------------------------------------------- /submissions/ucb/ex80.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex80.aig -------------------------------------------------------------------------------- /submissions/ucb/ex81.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex81.aig -------------------------------------------------------------------------------- /submissions/ucb/ex82.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex82.aig -------------------------------------------------------------------------------- /submissions/ucb/ex83.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex83.aig -------------------------------------------------------------------------------- /submissions/ucb/ex84.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex84.aig -------------------------------------------------------------------------------- /submissions/ucb/ex85.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex85.aig -------------------------------------------------------------------------------- /submissions/ucb/ex86.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex86.aig -------------------------------------------------------------------------------- /submissions/ucb/ex87.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex87.aig -------------------------------------------------------------------------------- /submissions/ucb/ex88.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex88.aig -------------------------------------------------------------------------------- /submissions/ucb/ex89.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex89.aig -------------------------------------------------------------------------------- /submissions/ucb/ex90.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex90.aig -------------------------------------------------------------------------------- /submissions/ucb/ex91.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex91.aig -------------------------------------------------------------------------------- /submissions/ucb/ex92.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex92.aig -------------------------------------------------------------------------------- /submissions/ucb/ex93.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex93.aig -------------------------------------------------------------------------------- /submissions/ucb/ex94.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex94.aig -------------------------------------------------------------------------------- /submissions/ucb/ex95.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex95.aig -------------------------------------------------------------------------------- /submissions/ucb/ex96.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex96.aig -------------------------------------------------------------------------------- /submissions/ucb/ex97.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex97.aig -------------------------------------------------------------------------------- /submissions/ucb/ex98.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex98.aig -------------------------------------------------------------------------------- /submissions/ucb/ex99.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/ex99.aig -------------------------------------------------------------------------------- /submissions/ucb/stats.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/stats.script -------------------------------------------------------------------------------- /submissions/ucb/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ucb/stats.txt -------------------------------------------------------------------------------- /submissions/ufrgs/ex00.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex00.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex01.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex01.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex02.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex02.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex03.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex03.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex04.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex04.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex05.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex05.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex06.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex06.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex07.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex07.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex08.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex08.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex09.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex09.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex10.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex10.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex11.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex11.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex12.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex12.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex13.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex13.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex14.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex14.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex15.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex15.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex16.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex16.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex17.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex17.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex18.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex18.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex19.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex19.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex20.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex20.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex21.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex21.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex22.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex22.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex23.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex23.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex24.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex24.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex25.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex25.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex26.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex26.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex27.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex27.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex28.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex28.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex29.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex29.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex30.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex30.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex31.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex31.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex32.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex32.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex33.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex33.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex34.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex34.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex35.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex35.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex36.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex36.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex37.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex37.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex38.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex38.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex39.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex39.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex40.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex40.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex41.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex41.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex42.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex42.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex43.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex43.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex44.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex44.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex45.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex45.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex46.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex46.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex47.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex47.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex48.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex48.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex49.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex49.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex50.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex50.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex51.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex51.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex52.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex52.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex53.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex53.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex54.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex54.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex55.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex55.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex56.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex56.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex57.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex57.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex58.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex58.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex59.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex59.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex60.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex60.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex61.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex61.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex62.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex62.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex63.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex63.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex64.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex64.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex65.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex65.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex66.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex66.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex67.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex67.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex68.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex68.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex69.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex69.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex70.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex70.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex71.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex71.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex72.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex72.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex73.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex73.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex74.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex74.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex75.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex75.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex76.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex76.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex77.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex77.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex78.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex78.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex79.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex79.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex80.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex80.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex81.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex81.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex82.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex82.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex83.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex83.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex84.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex84.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex85.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex85.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex86.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex86.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex87.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex87.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex88.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex88.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex89.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex89.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex90.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex90.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex91.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex91.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex92.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex92.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex93.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex93.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex94.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex94.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex95.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex95.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex96.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex96.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex97.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex97.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex98.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex98.aig -------------------------------------------------------------------------------- /submissions/ufrgs/ex99.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/ex99.aig -------------------------------------------------------------------------------- /submissions/ufrgs/stats.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/stats.script -------------------------------------------------------------------------------- /submissions/ufrgs/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alanminko/iwls2022-ls-contest/HEAD/submissions/ufrgs/stats.txt --------------------------------------------------------------------------------