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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 3.7K Mar 31 06:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 06:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 29 22:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 22:49 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.6K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Mar 28 14:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 28 14:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 07:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 07:30 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 1589361533130

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Diffusion2D (PT), instance D10N010
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 51 NEW BEST:: SOT 39194 SOS 7732 HAS SOPS 7732 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3559.732
AT ITER 75 NEW BEST:: SOT 39190 SOS 7826 HAS SOPS 7826 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3557.826
AT ITER 98 NEW BEST:: SOT 39092 SOS 7768 HAS SOPS 7768 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3513.768
AT ITER 119 NEW BEST:: SOT 39038 SOS 7738 HAS SOPS 7738 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3511.738
AT ITER 129 NEW BEST:: SOT 39030 SOS 7722 HAS SOPS 7722 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3499.722
AT ITER 139 NEW BEST:: SOT 39048 SOS 7704 HAS SOPS 7704 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3499.704
AT ITER 140 NEW BEST:: SOT 39048 SOS 7684 HAS SOPS 7684 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3499.684
AT ITER 150 NEW BEST:: SOT 39038 SOS 7664 HAS SOPS 7664 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3457.664
AT ITER 152 NEW BEST:: SOT 38992 SOS 7638 HAS SOPS 7638 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3455.638
AT ITER 176 NEW BEST:: SOT 38988 SOS 7630 HAS SOPS 7630 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3453.63
AT ITER 218 NEW BEST:: SOT 38886 SOS 7556 HAS SOPS 7556 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3407.556
AT ITER 240 NEW BEST:: SOT 38910 SOS 7550 HAS SOPS 7550 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3403.55
AT ITER 248 NEW BEST:: SOT 38808 SOS 7466 HAS SOPS 7466 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3379.466
AT ITER 249 NEW BEST:: SOT 38694 SOS 7310 HAS SOPS 7310 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3335.31
AT ITER 251 NEW BEST:: SOT 38696 SOS 7314 HAS SOPS 7314 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3333.314
AT ITER 279 NEW BEST:: SOT 38726 SOS 7306 HAS SOPS 7306 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3333.306
AT ITER 285 NEW BEST:: SOT 38690 SOS 7234 HAS SOPS 7234 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3319.234
AT ITER 300 NEW BEST:: SOT 38702 SOS 7228 HAS SOPS 7228 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3315.228
AT ITER 319 NEW BEST:: SOT 38712 SOS 7230 HAS SOPS 7230 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3313.23
AT ITER 363 NEW BEST:: SOT 38710 SOS 7226 HAS SOPS 7226 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3309.226
AT ITER 384 NEW BEST:: SOT 38654 SOS 7192 HAS SOPS 7192 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3303.192
AT ITER 424 NEW BEST:: SOT 38650 SOS 7184 HAS SOPS 7184 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3297.184
AT ITER 425 NEW BEST:: SOT 38642 SOS 7168 HAS SOPS 7168 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3291.168
AT ITER 439 NEW BEST:: SOT 38622 SOS 7230 HAS SOPS 7230 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3287.23
AT ITER 495 NEW BEST:: SOT 38598 SOS 7182 HAS SOPS 7182 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3279.182
AT ITER 507 NEW BEST:: SOT 38590 SOS 7176 HAS SOPS 7176 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3279.176
AT ITER 515 NEW BEST:: SOT 38586 SOS 7168 HAS SOPS 7168 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3273.168
AT ITER 520 NEW BEST:: SOT 38586 SOS 7078 HAS SOPS 7078 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3273.078
AT ITER 608 NEW BEST:: SOT 38574 SOS 7054 HAS SOPS 7054 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3263.054
AT ITER 647 NEW BEST:: SOT 38564 SOS 7094 HAS SOPS 7094 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3257.094
AT ITER 649 NEW BEST:: SOT 38560 SOS 7086 HAS SOPS 7086 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3257.086
AT ITER 673 NEW BEST:: SOT 38534 SOS 7016 HAS SOPS 7016 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3243.016
AT ITER 683 NEW BEST:: SOT 38532 SOS 7012 HAS SOPS 7012 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3243.012
AT ITER 707 NEW BEST:: SOT 38528 SOS 7010 HAS SOPS 7010 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3241.01
AT ITER 749 NEW BEST:: SOT 38528 SOS 7010 HAS SOPS 7010 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3237.01
AT ITER 764 NEW BEST:: SOT 38498 SOS 6992 HAS SOPS 6992 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3226.992
AT ITER 772 NEW BEST:: SOT 38540 SOS 7076 HAS SOPS 7076 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3223.076
AT ITER 799 NEW BEST:: SOT 38536 SOS 7068 HAS SOPS 7068 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3223.068
AT ITER 802 NEW BEST:: SOT 38526 SOS 7048 HAS SOPS 7048 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3211.048
AT ITER 917 NEW BEST:: SOT 38542 SOS 7000 HAS SOPS 7000 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3211.0
AT ITER 992 NEW BEST:: SOT 38534 SOS 6984 HAS SOPS 6984 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3210.984
AT ITER 1008 NEW BEST:: SOT 38532 SOS 6980 HAS SOPS 6980 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3210.98
AT ITER 1055 NEW BEST:: SOT 38542 SOS 6964 HAS SOPS 6964 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3210.964
AT ITER 1067 NEW BEST:: SOT 38512 SOS 6904 HAS SOPS 6904 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3202.904
AT ITER 1085 NEW BEST:: SOT 38538 SOS 6908 HAS SOPS 6908 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3198.908
AT ITER 1101 NEW BEST:: SOT 38528 SOS 6888 HAS SOPS 6888 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3198.888
AT ITER 1117 NEW BEST:: SOT 38532 SOS 6890 HAS SOPS 6890 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3196.89
AT ITER 1125 NEW BEST:: SOT 38540 SOS 6888 HAS SOPS 6888 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3194.888
AT ITER 1296 NEW BEST:: SOT 38470 SOS 6858 HAS SOPS 6858 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3190.858
AT ITER 1320 NEW BEST:: SOT 38470 SOS 6876 HAS SOPS 6876 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3188.876
AT ITER 1371 NEW BEST:: SOT 38460 SOS 6856 HAS SOPS 6856 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3184.856
AT ITER 1388 NEW BEST:: SOT 38456 SOS 6848 HAS SOPS 6848 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3184.848
AT ITER 1426 NEW BEST:: SOT 38456 SOS 6842 HAS SOPS 6842 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3184.842
AT ITER 1432 NEW BEST:: SOT 38450 SOS 6830 HAS SOPS 6830 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3182.83
AT ITER 1444 NEW BEST:: SOT 38444 SOS 6824 HAS SOPS 6824 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3178.824
AT ITER 1460 NEW BEST:: SOT 38442 SOS 6826 HAS SOPS 6826 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3176.826
AT ITER 1545 NEW BEST:: SOT 38430 SOS 6802 HAS SOPS 6802 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3164.802
AT ITER 1582 NEW BEST:: SOT 38400 SOS 6774 HAS SOPS 6774 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3164.774
AT ITER 1603 NEW BEST:: SOT 38396 SOS 6754 HAS SOPS 6754 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3160.754
AT ITER 1646 NEW BEST:: SOT 38380 SOS 6722 HAS SOPS 6722 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3152.722
AT ITER 1656 NEW BEST:: SOT 38370 SOS 6720 HAS SOPS 6720 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3150.72
AT ITER 1679 NEW BEST:: SOT 38368 SOS 6716 HAS SOPS 6716 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3150.716
AT ITER 1729 NEW BEST:: SOT 38360 SOS 6724 HAS SOPS 6724 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3148.724
AT ITER 1837 NEW BEST:: SOT 38346 SOS 6696 HAS SOPS 6696 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3140.696
AT ITER 1878 NEW BEST:: SOT 38340 SOS 6684 HAS SOPS 6684 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3138.684
AT ITER 1933 NEW BEST:: SOT 38334 SOS 6672 HAS SOPS 6672 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3136.672
AT ITER 1942 NEW BEST:: SOT 38306 SOS 6666 HAS SOPS 6666 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3122.666
AT ITER 2002 NEW BEST:: SOT 38278 SOS 6660 HAS SOPS 6660 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3118.66
AT ITER 2087 NEW BEST:: SOT 38276 SOS 6656 HAS SOPS 6656 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3118.656
AT ITER 2091 NEW BEST:: SOT 38272 SOS 6648 HAS SOPS 6648 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3116.648
AT ITER 2173 NEW BEST:: SOT 38262 SOS 6628 HAS SOPS 6628 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3106.628
AT ITER 2230 NEW BEST:: SOT 38258 SOS 6620 HAS SOPS 6620 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.62
AT ITER 2274 NEW BEST:: SOT 38242 SOS 6618 HAS SOPS 6618 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3100.618
AT ITER 2291 NEW BEST:: SOT 38222 SOS 6614 HAS SOPS 6614 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3096.614
AT ITER 2320 NEW BEST:: SOT 38212 SOS 6612 HAS SOPS 6612 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.612
AT ITER 2385 NEW BEST:: SOT 38206 SOS 6618 HAS SOPS 6618 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3086.618
AT ITER 2392 NEW BEST:: SOT 38206 SOS 6614 HAS SOPS 6614 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3086.614
AT ITER 2437 NEW BEST:: SOT 38202 SOS 6606 HAS SOPS 6606 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3082.606
AT ITER 2536 NEW BEST:: SOT 38198 SOS 6598 HAS SOPS 6598 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3078.598
AT ITER 2552 NEW BEST:: SOT 38194 SOS 6608 HAS SOPS 6608 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3074.608
AT ITER 2587 NEW BEST:: SOT 38192 SOS 6604 HAS SOPS 6604 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3074.604
AT ITER 2627 NEW BEST:: SOT 38192 SOS 6598 HAS SOPS 6598 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3074.598
AT ITER 2676 NEW BEST:: SOT 38176 SOS 6626 HAS SOPS 6626 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3062.626
AT ITER 2724 NEW BEST:: SOT 38170 SOS 6620 HAS SOPS 6620 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3060.62
AT ITER 2746 NEW BEST:: SOT 38170 SOS 6608 HAS SOPS 6608 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3060.608
AT ITER 2869 NEW BEST:: SOT 38172 SOS 6606 HAS SOPS 6606 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3058.606
AT ITER 2966 NEW BEST:: SOT 38170 SOS 6602 HAS SOPS 6602 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3058.602
AT ITER 3031 NEW BEST:: SOT 38160 SOS 6582 HAS SOPS 6582 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3038.582
AT ITER 3098 NEW BEST:: SOT 38160 SOS 6582 HAS SOPS 6582 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3034.582
AT ITER 3110 NEW BEST:: SOT 38152 SOS 6566 HAS SOPS 6566 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.566
AT ITER 3147 NEW BEST:: SOT 38160 SOS 6552 HAS SOPS 6552 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3028.552
AT ITER 3195 NEW BEST:: SOT 38156 SOS 6550 HAS SOPS 6550 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3026.55
AT ITER 3255 NEW BEST:: SOT 38114 SOS 6466 HAS SOPS 6466 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2998.466
AT ITER 3333 NEW BEST:: SOT 38116 SOS 6464 HAS SOPS 6464 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2998.464
AT ITER 3365 NEW BEST:: SOT 38116 SOS 6458 HAS SOPS 6458 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2994.458
AT ITER 3625 NEW BEST:: SOT 38114 SOS 6454 HAS SOPS 6454 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2992.454
AT ITER 3632 NEW BEST:: SOT 38120 SOS 6454 HAS SOPS 6454 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2990.454
AT ITER 3989 NEW BEST:: SOT 38120 SOS 6448 HAS SOPS 6448 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2990.448
AT ITER 4037 NEW BEST:: SOT 38116 SOS 6440 HAS SOPS 6440 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2990.44
AT ITER 4212 NEW BEST:: SOT 38096 SOS 6400 HAS SOPS 6400 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2990.4
AT ITER 4438 NEW BEST:: SOT 38092 SOS 6398 HAS SOPS 6398 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2988.398
AT ITER 4443 NEW BEST:: SOT 38086 SOS 6386 HAS SOPS 6386 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2988.386
AT ITER 4477 NEW BEST:: SOT 38082 SOS 6378 HAS SOPS 6378 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2988.378
AT ITER 4540 NEW BEST:: SOT 38068 SOS 6374 HAS SOPS 6374 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2986.374
AT ITER 4557 NEW BEST:: SOT 38070 SOS 6372 HAS SOPS 6372 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2986.372
AT ITER 4612 NEW BEST:: SOT 38068 SOS 6368 HAS SOPS 6368 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2984.368
AT ITER 4756 NEW BEST:: SOT 38066 SOS 6358 HAS SOPS 6358 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2980.358
AT ITER 4933 NEW BEST:: SOT 38060 SOS 6346 HAS SOPS 6346 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2976.346
AT ITER 4982 NEW BEST:: SOT 38056 SOS 6332 HAS SOPS 6332 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2974.332
AT ITER 5275 NEW BEST:: SOT 38054 SOS 6328 HAS SOPS 6328 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2972.328
AT ITER 5371 NEW BEST:: SOT 38052 SOS 6324 HAS SOPS 6324 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2970.324
AT ITER 5434 NEW BEST:: SOT 38046 SOS 6312 HAS SOPS 6312 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2964.312
AT ITER 5483 NEW BEST:: SOT 38050 SOS 6310 HAS SOPS 6310 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2964.31
AT ITER 5592 NEW BEST:: SOT 38048 SOS 6306 HAS SOPS 6306 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2964.306
AT ITER 6043 NEW BEST:: SOT 38038 SOS 6286 HAS SOPS 6286 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2952.286
AT ITER 6102 NEW BEST:: SOT 38032 SOS 6286 HAS SOPS 6286 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2950.286
AT ITER 6327 NEW BEST:: SOT 38028 SOS 6278 HAS SOPS 6278 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2948.278
AT ITER 6446 NEW BEST:: SOT 38014 SOS 6274 HAS SOPS 6274 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2948.274
AT ITER 6714 NEW BEST:: SOT 38012 SOS 6270 HAS SOPS 6270 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2944.27
AT ITER 6817 NEW BEST:: SOT 38020 SOS 6268 HAS SOPS 6268 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2944.268
AT ITER 6891 NEW BEST:: SOT 38012 SOS 6260 HAS SOPS 6260 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2942.26
AT ITER 7589 NEW BEST:: SOT 38012 SOS 6254 HAS SOPS 6254 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2942.254
AT ITER 7823 NEW BEST:: SOT 38014 SOS 6252 HAS SOPS 6252 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2942.252
AT ITER 7916 NEW BEST:: SOT 38010 SOS 6250 HAS SOPS 6250 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2940.25
AT ITER 8919 NEW BEST:: SOT 38000 SOS 6242 HAS SOPS 6242 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2938.242
AT ITER 9269 NEW BEST:: SOT 37994 SOS 6236 HAS SOPS 6236 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2936.236
AT ITER 9462 NEW BEST:: SOT 37992 SOS 6232 HAS SOPS 6232 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2934.232
AT ITER 9803 NEW BEST:: SOT 37986 SOS 6220 HAS SOPS 6220 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2932.22
STATE_SPACE STATES 42634215112710 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2675394783219600 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589361550259

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

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