PARA Problem Instance: Two-genes network

Prelude:
I know this is very late; I wanted to see what format other people use in this category - which did not work so well :D
So now I simply present a piecewise-linear problem in our tool-specific format.
I could try to convert to other formats if somebody prefers.

General problem description:
See here: http://dx.doi.org/10.1093/bioinformatics/btm362

Rough file explanation:
There are two variables whose dynamics are given by sums and products of ramp functions.
The functions (given in in prefix notation) are defined by their values at certain points (i.e., straight lines between these points).
Those points are given at the top by an array interpreted as a mapping "index -> value".

At the bottom there are atomic propositions to describe the set of initial states and the set of bad states to be avoided.

The goal is to find parameters for which there is no trajectory from the initial to the bad states.
The parameter domain is kappa_a \times kappa_b = [0, 30] \times [0, 40].