Introduction

Execution Chart

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

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.

export BK_INPUT=QuasiCertifProtocol-PT-06
export BK_EXAMINATION=StateSpace
export BK_TOOL=pnxdd
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1645
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-PT-06
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool pnxdd:'
echo ' Test is QuasiCertifProtocol-PT-06, examination is StateSpace'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of pnxdd for QuasiCertifProtocol/06 (P/T)

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

execution on node 23: quadhexa-2.u-paris10.fr (runId=137107419400010_n_23)
=====================================================================
runnning pnxdd on QuasiCertifProtocol-PT-06 (StateSpace)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool pnxdd:
Test is QuasiCertifProtocol-PT-06, examination is StateSpace
=====================================================================

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

START 1371282034
STATE_SPACE 2.27196e+06 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
STOP 1371282049

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

Exporting into cami...
[DEBUG] IdrefLinker - 659
[DEBUG] IdrefLinker - [cId-182035061837878748639, cId-182035061837878748638, cId-182035061837878748636, cId-1899669847139364000170, cId-1899669847139364000171, cId-182035061837878748632, cId-182035061837878748633, cId-182696055554049129448, cId-1879840044244187167360, cId-189140742676097606490, cId-1879840044244187167361, cId-1879840044244187167362, cId-189140742676097606496, cId-1868272653137463679271, cId-189140742676097606498, cId-1868272653137463679270, cId-189140742676097606499, cId-1868272653137463679275, cId-1879840044244187167367, cId-1879840044244187167364, cId-1879840044244187167363, cId-1879840044244187167366, cId-1879840044244187167365, cId-1871577619570831935343, cId-1871577619570831935342, cId-1871577619570831935341, cId-1899669847139364000150, cId-1899669847139364000151, cId-1868272653137463679264, cId-1868272653137463679268, cId-1868272653137463679265, cId-1949244365114724321477, cId-1949244365114724321476, cId-1868272653137463679269, cId-1949244365114724321475, cId-1949244365114724321474, cId-1949244365114724321479, cId-1949244365114724321478, cId-181374068551205097419, cId-181374068551205097418, cId-1881492523165903999335, cId-1969074172304868449775, cId-1969074172304868449776, cId-1969074172304868449777, cId-1969074172304868449778, cId-1969074172304868449779, cId-1969074172304868449770, cId-1969074172304868449771, cId-1969074172304868449772, cId-1969074172304868449773, cId-1969074172304868449774, cId-1949244365114724321472, cId-1881492523165903999325, cId-1881492523165903999324, cId-1881492523165903999327, cId-1881492523165903999332, cId-1881492523165903999333, cId-1899669847139364000149, cId-1881492523165903999334, cId-1969074172304868449768, cId-1969074172304868449769, cId-1881492523165903999330, cId-1899669847139364000147, cId-1899669847139364000148, cId-1899669847139364000145, cId-1899669847139364000146, cId-182696055554049129454, cId-1965769205871500193863, cId-182696055554049129455, cId-22152942789649859281, cId-1871577619570831935303, cId-1871577619570831935301, cId-1871577619570831935302, cId-1871577619570831935300, cId-1879840044244187167354, cId-1949244365114724321432, cId-1879840044244187167355, cId-1949244365114724321433, cId-1949244365114724321430, cId-1879840044244187167353, cId-1949244365114724321431, cId-1881492523165903999322, cId-1949244365114724321436, cId-1881492523165903999323, cId-1949244365114724321437, cId-1881492523165903999320, cId-1949244365114724321434, cId-1881492523165903999321, cId-1949244365114724321435, cId-1949244365114724321438, cId-1949244365114724321439, cId-1965769205871500193854, cId-1965769205871500193853, cId-1965769205871500193852, cId-1965769205871500193859, cId-1965769205871500193858, cId-1965769205871500193857, cId-1965769205871500193856, cId-181374068551205097421, cId-1927762074707896064966, cId-1927762074707896064967, cId-1927762074707896064964, cId-1927762074707896064965, cId-1965769205871500193861, cId-1965769205871500193862, cId-1965769205871500193860, cId-19178471711128240001010, cId-19178471711128240001011, cId-19178471711128240001012, cId-19178471711128240001013, cId-1949244365114724321417, cId-19178471711128240001014, cId-1949244365114724321416, cId-19178471711128240001015, cId-1949244365114724321419, cId-19178471711128240001016, cId-1949244365114724321418, cId-1955854302276428129518, cId-1955854302276428129519, cId-1967421689088184321831, cId-1967421689088184321830, cId-1967421689088184321825, cId-1955854302276428129520, cId-1967421689088184321826, cId-1955854302276428129522, cId-1967421689088184321824, cId-1955854302276428129521, cId-1967421689088184321829, cId-1955854302276428129524, cId-1955854302276428129523, cId-1967421689088184321827, cId-1955854302276428129526, cId-1967421689088184321828, cId-1955854302276428129525, cId-19178471711128240001007, cId-19178471711128240001006, cId-19178471711128240001009, cId-19178471711128240001008, cId-19178471711128240001022, cId-19178471711128240001023, cId-19178471711128240001020, cId-19178471711128240001021, cId-1949244365114724321429, cId-1949244365114724321428, cId-1949244365114724321427, cId-1949244365114724321426, cId-1955854302276428129529, cId-1949244365114724321425, cId-1949244365114724321424, cId-1955854302276428129527, cId-1949244365114724321423, cId-1955854302276428129528, cId-1949244365114724321422, cId-1949244365114724321421, cId-1949244365114724321420, cId-1967421689088184321812, cId-1955854302276428129533, cId-1967421689088184321813, cId-1955854302276428129532, cId-1967421689088184321814, cId-1955854302276428129531, cId-1967421689088184321815, cId-1955854302276428129530, cId-1967421689088184321816, cId-1955854302276428129537, cId-1955854302276428129536, cId-1967421689088184321818, cId-1955854302276428129535, cId-1967421689088184321819, cId-1955854302276428129534, cId-19178471711128240001019, cId-19178471711128240001018, cId-19178471711128240001017, cId-1969074172304868449796, cId-1947591881898040193395, cId-1969074172304868449795, cId-1947591881898040193394, cId-1969074172304868449794, cId-1947591881898040193393, cId-1969074172304868449793, cId-1947591881898040193392, cId-1969074172304868449792, cId-1947591881898040193391, cId-1947591881898040193390, cId-1967421689088184321811, cId-1967421689088184321810, cId-1947591881898040193399, cId-1969074172304868449799, cId-1947591881898040193398, cId-1969074172304868449798, cId-1947591881898040193397, cId-1969074172304868449797, cId-1947591881898040193396, cId-1967421689088184321807, cId-1967421689088184321808, cId-1967421689088184321805, cId-1967421689088184321806, cId-1967421689088184321803, cId-1967421689088184321804, cId-1967421689088184321801, cId-1967421689088184321802, cId-1952549331548092577579, cId-1952549331548092577578, cId-1967421689088184321809, cId-1952549331548092577577, cId-19178471711128240001004, cId-1969074172304868449783, cId-19178471711128240001005, cId-1969074172304868449782, cId-19178471711128240001002, cId-1969074172304868449785, cId-19178471711128240001003, cId-1969074172304868449784, cId-19178471711128240001000, cId-19178471711128240001001, cId-1969074172304868449781, cId-1969074172304868449780, cId-1891407426760976064103, cId-1891407426760976064102, cId-1891407426760976064101, cId-1967421689088184321800, cId-1891407426760976064100, cId-1955854302276428129515, cId-1955854302276428129514, cId-1955854302276428129513, cId-1955854302276428129512, cId-181869813516210335828, cId-1945939398681356065548, cId-1945939398681356065549, cId-1866620165625812255286, cId-1866620165625812255287, cId-1893059914272627488109, cId-1893059914272627488106, cId-1893059914272627488108, cId-1893059914272627488107, cId-1917847171112824000897, cId-1893059914272627488104, cId-1917847171112824000896, cId-1917847171112824000899, cId-1917847171112824000898, cId-1921152137546192256933, cId-1921152137546192256932, cId-1904627301084383680190, cId-1904627301084383680191, cId-181869813516210335834, cId-1921152137546192256939, cId-1866620165625812255281, cId-1866620165625812255280, cId-181869813516210335835, cId-1921152137546192256937, cId-1866620165625812255283, cId-181869813516210335830, cId-1921152137546192256938, cId-1866620165625812255282, cId-1866620165625812255285, cId-1921152137546192256936, cId-1866620165625812255284, cId-181869813516210335831, cId-1947591881898040193389, cId-1921152137546192256942, cId-1904627301084383680185, cId-1921152137546192256943, cId-1904627301084383680186, cId-1921152137546192256944, cId-1904627301084383680183, cId-1921152137546192256945, cId-1904627301084383680184, cId-1904627301084383680182, cId-1921152137546192256940, cId-1921152137546192256941, cId-1904627301084383680180, cId-1921152137546192256946, cId-1904627301084383680189, cId-1921152137546192256947, cId-1921152137546192256948, cId-1904627301084383680187, cId-1921152137546192256949, cId-1904627301084383680188, cId-1955854302276428129539, cId-1955854302276428129538, cId-1921152137546192256951, cId-1921152137546192256950, cId-1955854302276428129540, cId-1921152137546192256955, cId-1921152137546192256953, cId-1921152137546192256954, cId-1904627301084383680176, cId-1904627301084383680177, cId-1904627301084383680178, cId-1904627301084383680179, cId-1955854302276428129541, cId-1955854302276428129542, cId-1955854302276428129543, cId-183191800519054367870, cId-1866620165625812255277, cId-1866620165625812255278, cId-183191800519054367871, cId-1866620165625812255276, cId-1945939398681356065503, cId-1945939398681356065502, cId-1945939398681356065507, cId-1904627301084383680164, cId-1945939398681356065506, cId-183191800519054367864, cId-183191800519054367865, cId-183191800519054367866, cId-1904627301084383680165, cId-183191800519054367868, cId-183191800519054367869, cId-1945939398681356065501, cId-1945939398681356065500, cId-1945939398681356065485, cId-1950896848331408449638, cId-1945939398681356065486, cId-1950896848331408449639, cId-1945939398681356065483, cId-1950896848331408449636, cId-1945939398681356065484, cId-1950896848331408449637, cId-1945939398681356065489, cId-1950896848331408449634, cId-1950896848331408449635, cId-1945939398681356065487, cId-1950896848331408449632, cId-1945939398681356065488, cId-1950896848331408449633, cId-1967421689088184321789, cId-1967421689088184321788, cId-1967421689088184321787, cId-1967421689088184321786, cId-1916194683601172576211, cId-1945939398681356065482, cId-1945939398681356065481, cId-1945939398681356065480, cId-1950896848331408449625, cId-1950896848331408449626, cId-1950896848331408449627, cId-1950896848331408449628, cId-1950896848331408449621, cId-1950896848331408449622, cId-1950896848331408449623, cId-1950896848331408449624, cId-1950896848331408449629, cId-1967421689088184321790, cId-1967421689088184321791, cId-1902974813572732256120, cId-1950896848331408449631, cId-1950896848331408449630, cId-1950896848331408449612, cId-1950896848331408449613, cId-1950896848331408449611, cId-1950896848331408449616, cId-1950896848331408449617, cId-1950896848331408449614, cId-1950896848331408449615, cId-1902974813572732256125, cId-1947591881898040193440, cId-1902974813572732256126, cId-1947591881898040193441, cId-1947591881898040193442, cId-1950896848331408449618, cId-1947591881898040193443, cId-1950896848331408449619, cId-1902974813572732256121, cId-1947591881898040193444, cId-18616627202707271676, cId-1902974813572732256122, cId-1947591881898040193445, cId-1902974813572732256123, cId-1947591881898040193446, cId-1902974813572732256124, cId-1947591881898040193447, cId-1944286915464671937449, cId-1944286915464671937448, cId-1950896848331408449620, cId-1945939398681356065498, cId-1945939398681356065499, cId-1945939398681356065494, cId-1945939398681356065495, cId-1945939398681356065496, cId-1945939398681356065497, cId-1902974813572732256138, cId-1902974813572732256139, cId-1950896848331408449608, cId-1902974813572732256136, cId-1950896848331408449609, cId-1902974813572732256137, cId-1902974813572732256141, cId-1902974813572732256140, cId-1962464239438131937642, cId-1962464239438131937643, cId-1962464239438131937640, cId-1962464239438131937641, cId-1945939398681356065491, cId-1962464239438131937646, cId-1945939398681356065490, cId-1962464239438131937647, cId-1945939398681356065493, cId-1962464239438131937644, cId-1945939398681356065492, cId-1962464239438131937645, cId-1962464239438131937648, cId-1962464239438131937649, cId-1944286915464671937467, cId-1944286915464671937468, cId-1944286915464671937465, cId-1906279784301067808181, cId-1944286915464671937466, cId-1944286915464671937469, cId-1944286915464671937460, cId-1947591881898040193415, cId-1944286915464671937463, cId-1944286915464671937464, cId-1944286915464671937461, cId-1944286915464671937462, cId-182861303875717542240, cId-1947591881898040193413, cId-182861303875717542241, cId-1947591881898040193412, cId-182861303875717542242, cId-182861303875717542243, cId-182861303875717542246, cId-1944286915464671937454, cId-1906279784301067808192, cId-1944286915464671937455, cId-1944286915464671937456, cId-1944286915464671937457, cId-1906279784301067808195, cId-1944286915464671937458, cId-1906279784301067808196, cId-1944286915464671937459, cId-1906279784301067808193, cId-1906279784301067808199, cId-1906279784301067808197, cId-1906279784301067808198, cId-1909584750734436064161, cId-1947591881898040193406, cId-1944286915464671937450, cId-1909584750734436064162, cId-1947591881898040193407, cId-1944286915464671937451, cId-1947591881898040193404, cId-1944286915464671937452, cId-1909584750734436064160, cId-1947591881898040193405, cId-1944286915464671937453, cId-18534002955973719354, cId-1909584750734436064167, cId-18534002955973719355, cId-1947591881898040193401, cId-1909584750734436064163, cId-1947591881898040193400, cId-1909584750734436064166, cId-1947591881898040193403, cId-1947591881898040193402, cId-183687545913556335856, cId-183687545913556335857, cId-183687545913556335861, cId-183687545913556335860, cId-183687545913556335863, cId-183687545913556335862, cId-1959159268709796385704, cId-1944286915464671937473, cId-1959159268709796385706, cId-1959159268709796385705, cId-1959159268709796385708, cId-1959159268709796385707, cId-1944286915464671937470, cId-1959159268709796385709, cId-1944286915464671937471, cId-1917847171112824000900, cId-183357048840722780667, cId-1959159268709796385718, cId-1917847171112824000901, cId-1959159268709796385719, cId-1965769205871500193840, cId-1959159268709796385716, cId-1959159268709796385717, cId-1959159268709796385710, cId-1959159268709796385711, cId-1965769205871500193838, cId-1965769205871500193839, cId-1960811756221447809655, cId-1960811756221447809653, cId-1960811756221447809652, cId-1965769205871500193832, cId-1965769205871500193833, cId-1965769205871500193834, cId-1965769205871500193835, cId-1965769205871500193836, cId-1965769205871500193837, cId-1959159268709796385729, cId-1959159268709796385727, cId-1959159268709796385728, cId-1959159268709796385725, cId-1959159268709796385726, cId-1959159268709796385723, cId-1959159268709796385724, cId-1959159268709796385721, cId-1959159268709796385722, cId-1959159268709796385720, cId-1965769205871500193843, cId-1965769205871500193844, cId-1965769205871500193841, cId-1965769205871500193842, cId-1965769205871500193847, cId-1965769205871500193845, cId-1965769205871500193846, cId-1959159268709796385730, cId-1959159268709796385731, cId-1959159268709796385732, cId-1959159268709796385733, cId-1959159268709796385734, cId-1959159268709796385735, cId-1960811756221447809676, cId-1960811756221447809675, cId-1960811756221447809674, cId-1960811756221447809673, cId-1960811756221447809679, cId-1960811756221447809678, cId-1960811756221447809677, cId-1960811756221447809672, cId-183357048840722780672, cId-183357048840722780674, cId-183357048840722780673, cId-183357048840722780676, cId-183357048840722780678, cId-183357048840722780677, cId-183357048840722780679, cId-1960811756221447809685, cId-1960811756221447809684, cId-1960811756221447809689, cId-1960811756221447809688, cId-1960811756221447809681, cId-1960811756221447809680, cId-22037268921532297353, cId-1960811756221447809683, cId-1960811756221447809682, cId-1883145006382588127381, cId-1883145006382588127380, cId-1962464239438131937659, cId-1962464239438131937658, cId-1962464239438131937657, cId-1962464239438131937656, cId-1962464239438131937654, cId-1876535073515851615319, cId-1876535073515851615318, cId-1876535073515851615317, cId-1962464239438131937651, cId-1876535073515851615316, cId-1962464239438131937650, cId-1876535073515851615315, cId-1954201819059744001516, cId-1876535073515851615314, cId-1960811756221447809693, cId-1960811756221447809694, cId-1960811756221447809691, cId-1902974813572732256143, cId-1954201819059744001517, cId-1960811756221447809692, cId-1960811756221447809690, cId-1960811756221447809699, cId-1960811756221447809697, cId-1960811756221447809698, cId-1960811756221447809695, cId-1960811756221447809696, cId-1962464239438131937667, cId-1962464239438131937666, cId-1962464239438131937669, cId-1962464239438131937668, cId-1962464239438131937663, cId-1962464239438131937662, cId-1962464239438131937665, cId-1962464239438131937664, cId-1962464239438131937661, cId-1962464239438131937660, cId-18881024603276078081032, cId-1916194683601172576236, cId-1916194683601172576235, cId-1916194683601172576234, cId-1901322330356048128105, cId-1916194683601172576233, cId-1916194683601172576232, cId-1916194683601172576231, cId-1916194683601172576230, cId-1962464239438131937671, cId-1962464239438131937670, cId-1916194683601172576239, cId-1916194683601172576238, cId-1916194683601172576237, cId-183026552197385955047, cId-183026552197385955045, cId-183026552197385955044, cId-1916194683601172576225, cId-1916194683601172576224, cId-183026552197385955051, cId-1916194683601172576227, cId-1916194683601172576226, cId-1916194683601172576229, cId-1916194683601172576228, cId-1883145006382588127331, cId-1906279784301067808207, cId-1906279784301067808205, cId-1906279784301067808206, cId-1906279784301067808200, cId-1957506785493112257742, cId-1917847171112824000992, cId-1957506785493112257741, cId-1957506785493112257740, cId-1906279784301067808204, cId-1906279784301067808203, cId-1906279784301067808202, cId-1906279784301067808201, cId-1957506785493112257749, cId-1883145006382588127328, cId-1957506785493112257748, cId-1883145006382588127329, cId-1917847171112824000995, cId-1917847171112824000993, cId-181208820229536684615, cId-1957506785493112257744, cId-181208820229536684616, cId-1957506785493112257743, cId-181208820229536684617, cId-1957506785493112257751, cId-1957506785493112257750, cId-1957506785493112257753, cId-1957506785493112257752, cId-1957506785493112257759, cId-1957506785493112257758, cId-1866620165625812255386, cId-1957506785493112257755, cId-1957506785493112257754, cId-1957506785493112257757, cId-1866620165625812255387, cId-1957506785493112257756, cId-1901322330356048128119, cId-1901322330356048128118, cId-1901322330356048128117, cId-1901322330356048128116, cId-1901322330356048128115, cId-1901322330356048128114, cId-1901322330356048128113, cId-1901322330356048128112, cId-1901322330356048128127, cId-1957506785493112257737, cId-1957506785493112257736, cId-1957506785493112257739, cId-1957506785493112257738, cId-1883145006382588127370, cId-1883145006382588127373, cId-1883145006382588127374, cId-1883145006382588127371, cId-1883145006382588127372, cId-1883145006382588127375, cId-1952549331548092577606, cId-1952549331548092577607, cId-1952549331548092577604, cId-1952549331548092577605, cId-1965769205871500193952, cId-1965769205871500193958, cId-1965769205871500193957, cId-1965769205871500193956, cId-1965769205871500193959, cId-1883145006382588127368, cId-1883145006382588127369, cId-1952549331548092577601, cId-1952549331548092577600, cId-1952549331548092577603, cId-1952549331548092577602, cId-1876535073515851615292, cId-1876535073515851615293, cId-1876535073515851615290, cId-1876535073515851615291, cId-1876535073515851615294, cId-1911237238246087488242, cId-1911237238246087488240, cId-1919499654329508128960, cId-1911237238246087488245, cId-1957506785493112257767, cId-1911237238246087488246, cId-1911237238246087488243, cId-1957506785493112257765, cId-1911237238246087488244, cId-189471239748931161675, cId-1957506785493112257766, cId-1911237238246087488249, cId-1911237238246087488247, cId-1911237238246087488248, cId-1957506785493112257760, cId-1957506785493112257763, cId-1957506785493112257764, cId-1957506785493112257761, cId-1957506785493112257762, cId-1955854302276428129610, cId-1914542200384488448219, cId-1911237238246087488251, cId-1876535073515851615288, cId-1911237238246087488250, cId-1876535073515851615289, cId-1911237238246087488253, cId-1911237238246087488252, cId-1911237238246087488254, cId-1969074172304868449880, cId-1911237238246087488255, cId-1914542200384488448220, cId-1914542200384488448221, cId-1969074172304868449883, cId-1969074172304868449884, cId-1969074172304868449881, cId-1969074172304868449882, cId-1969074172304868449885, cId-1914542200384488448222, cId-1914542200384488448223, cId-1914542200384488448212, cId-1954201819059744001575, cId-1914542200384488448214, cId-1914542200384488448213, cId-1914542200384488448216, cId-1914542200384488448215, cId-1914542200384488448218, cId-1914542200384488448217, cId-1919499654329508128978, cId-1919499654329508128979, cId-182530807232380716649, cId-1919499654329508128976, cId-1954201819059744001570, cId-1919499654329508128977, cId-1919499654329508128974, cId-1954201819059744001572, cId-1919499654329508128975, cId-1954201819059744001571, cId-1919499654329508128972, cId-1914542200384488448210, cId-1954201819059744001574, cId-1919499654329508128973, cId-1954201819059744001573, cId-1919499654329508128982, cId-1919499654329508128981, cId-1919499654329508128980, cId-182530807232380716650, cId-1914542200384488448208, cId-1914542200384488448209, cId-1919499654329508128969, page0, cId-1919499654329508128968, cId-1919499654329508128961, cId-1919499654329508128962, cId-189471239748931161687, cId-1919499654329508128963, cId-189471239748931161686, cId-189471239748931161685, cId-189471239748931161683, cId-189471239748931161684, cId-1919499654329508128971, cId-189471239748931161681, cId-1919499654329508128970, cId-1873230102787516063326, cId-189471239748931161680, cId-1919499654329508128996, cId-1919499654329508128997, cId-1919499654329508128994, cId-1919499654329508128998, cId-1919499654329508128999, cId-1919499654329508128983, cId-1919499654329508128984, cId-1919499654329508128985, cId-1919499654329508128986, cId-1919499654329508128987, cId-1919499654329508128988, cId-1919499654329508128989, cId-1919499654329508128991, cId-1919499654329508128990, cId-1944286915464671937511, cId-1944286915464671937510, cId-1944286915464671937509, cId-1944286915464671937508, cId-1886449977110923679409, cId-1957506785493112257714, cId-1886449977110923679408, cId-1957506785493112257715, cId-1952549331548092577687, cId-1957506785493112257712, cId-1952549331548092577686, cId-1957506785493112257713, cId-182861303875717542237, cId-1954201819059744001544, cId-181539316443376780611, cId-1954201819059744001545, cId-181539316443376780610, cId-1954201819059744001546, cId-1954201819059744001547, cId-1874882590299167487304, cId-1874882590299167487306, cId-1874882590299167487305, cId-1874882590299167487308, cId-1874882590299167487307, cId-1874882590299167487309, cId-1886449977110923679410, cId-1886449977110923679411, cId-189305991427262748897, cId-1886449977110923679414, cId-1873230102787516063340, cId-1954201819059744001552, cId-1874882590299167487312, cId-1954201819059744001557, cId-1874882590299167487313, cId-1954201819059744001558, cId-1874882590299167487310, cId-1954201819059744001559, cId-1874882590299167487311, cId-1954201819059744001553, cId-1954201819059744001554, cId-1954201819059744001555, cId-1954201819059744001556, cId-1907932267517751936168, cId-1907932267517751936169, cId-1873230102787516063339, cId-1873230102787516063337, cId-1873230102787516063338, cId-1873230102787516063336, cId-1954201819059744001562, cId-1873230102787516063351, cId-1954201819059744001563, cId-1954201819059744001560, cId-1954201819059744001561, cId-1873230102787516063350, cId-1944286915464671937504, cId-1954201819059744001568, cId-1944286915464671937505, cId-1954201819059744001569, cId-1954201819059744001566, cId-1954201819059744001567, cId-1954201819059744001564, cId-1954201819059744001565, cId-1873230102787516063348, cId-1873230102787516063349, cId-1907932267517751936172, cId-1907932267517751936173, cId-1907932267517751936174, cId-1873230102787516063344, cId-1907932267517751936175, cId-1873230102787516063345, cId-1873230102787516063346, cId-1873230102787516063347, cId-1964116718359848769877, cId-1964116718359848769878, cId-1964116718359848769879, cId-1959159268709796385817, cId-1912889721462771616241, cId-1964116718359848769887, cId-1893059914272627488110, cId-1964116718359848769886, cId-1893059914272627488111, cId-1964116718359848769868, cId-1964116718359848769869, cId-1964116718359848769866, cId-1964116718359848769867, cId-1959159268709796385821, cId-1959159268709796385820, cId-1959159268709796385823, cId-1912889721462771616259, cId-1959159268709796385822, cId-1912889721462771616258, cId-1912889721462771616256, cId-1912889721462771616257, cId-1964116718359848769872, cId-1964116718359848769871, cId-1964116718359848769870, cId-1964116718359848769876, cId-1964116718359848769875, cId-1964116718359848769874, cId-1964116718359848769873, cId-1952549331548092577581, cId-1952549331548092577582, cId-1952549331548092577583, cId-1952549331548092577584, cId-1952549331548092577580, cId-1952549331548092577589, cId-1952549331548092577585, cId-1952549331548092577586, cId-1952549331548092577587, cId-1952549331548092577588, cId-1964116718359848769888, cId-1964116718359848769889, cId-1964116718359848769890, cId-1952549331548092577594, cId-1952549331548092577595, cId-1952549331548092577592, cId-1962464239438131937747, cId-1952549331548092577593, cId-1952549331548092577590, cId-1962464239438131937745, cId-1952549331548092577591, cId-1962464239438131937746, cId-1964116718359848769895, cId-1964116718359848769894, cId-1952549331548092577598, cId-1964116718359848769893, cId-1952549331548092577599, cId-1964116718359848769892, cId-1952549331548092577596, cId-1964116718359848769891, cId-1952549331548092577597, cId-1874882590299167487388, cId-1874882590299167487385, cId-1874882590299167487384, cId-1878187556732535743356, cId-1878187556732535743357, cId-1878187556732535743358, cId-1878187556732535743359, cId-1878187556732535743352, cId-182200310159547161420, cId-182200310159547161422, cId-182200310159547161424, cId-182200310159547161423, cId-182200310159547161425, cId-1878187556732535743383, cId-189636488070599574489, cId-189636488070599574488, cId-1878187556732535743382, cId-189636488070599574482, cId-18864499771109236791043, cId-18864499771109236791044, cId-18864499771109236791045, cId-18864499771109236791046, cId-18600102327590757439, cId-18864499771109236791047, cId-1912889721462771616260, cId-1912889721462771616262, cId-1912889721462771616261, cId-1912889721462771616263, cId-18600102327590757438, cId-1912889721462771616266, cId-18864499771109236791040, cId-18864499771109236791041, cId-1912889721462771616267, cId-18864499771109236791042, cId-1945939398681356065550, cId-189636488070599574495, cId-1945939398681356065551, cId-182365558481215574226, cId-1878187556732535743376, cId-1878187556732535743377, cId-1878187556732535743378, cId-189636488070599574494, cId-1878187556732535743379, cId-189636488070599574493, cId-189636488070599574492, cId-189636488070599574491, cId-182365558481215574229, cId-182365558481215574227, cId-1912889721462771616272, cId-18864499771109236791028, cId-18864499771109236791027, cId-18864499771109236791026, cId-18864499771109236791025, cId-18864499771109236791024, cId-1871577619570831935298, cId-1871577619570831935297, cId-1871577619570831935296, cId-1871577619570831935295, cId-1871577619570831935299, cId-18864499771109236791031, cId-18864499771109236791030, cId-1950896848331408449576, cId-18864499771109236791037, cId-18864499771109236791036, cId-18864499771109236791039, cId-18864499771109236791038, cId-18864499771109236791033, cId-18864499771109236791035, cId-18864499771109236791034, cId-18864499771109236791029, cId-1898017359627712576152, cId-1898017359627712576153, cId-1898017359627712576154, cId-1898017359627712576159, cId-1898017359627712576156, cId-1898017359627712576155, cId-1898017359627712576158, cId-1898017359627712576157, cId-1922804625057843680906, cId-1922804625057843680907, cId-1922804625057843680904, cId-1922804625057843680905, cId-1922804625057843680908, cId-1922804625057843680909, cId-1922804625057843680902, cId-1922804625057843680903, cId-1898017359627712576130, cId-1898017359627712576132, cId-1898017359627712576131, cId-1922804625057843680912, cId-1898017359627712576133, cId-1922804625057843680911, cId-1898017359627712576134, cId-1922804625057843680914, cId-1898017359627712576135, cId-1922804625057843680913, cId-1922804625057843680910, cId-1922804625057843680919, cId-1922804625057843680916, cId-1922804625057843680915, cId-1922804625057843680918, cId-1922804625057843680917, cId-1898017359627712576142, cId-1922804625057843680925, cId-1922804625057843680924, cId-18583577495423916157, cId-1922804625057843680923, cId-1898017359627712576144, cId-1922804625057843680922, cId-1922804625057843680921, cId-1922804625057843680920, cId-1922804625057843680929, cId-1922804625057843680928, cId-1922804625057843680927, cId-1922804625057843680926, cId-1964116718359848769864, cId-1964116718359848769865, cId-1864967682409128127274, cId-1864967682409128127273, cId-1960811756221447809703, cId-183522297162391193458, cId-183522297162391193459, cId-1922804625057843680930, cId-181704564765045193414, cId-181704564765045193412, cId-1922804625057843680931, cId-181704564765045193413, cId-1922804625057843680934, cId-1922804625057843680935, cId-1960811756221447809701, cId-1960811756221447809702, cId-1960811756221447809700, cId-1964116718359848769855, cId-1964116718359848769851, cId-1914542200384488448194, cId-1964116718359848769850, cId-1898017359627712576128, cId-1898017359627712576129, cId-183522297162391193453, cId-183522297162391193452, cId-1964116718359848769849, cId-1964116718359848769848, cId-1864967682409128127279]
Input PNML document contains PT net(s).
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#exportCamiNodes: Building model nodes...
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#exportCamiNodes: Building model nodes positions
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#exportCamiText: Building model textual attributes...
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#exportCamiText: Building model nodes textual attributes positions...
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#BuildCamiModelFromRepository: model built in model.cami
[INFO] monJournal - Runner: PNML model(s) exported into CAMI.
See: model.cami

--------------------
content from /tmp/BenchKit_head_log_file.1645: