Variable running time when doing modelexpand several times

[Joachim Jansen]

Inferences are supposed to be deterministic. The given file does the minimize inference for the same structure and theory 10 times and returns very different execution times (min ~8s, max ~20s).

Printed results:

    Experiment 1:    13.88

    Experiment 2:    11.26

    Experiment 3:    14.05

    Experiment 4:    11

    Experiment 5:    9.84

    Experiment 6:    10.15

    Experiment 7:    11.01

    Experiment 8:    19.11

    Experiment 9:    7.74

    Experiment 10:   16.34

[Broes De Cat]

Fixes #285 (to be verified): Removed any randomness out of the bdd ordering.

→ <<cset 031de330dbe2>>

[Broes De Cat]

Fixes #285 (to be verified): Removed any randomness out of the bdd ordering.

→ <<cset 6c559d0398fb>>

[Broes De Cat]

Fixes #285 (to be verified): Removed any randomness out of the bdd ordering and out of the solver.

→ <<cset e952ec3fb49a>>

[Joachim Jansen]

Bugfix verified.

idp multiple_execution_times_bug.idp

    Experiment 1:   4.73

    Experiment 2:   4.73

    Experiment 3:   4.75

    Experiment 4:   4.73

    Experiment 5:   4.83

    Experiment 6:   5.01

    Experiment 7:   4.92

    Experiment 8:   4.91

    Experiment 9:   4.84

    Experiment 10:  4.7

[Joachim Jansen]

Bugfix verification was done with this file.

[Broes De Cat]

Fixes #285 (to be verified): Removed any randomness out of the bdd ordering.

→ <<cset 031de330dbe2>>

[Broes De Cat]

Fixes #285 (to be verified): Removed any randomness out of the bdd ordering.

→ <<cset 5847d99dfa2f>>

[Broes De Cat]

Fixes #285 (to be verified): Removed any randomness out of the bdd ordering.

→ <<cset edbaf9023058>>

[Broes De Cat]

Fixes #285: Made order of vars, kernels and indices fixed.

Varset and indexsets now always have to use a specific ordering, which removes the runtime-dependency IF no variables have the same name and no indices the same number!

→ <<cset 6d0fd836a2c6>>

[Broes De Cat]

Fixes #285: Made order of vars, kernels and indices fixed.

Varset and indexsets now always have to use a specific ordering, which removes the runtime-dependency IF no variables have the same name and no indices the same number!

→ <<cset 602635a8673c>>

[Broes De Cat]

Fixes #285: Made order of vars, kernels and indices fixed.

Varset and indexsets now always have to use a specific ordering, which removes the runtime-dependency IF no variables have the same name and no indices the same number!

→ <<cset cda054ede29d>>

[Broes De Cat]

Fixes #285: Made order of vars, kernels and indices fixed.

Varset and indexsets now always have to use a specific ordering, which removes the runtime-dependency IF no variables have the same name and no indices the same number!

→ <<cset 5cf1ae850fd9>>

[Broes De Cat]

Fixes #285: Made order of vars, kernels and indices fixed.

Varset and indexsets now always have to use a specific ordering, which removes the runtime-dependency IF no variables have the same name and no indices the same number!

→ <<cset c5342f303211>>

[Broes De Cat]

Fixes #285 (to be verified): Removed any randomness out of the bdd ordering.

→ <<cset 572b4ca58a74>>

[Broes De Cat]

Fixes #285 (to be verified): Removed any randomness out of the bdd ordering.

→ <<cset fb990945dfc8>>