Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r139-smll-167819422000136.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Diffusion2D-PT-D10N100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422000136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 748K
-rw-r--r-- 1 mcc users 7.3K Feb 26 04:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 04:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 04:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 04:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 15:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 04:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 04:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 04:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 103K Feb 26 04:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:57 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 255K Mar 5 18:22 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 1678322297695

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Diffusion2D-PT-D10N100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 00:38:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 00:38:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 00:38:21] [INFO ] Load time of PNML (sax parser for PT used): 147 ms
[2023-03-09 00:38:21] [INFO ] Transformed 100 places.
[2023-03-09 00:38:21] [INFO ] Transformed 684 transitions.
[2023-03-09 00:38:21] [INFO ] Parsed PT model containing 100 places and 684 transitions and 1368 arcs in 322 ms.
[2023-03-09 00:38:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 100 places, 684 transitions and 1368 arcs took 11 ms.
Total runtime 384 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Diffusion2D (PT), instance D10N100
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/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 25 NEW BEST:: SOT 39184 SOS 7712 HAS SOPS 7712 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3555.712
AT ITER 60 NEW BEST:: SOT 39168 SOS 7680 HAS SOPS 7680 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3551.68
AT ITER 84 NEW BEST:: SOT 39184 SOS 7676 HAS SOPS 7676 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3551.676
AT ITER 100 NEW BEST:: SOT 39166 SOS 7640 HAS SOPS 7640 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3551.64
AT ITER 131 NEW BEST:: SOT 39148 SOS 7604 HAS SOPS 7604 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3519.604
AT ITER 174 NEW BEST:: SOT 39138 SOS 7584 HAS SOPS 7584 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3503.584
AT ITER 202 NEW BEST:: SOT 39088 SOS 7574 HAS SOPS 7574 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3485.574
AT ITER 204 NEW BEST:: SOT 39110 SOS 7576 HAS SOPS 7576 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3481.576
AT ITER 232 NEW BEST:: SOT 39084 SOS 7564 HAS SOPS 7564 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3479.564
AT ITER 237 NEW BEST:: SOT 39080 SOS 7528 HAS SOPS 7528 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3479.528
AT ITER 271 NEW BEST:: SOT 39076 SOS 7520 HAS SOPS 7520 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3477.52
AT ITER 274 NEW BEST:: SOT 39028 SOS 7544 HAS SOPS 7544 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3469.544
AT ITER 284 NEW BEST:: SOT 39026 SOS 7540 HAS SOPS 7540 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3467.54
AT ITER 288 NEW BEST:: SOT 39014 SOS 7534 HAS SOPS 7534 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3467.534
AT ITER 289 NEW BEST:: SOT 39010 SOS 7526 HAS SOPS 7526 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3461.526
AT ITER 304 NEW BEST:: SOT 38974 SOS 7484 HAS SOPS 7484 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3443.484
AT ITER 389 NEW BEST:: SOT 38990 SOS 7492 HAS SOPS 7492 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3437.492
AT ITER 445 NEW BEST:: SOT 38952 SOS 7548 HAS SOPS 7548 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3435.548
AT ITER 460 NEW BEST:: SOT 38948 SOS 7540 HAS SOPS 7540 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3435.54
AT ITER 469 NEW BEST:: SOT 39032 SOS 7594 HAS SOPS 7594 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3433.594
AT ITER 470 NEW BEST:: SOT 39030 SOS 7590 HAS SOPS 7590 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3427.59
AT ITER 493 NEW BEST:: SOT 39012 SOS 7554 HAS SOPS 7554 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3415.554
AT ITER 500 NEW BEST:: SOT 39002 SOS 7534 HAS SOPS 7534 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3405.534
AT ITER 520 NEW BEST:: SOT 39046 SOS 7748 HAS SOPS 7748 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3393.748
AT ITER 528 NEW BEST:: SOT 39064 SOS 7742 HAS SOPS 7742 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3375.742
AT ITER 552 NEW BEST:: SOT 39056 SOS 7726 HAS SOPS 7726 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3367.726
AT ITER 617 NEW BEST:: SOT 39048 SOS 7710 HAS SOPS 7710 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3361.71
AT ITER 636 NEW BEST:: SOT 39020 SOS 7804 HAS SOPS 7804 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3337.804
AT ITER 654 NEW BEST:: SOT 39006 SOS 7792 HAS SOPS 7792 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3337.792
AT ITER 655 NEW BEST:: SOT 39000 SOS 7786 HAS SOPS 7786 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3335.786
AT ITER 687 NEW BEST:: SOT 38978 SOS 7672 HAS SOPS 7672 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3335.672
AT ITER 753 NEW BEST:: SOT 38986 SOS 7688 HAS SOPS 7688 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3325.688
AT ITER 776 NEW BEST:: SOT 38986 SOS 7682 HAS SOPS 7682 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3325.682
AT ITER 777 NEW BEST:: SOT 38938 SOS 7586 HAS SOPS 7586 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3313.586
AT ITER 780 NEW BEST:: SOT 38934 SOS 7596 HAS SOPS 7596 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3311.596
AT ITER 788 NEW BEST:: SOT 38932 SOS 7592 HAS SOPS 7592 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3305.592
AT ITER 793 NEW BEST:: SOT 38930 SOS 7588 HAS SOPS 7588 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3303.588
AT ITER 796 NEW BEST:: SOT 38924 SOS 7582 HAS SOPS 7582 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3303.582
AT ITER 802 NEW BEST:: SOT 38924 SOS 7564 HAS SOPS 7564 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3303.564
AT ITER 888 NEW BEST:: SOT 38908 SOS 7532 HAS SOPS 7532 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3299.532
AT ITER 906 NEW BEST:: SOT 38890 SOS 7400 HAS SOPS 7400 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3299.4
AT ITER 932 NEW BEST:: SOT 38874 SOS 7368 HAS SOPS 7368 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3287.368
AT ITER 977 NEW BEST:: SOT 38820 SOS 7326 HAS SOPS 7326 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3279.326
AT ITER 1030 NEW BEST:: SOT 38814 SOS 7314 HAS SOPS 7314 HAS SOUS 3270 HAS SOUPS 3270 WITH SCORE 3277.314
AT ITER 1033 NEW BEST:: SOT 38802 SOS 7290 HAS SOPS 7290 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3273.29
AT ITER 1056 NEW BEST:: SOT 38798 SOS 7232 HAS SOPS 7232 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3273.232
AT ITER 1079 NEW BEST:: SOT 38792 SOS 7220 HAS SOPS 7220 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3269.22
AT ITER 1098 NEW BEST:: SOT 38784 SOS 7204 HAS SOPS 7204 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3267.204
AT ITER 1102 NEW BEST:: SOT 38784 SOS 7174 HAS SOPS 7174 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3267.174
AT ITER 1289 NEW BEST:: SOT 38780 SOS 7166 HAS SOPS 7166 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3265.166
AT ITER 1310 NEW BEST:: SOT 38772 SOS 7150 HAS SOPS 7150 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3265.15
AT ITER 1339 NEW BEST:: SOT 38770 SOS 7146 HAS SOPS 7146 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3261.146
AT ITER 1385 NEW BEST:: SOT 38722 SOS 7092 HAS SOPS 7092 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3235.092
AT ITER 1406 NEW BEST:: SOT 38714 SOS 7076 HAS SOPS 7076 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3231.076
AT ITER 1422 NEW BEST:: SOT 38702 SOS 7052 HAS SOPS 7052 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.052
AT ITER 1566 NEW BEST:: SOT 38690 SOS 7046 HAS SOPS 7046 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.046
AT ITER 1574 NEW BEST:: SOT 38690 SOS 7042 HAS SOPS 7042 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3225.042
AT ITER 1629 NEW BEST:: SOT 38684 SOS 7030 HAS SOPS 7030 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3223.03
AT ITER 1743 NEW BEST:: SOT 38680 SOS 7016 HAS SOPS 7016 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3221.016
AT ITER 1936 NEW BEST:: SOT 38684 SOS 7008 HAS SOPS 7008 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3221.008
AT ITER 1979 NEW BEST:: SOT 38686 SOS 7012 HAS SOPS 7012 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3219.012
AT ITER 2042 NEW BEST:: SOT 38652 SOS 6984 HAS SOPS 6984 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3202.984
AT ITER 2072 NEW BEST:: SOT 38704 SOS 7088 HAS SOPS 7088 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3201.088
AT ITER 2082 NEW BEST:: SOT 38686 SOS 7052 HAS SOPS 7052 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3191.052
AT ITER 2142 NEW BEST:: SOT 38694 SOS 7044 HAS SOPS 7044 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3183.044
AT ITER 2192 NEW BEST:: SOT 38678 SOS 7036 HAS SOPS 7036 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3183.036
AT ITER 2234 NEW BEST:: SOT 38678 SOS 7024 HAS SOPS 7024 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3183.024
AT ITER 2307 NEW BEST:: SOT 38682 SOS 7032 HAS SOPS 7032 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3181.032
AT ITER 2312 NEW BEST:: SOT 38680 SOS 7028 HAS SOPS 7028 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3179.028
AT ITER 2316 NEW BEST:: SOT 38680 SOS 7010 HAS SOPS 7010 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3179.01
AT ITER 2349 NEW BEST:: SOT 38662 SOS 7016 HAS SOPS 7016 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3173.016
AT ITER 2487 NEW BEST:: SOT 38640 SOS 7008 HAS SOPS 7008 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3171.008
AT ITER 2598 NEW BEST:: SOT 38630 SOS 7000 HAS SOPS 7000 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3169.0
AT ITER 2680 NEW BEST:: SOT 38628 SOS 6996 HAS SOPS 6996 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3166.996
AT ITER 2848 NEW BEST:: SOT 38604 SOS 6948 HAS SOPS 6948 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3158.948
AT ITER 2864 NEW BEST:: SOT 38608 SOS 6950 HAS SOPS 6950 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3156.95
AT ITER 2985 NEW BEST:: SOT 38604 SOS 6948 HAS SOPS 6948 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3154.948
AT ITER 2996 NEW BEST:: SOT 38534 SOS 6848 HAS SOPS 6848 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3142.848
AT ITER 3009 NEW BEST:: SOT 38532 SOS 6844 HAS SOPS 6844 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3142.844
AT ITER 3040 NEW BEST:: SOT 38524 SOS 6840 HAS SOPS 6840 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3142.84
AT ITER 3042 NEW BEST:: SOT 38524 SOS 6834 HAS SOPS 6834 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3142.834
AT ITER 3047 NEW BEST:: SOT 38516 SOS 6818 HAS SOPS 6818 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3138.818
AT ITER 3119 NEW BEST:: SOT 38512 SOS 6810 HAS SOPS 6810 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3132.81
AT ITER 3169 NEW BEST:: SOT 38514 SOS 6808 HAS SOPS 6808 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.808
AT ITER 3327 NEW BEST:: SOT 38514 SOS 6802 HAS SOPS 6802 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.802
AT ITER 3353 NEW BEST:: SOT 38506 SOS 6786 HAS SOPS 6786 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.786
AT ITER 3455 NEW BEST:: SOT 38480 SOS 6776 HAS SOPS 6776 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3126.776
AT ITER 3476 NEW BEST:: SOT 38470 SOS 6756 HAS SOPS 6756 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3126.756
AT ITER 3669 NEW BEST:: SOT 38462 SOS 6740 HAS SOPS 6740 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3126.74
AT ITER 3768 NEW BEST:: SOT 38454 SOS 6724 HAS SOPS 6724 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3114.724
AT ITER 3863 NEW BEST:: SOT 38444 SOS 6716 HAS SOPS 6716 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3114.716
AT ITER 3893 NEW BEST:: SOT 38438 SOS 6704 HAS SOPS 6704 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3110.704
AT ITER 4191 NEW BEST:: SOT 38420 SOS 6698 HAS SOPS 6698 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3102.698
AT ITER 4196 NEW BEST:: SOT 38436 SOS 6754 HAS SOPS 6754 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3100.754
AT ITER 4269 NEW BEST:: SOT 38438 SOS 6752 HAS SOPS 6752 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3100.752
AT ITER 4291 NEW BEST:: SOT 38428 SOS 6732 HAS SOPS 6732 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.732
AT ITER 4295 NEW BEST:: SOT 38432 SOS 6728 HAS SOPS 6728 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.728
AT ITER 4390 NEW BEST:: SOT 38436 SOS 6736 HAS SOPS 6736 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3090.736
AT ITER 4510 NEW BEST:: SOT 38418 SOS 6784 HAS SOPS 6784 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3086.784
AT ITER 4528 NEW BEST:: SOT 38412 SOS 6772 HAS SOPS 6772 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3082.772
AT ITER 4541 NEW BEST:: SOT 38406 SOS 6760 HAS SOPS 6760 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3082.76
AT ITER 4729 NEW BEST:: SOT 38410 SOS 6756 HAS SOPS 6756 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3082.756
AT ITER 4932 NEW BEST:: SOT 38410 SOS 6706 HAS SOPS 6706 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3082.706
AT ITER 5068 NEW BEST:: SOT 38404 SOS 6706 HAS SOPS 6706 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.706
AT ITER 5118 NEW BEST:: SOT 38400 SOS 6698 HAS SOPS 6698 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3076.698
AT ITER 5124 NEW BEST:: SOT 38402 SOS 6702 HAS SOPS 6702 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3074.702
AT ITER 5156 NEW BEST:: SOT 38398 SOS 6694 HAS SOPS 6694 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3072.694
AT ITER 5387 NEW BEST:: SOT 38394 SOS 6686 HAS SOPS 6686 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.686
AT ITER 5410 NEW BEST:: SOT 38394 SOS 6674 HAS SOPS 6674 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.674
AT ITER 5515 NEW BEST:: SOT 38368 SOS 6666 HAS SOPS 6666 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3068.666
AT ITER 5524 NEW BEST:: SOT 38386 SOS 6678 HAS SOPS 6678 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3066.678
AT ITER 5613 NEW BEST:: SOT 38388 SOS 6670 HAS SOPS 6670 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3066.67
AT ITER 5655 NEW BEST:: SOT 38380 SOS 6666 HAS SOPS 6666 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3062.666
AT ITER 5674 NEW BEST:: SOT 38384 SOS 6662 HAS SOPS 6662 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3060.662
AT ITER 6072 NEW BEST:: SOT 38380 SOS 6654 HAS SOPS 6654 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3058.654
AT ITER 6106 NEW BEST:: SOT 38372 SOS 6644 HAS SOPS 6644 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.644
AT ITER 6135 NEW BEST:: SOT 38352 SOS 6580 HAS SOPS 6580 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3050.58
AT ITER 6226 NEW BEST:: SOT 38340 SOS 6556 HAS SOPS 6556 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3046.556
AT ITER 6400 NEW BEST:: SOT 38334 SOS 6544 HAS SOPS 6544 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.544
AT ITER 6419 NEW BEST:: SOT 38332 SOS 6540 HAS SOPS 6540 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.54
AT ITER 6423 NEW BEST:: SOT 38332 SOS 6528 HAS SOPS 6528 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.528
AT ITER 6562 NEW BEST:: SOT 38330 SOS 6524 HAS SOPS 6524 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3042.524
AT ITER 7110 NEW BEST:: SOT 38320 SOS 6516 HAS SOPS 6516 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3032.516
AT ITER 7432 NEW BEST:: SOT 38318 SOS 6530 HAS SOPS 6530 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.53
AT ITER 7727 NEW BEST:: SOT 38318 SOS 6518 HAS SOPS 6518 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.518
AT ITER 7774 NEW BEST:: SOT 38318 SOS 6512 HAS SOPS 6512 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.512
AT ITER 8053 NEW BEST:: SOT 38314 SOS 6504 HAS SOPS 6504 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.504
AT ITER 8115 NEW BEST:: SOT 38304 SOS 6496 HAS SOPS 6496 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3030.496
AT ITER 8312 NEW BEST:: SOT 38300 SOS 6494 HAS SOPS 6494 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3028.494
AT ITER 8914 NEW BEST:: SOT 38300 SOS 6488 HAS SOPS 6488 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3028.488
AT ITER 9364 NEW BEST:: SOT 38300 SOS 6476 HAS SOPS 6476 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3028.476
STATE_SPACE STATES 45274257328051640582702088538742081937252294837706668420660 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 100 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 100 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 15561604026325287516868456563065117610593251089945407638056000 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678322454749

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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-D10N100"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is Diffusion2D-PT-D10N100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819422000136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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