About the Execution of Marcie for S_PolyORBLF-PT-S06J06T08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5188.650 | 3600000.00 | 3600058.00 | 20.00 | [undef] | Time out reached |
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-2265
Executing tool marcie
Input is S_PolyORBLF-PT-S06J06T08, examination is ReachabilityComputeBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r218st-ebro-143344929800478
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-0
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-1
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-10
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-11
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-12
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-13
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-14
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-15
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-2
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-3
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-4
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-5
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-6
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-7
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-8
FORMULA_NAME PolyORBLF-COL-S06J06T08-ReachabilityComputeBounds-9
=== Now, execution of the tool begins
BK_START 1433763681723
Model: S_PolyORBLF-PT-S06J06T08
reachability algorithm:
Saturation-based algorithm
variable ordering algorithm:
Calculated like in [Noa99]
--memory=6 --suppress --rs-algorithm=3 --place-order=5
Marcie rev. 1429:1432M (built: crohr on 2014-10-22)
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 --mcc-file=ReachabilityComputeBounds.xml --memory=6 --suppress --rs-algorithm=3 --place-order=5
parse successfull
net created successfully
(NrP: 894 NrTr: 14334 NrArc: 119772)
net check time: 0m0sec
parse formulas successfull
formulas created successfully
place and transition orderings generation:2m51sec
init dd package: 0m5sec
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: 0m5sec
894 1086 2261 2279 3075 3075 5339 5500 6851 7012 7373 7595 7941 8152 8437 8804 9048 9386 9620 9908 10255 11635 13605 15072 19079 19134 23006 23227 23746 24670 24771 25223 25373 25374 25378 25501 25767 25882 25886 26013 26139 26161 26175 26204 26221 26244 26255 27824 27978 27978 27964 27965 28003 28049 28107 28151 28591 29136 29186 30171 30224 31205 31259 32226 32274 33227 33279 33279 34233 34284 35227 35274 35587 35602 35808 35810 35818 35822 35938 36050 36160 36295 36397 36561 36723 36859 36873 36902 36942 36953 36965 36965 37132 37136 37284 37432 37588 37702 37718 37898 38032 38057 38178 38265 38265 38338 38401 38401 38714 38874 38874 38981 38986 38990 39110 39222 39332 39426 39598 39751 39887 39901 39930 39947 39970 39981 39982 39948 39948 40066 40024 40024 40084 39984 39984 39957 39958 40091 40236 40146 40154 40058 40089 40241 40243 40364 40345 40328 40440 40552 40567 40594 40708 40824 40854 40886 40900 40929 40969 40980 40951 40951 40921 40962 40949 40983 40983 40939 40961 40841 40835 40818 40819 40820 40957 41060 41205 41186 41175 41288 41293 41293 41298 41418 41540 41548 41558 41565 41594 41611 41634 41645 41638 41630 41657 41647 41670 41560 41543 41583 41583 41561 41538 41504 41792 41802 41972 42090 42095 42099 42103 42219 42329 42423 42525 42697 42850 42986 43000 43029 43046 43080 43080 43079 43029 43145 43075 43089 42998 42891 42763 42741 42720 42605 42605 42729 42775 42775 42788 42788 42939 43056 43169 43268 43375 43527 43680 43816 43830 43859 43876 43899 43910 43883 43730 43584 43584 43400 43272 43136 43136 43000 42777 43228 42992 43159 43159 43866 43747 44280 44280 44184 44187 44192 44247 44310 44314 44313 44232 44232 44458 44458 44653 45436 45321 45321 45915 45780 45824 45840 45840 45900 45968 45968 45972 45900 45900 46195 46195 46443 47367 47261 47261 47970 47835 47888 47905 47908 47977 47977 48054 48030 48067 48013 48013 48339 48339 48608 49589 49486 50208 50240 50105 50161 50188 50188 50260 50260 50340 50316 50356 50308 50308 50654 50654 50927 51938 51826 51826 52579 52444 52491 52508 52508 52571 52571 52642 52649 52649 52583 52583 52946 53238 53238 54296 54189 54957 54985 54902 54902 54922 54922 54990 55066 55066 55078 54978 55022 54873 55205 55540 55876 56207 57090 57090 57943 60432 61070 61070 61788 62012 62290 62501 62970 63929 63662 63994 64030 64371 64850 65064 65689 65733 65923 66191 66528 67143 66915 67222 67018 67332 67164 67392 67240 67734 67889 67904 67946 67982 68054 68070 68070 68070 68070 69268 69397 69479 69429 69461 69511 69533 69549 69549 69549 70138 70584 70643 70717 70718 70658 70684 70742 70742 70742 71688 71730 71745 71819 71764 71814 71815 71815 71815 72641 72641 72714 72788 72727 72727 72728 72729 72729 72729 73735 73752 73922 73964 74000 74072 74088 74088 74088 74088 74935 75298 75347 75372 75307 75308 75321 75322 75322 75322 75322 79407 79577 83437 83545 83545 83605 83665 83686 83710 83818 83818 83818 83818 83802 83762 83737 83737 83746 83758 83773 83791 84012 84391 85734 86108 86575 86889 87102 87219 87455 87454 87435 87433 87684 87898 88088 88258 88261 88269 88272 88675 89077 89112 89134 89163 89203 89214 90755 90913 91135 91283 91497 91601 91755 91735 91644 91637 91711 91757 91647 91745 91672 91672 91675 92813 92975 93027 93011 92999 93025 93094 93094 93384 93536 93538 93567 93538 93574 93536 93536 93536 93536 93536 94532 94674 94836 94872 94866 94860 94886 94955 94955 95245 95400 95402 95402 95432 95438 95400 95400 95400 95400 95400 96411 96412 96443 96517 96439 96450 96427 96418 96711 96868 96906 96870 96870 96944 96919 96878 96868 96868 96868 96868 97880 97925 97974 97999 97961 97943 97974 97974 98132 98269 98284 98284 98297 98371 98333 98327 98295 98308 98308 99394 99468 99468 99430 99398 99412 99467 99467 99711 99852 99854 99903 99928 99890 99852 99839 99839 99839 99839 100836 100847 100929 100891 100869 100879 100887 100948 100948 101203 101343 101311 101387 101349 101349 101311 101298 101298 101298 101298 102293 102345 102394 102419 102381 102357 102370 102479 102615 102618 102579 102547 102621 102602 102583 102545 102532 102532 103461 103544 104273 104407 104527 104529 104521 104516 104533 104777 104990 105154 105620 105789 105792 105779 106287 106799 107238 107260 107289 107306 107329 107340 107354 107383 107412 107424 107427 107418 107604 107792 107852 107864 107967 107955 108282 108536 108738 108907 108917 108907 109228 109346 109517 109687 109688 109695 109698 109724 109752 109752 109736 110173 110344 110406 110433 110548 110549 110575 110603 110603 110587 110931 110945 111142 111231 111271 111272 111273 111275 111329 111329 111613 111702 111758 111639 111644 111627 111618 111680 111680 111664 111770 111834 111861 111807 111808 111787 111782 111848 111848 111832 111878 111840 111874 111963 111898 111745 111746 111723 111714 111698 112273 112331 112751 112865 113086 113086 113074 113059 113046 113264 113455 113599 113843 113779 113693 114114 114469 114788 114810 114839 114856 114879 114890 114828 114855 114855 114791 114705 114637 114671 114647 114583 114497 114437 114691 114695 114695 114721 114743 114676 114587 114519 114511 114393 114350 114376 114398 114331 114242 114350 114635 114657 114617 114600 114654 114654 114388 114539 114588 114599 114575 114483 114458 114627 114796 114799 114701 114447 114407 114407 114386 114381 114447 114447 114358 114039 113994 113792 113727 113704 113695 113606 114061 114037 114064 114249 114298 114402 114346 114275 114400 114506 114536 114586 114729 114706 114943 114996 115051 115073 115102 115119 115142 115153 115123 115042 114958 114935 114916 114909 114815 114792 114787 114788 114808 114760 114734 114734 114618 114602 114537 114411 114385 114432 114480 114516 114493 114557 114557 114516 114506 114412 114389 114256 114233 114228 114312 114286 114034 114046 114090 114078 114054 113980 113952 113792 113686 114063 114179 114250 114364 114376 114359 114317 114283 114287 114287 114292 114286 114428 114436 114446 114453 114482 114499 114522 114533 114525 114434 114328 114337 114303 114154 114052 114174 114175 114082 113961 113960 113848 113742 113725 113752 113764 113725 113662 113544 113525 113516 113406 113406 113284 113262 113114 113079 112958 112812 112812 113182 113228 113240 113240 113240 113240 113356 113466 113560 113662 113814 113967 114103 114117 114146 114163 114186 114197 114157 114157 114028 114004 113837 113835 113839 113690 113548 113489 113418 113361 113296 113229 113107 113036 112982 112833 112770 112770 112971 112976 112922 112918 113050 113210 113022 112974 112646 112646 112700 112730 112730 112992 112890 113277 113470 113688 113914 114294 114466 114775 114342 114638 114114 113769 114044 114119 114119 113940 114229 114504 114587 114269 114259 113863 113851 113405 113082 113697 113123 113139 113139 113387 113271 113630 113819 114137 114402 114823 115132 114705 114934 114459 114108 114352 114448 114139 114386 114589 114817 114817 114429 114086 114074 113635 113309 113876 113369 113397 113525 113657 113553 114057 114145 114516 114703 115002 115394 115020 115249 115346 114793 114562 114930 114930 114620 114867 115105 115381 115537 115198 115188 114731 114719 114195 113724 113724 113796 113820 113820 114076 113968 114344 114574 114770 114978 115391 115758 115408 115352 115726 115173 114943 115090 115312 114972 115219 115451 115722 115878 115572 115562 115104 115092 114562 114092 114191 114171 114192 114192 114445 114334 114705 114941 115259 115351 115754 116124 115778 116007 116103 115550 115313 115673 115673 115324 115642 115885 116148 116148 115823 115823 115358 114947 114828 114360 114185 114185 114203 114453 114339 114339 114822 115034 115178 115275 115577 115886 115450 115738 115153 114787 115050 115055 115055 114841 114970 115239 115224 114845 114835 114380 114031 113909 113443 108546 107349 106148 105238 104815 106395 106395 107886 112269 113519 114585 115262 115973 116228 117232 117393 118669 117855 118754 118663 118966 119612 119904 120825 120551 120882 121174 121472 122254 121851 122022 121940 122121 121963 121695 122008 123018 123556 123556 123568 123676 123830 123873 123873 123873 123873 125979 126219 126268 126079 126160 126301 126335 126335 126335 126335 127786 127789 127916 128115 127831 127841 127892 127989 127989 128581 129106 129195 129271 129384 129086 129101 129104 129095 129095 130022 130109 130127 130322 129987 129921 129853 129853 129853 130354 131399 131867 131923 131963 132071 132225 132268 132268 132268 132268 133577 133990 134195 134083 133931 133934 133949 133952 133952 133952 133952 140068 140407 146076 146769 147056 147133 147106 147146 147322 147330 147330 147330 147330 147284 147030 147094 147197 147209 147267 147322 147394 147735 148134 149719 150145 151272 151662 152192 152418 152553 152528 152509 152508 152809 152929 153131 153173 153187 153190 153851 154511 154546 154568 154597 154614 154637 154648 157102 157268 157652 158014 158147 158301 158153 158176 157946 157910 158017 157716 157827 157532 157532 157535 158896 159289 159701 159720 159697 159674 159735 159854 159854 160225 160574 160840 160930 160926 160949 160798 160810 160833 160833 160833 162573 162633 162971 163018 162972 163033 163152 163152 163523 163875 164033 164127 164203 164250 164227 164099 164111 164134 164134 164134 165562 165610 165696 165809 165414 165355 165276 165258 165629 165929 166208 166211 166311 166510 166153 166165 166188 166188 166188 167424 167449 167509 167691 167564 167485 167397 167428 167428 167593 167838 168128 168229 168312 168426 168220 168088 168124 168124 169343 169651 169845 169690 169672 169578 169593 169672 169672 169974 170203 170394 170588 170493 170433 170317 170305 170328 170328 170328 171635 171772 171861 171706 171635 171663 171757 171757 172084 172320 172411 172374 172582 172427 172303 172295 172358 172318 172318 172318 173592 173652 173840 173791 173634 173438 173451 173623 173783 173913 173911 173867 174055 173849 173825 173641 173629 173629 175339 175208 176373 176816 177125 177097 177084 177018 177049 177325 177446 177610 178280 178331 178337 179125 179125 179893 180630 180652 180698 180721 180732 180844 180892 180891 180798 180804 180795 181093 181404 181764 181847 181859 181887 181760 182159 182305 182491 182508 182431 182329 183394 183362 183704 183947 183985 183934 183898 183883 183893 183967 184022 183939 183834 184807 184912 185301 185507 185638 185695 185780 185644 185593 185553 185627 185682 185599 185494 186047 186379 186773 186978 186828 186863 186904 186859 186808 186789 186795 186782 186868 186868 187598 187703 187801 187664 187585 187543 187530 187530 187443 187423 187533 187533 187428 187797 188012 188048 187909 187820 187640 187627 187604 187537 187530 187640 187640 187535 187873 187993 188079 188204 187883 187794 187613 187579 187429 187416 187200 187180 187075 187112 187761 188145 188453 188689 188641 188607 188546 188474 188704 188784 188928 189228 189137 188931 189430 189797 190180 190202 190231 190248 190271 190282 190265 190186 190075 189984 189777 189753 189719 189630 189539 189329 189203 189540 189251 189225 189264 189275 189255 189158 188949 188788 188734 188399 188220 188238 188244 188220 188123 187931 188206 188231 188467 188373 188311 188375 188365 188365 188136 188503 188560 188550 188509 188331 188287 188324 188483 188489 188387 187839 187785 187786 187731 187712 187796 187790 187790 187678 187147 186797 186781 186628 186454 186417 186378 186232 186869 186776 186803 187192 187208 187191 187131 186994 187119 187117 187147 187197 187324 187181 187431 187484 187539 187561 187590 187630 187641 187678 187449 187449 187258 187389 187296 187192 186948 186948 186869 186850 186882 186742 186632 186476 186380 186195 186129 185911 185801 185956 185959 185989 185914 185978 185994 185882 185882 185641 185472 185446 185389 185383 185460 185434 185387 185122 185146 185110 184916 184916 184852 184660 184533 185206 185208 185381 185368 185345 185276 185281 185281 185286 185261 185403 185411 185421 185428 185457 185474 185497 185508 185568 185410 185304 185320 185262 185113 185110 184981 184960 184791 184571 184605 184366 184184 184021 183997 184007 183879 183920 183848 183738 183618 183619 183567 183381 183374 183226 183080 183566 183257 183197 183212 183164 183132 183264 183400 183423 183157 183158 183110 182715 182584 182584 182364 182277 182277 182251 182220 182147 182121 182241 182405 182161 182094 181691 181691 181745 181768 181768 182025 181915 183191 183396 183993 184212 185093 185549 185498 184390 185144 184112 183375 183728 183728 183098 183432 183625 183889 183889 183254 183254 182826 182477 182028 182068 182072 182088 182088 182338 182221 183480 183667 184387 184776 185539 185809 184998 185373 184416 183673 183934 184018 183395 183652 183858 184090 184090 183395 183043 183020 182576 182233 183295 182294 182314 182568 182568 182455 183844 184110 184687 184941 185719 185989 185169 185651 184662 183914 184191 184411 184411 183933 184273 184553 184709 184082 184053 183587 183564 183027 182539 182612 182612 182640 182640 182902 182797 184081 184315 185035 185124 186012 186340 185606 185307 186073 185041 184436 184578 184800 184146 184403 184638 184925 185081 184487 184458 183991 183968 183437 182950 182950 183030 183054 183054 183312 183203 184477 184719 185316 185533 186410 186792 186011 185712 186484 185452 184698 184976 185195 184532 184789 185018 185306 185383 184780 184751 184289 184266 183734 183249 183076 183077 183089 183089 183335 183214 184469 184596 185316 185570 186188 186458 185646 186021 184999 184241 184508 184512 184512 183993 184114 184388 184372 183705 183676 183189 182848 182719 182236 176727 175524 174317 174189 173379 175381 177183 177183 182538 184139 186641 186870 188032 188176 189811 190036 190083 191127 191229 192140 191639 191979 192916 192155 192669 192954 193275 194107 193408 193642 193395 193734 193499 193839 193455 195523 195673 196408 196400 196587 196794 196849 196849 196849 196849 198187 199625 200002 199731 199741 199855 200027 200064 200064 200064 200907 201717 201918 202025 202239 201711 201803 201912 201912 201912 203073 203149 203201 203501 202817 202843 202847 202838 202838 203802 203801 203964 204277 203991 203505 203435 203361 203361 203361 205351 205482 206355 206389 206576 206783 206791 206838 206838 206838 208175 208908 209122 209208 208778 208782 208798 208802 208802 208802 208802 213983 214414 221897 222261 223677 224546 224615 224564 224604 224856 224872 224872 224872 224799 224799 224324 224580 224894 225095 225258 225438 225659 226038 227821 228354 228821 230366 231073 231353 231367 231311 231311 231305 231600 231604 231794 231721 231727 231735 231738 232548 233357 233392 233414 233443 233460 233494 233494 236601 237346 237881 237844 237786 237502 237210 237117 237139 237234 236789 236900 236490 236490 236493 238713 239192 239344 239292 239208 239300 239431 239431 239809 240256 240899 240916 241219 241261 240969 241013 241031 241070 241070 242695 243263 243793 243872 243882 243788 243880 244011 244011 244389 244836 245449 245757 245880 245841 245549 245593 245650 245650 245650 247369 247433 247477 247798 246936 246873 246927 246792 246774 247593 247986 248295 248661 249009 248696 248306 248350 248407 248407 248407 249879 249973 250039 250262 249871 249658 249689 249689 249854 250091 250665 250668 250947 251263 250851 250851 250606 250664 250664 252473 252613 252688 252524 252329 252344 252423 252423 252725 252910 253361 253501 253662 253418 253227 253216 253257 253257 253257 254687 254764 255096 254873 254844 254750 254783 254880 254880 255214 255415 255572 255907 255746 255663 255458 255460 255509 255509 255509 257011 257120 257123 257423 257032 256664 256677 256677 256849 257326 257275 257299 257626 257517 257214 256836 256825 256825 258529 258679 260113 260781 261194 261153 261138 260996 261032 261339 261348 261525 262013 261949 261955 261942 262927 263706 264657 264679 264708 264725 264748 264759 264917 264963 264947 264668 264674 264665 265429 265707 265835 265804 265762 265425 265762 265763 265919 265870 265751 265643 265433 266783 267139 267274 267560 267546 267516 267349 267360 267477 267549 267520 267406 267193 268632 269032 269152 269319 269467 269673 269657 269524 269443 269417 269534 269577 269463 269250 270437 270786 271002 271248 271078 271218 271251 271363 271127 271044 271039 271158 271158 271652 272132 272425 272261 272121 272420 272089 272040 271865 271836 271956 271956 271843 272628 272395 272712 272575 272411 272034 272007 271985 271820 271801 271915 271915 271790 272336 272490 272516 272869 272518 272420 272431 272121 271714 271625 271198 271198 271154 271021 271511 271829 271827 272220 272459 272297 272280 272215 272076 272288 272285 272417 272511 272401 272595 272595 272712 273062 273084 273130 273153 273164 273249 273188 272866 272772 272508 272589 272537 272408 272314 272044 271753 271774 271657 271551 271577 271583 271677 271656 271644 271629 271533 271454 271305 270977 271061 270636 270127 269798 269790 269730 269881 269982 269845 269830 269734 269655 269506 269211 269507 269549 269696 269592 269475 269539 269600 269715 269615 269632 269605 269553 269553 269347 269784 269892 269856 269576 269576 269527 269493 269571 269574 269472 268886 268836 268839 268745 268733 268810 268885 268906 268879 268766 268816 268710 268570 268570 268079 267696 267486 267477 267215 267150 267090 266901 266901 266891 266868 266742 266484 266965 267048 267196 267416 267430 267407 267228 267340 267340 267347 267186 267436 267444 267499 267506 267535 267552 267575 267586 267646 267496 267484 267377 267393 267329 267326 267176 267217 266967 266913 266945 266748 266732 266601 266239 266307 265976 265910 265635 265615 265484 265689 265703 265732 265597 265639 265633 265638 265566 265563 265441 265262 265245 265168 265162 265239 265237 265211 264577 264617 264623 264292 264200 264057 264670 264784 264882 264995 264938 264823 264883 264883 264893 264927 264927 264749 264693 264466 264364 264219 263959 263719 263516 263521 263510 263337 263205 263222 263144 262930 263329 262976 262866 262888 262774 262691 262811 262914 262937 262621 262619 262538 262094 262017 261927 261677 261583 261583 261200 261158 261085 261048 261164 261331 261081 260992 260561 260561 260572 260572 260568 260762 260643 262766 262929 263945 264141 265435 265654 264491 263810 264897 263669 262724 262922 262922 262129 262388 262645 262728 261833 261795 261363 261023 260548 260533 260530 260527 260527 260716 260601 262729 262904 264003 264154 265447 265669 264504 264835 264916 263688 262737 262938 262938 262152 262358 262620 262677 261722 261684 261305 260986 260512 260512 260512 260512 260512 260692 260586 262717 262884 263890 264107 265368 265485 265569 263776 264874 263646 262540 262815 263035 263035 262248 262568 262828 262984 262984 262030 261560 261537 261121 261007 260511 260511 260511 260511 260685 260582 262713 262879 263916 264100 265358 265454 265538 263769 264826 263635 262533 262804 263026 263026 262209 262371 262745 262942 262942 262021 262021 261527 261109 260998 260503 260498 260498 260493 260670 260558 260558 262778 263196 264034 264350 265434 265518 264302 264813 263629 262517 262789 263008 263008 262182 262498 262725 262839 261947 261909 261443 261420 260885 260392 260029 259572 259314 259314 258722 258615 260305 260305 261396 261299 262566 262457 262406 260559 261348 260120 259004 259278 259154 258176 258411 258326 258589 258425 257469 257431 256963 256940 256484 255993 246989 244738 242304 239907 239049 239588 239539 241322 246650 246650 248283 251330 251459 252807 253220 255013 255848 254842 255991 255859 256824 256339 256567 257477 256924 257093 257362 257683 258538 257707 258002 257771 258085 257774 258114 257937 259802 260658 260659 260609 260793 260943 260971 260968 260965 260962 262039 263409 263852 263529 263658 263750 263820 263855 263855 263855 264408 265139 265344 265476 265660 265086 265177 265248 265248 265245 266280 266397 266428 266813 265901 265909 265913 265904 265904 266628 266581 266793 267196 266834 266170 266090 266014 266011 266008 267846 267872 268717 268709 268893 269043 269051 269071 269065 269062 270138 270626 270866 270979 270452 270445 270410 270411 270408 270405 270402 273973 274339 282749 285504 285491 286883 286952 286901 286941 287213 287229 287229 287229 287135 286803 286455 286889 287229 287185 286971 286777 286998 287377 289256 289659 290126 291784 292492 292787 292787 292723 292723 292717 292956 292933 293091 293027 293033 293041 293044 293891 294737 294772 294794 294823 294863 294874 297447 297915 298541 299129 299102 299030 298590 298402 298225 298250 298387 297999 298109 297788 297788 297791 300110 300663 300778 300735 300609 300710 300841 300841 301219 301718 302590 302656 303074 303150 302755 302827 302895 302895 302895 304578 305187 305728 305842 305793 305716 305817 305948 305948 306326 306825 307667 308139 308198 308257 307862 307934 308002 308002 308002 309840 309952 309997 310408 309288 309225 309144 309126 309493 309993 310498 310957 311491 311950 311534 311034 311106 311174 311174 311174 312712 312834 312909 313210 312728 312371 312400 312400 312565 312814 313474 313488 313819 314255 313730 313644 313388 313454 313454 315289 315606 315546 315360 315119 315134 315213 315213 315515 315700 316260 316410 316610 316342 316106 316095 316136 316136 316136 317582 317659 318044 317798 317758 317649 317672 317769 317769 318103 318304 318501 318895 318627 318627 318383 318390 318442 318442 318442 320010 320159 320162 320549 320067 319569 319578 319578 319750 320293 320242 320306 320753 320395 320228 319737 319726 319726 321572 321651 323138 323826 324255 324194 324189 324020 324056 324344 324308 324472 324598 324554 324560 324547 325647 326317 327397 327419 327448 327465 327488 327499 327628 327645 327600 327231 327234 327225 327817 327960 328002 328066 328052 327543 327729 327677 327661 327777 327593 327220 327220 328602 328916 329199 329489 329485 329475 329281 329298 329445 329517 329465 329086 329086 330568 330935 331338 331254 331401 331753 331788 331621 331512 331491 331638 331658 331532 331279 332475 332957 333069 333371 333176 333439 333571 333710 333467 333362 333373 333512 333512 334410 334515 334827 334678 334530 334519 334497 334434 334201 334172 334292 334292 334179 335056 334759 335097 334954 334774 334295 334228 334255 334054 334034 334141 334141 334016 334626 334784 334830 335252 334941 334835 334887 334524 334071 333955 333369 333359 333313 333168 333476 333776 333774 334164 334426 334240 334217 334057 334231 334343 334343 334233 334381 334381 334389 334698 334705 334751 334774 334785 334816 334805 334655 334643 334496 334523 334512 334448 334445 334295 333929 333889 333752 333574 333589 333595 333739 333730 333700 333650 333555 333381 333200 332778 332805 332319 331786 331377 331358 331238 331507 331854 331515 331418 331323 331149 330968 330576 330900 330957 331000 330900 330729 330793 330863 331149 330993 330999 330919 330876 330876 330649 331052 331171 330865 330816 330894 330894 330789 330679 330286 330236 330112 330098 330175 330250 330304 330296 330234 330125 330001 330001 329859 329462 329318 329023 328811 328535 328435 328399 328432 328162 328154 327983 327833 327472 327472 328039 328066 328466 328404 328199 328290 328244 328076 328326 328381 328410 328433 328444 328200 328267 328121 328153 327930 328016 327991 327980 327946 327712 327712 327312 327019 326953 326652 326734 326843 326706 326695 326661 326427 326642 326745 326701 326535 326577 326565 326655 326684 326672 326649 326495 326478 326391 326398 326475 326473 326494 326471 326421 326309 325961 325630 325666 325309 325193 325046 325046 325765 325767 326002 325923 325797 325681 325808 325818 325841 325852 325807 325641 325570 325324 325310 325029 324964 324764 324505 324487 324277 324266 324269 324086 323965 323885 323671 323642 323642 323490 323393 323422 323355 323355 323284 323398 323501 323524 323189 323100 322839 322640 322467 322218 322210 322120 321899 321493 321443 321370 321325 321439 321603 321260 320993 320826 321662 320841 320841 323099 321013 320911 323453 323549 324779 325211 326160 326258 325094 324917 325005 323977 323028 323229 323229 322281 322596 322789 323030 323030 322109 322071 321639 321299 321189 320841 320824 320824 320822 321016 320900 322573 323513 324610 324869 326177 326335 326298 323955 325049 324021 322919 323270 323270 322476 322646 322918 323004 322023 321985 321629 321287 321163 320812 320812 320812 320812 320988 320884 323337 323504 324602 324819 326113 326232 326195 324818 324961 323976 322869 323144 323364 323364 322572 322736 323111 323308 323308 322328 322328 321835 321419 321307 320811 320811 320811 320811 320995 320887 320887 323435 323923 324780 325119 326208 326171 325082 324963 323972 322869 323123 323362 323362 322540 322702 322957 323273 323273 322326 322326 321832 321414 321298 320803 320803 320803 320803 320993 320882 320882 323433 324636 324832 325132 326217 326180 323918 325023 323995 322882 323154 323373 323373 322542 322858 323122 323199 322281 322243 321777 321754 321220 320727 320364 319122 318389 318389 316396 316282 317920 317920 319086 318982 320204 319633 318466 317289 317789 316761 315794 315794 315794 314811 315124 315060 315053 315053 313945 313945 313350 313009 312766 312275 297325 293309 289065 286832 284585 286325 287896 287896 292599 294043 297044 297273 298533 298679 300528 300642 300518 301291 301395 301859 301567 301907 302407 301943 302306 302628 302883 303452 302999 303156 302915 303183 302838 303097 302841 304588 304257 304762 304587 304706 304759 304684 304675 304669 304666 305249 306316 306730 306515 306330 306438 306576 306602 306602 306602 306602 307505 307729 307945 308198 307428 307519 307583 307583 307580 308514 308492 308674 309113 308066 308079 308064 308068 308059 307882 308534 308780 309241 309111 308093 308013 307935 307929 307926 308249 308892 309385 309252 309255 309371 309424 309349 309340 309334 309731 310284 309892 310264 309686 309677 309614 309611 309602 309596 309593 311301 311366 311516 320009 323138 324693 324762 324711 324751 325023 325039 325039 325039 324799 324908 323960 324430 324586 323857 322651 321843 321953 322443 322778 324627 325094 326737 327405 327701 327701 327633 327633 327627 327745 327733 327807 327787 327790 327798 327801 328587 329372 329407 329429 329458 329475 329498 329509 332205 332575 332718 333124 333095 332565 332516 332433 332277 332391 332278 332387 332279 332279 332282 334597 335079 335150 335236 335045 335146 335277 335277 335655 336166 337059 337083 337607 337683 337262 337272 337342 337410 337410 337410 339698 340239 340308 340367 340176 340277 340408 340408 340786 341297 342184 342646 342696 342814 342393 342473 342541 342541 342541 344396 344399 344590 345059 343827 343837 343764 343683 343665 344030 344542 345551 346125 346246 346511 345642 345722 345790 345790 345790 347334 347453 347456 347874 347347 346931 346962 346895 347060 347309 347725 347983 348320 348767 348385 348217 347883 347949 347949 349784 349934 350122 349854 349614 349629 349708 349708 350010 350195 350783 350755 351093 350824 350601 350588 350662 350631 350631 350631 352154 352560 352292 352292 352130 352163 352260 352260 352594 352795 352992 353374 353313 353105 352878 352885 352937 352937 352937 354511 354618 354663 355092 354565 354498 354048 353989 354161 354282 354653 354723 354803 355185 354635 354148 354137 354137 354180 355957 357334 357991 358376 358305 358073 358109 358341 358473 358473 358479 358466 359591 360166 361278 361285 361314 361331 361354 361365 361413 361402 361387 361251 361242 361230 361598 361700 361692 361769 361229 361280 361242 361116 360851 361679 362012 362298 362552 362917 363464 362947 362770 362798 362937 362932 362806 362541 363490 363816 364155 364541 364429 364592 365017 365095 364954 364835 364845 364974 364969 364843 364578 365627 366081 366181 366465 366259 366518 366650 366541 366460 366412 366446 366574 366574 367436 367534 367829 367698 367549 367509 367442 367452 367223 367194 367312 367312 367199 367744 367903 368051 367920 367740 367271 367204 367220 367028 367008 367109 367109 366984 367549 367912 367738 368123 367854 367748 367453 367388 367026 366885 366313 366257 366112 366112 366426 366712 367096 366962 367370 367142 366987 367078 367126 366744 367184 367493 367522 367539 367562 367573 367588 367130 367023 366813 366822 366699 366977 367379 366953 366879 366793 366606 366431 365977 365473 365437 364979 364549 364524 364396 364669 365118 364692 364571 364485 364298 364118 363692 364004 364106 364133 364015 363850 363914 363989 364290 364134 364165 364045 364002 364002 364154 364167 364258 363995 363948 364026 364026 363921 363806 363414 363358 363249 363238 363315 363390 363436 363452 363370 363261 363137 363137 362998 362563 362506 362213 362001 361736 361646 361622 361691 361422 361433 361219 361069 360694 360725 361241 361268 361633 361583 361388 361405 361450 361306 361536 361591 361620 361643 361654 361387 361424 361307 361329 361127 361236 361225 361191 361145 360900 360716 360490 360216 360150 359871 359983 360265 360019 359938 359892 359647 359853 359936 359880 359740 359772 359760 359919 359899 359910 359844 359676 359659 359584 359591 359663 359661 359701 359657 359607 359495 359200 358892 358907 358594 358501 358362 358362 359052 359054 359263 359225 359104 359108 359227 359237 359260 359271 359056 359085 358990 358755 358750 358729 358720 358588 358443 358191 357943 357934 357910 357934 357901 357671 357646 357655 357505 357366 357311 357311 357125 357132 357114 357091 357616 356971 356876 356901 356834 356767 356877 356980 357003 356871 356691 356610 356596 356163 356086 355998 355980 355708 355644 355644 354864 354806 354733 354680 354790 354941 354701 354621 354210 354210 354224 354224 354224 354412 354302 356543 356706 357537 357733 358640 358804 358777 356245 356979 356438 355698 356038 356038 355392 355626 355896 356137 356137 355450 355450 355022 354682 354224 354224 354214 354218 354218 354432 354315 356564 356742 357662 357807 358742 358853 358039 356984 357050 356518 356031 356115 355476 355721 355828 356147 356147 355400 355048 355025 354581 354238 355031 354238 354238 354319 354432 354319 356660 356739 357695 358024 358785 358758 357997 356979 356481 355730 355997 356217 356217 355723 356043 356271 356459 356459 355751 355285 355262 354725 354237 354237 354237 354237 354237 354415 354310 356554 356760 357569 357753 358691 358749 357985 356265 357006 356465 355718 355981 356203 355533 355762 355997 356256 356412 355775 355737 355270 355247 354829 354716 354229 354229 354229 354229 354415 354306 356547 356708 357574 357767 358673 358759 358732 356279 357030 356489 355732 355996 356215 355536 355769 355998 356262 356339 355693 355655 355193 355170 354638 354153 353790 351593 350273 350273 346523
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_PolyORBLF-PT-S06J06T08"
export BK_EXAMINATION="ReachabilityComputeBounds"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/users/gast00/fkordon/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_PolyORBLF-PT-S06J06T08.tgz
mv S_PolyORBLF-PT-S06J06T08 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2265"
echo " Executing tool marcie"
echo " Input is S_PolyORBLF-PT-S06J06T08, examination is ReachabilityComputeBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r218st-ebro-143344929800478"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityComputeBounds" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityComputeBounds" != "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 "ReachabilityComputeBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityComputeBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityComputeBounds.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 '
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 ;