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.r451-smll-167912643500464.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 smart
Input is StigmergyCommit-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643500464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 9.5K Feb 26 11:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 11:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 11:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 11:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 11:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 11:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 11:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 11:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.8M Mar 5 18:23 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 1679270942746

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-06a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 06a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 256 places, 2816 transitions, 35321 arcs.
AT ITER 0 NEW BEST:: SOT 252781 SOS 178414 HAS SOPS 102995 HAS SOUS 16963 HAS SOUPS 16889 WITH SCORE 17067.414
AT ITER 31 NEW BEST:: SOT 252804 SOS 178368 HAS SOPS 102949 HAS SOUS 16940 HAS SOUPS 16866 WITH SCORE 17044.368
AT ITER 59 NEW BEST:: SOT 252862 SOS 178344 HAS SOPS 102925 HAS SOUS 16893 HAS SOUPS 16819 WITH SCORE 16997.344
AT ITER 89 NEW BEST:: SOT 252848 SOS 178360 HAS SOPS 102946 HAS SOUS 16879 HAS SOUPS 16805 WITH SCORE 16983.36
AT ITER 93 NEW BEST:: SOT 252825 SOS 178298 HAS SOPS 102884 HAS SOUS 16848 HAS SOUPS 16774 WITH SCORE 16952.298
AT ITER 94 NEW BEST:: SOT 252776 SOS 178374 HAS SOPS 119432 HAS SOUS 16770 HAS SOUPS 16696 WITH SCORE 16874.374
AT ITER 135 NEW BEST:: SOT 252838 SOS 178384 HAS SOPS 119442 HAS SOUS 16718 HAS SOUPS 16644 WITH SCORE 16822.384
AT ITER 144 NEW BEST:: SOT 252797 SOS 178341 HAS SOPS 119399 HAS SOUS 16716 HAS SOUPS 16642 WITH SCORE 16820.341
AT ITER 145 NEW BEST:: SOT 252789 SOS 178332 HAS SOPS 119390 HAS SOUS 16715 HAS SOUPS 16641 WITH SCORE 16819.332
AT ITER 153 NEW BEST:: SOT 252843 SOS 178280 HAS SOPS 119338 HAS SOUS 16630 HAS SOUPS 16556 WITH SCORE 16734.28
AT ITER 200 NEW BEST:: SOT 252841 SOS 178276 HAS SOPS 119334 HAS SOUS 16624 HAS SOUPS 16550 WITH SCORE 16728.276
AT ITER 206 NEW BEST:: SOT 252849 SOS 178332 HAS SOPS 119390 HAS SOUS 16610 HAS SOUPS 16536 WITH SCORE 16714.332
AT ITER 215 NEW BEST:: SOT 252951 SOS 178268 HAS SOPS 119326 HAS SOUS 16584 HAS SOUPS 16510 WITH SCORE 16688.268
AT ITER 226 NEW BEST:: SOT 252950 SOS 178265 HAS SOPS 119323 HAS SOUS 16581 HAS SOUPS 16507 WITH SCORE 16685.265
AT ITER 258 NEW BEST:: SOT 252984 SOS 178127 HAS SOPS 119153 HAS SOUS 16581 HAS SOUPS 16507 WITH SCORE 16685.127
AT ITER 279 NEW BEST:: SOT 252983 SOS 178125 HAS SOPS 119151 HAS SOUS 16580 HAS SOUPS 16506 WITH SCORE 16684.125
AT ITER 296 NEW BEST:: SOT 252981 SOS 178181 HAS SOPS 119207 HAS SOUS 16536 HAS SOUPS 16462 WITH SCORE 16640.181
AT ITER 302 NEW BEST:: SOT 252978 SOS 178175 HAS SOPS 119201 HAS SOUS 16533 HAS SOUPS 16459 WITH SCORE 16637.175
AT ITER 329 NEW BEST:: SOT 252975 SOS 178170 HAS SOPS 119196 HAS SOUS 16528 HAS SOUPS 16454 WITH SCORE 16632.17
AT ITER 350 NEW BEST:: SOT 252977 SOS 178166 HAS SOPS 119192 HAS SOUS 16526 HAS SOUPS 16452 WITH SCORE 16630.166
AT ITER 352 NEW BEST:: SOT 252969 SOS 178150 HAS SOPS 119176 HAS SOUS 16510 HAS SOUPS 16436 WITH SCORE 16614.15
AT ITER 377 NEW BEST:: SOT 252975 SOS 178246 HAS SOPS 119272 HAS SOUS 16499 HAS SOUPS 16425 WITH SCORE 16603.246
AT ITER 386 NEW BEST:: SOT 252952 SOS 178222 HAS SOPS 119248 HAS SOUS 16498 HAS SOUPS 16424 WITH SCORE 16602.222
AT ITER 388 NEW BEST:: SOT 252949 SOS 178248 HAS SOPS 119274 HAS SOUS 16479 HAS SOUPS 16405 WITH SCORE 16583.248
AT ITER 419 NEW BEST:: SOT 252959 SOS 178254 HAS SOPS 119280 HAS SOUS 16478 HAS SOUPS 16404 WITH SCORE 16582.254
AT ITER 424 NEW BEST:: SOT 252957 SOS 178339 HAS SOPS 119366 HAS SOUS 16476 HAS SOUPS 16402 WITH SCORE 16580.339
AT ITER 467 NEW BEST:: SOT 252864 SOS 178265 HAS SOPS 124380 HAS SOUS 16469 HAS SOUPS 16395 WITH SCORE 16573.265
AT ITER 482 NEW BEST:: SOT 255432 SOS 180799 HAS SOPS 125838 HAS SOUS 16234 HAS SOUPS 16151 WITH SCORE 16331.799
AT ITER 484 NEW BEST:: SOT 255432 SOS 180799 HAS SOPS 125838 HAS SOUS 16232 HAS SOUPS 16149 WITH SCORE 16329.799
AT ITER 489 NEW BEST:: SOT 255471 SOS 180781 HAS SOPS 125820 HAS SOUS 16199 HAS SOUPS 16116 WITH SCORE 16296.781
AT ITER 509 NEW BEST:: SOT 255466 SOS 180905 HAS SOPS 125944 HAS SOUS 16188 HAS SOUPS 16105 WITH SCORE 16285.905
AT ITER 531 NEW BEST:: SOT 255463 SOS 180877 HAS SOPS 125916 HAS SOUS 16182 HAS SOUPS 16099 WITH SCORE 16279.877
AT ITER 540 NEW BEST:: SOT 255428 SOS 180955 HAS SOPS 126026 HAS SOUS 16147 HAS SOUPS 16064 WITH SCORE 16244.955
AT ITER 597 NEW BEST:: SOT 246221 SOS 177386 HAS SOPS 116974 HAS SOUS 9512 HAS SOUPS 9279 WITH SCORE 9456.386
AT ITER 609 NEW BEST:: SOT 246221 SOS 177376 HAS SOPS 116964 HAS SOUS 9502 HAS SOUPS 9269 WITH SCORE 9446.376
AT ITER 614 NEW BEST:: SOT 243882 SOS 175052 HAS SOPS 115060 HAS SOUS 9497 HAS SOUPS 9269 WITH SCORE 9444.052
AT ITER 636 NEW BEST:: SOT 243881 SOS 175051 HAS SOPS 115058 HAS SOUS 9461 HAS SOUPS 9233 WITH SCORE 9408.051
AT ITER 686 NEW BEST:: SOT 243884 SOS 175049 HAS SOPS 115056 HAS SOUS 9459 HAS SOUPS 9231 WITH SCORE 9406.049
AT ITER 771 NEW BEST:: SOT 243879 SOS 174993 HAS SOPS 115000 HAS SOUS 9454 HAS SOUPS 9226 WITH SCORE 9400.993
AT ITER 776 NEW BEST:: SOT 241491 SOS 173047 HAS SOPS 113054 HAS SOUS 9339 HAS SOUPS 9111 WITH SCORE 9284.047
AT ITER 826 NEW BEST:: SOT 241487 SOS 173031 HAS SOPS 113038 HAS SOUS 9335 HAS SOUPS 9107 WITH SCORE 9280.031
AT ITER 870 NEW BEST:: SOT 241501 SOS 173017 HAS SOPS 110112 HAS SOUS 9328 HAS SOUPS 9100 WITH SCORE 9273.017
AT ITER 905 NEW BEST:: SOT 241562 SOS 173134 HAS SOPS 110097 HAS SOUS 9201 HAS SOUPS 8969 WITH SCORE 9142.134
AT ITER 909 NEW BEST:: SOT 239656 SOS 171262 HAS SOPS 108225 HAS SOUS 8983 HAS SOUPS 8751 WITH SCORE 8922.262
AT ITER 914 NEW BEST:: SOT 239634 SOS 171240 HAS SOPS 108203 HAS SOUS 8979 HAS SOUPS 8747 WITH SCORE 8918.24
AT ITER 925 NEW BEST:: SOT 239634 SOS 171233 HAS SOPS 108196 HAS SOUS 8978 HAS SOUPS 8746 WITH SCORE 8917.233
AT ITER 945 NEW BEST:: SOT 237229 SOS 168777 HAS SOPS 105740 HAS SOUS 8711 HAS SOUPS 8479 WITH SCORE 8647.777
AT ITER 952 NEW BEST:: SOT 237231 SOS 168776 HAS SOPS 105739 HAS SOUS 8710 HAS SOUPS 8478 WITH SCORE 8646.776
AT ITER 954 NEW BEST:: SOT 237311 SOS 168816 HAS SOPS 105779 HAS SOUS 8700 HAS SOUPS 8468 WITH SCORE 8636.816
AT ITER 1019 NEW BEST:: SOT 237303 SOS 168800 HAS SOPS 105763 HAS SOUS 8692 HAS SOUPS 8460 WITH SCORE 8628.8
AT ITER 1024 NEW BEST:: SOT 237334 SOS 168774 HAS SOPS 105737 HAS SOUS 8692 HAS SOUPS 8460 WITH SCORE 8628.774
AT ITER 1048 NEW BEST:: SOT 237317 SOS 168780 HAS SOPS 105743 HAS SOUS 8662 HAS SOUPS 8430 WITH SCORE 8598.78
AT ITER 1100 NEW BEST:: SOT 237374 SOS 168837 HAS SOPS 105791 HAS SOUS 8646 HAS SOUPS 8414 WITH SCORE 8582.837
AT ITER 1117 NEW BEST:: SOT 236176 SOS 167637 HAS SOPS 105496 HAS SOUS 8593 HAS SOUPS 8361 WITH SCORE 8528.637
AT ITER 1252 NEW BEST:: SOT 236148 SOS 167581 HAS SOPS 105468 HAS SOUS 8593 HAS SOUPS 8361 WITH SCORE 8528.581
AT ITER 1254 NEW BEST:: SOT 236163 SOS 167539 HAS SOPS 105426 HAS SOUS 8593 HAS SOUPS 8361 WITH SCORE 8528.539
AT ITER 1264 NEW BEST:: SOT 236158 SOS 167513 HAS SOPS 105400 HAS SOUS 8580 HAS SOUPS 8348 WITH SCORE 8515.513
AT ITER 1267 NEW BEST:: SOT 236153 SOS 167503 HAS SOPS 105390 HAS SOUS 8575 HAS SOUPS 8343 WITH SCORE 8510.503
AT ITER 1385 NEW BEST:: SOT 236097 SOS 167447 HAS SOPS 105328 HAS SOUS 8563 HAS SOUPS 8331 WITH SCORE 8498.447
AT ITER 1390 NEW BEST:: SOT 236072 SOS 167339 HAS SOPS 105220 HAS SOUS 8538 HAS SOUPS 8306 WITH SCORE 8473.339
AT ITER 1463 NEW BEST:: SOT 235853 SOS 167119 HAS SOPS 105000 HAS SOUS 8536 HAS SOUPS 8304 WITH SCORE 8471.119
AT ITER 1468 NEW BEST:: SOT 235896 SOS 167111 HAS SOPS 104992 HAS SOUS 8500 HAS SOUPS 8268 WITH SCORE 8435.111
AT ITER 1525 NEW BEST:: SOT 235832 SOS 167046 HAS SOPS 104864 HAS SOUS 8372 HAS SOUPS 8140 WITH SCORE 8307.046
AT ITER 1552 NEW BEST:: SOT 235832 SOS 167030 HAS SOPS 104848 HAS SOUS 8372 HAS SOUPS 8140 WITH SCORE 8307.03
AT ITER 1640 NEW BEST:: SOT 235856 SOS 167006 HAS SOPS 104311 HAS SOUS 8242 HAS SOUPS 8010 WITH SCORE 8177.006
AT ITER 1667 NEW BEST:: SOT 235862 SOS 167018 HAS SOPS 104323 HAS SOUS 8241 HAS SOUPS 8009 WITH SCORE 8176.018
AT ITER 1750 NEW BEST:: SOT 235854 SOS 167011 HAS SOPS 104316 HAS SOUS 8233 HAS SOUPS 8001 WITH SCORE 8168.011
AT ITER 1761 NEW BEST:: SOT 235853 SOS 167010 HAS SOPS 104314 HAS SOUS 8231 HAS SOUPS 7999 WITH SCORE 8166.01
AT ITER 1765 NEW BEST:: SOT 235859 SOS 167010 HAS SOPS 104314 HAS SOUS 8225 HAS SOUPS 7993 WITH SCORE 8160.01
AT ITER 1768 NEW BEST:: SOT 235894 SOS 167022 HAS SOPS 104326 HAS SOUS 8223 HAS SOUPS 7991 WITH SCORE 8158.022
AT ITER 1772 NEW BEST:: SOT 235821 SOS 167012 HAS SOPS 104316 HAS SOUS 8203 HAS SOUPS 7971 WITH SCORE 8138.012
AT ITER 1823 NEW BEST:: SOT 235816 SOS 167006 HAS SOPS 104310 HAS SOUS 8201 HAS SOUPS 7969 WITH SCORE 8136.006
AT ITER 1842 NEW BEST:: SOT 235802 SOS 166950 HAS SOPS 104254 HAS SOUS 8187 HAS SOUPS 7955 WITH SCORE 8121.95
AT ITER 1899 NEW BEST:: SOT 235821 SOS 166878 HAS SOPS 97934 HAS SOUS 8173 HAS SOUPS 7941 WITH SCORE 8107.878
AT ITER 1960 NEW BEST:: SOT 235820 SOS 166903 HAS SOPS 97932 HAS SOUS 8144 HAS SOUPS 7912 WITH SCORE 8078.903
AT ITER 2028 NEW BEST:: SOT 235820 SOS 166904 HAS SOPS 97932 HAS SOUS 8143 HAS SOUPS 7911 WITH SCORE 8077.904
AT ITER 2094 NEW BEST:: SOT 235812 SOS 166896 HAS SOPS 97916 HAS SOUS 8127 HAS SOUPS 7895 WITH SCORE 8061.896
AT ITER 2133 NEW BEST:: SOT 235820 SOS 166880 HAS SOPS 97900 HAS SOUS 8119 HAS SOUPS 7887 WITH SCORE 8053.88
AT ITER 2142 NEW BEST:: SOT 235823 SOS 166868 HAS SOPS 97885 HAS SOUS 8119 HAS SOUPS 7887 WITH SCORE 8053.868
AT ITER 2168 NEW BEST:: SOT 235822 SOS 166866 HAS SOPS 97883 HAS SOUS 8117 HAS SOUPS 7885 WITH SCORE 8051.866
AT ITER 2182 NEW BEST:: SOT 235818 SOS 166858 HAS SOPS 97875 HAS SOUS 8113 HAS SOUPS 7881 WITH SCORE 8047.858
AT ITER 2191 NEW BEST:: SOT 235817 SOS 166802 HAS SOPS 97818 HAS SOUS 8056 HAS SOUPS 7824 WITH SCORE 7990.802
AT ITER 2230 NEW BEST:: SOT 235815 SOS 166799 HAS SOPS 97814 HAS SOUS 8052 HAS SOUPS 7820 WITH SCORE 7986.799
AT ITER 2306 NEW BEST:: SOT 235812 SOS 166871 HAS SOPS 97808 HAS SOUS 8046 HAS SOUPS 7814 WITH SCORE 7980.871
AT ITER 2402 NEW BEST:: SOT 235812 SOS 166859 HAS SOPS 97796 HAS SOUS 8046 HAS SOUPS 7814 WITH SCORE 7980.859
AT ITER 2418 NEW BEST:: SOT 235811 SOS 166858 HAS SOPS 97794 HAS SOUS 8044 HAS SOUPS 7812 WITH SCORE 7978.858
AT ITER 2433 NEW BEST:: SOT 235804 SOS 166866 HAS SOPS 97802 HAS SOUS 8037 HAS SOUPS 7805 WITH SCORE 7971.866
AT ITER 2446 NEW BEST:: SOT 235734 SOS 166774 HAS SOPS 97710 HAS SOUS 8015 HAS SOUPS 7783 WITH SCORE 7949.774
AT ITER 2488 NEW BEST:: SOT 235732 SOS 166772 HAS SOPS 97706 HAS SOUS 8011 HAS SOUPS 7779 WITH SCORE 7945.772
AT ITER 2515 NEW BEST:: SOT 235731 SOS 166771 HAS SOPS 97704 HAS SOUS 8009 HAS SOUPS 7777 WITH SCORE 7943.771
AT ITER 2638 NEW BEST:: SOT 235740 SOS 166767 HAS SOPS 97700 HAS SOUS 7997 HAS SOUPS 7765 WITH SCORE 7931.767
AT ITER 2641 NEW BEST:: SOT 235739 SOS 166766 HAS SOPS 97698 HAS SOUS 7995 HAS SOUPS 7763 WITH SCORE 7929.766
AT ITER 2813 NEW BEST:: SOT 235736 SOS 166760 HAS SOPS 97692 HAS SOUS 7989 HAS SOUPS 7757 WITH SCORE 7923.76
AT ITER 2893 NEW BEST:: SOT 235736 SOS 166704 HAS SOPS 97636 HAS SOUS 7989 HAS SOUPS 7757 WITH SCORE 7923.704
AT ITER 2979 NEW BEST:: SOT 235744 SOS 166704 HAS SOPS 96956 HAS SOUS 7977 HAS SOUPS 7745 WITH SCORE 7911.704
AT ITER 2992 NEW BEST:: SOT 235713 SOS 166658 HAS SOPS 96910 HAS SOUS 7911 HAS SOUPS 7679 WITH SCORE 7845.658
AT ITER 3126 NEW BEST:: SOT 235714 SOS 166667 HAS SOPS 96912 HAS SOUS 7905 HAS SOUPS 7673 WITH SCORE 7839.667
AT ITER 3208 NEW BEST:: SOT 235757 SOS 166677 HAS SOPS 96922 HAS SOUS 7898 HAS SOUPS 7666 WITH SCORE 7832.677
AT ITER 3245 NEW BEST:: SOT 235756 SOS 166676 HAS SOPS 96920 HAS SOUS 7896 HAS SOUPS 7664 WITH SCORE 7830.676
AT ITER 3263 NEW BEST:: SOT 234164 SOS 165084 HAS SOPS 95328 HAS SOUS 7696 HAS SOUPS 7464 WITH SCORE 7629.084
AT ITER 3304 NEW BEST:: SOT 234301 SOS 165261 HAS SOPS 95505 HAS SOUS 7685 HAS SOUPS 7453 WITH SCORE 7618.261
AT ITER 3445 NEW BEST:: SOT 234295 SOS 165181 HAS SOPS 95408 HAS SOUS 7679 HAS SOUPS 7447 WITH SCORE 7612.181
AT ITER 3446 NEW BEST:: SOT 234274 SOS 165139 HAS SOPS 95366 HAS SOUS 7658 HAS SOUPS 7426 WITH SCORE 7591.139
AT ITER 3456 NEW BEST:: SOT 234266 SOS 165103 HAS SOPS 95326 HAS SOUS 7650 HAS SOUPS 7418 WITH SCORE 7583.103
AT ITER 3509 NEW BEST:: SOT 234212 SOS 165256 HAS SOPS 95269 HAS SOUS 7644 HAS SOUPS 7409 WITH SCORE 7574.256
AT ITER 3581 NEW BEST:: SOT 234211 SOS 165232 HAS SOPS 95267 HAS SOUS 7642 HAS SOUPS 7407 WITH SCORE 7572.232
AT ITER 3597 NEW BEST:: SOT 234210 SOS 165230 HAS SOPS 95265 HAS SOUS 7641 HAS SOUPS 7406 WITH SCORE 7571.23
AT ITER 3663 NEW BEST:: SOT 234199 SOS 165218 HAS SOPS 95253 HAS SOUS 7640 HAS SOUPS 7405 WITH SCORE 7570.218
AT ITER 3683 NEW BEST:: SOT 234182 SOS 165184 HAS SOPS 95219 HAS SOUS 7624 HAS SOUPS 7389 WITH SCORE 7554.184
AT ITER 3804 NEW BEST:: SOT 234180 SOS 165180 HAS SOPS 95215 HAS SOUS 7622 HAS SOUPS 7387 WITH SCORE 7552.18
AT ITER 3822 NEW BEST:: SOT 234172 SOS 165164 HAS SOPS 95199 HAS SOUS 7614 HAS SOUPS 7379 WITH SCORE 7544.164
AT ITER 3838 NEW BEST:: SOT 234170 SOS 165206 HAS SOPS 95241 HAS SOUS 7612 HAS SOUPS 7377 WITH SCORE 7542.206
AT ITER 3915 NEW BEST:: SOT 234169 SOS 165208 HAS SOPS 95239 HAS SOUS 7610 HAS SOUPS 7375 WITH SCORE 7540.208
AT ITER 3953 NEW BEST:: SOT 234203 SOS 165198 HAS SOPS 95513 HAS SOUS 7606 HAS SOUPS 7371 WITH SCORE 7536.198
AT ITER 3997 NEW BEST:: SOT 234197 SOS 165160 HAS SOPS 95475 HAS SOUS 7604 HAS SOUPS 7369 WITH SCORE 7534.16
AT ITER 4019 NEW BEST:: SOT 234196 SOS 165159 HAS SOPS 95473 HAS SOUS 7603 HAS SOUPS 7368 WITH SCORE 7533.159
AT ITER 4087 NEW BEST:: SOT 234194 SOS 165157 HAS SOPS 95471 HAS SOUS 7601 HAS SOUPS 7366 WITH SCORE 7531.157
AT ITER 4120 NEW BEST:: SOT 234193 SOS 165156 HAS SOPS 95470 HAS SOUS 7600 HAS SOUPS 7365 WITH SCORE 7530.156
AT ITER 4137 NEW BEST:: SOT 234142 SOS 165204 HAS SOPS 103754 HAS SOUS 7578 HAS SOUPS 7343 WITH SCORE 7508.204
AT ITER 4140 NEW BEST:: SOT 234129 SOS 165142 HAS SOPS 103728 HAS SOUS 7552 HAS SOUPS 7317 WITH SCORE 7482.142
AT ITER 4193 NEW BEST:: SOT 234125 SOS 165142 HAS SOPS 103728 HAS SOUS 7550 HAS SOUPS 7315 WITH SCORE 7480.142
AT ITER 4253 NEW BEST:: SOT 234123 SOS 165140 HAS SOPS 103726 HAS SOUS 7548 HAS SOUPS 7313 WITH SCORE 7478.14
AT ITER 4319 NEW BEST:: SOT 234117 SOS 165128 HAS SOPS 103714 HAS SOUS 7542 HAS SOUPS 7307 WITH SCORE 7472.128
AT ITER 4346 NEW BEST:: SOT 234116 SOS 165126 HAS SOPS 103712 HAS SOUS 7540 HAS SOUPS 7305 WITH SCORE 7470.126
AT ITER 4364 NEW BEST:: SOT 234116 SOS 165122 HAS SOPS 103708 HAS SOUS 7537 HAS SOUPS 7302 WITH SCORE 7467.122
AT ITER 4384 NEW BEST:: SOT 234109 SOS 165108 HAS SOPS 103701 HAS SOUS 7537 HAS SOUPS 7302 WITH SCORE 7467.108
AT ITER 4396 NEW BEST:: SOT 234102 SOS 165112 HAS SOPS 103705 HAS SOUS 7532 HAS SOUPS 7297 WITH SCORE 7462.112
AT ITER 4397 NEW BEST:: SOT 234100 SOS 165109 HAS SOPS 103701 HAS SOUS 7528 HAS SOUPS 7293 WITH SCORE 7458.109
AT ITER 4431 NEW BEST:: SOT 234092 SOS 165092 HAS SOPS 103685 HAS SOUS 7521 HAS SOUPS 7286 WITH SCORE 7451.092
AT ITER 4478 NEW BEST:: SOT 234104 SOS 165044 HAS SOPS 103637 HAS SOUS 7515 HAS SOUPS 7280 WITH SCORE 7445.044
AT ITER 4479 NEW BEST:: SOT 234096 SOS 165044 HAS SOPS 103637 HAS SOUS 7511 HAS SOUPS 7276 WITH SCORE 7441.044
AT ITER 4481 NEW BEST:: SOT 234094 SOS 165040 HAS SOPS 103633 HAS SOUS 7509 HAS SOUPS 7274 WITH SCORE 7439.04
AT ITER 4487 NEW BEST:: SOT 234167 SOS 165186 HAS SOPS 103779 HAS SOUS 7507 HAS SOUPS 7272 WITH SCORE 7437.186
AT ITER 4540 NEW BEST:: SOT 234177 SOS 165178 HAS SOPS 103771 HAS SOUS 7503 HAS SOUPS 7268 WITH SCORE 7433.178
AT ITER 4565 NEW BEST:: SOT 234175 SOS 165175 HAS SOPS 103767 HAS SOUS 7502 HAS SOUPS 7267 WITH SCORE 7432.175
AT ITER 4606 NEW BEST:: SOT 234182 SOS 165177 HAS SOPS 103769 HAS SOUS 7498 HAS SOUPS 7263 WITH SCORE 7428.177
AT ITER 4616 NEW BEST:: SOT 234181 SOS 165176 HAS SOPS 103767 HAS SOUS 7497 HAS SOUPS 7261 WITH SCORE 7426.176
AT ITER 4645 NEW BEST:: SOT 234181 SOS 165164 HAS SOPS 103599 HAS SOUS 7477 HAS SOUPS 7241 WITH SCORE 7406.164
AT ITER 4657 NEW BEST:: SOT 234181 SOS 165164 HAS SOPS 103598 HAS SOUS 7475 HAS SOUPS 7239 WITH SCORE 7404.164
AT ITER 4676 NEW BEST:: SOT 234193 SOS 165148 HAS SOPS 101310 HAS SOUS 7475 HAS SOUPS 7239 WITH SCORE 7404.148
AT ITER 4813 NEW BEST:: SOT 234181 SOS 165132 HAS SOPS 101294 HAS SOUS 7473 HAS SOUPS 7237 WITH SCORE 7402.132
AT ITER 4890 NEW BEST:: SOT 234189 SOS 165120 HAS SOPS 101282 HAS SOUS 7467 HAS SOUPS 7231 WITH SCORE 7396.12
AT ITER 4913 NEW BEST:: SOT 234185 SOS 164986 HAS SOPS 101127 HAS SOUS 7463 HAS SOUPS 7227 WITH SCORE 7391.986
AT ITER 4927 NEW BEST:: SOT 234189 SOS 164938 HAS SOPS 101079 HAS SOUS 7460 HAS SOUPS 7224 WITH SCORE 7388.938
AT ITER 4941 NEW BEST:: SOT 234190 SOS 164939 HAS SOPS 101080 HAS SOUS 7434 HAS SOUPS 7198 WITH SCORE 7362.939
AT ITER 4959 NEW BEST:: SOT 234179 SOS 164917 HAS SOPS 101058 HAS SOUS 7427 HAS SOUPS 7191 WITH SCORE 7355.917
AT ITER 4975 NEW BEST:: SOT 234185 SOS 164919 HAS SOPS 101060 HAS SOUS 7423 HAS SOUPS 7187 WITH SCORE 7351.919
AT ITER 4990 NEW BEST:: SOT 234185 SOS 164919 HAS SOPS 101060 HAS SOUS 7420 HAS SOUPS 7184 WITH SCORE 7348.919
AT ITER 5062 NEW BEST:: SOT 234183 SOS 164969 HAS SOPS 101110 HAS SOUS 7418 HAS SOUPS 7182 WITH SCORE 7346.969
AT ITER 5126 NEW BEST:: SOT 234177 SOS 164967 HAS SOPS 101106 HAS SOUS 7414 HAS SOUPS 7178 WITH SCORE 7342.967
AT ITER 5269 NEW BEST:: SOT 234177 SOS 164953 HAS SOPS 101092 HAS SOUS 7414 HAS SOUPS 7178 WITH SCORE 7342.953
AT ITER 5271 NEW BEST:: SOT 234175 SOS 164951 HAS SOPS 101088 HAS SOUS 7412 HAS SOUPS 7176 WITH SCORE 7340.951
AT ITER 5470 NEW BEST:: SOT 234175 SOS 164951 HAS SOPS 101088 HAS SOUS 7409 HAS SOUPS 7173 WITH SCORE 7337.951
AT ITER 5503 NEW BEST:: SOT 234174 SOS 164950 HAS SOPS 101086 HAS SOUS 7404 HAS SOUPS 7168 WITH SCORE 7332.95
AT ITER 5519 NEW BEST:: SOT 233851 SOS 168711 HAS SOPS 100712 HAS SOUS 7434 HAS SOUPS 7149 WITH SCORE 7317.711
AT ITER 5597 NEW BEST:: SOT 233853 SOS 168717 HAS SOPS 100718 HAS SOUS 7433 HAS SOUPS 7148 WITH SCORE 7316.717
AT ITER 5603 NEW BEST:: SOT 233845 SOS 168689 HAS SOPS 100690 HAS SOUS 7425 HAS SOUPS 7140 WITH SCORE 7308.689
AT ITER 5736 NEW BEST:: SOT 233844 SOS 168672 HAS SOPS 100688 HAS SOUS 7423 HAS SOUPS 7138 WITH SCORE 7306.672
AT ITER 5746 NEW BEST:: SOT 233843 SOS 168669 HAS SOPS 100686 HAS SOUS 7421 HAS SOUPS 7136 WITH SCORE 7304.669
AT ITER 5753 NEW BEST:: SOT 233830 SOS 168643 HAS SOPS 100660 HAS SOUS 7408 HAS SOUPS 7123 WITH SCORE 7291.643
AT ITER 5801 NEW BEST:: SOT 233844 SOS 168666 HAS SOPS 100688 HAS SOUS 7390 HAS SOUPS 7105 WITH SCORE 7273.666
AT ITER 5845 NEW BEST:: SOT 233841 SOS 168660 HAS SOPS 100686 HAS SOUS 7388 HAS SOUPS 7103 WITH SCORE 7271.66
AT ITER 5908 NEW BEST:: SOT 233831 SOS 168650 HAS SOPS 100676 HAS SOUS 7378 HAS SOUPS 7093 WITH SCORE 7261.65
AT ITER 5917 NEW BEST:: SOT 232541 SOS 167360 HAS SOPS 99408 HAS SOUS 7245 HAS SOUPS 6960 WITH SCORE 7127.36
AT ITER 5920 NEW BEST:: SOT 232539 SOS 167356 HAS SOPS 99404 HAS SOUS 7241 HAS SOUPS 6956 WITH SCORE 7123.356
AT ITER 5975 NEW BEST:: SOT 232536 SOS 167354 HAS SOPS 99402 HAS SOUS 7239 HAS SOUPS 6954 WITH SCORE 7121.354
AT ITER 6074 NEW BEST:: SOT 232538 SOS 167360 HAS SOPS 99200 HAS SOUS 7238 HAS SOUPS 6953 WITH SCORE 7120.36
AT ITER 6204 NEW BEST:: SOT 232536 SOS 167350 HAS SOPS 99196 HAS SOUS 7236 HAS SOUPS 6951 WITH SCORE 7118.35
AT ITER 6378 NEW BEST:: SOT 232519 SOS 168022 HAS SOPS 99179 HAS SOUS 7235 HAS SOUPS 6943 WITH SCORE 7111.022
AT ITER 6481 NEW BEST:: SOT 232512 SOS 168045 HAS SOPS 99207 HAS SOUS 7228 HAS SOUPS 6936 WITH SCORE 7104.045
AT ITER 6493 NEW BEST:: SOT 232503 SOS 168027 HAS SOPS 99189 HAS SOUS 7228 HAS SOUPS 6936 WITH SCORE 7104.027
AT ITER 6557 NEW BEST:: SOT 232502 SOS 169345 HAS SOPS 99188 HAS SOUS 7234 HAS SOUPS 6929 WITH SCORE 7098.345
AT ITER 6561 NEW BEST:: SOT 232485 SOS 169311 HAS SOPS 99154 HAS SOUS 7234 HAS SOUPS 6929 WITH SCORE 7098.311
AT ITER 6643 NEW BEST:: SOT 232482 SOS 169305 HAS SOPS 99148 HAS SOUS 7231 HAS SOUPS 6926 WITH SCORE 7095.305
AT ITER 6676 NEW BEST:: SOT 232481 SOS 169303 HAS SOPS 99146 HAS SOUS 7229 HAS SOUPS 6924 WITH SCORE 7093.303
AT ITER 6710 NEW BEST:: SOT 232448 SOS 169295 HAS SOPS 99138 HAS SOUS 7220 HAS SOUPS 6915 WITH SCORE 7084.295
AT ITER 6936 NEW BEST:: SOT 232441 SOS 169281 HAS SOPS 99124 HAS SOUS 7213 HAS SOUPS 6908 WITH SCORE 7077.281
AT ITER 6941 NEW BEST:: SOT 232428 SOS 169261 HAS SOPS 99128 HAS SOUS 7200 HAS SOUPS 6895 WITH SCORE 7064.261
AT ITER 7017 NEW BEST:: SOT 232402 SOS 169209 HAS SOPS 99076 HAS SOUS 7200 HAS SOUPS 6895 WITH SCORE 7064.209
AT ITER 7028 NEW BEST:: SOT 232403 SOS 169203 HAS SOPS 99070 HAS SOUS 7198 HAS SOUPS 6893 WITH SCORE 7062.203
AT ITER 7127 NEW BEST:: SOT 232422 SOS 169241 HAS SOPS 99108 HAS SOUS 7196 HAS SOUPS 6891 WITH SCORE 7060.241
AT ITER 7200 NEW BEST:: SOT 232423 SOS 169249 HAS SOPS 99110 HAS SOUS 7191 HAS SOUPS 6886 WITH SCORE 7055.249
AT ITER 7219 NEW BEST:: SOT 232419 SOS 169245 HAS SOPS 99102 HAS SOUS 7187 HAS SOUPS 6882 WITH SCORE 7051.245
AT ITER 7379 NEW BEST:: SOT 232414 SOS 169265 HAS SOPS 99122 HAS SOUS 7182 HAS SOUPS 6877 WITH SCORE 7046.265
AT ITER 7488 NEW BEST:: SOT 232429 SOS 169260 HAS SOPS 99120 HAS SOUS 7180 HAS SOUPS 6875 WITH SCORE 7044.26
AT ITER 7529 NEW BEST:: SOT 232416 SOS 169247 HAS SOPS 99107 HAS SOUS 7167 HAS SOUPS 6862 WITH SCORE 7031.247
AT ITER 7594 NEW BEST:: SOT 232413 SOS 169243 HAS SOPS 99101 HAS SOUS 7164 HAS SOUPS 6859 WITH SCORE 7028.243
AT ITER 7603 NEW BEST:: SOT 232409 SOS 169227 HAS SOPS 99085 HAS SOUS 7152 HAS SOUPS 6847 WITH SCORE 7016.227
AT ITER 7936 NEW BEST:: SOT 232406 SOS 169221 HAS SOPS 99079 HAS SOUS 7149 HAS SOUPS 6844 WITH SCORE 7013.221
AT ITER 7990 NEW BEST:: SOT 232404 SOS 169219 HAS SOPS 99077 HAS SOUS 7147 HAS SOUPS 6842 WITH SCORE 7011.219
AT ITER 8011 NEW BEST:: SOT 232404 SOS 169165 HAS SOPS 99014 HAS SOUS 7147 HAS SOUPS 6842 WITH SCORE 7011.165
AT ITER 8019 NEW BEST:: SOT 232402 SOS 169161 HAS SOPS 99010 HAS SOUS 7143 HAS SOUPS 6838 WITH SCORE 7007.161
AT ITER 8036 NEW BEST:: SOT 232403 SOS 169162 HAS SOPS 99012 HAS SOUS 7139 HAS SOUPS 6834 WITH SCORE 7003.162
AT ITER 8059 NEW BEST:: SOT 230948 SOS 167511 HAS SOPS 101206 HAS SOUS 7129 HAS SOUPS 6824 WITH SCORE 6991.511
AT ITER 8188 NEW BEST:: SOT 230948 SOS 167504 HAS SOPS 101206 HAS SOUS 7129 HAS SOUPS 6824 WITH SCORE 6991.504
AT ITER 8200 NEW BEST:: SOT 230946 SOS 167502 HAS SOPS 101204 HAS SOUS 7129 HAS SOUPS 6824 WITH SCORE 6991.502
AT ITER 8229 NEW BEST:: SOT 230935 SOS 167504 HAS SOPS 101206 HAS SOUS 7119 HAS SOUPS 6814 WITH SCORE 6981.504
AT ITER 8386 NEW BEST:: SOT 230929 SOS 167506 HAS SOPS 101226 HAS SOUS 7113 HAS SOUPS 6808 WITH SCORE 6975.506
AT ITER 8443 NEW BEST:: SOT 230925 SOS 167498 HAS SOPS 101218 HAS SOUS 7109 HAS SOUPS 6804 WITH SCORE 6971.498
AT ITER 8455 NEW BEST:: SOT 230927 SOS 167503 HAS SOPS 101222 HAS SOUS 7107 HAS SOUPS 6802 WITH SCORE 6969.503
AT ITER 8520 NEW BEST:: SOT 230867 SOS 167494 HAS SOPS 101213 HAS SOUS 7103 HAS SOUPS 6798 WITH SCORE 6965.494
AT ITER 8572 NEW BEST:: SOT 230871 SOS 167490 HAS SOPS 101213 HAS SOUS 7103 HAS SOUPS 6798 WITH SCORE 6965.49
AT ITER 8724 NEW BEST:: SOT 230856 SOS 167484 HAS SOPS 101207 HAS SOUS 7098 HAS SOUPS 6793 WITH SCORE 6960.484
AT ITER 8765 NEW BEST:: SOT 230853 SOS 167478 HAS SOPS 101201 HAS SOUS 7092 HAS SOUPS 6787 WITH SCORE 6954.478
AT ITER 8980 NEW BEST:: SOT 230851 SOS 167476 HAS SOPS 101197 HAS SOUS 7088 HAS SOUPS 6783 WITH SCORE 6950.476
AT ITER 9068 NEW BEST:: SOT 230835 SOS 167444 HAS SOPS 101181 HAS SOUS 7088 HAS SOUPS 6783 WITH SCORE 6950.444
AT ITER 9178 NEW BEST:: SOT 230833 SOS 167441 HAS SOPS 101177 HAS SOUS 7084 HAS SOUPS 6779 WITH SCORE 6946.441
AT ITER 9233 NEW BEST:: SOT 230830 SOS 167435 HAS SOPS 101171 HAS SOUS 7081 HAS SOUPS 6776 WITH SCORE 6943.435
AT ITER 9327 NEW BEST:: SOT 230830 SOS 167455 HAS SOPS 99111 HAS SOUS 7051 HAS SOUPS 6746 WITH SCORE 6913.455
AT ITER 9547 NEW BEST:: SOT 230829 SOS 167358 HAS SOPS 98995 HAS SOUS 7050 HAS SOUPS 6745 WITH SCORE 6912.358
AT ITER 9582 NEW BEST:: SOT 230884 SOS 167376 HAS SOPS 99013 HAS SOUS 7048 HAS SOUPS 6743 WITH SCORE 6910.376
AT ITER 9591 NEW BEST:: SOT 230884 SOS 167368 HAS SOPS 99005 HAS SOUS 7040 HAS SOUPS 6735 WITH SCORE 6902.368
AT ITER 9601 NEW BEST:: SOT 230873 SOS 166916 HAS SOPS 98551 HAS SOUS 7037 HAS SOUPS 6732 WITH SCORE 6898.916
AT ITER 9628 NEW BEST:: SOT 230875 SOS 166911 HAS SOPS 98546 HAS SOUS 7032 HAS SOUPS 6727 WITH SCORE 6893.911
AT ITER 9651 NEW BEST:: SOT 230832 SOS 166889 HAS SOPS 98498 HAS SOUS 7027 HAS SOUPS 6722 WITH SCORE 6888.889
AT ITER 9733 NEW BEST:: SOT 230829 SOS 166883 HAS SOPS 99344 HAS SOUS 7027 HAS SOUPS 6722 WITH SCORE 6888.883
STATE_SPACE STATES 1153503 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7574399 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679271808654

--------------------
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="StigmergyCommit-PT-06a"
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"
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 smart"
echo " Input is StigmergyCommit-PT-06a, 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 r451-smll-167912643500464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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