#!/bin/bash

. params.sh

java -Dlog.level=INFO -cp ${JPATH} fr.inria.exmo.lazylavender.engine.Monitor -DnbAgents=4 -DnbIterations=10000 -DnbRuns=10 -DreportPrecRec -DrevisionModality=refadd -DrepeatRepairs=400 -Drepairers=logmap,alcomo

java -Dlog.level=INFO -cp ${JPATH} fr.inria.exmo.lazylavender.engine.Monitor -DnbAgents=4 -DnbIterations=10000 -DnbRuns=10 -DreportPrecRec -DrevisionModality=refadd -DrepeatRepairs=400 -Drepairers=logmap,alcomo -DexpandAlignments=clever -DnonRedundancy

java -Dlog.level=INFO -cp ${JPATH} fr.inria.exmo.lazylavender.engine.Monitor -DnbAgents=4 -DnbIterations=10000 -DnbRuns=10 -DreportPrecRec -DrevisionModality=refadd -DrepeatRepairs=400 -Drepairers=logmap,alcomo -DimmediateRatio=80

java -Dlog.level=INFO -cp ${JPATH} fr.inria.exmo.lazylavender.engine.Monitor -DnbAgents=4 -DnbIterations=10000 -DnbRuns=10 -DreportPrecRec -DrevisionModality=refadd -DrepeatRepairs=400 -Drepairers=logmap,alcomo -DexpandAlignments=clever -DnonRedundancy -DimmediateRatio=80