Project

General

Profile

Revision cf05f9f8 benchmarks/aconjunctive_mu/bench_one_formula.sh

View differences:

benchmarks/aconjunctive_mu/bench_one_formula.sh
87 87

  
88 88
##### mlsolver without optimization
89 89

  
90
bench mlsolver ./run_mlsolver.sh ${FORMULA} -sat ${MLSOLVER_LOGIC} -pgs recursive --verbose
90
bench mlsolver ./run_mlsolver.sh ${FORMULA} -sat ${MLSOLVER_LOGIC} -pgs stratimprloc2 --verbose
91 91

  
92 92
##### mlsolver with optimization
93 93

  
94
bench mlsolver-opt ./run_mlsolver.sh ${FORMULA} -sat ${MLSOLVER_LOGIC} -pgs recursive -opt comp -opt litpro --verbose
94
bench mlsolver-opt ./run_mlsolver.sh ${FORMULA} -sat ${MLSOLVER_LOGIC} -pgs stratimprloc2 -opt comp -opt litpro --verbose
95 95

  
96 96
echo ""

Also available in: Unified diff