royal@royal:~$ ssh -p 2822 hoangia90@magi.univ-paris13.fr
hoangia90@magi.univ-paris13.fr's password:
Linux magi1 3.2.0-4-amd64 #1 SMP Debian 3.2.46-1+deb7u1 x86_64
The programs included with the Debian GNU/Linux system are free software;
the exact distribution terms for each program are described in the
individual files in /usr/share/doc/*/copyright.
Debian GNU/Linux comes with ABSOLUTELY NO WARRANTY, to the extent
permitted by applicable law.
Last login: Mon Nov 17 14:42:48 2014 from gw.lipn.univ-paris13.fr
The programs included with the Debian GNU/Linux system are free software;
the exact distribution terms for each program are described in the
individual files in /usr/share/doc/*/copyright.
Debian GNU/Linux comes with ABSOLUTELY NO WARRANTY, to the extent
permitted by applicable law.
manpath: can't set the locale; make sure $LC_* and $LANG are correct
hoangia90@magi1:~$ cd imitator/
hoangia90@magi1:~/imitator$ salloc ./bin/imitator ./test/Sched2-50-0.imi ./test/Sched2-50-0.v0 -mode EF -merge -output-cart
salloc: Granted job allocation 94512
************************************************************
* IMITATOR 2.6.2 *
* *
* Etienne Andre, Ulrich Kuehne et al. *
* 2009 - 2014 *
* LSV, ENS de Cachan & CNRS, France *
* Universite Paris 13, Sorbonne Paris Cite, LIPN, France *
* *
* Build: 1308 (2014-11-12 11:09:33 UTC) *
************************************************************
Analysis time: Mon Nov 17, 2014 14:45:02
Model: ./test/Sched2-50-0.imi
Mode: EF-synthesis.
*** Warning: The pi0 file ./test/Sched2-50-0.v0 will be ignored since this is a synthesis with respect to a property.
Merging technique of [AFS12] enabled.
The cartography will be output in a graphical mode.
Parsing completed after 0.020 second.
Memory for abstract model: 370.019 KiB (i.e., 94725 words)
Computing post^1 from 1 state.
Computing post^2 from 1 state.
[EF-synthesis]: Found a state violating the property.
Computing post^3 from 2 states.
[EF-synthesis]: Found a state violating the property.
1 state merged within 3 states.
Computing post^4 from 2 states.
Computing post^5 from 2 states.
[EF-synthesis]: Found a state violating the property.
Computing post^6 from 3 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
1 state merged within 6 states.
Computing post^7 from 5 states.
[EF-synthesis]: Found a state violating the property.
3 states merged within 8 states.
Computing post^8 from 5 states.
Computing post^9 from 5 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
Computing post^10 from 10 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
3 states merged within 17 states.
Computing post^11 from 14 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
4 states merged within 19 states.
Computing post^12 from 15 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
Computing post^13 from 12 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
Computing post^14 from 9 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
1 state merged within 15 states.
Computing post^15 from 14 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
Computing post^16 from 15 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
5 states merged within 37 states.
Computing post^17 from 32 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
24 states merged within 58 states.
Computing post^18 from 34 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
8 states merged within 58 states.
Computing post^19 from 50 states.
Computing post^20 from 25 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
10 states merged within 22 states.
Computing post^21 from 12 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
7 states merged within 13 states.
Computing post^22 from 6 states.
Computing post^23 from 9 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
2 states merged within 13 states.
Computing post^24 from 11 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
2 states merged within 18 states.
Computing post^25 from 16 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
6 states merged within 19 states.
Computing post^26 from 13 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
Computing post^27 from 12 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
3 states merged within 14 states.
Computing post^28 from 13 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
4 states merged within 19 states.
Computing post^29 from 16 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
13 states merged within 23 states.
Computing post^30 from 12 states.
Computing post^31 from 10 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
7 states merged within 19 states.
Computing post^32 from 15 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
3 states merged within 16 states.
Computing post^33 from 13 states.
[EF-synthesis]: Found a state violating the property.
6 states merged within 18 states.
Computing post^34 from 14 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
1 state merged within 11 states.
Computing post^35 from 11 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
6 states merged within 9 states.
Computing post^36 from 6 states.
[EF-synthesis]: Found a state violating the property.
3 states merged within 7 states.
Computing post^37 from 7 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
5 states merged within 8 states.
Computing post^38 from 8 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
13 states merged within 16 states.
Computing post^39 from 13 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
25 states merged within 28 states.
Computing post^40 from 15 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
18 states merged within 24 states.
Computing post^41 from 22 states.
8 states merged within 11 states.
Computing post^42 from 11 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
8 states merged within 10 states.
Computing post^43 from 6 states.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
[EF-synthesis]: Found a state violating the property.
6 states merged within 7 states.
Computing post^44 from 5 states.
1 state merged within 2 states.
Computing post^45 from 2 states.
2 states merged within 2 states.
Computing post^46 from 1 state.
Fixpoint reached after 47 iterations: 655 states with 901 transitions explored.
State space exploration completed after 8.810 seconds.
Final constraint such that the property is *violated* (198 inequalities):
b >= 22
& b + C3_WORST > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& 4*b + C3_WORST >= 144
& b > 22
OR
C3_WORST >= 20
& 2*b + C3_WORST >= 72
& b > 22
OR
b >= 22
& 4*b + C3_WORST >= 144
& C3_WORST >= 50
OR
C3_WORST >= 50
& b >= 22
OR
C3_WORST >= 20
& 6*b + 2*C3_WORST > 216
& b > 22
OR
C3_WORST >= 20
& b >= 22
& 4*b + C3_WORST >= 144
OR
C3_WORST >= 20
& b >= 22
& 4*b + C3_WORST >= 144
OR
b > 22
& 6*b + 2*C3_WORST > 216
& C3_WORST >= 20
OR
b > 22
& 6*b + 2*C3_WORST > 216
& C3_WORST >= 20
OR
C3_WORST >= 20
& b >= 22
& 4*b + C3_WORST >= 144
OR
C3_WORST > 50
& 4*b + C3_WORST >= 144
& b >= 22
OR
C3_WORST >= 50
& 4*b + C3_WORST >= 144
& b >= 22
OR
C3_WORST >= 20
& b >= 22
& 4*b + C3_WORST >= 144
OR
b > 22
& 6*b + 2*C3_WORST > 216
& C3_WORST >= 20
OR
C3_WORST > 50
& 4*b + C3_WORST >= 144
& b >= 22
OR
C3_WORST >= 50
& 4*b + C3_WORST >= 144
& b >= 22
OR
C3_WORST >= 20
& 2*b + C3_WORST >= 72
& b > 22
OR
C3_WORST >= 20
& b >= 50
OR
C3_WORST >= 20
& 5*b + 2*C3_WORST > 194
& b >= 22
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& 4*b + C3_WORST >= 144
& b > 22
OR
C3_WORST >= 20
& 2*b + C3_WORST > 100
& b >= 22
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b >= 50
OR
C3_WORST >= 20
& 2*b + C3_WORST >= 72
& b >= 22
OR
b >= 22
& 2*b + C3_WORST >= 97
& C3_WORST >= 50
OR
b + C3_WORST >= 50
& C3_WORST >= 20
& b >= 22
OR
C3_WORST >= 50
& b + C3_WORST >= 100
& b >= 22
OR
b >= 22
& b + C3_WORST > 50
& C3_WORST >= 20
OR
b >= 22
& b + C3_WORST > 50
& C3_WORST >= 20
OR
C3_WORST >= 50
& b >= 22
OR
2*b > 72
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 50
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& 4*b + C3_WORST > 144
& b > 22
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 50
OR
b >= 22
& C3_WORST >= 50
OR
b > 50
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 22
& 4*b + C3_WORST > 144
& C3_WORST >= 20
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b > 22
OR
C3_WORST >= 20
& b > 22
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b > 22
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 22
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b >= 22
& 3*b + C3_WORST > 122
& C3_WORST >= 20
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b >= 36
OR
3*b + C3_WORST > 122
& C3_WORST >= 20
& b >= 22
OR
C3_WORST >= 20
& b > 50
OR
C3_WORST >= 20
& b > 50
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 50
OR
C3_WORST >= 20
& 2*b + C3_WORST >= 72
& b >= 22
OR
2*b + C3_WORST > 122
& b >= 22
& C3_WORST > 50
OR
2*b + C3_WORST >= 122
& b >= 22
& C3_WORST >= 50
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& 2*b + C3_WORST > 72
& b > 22
OR
b >= 10
& C3_WORST >= 20
& 2*b + C3_WORST > 72
& b + C3_WORST > 50
OR
b >= 10
& C3_WORST >= 20
& b + C3_WORST > 50
& 2*b + C3_WORST > 72
OR
b > 50
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 50
OR
b > 50
& C3_WORST >= 20
OR
2*b + C3_WORST > 72
& b > 22
& C3_WORST >= 20
OR
b >= 10
& C3_WORST >= 50
& b + C3_WORST >= 72
OR
b >= 10
& b + C3_WORST > 50
& 2*b + C3_WORST > 72
& C3_WORST >= 20
OR
C3_WORST >= 50
& b + C3_WORST >= 72
& b >= 10
OR
b >= 10
& 2*b + C3_WORST > 72
& b + C3_WORST > 50
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
b + C3_WORST >= 72
& b >= 10
& C3_WORST >= 50
OR
C3_WORST >= 50
& b + C3_WORST >= 72
& b >= 10
OR
b >= 10
& b + C3_WORST > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 22
OR
C3_WORST >= 20
& b > 22
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b > 22
OR
b >= 10
& b + C3_WORST > 50
& C3_WORST >= 20
OR
b >= 10
& b + C3_WORST > 50
& C3_WORST >= 20
OR
b >= 22
& b + C3_WORST > 50
& C3_WORST >= 20
OR
b >= 22
& C3_WORST >= 50
OR
b >= 22
& C3_WORST >= 50
OR
C3_WORST >= 20
& b > 50
OR
b >= 10
& C3_WORST >= 50
OR
C3_WORST >= 50
& b >= 36
OR
C3_WORST >= 50
& 2*b + C3_WORST >= 72
& b >= 10
OR
C3_WORST >= 20
& b > 50
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b >= 22
& C3_WORST >= 50
OR
C3_WORST >= 20
& b > 50
OR
b >= 10
& C3_WORST >= 50
OR
b >= 10
& C3_WORST >= 50
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& 4*b + C3_WORST > 144
& b > 22
OR
2*b > 72
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 50
OR
C3_WORST >= 20
& b >= 36
OR
b > 50
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 50
OR
C3_WORST >= 20
& b > 50
OR
C3_WORST >= 20
& b >= 36
OR
C3_WORST >= 20
& b >= 36
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 22
& 4*b + C3_WORST > 144
& C3_WORST >= 20
OR
b > 22
& 4*b + C3_WORST > 144
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
b > 22
& 4*b + C3_WORST > 144
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
3*b + C3_WORST > 122
& b > 22
& C3_WORST >= 20
OR
2*b > 72
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST > 50
& b >= 36
OR
C3_WORST >= 50
& b >= 36
OR
C3_WORST >= 20
& b >= 36
OR
b > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 50
OR
C3_WORST > 50
& b >= 36
OR
C3_WORST >= 50
& b >= 36
OR
C3_WORST >= 20
& b > 22
OR
C3_WORST >= 20
& b > 22
OR
C3_WORST >= 20
& b > 22
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 0
& b >= 36
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& b > 50
OR
b >= 10
& 2*b + C3_WORST > 100
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
b >= 22
& 3*b + C3_WORST > 122
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 20
OR
C3_WORST >= 20
& 2*b + C3_WORST > 100
& b >= 10
OR
C3_WORST >= 50
& b + C3_WORST >= 100
& b >= 10
OR
C3_WORST >= 20
& b >= 10
& b + C3_WORST >= 50
OR
C3_WORST >= 20
& 2*b + C3_WORST >= 72
& b >= 22
OR
C3_WORST >= 50
& b >= 22
& 2*b + C3_WORST >= 122
OR
C3_WORST >= 50
& b >= 10
& b + C3_WORST >= 100
OR
C3_WORST >= 20
& b + C3_WORST >= 50
& b >= 10
OR
b >= 10
& b + C3_WORST > 50
& C3_WORST >= 20
OR
b >= 10
& b + C3_WORST > 50
& C3_WORST >= 20
OR
b > 50
& C3_WORST >= 0
OR
b > 50
& C3_WORST >= 0
OR
b >= 10
& C3_WORST >= 20
& b + C3_WORST > 50
OR
b >= 10
& C3_WORST >= 50
OR
C3_WORST >= 50
& b >= 10
OR
b >= 10
& C3_WORST >= 20
& b + C3_WORST > 50
OR
2*b > 72
& C3_WORST >= 0
OR
b > 50
& C3_WORST >= 0
OR
2*b > 72
& C3_WORST >= 0
OR
C3_WORST >= 0
& b > 50
OR
C3_WORST >= 50
& b >= 10
OR
b >= 10
& C3_WORST >= 50
OR
C3_WORST >= 0
& b > 22
OR
b > 50
& C3_WORST >= 0
OR
C3_WORST >= 0
& b > 22
OR
b > 50
& C3_WORST >= 0
OR
b > 50
& C3_WORST >= 0
OR
b > 50
& C3_WORST >= 0
Generation of the graphical cartography...
Plot cartography in 2D projected on parameters b and C3_WORST to file './test/Sched2-50-0_cart_ef.png'.
IMITATOR successfully terminated (after 13.922 seconds)
salloc: Relinquishing job allocation 94512
hoangia90@magi1:~/imitator$