fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r181kn-smll-146444111500644
Last Updated
June 30, 2016

About the Execution of ITS-Tools for S_SharedMemory-COL-000020

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1279.120 61564.00 72760.00 407.90 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-2979
Executing tool itstools
Input is S_SharedMemory-COL-000020, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181kn-smll-146444111500644
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-0
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-1
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-10
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-11
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-12
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-13
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-14
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-15
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-2
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-3
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-4
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-5
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-6
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-7
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-8
FORMULA_NAME SharedMemory-COL-000020-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1464591440684


its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201605191313/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(F(("2<=(((((((((((((((((((P0.memory_0+P1.memory_1)+P2.memory_2)+P3.memory_3)+P4.memory_4)+P5.memory_5)+P6.memory_6)+P7.memory_7)+P8.memory_8)+P9.memory_9)+P10.memory_10)+P11.memory_11)+P12.memory_12)+P13.memory_13)+P14.memory_14)+P15.memory_15)+P16.memory_16)+P17.memory_17)+P18.memory_18)+P19.memory_19)")U("(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((PxP0.extMemAcc_0+PxP1.extMemAcc_1)+PxP2.extMemAcc_2)+PxP3.extMemAcc_3)+PxP4.extMemAcc_4)+PxP5.extMemAcc_5)+PxP6.extMemAcc_6)+PxP7.extMemAcc_7)+PxP8.extMemAcc_8)+PxP9.extMemAcc_9)+PxP10.extMemAcc_10)+PxP11.extMemAcc_11)+PxP12.extMemAcc_12)+PxP13.extMemAcc_13)+PxP14.extMemAcc_14)+PxP15.extMemAcc_15)+PxP16.extMemAcc_16)+PxP17.extMemAcc_17)+PxP18.extMemAcc_18)+PxP19.extMemAcc_19)+PxP20.extMemAcc_20)+PxP21.extMemAcc_21)+PxP22.extMemAcc_22)+PxP23.extMemAcc_23)+PxP24.extMemAcc_24)+PxP25.extMemAcc_25)+PxP26.extMemAcc_26)+PxP27.extMemAcc_27)+PxP28.extMemAcc_28)+PxP29.extMemAcc_29)+PxP30.extMemAcc_30)+PxP31.extMemAcc_31)+PxP32.extMemAcc_32)+PxP33.extMemAcc_33)+PxP34.extMemAcc_34)+PxP35.extMemAcc_35)+PxP36.extMemAcc_36)+PxP37.extMemAcc_37)+PxP38.extMemAcc_38)+PxP39.extMemAcc_39)+PxP40.extMemAcc_40)+PxP41.extMemAcc_41)+PxP42.extMemAcc_42)+PxP43.extMemAcc_43)+PxP44.extMemAcc_44)+PxP45.extMemAcc_45)+PxP46.extMemAcc_46)+PxP47.extMemAcc_47)+PxP48.extMemAcc_48)+PxP49.extMemAcc_49)+PxP50.extMemAcc_50)+PxP51.extMemAcc_51)+PxP52.extMemAcc_52)+PxP53.extMemAcc_53)+PxP54.extMemAcc_54)+PxP55.extMemAcc_55)+PxP56.extMemAcc_56)+PxP57.extMemAcc_57)+PxP58.extMemAcc_58)+PxP59.extMemAcc_59)+PxP60.extMemAcc_60)+PxP61.extMemAcc_61)+PxP62.extMemAcc_62)+PxP63.extMemAcc_63)+PxP64.extMemAcc_64)+PxP65.extMemAcc_65)+PxP66.extMemAcc_66)+PxP67.extMemAcc_67)+PxP68.extMemAcc_68)+PxP69.extMemAcc_69)+PxP70.extMemAcc_70)+PxP71.extMemAcc_71)+PxP72.extMemAcc_72)+PxP73.extMemAcc_73)+PxP74.extMemAcc_74)+PxP75.extMemAcc_75)+PxP76.extMemAcc_76)+PxP77.extMemAcc_77)+PxP78.extMemAcc_78)+PxP79.extMemAcc_79)+PxP80.extMemAcc_80)+PxP81.extMemAcc_81)+PxP82.extMemAcc_82)+PxP83.extMemAcc_83)+PxP84.extMemAcc_84)+PxP85.extMemAcc_85)+PxP86.extMemAcc_86)+PxP87.extMemAcc_87)+PxP88.extMemAcc_88)+PxP89.extMemAcc_89)+PxP90.extMemAcc_90)+PxP91.extMemAcc_91)+PxP92.extMemAcc_92)+PxP93.extMemAcc_93)+PxP94.extMemAcc_94)+PxP95.extMemAcc_95)+PxP96.extMemAcc_96)+PxP97.extMemAcc_97)+PxP98.extMemAcc_98)+PxP99.extMemAcc_99)+PxP100.extMemAcc_100)+PxP101.extMemAcc_101)+PxP102.extMemAcc_102)+PxP103.extMemAcc_103)+PxP104.extMemAcc_104)+PxP105.extMemAcc_105)+PxP106.extMemAcc_106)+PxP107.extMemAcc_107)+PxP108.extMemAcc_108)+PxP109.extMemAcc_109)+PxP110.extMemAcc_110)+PxP111.extMemAcc_111)+PxP112.extMemAcc_112)+PxP113.extMemAcc_113)+PxP114.extMemAcc_114)+PxP115.extMemAcc_115)+PxP116.extMemAcc_116)+PxP117.extMemAcc_117)+PxP118.extMemAcc_118)+PxP119.extMemAcc_119)+PxP120.extMemAcc_120)+PxP121.extMemAcc_121)+PxP122.extMemAcc_122)+PxP123.extMemAcc_123)+PxP124.extMemAcc_124)+PxP125.extMemAcc_125)+PxP126.extMemAcc_126)+PxP127.extMemAcc_127)+PxP128.extMemAcc_128)+PxP129.extMemAcc_129)+PxP130.extMemAcc_130)+PxP131.extMemAcc_131)+PxP132.extMemAcc_132)+PxP133.extMemAcc_133)+PxP134.extMemAcc_134)+PxP135.extMemAcc_135)+PxP136.extMemAcc_136)+PxP137.extMemAcc_137)+PxP138.extMemAcc_138)+PxP139.extMemAcc_139)+PxP140.extMemAcc_140)+PxP141.extMemAcc_141)+PxP142.extMemAcc_142)+PxP143.extMemAcc_143)+PxP144.extMemAcc_144)+PxP145.extMemAcc_145)+PxP146.extMemAcc_146)+PxP147.extMemAcc_147)+PxP148.extMemAcc_148)+PxP149.extMemAcc_149)+PxP150.extMemAcc_150)+PxP151.extMemAcc_151)+PxP152.extMemAcc_152)+PxP153.extMemAcc_153)+PxP154.extMemAcc_154)+PxP155.extMemAcc_155)+PxP156.extMemAcc_156)+PxP157.extMemAcc_157)+PxP158.extMemAcc_158)+PxP159.extMemAcc_159)+PxP160.extMemAcc_160)+PxP161.extMemAcc_161)+PxP162.extMemAcc_162)+PxP163.extMemAcc_163)+PxP164.extMemAcc_164)+PxP165.extMemAcc_165)+PxP166.extMemAcc_166)+PxP167.extMemAcc_167)+PxP168.extMemAcc_168)+PxP169.extMemAcc_169)+PxP170.extMemAcc_170)+PxP171.extMemAcc_171)+PxP172.extMemAcc_172)+PxP173.extMemAcc_173)+PxP174.extMemAcc_174)+PxP175.extMemAcc_175)+PxP176.extMemAcc_176)+PxP177.extMemAcc_177)+PxP178.extMemAcc_178)+PxP179.extMemAcc_179)+PxP180.extMemAcc_180)+PxP181.extMemAcc_181)+PxP182.extMemAcc_182)+PxP183.extMemAcc_183)+PxP184.extMemAcc_184)+PxP185.extMemAcc_185)+PxP186.extMemAcc_186)+PxP187.extMemAcc_187)+PxP188.extMemAcc_188)+PxP189.extMemAcc_189)+PxP190.extMemAcc_190)+PxP191.extMemAcc_191)+PxP192.extMemAcc_192)+PxP193.extMemAcc_193)+PxP194.extMemAcc_194)+PxP195.extMemAcc_195)+PxP196.extMemAcc_196)+PxP197.extMemAcc_197)+PxP198.extMemAcc_198)+PxP199.extMemAcc_199)+PxP200.extMemAcc_200)+PxP201.extMemAcc_201)+PxP202.extMemAcc_202)+PxP203.extMemAcc_203)+PxP204.extMemAcc_204)+PxP205.extMemAcc_205)+PxP206.extMemAcc_206)+PxP207.extMemAcc_207)+PxP208.extMemAcc_208)+PxP209.extMemAcc_209)+PxP210.extMemAcc_210)+PxP211.extMemAcc_211)+PxP212.extMemAcc_212)+PxP213.extMemAcc_213)+PxP214.extMemAcc_214)+PxP215.extMemAcc_215)+PxP216.extMemAcc_216)+PxP217.extMemAcc_217)+PxP218.extMemAcc_218)+PxP219.extMemAcc_219)+PxP220.extMemAcc_220)+PxP221.extMemAcc_221)+PxP222.extMemAcc_222)+PxP223.extMemAcc_223)+PxP224.extMemAcc_224)+PxP225.extMemAcc_225)+PxP226.extMemAcc_226)+PxP227.extMemAcc_227)+PxP228.extMemAcc_228)+PxP229.extMemAcc_229)+PxP230.extMemAcc_230)+PxP231.extMemAcc_231)+PxP232.extMemAcc_232)+PxP233.extMemAcc_233)+PxP234.extMemAcc_234)+PxP235.extMemAcc_235)+PxP236.extMemAcc_236)+PxP237.extMemAcc_237)+PxP238.extMemAcc_238)+PxP239.extMemAcc_239)+PxP240.extMemAcc_240)+PxP241.extMemAcc_241)+PxP242.extMemAcc_242)+PxP243.extMemAcc_243)+PxP244.extMemAcc_244)+PxP245.extMemAcc_245)+PxP246.extMemAcc_246)+PxP247.extMemAcc_247)+PxP248.extMemAcc_248)+PxP249.extMemAcc_249)+PxP250.extMemAcc_250)+PxP251.extMemAcc_251)+PxP252.extMemAcc_252)+PxP253.extMemAcc_253)+PxP254.extMemAcc_254)+PxP255.extMemAcc_255)+PxP256.extMemAcc_256)+PxP257.extMemAcc_257)+PxP258.extMemAcc_258)+PxP259.extMemAcc_259)+PxP260.extMemAcc_260)+PxP261.extMemAcc_261)+PxP262.extMemAcc_262)+PxP263.extMemAcc_263)+PxP264.extMemAcc_264)+PxP265.extMemAcc_265)+PxP266.extMemAcc_266)+PxP267.extMemAcc_267)+PxP268.extMemAcc_268)+PxP269.extMemAcc_269)+PxP270.extMemAcc_270)+PxP271.extMemAcc_271)+PxP272.extMemAcc_272)+PxP273.extMemAcc_273)+PxP274.extMemAcc_274)+PxP275.extMemAcc_275)+PxP276.extMemAcc_276)+PxP277.extMemAcc_277)+PxP278.extMemAcc_278)+PxP279.extMemAcc_279)+PxP280.extMemAcc_280)+PxP281.extMemAcc_281)+PxP282.extMemAcc_282)+PxP283.extMemAcc_283)+PxP284.extMemAcc_284)+PxP285.extMemAcc_285)+PxP286.extMemAcc_286)+PxP287.extMemAcc_287)+PxP288.extMemAcc_288)+PxP289.extMemAcc_289)+PxP290.extMemAcc_290)+PxP291.extMemAcc_291)+PxP292.extMemAcc_292)+PxP293.extMemAcc_293)+PxP294.extMemAcc_294)+PxP295.extMemAcc_295)+PxP296.extMemAcc_296)+PxP297.extMemAcc_297)+PxP298.extMemAcc_298)+PxP299.extMemAcc_299)+PxP300.extMemAcc_300)+PxP301.extMemAcc_301)+PxP302.extMemAcc_302)+PxP303.extMemAcc_303)+PxP304.extMemAcc_304)+PxP305.extMemAcc_305)+PxP306.extMemAcc_306)+PxP307.extMemAcc_307)+PxP308.extMemAcc_308)+PxP309.extMemAcc_309)+PxP310.extMemAcc_310)+PxP311.extMemAcc_311)+PxP312.extMemAcc_312)+PxP313.extMemAcc_313)+PxP314.extMemAcc_314)+PxP315.extMemAcc_315)+PxP316.extMemAcc_316)+PxP317.extMemAcc_317)+PxP318.extMemAcc_318)+PxP319.extMemAcc_319)+PxP320.extMemAcc_320)+PxP321.extMemAcc_321)+PxP322.extMemAcc_322)+PxP323.extMemAcc_323)+PxP324.extMemAcc_324)+PxP325.extMemAcc_325)+PxP326.extMemAcc_326)+PxP327.extMemAcc_327)+PxP328.extMemAcc_328)+PxP329.extMemAcc_329)+PxP330.extMemAcc_330)+PxP331.extMemAcc_331)+PxP332.extMemAcc_332)+PxP333.extMemAcc_333)+PxP334.extMemAcc_334)+PxP335.extMemAcc_335)+PxP336.extMemAcc_336)+PxP337.extMemAcc_337)+PxP338.extMemAcc_338)+PxP339.extMemAcc_339)+PxP340.extMemAcc_340)+PxP341.extMemAcc_341)+PxP342.extMemAcc_342)+PxP343.extMemAcc_343)+PxP344.extMemAcc_344)+PxP345.extMemAcc_345)+PxP346.extMemAcc_346)+PxP347.extMemAcc_347)+PxP348.extMemAcc_348)+PxP349.extMemAcc_349)+PxP350.extMemAcc_350)+PxP351.extMemAcc_351)+PxP352.extMemAcc_352)+PxP353.extMemAcc_353)+PxP354.extMemAcc_354)+PxP355.extMemAcc_355)+PxP356.extMemAcc_356)+PxP357.extMemAcc_357)+PxP358.extMemAcc_358)+PxP359.extMemAcc_359)+PxP360.extMemAcc_360)+PxP361.extMemAcc_361)+PxP362.extMemAcc_362)+PxP363.extMemAcc_363)+PxP364.extMemAcc_364)+PxP365.extMemAcc_365)+PxP366.extMemAcc_366)+PxP367.extMemAcc_367)+PxP368.extMemAcc_368)+PxP369.extMemAcc_369)+PxP370.extMemAcc_370)+PxP371.extMemAcc_371)+PxP372.extMemAcc_372)+PxP373.extMemAcc_373)+PxP374.extMemAcc_374)+PxP375.extMemAcc_375)+PxP376.extMemAcc_376)+PxP377.extMemAcc_377)+PxP378.extMemAcc_378)+PxP379.extMemAcc_379)+PxP380.extMemAcc_380)+PxP381.extMemAcc_381)+PxP382.extMemAcc_382)+PxP383.extMemAcc_383)+PxP384.extMemAcc_384)+PxP385.extMemAcc_385)+PxP386.extMemAcc_386)+PxP387.extMemAcc_387)+PxP388.extMemAcc_388)+PxP389.extMemAcc_389)+PxP390.extMemAcc_390)+PxP391.extMemAcc_391)+PxP392.extMemAcc_392)+PxP393.extMemAcc_393)+PxP394.extMemAcc_394)+PxP395.extMemAcc_395)+PxP396.extMemAcc_396)+PxP397.extMemAcc_397)+PxP398.extMemAcc_398)+PxP399.extMemAcc_399)<=(((((((((((((((((((P0.active_0+P1.active_1)+P2.active_2)+P3.active_3)+P4.active_4)+P5.active_5)+P6.active_6)+P7.active_7)+P8.active_8)+P9.active_9)+P10.active_10)+P11.active_11)+P12.active_12)+P13.active_13)+P14.active_14)+P15.active_15)+P16.active_16)+P17.active_17)+P18.active_18)+P19.active_19)")))))
Formula 0 simplified : !F("2<=(((((((((((((((((((P0.memory_0+P1.memory_1)+P2.memory_2)+P3.memory_3)+P4.memory_4)+P5.memory_5)+P6.memory_6)+P7.memory_7)+P8.memory_8)+P9.memory_9)+P10.memory_10)+P11.memory_11)+P12.memory_12)+P13.memory_13)+P14.memory_14)+P15.memory_15)+P16.memory_16)+P17.memory_17)+P18.memory_18)+P19.memory_19)" U "(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((PxP0.extMemAcc_0+PxP1.extMemAcc_1)+PxP2.extMemAcc_2)+PxP3.extMemAcc_3)+PxP4.extMemAcc_4)+PxP5.extMemAcc_5)+PxP6.extMemAcc_6)+PxP7.extMemAcc_7)+PxP8.extMemAcc_8)+PxP9.extMemAcc_9)+PxP10.extMemAcc_10)+PxP11.extMemAcc_11)+PxP12.extMemAcc_12)+PxP13.extMemAcc_13)+PxP14.extMemAcc_14)+PxP15.extMemAcc_15)+PxP16.extMemAcc_16)+PxP17.extMemAcc_17)+PxP18.extMemAcc_18)+PxP19.extMemAcc_19)+PxP20.extMemAcc_20)+PxP21.extMemAcc_21)+PxP22.extMemAcc_22)+PxP23.extMemAcc_23)+PxP24.extMemAcc_24)+PxP25.extMemAcc_25)+PxP26.extMemAcc_26)+PxP27.extMemAcc_27)+PxP28.extMemAcc_28)+PxP29.extMemAcc_29)+PxP30.extMemAcc_30)+PxP31.extMemAcc_31)+PxP32.extMemAcc_32)+PxP33.extMemAcc_33)+PxP34.extMemAcc_34)+PxP35.extMemAcc_35)+PxP36.extMemAcc_36)+PxP37.extMemAcc_37)+PxP38.extMemAcc_38)+PxP39.extMemAcc_39)+PxP40.extMemAcc_40)+PxP41.extMemAcc_41)+PxP42.extMemAcc_42)+PxP43.extMemAcc_43)+PxP44.extMemAcc_44)+PxP45.extMemAcc_45)+PxP46.extMemAcc_46)+PxP47.extMemAcc_47)+PxP48.extMemAcc_48)+PxP49.extMemAcc_49)+PxP50.extMemAcc_50)+PxP51.extMemAcc_51)+PxP52.extMemAcc_52)+PxP53.extMemAcc_53)+PxP54.extMemAcc_54)+PxP55.extMemAcc_55)+PxP56.extMemAcc_56)+PxP57.extMemAcc_57)+PxP58.extMemAcc_58)+PxP59.extMemAcc_59)+PxP60.extMemAcc_60)+PxP61.extMemAcc_61)+PxP62.extMemAcc_62)+PxP63.extMemAcc_63)+PxP64.extMemAcc_64)+PxP65.extMemAcc_65)+PxP66.extMemAcc_66)+PxP67.extMemAcc_67)+PxP68.extMemAcc_68)+PxP69.extMemAcc_69)+PxP70.extMemAcc_70)+PxP71.extMemAcc_71)+PxP72.extMemAcc_72)+PxP73.extMemAcc_73)+PxP74.extMemAcc_74)+PxP75.extMemAcc_75)+PxP76.extMemAcc_76)+PxP77.extMemAcc_77)+PxP78.extMemAcc_78)+PxP79.extMemAcc_79)+PxP80.extMemAcc_80)+PxP81.extMemAcc_81)+PxP82.extMemAcc_82)+PxP83.extMemAcc_83)+PxP84.extMemAcc_84)+PxP85.extMemAcc_85)+PxP86.extMemAcc_86)+PxP87.extMemAcc_87)+PxP88.extMemAcc_88)+PxP89.extMemAcc_89)+PxP90.extMemAcc_90)+PxP91.extMemAcc_91)+PxP92.extMemAcc_92)+PxP93.extMemAcc_93)+PxP94.extMemAcc_94)+PxP95.extMemAcc_95)+PxP96.extMemAcc_96)+PxP97.extMemAcc_97)+PxP98.extMemAcc_98)+PxP99.extMemAcc_99)+PxP100.extMemAcc_100)+PxP101.extMemAcc_101)+PxP102.extMemAcc_102)+PxP103.extMemAcc_103)+PxP104.extMemAcc_104)+PxP105.extMemAcc_105)+PxP106.extMemAcc_106)+PxP107.extMemAcc_107)+PxP108.extMemAcc_108)+PxP109.extMemAcc_109)+PxP110.extMemAcc_110)+PxP111.extMemAcc_111)+PxP112.extMemAcc_112)+PxP113.extMemAcc_113)+PxP114.extMemAcc_114)+PxP115.extMemAcc_115)+PxP116.extMemAcc_116)+PxP117.extMemAcc_117)+PxP118.extMemAcc_118)+PxP119.extMemAcc_119)+PxP120.extMemAcc_120)+PxP121.extMemAcc_121)+PxP122.extMemAcc_122)+PxP123.extMemAcc_123)+PxP124.extMemAcc_124)+PxP125.extMemAcc_125)+PxP126.extMemAcc_126)+PxP127.extMemAcc_127)+PxP128.extMemAcc_128)+PxP129.extMemAcc_129)+PxP130.extMemAcc_130)+PxP131.extMemAcc_131)+PxP132.extMemAcc_132)+PxP133.extMemAcc_133)+PxP134.extMemAcc_134)+PxP135.extMemAcc_135)+PxP136.extMemAcc_136)+PxP137.extMemAcc_137)+PxP138.extMemAcc_138)+PxP139.extMemAcc_139)+PxP140.extMemAcc_140)+PxP141.extMemAcc_141)+PxP142.extMemAcc_142)+PxP143.extMemAcc_143)+PxP144.extMemAcc_144)+PxP145.extMemAcc_145)+PxP146.extMemAcc_146)+PxP147.extMemAcc_147)+PxP148.extMemAcc_148)+PxP149.extMemAcc_149)+PxP150.extMemAcc_150)+PxP151.extMemAcc_151)+PxP152.extMemAcc_152)+PxP153.extMemAcc_153)+PxP154.extMemAcc_154)+PxP155.extMemAcc_155)+PxP156.extMemAcc_156)+PxP157.extMemAcc_157)+PxP158.extMemAcc_158)+PxP159.extMemAcc_159)+PxP160.extMemAcc_160)+PxP161.extMemAcc_161)+PxP162.extMemAcc_162)+PxP163.extMemAcc_163)+PxP164.extMemAcc_164)+PxP165.extMemAcc_165)+PxP166.extMemAcc_166)+PxP167.extMemAcc_167)+PxP168.extMemAcc_168)+PxP169.extMemAcc_169)+PxP170.extMemAcc_170)+PxP171.extMemAcc_171)+PxP172.extMemAcc_172)+PxP173.extMemAcc_173)+PxP174.extMemAcc_174)+PxP175.extMemAcc_175)+PxP176.extMemAcc_176)+PxP177.extMemAcc_177)+PxP178.extMemAcc_178)+PxP179.extMemAcc_179)+PxP180.extMemAcc_180)+PxP181.extMemAcc_181)+PxP182.extMemAcc_182)+PxP183.extMemAcc_183)+PxP184.extMemAcc_184)+PxP185.extMemAcc_185)+PxP186.extMemAcc_186)+PxP187.extMemAcc_187)+PxP188.extMemAcc_188)+PxP189.extMemAcc_189)+PxP190.extMemAcc_190)+PxP191.extMemAcc_191)+PxP192.extMemAcc_192)+PxP193.extMemAcc_193)+PxP194.extMemAcc_194)+PxP195.extMemAcc_195)+PxP196.extMemAcc_196)+PxP197.extMemAcc_197)+PxP198.extMemAcc_198)+PxP199.extMemAcc_199)+PxP200.extMemAcc_200)+PxP201.extMemAcc_201)+PxP202.extMemAcc_202)+PxP203.extMemAcc_203)+PxP204.extMemAcc_204)+PxP205.extMemAcc_205)+PxP206.extMemAcc_206)+PxP207.extMemAcc_207)+PxP208.extMemAcc_208)+PxP209.extMemAcc_209)+PxP210.extMemAcc_210)+PxP211.extMemAcc_211)+PxP212.extMemAcc_212)+PxP213.extMemAcc_213)+PxP214.extMemAcc_214)+PxP215.extMemAcc_215)+PxP216.extMemAcc_216)+PxP217.extMemAcc_217)+PxP218.extMemAcc_218)+PxP219.extMemAcc_219)+PxP220.extMemAcc_220)+PxP221.extMemAcc_221)+PxP222.extMemAcc_222)+PxP223.extMemAcc_223)+PxP224.extMemAcc_224)+PxP225.extMemAcc_225)+PxP226.extMemAcc_226)+PxP227.extMemAcc_227)+PxP228.extMemAcc_228)+PxP229.extMemAcc_229)+PxP230.extMemAcc_230)+PxP231.extMemAcc_231)+PxP232.extMemAcc_232)+PxP233.extMemAcc_233)+PxP234.extMemAcc_234)+PxP235.extMemAcc_235)+PxP236.extMemAcc_236)+PxP237.extMemAcc_237)+PxP238.extMemAcc_238)+PxP239.extMemAcc_239)+PxP240.extMemAcc_240)+PxP241.extMemAcc_241)+PxP242.extMemAcc_242)+PxP243.extMemAcc_243)+PxP244.extMemAcc_244)+PxP245.extMemAcc_245)+PxP246.extMemAcc_246)+PxP247.extMemAcc_247)+PxP248.extMemAcc_248)+PxP249.extMemAcc_249)+PxP250.extMemAcc_250)+PxP251.extMemAcc_251)+PxP252.extMemAcc_252)+PxP253.extMemAcc_253)+PxP254.extMemAcc_254)+PxP255.extMemAcc_255)+PxP256.extMemAcc_256)+PxP257.extMemAcc_257)+PxP258.extMemAcc_258)+PxP259.extMemAcc_259)+PxP260.extMemAcc_260)+PxP261.extMemAcc_261)+PxP262.extMemAcc_262)+PxP263.extMemAcc_263)+PxP264.extMemAcc_264)+PxP265.extMemAcc_265)+PxP266.extMemAcc_266)+PxP267.extMemAcc_267)+PxP268.extMemAcc_268)+PxP269.extMemAcc_269)+PxP270.extMemAcc_270)+PxP271.extMemAcc_271)+PxP272.extMemAcc_272)+PxP273.extMemAcc_273)+PxP274.extMemAcc_274)+PxP275.extMemAcc_275)+PxP276.extMemAcc_276)+PxP277.extMemAcc_277)+PxP278.extMemAcc_278)+PxP279.extMemAcc_279)+PxP280.extMemAcc_280)+PxP281.extMemAcc_281)+PxP282.extMemAcc_282)+PxP283.extMemAcc_283)+PxP284.extMemAcc_284)+PxP285.extMemAcc_285)+PxP286.extMemAcc_286)+PxP287.extMemAcc_287)+PxP288.extMemAcc_288)+PxP289.extMemAcc_289)+PxP290.extMemAcc_290)+PxP291.extMemAcc_291)+PxP292.extMemAcc_292)+PxP293.extMemAcc_293)+PxP294.extMemAcc_294)+PxP295.extMemAcc_295)+PxP296.extMemAcc_296)+PxP297.extMemAcc_297)+PxP298.extMemAcc_298)+PxP299.extMemAcc_299)+PxP300.extMemAcc_300)+PxP301.extMemAcc_301)+PxP302.extMemAcc_302)+PxP303.extMemAcc_303)+PxP304.extMemAcc_304)+PxP305.extMemAcc_305)+PxP306.extMemAcc_306)+PxP307.extMemAcc_307)+PxP308.extMemAcc_308)+PxP309.extMemAcc_309)+PxP310.extMemAcc_310)+PxP311.extMemAcc_311)+PxP312.extMemAcc_312)+PxP313.extMemAcc_313)+PxP314.extMemAcc_314)+PxP315.extMemAcc_315)+PxP316.extMemAcc_316)+PxP317.extMemAcc_317)+PxP318.extMemAcc_318)+PxP319.extMemAcc_319)+PxP320.extMemAcc_320)+PxP321.extMemAcc_321)+PxP322.extMemAcc_322)+PxP323.extMemAcc_323)+PxP324.extMemAcc_324)+PxP325.extMemAcc_325)+PxP326.extMemAcc_326)+PxP327.extMemAcc_327)+PxP328.extMemAcc_328)+PxP329.extMemAcc_329)+PxP330.extMemAcc_330)+PxP331.extMemAcc_331)+PxP332.extMemAcc_332)+PxP333.extMemAcc_333)+PxP334.extMemAcc_334)+PxP335.extMemAcc_335)+PxP336.extMemAcc_336)+PxP337.extMemAcc_337)+PxP338.extMemAcc_338)+PxP339.extMemAcc_339)+PxP340.extMemAcc_340)+PxP341.extMemAcc_341)+PxP342.extMemAcc_342)+PxP343.extMemAcc_343)+PxP344.extMemAcc_344)+PxP345.extMemAcc_345)+PxP346.extMemAcc_346)+PxP347.extMemAcc_347)+PxP348.extMemAcc_348)+PxP349.extMemAcc_349)+PxP350.extMemAcc_350)+PxP351.extMemAcc_351)+PxP352.extMemAcc_352)+PxP353.extMemAcc_353)+PxP354.extMemAcc_354)+PxP355.extMemAcc_355)+PxP356.extMemAcc_356)+PxP357.extMemAcc_357)+PxP358.extMemAcc_358)+PxP359.extMemAcc_359)+PxP360.extMemAcc_360)+PxP361.extMemAcc_361)+PxP362.extMemAcc_362)+PxP363.extMemAcc_363)+PxP364.extMemAcc_364)+PxP365.extMemAcc_365)+PxP366.extMemAcc_366)+PxP367.extMemAcc_367)+PxP368.extMemAcc_368)+PxP369.extMemAcc_369)+PxP370.extMemAcc_370)+PxP371.extMemAcc_371)+PxP372.extMemAcc_372)+PxP373.extMemAcc_373)+PxP374.extMemAcc_374)+PxP375.extMemAcc_375)+PxP376.extMemAcc_376)+PxP377.extMemAcc_377)+PxP378.extMemAcc_378)+PxP379.extMemAcc_379)+PxP380.extMemAcc_380)+PxP381.extMemAcc_381)+PxP382.extMemAcc_382)+PxP383.extMemAcc_383)+PxP384.extMemAcc_384)+PxP385.extMemAcc_385)+PxP386.extMemAcc_386)+PxP387.extMemAcc_387)+PxP388.extMemAcc_388)+PxP389.extMemAcc_389)+PxP390.extMemAcc_390)+PxP391.extMemAcc_391)+PxP392.extMemAcc_392)+PxP393.extMemAcc_393)+PxP394.extMemAcc_394)+PxP395.extMemAcc_395)+PxP396.extMemAcc_396)+PxP397.extMemAcc_397)+PxP398.extMemAcc_398)+PxP399.extMemAcc_399)<=(((((((((((((((((((P0.active_0+P1.active_1)+P2.active_2)+P3.active_3)+P4.active_4)+P5.active_5)+P6.active_6)+P7.active_7)+P8.active_8)+P9.active_9)+P10.active_10)+P11.active_11)+P12.active_12)+P13.active_13)+P14.active_14)+P15.active_15)+P16.active_16)+P17.active_17)+P18.active_18)+P19.active_19)")

