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 96633 ************************************************************ * 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: 1311 (2014-11-17 19:19:49 UTC) * ************************************************************ Analysis time: Mon Nov 17, 2014 21:23:03 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.024 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 9.690 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 12.885 seconds) salloc: Relinquishing job allocation 96633 hoangia90@magi1:~/imitator$ C