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-1668
Executing tool marcie
Input is PolyORBLF-PT-S06J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150601366
=====================================================================

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

BK_START 1401987692564

Marcie rev. 1291 (build: mcc on 2014-04-30)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mem=4

constant oo registered with value < INFINITY >
parse successfull!


(NrP: 632 NrTr: 10500)

net check time: 0m0sec

place and transition orderings generation:2m15sec

init dd package: 0m0sec


BK_TIME_CONFINEMENT_REACHED

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

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m1sec

656 1589 2132 3700 3815 4693 5037 5342 5664 5948 6989 8011 10323 12100 12508 13432 13930 14082 14149 14201 14406 14542 14576 15620 15788 16446 16566 16698 16782 17411 18145 18237 18847 19531 19612 19808 19924 20016 20093 20208 20437 20487 20499 20579 20553 20532 20582 20572 20595 20551 20840 21020 21091 21100 21225 21426 21562 21596 21609 21723 21655 21676 21692 21663 21640 21907 22057 22116 22193 22318 22457 22593 22627 22720 22690 22636 22641 22581 22520 22725 22842 22842 23004 23127 23367 23417 23442 23428 23386 23343 23250 23105 23274 23395 23871 24086 24109 24155 24154 24115 24285 24442 25004 25384 25338 25380 25398 25359 25407 25588 25745 26272 26640 26668 26684 26682 26640 26832 27003 27623 28023 27969 28025 28029 27998 27869 28146 28533 29160 29592 31115 31668 31946 32323 32686 32970 33298 33702 33779 33803 33868 33676 34071 34154 34248 34799 34821 34856 35264 35497 35565 35572 36199 36322 36533 36895 37182 37193 37217 39127 40848 40852 40852 40867 40867 40867 40867 41167 42856 43912 44063 44207 44190 44266 44303 44323 44646 44926 44960 46381 46519 46582 46650 46757 46803 46757 46757 47638 47935 48013 48060 48120 48212 49062 49069 49080 49056 49177 49177 49212 49177 50119 50190 50220 50291 50396 50396 50396 51238 51222 51157 51202 51348 51331 51296 52063 52049 52022 52003 52104 52089 52054 51998 52706 53009 53157 53174 53291 53408 53422 53849 53899 53924 53929 53997 54119 54105 54114 54104 54208 54347 54318 54278 54255 54243 54301 54337 54325 54411 54424 54302 54217 54265 54199 54129 54969 55235 55293 55271 55275 55363 55629 55807 55841 55854 56055 55999 56039 55995 55941 55900 55919 55946 56021 55994 56028 56081 55993 55866 56444 56561 56522 56595 56720 56851 56988 57022 57100 57038 56995 56957 56916 56877 56918 56821 56703 57134 57181 57099 57290 57267 57221 57266 57282 57433 57523 57793 58051 58293 58490 58796 58421 58169 57960 57693 57466 57466 57571 57591 57913 58195 58501 58708 58954 58906 58634 58441 58150 57879 57891 57728 57882 57831 58191 58444 58749 58952 59218 59083 58813 58567 58272 58003 57923 57621 57712 57725 58070 58271 58465 58632 58857 58637 58237 57954 57737 57457 55134 54009 53973 54221 57801 58033 59008 59530 59922 60085 60424 60730 60996 61318 61072 61080 61046 61502 61698 61616 62268 62333 62332 63034 63160 63058 63104 63709 63980 64196 65013 65055 65050 67722 68121 70446 70543 70517 70559 70562 70615 70626 71034 73617 74647 74907 75134 75111 75217 75239 75211 76036 76064 76098 78100 78168 78210 78226 78584 78649 78641 78491 79993 80376 80263 80186 80269 80264 81375 81368 81326 81270 81411 81659 81688 81494 82818 82908 82902 83042 83249 83265 83141 84226 84231 84057 84069 84334 84513 84240 85242 85221 85152 84999 85253 85377 85228 85040 86138 86614 86694 86693 86823 86927 86918 87382 87432 87457 87597 87712 87696 87698 87589 87579 87557 87525 87796 87949 87794 87698 87646 87747 87820 87760 87670 87666 87589 87673 87789 87506 87521 87498 87463 87556 87581 87307 87196 87217 87182 88185 88317 88289 88271 88406 88666 88716 88741 88962 88915 88833 88815 88790 88720 88679 88693 88659 88648 88747 88647 88695 88749 88547 89023 89021 88991 89046 89159 89191 89147 89045 89092 88990 89247 89292 89203 89395 89373 89318 89370 89392 89551 90156 90635 90864 90851 90964 90894 90694 90410 90174 89877 89930 89628 89781 89726 90504 91019 91250 91370 91413 90872 90632 90323 90000 89761 89787 89805 89907 90646 91086 91312 91303 91427 91309 91029 90743 90420 90114 89664 89689 89793 89812 90553 90951 91146 91156 91173 90923 90714 90471 90150 89591 87117 86506 85369 86407 87228 89911 91765 92026 92765 93057 93467 93458 93632 93920 93645 93626 93584 94221 94305 94262 94965 95148 94925 95705 95890 95730 95558 96406 96820 96889 97815 97896 97591 99010 100630 103469 103536 103321 103192 103118 103259 103290 103698 106305 107147 107384 107618 107569 107683 107679 107652 108366 108416 108441 110777 110876 110746 110680 111313 111436 111454 112421 112988 113448 112741 112795 112757 112726 114039 114045 114051 113925 114272 114380 114099 115741 115763 115570 115481 116087 116218 115928 117245 117262 117335 116994 117056 117656 117390 117099 118354 118432 118163 118090 118267 118344 118043 119122 119271 119543 119558 119613 119815 120027 120049 120074 120252 120341 120105 120144 120071 119901 119874 119863 120145 120276 119945 120025 120071 119753 119829 119710 119593 119691 119823 119464 119521 119602 119431 119617 119560 119170 119168 119135 119919 119892 119887 119855 119871 119966 120016 120169 120034 120020 119971 120013 119944 119813 119774 119797 119852 119735 119758 119723 119675 119558 119754 119701 119657 119618 119770 119863 119781 119762 119662 119651 119623 119424 119224 119123 119229 119275 119212 119214 119216 119335 119276 120444 120993 121174 120952 120760 120375 120082 119839 119521 119224 119224 119315 119267 120380 120896 121160 120960 120755 120617 120335 120102 119776 119461 119509 119213 119315 119254 120345 120886 121187 120944 120723 120538 119974 119654 119317 119022 118457 118282 117806 118492 118914 118964 118515 118137 117955 117746 117503 117175 116601 111373 110065 107812 108546 109101 110842 112557 112818 113540 113821 113971 113747 113978 114024 113978 113766 113751 114239 114468 114148 114620 114658 114363 114901 115032 114841 114463 115215 115273 115147 115770 115725 115593 117808 117839 120626 120677 120284 119888 119416 119203 118931 119339 121693 122248 122485 122569 122529 122759 123015 123065 123090 125296 125336 125059 125118 125629 125939 125538 126975 127308 127086 126778 128214 128126 128035 127730 128188 128306 127991 129617 129633 129506 129099 129818 129990 129949 131040 131059 131016 130614 130751 131235 131039 130794 132098 132042 131812 131754 131945 132115 131706 132502 132558 132826 132848 132876 133087 133137 133150 133309 133241 132985 133115 133083 133060 133270 133305 132979 132922 132958 132515 132663 132602 132527 132648 132386 132278 132464 132267 132267 132345 132024 132118 132133 131920 132390 132377 132388 132301 132448 132498 132541 132457 132357 132393 132384 132190 132072 132105 132051 132126 132008 132082 132006 131937 131995 131815 131598 131549 131531 131675 131665 131617 131621 131497 131444 131430 131424 131336 130319 130317 130299 130372 130249 130226 130226 130226 130329 131287 131541 132100 132296 131905 131487 131226 130971 130755 130477 130224 130224 130269 130269 131475 132010 132266 131881 131419 131465 131193 130997 130699 130417 130407 130223 130320 130269 131472 132023 132305 131891 131430 131409 131139 130890 130588 130308 130439 128900 129961 127891 128616 128997 129019 128444 127761 127384 127171 126881 126574 126373 119927 117217 115203 115376 115896 115972 117188 117700 117850 117387 116793 117047 117330 117151 116702 116771 116541 116080 116214 116321 116107 115480 115815 115277 114603 114550 114518 114002 114355 115478 116567 115878 115718 114052 113919 113116 112180 112588 114552 114831 114890 114922 114906 115074 115194 115216 115229 117119 117056 116395 116612 116948 117024 116936 118060 118538 117963 117394 118706 118723 118654 118260 118500 118568 118400 119944 119803 119578 119312 119838 119982 119819 121034 121037 121028 120611 120807 120999 120831 120678 121911 121907 121411 121515 121741 121604 121444 121886 122047 122096 122082 122038 122177 122227 122353 122230 122262 121774 121914 121774 121825 121896 121671 121392 121371 121063 120922 121084 120922 120979 121101 120715 120799 120866 120724 120715 120784 120458 120488 120546 120404 120696 120633 120588 120552 120683 120711 120678 120490 120438 120430 120384 120282 120149 120188 120138 120116 120016 120079 120016 119845 119607 119395 119393 119312 119365 119433 119325 119261 119255 119145 119087 119073 118960 118764 117252 117067 117067 116739 116535 116419 116425 116431 116493 117552 117910 117896 117331 116461 116459 116457 116501 116499 117542 117900 117886 117321 116443 116443 116442 116540 116487 117489 117847 117831 117266 116321 115123 114572 113006 112954 113230 113489 113196 112444 111269 103535 101709 98802 97121 97151 97294 98177 98386 98796 98865 98612 98058 98310 98343 97842 97807 97732 97329 97085 97356 97176 96668 96744 96582 95536 95497 95298 95152 94520 95508 96636 96474 95983 95471 94317 93976 92303 92603 94089 94439 94456 94516 94488 94654 94746 94796 94809 96348 96415 96167 96058 97079 97247 96875 97613 97641 97658 97454 98638 98648 98615 98226 98240 99219 99293 99113 100001 99981 99989 99685 99741 99916 100099 100114 100096 100235 100263 100285 100382 100375 100088 100085 100185 99780 99864 99909 99580 99588 99718 99666 99459 99508 99456 99256 99403 99371 99344 99326 99457 99485 99495 99380 99361 99304 99184 99188 99175 98996 99006 98755 98646 98624 98585 98656 98724 98666 98585 98477 98477 98194 97398 97293 97167 97134 96850 96644 96523 96527 96646 96587 97443 97690 97658 97250 96535 96535 96535 96626 97430 97677 97677 97645 97235 96533 96529 96524 96626 97407 97364 97609 97577 97098 96333 94815 94303 92866 93068 93101 92823 92243 91221 91023 83921 80558 76166 76220 76356 76326 76542 76515 76355 76350 76350 76453 76574 76534 76525 76350 76350 76395 76395 76557 76530 76350 76351 76351 76448 76572 76559 76523 76351 74945 74755 74233 74067 74027 73840 73910 73952 73973 74658 74677 74704 80507 85274 98524 99299 100409 103842 103867 103940 104636 104675 104777 105018 105032 104599 104947 104953 104276 104498 104465 104501 105353 105434 104941 105343 105454 104941 104643 105732 106103 106290 106167 106506 107466 107922 107932 108170 108248 108368 109059 109004 110076 109921 110734 110824 110569 109733 111145 111485 111507 113715 113834 114178 114046 113828 114167 114782 114663 115788 115791 116139 116843 116679 118229 118322 118164 117398 119126 119073 120240 121227 121214 120322 120993 121532 121238 120496 121521 121831 121726 121341 121353 122013 121951 121375 121988 121395 122149 122139 122037 123319 123295 122736 123601 123671 123594 123330 123358 123944 123937 123375 124069 123390 124027 123974 123397 124007 124000 134036 134547 137095 137600 137240 137080 135239 135424 134924 133226 133855 134380 134804 138126 139407 139833 155219 156510 157551 157603 157902 156070 155762 154524 154364 152872 153015 153335 153468 153901 154011 154089 166536 167412 168034 167986 167958 168675 169365 169527 169608 178666 179283 178988 177953 179202 181032 181363 181149 180761 181494 188121 190026 190016 189445 187551 187554 193386 193611 193752 192957 192250 193397 193799 194034 192263 192269 197405 197472 197349 196454 197481 198720 198711 198307 198996 204633 204888 204864 203870 203622 204022 204445 203510 202286 202286 207793 207988 207964 206971 206634 206405 206844 206630 204256 204256 205182 206263 206318 206359 206375 210961 212075 212459 212474 212655 213346 213455 213580 216943 216982 216959 216605 217189 217075 216701 216734 219243 220339 220434 219608 218062 218686 218611 217808 218344 217949 217684 217111 218540 218765 219204 218334 218675 218635 218167 217529 217529 218331 218517 218449 216898 217073 216735 215787 215646 217009 217040 216548 216049 216551 220044 220089 220106 219987 220322 220732 221806 221490 221213 221104 221308 221183 221113 221113 220505 220041 220325 220059 219751 219769 219757 219594 219000 219162 218671 218494 218406 218248 218639 216810 217700 217201 216706 216700 216703 218711 218745 218624 218943 219288 218945 218820 218757 218742 218675 218719 217576 217461 217445 217392 215792 216271 214332 214760 214760 214270 214269 214273 214764 214756 214575 215105 212159 210414 207905 207576 207561 207542 207702 207735 207799 207899 209966 211357 219420 216700 219055 219396 219403 219523 220125 220120 220236 220450 220489 220261 220302 220385 219605 219656 219570 220400 220461 220591 220469 220072 220634 220794 220794 220672 220256 220242 220984 221152 221026 220422 220421 221248 221399 221135 220538 220470 221192 221285 221110 220738 220638 223673 220158 222069 223728 232286 229608 229763 232535 232561 232600 233252 233303 233408 233616 233666 233427 233498 233578 232794 232879 232885 233659 233732 233883 233764 233390 233360 234101 234203 234026 234093 233697 234505 234505 234694 234553 233909 233976 234885 234978 235039 234784 234236 234225 234955 235027 234855 234477 234386 237583 234068 235978 237650 246273 245837 243597 246291 246369 246406 247055 247079 247182 247374 247403 247142 247207 247288 246437 246524 246529 247314 247379 247525 247395 247021 246971 247748 247848 247671 247730 247286 248164 248164 248336 248210 247607 247647 248576 248702 248447 248447 247859 248614 248626 248719 248567 248069 248030 248830 247911 249858 251613 259931 257691 260183 260516 260519 260973 261234 261255 261320 261546 261612 261348 261388 261471 260622 260713 260629 261523 261669 261722 261604 261207 261929 261982 262093 261975 261558 261611 262445 262630 262485 261829 261861 262873 262966 263019 262764 262176 262965 262977 263070 262901 262420 265773 262693 262256 263693 264577 269097 269790 278523 277818 276738 282398 282513 282398 283355 283410 283355 283290 283295 283360 282405 282397 282359 279678 279651 279456 279453 280279 280360 280183 280183 279642 280274 280385 280473 280208 279647 279502 280176 279593 280209 280212 279632 280692 280762 280762 280507 279861 280322 280282 279676 280334 280110 279927 281830 281198 280032 280859 280859 280952 280777 280202 280631 280634 280061 280631 280624 280038 280653 280052 280977 280977 281107 280964 280248 280076 280697 280089 280709 280690 280089 282167

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="PolyORBLF-PT-S06J04T06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/srv/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"

# 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/PolyORBLF-PT-S06J04T06.tgz
mv PolyORBLF-PT-S06J04T06 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1668"
echo " Executing tool marcie"
echo " Input is PolyORBLF-PT-S06J04T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150601366"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo -n "BK_START "
date -u +%s%3N
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 ;