MiniSearch fails on some of its examples

[dcatteeu]

When running minisearch on its examples, some fail due to the same evaluation error:

examples/cvrp-lns-specialised.mzn:318:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_90. Don't forget to add all identifiers you use as arguments of sol() in the output statement.

examples/golomb_lns.mzn
share/minizinc/std/minisearch.mzn:211:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_1. Don't forget to add all identifiers you use as arguments of sol() in the output statement.

examples/golomb_lns_bab.mzn:50:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_1. Don't forget to add all identifiers you use as arguments of sol() in the output statement.

examples/golomb_lns_nested_timeout.mzn:50:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_1. Don't forget to add all identifiers you use as arguments of sol() in the output statement.

examples/radiation-andor.mzn:122:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_0. Don't forget to add all identifiers you use as arguments of sol() in the output statement.

examples/knapsack_stochastic_andor.mzn:109:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_0. Don't forget to add all identifiers you use as arguments of sol() in the output statement.

examples/knapsack_stochastic_andor_fctScope.mzn:108:
MiniZinc: evaluation error: could not find solution for unknown identifier: X_INTRODUCED_0. Don't forget to add all identifiers you use as arguments of sol() in the output statement.

How to reproduce

Build the minisearch binary package and run:

minisearch-0.1.0b1-Darwin$ for i in examples/*.mzn; do echo $i; ./bin/minisearch --solver fzn-gecode --stdlib-dir share/minizinc $i; done

Versions

MiniZinc including solvers: latest binary distribution for macOS

minisearch: built from GitHub, Latest commit 5f48d82 on 16 Apr 2016

$ uname -a 
Darwin neptune.local 17.3.0 Darwin Kernel Version 17.3.0: Thu Nov  9 18:09:22 PST 2017; root:xnu-4570.31.3~1/RELEASE_X86_64 x86_64