Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807500448.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Diffusion2D-PT-D10N150, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807500448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 4.2K Mar 31 06:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 31 06:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 29 22:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 29 22:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 07:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 07:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 255K Mar 24 05:37 model.pnml

--------------------
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 1589361843046

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Diffusion2D (PT), instance D10N150
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 100 places, 684 transitions, 1368 arcs.
AT ITER 0 NEW BEST:: SOT 39196 SOS 7736 HAS SOPS 7736 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3565.736
AT ITER 1 NEW BEST:: SOT 39206 SOS 7738 HAS SOPS 7738 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3563.738
AT ITER 30 NEW BEST:: SOT 39180 SOS 7752 HAS SOPS 7752 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3561.752
AT ITER 78 NEW BEST:: SOT 39128 SOS 7756 HAS SOPS 7756 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3545.756
AT ITER 79 NEW BEST:: SOT 39124 SOS 7850 HAS SOPS 7850 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3543.85
AT ITER 115 NEW BEST:: SOT 39120 SOS 7842 HAS SOPS 7842 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3539.842
AT ITER 123 NEW BEST:: SOT 39112 SOS 7826 HAS SOPS 7826 HAS SOUS 3528 HAS SOUPS 3528 WITH SCORE 3535.826
AT ITER 129 NEW BEST:: SOT 39094 SOS 7870 HAS SOPS 7870 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3533.87
AT ITER 158 NEW BEST:: SOT 39080 SOS 7842 HAS SOPS 7842 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3533.842
AT ITER 166 NEW BEST:: SOT 39086 SOS 7724 HAS SOPS 7724 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3533.724
AT ITER 177 NEW BEST:: SOT 39104 SOS 7706 HAS SOPS 7706 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3517.706
AT ITER 199 NEW BEST:: SOT 39070 SOS 7692 HAS SOPS 7692 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3517.692
AT ITER 200 NEW BEST:: SOT 39072 SOS 7676 HAS SOPS 7676 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3517.676
AT ITER 265 NEW BEST:: SOT 39034 SOS 7660 HAS SOPS 7660 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3517.66
AT ITER 269 NEW BEST:: SOT 39018 SOS 7628 HAS SOPS 7628 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3513.628
AT ITER 294 NEW BEST:: SOT 39016 SOS 7604 HAS SOPS 7604 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3513.604
AT ITER 307 NEW BEST:: SOT 39058 SOS 7826 HAS SOPS 7826 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3511.826
AT ITER 313 NEW BEST:: SOT 39098 SOS 7750 HAS SOPS 7750 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3509.75
AT ITER 314 NEW BEST:: SOT 39128 SOS 7954 HAS SOPS 7954 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3507.954
AT ITER 337 NEW BEST:: SOT 39120 SOS 7938 HAS SOPS 7938 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3507.938
AT ITER 343 NEW BEST:: SOT 39092 SOS 7922 HAS SOPS 7922 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3507.922
AT ITER 368 NEW BEST:: SOT 39116 SOS 7922 HAS SOPS 7922 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3501.922
AT ITER 375 NEW BEST:: SOT 39122 SOS 7898 HAS SOPS 7898 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3501.898
AT ITER 387 NEW BEST:: SOT 39122 SOS 7868 HAS SOPS 7868 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3501.868
AT ITER 400 NEW BEST:: SOT 39114 SOS 7852 HAS SOPS 7852 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3497.852
AT ITER 402 NEW BEST:: SOT 39092 SOS 7838 HAS SOPS 7838 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3485.838
AT ITER 467 NEW BEST:: SOT 39062 SOS 7778 HAS SOPS 7778 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3457.778
AT ITER 473 NEW BEST:: SOT 39062 SOS 7766 HAS SOPS 7766 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3451.766
AT ITER 523 NEW BEST:: SOT 39060 SOS 7762 HAS SOPS 7762 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3451.762
AT ITER 532 NEW BEST:: SOT 39076 SOS 7750 HAS SOPS 7750 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3451.75
AT ITER 553 NEW BEST:: SOT 39068 SOS 7716 HAS SOPS 7716 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3451.716
AT ITER 558 NEW BEST:: SOT 39048 SOS 7802 HAS SOPS 7802 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3435.802
AT ITER 565 NEW BEST:: SOT 39060 SOS 7826 HAS SOPS 7826 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3431.826
AT ITER 570 NEW BEST:: SOT 39068 SOS 7818 HAS SOPS 7818 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3423.818
AT ITER 591 NEW BEST:: SOT 39016 SOS 7792 HAS SOPS 7792 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3423.792
AT ITER 594 NEW BEST:: SOT 38998 SOS 7768 HAS SOPS 7768 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3417.768
AT ITER 630 NEW BEST:: SOT 39000 SOS 7766 HAS SOPS 7766 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3415.766
AT ITER 676 NEW BEST:: SOT 38990 SOS 7716 HAS SOPS 7716 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3415.716
AT ITER 702 NEW BEST:: SOT 38898 SOS 7622 HAS SOPS 7622 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3385.622
AT ITER 745 NEW BEST:: SOT 38842 SOS 7630 HAS SOPS 7630 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3381.63
AT ITER 792 NEW BEST:: SOT 38830 SOS 7626 HAS SOPS 7626 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3381.626
AT ITER 810 NEW BEST:: SOT 38816 SOS 7528 HAS SOPS 7528 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3357.528
AT ITER 835 NEW BEST:: SOT 38812 SOS 7520 HAS SOPS 7520 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3351.52
AT ITER 869 NEW BEST:: SOT 38790 SOS 7530 HAS SOPS 7530 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3345.53
AT ITER 930 NEW BEST:: SOT 38704 SOS 7430 HAS SOPS 7430 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3323.43
AT ITER 935 NEW BEST:: SOT 38614 SOS 7250 HAS SOPS 7250 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3305.25
AT ITER 949 NEW BEST:: SOT 38616 SOS 7224 HAS SOPS 7224 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3303.224
AT ITER 978 NEW BEST:: SOT 38592 SOS 7206 HAS SOPS 7206 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3303.206
AT ITER 1046 NEW BEST:: SOT 38592 SOS 7206 HAS SOPS 7206 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3301.206
AT ITER 1065 NEW BEST:: SOT 38588 SOS 7198 HAS SOPS 7198 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3295.198
AT ITER 1083 NEW BEST:: SOT 38590 SOS 7196 HAS SOPS 7196 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3295.196
AT ITER 1085 NEW BEST:: SOT 38542 SOS 7100 HAS SOPS 7100 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3271.1
AT ITER 1096 NEW BEST:: SOT 38540 SOS 7096 HAS SOPS 7096 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3257.096
AT ITER 1119 NEW BEST:: SOT 38556 SOS 7086 HAS SOPS 7086 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3257.086
AT ITER 1129 NEW BEST:: SOT 38544 SOS 7078 HAS SOPS 7078 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3257.078
AT ITER 1154 NEW BEST:: SOT 38536 SOS 7062 HAS SOPS 7062 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.062
AT ITER 1163 NEW BEST:: SOT 38516 SOS 7022 HAS SOPS 7022 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.022
AT ITER 1184 NEW BEST:: SOT 38504 SOS 6998 HAS SOPS 6998 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3238.998
AT ITER 1343 NEW BEST:: SOT 38498 SOS 6986 HAS SOPS 6986 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3238.986
AT ITER 1348 NEW BEST:: SOT 38494 SOS 6978 HAS SOPS 6978 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3218.978
AT ITER 1396 NEW BEST:: SOT 38492 SOS 6974 HAS SOPS 6974 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3212.974
AT ITER 1412 NEW BEST:: SOT 38492 SOS 6968 HAS SOPS 6968 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3212.968
AT ITER 1436 NEW BEST:: SOT 38476 SOS 6952 HAS SOPS 6952 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3212.952
AT ITER 1516 NEW BEST:: SOT 38474 SOS 6948 HAS SOPS 6948 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3210.948
AT ITER 1521 NEW BEST:: SOT 38472 SOS 6944 HAS SOPS 6944 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3208.944
AT ITER 1537 NEW BEST:: SOT 38468 SOS 6936 HAS SOPS 6936 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3208.936
AT ITER 1659 NEW BEST:: SOT 38454 SOS 6908 HAS SOPS 6908 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3208.908
AT ITER 1696 NEW BEST:: SOT 38454 SOS 6908 HAS SOPS 6908 HAS SOUS 3198 HAS SOUPS 3198 WITH SCORE 3204.908
AT ITER 1713 NEW BEST:: SOT 38456 SOS 6912 HAS SOPS 6912 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3202.912
AT ITER 1767 NEW BEST:: SOT 38456 SOS 6882 HAS SOPS 6882 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3202.882
AT ITER 1814 NEW BEST:: SOT 38436 SOS 6842 HAS SOPS 6842 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3182.842
AT ITER 1881 NEW BEST:: SOT 38434 SOS 6838 HAS SOPS 6838 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3182.838
AT ITER 1893 NEW BEST:: SOT 38420 SOS 6810 HAS SOPS 6810 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3180.81
AT ITER 1899 NEW BEST:: SOT 38420 SOS 6804 HAS SOPS 6804 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3180.804
AT ITER 1937 NEW BEST:: SOT 38404 SOS 6772 HAS SOPS 6772 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3172.772
AT ITER 2021 NEW BEST:: SOT 38400 SOS 6764 HAS SOPS 6764 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3166.764
AT ITER 2043 NEW BEST:: SOT 38396 SOS 6750 HAS SOPS 6750 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3162.75
AT ITER 2137 NEW BEST:: SOT 38394 SOS 6746 HAS SOPS 6746 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3160.746
AT ITER 2160 NEW BEST:: SOT 38390 SOS 6738 HAS SOPS 6738 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3158.738
AT ITER 2164 NEW BEST:: SOT 38386 SOS 6730 HAS SOPS 6730 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3150.73
AT ITER 2174 NEW BEST:: SOT 38384 SOS 6726 HAS SOPS 6726 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3148.726
AT ITER 2188 NEW BEST:: SOT 38380 SOS 6724 HAS SOPS 6724 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3146.724
AT ITER 2233 NEW BEST:: SOT 38374 SOS 6712 HAS SOPS 6712 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3146.712
AT ITER 2372 NEW BEST:: SOT 38374 SOS 6712 HAS SOPS 6712 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3142.712
AT ITER 2390 NEW BEST:: SOT 38372 SOS 6708 HAS SOPS 6708 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3142.708
AT ITER 2412 NEW BEST:: SOT 38372 SOS 6698 HAS SOPS 6698 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3142.698
AT ITER 2424 NEW BEST:: SOT 38374 SOS 6696 HAS SOPS 6696 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3140.696
AT ITER 2572 NEW BEST:: SOT 38372 SOS 6692 HAS SOPS 6692 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3138.692
AT ITER 2590 NEW BEST:: SOT 38368 SOS 6684 HAS SOPS 6684 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.684
AT ITER 2644 NEW BEST:: SOT 38356 SOS 6660 HAS SOPS 6660 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.66
AT ITER 2646 NEW BEST:: SOT 38354 SOS 6656 HAS SOPS 6656 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3134.656
AT ITER 2784 NEW BEST:: SOT 38352 SOS 6652 HAS SOPS 6652 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3134.652
AT ITER 2863 NEW BEST:: SOT 38366 SOS 6638 HAS SOPS 6638 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.638
AT ITER 3008 NEW BEST:: SOT 38362 SOS 6624 HAS SOPS 6624 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.624
AT ITER 3118 NEW BEST:: SOT 38354 SOS 6608 HAS SOPS 6608 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3118.608
AT ITER 3153 NEW BEST:: SOT 38330 SOS 6590 HAS SOPS 6590 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3108.59
AT ITER 3251 NEW BEST:: SOT 38312 SOS 6554 HAS SOPS 6554 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.554
AT ITER 3283 NEW BEST:: SOT 38316 SOS 6556 HAS SOPS 6556 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3100.556
AT ITER 3294 NEW BEST:: SOT 38312 SOS 6554 HAS SOPS 6554 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3098.554
AT ITER 3310 NEW BEST:: SOT 38310 SOS 6550 HAS SOPS 6550 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3098.55
AT ITER 3326 NEW BEST:: SOT 38306 SOS 6572 HAS SOPS 6572 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3096.572
AT ITER 3354 NEW BEST:: SOT 38302 SOS 6570 HAS SOPS 6570 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3094.57
AT ITER 3501 NEW BEST:: SOT 38294 SOS 6554 HAS SOPS 6554 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3090.554
AT ITER 3508 NEW BEST:: SOT 38288 SOS 6542 HAS SOPS 6542 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3086.542
AT ITER 3576 NEW BEST:: SOT 38300 SOS 6536 HAS SOPS 6536 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3084.536
AT ITER 3751 NEW BEST:: SOT 38298 SOS 6532 HAS SOPS 6532 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3082.532
AT ITER 3818 NEW BEST:: SOT 38304 SOS 6532 HAS SOPS 6532 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.532
AT ITER 3836 NEW BEST:: SOT 38300 SOS 6528 HAS SOPS 6528 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.528
AT ITER 3933 NEW BEST:: SOT 38294 SOS 6522 HAS SOPS 6522 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.522
AT ITER 4011 NEW BEST:: SOT 38292 SOS 6512 HAS SOPS 6512 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3076.512
AT ITER 4030 NEW BEST:: SOT 38294 SOS 6510 HAS SOPS 6510 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3076.51
AT ITER 4133 NEW BEST:: SOT 38294 SOS 6492 HAS SOPS 6492 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3076.492
AT ITER 4454 NEW BEST:: SOT 38290 SOS 6484 HAS SOPS 6484 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.484
AT ITER 4466 NEW BEST:: SOT 38284 SOS 6522 HAS SOPS 6522 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.522
AT ITER 4664 NEW BEST:: SOT 38280 SOS 6514 HAS SOPS 6514 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3060.514
AT ITER 4946 NEW BEST:: SOT 38270 SOS 6482 HAS SOPS 6482 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.482
AT ITER 5010 NEW BEST:: SOT 38244 SOS 6466 HAS SOPS 6466 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3054.466
AT ITER 5034 NEW BEST:: SOT 38240 SOS 6458 HAS SOPS 6458 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3052.458
AT ITER 5079 NEW BEST:: SOT 38238 SOS 6454 HAS SOPS 6454 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3046.454
AT ITER 5197 NEW BEST:: SOT 38234 SOS 6446 HAS SOPS 6446 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3046.446
AT ITER 5237 NEW BEST:: SOT 38230 SOS 6432 HAS SOPS 6432 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3044.432
AT ITER 5246 NEW BEST:: SOT 38228 SOS 6428 HAS SOPS 6428 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.428
AT ITER 5478 NEW BEST:: SOT 38222 SOS 6416 HAS SOPS 6416 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3040.416
AT ITER 5530 NEW BEST:: SOT 38218 SOS 6408 HAS SOPS 6408 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3038.408
AT ITER 5568 NEW BEST:: SOT 38226 SOS 6406 HAS SOPS 6406 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3038.406
AT ITER 5620 NEW BEST:: SOT 38226 SOS 6400 HAS SOPS 6400 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3038.4
AT ITER 5705 NEW BEST:: SOT 38222 SOS 6398 HAS SOPS 6398 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3036.398
AT ITER 5736 NEW BEST:: SOT 38218 SOS 6390 HAS SOPS 6390 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3036.39
AT ITER 5745 NEW BEST:: SOT 38216 SOS 6386 HAS SOPS 6386 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3034.386
AT ITER 5804 NEW BEST:: SOT 38202 SOS 6376 HAS SOPS 6376 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3032.376
AT ITER 5880 NEW BEST:: SOT 38200 SOS 6372 HAS SOPS 6372 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.372
AT ITER 6083 NEW BEST:: SOT 38194 SOS 6360 HAS SOPS 6360 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3026.36
AT ITER 6088 NEW BEST:: SOT 38190 SOS 6352 HAS SOPS 6352 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3024.352
AT ITER 6272 NEW BEST:: SOT 38188 SOS 6342 HAS SOPS 6342 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3020.342
AT ITER 6298 NEW BEST:: SOT 38186 SOS 6338 HAS SOPS 6338 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3020.338
AT ITER 6356 NEW BEST:: SOT 38178 SOS 6334 HAS SOPS 6334 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3018.334
AT ITER 6453 NEW BEST:: SOT 38172 SOS 6322 HAS SOPS 6322 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3016.322
AT ITER 6709 NEW BEST:: SOT 38168 SOS 6320 HAS SOPS 6320 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3014.32
AT ITER 6961 NEW BEST:: SOT 38164 SOS 6322 HAS SOPS 6322 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3012.322
AT ITER 7551 NEW BEST:: SOT 38150 SOS 6312 HAS SOPS 6312 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3012.312
AT ITER 8024 NEW BEST:: SOT 38152 SOS 6304 HAS SOPS 6304 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3012.304
AT ITER 8089 NEW BEST:: SOT 38146 SOS 6304 HAS SOPS 6304 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3010.304
AT ITER 8269 NEW BEST:: SOT 38138 SOS 6300 HAS SOPS 6300 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3006.3
AT ITER 8278 NEW BEST:: SOT 38136 SOS 6296 HAS SOPS 6296 HAS SOUS 2994 HAS SOUPS 2994 WITH SCORE 3000.296
AT ITER 8366 NEW BEST:: SOT 38132 SOS 6294 HAS SOPS 6294 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2998.294
AT ITER 8605 NEW BEST:: SOT 38124 SOS 6290 HAS SOPS 6290 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2996.29
AT ITER 8612 NEW BEST:: SOT 38120 SOS 6282 HAS SOPS 6282 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2994.282
AT ITER 8659 NEW BEST:: SOT 38122 SOS 6280 HAS SOPS 6280 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2992.28
AT ITER 8845 NEW BEST:: SOT 38120 SOS 6276 HAS SOPS 6276 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2988.276
AT ITER 8970 NEW BEST:: SOT 38118 SOS 6272 HAS SOPS 6272 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2984.272
AT ITER 9204 NEW BEST:: SOT 38116 SOS 6268 HAS SOPS 6268 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2982.268
AT ITER 9291 NEW BEST:: SOT 38116 SOS 6264 HAS SOPS 6264 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2982.264
AT ITER 9433 NEW BEST:: SOT 38116 SOS 6258 HAS SOPS 6258 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2980.258
AT ITER 9560 NEW BEST:: SOT 38112 SOS 6250 HAS SOPS 6250 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2978.25
AT ITER 9667 NEW BEST:: SOT 38112 SOS 6244 HAS SOPS 6244 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2978.244
AT ITER 9921 NEW BEST:: SOT 38112 SOS 6238 HAS SOPS 6238 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2978.238
STATE_SPACE STATES 242520983711364275168282666169455781913613043678110346873178692778335084 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 150 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 150 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 99930333047333231454882737144522743872838145708329805579068810759265781600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589362255888

--------------------
content from stderr:

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="Diffusion2D-PT-D10N150"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Diffusion2D-PT-D10N150, 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 r063-tajo-158922807500448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N150.tgz
mv Diffusion2D-PT-D10N150 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; 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
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;