Refinement - Implement iterative approach with ordering of properties

[xhajnal]

A method in which refinement of the separate properties are being put into a sequence or parallel and merged. As we use a conjunction of constraints:

• if a region is red if it is unsat at least for a single constraint
• if a region is green if it is sat for ALL constraints

Implementation:

• What to do with green space
  • Intersection of green regions after computation (a bit hard to compute the intersection) vs.
  • use all props in the last iteration (absolutely inefficient) vs.
  • skip computing the green space (fast)
• Heuristic optimisation - order the property:
  [1.] number of params
  [2.] order of the polynomial
  [3.] intervals of the data

see hsb submission/in notebook text for more details on the iterative approach

[xhajnal]

see 17260b2 without ordering: old approach

[tatjanapetrov]

not important, in my opinion. More important would be collecting properties into bins or moments

[xhajnal]

Probably not good, performance dropped when used