Describir: Porovnanie algoritmov simulačnej optimalizácie vo Witness :