fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r06ks-qhx2-140066506201899
Last Updated
Sept. 1, 2014

About the Execution

Execution Summary
Max Memory
Used (MB)
CPU Usage (ms) I/O Wait (ms) Competition Result Execution
Status
- - - DNF timeout

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-1667
Executing tool marcie
Input is SurpriseCSRepetitions-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r06ks-qhx2-140066506201899
=====================================================================


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

BK_START 1400686173527

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: 1311 NrTr: 2300)

net check time: 0m0sec

place and transition orderings generation:0m3sec

init dd package: 0m4sec


before gc: list nodes free: 994335

after gc: idd nodes used:41750, unused:15958250; list nodes free:66922993

before gc: list nodes free: 496587

after gc: idd nodes used:46520, unused:15953480; list nodes free:66901336

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: 0m0sec

6119 10023 11893 11897 11878 12495 12717 12795 12946 12924 12871 12758 12806 12829 12850 12877 12872 13547 15826 14810 14614 14587 13988 14117 14080 16719 17874 16736 16553 15799 15895 15147 15846 15556 15355 17281 16237 17342 16424 16834 17849 17265 16593 18748 17426 16595 16913 18009 17297 16665 16565 17711 17067 16736 18088 17423 16804 16584 17601 17133 16719 16611 17177 16798 16774 17000 17088 16734 16642 17071 16811 16735 16686 16772 16706 16650 16641 17351 23006 22420 22287 21461 21607 20868 20447 19714 19246 19736 18539 18408 18656 18533 18418 18215 19334 19556 19003 18203 17968 17878 19603 21233 20129 19730 18739 21658 21114 19290 19786 18982 20907 20361 19024 20449 20684 20042 20024 19046 18888 19979 19507 19501 19541 19962 19478 19294 18848 19898 19694 19010 19196 18969 19432 19276 18894 19439 19149 19042 19039 18876 18825 21230 20582 20127 19623 19300 19244 19153 21578 21466 24393 23025 21954 21684 21387 20244 20819 23919 23634 22487 21613 20933 20221 20178 20101 23615 22728 21768 21531 20946 20287 20924 24100 22930 22350 21657 21414 20366 20706 20384 23110 22416 21578 21185 20905 20754 20292 20196 22514 21894 21267 21093 20736 20334 20718 22555 22005 21560 21137 20993 20417 20640 20360 21862 21456 21011 21117 20657 20593 20356 20767 21491 21120 20808 20678 20577 20445 20596 21248 20988 20882 20729 20684 20447 20546 20432 20704 20633 20601 20580 20484 20490 20433 20509 21109 29500 30188 30431 28876 29043 26663 28263 27458 26400 26238 26232 25742 25966 25846 25788 25386 25529 25004 24613 24226 22947 23812 23064 22998 22989 23325 23162 23083 23007 22958 22688 24067 22079 21993 21965 21951 22401 22234 22168 22092 22046 21945 21940 21505 22751 24580 24021 23209 22800 22678 22276 21898 21732 21793 21761 26770 27807 27459 30427 29437 28438 28168 27547 26890 26728 26044 24872 33165 30346 29472 28662 29278 28768 27316 26882 26672 26243 26031 25052 33381 32243 31321 30538 30262 29047 29068 28365 26213 26139 26019 32765 31867 31128 30435 30192 29242 29248 28513 27959 26549 26597 32427 31409 30622 30402 29639 29266 29274 28633 28330 26802 27007 29905 31208 30572 29791 29638 29262 28714 28725 28356 27085 26471 29038 30768 30258 29742 29598 29300 28938 28859 28482 27416 26865 27758 30346 29974 29569 29467 29226 28952 28881 28580 27808 27293 27323 29873 29662 29368 29293 28881 28918 28633 28692 28102 27717 27751 29446 29266 29063 29119 28901 28884 28676 28720 28368 28141 28175 28972 28902 28826 28775 28753 28755 28663 28695 28579 28451 28527 28649 39185 40063 43018 43036 42100 41614 41443 41407 39445 37573 39987 41264 37142 43386 42882 42642 42082 42058 41898 38306 38618 40543 40418 36637 42270 41115 41451 41164 40940 40800 37657 37930 39731 39666 34858 40962 39972 40338 40014 39900 39876 37626 37320 39005 38682 34561 39719 39005 39279 38929 38914 38749 36891 36809 38047 37763 34279 38514 37829 38046 37918 37754 37674 36473 36034 37154 36882 34566 37164 36684 36852 36690 36633 36621 35622 35304 36299 35856 34121 35770 35486 35664 35524 35518 35452 34786 34600 35299 34856 33876 34442 34300 34389 34319 34316 34182 33966 33886 34325 33846 33510 33319 38549 37661 37217 36729 36323 35931 35486 35104 35033 32966 32909 32916 32905 32818 41628 44053 38937 48364 47311 46312 46069 45421 44809 44557 43999 41803 39481 38743 49964 49195 50342 49521 47229 48659 48235 45837 46605 45193 45305 43461 42786 41395 44655 44639 40083 39820 51122 50109 49149 48912 48311 47697 46614 46931 44033 41978 41069 40293 38223 49077 48293 47332 47122 46593 46159 45089 45371 42817 40961 40193 39851 37631 47032 46351 45613 45332 44406 44495 43564 43811 41601 39989 39317 38991 37039 44987 44409 43782 43626 42755 42831 42039 42251 40385 39017 38441 38131 36447 42942 42467 41951 41822 41104 41167 40514 40691 39169 38045 37565 37271 35855 40897 40525 40120 40018 39453 39503 38989 39131 38009 37073 36689 36411 35263 38852 38583 38289 38214 37802 37839 37464 37571 36779 36101 35813 35551 36243 36807 36641 36458 36410 36151 36175 35939 36011 35549 35129 34965 34691 35091 34863 34800 34728 34707 34601 34612 34533 34552 34420 34258 34176 33932 34040 33351 40737 40429 36159 47224 46045 44956 45181 44092 43921 43003 43111 40915 38719 38701 53141 51086 48320 47540 49276 48893 45842 45576 46603 46118 44119 41794 41423 39810 38946 38774 38824 38540 38901 38947 39138 36892 36546 48094 47207 46247 46010 44680 44795 43586 43903 41699 39599 39455 39099 38928 35882 46456 45560 44711 44501 43972 43426 43243 42750 40693 38837 38821 37855 38234 37366 44720 44039 43301 43118 42661 42183 42028 41499 39715 38201 38012 37331 37666 36836 43054 42434 41807 41633 41266 40831 40729 40360 38849 37481 37403 37545 37014 38521 41437 40927 40411 40267 39969 39607 39528 39151 37913 36859 36637 36828 36460 37522 39884 39376 38947 38768 38616 38266 38271 38026 37061 36185 36055 36195 35850 37255 38251 37880 37568 37438 37291 37076 37084 36859 36161 35576 36335 35520 35310 36781 36584 36396 36167 36122 36022 35854 35869 35758 35326 34967 35474 34901 34742 35092 35012 34936 34904 34813 34782 34802 34739 34666 34431 34401 34712 34311 34259 34025 36503 43124 50659 49106 48710 47918 47288 47261 47081 47855 44118 48146 48989 50828 47634 45888 47060 42660 50027 48707 49091 48763 48507 48347 46035 46347 49490 48622 48663 47679 46096 46913 44865 48071 47392 47455 47637 46818 45145 45124 45523 48364 47455 45103 46637 45243 46057 42627 46589 46145 45275 44806 44339 44213 44189 44609 47273 44921 44104 45601 44222 41589 42913 44891 44174 43991 43616 43201 43296 43086 43436 41766 43766 43002 44194 41396 41353 42098 37682 42591 42022 42239 41959 41947 41867 40349 40867 42443 41654 40099 41275 40384 40941 39745 40673 40433 40001 40232 39620 39461 39407 39665 41004 38848 39217 39868 39182 39616 38608 38917 38807 38543 38287 38227 38163 38123 38295 38637 38324 37840 38319 37870 37198 37451 36506 36879 36881 36777 36723 36704 36700 36757 36421 36820 36295 36563 36091 35967 36139 35849 35222 34211 39909 39346 38913 38503 38017 37652 37539 37199 35146 35089 35128 35103 35090 35074 35017 35014 34932 34750 34742 34656 44577 41370 49616 48896 47600 48293 46457 45980 45818 46592 47597 47047 45427 47527 45611 45314 42290 45209 39146 49349 48029 48517 48085 47933 47901 44867 45669 46668 47555 47596 46612 45029 44637 47616 44592 48251 47125 46817 46201 45620 45690 45459 45949 43703 44585 45249 46895 44395 43037 42806 45237 41349 45879 45399 44583 44217 43900 43455 43347 43863 44616 42527 43265 44588 43383 43011 40995 43196 37736 44126 43301 43751 43336 43241 43221 41363 41891 42601 43075 41117 42587 41426 41326 43191 41175 42802 42109 41933 41581 41301 41289 41209 41553 39941 40664 41159 42008 40549 39773 39641 41151 38772 40689 40449 40002 39819 39667 39477 39471 39681 40113 38833 39350 40040 39402 38589 38247 39401 36326 38929 38650 38753 38613 38607 38567 37859 38067 38302 38491 37742 38330 37849 37783 38038 37797 37258 37125 37078 36974 36920 36888 36897 36954 36617 36756 36866 37134 36457 36538 36489 37123 36027 35812 35201 41012 40218 39761 39307 38883 38460 38374 37927 37846 35791 35953 35928 35915 35899 35842 35704 35464 35461 35541 35563 35557 35249 35079 47092 44062 46372 42411 54815 53888 52889 52646 51269 51386 50135 50450 48254 46184 46049 45815 46373 61421 61952 61835 60665 59176 57071 56427 57971 57919 56953 54965 54007 52731 53931 54304 51862 51637 48211 48584 48619 48595 48685 48665 48497 48856 49087 49042 49085 48970 48719 48956 49238 49198 49098 48960 48969 49230 49142 48897 49212 49160 49192 44498 44081 59200 58313 57353 57116 55786 55901 54692 55009 52701 50601 50466 50232 50790 50326 49905 46564 51181 56847 55639 54742 54367 54027 53558 53450 52805 50657 48913 48809 50249 48969 48636 48157 45316 54882 53864 53077 52857 52094 51721 51729 51088 50398

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="SurpriseCSRepetitions-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/home/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/SurpriseCSRepetitions-PT-10.tgz
mv SurpriseCSRepetitions-PT-10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool marcie"
echo " Input is SurpriseCSRepetitions-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r06ks-qhx2-140066506201899"
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 ;