BK_STOP 1464591502248

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -XX:MaxPermSize=512m -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 30, 2016 6:57:24 AM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 30, 2016 6:57:24 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 30, 2016 6:57:25 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1442 ms
May 30, 2016 6:57:25 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 6 places.
May 30, 2016 6:57:25 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: read order :VarOrder [vars=[ownMemAcc[0], ownMemAcc[1], ownMemAcc[2], ownMemAcc[3], ownMemAcc[4], ownMemAcc[5], ownMemAcc[6], ownMemAcc[7], ownMemAcc[8], ownMemAcc[9], ownMemAcc[10], ownMemAcc[11], ownMemAcc[12], ownMemAcc[13], ownMemAcc[14], ownMemAcc[15], ownMemAcc[16], ownMemAcc[17], ownMemAcc[18], ownMemAcc[19], queue[0], queue[1], queue[2], queue[3], queue[4], queue[5], queue[6], queue[7], queue[8], queue[9], queue[10], queue[11], queue[12], queue[13], queue[14], queue[15], queue[16], queue[17], queue[18], queue[19], memory[0], memory[1], memory[2], memory[3], memory[4], memory[5], memory[6], memory[7], memory[8], memory[9], memory[10], memory[11], memory[12], memory[13], memory[14], memory[15], memory[16], memory[17], memory[18], memory[19], active[0], active[1], active[2], active[3], active[4], active[5], active[6], active[7], active[8], active[9], active[10], active[11], active[12], active[13], active[14], active[15], active[16], active[17], active[18], active[19], extMemAcc[0], extMemAcc[1], extMemAcc[2], extMemAcc[3], extMemAcc[4], extMemAcc[5], extMemAcc[6], extMemAcc[7], extMemAcc[8], extMemAcc[9], extMemAcc[10], extMemAcc[11], extMemAcc[12], extMemAcc[13], extMemAcc[14], extMemAcc[15], extMemAcc[16], extMemAcc[17], extMemAcc[18], extMemAcc[19], extMemAcc[20], extMemAcc[21], extMemAcc[22], extMemAcc[23], extMemAcc[24], extMemAcc[25], extMemAcc[26], extMemAcc[27], extMemAcc[28], extMemAcc[29], extMemAcc[30], extMemAcc[31], extMemAcc[32], extMemAcc[33], extMemAcc[34], extMemAcc[35], extMemAcc[36], extMemAcc[37], extMemAcc[38], extMemAcc[39], extMemAcc[40], extMemAcc[41], extMemAcc[42], extMemAcc[43], extMemAcc[44], extMemAcc[45], extMemAcc[46], extMemAcc[47], extMemAcc[48], extMemAcc[49], extMemAcc[50], extMemAcc[51], extMemAcc[52], extMemAcc[53], extMemAcc[54], extMemAcc[55], extMemAcc[56], extMemAcc[57], extMemAcc[58], extMemAcc[59], extMemAcc[60], extMemAcc[61], extMemAcc[62], extMemAcc[63], extMemAcc[64], extMemAcc[65], extMemAcc[66], extMemAcc[67], extMemAcc[68], extMemAcc[69], extMemAcc[70], extMemAcc[71], extMemAcc[72], extMemAcc[73], extMemAcc[74], extMemAcc[75], extMemAcc[76], extMemAcc[77], extMemAcc[78], extMemAcc[79], extMemAcc[80], extMemAcc[81], extMemAcc[82], extMemAcc[83], extMemAcc[84], extMemAcc[85], extMemAcc[86], extMemAcc[87], extMemAcc[88], extMemAcc[89], extMemAcc[90], extMemAcc[91], extMemAcc[92], extMemAcc[93], extMemAcc[94], extMemAcc[95], extMemAcc[96], extMemAcc[97], extMemAcc[98], extMemAcc[99], extMemAcc[100], extMemAcc[101], extMemAcc[102], extMemAcc[103], extMemAcc[104], extMemAcc[105], extMemAcc[106], extMemAcc[107], extMemAcc[108], extMemAcc[109], extMemAcc[110], extMemAcc[111], extMemAcc[112], extMemAcc[113], extMemAcc[114], extMemAcc[115], extMemAcc[116], extMemAcc[117], extMemAcc[118], extMemAcc[119], extMemAcc[120], extMemAcc[121], extMemAcc[122], extMemAcc[123], extMemAcc[124], extMemAcc[125], extMemAcc[126], extMemAcc[127], extMemAcc[128], extMemAcc[129], extMemAcc[130], extMemAcc[131], extMemAcc[132], extMemAcc[133], extMemAcc[134], extMemAcc[135], extMemAcc[136], extMemAcc[137], extMemAcc[138], extMemAcc[139], extMemAcc[140], extMemAcc[141], extMemAcc[142], extMemAcc[143], extMemAcc[144], extMemAcc[145], extMemAcc[146], extMemAcc[147], extMemAcc[148], extMemAcc[149], extMemAcc[150], extMemAcc[151], extMemAcc[152], extMemAcc[153], extMemAcc[154], extMemAcc[155], extMemAcc[156], extMemAcc[157], extMemAcc[158], extMemAcc[159], extMemAcc[160], extMemAcc[161], extMemAcc[162], extMemAcc[163], extMemAcc[164], extMemAcc[165], extMemAcc[166], extMemAcc[167], extMemAcc[168], extMemAcc[169], extMemAcc[170], extMemAcc[171], extMemAcc[172], extMemAcc[173], extMemAcc[174], extMemAcc[175], extMemAcc[176], extMemAcc[177], extMemAcc[178], extMemAcc[179], extMemAcc[180], extMemAcc[181], extMemAcc[182], extMemAcc[183], extMemAcc[184], extMemAcc[185], extMemAcc[186], extMemAcc[187], extMemAcc[188], extMemAcc[189], extMemAcc[190], extMemAcc[191], extMemAcc[192], extMemAcc[193], extMemAcc[194], extMemAcc[195], extMemAcc[196], extMemAcc[197], extMemAcc[198], extMemAcc[199], extMemAcc[200], extMemAcc[201], extMemAcc[202], extMemAcc[203], extMemAcc[204], extMemAcc[205], extMemAcc[206], extMemAcc[207], extMemAcc[208], extMemAcc[209], extMemAcc[210], extMemAcc[211], extMemAcc[212], extMemAcc[213], extMemAcc[214], extMemAcc[215], extMemAcc[216], extMemAcc[217], extMemAcc[218], extMemAcc[219], extMemAcc[220], extMemAcc[221], extMemAcc[222], extMemAcc[223], extMemAcc[224], extMemAcc[225], extMemAcc[226], extMemAcc[227], extMemAcc[228], extMemAcc[229], extMemAcc[230], extMemAcc[231], extMemAcc[232], extMemAcc[233], extMemAcc[234], extMemAcc[235], extMemAcc[236], extMemAcc[237], extMemAcc[238], extMemAcc[239], extMemAcc[240], extMemAcc[241], extMemAcc[242], extMemAcc[243], extMemAcc[244], extMemAcc[245], extMemAcc[246], extMemAcc[247], extMemAcc[248], extMemAcc[249], extMemAcc[250], extMemAcc[251], extMemAcc[252], extMemAcc[253], extMemAcc[254], extMemAcc[255], extMemAcc[256], extMemAcc[257], extMemAcc[258], extMemAcc[259], extMemAcc[260], extMemAcc[261], extMemAcc[262], extMemAcc[263], extMemAcc[264], extMemAcc[265], extMemAcc[266], extMemAcc[267], extMemAcc[268], extMemAcc[269], extMemAcc[270], extMemAcc[271], extMemAcc[272], extMemAcc[273], extMemAcc[274], extMemAcc[275], extMemAcc[276], extMemAcc[277], extMemAcc[278], extMemAcc[279], extMemAcc[280], extMemAcc[281], extMemAcc[282], extMemAcc[283], extMemAcc[284], extMemAcc[285], extMemAcc[286], extMemAcc[287], extMemAcc[288], extMemAcc[289], extMemAcc[290], extMemAcc[291], extMemAcc[292], extMemAcc[293], extMemAcc[294], extMemAcc[295], extMemAcc[296], extMemAcc[297], extMemAcc[298], extMemAcc[299], extMemAcc[300], extMemAcc[301], extMemAcc[302], extMemAcc[303], extMemAcc[304], extMemAcc[305], extMemAcc[306], extMemAcc[307], extMemAcc[308], extMemAcc[309], extMemAcc[310], extMemAcc[311], extMemAcc[312], extMemAcc[313], extMemAcc[314], extMemAcc[315], extMemAcc[316], extMemAcc[317], extMemAcc[318], extMemAcc[319], extMemAcc[320], extMemAcc[321], extMemAcc[322], extMemAcc[323], extMemAcc[324], extMemAcc[325], extMemAcc[326], extMemAcc[327], extMemAcc[328], extMemAcc[329], extMemAcc[330], extMemAcc[331], extMemAcc[332], extMemAcc[333], extMemAcc[334], extMemAcc[335], extMemAcc[336], extMemAcc[337], extMemAcc[338], extMemAcc[339], extMemAcc[340], extMemAcc[341], extMemAcc[342], extMemAcc[343], extMemAcc[344], extMemAcc[345], extMemAcc[346], extMemAcc[347], extMemAcc[348], extMemAcc[349], extMemAcc[350], extMemAcc[351], extMemAcc[352], extMemAcc[353], extMemAcc[354], extMemAcc[355], extMemAcc[356], extMemAcc[357], extMemAcc[358], extMemAcc[359], extMemAcc[360], extMemAcc[361], extMemAcc[362], extMemAcc[363], extMemAcc[364], extMemAcc[365], extMemAcc[366], extMemAcc[367], extMemAcc[368], extMemAcc[369], extMemAcc[370], extMemAcc[371], extMemAcc[372], extMemAcc[373], extMemAcc[374], extMemAcc[375], extMemAcc[376], extMemAcc[377], extMemAcc[378], extMemAcc[379], extMemAcc[380], extMemAcc[381], extMemAcc[382], extMemAcc[383], extMemAcc[384], extMemAcc[385], extMemAcc[386], extMemAcc[387], extMemAcc[388], extMemAcc[389], extMemAcc[390], extMemAcc[391], extMemAcc[392], extMemAcc[393], extMemAcc[394], extMemAcc[395], extMemAcc[396], extMemAcc[397], extMemAcc[398], extMemAcc[399], extBus[0]]]
May 30, 2016 6:57:25 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :P->ownMemAcc,queue,memory,active,
Dot->extBus,
PxP->extMemAcc,

