// p 
bool p: [0,1) false; [1,3] true; (3,4] false; (4,5) true; [5,6] false; (6,9) true; [9,10] false; (10,12) true;
// q
bool q: [0,3) false; [3,5] true; (5,8] false; (8,9] true; (9,11) false; [11,12) true;

// p until[1,2] q
// bool PUntilLC12RCQ: [0,1) false; [1,2] true; (2,4) false; [4,4] true; (4,6] false; (6,8] true; (8,10) false; [10,11) true; [11,12) false;
// correction olivier 30/09/2019  domainOut=[0.0,11.0-]
bool PUntilLC12RCQ: [0,1) false; [1,2] true; (2,4) false; [4,4] true; (4,6] false; (6,8] true; (8,10) false; [10,11) true;

// p until[1,2) q
//bool PUntilLC12ROQ: [0,1] false; (1,2] true; (2,4) false; [4,4] true; (4,6] false; (6,8] true; (8,10) false; [10,11) true; [11,12) false;
// correction olivier 30/09/2019  domainOut=[0.0,11.0-]
bool PUntilLC12ROQ: [0,1] false; (1,2] true; (2,4) false; [4,4] true; (4,6] false; (6,8] true; (8,10) false; [10,11) true;

// p until(1,2] q
// bool PUntilLO12RCQ: [0,1) false; [1,2) true; [2,6] false; (6,8) true; [8,10] false; (10,11) true; [11,12) false;
// correction olivier 20/11/2015
// correction validated 2016 04 18
//bool PUntilLO12RCQ: [0,1) false; [1,2) true; [2,6] false; (6,8) true; [8,10) false; [10,11) true; [11,12) false;
// correction olivier 30/09/2019  domainOut=[0.0,11.0-]
bool PUntilLO12RCQ: [0,1) false; [1,2) true; [2,6] false; (6,8) true; [8,10) false; [10,11) true;

// p until(1,2) q
// bool PUntilLO12ROQ: [0,1] false; (1,2) true; [2,6] false; (6,8) true; [8,10] false; (10,11) true; [11,12) false;
// correction olivier 20/11/2015
// correction validated 2016 04 18
// bool PUntilLO12ROQ: [0,1] false; (1,2) true; [2,6] false; (6,8) true; [8,10) false; [10,11) true; [11,12) false;
// correction olivier 30/09/2019  domainOut=[0.0,11.0-]
bool PUntilLO12ROQ: [0,1] false; (1,2) true; [2,6] false; (6,8) true; [8,10) false; [10,11) true;


// p until q
bool PUntilQ: [0,1) false; [1,3) true; [3,4) false; [4,5) true; [5,6) false; [6,9) true; [9,10) false; [10,12) true; 
bool PUntilQ: [0,1) false; [1,3) true; [3,4) false; [4,5) true; [5,6) false; [6,9) true; [9,10) false; [10,12) true; 

// p untilNS q
bool PUntilNSQ: [0,1) false; [1,5] true; (5,6] false; (6,9] true; (9,10] false; (10,12) true; 
