ACAS Xu property 6 bounds Wrong

[shchae7]

In nnet.c

if (PROPERTY==16) {
        float upper[] = {62000,-0.7,-3.141592+0.005,200,1200};
        float lower[] = {12000,-3.141592,-3.141592,100,0};
        memcpy(u, upper, sizeof(float)*inputSize);
        memcpy(l, lower, sizeof(float)*inputSize);
    }

    if (PROPERTY==26) {
        float upper[] = {62000,3.141592,-3.141592+0.005,200,1200};
        float lower[] = {12000,0.7,-3.141592,100,0};
        memcpy(u, upper, sizeof(float)*inputSize);
        memcpy(l, lower, sizeof(float)*inputSize);
    }

The upper and lower bounds of the 4th input variable (v_own) are specified 100 <= v_own <= 200, but in the Reluplex paper it's 100 <= v_own <= 1200. Is this an intended change or a typo?