fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r24sr-ovh1-140198150601340
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-1668
Executing tool marcie
Input is PolyORBLF-PT-S04J06T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150601340
=====================================================================


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

BK_START 1401987563635

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: 966 NrTr: 5354)

net check time: 0m0sec

place and transition orderings generation:0m45sec

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

966 1392 1567 1567 2427 2431 2437 2437 4164 4176 4182 4182 4186 4186 7649 7676 7688 7688 7692 7692 7696 7696 7696 14383 14383 14383 14383 14424 14424 15033 15708 15708 16440 17807 17821 18481 19128 19517 20097 20495 20946 21619 22071 22547 22638 23365 23970 24644 25033 25423 26196 26645 26972 27790 28362 29021 29193 29254 29386 29446 29927 30484 31232 31232 31706 32154 32612 32924 33683 34108 34478 34705 34961 35256 35359 35563 35732 35683 35881 36055 36044 36054 36340 36917 36964 37299 38071 38764 38908 38889 38907 38948 39300 39716 39658 39579 39328 39160 39096 39376 39846 40135 40399 40902 41149 41273 41317 41256 41246 41103 41089 41095 41095 41545 42063 42293 42441 43215 43898 44204 44023 43801 44154 44368 44074 43804 43595 42993 42993 43493 43882 44090 44265 44965 45666 45761 46039 45972 45755 45586 45773 45647 45378 45378 45930 46388 46562 46876 47798 48213 48267 48439 48328 48084 47937 47385 47139 47139 47657 47929 48141 48399 48718 48879 48841 48703 48542 48405 48327 48699 49163 49243 49412 49714 49805 49856 49745 49596 49358 49358 49497 49683 49862 50043 50043 50218 50393 50393 50572 50747 50917 50917 51094 51267 51863 51863 53546 54098 54782 54782 58176 58286 59315 60866 62443 62798 63189 64351 64734 65162 65567 65996 66091 66603 67837 68091 68757 68777 68860 68988 69964 70810 70829 70898 70900 70898 70910 71944 72926 73307 73979 75708 76849 77586 78039 78169 78187 78385 78855 79104 79134 79096 79070 79360 79598 79600 79889 80138 80855 80887 80849 80823 80823 81135 81355 81611 81771 82579 82654 82619 82619 82619 82886 82853 82912 82964 82926 83577 83541 83541 83572 83533 83956 84321 84930 85207 85109 85260 85345 85598 85676 85752 85925 86043 86643 86705 86673 86634 86624 86875 86977 87096 87221 87256 87872 87963 87865 87855 88077 88105 88075 88167 88255 88849 88911 88833 88794 88772 89044 89127 89066 89157 89398 89653 89679 89565 89569 89504 89767 89861 89830 89883 90212 90286 90282 90178 90127 90105 90347 90487 90668 90830 90845 92322 92196 92154 92138 92114 92120 92259 94297 95804 96450 96669 98657 100401 102162 102499 103555 103773 103924 104033 104056 105252 105424 105455 105571 105634 105894 106949 106980 107198 107273 107544 107629 108115 108465 108549 108599 108702 108881 108872 108815 108759 108841 109077 109280 109348 109715 109884 110489 110770 111010 111130 111037 111166 111318 111427 111482 111298 111407 111419 111566 111793 111591 111403 111460 111423 111502 111371 111253 111160 111125 111017 111190 111318 111468 111550 112604 112912 112893 112887 112869 112872 112878 114115 115005 115416 115877 117348 119051 119328 119429 120229 120320 120410 120594 121043 121103 121151 120888 121590 121685 121740 121491 121733 121939 121896 121632 121506 121265 120852 120953 121574 121492 121505 121307 121396 121379 121137 121424 121564 121635 121565 121275 121230 121102 121124 120688 120525 120312 120429 120413 120493 120601 121892 121712 121629 121609 121577 121562 121565 122427 122849 123313 123644 124049 124964 125159 125221 125222 125427 125411 125503 125573 125459 125467 125652 125648 125601 125534 125524 125452 125235 125011 125039 124992 125094 125085 125027 125089 124988 124977 124862 124916 124891 124830 124546 124386 124856 125102 125457 125643 125832 127278 127443 127502 127502 127502 127511 127638 128660 129342 129744 131438 133192 133332 133804 133908 134159 134448 134408 134474 134148 134429 134738 135104 135124 135480 135452 135341 135040 134730 134793 134672 134586 134260 134303 134073 133828 133552 133392 133529 133537 133628 133720 134826 135139 135087 135112 135075 135078 135084 135939 136259 136544 137549 138758 139260 139280 139640 139526 139819 139785 139428 139292 139289 138999 138687 138161 138084 138197 137874 137502 137082 136809 136577 136732 136993 137300 137463 137999 139182 139099 139168 139140 139140 139152 139782 140073 139906 140505 140824 141351 141491 141502 141163 140853 140364 140370 139679 139207 138440 138263 137727 137485 137591 137554 137595 137707 137958 138813 138711 138728 138699 138687 138696 138864 139457 139683 139994 140187 140326 140266 140067 139841 139705 139345 139075 138952 139221 139154 139152 139150 139914 139991 139845 139848 139797 139797 139800 140511 140541 140543 140005 140005 140267 140284 140284 140475 140952 141248 141655 141365 141029 140666 140683 140750 140803 140876 140974 141092 141226 141316 141524 142046 143376 142334 142574 142574 143101 143329 143804 143514 143178 142814 142852 142944 143002 143068 143068 143150 143240 143338 143444 143461 143538 144010 144924 144010 144255 144800 145063 145265 145916 145042 144857 144506 144552 144589 144634 144756 144833 144833 144918 145011 145013 145042 145369 145369 145369 145641 146204 146500 146907 146617 146281 145913 145946 145984 146084 146146 146224 146224 146310 146404 146506 146509 146513 146872 147527 146872 147152 147893 147993 148194 148845 147971 147432 147441 147489 147529 147633 147705 147785 147785 147873 147969 147971 147972 148305 148305 148305 148608 149199 149495 149902 149612 149276 148911 148949 148990 149039 149096 149161 149242 149331 149428 149533 149533 149536 149536 149676 149862 150041 150222 150222 150397 150572 150751 150751 150926 151096 151273 151273 151446 152038 152023 155519 157221 158210 159949 165755 166862 168757 171008 173892 174506 174878 175275 177707 178097 178530 178951 179293 179739 182430 182599 183970 184234 184356 184331 184561 187896 188709 188849 189160 189130 189178 189239 191316 194021 195520 197279 199567 200197 203220 204396 204936 205247 204758 205094 206650 207051 207307 206799 206619 207682 208657 209283 209776 210106 212119 212580 212636 212083 212181 213163 213987 214673 215286 215616 217607 217917 218045 217600 217698 218723 218791 218585 218299 218274 219937 220041 219907 219877 219927 221420 221810 223237 224213 224728 224898 224364 224225 224719 224860 225538 225444 225587 226609 227194 227480 226979 226957 227960 228131 228396 228637 228780 229941 230608 230747 230463 230140 231098 231243 231431 231002 231078 232213 232824 232927 232267 232229 233189 233405 233647 233202 232968 233262 234380 234623 234419 233611 233532 234658 234947 234833 234157 234033 235142 235626 235457 234629 234462 234379 235409 235930 236560 236819 237444 240147 240050 240122 240008 239871 239920 240063 243446 245333 246423 246597 248598 251673 252940 254063 255281 255580 255575 255919 255975 255976 255860 255664 256754 258541 258100 258850 259239 259213 259233 258888 258445 260849 261270 261722 261954 262279 262256 262140 261942 262484 262800 262853 263564 263858 264120 264201 263979 263696 263668 263106 263849 265075 264425 264945 264897 266090 265763 266695 266831 267225 266931 267261 267323 267266 266976 266788 267654 267670 267149 267255 267548 267610 267335 267165 267623 268041 267981 267128 267134 267230 267274 267000 266695 267088 267325 267208 266767 266399 266320 266382 266154 265911 265404 266336 266384 266905 267252 267460 269875 270874 270642 270786 270578 270599 270668 273432 274668 275169 275755 278007 280311 280451 281235 282215 282154 282319 282592 283741 283657 283795 283578 284790 284564 284950 284917 284778 284971 284772 284924 284585 284012 283695 282917 283111 283961 283858 283840 283948 283929 283915 283797 283489 284003 284151 284068 283272 283209 283141 283408 282683 282030 281632 282531 282662 282403 282254 282334 283808 285080 284573 284557 284399 284313 284351 286188 286735 287089 287244 287561 288665 289170 289361 289049 289300 289404 289493 289609 289407 289306 289687 289557 289601 289202 288889 288696 288190 287640 287606 287430 287516 287521 287552 287723 287256 287160 287490 287375 287279 287187 286601 286366 287623 288527 289742 290909 291393 294469 295645 295512 295827 295821 295920 295999 298027 298810 298541 299926 301185 303356 304041 304467 304699 305573 305521 305684 305803 305803 305870 306224 306193 306817 307078 307038 306924 306579 306342 306335 306323 306188 305923 306148 305437 305243 304729 305659

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-S04J06T10"
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-S04J06T10.tgz
mv PolyORBLF-PT-S04J06T10 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-S04J06T10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150601340"
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 ;