fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r134st-blw3-143297580000352
Last Updated
August 19, 2015

About the Execution of Marcie for S_Diffusion2D-PT-D40N010

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4908.690 3600000.00 3599980.00 39.70 [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 S_Diffusion2D-PT-D40N010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r134st-blw3-143297580000352
=====================================================================


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

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1433381308294

Model: S_Diffusion2D-PT-D40N010
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 --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

(NrP: 1600 NrTr: 12324 NrArc: 24648)

net check time: 0m0sec

place and transition orderings generation:0m17sec

init dd package: 0m2sec


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

1600 1600 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 1924 2561 2521 2487 2471 2466 2463 2461 2458 2457 2455 2453 2452 2450 2449 2448 2444 2440 2435 2431 2427 2423 2419 2415 2411 2407 2402 2398 2394 2390 2386 2382 2376 2372 2368 2364 2359 2355 2351 2345 2341 2337 2332 2327 2323 2318 2313 2308 2304 2299 2293 2289 2284 2279 2274 2268 2263 2258 2253 2248 3154 3080 3024 3012 3004 3000 2994 2990 2988 2984 2980 2978 2976 2972 2968 2960 2952 2942 2934 2926 2918 2910 2902 2894 2884 2876 2868 2860 2852 2842 2834 2824 2816 2808 2798 2790 2782 2770 2762 2754 2744 2736 2726 2716 2706 2696 2688 2678 2666 2658 2648 2638 2628 2616 2608 2596 2586 2576 3826 3706 3607 3562 3547 3541 3532 3526 3520 3517 3511 3508 3502 3499 3496 3484 3472 3457 3445 3433 3421 3409 3397 3385 3373 3358 3346 3334 3322 3307 3295 3280 3268 3256 3241 3229 3217 3202 3187 3175 3160 3148 3133 3121 3103 3091 3076 3061 3049 3031 3016 3001 2989 2974 2956 2941 2926 2911 2896 4376 4228 4120 4100 4084 4072 4064 4056 4052 4044 4036 4032 4028 4020 4012 3996 3980 3960 3944 3928 3912 3896 3880 3864 3844 3828 3812 3796 3776 3760 3744 3724 3708 3688 3672 3656 3636 3616 3600 3580 3564 3544 3528 3504 3488 3468 3452 3432 3408 3392 3372 3352 3332 3308 3288 3268 3248 3228 5079 4884 4719 4654 4629 4619 4604 4594 4584 4579 4569 4564 4554 4549 4544 4524 4504 4479 4459 4439 4419 4399 4379 4359 4339 4314 4294 4274 4249 4229 4209 4184 4164 4139 4119 4099 4074 4054 4029 4004 3984 3959 3939 3909 3889 3864 3844 3819 3794 3769 3744 3719 3694 3669 3644 3619 3589 3564 3544 5584 5368 5218 5188 5164 5146 5134 5122 5110 5104 5092 5086 5074 5068 5050 5026 5008 4978 4954 4930 4906 4882 4858 4834 4804 4780 4750 4726 4702 4678 4654 4624 4594 4570 4546 4516 4492 4462 4432 4408 4384 4354 4330 4294 4270 4240 4210 4186 4150 4120 4090 4066 4036 4000 3970 3940 3910 3880 6334 6047 5816 5746 5711 5690 5676 5662 5648 5641 5627 5613 5606 5599 5585 5557 5529 5494 5473 5445 5417 5389 5361 5333 5291 5263 5235 5207 5179 5151 5123 5088 5053 5025 4997 4969 4934 4906 4864 4836 4808 4773 4745 4703 4675 4640 4605 4577 4542 4500 4472 4437 4402 4367 4325 4290 4255 4220 4192 6780 6500 6308 6276 6244 6220 6204 6188 6172 6164 6148 6140 6124 6116 6092 6060 6028 5988 5956 5932 5900 5868 5828 5796 5756 5724 5692 5660 5628 5596 5556 5516 5484 5452 5420 5380 5348 5308 5268 5236 5196 5164 5124 5084 5044 5012 4972 4932 4892 4852 4812 4772 4732 4692 4652 4612 4564 4524 7567 7207 6919 6829 6793 6766 6748 6730 6712 6694 6685 6667 6658 6649 6631 6595 6559 6514 6478 6442 6406 6370 6334 6298 6253 6217 6181 6145 6109 6073 6028 5983 5947 5911 5875 5830 5794 5758 5704 5668 5623 5587 5542 5497 5452 5416 5371 5326 5290 5236 5191 5146 5110 5065 5011 4966 4921 4876 4840 4845 4851 4856 4861 4867 4873 4878 4884 4889 4895 4900 4906 4911 4917 4922 4928 4933 4939 4944 4950 4955 4960 4966 4971 4977 4982 4988 4993 4999 5004 5010 5015 5021 5026 5032 5037 5042 5048 5053 5059 5064 5070 5076 5082 5088 5093 5099 5105 5111 5116 5122 5128 5133 5139 5145 5151 5156 5162 5168 5174 5179 5185 5191 5196 5202 5208 5214 5219 5225 5231 5236 5242 5248 5254 5259 5265 5271 5277 5283 5290 5296 5302 5308 5314 5320 5326 5332 5338 5344 5350 5356 5362 5368 5374 5380 5386 5392 5398 5404 5410 5416 5421 5428 5433 5440 5445 5451 5457 5464 5470 5477 5483 5490 5496 5502 5509 5515 5521 5527 5534 5540 5546 5553 5559 5565 5571 5578 5584 5590 5597 5603 5609 5616 5622 5628 5634 5641 5648 5655 5662 5668 5675 5681 5688 5695 5701 5708 5715 5721 5728 5735 5741 5748 5754 5761 5768 5774 5781 5788 5794 5801 5807 5815 5822 5829 5836 5843 5850 5857 5864 5871 5878 5885 5892 5899 5906 5913 5920 5927 5934 5941 5948 5955 5962 5969 5977 5985 5992 6000 6007 6015 6022 6030 6037 6044 6052 6059 6067 6074 6081 6089 6096 6104 6111 6119 6127 6135 6143 6151 6159 6167 6175 6183 6190 6198 6206 6214 6222 6230 6238 6246 6254 6262 6271 6280 6288 6296 6305 6313 6322 6330 6338 6347 6355 6364 6372 6380 6389 6399 6408 6417 6426 6435 6444 6453 6462 6471 6480 6489 6498 6507 6517 6528 6538 6547 6557 6567 6577 6586 6596 6606 6615 6626 6637 6648 6659 6669 6680 6690 6701 6711 6722 6735 6747 6758 6770 6781 6793 6804 6817 6831 6843 6856 6869 6881 6895 6910 6925 6939 6953 6969 6986 7002 7018 7038 7056 7076 7112 7134 7154 7173 7181 7187 7192 7196 7200 7204 7207 7210 7213 7216 7218 7221 7223 7225 7227 7229 7231 7233 7235 7237 7239 7240 7242 7244 7245 7247 7248 7250 7251 7252 7254 7255 7256 7258 7259 7260 7261 7263 7264 7265 7266 7267 7268 7269 7271 7272 7273 7274 7275 7276 7276 7277 7278 7279 7280 7281 7282 7283 7284 7285 7286 7287 7288 7288 7289 7290 7291 7292 7293 7293 7294 7295 7296 7296 7297 7298 7299 7300 7300 7301 7302 7303 7303 7304 7305 7305 7306 7307 7307 7308 7309 7310 7310 7311 7312 7312 7313 7313 7314 7315 7315 7316 7317 7317 7318 7319 7319 7320 7320 7321 7322 7322 7323 7323 7324 7324 7325 7326 7326 7327 7327 7328 7328 7329 7330 7330 7331 7331 7332 7332 7333 7333 7334 7334 7335 7335 7336 7336 7337 7338 7338 7339 7339 7340 7340 7341 7341 7342 7342 7343 7343 7344 7344 7344 7345 7345 7346 7346 7347 7347 7348 7348 7349 7349 7350 7350 7351 7351 7352 7352 7352 7353 7353 7354 7354 7355 7355 7355 7356 7356 7357 7357 7358 7358 7359 7359 7359 7360 7360 7361 7361 7362 7362 7362 7363 7363 7364 7364 7364 7365 7365 7366 7366 7366 7367 7367 7368 7368 7368 7369 7369 7370 7370 7370 7371 7371 7372 7372 7372 7373 7373 7373 7374 7374 7375 7375 7375 7376 7376 7376 7377 7377 7377 7378 7378 7379 7379 7379 7380 7380 7380 7381 7381 7382 7382 7382 7383 7383 7383 7384 7384 7384 7385 7385 7385 7386 7386 7386 7387 7387 7387 7388 7388 7388 7389 7389 7389 7390 7390 7390 7391 7391 7391 7392 7392 7392 7393 7393 7393 7394 7394 7394 7395 7395 7395 7396 7396 7396 7397 7397 7397 7398 7398 7398 7399 7399 7399 7399 7400 7400 7400 7401 7401 7401 7402 7402 7402 7403 7403 7403 7403 7404 7404 7404 7405 7405 7405 7406 7406 7406 7406 7407 7407 7407 7408 7408 7408 7409 7409 7409 7409 7410 7410 7410 7411 7411 7411 7411 7412 7412 7412 7413 7413 7413 7413 7414 7414 7414 7415 7415 7415 7415 7416 7416 7416 7416 7417 7417 7417 7418 7418 7418 7418 7419 7419 7419 7420 7420 7420 7420 7421 7421 7421 7421 7422 7422 7422 7422 7422 7423 7423 7423 7423 7424 7424 7424 7424 7425 7425 7425 7425 7425 7426 7426 7426 7426 7427 7427 7427 7427 7428 7428 7428 7428 7428 7429 7429 7429 7429 7430 7430 7430 7430 7431 7435 7438 7442 7446 7451 7454 7457 7459 7462 7465 7467 7470 7472 7474 7477 7479 7481 7483 7485 7487 7489 7491 7492 7494 7496 7497 7499 7501 7502 7504 7505 7507 7508 7510 7511 7512 7514 7515 7516 7518 7519 7520 7521 7522 7524 7525 7526 7527 7528 7529 7531 7532 7533 7534 7535 7536 7537 7538 7539 7540 7541 7542 7543 7543 7544 7545 7546 7547 7548 7549 7550 7551 7552 7552 7553 7554 7555 7556 7557 7557 7558 7559 7560 7561 7561 7562 7563 7564 7564 7565 7566 7567 7567 7568 7569 7570 7570 7571 7572 7572 7573 7574 7574 7575 7576 7576 7577 7578 7578 7579 7580 7580 7581 7582 7582 7583 7583 7584 7585 7585 7586 7586 7587 7588 7588 7589 7590 7590 7591 7591 7592 7592 7593 7594 7594 7595 7595 7596 7596 7597 7597 7598 7599 7599 7600 7600 7601 7601 7602 7602 7603 7603 7604 7604 7605 7605 7606 7606 7607 7607 7608 7608 7609 7609 7610 7610 7611 7611 7612 7612 7613 7613 7614 7614 7615 7615 7616 7616 7617 7617 7618 7618 7618 7619 7619 7620 7620 7621 7621 7622 7622 7623 7623 7623 7624 7624 7625 7625 7626 7626 7626 7627 7627 7628 7628 7629 7629 7629 7630 7630 7631 7631 7632 7632 7632 7633 7633 7634 7634 7634 7635 7635 7636 7636 7636 7637 7637 7638 7638 7638 7639 7639 7640 7640 7640 7641 7641 7641 7642 7642 7643 7643 7643 7644 7644 7644 7645 7645 7646 7646 7646 7647 7647 7647 7648 7648 7649 7649 7649 7650 7650 7650 7651 7651 7651 7652 7652 7652 7653 7653 7653 7654 7654 7655 7655 7655 7656 7656 7656 7657 7657 7657 7658 7658 7658 7659 7659 7659 7660 7660 7660 7661 7661 7661 7662 7662 7662 7663 7663 7663 7664 7664 7664 7665 7665 7665 7666 7666 7666 7667 7667 7667 7667 7668 7668 7668 7669 7669 7669 7670 7670 7670 7671 7671 7671 7672 7672 7672 7672 7673 7673 7673 7674 7674 7674 7675 7675 7675 7675 7676 7676 7676 7677 7677 7677 7678 7678 7678 7678 7679 7679 7679 7680 7680 7680 7681 7681 7681 7681 7682 7682 7682 7683 7683 7683 7683 7684 7684 7684 7685 7685 7685 7685 7686 7686 7686 7686 7687 7687 7687 7688 7688 7688 7688 7689 7689 7689 7690 7690 7690 7690 7691 7691 7691 7691 7692 7692 7692 7693 7693 7693 7693 7694 7694 7694 7694 7695 7695 7695 7695 7696 7696 7696 7696 7697 7697 7697 7698 7698 7698 7698 7699 7699 7699 7699 7700 7700 7700 7700 7702 7705 7707 7710 7713 7718 7721 7724 7726 7728 7731 7733 7735 7738 7740 7742 7744 7747 7749 7751 7754 7756 7758 7761 7763 7765 7768 7770 7772 7775 7777 7779 7782 7784 7786 7789 7791 7793 7796 7798 7800 7803 7805 7807 7809 7812 7814 7816 7819 7821 7823 7826 7828 7830 7833 7835 7837 7840 7842 7844 7847 7849 7851 7854 7856 7858 7861 7863 7865 7868 7870 7872 7874 7877 7879 7881 7884 7886 7888 7891 7893 7895 7898 7900 7902 7905 7907 7909 7912 7914 7916 7919 7921 7923 7926 7928 7930 7932 7935 7937 7939 7942 7944 7946 7949 7951 7953 7956 7958 7960 7963 7965 7968 7970 7974 7979 7982 7985 7987 7989 7992 7994 7997 7999 8001 8004 8006 8009 8011 8013 8016 8018 8021 8023 8026 8028 8030 8033 8035 8038 8040 8042 8045 8047 8050 8052 8054 8057 8059 8062 8064 8067 8069 8071 8074 8076 8079 8081 8083 8086 8088 8091 8093 8095 8098 8100 8103 8105 8108 8110 8112 8115 8117 8120 8122 8124 8127 8129 8132 8134 8136 8139 8141 8144 8146 8148 8151 8153 8156 8158 8161 8163 8165 8168 8170 8173 8175 8177 8180 8182 8185 8187 8189 8192 8194 8197 8199 8202 8204 8206 8209 8211 8214 8216 8219 8222 8227 8231 8234 8236 8239 8241 8244 8246 8249 8251 8254 8256 8259 8261 8264 8266 8269 8271 8274 8276 8279 8281 8284 8286 8289 8291 8294 8296 8299 8301 8304 8306 8309 8311 8314 8316 8319 8321 8324 8326 8329 8331 8334 8336 8339 8341 8344 8347 8349 8352 8354 8357 8359 8362 8364 8367 8369 8372 8374 8377 8379 8382 8384 8387 8389 8392 8394 8397 8399 8402 8404 8407 8409 8412 8414 8417 8419 8422 8424 8427 8429 8432 8434 8437 8439 8442 8444 8447 8449 8452 8455 8457 8460 8464 8469 8472 8475 8478 8480 8483 8486 8488 8491 8493 8496 8499 8501 8504 8506 8509 8512 8514 8517 8520 8522 8525 8527 8530 8533 8535 8538 8540 8543 8546 8548 8551 8553 8556 8559 8561 8564 8567 8569 8572 8574 8577 8580 8582 8585 8587 8590 8593 8595 8598 8600 8603 8606 8608 8611 8614 8616 8619 8621 8624 8627 8629 8632 8634 8637 8640 8642 8645 8648 8650 8653 8655 8658 8661 8663 8666 8668 8671 8674 8676 8679 8682 8684 8687 8690 8694 8700 8703 8705 8708 8711 8714 8716 8719 8722 8725 8727 8730 8733 8735 8738 8741 8744 8746 8749 8752 8755 8757 8760 8763 8765 8768 8771 8774 8776 8779 8782 8785 8787 8790 8793 8795 8798 8801 8804 8806 8809 8812 8815 8817 8820 8823 8825 8828 8831 8834 8836 8839 8842 8845 8847 8850 8853 8855 8858 8861 8864 8866 8869 8872 8875 8877 8880 8883 8885 8888 8891 8894 8896 8899 8902 8905 8908 8911 8916 8921 8924 8927 8930 8932 8935 8938 8941 8944 8947 8950 8952 8955 8958 8961 8964 8967 8969 8972 8975 8978 8981 8984 8987 8989 8992 8995 8998 9001 9004 9007 9009 9012 9015 9018 9021 9024 9026 9029 9032 9035 9038 9041 9044 9046 9049 9052 9055 9058 9061 9064 9066 9069 9072 9075 9078 9081 9083 9086 9089 9092 9095 9098 9101 9103 9106 9109 9112 9115 9118 9122 9128 9132 9135 9138 9141 9144 9147 9150 9153 9156 9159 9162 9165 9168 9171 9174 9177 9180 9183 9186 9189 9192 9195 9198 9201 9204 9207 9210 9213 9216 9219 9222 9225 9227 9230 9233 9236 9239 9242 9245 9248 9251 9254 9257 9260 9263 9266 9269 9272 9275 9278 9281 9284 9287 9290 9293 9296 9299 9302 9305 9308 9311 9314 9318 9321 9327 9332 9335 9338 9341 9344 9347 9351 9354 9357 9360 9363 9366 9369 9373 9376 9379 9382 9385 9388 9391 9394 9398 9401 9404 9407 9410 9413 9416 9420 9423 9426 9429 9432 9435 9438 9442 9445 9448 9451 9454 9457 9460 9463 9467 9470 9473 9476 9479 9482 9485 9489 9492 9495 9498 9501 9505 9508 9512 9518 9523 9526 9529 9532 9536 9539 9542 9546 9549 9552 9556 9559 9562 9565 9569 9572 9575 9579 9582 9585 9589 9592 9595 9599 9602 9605 9608 9612 9615 9618 9622 9625 9628 9632 9635 9638 9641 9645 9648 9651 9655 9658 9661 9665 9668 9671 9674 9678 9681 9685 9688 9693 9699 9703 9707 9710 9714 9717 9721 9724 9728 9731 9735 9738 9742 9745 9749 9752 9756 9759 9763 9766 9770 9773 9777 9780 9784 9787 9791 9794 9798 9801 9805 9808 9812 9815 9819 9822 9825 9829 9832 9836 9839 9843 9846 9850 9854 9857 9862 9869 9873 9877 9881 9884 9888 9892 9895 9899 9903 9906 9910 9914 9918 9921 9925 9929 9932 9936 9940 9943 9947 9951 9954 9958 9962 9966 9969 9973 9977 9980 9984 9988 9991 9995 9999 10002 10006 10010 10014 10018 10023 10030 10034 10038 10042 10046 10050 10054 10058 10062 10066 10070 10074 10077 10081 10085 10089 10093 10097 10101 10105 10109 10113 10117 10121 10125 10128 10132 10136 10140 10144 10148 10152 10156 10160 10164 10168 10174 10181 10186 10190 10194 10198 10202 10207 10211 10215 10219 10223 10228 10232 10236 10240 10244 10248 10253 10257 10261 10265 10269 10274 10278 10282 10286 10290 10295 10299 10303 10308 10314 10321 10326 10330 10335 10339 10344 10348 10353 10357 10362 10366 10371 10375 10380 10384 10389 10393 10398 10402 10407 10411 10416 10420 10425 10429 10434 10439 10447 10453 10458 10463 10468 10473 10477 10482 10487 10492 10497 10502 10506 10511 10516 10521 10526 10531 10535 10540 10545 10550 10555 10561 10570 10576 10581 10586 10591 10597 10602 10607 10612 10618 10623 10628 10633 10639 10644 10649 10654 10660 10665 10672 10681 10687 10693 10699 10704 10710 10716 10721 10727 10733 10739 10744 10750 10756 10762 10768 10778 10785 10792 10798 10804 10810 10817 10823 10829 10836 10842 10848 10855 10864 10874 10881 10888 10895 10902 10909 10916 10923 10930 10938 10950 10958 10966 10974 10982 10990 10998 11006 11019 11029 11038 11047 11056 11066 11081 11091 11102 11113 11130 11143 11158 11177 11201 11201 11201 11201 11201 11201 11201 11202 11202 11202 11202 11202 11202 11202 11203 11203 11203 11203 11203 11203 11203 11204 11204 11204 11204 11204 11204 11204 11205 11205 11205 11205 11205 11205 11206 11206 11206 11206 11206 11206 11206 11207 11207 11207 11207 11207 11207 11207 11208 11208 11208 11208 11208 11208 11208 11209 11209 11209 11209 11209 11209 11209 11210 11210 11210 11210 11210 11210 11210 11211 11211 11211 11211 11211 11211 11212 11212 11212 11212 11212 11212 11212 11213 11213 11213 11213 11213 11213 11213 11214 11214 11214 11214 11214 11214 11214 11215 11215 11215 11215 11215 11215 11215 11216 11216 11216 11216 11216 11216 11217 11217 11217 11217 11217 11217 11217 11218 11218 11218 11218 11218 11218 11218 11219 11219 11219 11219 11219 11219 11219 11220 11220 11220 11220 11220 11220 11220 11221 11221 11221 11221 11221 11221 11221 11222 11222 11222 11222 11222 11222 11222 11223 11223 11223 11223 11223 11223 11224 11224 11224 11224 11224 11224 11224 11225 11225 11225 11225 11225 11225 11225 11226 11226 11226 11226 11226 11226 11226 11227 11227 11227 11227 11227 11227 11227 11228 11228 11228 11228 11228 11228 11228 11229 11229 11229 11229 11229 11229 11230 11230 11230 11230 11230 11230 11230 11231 11231 11231 11231 11231 11231 11231 11232 11232 11232 11232 11232 11232 11232 11233 11233 11233 11233 11233 11233 11233 11234 11234 11234 11234 11234 11234 11234 11235 11235 11235 11235 11235 11235 11235 11236 11236 11236 11236 11236 11236 11236 11237 11237 11237 11237 11237 11237 11237 11238 11238 11238 11238 11238 11238 11239 11239 11239 11239 11239 11239 11239 11240 11240 11240 11240 11240 11240 11240 11241 11241 11241 11241 11241 11241 11241 11242 11242 11242 11242 11242 11242 11242 11243 11243 11243 11243 11243 11243 11243 11244 11244 11244 11244 11244 11244 11244 11245 11245 11245 11245 11245 11245 11245 11246 11246 11246 11246 11246 11246 11246 11247 11247 11247 11247 11247 11247 11247 11248 11248 11248 11248 11248 11248 11249 11249 11249 11249 11249 11249 11249 11250 11250 11250 11250 11250 11250 11250 11251 11251 11251 11251 11251 11251 11251 11252 11252 11252 11252 11252 11252 11252 11253 11253 11253 11253 11253 11253 11253 11254 11254 11254 11254 11254 11254 11254 11255 11255 11255 11255 11255 11255 11255 11256 11256 11256 11256 11256 11256 11256 11257 11257 11257 11257 11257 11257 11257 11258 11258 11258 11258 11258 11258 11258 11259 11259 11259 11259 11259 11259 11259 11260 11260 11260 11260 11260 11260 11260 11261 11261 11261 11261 11261 11261 11261 11262 11262 11262 11262 11262 11262 11262 11263 11263 11263 11263 11263 11263 11264 11264 11264 11264 11264 11264 11264 11265 11265 11265 11265 11265 11265 11265 11266 11266 11266 11266 11266 11266 11266 11267 11267 11267 11267 11267 11267 11267 11268 11268 11268 11268 11268 11268 11268 11269 11269 11269 11269 11269 11269 11269 11270 11270 11270 11270 11270 11270 11270 11271 11271 11271 11271 11271 11271 11271 11272 11272 11272 11272 11272 11272 11272 11273 11273 11273 11273 11273 11273 11273 11274 11274 11274 11274 11274 11274 11274 11275 11275 11275 11275 11275 11275 11275 11276 11276 11276 11276 11276 11276 11276 11277 11277 11277 11277 11277 11277 11277 11278 11278 11278 11278 11278 11278 11278 11279 11279 11279 11279 11279 11279 11279 11280 11280 11280 11280 11280 11280 11280 11281 11281 11281 11281 11281 11281 11281 11282 11282 11282 11282 11282 11282 11282 11283 11283 11283 11283 11283 11283 11283 11284 11284 11284 11284 11284 11284 11284 11285 11285 11285 11285 11285 11285 11285 11286 11286 11286 11286 11286 11286 11286 11287 11287 11287 11287 11287 11287 11287 11288 11288 11288 11288 11288 11288 11288 11289 11289 11289 11289 11289 11289 11289 11290 11290 11290 11290 11290 11290 11290 11291 11291 11291 11291 11291 11291 11291 11292 11292 11292 11292 11292 11292 11292 11293 11293 11293 11293 11293 11293 11293 11294 11294 11294 11294 11294 11294 11294 11295 11295 11295 11295 11295 11295 11295 11296 11296 11296 11296 11296 11296 11296 11297 11297 11297 11297 11297 11297 11297 11298 11298 11298 11298 11298 11298 11298 11299 11299 11299 11299 11299 11299 11299 11299 11300 11300 11300 11300 11300 11300 11300 11301 11301 11301 11301 11301 11301 11301 11302 11302 11302 11302 11302 11302 11302 11303 11303 11303 11303 11303 11303 11303 11304 11304 11304 11304 11304 11304 11304 11305 11305 11305 11305 11305 11305 11305 11306 11306 11306 11306 11306 11306 11306 11307 11307 11307 11307 11307 11307 11307 11308 11308 11308 11308 11308 11308 11308 11309 11309 11309 11309 11309 11309 11309 11310 11310 11310 11310 11310 11310 11310 11311 11311 11311 11311 11311 11311 11311 11312 11312 11312 11312 11312 11312 11312 11313 11313 11313 11313 11313 11313 11313 11314 11314 11314 11314 11314 11314 11314 11314 11315 11315 11315 11315 11315 11315 11315 11316 11316 11316 11316 11316 11316 11316 11317 11317 11317 11317 11317 11317 11317 11318 11318 11318 11318 11318 11318 11318 11319 11319 11319 11319 11319 11319 11319 11320 11320 11320 11320 11320 11320 11320 11321 11321 11321 11321 11321 11321 11321 11322 11322 11322 11322 11322 11322 11322 11323 11323 11323 11323 11323 11323 11323 11324 11324 11324 11324 11324 11324 11324 11324 11325 11325 11325 11325 11325 11325 11325 11326 11326 11326 11326 11326 11326 11326 11327 11327 11327 11327 11327 11327 11327 11328 11328 11328 11328 11328 11328 11328 11329 11329 11329 11329 11329 11329 11329 11330 11330 11330 11330 11330 11330 11330 11331 11331 11331 11331 11331 11331 11331 11332 11332 11332 11332 11332 11332 11332 11332 11333 11333 11333 11333 11333 11333 11333 11334 11334 11334 11334 11334 11334 11334 11335 11335 11335 11335 11335 11335 11335 11336 11336 11336 11336 11336 11336 11336 11337 11337 11337 11337 11337 11337 11337 11338 11338 11338 11338 11338 11338 11338 11339 11339 11339 11339 11339 11339 11339 11339 11340 11340 11340 11340 11340 11340 11340 11341 11341 11341 11341 11341 11341 11341 11342 11342 11342 11342 11342 11342 11342 11343 11343 11343 11343 11343 11343 11343 11344 11344 11344 11344 11344 11344 11344 11345 11345 11345 11345 11345 11345 11345 11346 11346 11346 11346 11346 11346 11346 11346 11347 11347 11347 11347 11347 11347 11347 11348 11348 11348 11348 11348 11348 11348 11349 11349 11349 11349 11349 11349 11349 11350 11350 11350 11350 11350 11350 11350 11351 11351 11351 11351 11351 11351 11351 11351 11352 11352 11352 11352 11352 11352 11352 11353 11353 11353 11353 11353 11353 11353 11354 11354 11354 11354 11354 11354 11354 11355 11355 11355 11355 11355 11355 11355 11356 11356 11356 11356 11356 11356 11356 11357 11357 11357 11357 11357 11357 11357 11357 11358 11358 11358 11358 11358 11358 11358 11359 11359 11359 11359 11359 11359 11359 11360 11360 11360 11360 11360 11360 11360 11361 11361 11361 11361 11361 11361 11361 11362 11362 11362 11362 11362 11362 11362 11362 11363 11363 11363 11363 11363 11363 11363 11364 11364 11364 11364 11364 11364 11364 11365 11365 11365 11365 11365 11365 11365 11366 11366 11366 11366 11366 11366 11366 11366 11367 11367 11367 11367 11367 11367 11367 11368 11368 11368 11368 11368 11368 11368 11369 11369 11369 11369 11369 11369 11369 11370 11370 11370 11370 11370 11370 11370 11371 11371 11371 11371 11371 11371 11371 11371 11372 11372 11372 11372 11372 11372 11372 11373 11373 11373 11373 11373 11373 11373 11374 11374 11374 11374 11374 11374 11374 11375 11375 11375 11375 11375 11375 11375 11375 11376 11376 11376 11376 11376 11376 11376 11377 11377 11377 11377 11377 11377 11377 11378 11378 11378 11378 11378 11378 11378 11379 11379 11379 11379 11379 11379 11379 11379 11380 11380 11380 11380 11380 11380 11380 11381 11381 11381 11381 11381 11381 11381 11382 11382 11382 11382 11382 11382 11382 11383 11383 11383 11383 11383 11383 11383 11383 11384 11384 11384 11384 11384 11384 11384 11385 11385 11385 11385 11385 11385 11385 11386 11386 11386 11386 11386 11386 11386 11386 11387 11387 11387 11387 11387 11387 11387 11388 11388 11388 11388 11388 11388 11388 11389 11389 11389 11389 11389 11389 11389 11390 11390 11390 11390 11390 11390 11390 11390 11391 11391 11391 11391 11391 11391 11391 11392 11392 11392 11392 11392 11392 11392 11393 11393 11393 11393 11393 11393 11393 11393 11394 11394 11394 11394 11394 11394 11394 11395 11395 11395 11395 11395 11395 11395 11396 11396 11396 11396 11396 11396 11396 11397 11397 11397 11397 11397 11397 11397 11397 11398 11398 11398 11398 11398 11398 11398 11399 11399 11399 11399 11399 11399 11399 11400 11400 11400 11400 11400 11400 11400 11400 11401 11401 11401 11401 11401 11401 11401 11402 11402 11402 11402 11402 11402 11402 11403 11403 11403 11403 11403 11403 11403 11403 11404 11404 11404 11404 11404 11404 11404 11405 11405 11405 11405 11405 11405 11405 11406 11406 11406 11406 11406 11406 11406 11406 11407 11407 11407 11407 11407 11407 11407 11408 11408 11408 11408 11408 11408 11408 11409 11409 11409 11409 11409 11409 11409 11409 11410 11410 11410 11410 11410 11410 11410 11411 11411 11411 11411 11411 11411 11411 11412 11412 11412 11412 11412 11412 11412 11412 11413 11413 11413 11413 11413 11413 11413 11414 11414 11414 11414 11414 11414 11414 11415 11415 11415 11415 11415 11415 11415 11415 11416 11416 11416 11416 11416 11416 11416 11417 11417 11417 11417 11417 11417 11417 11418 11418 11418 11418 11418 11418 11418 11418 11419 11419 11419 11419 11419 11419 11419 11420 11420 11420 11420 11420 11420 11420 11421 11421 11421 11421 11421 11421 11421 11421 11422 11422 11422 11422 11422 11422 11422 11423 11423 11423 11423 11423 11423 11423 11424 11424 11424 11424 11424 11424 11424 11424 11425 11425 11425 11425 11425 11425 11425 11426 11426 11426 11426 11426 11426 11426 11426 11427 11427 11427 11427 11427 11427 11427 11428 11428 11428 11428 11428 11428 11428 11429 11429 11429 11429 11429 11429 11429 11429 11430 11430 11430 11430 11430 11430 11430 11431 11431 11431 11431 11431 11431 11431 11431 11432 11432 11432 11432 11432 11432 11432 11433 11433 11433 11433 11433 11433 11433 11434 11434 11434 11434 11434 11434 11434 11434 11435 11435 11435 11435 11435 11435 11435 11436 11436 11436 11436 11436 11436 11436 11436 11437 11437 11437 11437 11437 11437 11437 11438 11438 11438 11438 11438 11438 11438 11439 11439 11439 11439 11439 11439 11439 11439 11440 11440 11440 11440 11440 11440 11440 11441 11441 11441 11441 11441 11441 11441 11441 11442 11442 11442 11442 11442 11442 11442 11443 11443 11443 11443 11443 11443 11443 11444 11444 11444 11444 11444 11444 11444 11444 11445 11445 11445 11445 11445 11445 11445 11446 11446 11446 11446 11446 11446 11446 11446 11447 11447 11447 11447 11447 11447 11447 11448 11448 11448 11448 11448 11448 11448 11448 11449 11449 11449 11449 11449 11449 11449 11450 11450 11450 11450 11450 11450 11450 11451 11451 11451 11451 11451 11451 11451 11451 11452 11452 11452 11452 11452 11452 11452 11453 11453 11453 11453 11453 11453 11453 11453 11454 11454 11454 11454 11454 11454 11454 11455 11455 11455 11455 11455 11455 11455 11455 11456 11456 11456 11456 11456 11456 11456 11457 11457 11457 11457 11457 11457 11457 11457 11458 11458 11458 11458 11458 11458 11458 11459 11459 11459 11459 11459 11459 11459 11460 11460 11460 11460 11460 11460 11460 11460 11461 11461 11461 11461 11461 11461 11461 11462 11462 11462 11462 11462 11462 11462 11462 11463 11463 11463 11463 11463 11463 11463 11464 11464 11464 11464 11464 11464 11464 11464 11465 11465 11465 11465 11465 11465 11465 11466 11466 11466 11466 11466 11466 11466 11466 11467 11467 11467 11467 11467 11467 11467 11468 11468 11468 11468 11468 11468 11468 11468 11469 11469 11469 11469 11469 11469 11469 11470 11470 11470 11470 11470 11470 11470 11470 11471 11471 11471 11471 11471 11471 11471 11472 11472 11472 11472 11472 11472 11472 11472 11473 11473 11473 11473 11473 11473 11473 11474 11474 11474 11474 11474 11474 11474 11474 11475 11475 11475 11475 11475 11475 11475 11476 11476 11476 11476 11476 11476 11476 11476 11477 11477 11477 11477 11477 11477 11477 11478 11478 11478 11478 11478 11478 11478 11478 11479 11479 11479 11479 11479 11479 11479 11480 11480 11480 11480 11480 11480 11480 11480 11481 11481 11481 11481 11481 11481 11481 11482 11482 11482 11482 11482 11482 11482 11482 11483 11483 11483 11483 11483 11483 11483 11484 11484 11484 11484 11484 11484 11484 11484 11485 11485 11485 11485 11485 11485 11485 11485 11486 11486 11486 11486 11486 11486 11486 11487 11487 11487 11487 11487 11487 11487 11487 11488 11488 11488 11488 11488 11488 11488 11489 11489 11489 11489 11489 11489 11489 11489 11490 11490 11490 11490 11490 11490 11490 11491 11491 11491 11491 11491 11491 11491 11491 11492 11492 11492 11492 11492 11492 11492 11493 11493 11493 11493 11493 11493 11493 11493 11494 11494 11494 11494 11494 11494 11494 11495 11495 11495 11495 11495 11495 11495 11495 11496 11496 11496 11496 11496 11496 11496 11496 11497 11497 11497 11497 11497 11497 11497 11498 11498 11498 11498 11498 11498 11498 11498 11499 11499 11499 11499 11499 11499 11499 11500 11500 11500 11500 11500 11500 11500 11500 11504 11508 11512 11516 11520 11524 11529 11533 11537 11541 11545 11549 11553 11557 11561 11565 11569 11573 11577 11581 11585 11589 11593 11597 11601 11606 11610 11614 11618 11622 11626 11630 11634 11638 11642 11646 11650 11654 11658 11662 11666 11670 11674 11678 11683 11687 11691 11695 11699 11703 11707 11711 11715 11719 11723 11727 11731 11735 11739 11743 11747 11751 11755 11760 11764 11768 11772 11776 11780 11784 11788 11792 11796 11801 11805 11809 11813 11818 11822 11826 11830 11834 11839 11843 11847 11851 11855 11859 11864 11868 11872 11876 11880 11885 11889 11893 11897 11901 11906 11910 11914 11918 11922 11926 11931 11935 11939 11943 11947 11952 11956 11960 11964 11968 11973 11977 11981 11985 11989 11993 11998 12002 12006 12010 12014 12019 12023 12027 12031 12035 12040 12044 12048 12052 12056 12060 12065 12069 12073 12078 12082 12087 12091 12095 12100 12104 12108 12113 12117 12121 12126 12130 12134 12139 12143 12147 12152 12156 12160 12165 12169 12173 12178 12182 12186 12191 12195 12199 12204 12208 12212 12217 12221 12225 12230 12234 12238 12243 12247 12251 12256 12260 12264 12269 12273 12277 12282 12286 12290 12295 12299 12303 12308 12312 12316 12321 12325 12329 12334 12338 12342 12347 12352 12356 12361 12365 12370 12374 12379 12383 12388 12392 12397 12401 12406 12410 12415 12419 12424 12428 12433 12437 12442 12446 12451 12455 12460 12464 12469 12473 12478 12482 12487 12491 12496 12500 12505 12509 12513 12518 12522 12527 12531 12536 12540 12545 12549 12554 12558 12563 12567 12572 12576 12581 12585 12590 12594 12599 12603 12608 12613 12618 12623 12627 12632 12637 12641 12646 12650 12655 12660 12664 12669 12674 12678 12683 12688 12692 12697 12702 12706 12711 12716 12720 12725 12730 12734 12739 12744 12748 12753 12758 12762 12767 12772 12776 12781 12785 12790 12795 12799 12804 12809 12813 12818 12823 12827 12832 12837 12841 12846 12851 12856 12861 12866 12871 12875 12880 12885 12890 12895 12900 12904 12909 12914 12919 12924 12929 12933 12938 12943 12948 12953 12958 12962 12967 12972 12977 12982 12987 12991 12996 13001 13006 13011 13016 13021 13025 13030 13035 13040 13045 13050 13054 13059 13064 13069 13074 13079 13083 13088 13093 13099 13104 13109 13132 13137 13149 13155 13160 13173 13177 13189 13195 13199 13212 13216 13220 13233 13237 13246 13254 13258 13271 13274 13278 13291 13294 13298 13311 13314 13318 13329 13334 13337 13343 13353 13357 13360 13372 13376 13379 13391 13394 13398 13403 13413 13416 13419 13431 13434 13437 13440 13453 13456 13459 13471 13474 13476 13479 13491 13494 13497 13500 13512 13515 13517 13520 13532 13535 13538 13540 13552 13555 13557 13560 13572 13573 13575 13577 13578 13580 13582

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_Diffusion2D-PT-D40N010"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/user/u8/hulinhub/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_Diffusion2D-PT-D40N010.tgz
mv S_Diffusion2D-PT-D40N010 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 S_Diffusion2D-PT-D40N010, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r134st-blw3-143297580000352"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;