May 30, 2016 6:57:26 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 5 transitions.
May 30, 2016 6:57:26 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[ownMemAcc[0], queue[0], memory[0], active[0]]], VarOrder [vars=[ownMemAcc[1], queue[1], memory[1], active[1]]], VarOrder [vars=[ownMemAcc[2], queue[2], memory[2], active[2]]], VarOrder [vars=[ownMemAcc[3], queue[3], memory[3], active[3]]], VarOrder [vars=[ownMemAcc[4], queue[4], memory[4], active[4]]], VarOrder [vars=[ownMemAcc[5], queue[5], memory[5], active[5]]], VarOrder [vars=[ownMemAcc[6], queue[6], memory[6], active[6]]], VarOrder [vars=[ownMemAcc[7], queue[7], memory[7], active[7]]], VarOrder [vars=[ownMemAcc[8], queue[8], memory[8], active[8]]], VarOrder [vars=[ownMemAcc[9], queue[9], memory[9], active[9]]], VarOrder [vars=[ownMemAcc[10], queue[10], memory[10], active[10]]], VarOrder [vars=[ownMemAcc[11], queue[11], memory[11], active[11]]], VarOrder [vars=[ownMemAcc[12], queue[12], memory[12], active[12]]], VarOrder [vars=[ownMemAcc[13], queue[13], memory[13], active[13]]], VarOrder [vars=[ownMemAcc[14], queue[14], memory[14], active[14]]], VarOrder [vars=[ownMemAcc[15], queue[15], memory[15], active[15]]], VarOrder [vars=[ownMemAcc[16], queue[16], memory[16], active[16]]], VarOrder [vars=[ownMemAcc[17], queue[17], memory[17], active[17]]], VarOrder [vars=[ownMemAcc[18], queue[18], memory[18], active[18]]], VarOrder [vars=[ownMemAcc[19], queue[19], memory[19], active[19]]], VarOrder [vars=[extBus[0]]], VarOrder [vars=[extMemAcc[0]]], VarOrder [vars=[extMemAcc[1]]], VarOrder [vars=[extMemAcc[2]]], VarOrder [vars=[extMemAcc[3]]], VarOrder [vars=[extMemAcc[4]]], VarOrder [vars=[extMemAcc[5]]], VarOrder [vars=[extMemAcc[6]]], VarOrder [vars=[extMemAcc[7]]], VarOrder [vars=[extMemAcc[8]]], VarOrder [vars=[extMemAcc[9]]], VarOrder [vars=[extMemAcc[10]]], VarOrder [vars=[extMemAcc[11]]], VarOrder [vars=[extMemAcc[12]]], VarOrder [vars=[extMemAcc[13]]], VarOrder [vars=[extMemAcc[14]]], VarOrder [vars=[extMemAcc[15]]], VarOrder [vars=[extMemAcc[16]]], VarOrder [vars=[extMemAcc[17]]], VarOrder [vars=[extMemAcc[18]]], VarOrder [vars=[extMemAcc[19]]], VarOrder [vars=[extMemAcc[20]]], VarOrder [vars=[extMemAcc[21]]], VarOrder [vars=[extMemAcc[22]]], VarOrder [vars=[extMemAcc[23]]], VarOrder [vars=[extMemAcc[24]]], VarOrder [vars=[extMemAcc[25]]], VarOrder [vars=[extMemAcc[26]]], VarOrder [vars=[extMemAcc[27]]], VarOrder [vars=[extMemAcc[28]]], VarOrder [vars=[extMemAcc[29]]], VarOrder [vars=[extMemAcc[30]]], VarOrder [vars=[extMemAcc[31]]], VarOrder [vars=[extMemAcc[32]]], VarOrder [vars=[extMemAcc[33]]], VarOrder [vars=[extMemAcc[34]]], VarOrder [vars=[extMemAcc[35]]], VarOrder [vars=[extMemAcc[36]]], VarOrder [vars=[extMemAcc[37]]], VarOrder [vars=[extMemAcc[38]]], VarOrder [vars=[extMemAcc[39]]], VarOrder [vars=[extMemAcc[40]]], VarOrder [vars=[extMemAcc[41]]], VarOrder [vars=[extMemAcc[42]]], VarOrder [vars=[extMemAcc[43]]], VarOrder [vars=[extMemAcc[44]]], VarOrder [vars=[extMemAcc[45]]], VarOrder [vars=[extMemAcc[46]]], VarOrder [vars=[extMemAcc[47]]], VarOrder [vars=[extMemAcc[48]]], VarOrder [vars=[extMemAcc[49]]], VarOrder [vars=[extMemAcc[50]]], VarOrder [vars=[extMemAcc[51]]], VarOrder [vars=[extMemAcc[52]]], VarOrder [vars=[extMemAcc[53]]], VarOrder [vars=[extMemAcc[54]]], VarOrder [vars=[extMemAcc[55]]], VarOrder [vars=[extMemAcc[56]]], VarOrder [vars=[extMemAcc[57]]], VarOrder [vars=[extMemAcc[58]]], VarOrder [vars=[extMemAcc[59]]], VarOrder [vars=[extMemAcc[60]]], VarOrder [vars=[extMemAcc[61]]], VarOrder [vars=[extMemAcc[62]]], VarOrder [vars=[extMemAcc[63]]], VarOrder [vars=[extMemAcc[64]]], VarOrder [vars=[extMemAcc[65]]], VarOrder [vars=[extMemAcc[66]]], VarOrder [vars=[extMemAcc[67]]], VarOrder [vars=[extMemAcc[68]]], VarOrder [vars=[extMemAcc[69]]], VarOrder [vars=[extMemAcc[70]]], VarOrder [vars=[extMemAcc[71]]], VarOrder [vars=[extMemAcc[72]]], VarOrder [vars=[extMemAcc[73]]], VarOrder [vars=[extMemAcc[74]]], VarOrder [vars=[extMemAcc[75]]], VarOrder [vars=[extMemAcc[76]]], VarOrder [vars=[extMemAcc[77]]], VarOrder [vars=[extMemAcc[78]]], VarOrder [vars=[extMemAcc[79]]], VarOrder [vars=[extMemAcc[80]]], VarOrder [vars=[extMemAcc[81]]], VarOrder [vars=[extMemAcc[82]]], VarOrder [vars=[extMemAcc[83]]], VarOrder [vars=[extMemAcc[84]]], VarOrder [vars=[extMemAcc[85]]], VarOrder [vars=[extMemAcc[86]]], VarOrder [vars=[extMemAcc[87]]], VarOrder [vars=[extMemAcc[88]]], VarOrder [vars=[extMemAcc[89]]], VarOrder [vars=[extMemAcc[90]]], VarOrder [vars=[extMemAcc[91]]], VarOrder [vars=[extMemAcc[92]]], VarOrder [vars=[extMemAcc[93]]], VarOrder [vars=[extMemAcc[94]]], VarOrder [vars=[extMemAcc[95]]], VarOrder [vars=[extMemAcc[96]]], VarOrder [vars=[extMemAcc[97]]], VarOrder [vars=[extMemAcc[98]]], VarOrder [vars=[extMemAcc[99]]], VarOrder [vars=[extMemAcc[100]]], VarOrder [vars=[extMemAcc[101]]], VarOrder [vars=[extMemAcc[102]]], VarOrder [vars=[extMemAcc[103]]], VarOrder [vars=[extMemAcc[104]]], VarOrder [vars=[extMemAcc[105]]], VarOrder [vars=[extMemAcc[106]]], VarOrder [vars=[extMemAcc[107]]], VarOrder [vars=[extMemAcc[108]]], VarOrder [vars=[extMemAcc[109]]], VarOrder [vars=[extMemAcc[110]]], VarOrder [vars=[extMemAcc[111]]], VarOrder [vars=[extMemAcc[112]]], VarOrder [vars=[extMemAcc[113]]], VarOrder [vars=[extMemAcc[114]]], VarOrder [vars=[extMemAcc[115]]], VarOrder [vars=[extMemAcc[116]]], VarOrder [vars=[extMemAcc[117]]], VarOrder [vars=[extMemAcc[118]]], VarOrder [vars=[extMemAcc[119]]], VarOrder [vars=[extMemAcc[120]]], VarOrder [vars=[extMemAcc[121]]], VarOrder [vars=[extMemAcc[122]]], VarOrder [vars=[extMemAcc[123]]], VarOrder [vars=[extMemAcc[124]]], VarOrder [vars=[extMemAcc[125]]], VarOrder [vars=[extMemAcc[126]]], VarOrder [vars=[extMemAcc[127]]], VarOrder [vars=[extMemAcc[128]]], VarOrder [vars=[extMemAcc[129]]], VarOrder [vars=[extMemAcc[130]]], VarOrder [vars=[extMemAcc[131]]], VarOrder [vars=[extMemAcc[132]]], VarOrder [vars=[extMemAcc[133]]], VarOrder [vars=[extMemAcc[134]]], VarOrder [vars=[extMemAcc[135]]], VarOrder [vars=[extMemAcc[136]]], VarOrder [vars=[extMemAcc[137]]], VarOrder [vars=[extMemAcc[138]]], VarOrder [vars=[extMemAcc[139]]], VarOrder [vars=[extMemAcc[140]]], VarOrder [vars=[extMemAcc[141]]], VarOrder [vars=[extMemAcc[142]]], VarOrder [vars=[extMemAcc[143]]], VarOrder [vars=[extMemAcc[144]]], VarOrder [vars=[extMemAcc[145]]], VarOrder [vars=[extMemAcc[146]]], VarOrder [vars=[extMemAcc[147]]], VarOrder [vars=[extMemAcc[148]]], VarOrder [vars=[extMemAcc[149]]], VarOrder [vars=[extMemAcc[150]]], VarOrder [vars=[extMemAcc[151]]], VarOrder [vars=[extMemAcc[152]]], VarOrder [vars=[extMemAcc[153]]], VarOrder [vars=[extMemAcc[154]]], VarOrder [vars=[extMemAcc[155]]], VarOrder [vars=[extMemAcc[156]]], VarOrder [vars=[extMemAcc[157]]], VarOrder [vars=[extMemAcc[158]]], VarOrder [vars=[extMemAcc[159]]], VarOrder [vars=[extMemAcc[160]]], VarOrder [vars=[extMemAcc[161]]], VarOrder [vars=[extMemAcc[162]]], VarOrder [vars=[extMemAcc[163]]], VarOrder [vars=[extMemAcc[164]]], VarOrder [vars=[extMemAcc[165]]], VarOrder [vars=[extMemAcc[166]]], VarOrder [vars=[extMemAcc[167]]], VarOrder [vars=[extMemAcc[168]]], VarOrder [vars=[extMemAcc[169]]], VarOrder [vars=[extMemAcc[170]]], VarOrder [vars=[extMemAcc[171]]], VarOrder [vars=[extMemAcc[172]]], VarOrder [vars=[extMemAcc[173]]], VarOrder [vars=[extMemAcc[174]]], VarOrder [vars=[extMemAcc[175]]], VarOrder [vars=[extMemAcc[176]]], VarOrder [vars=[extMemAcc[177]]], VarOrder [vars=[extMemAcc[178]]], VarOrder [vars=[extMemAcc[179]]], VarOrder [vars=[extMemAcc[180]]], VarOrder [vars=[extMemAcc[181]]], VarOrder [vars=[extMemAcc[182]]], VarOrder [vars=[extMemAcc[183]]], VarOrder [vars=[extMemAcc[184]]], VarOrder [vars=[extMemAcc[185]]], VarOrder [vars=[extMemAcc[186]]], VarOrder [vars=[extMemAcc[187]]], VarOrder [vars=[extMemAcc[188]]], VarOrder [vars=[extMemAcc[189]]], VarOrder [vars=[extMemAcc[190]]], VarOrder [vars=[extMemAcc[191]]], VarOrder [vars=[extMemAcc[192]]], VarOrder [vars=[extMemAcc[193]]], VarOrder [vars=[extMemAcc[194]]], VarOrder [vars=[extMemAcc[195]]], VarOrder [vars=[extMemAcc[196]]], VarOrder [vars=[extMemAcc[197]]], VarOrder [vars=[extMemAcc[198]]], VarOrder [vars=[extMemAcc[199]]], VarOrder [vars=[extMemAcc[200]]], VarOrder [vars=[extMemAcc[201]]], VarOrder [vars=[extMemAcc[202]]], VarOrder [vars=[extMemAcc[203]]], VarOrder [vars=[extMemAcc[204]]], VarOrder [vars=[extMemAcc[205]]], VarOrder [vars=[extMemAcc[206]]], VarOrder [vars=[extMemAcc[207]]], VarOrder [vars=[extMemAcc[208]]], VarOrder [vars=[extMemAcc[209]]], VarOrder [vars=[extMemAcc[210]]], VarOrder [vars=[extMemAcc[211]]], VarOrder [vars=[extMemAcc[212]]], VarOrder [vars=[extMemAcc[213]]], VarOrder [vars=[extMemAcc[214]]], VarOrder [vars=[extMemAcc[215]]], VarOrder [vars=[extMemAcc[216]]], VarOrder [vars=[extMemAcc[217]]], VarOrder [vars=[extMemAcc[218]]], VarOrder [vars=[extMemAcc[219]]], VarOrder [vars=[extMemAcc[220]]], VarOrder [vars=[extMemAcc[221]]], VarOrder [vars=[extMemAcc[222]]], VarOrder [vars=[extMemAcc[223]]], VarOrder [vars=[extMemAcc[224]]], VarOrder [vars=[extMemAcc[225]]], VarOrder [vars=[extMemAcc[226]]], VarOrder [vars=[extMemAcc[227]]], VarOrder [vars=[extMemAcc[228]]], VarOrder [vars=[extMemAcc[229]]], VarOrder [vars=[extMemAcc[230]]], VarOrder [vars=[extMemAcc[231]]], VarOrder [vars=[extMemAcc[232]]], VarOrder [vars=[extMemAcc[233]]], VarOrder [vars=[extMemAcc[234]]], VarOrder [vars=[extMemAcc[235]]], VarOrder [vars=[extMemAcc[236]]], VarOrder [vars=[extMemAcc[237]]], VarOrder [vars=[extMemAcc[238]]], VarOrder [vars=[extMemAcc[239]]], VarOrder [vars=[extMemAcc[240]]], VarOrder [vars=[extMemAcc[241]]], VarOrder [vars=[extMemAcc[242]]], VarOrder [vars=[extMemAcc[243]]], VarOrder [vars=[extMemAcc[244]]], VarOrder [vars=[extMemAcc[245]]], VarOrder [vars=[extMemAcc[246]]], VarOrder [vars=[extMemAcc[247]]], VarOrder [vars=[extMemAcc[248]]], VarOrder [vars=[extMemAcc[249]]], VarOrder [vars=[extMemAcc[250]]], VarOrder [vars=[extMemAcc[251]]], VarOrder [vars=[extMemAcc[252]]], VarOrder [vars=[extMemAcc[253]]], VarOrder [vars=[extMemAcc[254]]], VarOrder [vars=[extMemAcc[255]]], VarOrder [vars=[extMemAcc[256]]], VarOrder [vars=[extMemAcc[257]]], VarOrder [vars=[extMemAcc[258]]], VarOrder [vars=[extMemAcc[259]]], VarOrder [vars=[extMemAcc[260]]], VarOrder [vars=[extMemAcc[261]]], VarOrder [vars=[extMemAcc[262]]], VarOrder [vars=[extMemAcc[263]]], VarOrder [vars=[extMemAcc[264]]], VarOrder [vars=[extMemAcc[265]]], VarOrder [vars=[extMemAcc[266]]], VarOrder [vars=[extMemAcc[267]]], VarOrder [vars=[extMemAcc[268]]], VarOrder [vars=[extMemAcc[269]]], VarOrder [vars=[extMemAcc[270]]], VarOrder [vars=[extMemAcc[271]]], VarOrder [vars=[extMemAcc[272]]], VarOrder [vars=[extMemAcc[273]]], VarOrder [vars=[extMemAcc[274]]], VarOrder [vars=[extMemAcc[275]]], VarOrder [vars=[extMemAcc[276]]], VarOrder [vars=[extMemAcc[277]]], VarOrder [vars=[extMemAcc[278]]], VarOrder [vars=[extMemAcc[279]]], VarOrder [vars=[extMemAcc[280]]], VarOrder [vars=[extMemAcc[281]]], VarOrder [vars=[extMemAcc[282]]], VarOrder [vars=[extMemAcc[283]]], VarOrder [vars=[extMemAcc[284]]], VarOrder [vars=[extMemAcc[285]]], VarOrder [vars=[extMemAcc[286]]], VarOrder [vars=[extMemAcc[287]]], VarOrder [vars=[extMemAcc[288]]], VarOrder [vars=[extMemAcc[289]]], VarOrder [vars=[extMemAcc[290]]], VarOrder [vars=[extMemAcc[291]]], VarOrder [vars=[extMemAcc[292]]], VarOrder [vars=[extMemAcc[293]]], VarOrder [vars=[extMemAcc[294]]], VarOrder [vars=[extMemAcc[295]]], VarOrder [vars=[extMemAcc[296]]], VarOrder [vars=[extMemAcc[297]]], VarOrder [vars=[extMemAcc[298]]], VarOrder [vars=[extMemAcc[299]]], VarOrder [vars=[extMemAcc[300]]], VarOrder [vars=[extMemAcc[301]]], VarOrder [vars=[extMemAcc[302]]], VarOrder [vars=[extMemAcc[303]]], VarOrder [vars=[extMemAcc[304]]], VarOrder [vars=[extMemAcc[305]]], VarOrder [vars=[extMemAcc[306]]], VarOrder [vars=[extMemAcc[307]]], VarOrder [vars=[extMemAcc[308]]], VarOrder [vars=[extMemAcc[309]]], VarOrder [vars=[extMemAcc[310]]], VarOrder [vars=[extMemAcc[311]]], VarOrder [vars=[extMemAcc[312]]], VarOrder [vars=[extMemAcc[313]]], VarOrder [vars=[extMemAcc[314]]], VarOrder [vars=[extMemAcc[315]]], VarOrder [vars=[extMemAcc[316]]], VarOrder [vars=[extMemAcc[317]]], VarOrder [vars=[extMemAcc[318]]], VarOrder [vars=[extMemAcc[319]]], VarOrder [vars=[extMemAcc[320]]], VarOrder [vars=[extMemAcc[321]]], VarOrder [vars=[extMemAcc[322]]], VarOrder [vars=[extMemAcc[323]]], VarOrder [vars=[extMemAcc[324]]], VarOrder [vars=[extMemAcc[325]]], VarOrder [vars=[extMemAcc[326]]], VarOrder [vars=[extMemAcc[327]]], VarOrder [vars=[extMemAcc[328]]], VarOrder [vars=[extMemAcc[329]]], VarOrder [vars=[extMemAcc[330]]], VarOrder [vars=[extMemAcc[331]]], VarOrder [vars=[extMemAcc[332]]], VarOrder [vars=[extMemAcc[333]]], VarOrder [vars=[extMemAcc[334]]], VarOrder [vars=[extMemAcc[335]]], VarOrder [vars=[extMemAcc[336]]], VarOrder [vars=[extMemAcc[337]]], VarOrder [vars=[extMemAcc[338]]], VarOrder [vars=[extMemAcc[339]]], VarOrder [vars=[extMemAcc[340]]], VarOrder [vars=[extMemAcc[341]]], VarOrder [vars=[extMemAcc[342]]], VarOrder [vars=[extMemAcc[343]]], VarOrder [vars=[extMemAcc[344]]], VarOrder [vars=[extMemAcc[345]]], VarOrder [vars=[extMemAcc[346]]], VarOrder [vars=[extMemAcc[347]]], VarOrder [vars=[extMemAcc[348]]], VarOrder [vars=[extMemAcc[349]]], VarOrder [vars=[extMemAcc[350]]], VarOrder [vars=[extMemAcc[351]]], VarOrder [vars=[extMemAcc[352]]], VarOrder [vars=[extMemAcc[353]]], VarOrder [vars=[extMemAcc[354]]], VarOrder [vars=[extMemAcc[355]]], VarOrder [vars=[extMemAcc[356]]], VarOrder [vars=[extMemAcc[357]]], VarOrder [vars=[extMemAcc[358]]], VarOrder [vars=[extMemAcc[359]]], VarOrder [vars=[extMemAcc[360]]], VarOrder [vars=[extMemAcc[361]]], VarOrder [vars=[extMemAcc[362]]], VarOrder [vars=[extMemAcc[363]]], VarOrder [vars=[extMemAcc[364]]], VarOrder [vars=[extMemAcc[365]]], VarOrder [vars=[extMemAcc[366]]], VarOrder [vars=[extMemAcc[367]]], VarOrder [vars=[extMemAcc[368]]], VarOrder [vars=[extMemAcc[369]]], VarOrder [vars=[extMemAcc[370]]], VarOrder [vars=[extMemAcc[371]]], VarOrder [vars=[extMemAcc[372]]], VarOrder [vars=[extMemAcc[373]]], VarOrder [vars=[extMemAcc[374]]], VarOrder [vars=[extMemAcc[375]]], VarOrder [vars=[extMemAcc[376]]], VarOrder [vars=[extMemAcc[377]]], VarOrder [vars=[extMemAcc[378]]], VarOrder [vars=[extMemAcc[379]]], VarOrder [vars=[extMemAcc[380]]], VarOrder [vars=[extMemAcc[381]]], VarOrder [vars=[extMemAcc[382]]], VarOrder [vars=[extMemAcc[383]]], VarOrder [vars=[extMemAcc[384]]], VarOrder [vars=[extMemAcc[385]]], VarOrder [vars=[extMemAcc[386]]], VarOrder [vars=[extMemAcc[387]]], VarOrder [vars=[extMemAcc[388]]], VarOrder [vars=[extMemAcc[389]]], VarOrder [vars=[extMemAcc[390]]], VarOrder [vars=[extMemAcc[391]]], VarOrder [vars=[extMemAcc[392]]], VarOrder [vars=[extMemAcc[393]]], VarOrder [vars=[extMemAcc[394]]], VarOrder [vars=[extMemAcc[395]]], VarOrder [vars=[extMemAcc[396]]], VarOrder [vars=[extMemAcc[397]]], VarOrder [vars=[extMemAcc[398]]], VarOrder [vars=[extMemAcc[399]]]]]
May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $m and $x of transition endOwnAcc
May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 20 instantiations of transitions. Total transitions/syncs built is 882
May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 287 ms
May 30, 2016 6:57:26 AM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 162 ms
May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[ownMemAcc[0], queue[0], memory[0], active[0], ],[ownMemAcc[1], queue[1], memory[1], active[1], ],[ownMemAcc[2], queue[2], memory[2], active[2], ],[ownMemAcc[3], queue[3], memory[3], active[3], ],[ownMemAcc[4], queue[4], memory[4], active[4], ],[ownMemAcc[5], queue[5], memory[5], active[5], ],[ownMemAcc[6], queue[6], memory[6], active[6], ],[ownMemAcc[7], queue[7], memory[7], active[7], ],[ownMemAcc[8], queue[8], memory[8], active[8], ],[ownMemAcc[9], queue[9], memory[9], active[9], ],[ownMemAcc[10], queue[10], memory[10], active[10], ],[ownMemAcc[11], queue[11], memory[11], active[11], ],[ownMemAcc[12], queue[12], memory[12], active[12], ],[ownMemAcc[13], queue[13], memory[13], active[13], ],[ownMemAcc[14], queue[14], memory[14], active[14], ],[ownMemAcc[15], queue[15], memory[15], active[15], ],[ownMemAcc[16], queue[16], memory[16], active[16], ],[ownMemAcc[17], queue[17], memory[17], active[17], ],[ownMemAcc[18], queue[18], memory[18], active[18], ],[ownMemAcc[19], queue[19], memory[19], active[19], ],[extBus[0], ],[extMemAcc[0], ],[extMemAcc[1], ],[extMemAcc[2], ],[extMemAcc[3], ],[extMemAcc[4], ],[extMemAcc[5], ],[extMemAcc[6], ],[extMemAcc[7], ],[extMemAcc[8], ],[extMemAcc[9], ],[extMemAcc[10], ],[extMemAcc[11], ],[extMemAcc[12], ],[extMemAcc[13], ],[extMemAcc[14], ],[extMemAcc[15], ],[extMemAcc[16], ],[extMemAcc[17], ],[extMemAcc[18], ],[extMemAcc[19], ],[extMemAcc[20], ],[extMemAcc[21], ],[extMemAcc[22], ],[extMemAcc[23], ],[extMemAcc[24], ],[extMemAcc[25], ],[extMemAcc[26], ],[extMemAcc[27], ],[extMemAcc[28], ],[extMemAcc[29], ],[extMemAcc[30], ],[extMemAcc[31], ],[extMemAcc[32], ],[extMemAcc[33], ],[extMemAcc[34], ],[extMemAcc[35], ],[extMemAcc[36], ],[extMemAcc[37], ],[extMemAcc[38], ],[extMemAcc[39], ],[extMemAcc[40], ],[extMemAcc[41], ],[extMemAcc[42], ],[extMemAcc[43], ],[extMemAcc[44], ],[extMemAcc[45], ],[extMemAcc[46], ],[extMemAcc[47], ],[extMemAcc[48], ],[extMemAcc[49], ],[extMemAcc[50], ],[extMemAcc[51], ],[extMemAcc[52], ],[extMemAcc[53], ],[extMemAcc[54], ],[extMemAcc[55], ],[extMemAcc[56], ],[extMemAcc[57], ],[extMemAcc[58], ],[extMemAcc[59], ],[extMemAcc[60], ],[extMemAcc[61], ],[extMemAcc[62], ],[extMemAcc[63], ],[extMemAcc[64], ],[extMemAcc[65], ],[extMemAcc[66], ],[extMemAcc[67], ],[extMemAcc[68], ],[extMemAcc[69], ],[extMemAcc[70], ],[extMemAcc[71], ],[extMemAcc[72], ],[extMemAcc[73], ],[extMemAcc[74], ],[extMemAcc[75], ],[extMemAcc[76], ],[extMemAcc[77], ],[extMemAcc[78], ],[extMemAcc[79], ],[extMemAcc[80], ],[extMemAcc[81], ],[extMemAcc[82], ],[extMemAcc[83], ],[extMemAcc[84], ],[extMemAcc[85], ],[extMemAcc[86], ],[extMemAcc[87], ],[extMemAcc[88], ],[extMemAcc[89], ],[extMemAcc[90], ],[extMemAcc[91], ],[extMemAcc[92], ],[extMemAcc[93], ],[extMemAcc[94], ],[extMemAcc[95], ],[extMemAcc[96], ],[extMemAcc[97], ],[extMemAcc[98], ],[extMemAcc[99], ],[extMemAcc[100], ],[extMemAcc[101], ],[extMemAcc[102], ],[extMemAcc[103], ],[extMemAcc[104], ],[extMemAcc[105], ],[extMemAcc[106], ],[extMemAcc[107], ],[extMemAcc[108], ],[extMemAcc[109], ],[extMemAcc[110], ],[extMemAcc[111], ],[extMemAcc[112], ],[extMemAcc[113], ],[extMemAcc[114], ],[extMemAcc[115], ],[extMemAcc[116], ],[extMemAcc[117], ],[extMemAcc[118], ],[extMemAcc[119], ],[extMemAcc[120], ],[extMemAcc[121], ],[extMemAcc[122], ],[extMemAcc[123], ],[extMemAcc[124], ],[extMemAcc[125], ],[extMemAcc[126], ],[extMemAcc[127], ],[extMemAcc[128], ],[extMemAcc[129], ],[extMemAcc[130], ],[extMemAcc[131], ],[extMemAcc[132], ],[extMemAcc[133], ],[extMemAcc[134], ],[extMemAcc[135], ],[extMemAcc[136], ],[extMemAcc[137], ],[extMemAcc[138], ],[extMemAcc[139], ],[extMemAcc[140], ],[extMemAcc[141], ],[extMemAcc[142], ],[extMemAcc[143], ],[extMemAcc[144], ],[extMemAcc[145], ],[extMemAcc[146], ],[extMemAcc[147], ],[extMemAcc[148], ],[extMemAcc[149], ],[extMemAcc[150], ],[extMemAcc[151], ],[extMemAcc[152], ],[extMemAcc[153], ],[extMemAcc[154], ],[extMemAcc[155], ],[extMemAcc[156], ],[extMemAcc[157], ],[extMemAcc[158], ],[extMemAcc[159], ],[extMemAcc[160], ],[extMemAcc[161], ],[extMemAcc[162], ],[extMemAcc[163], ],[extMemAcc[164], ],[extMemAcc[165], ],[extMemAcc[166], ],[extMemAcc[167], ],[extMemAcc[168], ],[extMemAcc[169], ],[extMemAcc[170], ],[extMemAcc[171], ],[extMemAcc[172], ],[extMemAcc[173], ],[extMemAcc[174], ],[extMemAcc[175], ],[extMemAcc[176], ],[extMemAcc[177], ],[extMemAcc[178], ],[extMemAcc[179], ],[extMemAcc[180], ],[extMemAcc[181], ],[extMemAcc[182], ],[extMemAcc[183], ],[extMemAcc[184], ],[extMemAcc[185], ],[extMemAcc[186], ],[extMemAcc[187], ],[extMemAcc[188], ],[extMemAcc[189], ],[extMemAcc[190], ],[extMemAcc[191], ],[extMemAcc[192], ],[extMemAcc[193], ],[extMemAcc[194], ],[extMemAcc[195], ],[extMemAcc[196], ],[extMemAcc[197], ],[extMemAcc[198], ],[extMemAcc[199], ],[extMemAcc[200], ],[extMemAcc[201], ],[extMemAcc[202], ],[extMemAcc[203], ],[extMemAcc[204], ],[extMemAcc[205], ],[extMemAcc[206], ],[extMemAcc[207], ],[extMemAcc[208], ],[extMemAcc[209], ],[extMemAcc[210], ],[extMemAcc[211], ],[extMemAcc[212], ],[extMemAcc[213], ],[extMemAcc[214], ],[extMemAcc[215], ],[extMemAcc[216], ],[extMemAcc[217], ],[extMemAcc[218], ],[extMemAcc[219], ],[extMemAcc[220], ],[extMemAcc[221], ],[extMemAcc[222], ],[extMemAcc[223], ],[extMemAcc[224], ],[extMemAcc[225], ],[extMemAcc[226], ],[extMemAcc[227], ],[extMemAcc[228], ],[extMemAcc[229], ],[extMemAcc[230], ],[extMemAcc[231], ],[extMemAcc[232], ],[extMemAcc[233], ],[extMemAcc[234], ],[extMemAcc[235], ],[extMemAcc[236], ],[extMemAcc[237], ],[extMemAcc[238], ],[extMemAcc[239], ],[extMemAcc[240], ],[extMemAcc[241], ],[extMemAcc[242], ],[extMemAcc[243], ],[extMemAcc[244], ],[extMemAcc[245], ],[extMemAcc[246], ],[extMemAcc[247], ],[extMemAcc[248], ],[extMemAcc[249], ],[extMemAcc[250], ],[extMemAcc[251], ],[extMemAcc[252], ],[extMemAcc[253], ],[extMemAcc[254], ],[extMemAcc[255], ],[extMemAcc[256], ],[extMemAcc[257], ],[extMemAcc[258], ],[extMemAcc[259], ],[extMemAcc[260], ],[extMemAcc[261], ],[extMemAcc[262], ],[extMemAcc[263], ],[extMemAcc[264], ],[extMemAcc[265], ],[extMemAcc[266], ],[extMemAcc[267], ],[extMemAcc[268], ],[extMemAcc[269], ],[extMemAcc[270], ],[extMemAcc[271], ],[extMemAcc[272], ],[extMemAcc[273], ],[extMemAcc[274], ],[extMemAcc[275], ],[extMemAcc[276], ],[extMemAcc[277], ],[extMemAcc[278], ],[extMemAcc[279], ],[extMemAcc[280], ],[extMemAcc[281], ],[extMemAcc[282], ],[extMemAcc[283], ],[extMemAcc[284], ],[extMemAcc[285], ],[extMemAcc[286], ],[extMemAcc[287], ],[extMemAcc[288], ],[extMemAcc[289], ],[extMemAcc[290], ],[extMemAcc[291], ],[extMemAcc[292], ],[extMemAcc[293], ],[extMemAcc[294], ],[extMemAcc[295], ],[extMemAcc[296], ],[extMemAcc[297], ],[extMemAcc[298], ],[extMemAcc[299], ],[extMemAcc[300], ],[extMemAcc[301], ],[extMemAcc[302], ],[extMemAcc[303], ],[extMemAcc[304], ],[extMemAcc[305], ],[extMemAcc[306], ],[extMemAcc[307], ],[extMemAcc[308], ],[extMemAcc[309], ],[extMemAcc[310], ],[extMemAcc[311], ],[extMemAcc[312], ],[extMemAcc[313], ],[extMemAcc[314], ],[extMemAcc[315], ],[extMemAcc[316], ],[extMemAcc[317], ],[extMemAcc[318], ],[extMemAcc[319], ],[extMemAcc[320], ],[extMemAcc[321], ],[extMemAcc[322], ],[extMemAcc[323], ],[extMemAcc[324], ],[extMemAcc[325], ],[extMemAcc[326], ],[extMemAcc[327], ],[extMemAcc[328], ],[extMemAcc[329], ],[extMemAcc[330], ],[extMemAcc[331], ],[extMemAcc[332], ],[extMemAcc[333], ],[extMemAcc[334], ],[extMemAcc[335], ],[extMemAcc[336], ],[extMemAcc[337], ],[extMemAcc[338], ],[extMemAcc[339], ],[extMemAcc[340], ],[extMemAcc[341], ],[extMemAcc[342], ],[extMemAcc[343], ],[extMemAcc[344], ],[extMemAcc[345], ],[extMemAcc[346], ],[extMemAcc[347], ],[extMemAcc[348], ],[extMemAcc[349], ],[extMemAcc[350], ],[extMemAcc[351], ],[extMemAcc[352], ],[extMemAcc[353], ],[extMemAcc[354], ],[extMemAcc[355], ],[extMemAcc[356], ],[extMemAcc[357], ],[extMemAcc[358], ],[extMemAcc[359], ],[extMemAcc[360], ],[extMemAcc[361], ],[extMemAcc[362], ],[extMemAcc[363], ],[extMemAcc[364], ],[extMemAcc[365], ],[extMemAcc[366], ],[extMemAcc[367], ],[extMemAcc[368], ],[extMemAcc[369], ],[extMemAcc[370], ],[extMemAcc[371], ],[extMemAcc[372], ],[extMemAcc[373], ],[extMemAcc[374], ],[extMemAcc[375], ],[extMemAcc[376], ],[extMemAcc[377], ],[extMemAcc[378], ],[extMemAcc[379], ],[extMemAcc[380], ],[extMemAcc[381], ],[extMemAcc[382], ],[extMemAcc[383], ],[extMemAcc[384], ],[extMemAcc[385], ],[extMemAcc[386], ],[extMemAcc[387], ],[extMemAcc[388], ],[extMemAcc[389], ],[extMemAcc[390], ],[extMemAcc[391], ],[extMemAcc[392], ],[extMemAcc[393], ],[extMemAcc[394], ],[extMemAcc[395], ],[extMemAcc[396], ],[extMemAcc[397], ],[extMemAcc[398], ],[extMemAcc[399], ],

May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array ownMemAcc to variables to allow decomposition.
May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array queue to variables to allow decomposition.
May 30, 2016 6:57:26 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array memory to variables to allow decomposition.
May 30, 2016 6:57:27 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array active to variables to allow decomposition.
May 30, 2016 6:57:27 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array extMemAcc to variables to allow decomposition.
May 30, 2016 6:57:27 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 740 redundant transitions.
May 30, 2016 6:57:27 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.gal : 40 ms
May 30, 2016 6:57:27 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 9 ms

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_SharedMemory-COL-000020"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/root/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_SharedMemory-COL-000020.tgz
mv S_SharedMemory-COL-000020 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool itstools"
echo " Input is S_SharedMemory-COL-000020, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r181kn-smll-146444111500644"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;