About the Execution of Marcie for BridgeAndVehicles-PT-V20P20N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9393.930 | 3600000.00 | 3599970.00 | 49.90 | [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-2270
Executing tool marcie
Input is BridgeAndVehicles-PT-V20P20N20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190su-smll-143330904700340
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-CTLCardinality-9
=== Now, execution of the tool begins
BK_START 1433586397043
Model: BridgeAndVehicles-PT-V20P20N20
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=CTLCardinality.xml --memory=6 --suppress --rs-algorithm=3 --place-order=5
parse successfull
net created successfully
(NrP: 78 NrTr: 968 NrArc: 7350)
net check time: 0m0sec
parse formulas successfull
formulas created successfully
place and transition orderings generation:0m0sec
init dd package: 0m3sec
RS generation: 13m55sec
-> reachability set: #nodes 2128337 (2.1e+06) #states 9,783,606 (6)
starting MCC model checker
--------------------------
checking: AG [~ [EX [CAPACITE<=ATTENTE_B]]]
normalized: ~ [E [true U EX [CAPACITE<=ATTENTE_B]]]
abstracting: (CAPACITE<=ATTENTE_B) states: 440,503 (5)
.
before gc: list nodes free: 1374017
after gc: idd nodes used:2822698, unused:61177302; list nodes free:334437349
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
231 2935 5441 7988 9535 12140 14735 17302 19823 22280 24655 26930 29087 31108 32975 34670 36175 37472 38549 39394 39989 44650 44842 45175 45427 45703 46003 46327 46675 47047 47443 47665 47685 47710 47724 47755 47790 47829 47871 47895 47944 47997 48025 48084 48146 48180 48249 48285 48359 48399 48480 48522 48608 48654 48700 48794 48802 49289 49293 49298 49303 49308 49313 49315 49320 49325 49353 49333 49338 49340 49345 49381 49353 49358 49360 49402 49368 49373 49375 49423 49383 49388 92188 92402 92543 92702 92831 92945 93023 93143 93254 93323 93494 97845 102129 108635 116063 124253 133045 142279 151795 161433 171033 180435 189479 198005 205853 212863 218875 223729 227265 229323 357691 520938 521451 522192 523161 524358 525783 528348 530343 532566 535017 535096 535111 535146 535179 535210 535239 535253 535279 535303 535336 535335 535354 535363 535379 535408 535399 535410 535415 535441 535426 535431 535433 535456 535648 535738 535769 535796 535836 535828 535845 535858 535867 535871 535874 535908 535870 535863 535859 535846 535876 535818 535795 535783 535810 535737 535721 535684 535729 535684 559957 558946 558328 557781 557438 557191 557044 556963 556906 556942 556543 557527 557787 558007 558187 558327 558427 558307 558107 558267 558427 558327 558187 558007 557787 557527 557227 556887 553505 562630 562231 561604 560749 559666 558355 556816 555049 553054 550831 550885 550971 550996 551017 551034 551047 551052 551059 551062 551084 551059 551052 551047 551034 551048 551007 550984 550971 550979 550926 550891 550872 550874 546817 549103 549846 550273 550703 550957 551103 551209 551263 551871 552422 551909 551909 551909 551909 551909 551909 551909 551909 551909 551909 551909 551909 551909 551909 552251 557489 572704 572326 571732 570922 569896 568654 567196 565522 563632 562642 562732 562766 562798 562834 562842 562869 562894 562917 562928 562948 562978 562974 562989 562996 563008 563034 563022 563029 563032 563055 563037 563038 571079 571079 571079 571079 571079 571079 571079 570773 571349 571349 571349 571349 572645 572735 572789 572807 571349 571349 571349 571349 571349 571349 571349 571349 583781 583526 583067 582404 581537 580466 579191 577712 576029 575145 575230 575262 575292 575320 575346 575378 575381 575402 575421 575430 575446 575473 575466 575477 575482 575490 575513 575498 575500 575502 582246 582246 582246 582246 582246 582246 582246 582484 583198 583368 583504 583606 583674 583708 583708 583674 583606 583504 583368 583198 582994 582756 584196 593001 592665 592137 591417 590505 588777 587385 585801 585849 585913 585943 585971 585997 586021 586051 586072 586072 586089 586097 586111 586136 586147 586137 586141 586147 586168 586152 586153 591748 591748 591748 591748 591748 591748 591956 592580 592724 592836 592916 592964 592980 592964 592916 592836 591956 591956 591956 591956 600931 600706 600301 599716 598951 598006 596881 595576 594886 594961 594989 595015 595039 595068 595071 595090 595107 595115 595129 595141 595164 595155 595162 595165 595185 595170 599126 599756 599756 599756 599756 599756 599936 600476 600596 600686 600746 600776 600776 600746 600686 600596 599936 599936 599936 607445 607235 606857 606311 605597 604715 603665 602447 602489 602558 602583 602606 602627 602637 602655 602671 602695 602691 602702 602711 602715 602735 602740 602726 602727 606432 606432 606432 606432 606250 606586 606586 606586 606586 606586 606586 606586 606586 607048 606922 606768 607704 612714 612441 612012 611427 610686 609789 608736 608775 608839 608862 608883 608902 608911 608927 608941 608963 608958 608967 608971 608977 608995 608997 611812 611929 611929 611929 611773 612059 612059 612059 612059 612059 612059 612059 612059 612059 612215 613007 617044 616792 616396 615856 615172 614344 613900 613960 613982 614002 614026 614028 614043 614056 614067 614072 614080 614098 614088 614091 614092 616391 616391 616391 616259 616535 616739 616919 616931 616919 616883 616823 616739 616631 617291 620486 620255 619892 619397 618770 618011 618044 618098 618117 618134 618149 618162 618168 618178 618186 618203 618194 618197 618198 619953 619953 619953 620041 620305 620041 620041 620041 620041 620041 620041 620041 623226 623076 622806 622416 621906 621276 621306 621355 621372 621387 621400 621411 621416 621424 621430 621445 621435 622681 622741 622741 622811 623021 623051 623061 623051 623021 622971 622901 623333 625201 624877 624526 624067 623815 623860 623880 623895 623896 623907 623916 623923 623926 623930 623932 624872 624872 624800 624926 624926 625106 625088 625052 624998 625334 626699 626531 626267 625907 625707 625747 625761 625773 625783 625798 625794 625799 625802 625803 626454 626398 626494 626494 626494 626494 626494 626494 627801 627696 627381 627066 627087 627115 627127 627137 627145 627151 627163 627166 627586 627586 627614 627698 627698 627614 627614 628507 628417 628255 628021 628039 628068 628077 628084 628087 628091 628093 628358 628328 628376 628424 628406 628526 628916 628811 628646 628661 628685 628692 628697 628699 628701 628851 628861 628891 628881 628953 629166 629082 629030 629050 629056 629060 629062 629137 629141 629153 629189 629284 629221 629230 629244 629247 629279 629279 629297 629324 629310 629320 629326 629331 629331 629323 629339 629336 629328 629323 629323 629323 629323 629323 629476 629478 629323 629323 629323 629323 629466 629323 629323 629323 629436 629323 629323 629323 629388 629323 629326 625679 625759 625666 625611 625565 625529 625503 625483 625471 625585 625853 625553 625553 625553 625553 625553 625553 625553 625553 625553 625553 625553 625553 625553 625553 625571 625052 628401 628054 627577 627016 626419 625834 625309 624892 624631 624606 624574 624567 624558 624665 624547 624547 624547 624547 624547 624547 624689 624547 624547 624547 624547 624665 624547 624547 624547 624626 624547 624547 624590 620126 619990 619912 619852 619822 619800 619786 619780 619846 620104 619852 619852 619852 619852 619852 619852 619852 619852 619996 619982 619936 619897 619868 619518 621964 621659 621248 620777 620294 619847 619484 619253 619230 619202 619195 619186 619175 619281 619162 619162 619162 619162 619162 619162 619287 619162 619162 619162 619263 619162 619162 619162 619221 619162 617842 615314 615214 615166 615134 615116 615106 614971 615153 615153 615153 615153 615153 615153 615153 615153 615153 615153 615153 615167 614861 616496 616233 615888 615507 615138 614829 614628 614607 614583 614576 614567 614646 614550 614536 614528 614528 614528 614528 614644 614528 614528 614528 614528 614612 614528 614528 614528 614567 611516 611264 611204 611162 611144 611132 611160 611327 611342 611342 611330 611309 611282 611252 611222 611195 611174 610912 611928 611707 611428 611137 610783 610672 610704 610672 610665 610656 610645 610632 610715 610609 610600 610600 610600 610600 610697 610600 610600 610600 610600 610653 610600 610600 607955 607881 607845 607831 607750 607840 607840 607840 607840 607840 607840 607840 607840 607840 608262 608114 607913 607604 607463 607446 607465 607427 607419 607409 607397 607383 607367 607358 607339 607434 607339 607339 607339 607339 607402 607339 607339 607339 605254 605192 605162 605150 605154 605217 605214 605204 605190 605175 605162 604988 605181 605034 604899 604824 604824 604821 604817 604808 604797 604784 604769 604821 604743 604723 604712 604712 604712 604771 604712 604712 604712 603158 603110 603084 603047 603077 603077 603077 603077 603077 603065 602977 602848 602835 602846 602824 602816 602806 602794 602780 602772 602755 602736 602774 602704 602692 602692 602692 602723 601656 601614 601596 601576 601588 601592 601506 601486 601433 601422 601418 601425 601419 601397 601385 601371 601355 601346 601327 601306 601321 601271 601258 601258 600699 600683 600670 600672 600610 600582 600580 600577 600569 600559 600553 600540 600525 600508 600598 600479 600457 600445 600420 600542 600393 600393 600393 600393 600506 600393 600393 600476 600393 600393 600396 600083 599099 598887 598732 598552 598424 598304 598220 598139 598040 598200 598232 598253 598260 598260 598248 598233 598208 598184 598152 598125 598092 598068 598040 598025 596853 597517 597347 597116 596846 596429 596168 595952 595805 595765 595782 595790 595751 595751 595751 595751 595751 595751 595751 595846 595751 595751 595751 595751 595878 595751 595751 595751 595845 595830 595751 595751 595794 592433 592375 592325 592293 592255 592235 592225 592055 592153 592279 592297 592303 592303 592293 592153 592153 592153 592153 592153 592153 592153 592981 592874 592712 592517 592313 592124 591974 591887 591887 591884 591876 591866 591854 591840 591832 591815 591796 591858 591764 591740 591727 591700 591782 591671 591671 591671 591746 591671 591671 591671 588916 588862 588820 588796 588772 588766 588718 588793 588798 588798 588790 588781 588766 588754 588738 588729 588586 589009 588842 588707 588581 588488 588460 588452 588476 588452 588452 588452 588452 588452 588452 588452 588511 588516 588452 588452 588452 588531 588536 588452 588452 588452 588491 586712 586664 586640 586616 586598 586536 586568 586568 586568 586568 586568 586568 586568 586648 586550 586469 586403 586382 586376 586388 586365 586355 586343 586329 586313 586304 586285 586311 586292 586229 586203 586189 586223 586196 586129 586129 586129 584800 584770 584752 584736 584707 584719 584719 584724 584641 584632 584588 584555 584555 584555 584555 584555 584555 584555 584555 584574 584555 584555 584555 584555 584555 584584 584555 584555 584555 584590 584152 584140 584134 584128 584124 584096 584077 584070 584058 584051 584042 584031 584073 584011 583995 583977 583967 583946 584013 583995 583885 583857 583842 583929 583795 583778 583778 583877 583778 583778 583778 583823 583778 583266 583034 582863 582744 582628 582512 582402 582300 582237 582327 582347 582357 582363 582361 582351 582342 582327 582306 582291 582272 582249 582237 582223 581133 581185 581080 580931 580751 580481 580331 580202 580103 580103 580103 580103 580103 580103 580103 580147 580152 580103 580103 580103 580103 580172 580177 580103 580103 580103 580192 580103 580103 580103 580165 580103 580103 577877 577845 577821 577805 577781 577771 577679 577731 577731 577731 577731 577731 577731 577731 577731 577731 577731 577731 578073 578013 577918 577801 577639 577570 577537 577546 577531 577531 577531 577531 577531 577531 577531 577531 577578 577531 577531 577531 577531 577594 577531 577531 577531 577606 577531 577531 577531 575971 575941 575923 575905 575895 575848 575872 575872 575872 575872 575872 575880 575786 575893 575840 575774 575729 575706 575702 575695 575703 575695 575669 575655 575639 575630 575611 575590 575605 575555 575529 575515 575486 575505 575439 575422 575387 575426 574293 574269 574253 574245 574235 574226 574232 574230 574166 574134 574113 574092 574084 574084 574084 574084 574084 574128 574084 574084 574084 574084 574084 574153 574084 574084 574084 574084 574173 574084 574084 574183 574167 574084 574084 574129 574084 574288 574093 573954 573829 573727 573625 573525 573370 573406 573406 573406 573406 573406 573406 573406 573406 573406 573406 573406 573406 573406 573406 572261 572201 572106 571989 571803 571665 571584 571491 571491 571491 571491 571491 571491 571491 571491 571530 571491 571491 571491 571491 571491 571550 571491 571491 571491 571562 571491 571491 571491 571553 571491 571491 569747 569723 569703 569691 569677 569667 569643 569679 569683 569683 569679 569671 569667 569661 569653 569553 569740 569687 569621 569555 569465 569473 569465 569458 569449 569438 569425 569436 569402 569384 569364 569353 569330 569346 569292 569264 569249 569218 569238 569168 569150 569113 569154 567892 567868 567852 567840 567828 567808 567816 567816 567816 567816 567751 567725 567698 567670 567664 567664 567664 567664 567695 567699 567664 567664 567664 567664 567664 567719 567664 567664 567664 567664 567735 567664 567664 567743 567664 567664 567664 567709 567664 568190 568006 567868 567776 567644 567546 567476 567375 567397 567397 567397 567397 567397 567397 567397 567447 567441 567433 567423 567411 566495 566180 566117 566034 565944 565830 565761 565680 565639 565635 565635 565635 565635 565658 565661 565635 565635 565635 565635 565635 565676 565635 565635 565635 565685 565688 565635 565635 565694 565635 565635 565635 564420 564402 564388 564380 564368 564362 564347 564368 564367 564367 564365 564361 564347 564376 564346 564305 564266 564215 564215 564215 564215 564215 564215 564215 564215 564234 564215 564215 564215 564215 564215 564244 564215 564215 564215 564250 564215 564215 564215 564256 563650 563640 563632 563626 563622 563616 563582 563557 563538 563547 563544 563521 563511 563499 563485 563469 563460 563441 563467 563409 563385 563359 563345 563379 563301 563269 563252 563292 563199 563161 563141 563206 563141 563144 563376 563195 563066 562937 562851 562765 562679 562575 562587 562587 562587 562587 562587 562587 562587 562627 562620 562611 562600 561738 561325 561283 561217 561125 561068 560999 560918 560918 560918 560918 560918 560918 560918 560918 560918 560939 560918 560918 560918 560918 560918 560949 560918 560918 560918 560955 560918 560918 560959 560961 560279 560273 560265 560259 560255 560251 560239 560253 560253 560251 560247 560205 560244 560223 560190 560155 560151 560151 560151 560151 560174 560151 560151 560151 560151 560151 560151 560192 560151 560151 560151 560201 560151 560151 560151 560210 560151 560151 560151 560196 560151 560886 560734 560620 560506 560430 560354 560278 560257 560274 560279 560280 560277 560277 560235 560235 560235 560235 560235 559081 559051 558997 558938 558887 558824 558749 558749 558749 558749 558749 558749 558749 558749 558749 558770 558772 558749 558749 558749 558749 558780 558749 558749 558749 558786 558749 558749 558749 558792 558122 558110 558102 558096 558090 558086 558080 558086 558084 558044 558044 558023 557994 557990 557990 557990 557990 557990 558016 557990 557990 557990 557990 557990 558031 557990 557990 557990 557990 558043 557990 557990 557990 558052 557990 557990 558035 557990 558518 558378 558273 558168 558098 558028 557951 557955 557955 557955 557955 557955 557955 557982 557975 557966 557252 556828 556784 556751 556706 556649 556580 556580 556580 556580 556580 556580 556580 556580 556580 556601 556580 556580 556580 556580 556609 556580 556580 556580 556580 556617 556580 556580 556621 556580 555953 555947 555939 555933 555927 555923 555919 555883 555856 555833 555829 555822 555813 555802 555812 555782 555766 555748 555738 555717 555732 555710 555656 555628 555613 555632 555566 555532 555514 555536 555458 555438 555397 555442 555397 555569 555441 555345 555249 555185 555121 555056 555056 555056 555056 555056 555084 555080 555074 555066 554412 553977 553956 553923 553878 553821 553770 553768 553768 553768 553768 553783 553768 553768 553768 553768 553768 553768 553795 553768 553768 553768 553801 553768 553768 553768 553807 553768 553768 553768 553813 553768 554578 554470 554368 554308 554230 554173 554162 554167 554170 554171 554170 554167 554162 554155 553597 553229 553208 553154 553103 553055 553060 553053 553053 553053 553053 553053 553053 553053 553053 553076 553053 553053 553053 553053 553084 553053 553053 553053 553090 553053 553053 553053 553096 553053 553056 553729 553609 553528 553456 553408 553360 553312 553330 553332 553332 553330 553326 553320 552824 552484 552463 552430 552385 552340 552338 552338 552338 552338 552353 552338 552338 552338 552338 552338 552338 552365 552338 552338 552338 552371 552371 552338 552338 552377 552338 552338 552338 552383 552338 552793 552709 552646 552583 552541 552499 552478 552478 552478 552478 552478 552478 551748 551733 551706 551667 551625 551623 551623 551623 551623 551638 551623 551623 551623 551623 551623 551623 551650 551623 551623 551623 551656 551623 551623 551623 551662 551623 551623 551623 551668 551623 551914 551842 551776 551734 551680 551644 551644 551644 551644 551644 551644 551009 550994 550967 550926 550908 550908 550908 550908 550908 550908 550908 550908 550908 550931 550908 550908 550908 550908 550939 550908 550908 550908 550945 550908 550908 550908 550951 550908 550911 551080 550990 550945 550900 550855 550825 550818 550819 550818 550815 550505 550258 550231 550195 550200 550193 550193 550193 550193 550193 550193 550193 550193 550216 550193 550193 550193 550193 550224 550193 550193 550193 550230 550193 550193 550193 550236 550193 550196 550180 550120 550072 550036 550012 549988 549976 549976 549976 549540 549525 549496 549478 549478 549478 549478 549478 549478 549478 549497 549499 549478 549478 549478 549478 549507 549478 549478 549478 549513 549478 549478 549478 549519 549478 549478 549481 549316 549259 549223 549196 549169 549151 549146 549145 548959 548804 548781 548763 548763 548763 548763 548763 548763 548763 548763 548784 548763 548763 548763 548763 548763 548794 548763 548763 548763 548800 548763 548763 548804 548806 548763 548766 548416 548380 548356 548338 548326 548314 548310 548186 548077 548050 548048 548048 548048 548048 548048 548065 548048 548048 548048 548048 548048 548075 548048 548048 548048 548048 548083 548048 548048 548087 548089 548048 548048 548093 548048 547516 547504 547495 547486 547480 547415 547351 1268983 1768398 1965201 2054838 2128337
iterations count:2474346 (2556), effective:19502 (20)
initing FirstDep: 0m0sec
431305 438446 443678 447363 449849 451436 452376 452873 453115 453871 454004 454078 454154 454230 454306 454382 454458 454572 454648 455595 455928 456127 456316 456493 456658 456811 457018 457141 457764 457961 458076 458189 458298 458403 458504 458648 458739 458826 459997 460412 460662 460898 461118 461322 461598 461762 461910 462831 463075 463311 463531 463735 464011 464175 464323 464455 465255 465408 465562 465708 465846 466038 466156 466266 466368 467088 468174 468483 468776 469049 469421 469644 469847 470030 471099 471397 471684 471951 472198 472531 472728 472905 473713 474149 474429 474696 474943 475276 475473 475650 475807 476558 476861 477050 477237 477412 477652 477797 477930 478051 478160 479845 480424 480776 481106 481556 481826 482072 482294 483512 483864 484202 484516 484942 485196 485426 485632 486818 487149 487479 487785 488067 488445 488667 488865 489754 490232 490541 490847 491129 491387 491729 491927 492101 492916 493261 493480 493701 493909 494191 494359 494511 494647 494767 496736 497397 497800 498177 498526 498997 499276 500339 500973 501374 501749 502096 502415 502841 503090 504436 504821 505204 505559 505886 506185 506581 506810 508109 508468 508834 509179 509496 509785 510046 510385 511355 511869 512202 512540 512857 513146 513407 513640 513937 514816 515197 515442 515689 515930 516151 516352 516616 516767 516898 519165 519908 520362 520786 521178 521538 522018 523525 523985 524425 524833 525209 525553 525865 527048 527950 528386 528790 529162 529502 529810 530086 531556 532179 532591 532971 533319 533635 533919 534171 535579 536157 536549 536917 537253 537557 537829 538069 539120 539664 540196 540556 540892 541196 541468 541708 541916 542859 543270 543670 543939 544201 544439 544653 544843 545009 545151 547727 548808 549297 549750 550167 550548 551825 552623 553130 553826 554245 554628 554975 556626 557119 557608 558061 558673 559036 559363 560998 561465 561939 562386 562797 563346 563667 564944 565622 566063 566509 566928 567311 567658 568111 569332 569958 570365 570778 571183 571552 571885 572317 572560 573961 574326 574699 575076 575445 575778 576075 576453 576660 577865 578142 578427 578714 579001 579266 579503 579806 579973 581838 583554 584128 584666 585164 585622 586040 588088 588648 589170 589652 590094 590496 592286 592833 593631 594113 594555 594957 596388 597194 597719 598237 598939 599357 599735 601158 601918 602413 602913 603383 604013 604383 604713 606419 606876 607341 607809 608247 608829 609167 609465 611079 611498 611925 612356 612778 613160 613658 613940 615153 615739 616120 616507 616898 617280 617622 618060 618302 619373 619826 620119 620418 620719 621020 621422 621650 621846 622010 625225 626214 626821 627386 627907 628384 630568 631181 631752 632279 632762 634275 635203 636099 636650 637157 637620 639169 640057 640636 641207 641981 642442 642859 644786 645331 645884 646427 646926 647381 647981 649870 650381 650900 651422 651911 652356 652757 654436 655168 655645 656128 656614 657067 657476 657841 658162 660088 660523 660964 661409 661844 662235 662582 662885 664585 664970 665363 665760 666161 666552 666899 667202 667461 668913 669210 669515 669824 670135 670446 670729 670976 671187 673742 675626 676306 676942 677530 678070 680035 680711 681659 682231 682755 684781 685436 686084 686684 687236 689148 690118 690751 691375 691951 692479 692959 695035 695937 696545 697117 697641 698117 699806 700678 701247 702110 702650 703142 703586 705249 706063 706594 707131 707929 708409 708841 709225 711151 711636 712129 712626 713126 713804 714196 714540 716344 716783 717230 717681 718136 718784 719156 719480 720855 721459 721852 722251 722654 723061 723637 723961 724237 725436 725907 726212 726523 726838 727155 727620 727886 728112 728298 732160 733313 734022 734681 735288 737690 738409 739078 739695 741363 742455 743167 743842 744757 746500 747552 748239 748916 749541 750114 751909 753242 753903 754552 755149 755694 757515 758469 759092 760036 760627 761166 761653 763840 764421 765010 765603 766455 766958 767409 769536 770075 770622 771173 771727 772480 772917 774630 775392 775889 776392 776899 777409 777880 778489 780094 780780 781227 781680 782137 782598 783047 783623 783942 785655 786044 786441 786842 787247 787656 788053 788551 788818 790275 790576 790885 791198 791515 791834 792301 792564 792783 795924 797892 798678 799412 800090 802176 803340 804058 804720 806906 807669 808423 809121 809763 812396 813137 813867 814541 815159 817479 818186 818901 819933 820551 822487 823523 824200 824883 825553 826167 826725 829388 830027 830672 831320 831926 832476 834423 835634 836235 836840 837448 838014 838524 840427 841271 842100 842659 843222 843772 844266 844704 846834 847331 847836 848601 849116 849618 850064 850454 852432 852875 853326 854010 854471 854935 855357 855723 857260 857858 858247 858642 859242 859647 860055 860421 860731 862058 862523 862824 863131 863599 863916 864233 864537 864793 865001 869494 870811 871622 873613 874903 875728 876495 878238 879494 880314 881091 883318 884534 885329 886112 886835 888793 889963 890728 891868 892563 894594 895712 896443 897180 897903 898566 901359 902048 902745 903446 904133 904760 906853 907849 908828 909487 910149 910766 911323 913754 914355 914964 915885 916503 917076 917589 919938 920489 921048 921611 922463 923018 923513 925444 926212 926713 927220 927731 928505 929008 929451 931248 931928 932371 932820 933273 933730 934422 934839 935196 937041 937418 937803 938192 938585 939182 939584 939941 940238 941797 942086 942383 942684 942989 943454 943765 944062 944307 948206 950150 951042 951874 953977 954869 956117 958363 959234 960094 960890 963260 964105 965367 966139 968611 969426 970249 971057 971801 974350 975525 976316 977092 977804 980402 981145 981896 982651 983737 985955 987033 987738 988449 989164 989864 990500 993427 994086 994751 995420 996092 996716 998921 999853 1000769 1001386 1002007 1002631 1003207 1005350 1006200 1006755 1007598 1008165 1008736 1009292 1009784 1012102 1012595 1013096 1013601 1014366 1014881 1015381 1015817 1017953 1018384 1018823 1019266 1019938 1020391 1020847 1021255 1022954 1023522 1023891 1024266 1024645 1025221 1025610 1026002 1026346 1027801 1028236 1028517 1028804 1029095 1029539 1029840 1030141 1030427 1030657 1035741 1037222 1038135 1040200 1041604 1043318 1044738 1045666 1046545 1048924 1049823 1050729 1053190 1054524 1055397 1056275 1057102 1059711 1060546 1061389 1062641 1064889 1066113 1066914 1067721 1068531 1069290 1072021 1073157 1073922 1074691 1075444 1077803 1078893 1079606 1080325 1081411 1082120 1084485 1085499 1086162 1086831 1087504 1088181 1089147 1091806 1092411 1093024 1093641 1094262 1094887 1095496 1098330 1098877 1099432 1099991 1100554 1101121 1101691 1102210 1104616 1105347 1105842 1106341 1106844 1107351 1107861 1108320 1110529 1111161 1111590 1112023 1112460 1112901 1113346 1113775 1115555 1116274 1116631 1116992 1117357 1117726 1118099 1118476 1118837 1120356 1120898 1121167 1121440 1121717 1121998 1122283 1122570 1122857 1123098 1128457 1130510 1132502 1133502 1135155 1136657 1137639 1139482 1140944 1142381 1144396 1145812 1146739 1147671 1149837 1151201 1152094 1153443 1155736 1157042 1157897 1158758 1159622 1162015 1163257 1164479 1165300 1166124 1168587 1169759 1170526 1171299 1172466 1173228 1176096 1176809 1177530 1178255 1178984 1179716 1182217 1183561 1184228 1184899 1185574 1186253 1186915 1189682 1190283 1191198 1191813 1192432 1193055 1193661 1196313 1196852 1197399 1198227 1198784 1199345 1199909 1202167 1202899 1203376 1203859 1204591 1205084 1205581 1206081 1208166 1208792 1209199 1209612 1210239 1210662 1211089 1211520 1211934 1213947 1214276 1214613 1214954 1215473 1215824 1216179 1216538 1216880 1218562 1218803 1219052 1219305 1219692 1219955 1220222 1220491 1220760 1225946 1227603 1228930 1230548 1232103 1234204 1235977 1237521 1238532 1240504 1242002 1242983 1243969 1247073 1248020 1248973 1251280 1252668 1253577 1254492 1255410 1258712 1259579 1260452 1261329 1263867 1265121 1265942 1267184 1268017 1270624 1271802 1272573 1273350 1274131 1274916 1277557 1279010 1279731 1280456 1281185 1281918 1284555 1285563 1286554 1287221 1287892 1288567 1289245 1292116 1292709 1293310 1294219 1294830 1295445 1296063 1298808 1299335 1299870 1300409 1300952 1301774 1302327 1304694 1305402 1305863 1306330 1306801 1307276 1307996 1308481 1310662 1311258 1311645 1312038 1312435 1312836 1313241 1313856 1314270 1316331 1316636 1316949 1317266 1317587 1317912 1318407 1318742 1319080 1320795 1321012 1321237 1321466 1321699 1321936 1322299 1322546 1322793 1328452 1328488 1328545 1328624 1328654 1328730 1328783 1328813 1328843 1328935 1328992 1329020 1329048 1329094 1329208 1329240 1329272 1329296 1329345 1329429 1329508 1329535 1329562 1329589 1329632 1329716 1329809 1329839 1329869 1329899 1329919 1329981 1330067 1330131 1330186 1330219 1330241 1330263 1330310 1330365 1330454 1330520 1330578 1330602 1330626 1330650 1330699 1330753 1330812 1330876 1330943 1331004 1331030 1331056 1331082 1331120 1331174 1331233 1331296 1331363 1331434 1331463 1331491 1331519 1331533 1331572 1331627 1331686 1331748 1331815 1331886 1331939 1331954 1331984 1332014 1332054 1332081 1332138 1332198 1332231 1332298 1332368 1332443 1332460 1332492 1332524 1332540 1332591 1332648 1332679 1332741 1332775 1332843 1332916 1332955 1333011 1333028 1333062 1333079 1333130 1333159 1333217 1333249 1333313 1333348 1333418 1333456 1333532 1333573 1333609 1333627 1333670 1333697 1333753 1333784 1333846 1333879 1333914 1333984 1334022 1334098 1334139 1334180 1334218 1334237 1334286 1334314 1334344 1334404 1334436 1334470 1334538 1334574 1334612 1334688 1334728 1334770 1334832 1334852 1334875 1334900 1334956 1334987 1335018 1335082 1335116 1335152 1335188 1335262 1335301 1335342 1335383 1335467 1335489 1335510 1335532 1335575 1335597 1335620 1335642 1335685 1335707 1335729 1335752 1335774 1335817 1335839 1335861 1335884 1335906 1335945 1335964 1335983 1336002 1336020 1336039 1336058 1336097 1336116 1336135 1336153 1336172 1336191 1336210 1336249 1336268 1336287 1336307 1336503 1336598 1336706 1336814 1336916 1336984 1337133 1337197 1337261 1337447 1337507 1337567 1337728 1337784 1337840 1337896 1338086 1338138 1338190 1338242 1338407 1338455 1338503 1338551 1338599 1338785 1338829 1338873 1338917 1338961 1339122 1339162 1339222 1339262 1339302 1339442 1339496 1339532 1339568 1339604 1339658 1339793 1339841 1339873 1339905 1339937 1339969 1340001 1340143 1340185 1340213 1340241 1340269 1340297 1340325 1340444 1340480 1340516 1340540 1340564 1340588 1340612 1340636 1340752 1340772 1340802 1340822 1340842 1340862 1340882 1340902 1341003 1341019 1341043 1341059 1341075 1341091 1341107 1341123 1341203 1341221 1341233 1341251 1341263 1341275 1341287 1341299 1341311 1341374 1341383 1341389 1341398 1341404 1341410 1341416 1341422 1341428 1341430 1342270 1363028 1363277 1363401 1363494 1363557 1363630 1363680 1363730 1363780 1363799 1363831 1363863 1363916 1363923 1363947 1363986 1363989 1364028 1364029 1364041 1364053 1364086 1364098 1364110 1364122 1364107 1364113 1364119 1364144 1364129 1364135 1364160 1364139 1364160 1364139 1364160 1364139 1364160 1364139 1364137 1364154 1364150 1364123 1364119 1364136 1364132 1364105 1364101 1364093 1364085 1364077 1364090 1364082 1364074 1364066 1364058 1364050 1364040 1364007 1363995 1363983 1363971 1363959 1363974 1363962 1363950 1363917 1363903 1363887 1363900 1363884 1363847 1363831 1363844 1363828 1363791 1363804 1363788 1363749 1363729 1363740 1363699 1363710 1363690 1363649 1363660 1363619 1363599 1363610 1363569 1363578 1363533 1363542 1363497 1363506 1363461 1363470 1363425 1363434 1363389 1363398 1363353 1363362 1363313 1363320 1363271 1363278 1363229 1363236 1363222 1363173 1363180 1363131 1363138 1363089 1363075 1363080 1363027 1363032 1363016 1362963 1362968 1362952 1362899 1362904 1362851 1362835 1362840 1362787 1362771 1362774 1362756 1362699 1362681 1362684 1362627 1362609 1362612 1362594 1362537 1362519 1362522 1362504 1362447 1362429 1362431 1362412 1362353 1362334 1362336 1362317 1362298 1362239 1362220 1362222 1362203 1362144 1362125 1362106 1362108 1362088 1362067 1362005 1361984 1361963 1361962 1361941 1361920 1361858 1361837 1361816 1361815 1361794 1361773 1361752 1361690 1361669 1373133 1373178 1373217 1373307 1373267 1374823 1375134 1375757 1376376 1376692 1377313 1377620 1378239 1378858 1379170 1379787 1380090 1380705 1381319 1381932 1382551 1382857 1383468 1384078 1384687 1386475 1386593 1421243 1421486 1421575 1421637 1421666 1421686 1421726 1421746 1421740 1421764 1421768 1421772 1421776 1421768 1421740 1421754 1421726 1421740 1421725 1421685 1421670 1421655 1421640 1421622 1421598 1421602 1421578 1421534 1421510 1421514 1421464 1421462 1421409 1421407 1421354 1421352 1421299 1421274 1421266 1421238 1421176 1421148 1421140 1421112 1421050 1421019 1420985 1420951 1420917 1420883 1420849 1420835 1420801 1420767 1420710 1420670 1420630 1420590 1420550 1420550 1420510 1420470 1420430 1420370 1420324 1420321 1420275 1420209 1420163 1420160 1420114 1420048 1420002 1419999 1419930 1419878 1419872 1419800 1419748 1419742 1419670 1419664 1419612 1419540 1419534 1419459 1419450 1419372 1419363 1419285 1419276 1419198 1419189 1419111 1419102 1419044 1418966 1418934 1418922 1418838 1418826 1418742 1418730 1418646 1418634 1418602 1418518 1418506 1418422 1418410 1418375 1418285 1418270 1418180 1418145 1418130 1418040 1418005 1417990 1417900 1417865 1417850 1417760 1417722 1417704 1417666 1417570 1417552 1417514 1417418 1417380 1417362 1417324 1417228 1417190 1417172 1417134 1417056 1417036 1417035 1417015 1416956 1416936 1416935 1416915 1416895 1416836 1416816 1416815 1416795 1416775 1416716 1421126 1418930 1415870 1413350 1428506 1428550 1428596 1428641 1428618 1431715 1520073 1520067 1520067 1520077 1520089 1520071 1520087 1520091 1520081 1520139 1520076 1520086 1520137 1520129 1520157 1520159 1520197 1520118 1520130 1520202 1520190 1520232 1520206 1520240 1520202 1520294 1520338 1520202 1520216 1520312 1520295 1520353 1520315 1520390 1520340 1520380 1520420 1520396 1520450 1520504 1520382 1520362 1520485 1520462 1520538 1520486 1520554 1520458 1520574 1520632 1520552 1520598 1520644 1520562 1520655 1520717 1520808 1520571 1520589 1520742 1520712 1520808 1520740 1520828 1520775 1520853 1520931 1520817 1520883 1520949 1520814 1520892 1520970 1521022 1520956 1521026 1521096 1521166 1520956 1521029 1521107 1521069 1521187 1521101 1521211 1521041 1521191 1521341 1521189 1521277 1521365 1521171 1521282 1521356 1521430 1521309 1521367 1521425 1521483 1521341 1521458 1521536 1521653 1521729 1521363 1521385 1521607 1521560 1521702 1521596 1521730 1521641 1521765 1521889 1521695 1521807 1521919 1521660 1521856 1521954 1522052 1521830 1521912 1521994 1522076 1521847 1521975 1522039 1522103 1522167 1522043 1522129 1522215 1522301 1522428 1521987 1522011 1522272 1522215 1522383 1522255 1522415 1522305 1522455 1522605 1522365 1522503 1522641 1522311 1522497 1522683 1522807 1522515 1522623 1522731 1522839 1522515 1522695 1522785 1522875 1522965 1522705 1522775 1522845 1522915 1523020 1522861 1522955 1523049 1523143 1523237 1523329 1522806 1522832 1522871 1523165 1522923 1523205 1523393 1523166 1523344 1523522 1523315 1523481 1523647 1523309 1523461 1523613 1523765 1523465 1523601 1523737 1523873 1523496 1523614 1523732 1523850 1523508 1523655 1523753 1523851 1523949 1524047 1523727 1523841 1523917 1523993 1524069 1523807 1523960 1524062 1524164 1524317 1524419 1523961 1524092 1524116 1523926 1524265 1523982 1524309 1524052 1524364 1524572 1524136 1524430 1524626 1524822 1524416 1524689 1524871 1524346 1524595 1524761 1524927 1525093 1524620 1524842 1524990 1525138 1524612 1524804 1524932 1525060 1525252 1524766 1524925 1525031 1525137 1525243 1525349 1524934 1525098 1525180 1525262 1525344 1525426 1525116 1525281 1525391 1525556 1525666 1525776 1525884 1525176 1525206 1525602 1525509 1525767 1525686 1525936 1525626 1525866 1526106 1525704 1525932 1526160 1525795 1526009 1526223 1526437 1525899 1526097 1526295 1526592 1526016 1526196 1526376 1526556 1526736 1526146 1526306 1526546 1526706 1526866 1526289 1526427 1526565 1526703 1526841 1526331 1526502 1526616 1526730 1526844 1526958 1527072 1526614 1526746 1526834 1526922 1527010 1527098 1526736 1526913 1527031 1527208 1527326 1527444 1527562 1526944 1527110 1527138 1526888 1527326 1527236 1527520 1527032 1527443 1527717 1527128 1527521 1527783 1527240 1527612 1527860 1528108 1527368 1527716 1527948 1528296 1527512 1527833 1528047 1528261 1528475 1527672 1527963 1528254 1528448 1528642 1527848 1528106 1528278 1528450 1528622 1528880 1528188 1528336 1528484 1528632 1528780 1528928 1528248 1528492 1528614 1528736 1528858 1528980 1529102 1528566 1528660 1528801 1528895 1528989 1529083 1529177 1528838 1528964 1529090 1529279 1529405 1529531 1529657 1528950 1529237 1529335 1529018 1529714 1529222 1530134 1529477 1530146 1530592 1529783 1530434 1530868 1531302 1530770 1531190 1531610 1530548 1531154 1531558 1531962 1532366 1531586 1531972 1532358 1532744 1531517 1532066 1532432 1532981 1533347 1532078 1532594 1532938 1533282 1533626 1533970 1533010 1533330 1533650 1533970 1534290 1534610 1533353 1533794 1534235 1534529 1534823 1535117 1535411 1534333 1534599 1534865 1535264 1535530 1535796 1536062 1535068 1535304 1535540 1535776 1536130 1536366 1536602 1535648 1536107 1536413 1536719 1537025 1537484 1537790 1538096 1544771 1545302 1545742 1545779 1545846 1545866 1545910 1545935 1545957 1545965 1545956 1545964 1545969 1545985 1545962 1545958 1545974 1545968 1545933 1545921 1545909 1545897 1545885 1545864 1545869 1545848 1545808 1545787 1545792 1545746 1545745 1545696 1545695 1545646 1545645 1545596 1545570 1545563 1545537 1545479 1545453 1545446 1545420 1545359 1545327 1545295 1545263 1545231 1545199 1545167 1545135 1545103 1545065 1545027 1544989 1544989 1544951 1544913 1544875 1544818 1544780 1544736 1544733 1544689 1544626 1544582 1544579 1544535 1544472 1544428 1544425 1544356 1544306 1544300 1544231 1544225 1544175 1544106 1544100 1544031 1544025 1543972 1543897 1543888 1543813 1543804 1543729 1543720 1543645 1543636 1543561 1543552 1543474 1543462 1543381 1543369 1543338 1543257 1543245 1543164 1543152 1543071 1543059 1543028 1542944 1542929 1542842 1542808 1542793 1542706 1542672 1542657 1542570 1542536 1542521 1542434 1542400 1542399 1542343 1542324 1542323 1542304 1542248 1542229 1542228 1542172 1542153 1542152 1542133 1542077 1542262 1542258 1541890 1542433 1541890 1542421 1542775 1542406 1542750 1541890 1542388 1542720 1543052 1542208 1542685 1543003 1541890 1542343 1542645 1542947 1543249 1542174 1542600 1542884 1543168 1541890 1542286 1542550 1542814 1543078 1541890 1542253 1542495 1542737 1542979 1543221 1541890 1542217 1542544 1542762 1542980 1543198 1541890 1542178 1542370 1542562 1542850 1543042 1543234 1542054 1542218 1542382 1542546 1542710 1542956 1543120 1542024 1542158 1542292 1542426 1542560 1542694 1542828 1541890 1542046 1542150 1542254 1542358 1542462 1542566 1542670 1542468 1542653 1542649 1542281 1542824 1542281 1542812 1543166 1542625 1543141 1542281 1542779 1543111 1543443 1542599 1542917 1543235 1542281 1542734 1543036 1543338 1543640 1542565 1542849 1543133 1543559 1542281 1542677 1542941 1543205 1543469 1543733 1542523 1542886 1543128 1543370 1543612 1542281 1542608 1542826 1543153 1543371 1543589 1542281 1542569 1542761 1542953 1543145 1543337 1543625 1542445 1542609 1542773 1542937 1543101 1543265 1543429 1542415 1542549 1542683 1542817 1542951 1543085 1543219 1543353 1542434 1542536 1542638 1542740 1542842 1542944 1543046 1543148 1542535 1544091 1546365 1547862 1549305 1550748 1551710 1553772 1554694 1555616 1558247 1559125 1560003 1562296 1563126 1563956 1564786 1567148 1568315 1569093 1569871 1572267 1572989 1573711 1574433 1575155 1577878 1578540 1579202 1579864 1580526 1582873 1583471 1584368 1584966 1585564 1587591 1588386 1588916 1589446 1589976 1590771 1592700 1593387 1593845 1594303 1594761 1595219 1595677 1597460 1598224 1598606 1598988 1599370 1599752 1600134 1601720 1602173 1602626 1602928 1603230 1603532 1603834 1604136 1605538 1605756 1606083 1606301 1606519 1606737 1606955 1607173 1612664 1610165 1607479 1605235 1609695 1607179 1604697 1602589 1614024 1651841 1652048 1652114 1652149 1652155 1652183 1652193 1652200 1652196 1652173 1652169 1652159 1652165 1652131 1652137 1652103 1652100 1652079 1652058 1652037 1651991 1651989 1651959 1651911 1651881 1651879 1651849 1651792 1651784 1651727 1651701 1651693 1651636 1651625 1651593 1651527 1651495 1651481 1651449 1651383 1651348 1651310 1651272 1651234 1651214 1651176 1651138 1651100 1651059 1650997 1650953 1650909 1650865 1650861 1650817 1650773 1650729 1650661 1650611 1650604 1650554 1650486 1650436 1650429 1650379 1650311 1650301 1650245 1650171 1650161 1650087 1650031 1650021 1649947 1649937 1649881 1649801 1649788 1649708 1649695 1649615 1649602 1649522 1649509 1649429 1649416 1649333 1649317 1649231 1649215 1649181 1649095 1649079 1648993 1648977 1648891 1648875 1648840 1648787 1648786 1648768 1648715 1648714 1648661 1648643 1648642 1648589 1648571 1648570 1652023 1649943 1647415 1646135 1648671 1646351 1644383 1643775 1657329 1657364 1657410 1657418 1660829 1660891 1660962 1661042 1661107 1661203 1661295 1661339 1661416 1661476 1661516 1661596 1661650 1661704 1661785 1661833 1661865 1661897 1661977 1662019 1662047 1662089 1662166 1662202 1662226 1662250 1662274 1662346 1662376 1662406 1662426 1662446 1662511 1662535 1662551 1662567 1662583 1662607 1662667 1662679 1662691 1662703 1662715 1662727 1662772 1662788 1662796 1662804 1662812 1662820 1662828 1662860 1662864 1662870 1662874 1662878 1662882 1662886 1663261 1704838 1705027 1705058 1705069 1705097 1705102 1705107 1705086 1705095 1705087 1705079 1705059 1705022 1705024 1704987 1704963 1704956 1704932 1704908 1704884 1704851 1704801 1704768 1704763 1704730 1704674 1704663 1704604 1704593 1704534 1704523 1704492 1704424 1704390 1704373 1704339 1704271 1704237 1704197 1704157 1704117 1704094 1704054 1704014 1703974 1703931 1703868 1703822 1703776 1703730 1703684 1703678 1703632 1703583 1703514 1703462 1703453
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="BridgeAndVehicles-PT-V20P20N20"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/root/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/BridgeAndVehicles-PT-V20P20N20.tgz
mv BridgeAndVehicles-PT-V20P20N20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2270"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-PT-V20P20N20, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r190su-smll-143330904700340"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;