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-158922807500432.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-D10N050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807500432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 3.5K Mar 31 06:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 31 06:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 22:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 22:50 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 25K 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 4.9K Mar 28 14:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 14:30 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 1589361608035

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Diffusion2D (PT), instance D10N050
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 29 NEW BEST:: SOT 39140 SOS 7726 HAS SOPS 7726 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3563.726
AT ITER 33 NEW BEST:: SOT 39136 SOS 7826 HAS SOPS 7826 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3561.826
AT ITER 47 NEW BEST:: SOT 39116 SOS 7816 HAS SOPS 7816 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3555.816
AT ITER 90 NEW BEST:: SOT 39146 SOS 7796 HAS SOPS 7796 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3555.796
AT ITER 91 NEW BEST:: SOT 39260 SOS 8024 HAS SOPS 8024 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3534.024
AT ITER 106 NEW BEST:: SOT 39216 SOS 7996 HAS SOPS 7996 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3531.996
AT ITER 132 NEW BEST:: SOT 39240 SOS 7990 HAS SOPS 7990 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3527.99
AT ITER 151 NEW BEST:: SOT 39238 SOS 7930 HAS SOPS 7930 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3527.93
AT ITER 164 NEW BEST:: SOT 39250 SOS 7936 HAS SOPS 7936 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3525.936
AT ITER 166 NEW BEST:: SOT 39214 SOS 7960 HAS SOPS 7960 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3523.96
AT ITER 220 NEW BEST:: SOT 39198 SOS 7928 HAS SOPS 7928 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3521.928
AT ITER 241 NEW BEST:: SOT 39178 SOS 7984 HAS SOPS 7984 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3519.984
AT ITER 268 NEW BEST:: SOT 39174 SOS 7976 HAS SOPS 7976 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3519.976
AT ITER 272 NEW BEST:: SOT 39166 SOS 7966 HAS SOPS 7966 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3519.966
AT ITER 284 NEW BEST:: SOT 39160 SOS 8044 HAS SOPS 8044 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3518.044
AT ITER 295 NEW BEST:: SOT 39154 SOS 8032 HAS SOPS 8032 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3516.032
AT ITER 310 NEW BEST:: SOT 39146 SOS 8026 HAS SOPS 8026 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3516.026
AT ITER 350 NEW BEST:: SOT 39144 SOS 8010 HAS SOPS 8010 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3510.01
AT ITER 351 NEW BEST:: SOT 39170 SOS 7996 HAS SOPS 7996 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3495.996
AT ITER 355 NEW BEST:: SOT 39098 SOS 7936 HAS SOPS 7936 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3483.936
AT ITER 360 NEW BEST:: SOT 39094 SOS 7934 HAS SOPS 7934 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3481.934
AT ITER 368 NEW BEST:: SOT 39092 SOS 7930 HAS SOPS 7930 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3481.93
AT ITER 378 NEW BEST:: SOT 39110 SOS 7966 HAS SOPS 7966 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3479.966
AT ITER 379 NEW BEST:: SOT 39054 SOS 7944 HAS SOPS 7944 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3473.944
AT ITER 392 NEW BEST:: SOT 39052 SOS 7940 HAS SOPS 7940 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3471.94
AT ITER 427 NEW BEST:: SOT 39040 SOS 7928 HAS SOPS 7928 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3471.928
AT ITER 473 NEW BEST:: SOT 38994 SOS 7884 HAS SOPS 7884 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3455.884
AT ITER 499 NEW BEST:: SOT 39014 SOS 7924 HAS SOPS 7924 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3433.924
AT ITER 502 NEW BEST:: SOT 38996 SOS 7888 HAS SOPS 7888 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3417.888
AT ITER 517 NEW BEST:: SOT 38990 SOS 7876 HAS SOPS 7876 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3413.876
AT ITER 519 NEW BEST:: SOT 38940 SOS 7812 HAS SOPS 7812 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3385.812
AT ITER 553 NEW BEST:: SOT 38912 SOS 7756 HAS SOPS 7756 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3357.756
AT ITER 561 NEW BEST:: SOT 38910 SOS 7744 HAS SOPS 7744 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3357.744
AT ITER 588 NEW BEST:: SOT 38906 SOS 7736 HAS SOPS 7736 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3349.736
AT ITER 599 NEW BEST:: SOT 38900 SOS 7724 HAS SOPS 7724 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3349.724
AT ITER 619 NEW BEST:: SOT 38914 SOS 7674 HAS SOPS 7674 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3325.674
AT ITER 668 NEW BEST:: SOT 38930 SOS 7646 HAS SOPS 7646 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3323.646
AT ITER 691 NEW BEST:: SOT 38928 SOS 7630 HAS SOPS 7630 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3323.63
AT ITER 717 NEW BEST:: SOT 38914 SOS 7704 HAS SOPS 7704 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3319.704
AT ITER 857 NEW BEST:: SOT 38910 SOS 7696 HAS SOPS 7696 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3319.696
AT ITER 861 NEW BEST:: SOT 38908 SOS 7692 HAS SOPS 7692 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3317.692
AT ITER 872 NEW BEST:: SOT 38904 SOS 7654 HAS SOPS 7654 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3307.654
AT ITER 940 NEW BEST:: SOT 38888 SOS 7622 HAS SOPS 7622 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3301.622
AT ITER 953 NEW BEST:: SOT 38878 SOS 7602 HAS SOPS 7602 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3299.602
AT ITER 982 NEW BEST:: SOT 38878 SOS 7584 HAS SOPS 7584 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3299.584
AT ITER 1046 NEW BEST:: SOT 38866 SOS 7578 HAS SOPS 7578 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3293.578
AT ITER 1060 NEW BEST:: SOT 38862 SOS 7576 HAS SOPS 7576 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3293.576
AT ITER 1065 NEW BEST:: SOT 38856 SOS 7564 HAS SOPS 7564 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3289.564
AT ITER 1132 NEW BEST:: SOT 38856 SOS 7558 HAS SOPS 7558 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3289.558
AT ITER 1154 NEW BEST:: SOT 38854 SOS 7554 HAS SOPS 7554 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3287.554
AT ITER 1169 NEW BEST:: SOT 38812 SOS 7470 HAS SOPS 7470 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3271.47
AT ITER 1186 NEW BEST:: SOT 38814 SOS 7466 HAS SOPS 7466 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3271.466
AT ITER 1206 NEW BEST:: SOT 38818 SOS 7510 HAS SOPS 7510 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3269.51
AT ITER 1218 NEW BEST:: SOT 38768 SOS 7442 HAS SOPS 7442 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3269.442
AT ITER 1222 NEW BEST:: SOT 38756 SOS 7418 HAS SOPS 7418 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3265.418
AT ITER 1230 NEW BEST:: SOT 38760 SOS 7414 HAS SOPS 7414 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3263.414
AT ITER 1364 NEW BEST:: SOT 38756 SOS 7406 HAS SOPS 7406 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3263.406
AT ITER 1374 NEW BEST:: SOT 38774 SOS 7388 HAS SOPS 7388 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3263.388
AT ITER 1391 NEW BEST:: SOT 38752 SOS 7344 HAS SOPS 7344 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3255.344
AT ITER 1418 NEW BEST:: SOT 38746 SOS 7338 HAS SOPS 7338 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3253.338
AT ITER 1424 NEW BEST:: SOT 38748 SOS 7336 HAS SOPS 7336 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3253.336
AT ITER 1442 NEW BEST:: SOT 38750 SOS 7340 HAS SOPS 7340 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3251.34
AT ITER 1510 NEW BEST:: SOT 38758 SOS 7356 HAS SOPS 7356 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3249.356
AT ITER 1522 NEW BEST:: SOT 38758 SOS 7338 HAS SOPS 7338 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3249.338
AT ITER 1540 NEW BEST:: SOT 38760 SOS 7300 HAS SOPS 7300 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3249.3
AT ITER 1601 NEW BEST:: SOT 38752 SOS 7302 HAS SOPS 7302 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3247.302
AT ITER 1636 NEW BEST:: SOT 38742 SOS 7282 HAS SOPS 7282 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3243.282
AT ITER 1778 NEW BEST:: SOT 38738 SOS 7274 HAS SOPS 7274 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3239.274
AT ITER 1820 NEW BEST:: SOT 38742 SOS 7276 HAS SOPS 7276 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3237.276
AT ITER 1842 NEW BEST:: SOT 38736 SOS 7264 HAS SOPS 7264 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3237.264
AT ITER 1858 NEW BEST:: SOT 38734 SOS 7260 HAS SOPS 7260 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3233.26
AT ITER 1961 NEW BEST:: SOT 38734 SOS 7254 HAS SOPS 7254 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3233.254
AT ITER 1976 NEW BEST:: SOT 38732 SOS 7250 HAS SOPS 7250 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3233.25
AT ITER 1995 NEW BEST:: SOT 38720 SOS 7246 HAS SOPS 7246 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3229.246
AT ITER 2061 NEW BEST:: SOT 38720 SOS 7228 HAS SOPS 7228 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3229.228
AT ITER 2062 NEW BEST:: SOT 38722 SOS 7226 HAS SOPS 7226 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3229.226
AT ITER 2097 NEW BEST:: SOT 38718 SOS 7224 HAS SOPS 7224 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3227.224
AT ITER 2104 NEW BEST:: SOT 38716 SOS 7220 HAS SOPS 7220 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3227.22
AT ITER 2196 NEW BEST:: SOT 38708 SOS 7216 HAS SOPS 7216 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3227.216
AT ITER 2236 NEW BEST:: SOT 38708 SOS 7216 HAS SOPS 7216 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.216
AT ITER 2285 NEW BEST:: SOT 38684 SOS 7208 HAS SOPS 7208 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.208
AT ITER 2372 NEW BEST:: SOT 38682 SOS 7204 HAS SOPS 7204 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.204
AT ITER 2433 NEW BEST:: SOT 38674 SOS 7188 HAS SOPS 7188 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3223.188
AT ITER 2472 NEW BEST:: SOT 38670 SOS 7174 HAS SOPS 7174 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3223.174
AT ITER 2525 NEW BEST:: SOT 38646 SOS 7126 HAS SOPS 7126 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3217.126
AT ITER 2583 NEW BEST:: SOT 38642 SOS 7118 HAS SOPS 7118 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3217.118
AT ITER 2587 NEW BEST:: SOT 38634 SOS 7102 HAS SOPS 7102 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3213.102
AT ITER 2597 NEW BEST:: SOT 38590 SOS 7014 HAS SOPS 7014 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3193.014
AT ITER 2628 NEW BEST:: SOT 38590 SOS 7002 HAS SOPS 7002 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3193.002
AT ITER 2669 NEW BEST:: SOT 38600 SOS 6992 HAS SOPS 6992 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3192.992
AT ITER 2677 NEW BEST:: SOT 38588 SOS 6986 HAS SOPS 6986 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3176.986
AT ITER 2683 NEW BEST:: SOT 38576 SOS 6974 HAS SOPS 6974 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3172.974
AT ITER 2692 NEW BEST:: SOT 38574 SOS 6970 HAS SOPS 6970 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3168.97
AT ITER 2775 NEW BEST:: SOT 38572 SOS 6966 HAS SOPS 6966 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3162.966
AT ITER 2785 NEW BEST:: SOT 38554 SOS 6960 HAS SOPS 6960 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3162.96
AT ITER 2787 NEW BEST:: SOT 38548 SOS 6948 HAS SOPS 6948 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3152.948
AT ITER 2827 NEW BEST:: SOT 38544 SOS 6940 HAS SOPS 6940 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3152.94
AT ITER 2928 NEW BEST:: SOT 38542 SOS 6936 HAS SOPS 6936 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3150.936
AT ITER 2963 NEW BEST:: SOT 38540 SOS 6932 HAS SOPS 6932 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3146.932
AT ITER 3042 NEW BEST:: SOT 38536 SOS 6924 HAS SOPS 6924 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3144.924
AT ITER 3155 NEW BEST:: SOT 38536 SOS 6888 HAS SOPS 6888 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3144.888
AT ITER 3202 NEW BEST:: SOT 38528 SOS 6884 HAS SOPS 6884 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3140.884
AT ITER 3287 NEW BEST:: SOT 38524 SOS 6924 HAS SOPS 6924 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.924
AT ITER 3465 NEW BEST:: SOT 38528 SOS 6914 HAS SOPS 6914 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.914
AT ITER 3688 NEW BEST:: SOT 38512 SOS 6902 HAS SOPS 6902 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3134.902
AT ITER 3727 NEW BEST:: SOT 38510 SOS 6898 HAS SOPS 6898 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3134.898
AT ITER 3843 NEW BEST:: SOT 38498 SOS 6850 HAS SOPS 6850 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3128.85
AT ITER 4165 NEW BEST:: SOT 38492 SOS 6844 HAS SOPS 6844 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3126.844
AT ITER 4204 NEW BEST:: SOT 38478 SOS 6834 HAS SOPS 6834 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3124.834
AT ITER 4286 NEW BEST:: SOT 38474 SOS 6826 HAS SOPS 6826 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3122.826
AT ITER 4341 NEW BEST:: SOT 38464 SOS 6806 HAS SOPS 6806 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3114.806
AT ITER 4371 NEW BEST:: SOT 38458 SOS 6818 HAS SOPS 6818 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3112.818
AT ITER 4750 NEW BEST:: SOT 38458 SOS 6818 HAS SOPS 6818 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3108.818
AT ITER 4759 NEW BEST:: SOT 38438 SOS 6802 HAS SOPS 6802 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3106.802
AT ITER 4797 NEW BEST:: SOT 38434 SOS 6794 HAS SOPS 6794 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.794
AT ITER 4863 NEW BEST:: SOT 38428 SOS 6782 HAS SOPS 6782 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3100.782
AT ITER 5095 NEW BEST:: SOT 38432 SOS 6784 HAS SOPS 6784 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3098.784
AT ITER 5103 NEW BEST:: SOT 38426 SOS 6784 HAS SOPS 6784 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3096.784
AT ITER 5209 NEW BEST:: SOT 38424 SOS 6780 HAS SOPS 6780 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3094.78
AT ITER 5571 NEW BEST:: SOT 38418 SOS 6768 HAS SOPS 6768 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3094.768
AT ITER 5750 NEW BEST:: SOT 38412 SOS 6766 HAS SOPS 6766 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.766
AT ITER 5918 NEW BEST:: SOT 38410 SOS 6762 HAS SOPS 6762 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.762
AT ITER 5922 NEW BEST:: SOT 38410 SOS 6744 HAS SOPS 6744 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.744
AT ITER 5925 NEW BEST:: SOT 38406 SOS 6736 HAS SOPS 6736 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3090.736
AT ITER 6055 NEW BEST:: SOT 38404 SOS 6732 HAS SOPS 6732 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3088.732
AT ITER 6374 NEW BEST:: SOT 38392 SOS 6720 HAS SOPS 6720 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3084.72
AT ITER 6494 NEW BEST:: SOT 38386 SOS 6708 HAS SOPS 6708 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3082.708
AT ITER 6496 NEW BEST:: SOT 38378 SOS 6704 HAS SOPS 6704 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.704
AT ITER 6783 NEW BEST:: SOT 38386 SOS 6702 HAS SOPS 6702 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.702
AT ITER 6843 NEW BEST:: SOT 38382 SOS 6700 HAS SOPS 6700 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.7
AT ITER 7486 NEW BEST:: SOT 38382 SOS 6676 HAS SOPS 6676 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.676
AT ITER 7627 NEW BEST:: SOT 38374 SOS 6672 HAS SOPS 6672 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3074.672
AT ITER 7717 NEW BEST:: SOT 38370 SOS 6664 HAS SOPS 6664 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.664
AT ITER 8099 NEW BEST:: SOT 38366 SOS 6662 HAS SOPS 6662 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3070.662
AT ITER 8192 NEW BEST:: SOT 38366 SOS 6662 HAS SOPS 6662 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.662
AT ITER 8231 NEW BEST:: SOT 38362 SOS 6654 HAS SOPS 6654 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3066.654
AT ITER 8546 NEW BEST:: SOT 38360 SOS 6650 HAS SOPS 6650 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3064.65
AT ITER 9182 NEW BEST:: SOT 38358 SOS 6646 HAS SOPS 6646 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3064.646
AT ITER 9628 NEW BEST:: SOT 38354 SOS 6632 HAS SOPS 6632 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3062.632
AT ITER 9741 NEW BEST:: SOT 38352 SOS 6628 HAS SOPS 6628 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3062.628
AT ITER 9839 NEW BEST:: SOT 38348 SOS 6632 HAS SOPS 6632 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3058.632
AT ITER 9849 NEW BEST:: SOT 38344 SOS 6624 HAS SOPS 6624 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.624
STATE_SPACE STATES 13419107273154621529493489587286210498760 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 50 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 50 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3080090394240859438313270764330123483608000 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589361643009

--------------------
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-D10N050"
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-D10N050, 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-158922807500432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N050.tgz
mv Diffusion2D-PT-D10N050 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 ;