bmtool -e extraction.smodels -o schemata -n=1 -p test1probl.sweets /home/biokom/smodels-2.27/smodels

bmtool -e /home/biokom/diplom/BMTool/extraction.smodels -o /home/biokom/diplom/BMTool/schemata1 -n=1 -p atestc.sweets /home/biokom/smodels-2.27/smodels >atestw.txt