Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961251000776.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PhaseVariation-PT-D05CS010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961251000776
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 4.4K Apr 12 00:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 00:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 10 23:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 23:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Apr 10 08:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 08:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Apr 9 13:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 9 13:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 633K 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 1589648428517

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

Filename model.pnml
Petri model created: 77 places, 677 transitions, 4685 arcs.
AT ITER 0 NEW BEST:: SOT 46635 SOS 33492 HAS SOPS 28721 HAS SOUS 23309 HAS SOUPS 22271 WITH SCORE 22304.492
AT ITER 1 NEW BEST:: SOT 46635 SOS 33574 HAS SOPS 28889 HAS SOUS 23244 HAS SOUPS 22206 WITH SCORE 22239.574
AT ITER 3 NEW BEST:: SOT 46635 SOS 33575 HAS SOPS 28897 HAS SOUS 23230 HAS SOUPS 22199 WITH SCORE 22232.575
AT ITER 6 NEW BEST:: SOT 46635 SOS 33989 HAS SOPS 29281 HAS SOUS 22904 HAS SOUPS 21887 WITH SCORE 21920.989
AT ITER 7 NEW BEST:: SOT 46635 SOS 34005 HAS SOPS 29313 HAS SOUS 22867 HAS SOUPS 21804 WITH SCORE 21838.005
AT ITER 9 NEW BEST:: SOT 46635 SOS 34048 HAS SOPS 29905 HAS SOUS 22239 HAS SOUPS 21302 WITH SCORE 21336.048
AT ITER 12 NEW BEST:: SOT 46635 SOS 34039 HAS SOPS 29857 HAS SOUS 22228 HAS SOUPS 21291 WITH SCORE 21325.039
AT ITER 14 NEW BEST:: SOT 46635 SOS 34049 HAS SOPS 29897 HAS SOUS 22044 HAS SOUPS 21153 WITH SCORE 21187.049
AT ITER 15 NEW BEST:: SOT 46745 SOS 34576 HAS SOPS 30391 HAS SOUS 21983 HAS SOUPS 21075 WITH SCORE 21109.576
AT ITER 16 NEW BEST:: SOT 46983 SOS 34939 HAS SOPS 30887 HAS SOUS 21058 HAS SOUPS 20133 WITH SCORE 20167.939
AT ITER 17 NEW BEST:: SOT 46983 SOS 34991 HAS SOPS 30887 HAS SOUS 21032 HAS SOUPS 20107 WITH SCORE 20141.991
AT ITER 18 NEW BEST:: SOT 47099 SOS 35191 HAS SOPS 31079 HAS SOUS 20622 HAS SOUPS 19735 WITH SCORE 19770.191
AT ITER 23 NEW BEST:: SOT 47099 SOS 35145 HAS SOPS 31031 HAS SOUS 20357 HAS SOUPS 19487 WITH SCORE 19522.145
AT ITER 24 NEW BEST:: SOT 47099 SOS 35120 HAS SOPS 31225 HAS SOUS 19602 HAS SOUPS 18771 WITH SCORE 18806.12
AT ITER 27 NEW BEST:: SOT 47099 SOS 35148 HAS SOPS 31273 HAS SOUS 19558 HAS SOUPS 18731 WITH SCORE 18766.148
AT ITER 29 NEW BEST:: SOT 47099 SOS 34837 HAS SOPS 31047 HAS SOUS 18845 HAS SOUPS 18029 WITH SCORE 18063.837
AT ITER 31 NEW BEST:: SOT 47099 SOS 34915 HAS SOPS 31095 HAS SOUS 18813 HAS SOUPS 17993 WITH SCORE 18027.915
AT ITER 36 NEW BEST:: SOT 47173 SOS 34782 HAS SOPS 31001 HAS SOUS 18693 HAS SOUPS 17874 WITH SCORE 17908.782
AT ITER 38 NEW BEST:: SOT 47173 SOS 34833 HAS SOPS 30935 HAS SOUS 18713 HAS SOUPS 17867 WITH SCORE 17901.833
AT ITER 42 NEW BEST:: SOT 47173 SOS 34826 HAS SOPS 30923 HAS SOUS 18618 HAS SOUPS 17772 WITH SCORE 17806.826
AT ITER 45 NEW BEST:: SOT 47173 SOS 34577 HAS SOPS 31301 HAS SOUS 18217 HAS SOUPS 17536 WITH SCORE 17570.577
AT ITER 46 NEW BEST:: SOT 47173 SOS 34582 HAS SOPS 31499 HAS SOUS 18150 HAS SOUPS 17469 WITH SCORE 17503.582
AT ITER 47 NEW BEST:: SOT 47173 SOS 34611 HAS SOPS 31427 HAS SOUS 18196 HAS SOUPS 17424 WITH SCORE 17458.611
AT ITER 48 NEW BEST:: SOT 47173 SOS 34542 HAS SOPS 31607 HAS SOUS 18032 HAS SOUPS 17281 WITH SCORE 17315.542
AT ITER 49 NEW BEST:: SOT 47173 SOS 42610 HAS SOPS 31221 HAS SOUS 17461 HAS SOUPS 16691 WITH SCORE 16733.61
AT ITER 53 NEW BEST:: SOT 47173 SOS 42610 HAS SOPS 30357 HAS SOUS 17371 HAS SOUPS 16496 WITH SCORE 16538.61
AT ITER 57 NEW BEST:: SOT 47173 SOS 42610 HAS SOPS 29565 HAS SOUS 17408 HAS SOUPS 16488 WITH SCORE 16530.61
AT ITER 59 NEW BEST:: SOT 47173 SOS 42610 HAS SOPS 29565 HAS SOUS 17386 HAS SOUPS 16466 WITH SCORE 16508.61
AT ITER 61 NEW BEST:: SOT 47173 SOS 42615 HAS SOPS 29979 HAS SOUS 17299 HAS SOUPS 16408 WITH SCORE 16450.615
AT ITER 63 NEW BEST:: SOT 47173 SOS 42615 HAS SOPS 30207 HAS SOUS 17276 HAS SOUPS 16403 WITH SCORE 16445.615
AT ITER 71 NEW BEST:: SOT 47173 SOS 42615 HAS SOPS 30223 HAS SOUS 17269 HAS SOUPS 16402 WITH SCORE 16444.615
AT ITER 74 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30155 HAS SOUS 17261 HAS SOUPS 16394 WITH SCORE 16438.7
AT ITER 75 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30179 HAS SOUS 17236 HAS SOUPS 16365 WITH SCORE 16409.7
AT ITER 85 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30499 HAS SOUS 17057 HAS SOUPS 16265 WITH SCORE 16309.7
AT ITER 90 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30507 HAS SOUS 16936 HAS SOUPS 16161 WITH SCORE 16205.7
AT ITER 91 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30507 HAS SOUS 16920 HAS SOUPS 16145 WITH SCORE 16189.7
AT ITER 102 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30603 HAS SOUS 16884 HAS SOUPS 16113 WITH SCORE 16157.7
AT ITER 103 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30603 HAS SOUS 16824 HAS SOUPS 16059 WITH SCORE 16103.7
AT ITER 106 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30519 HAS SOUS 16760 HAS SOUPS 15985 WITH SCORE 16029.7
AT ITER 109 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30531 HAS SOUS 16568 HAS SOUPS 15811 WITH SCORE 15855.7
AT ITER 112 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30675 HAS SOUS 16513 HAS SOUPS 15764 WITH SCORE 15808.7
AT ITER 113 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30583 HAS SOUS 16392 HAS SOUPS 15666 WITH SCORE 15710.7
AT ITER 115 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30559 HAS SOUS 16369 HAS SOUPS 15633 WITH SCORE 15677.7
AT ITER 116 NEW BEST:: SOT 47173 SOS 44700 HAS SOPS 30763 HAS SOUS 16292 HAS SOUPS 15567 WITH SCORE 15611.7
AT ITER 117 NEW BEST:: SOT 44299 SOS 41826 HAS SOPS 27889 HAS SOUS 13362 HAS SOUPS 12637 WITH SCORE 12678.826
AT ITER 124 NEW BEST:: SOT 44349 SOS 41876 HAS SOPS 27735 HAS SOUS 13226 HAS SOUPS 12499 WITH SCORE 12540.876
AT ITER 126 NEW BEST:: SOT 44349 SOS 41909 HAS SOPS 28199 HAS SOUS 13132 HAS SOUPS 12428 WITH SCORE 12469.909
AT ITER 127 NEW BEST:: SOT 44349 SOS 41909 HAS SOPS 28299 HAS SOUS 13125 HAS SOUPS 12424 WITH SCORE 12465.909
AT ITER 133 NEW BEST:: SOT 44349 SOS 41909 HAS SOPS 28383 HAS SOUS 13121 HAS SOUPS 12420 WITH SCORE 12461.909
AT ITER 138 NEW BEST:: SOT 44349 SOS 41909 HAS SOPS 28575 HAS SOUS 13046 HAS SOUPS 12384 WITH SCORE 12425.909
AT ITER 141 NEW BEST:: SOT 44349 SOS 41909 HAS SOPS 28663 HAS SOUS 12835 HAS SOUPS 12210 WITH SCORE 12251.909
AT ITER 144 NEW BEST:: SOT 40427 SOS 37987 HAS SOPS 27513 HAS SOUS 8747 HAS SOUPS 8516 WITH SCORE 8553.987
AT ITER 145 NEW BEST:: SOT 40441 SOS 38001 HAS SOPS 27527 HAS SOUS 8606 HAS SOUPS 8375 WITH SCORE 8413.001
AT ITER 147 NEW BEST:: SOT 40437 SOS 37997 HAS SOPS 27523 HAS SOUS 8545 HAS SOUPS 8314 WITH SCORE 8351.997
AT ITER 150 NEW BEST:: SOT 40437 SOS 37957 HAS SOPS 27323 HAS SOUS 8544 HAS SOUPS 8313 WITH SCORE 8350.957
AT ITER 158 NEW BEST:: SOT 40405 SOS 37925 HAS SOPS 27291 HAS SOUS 8419 HAS SOUPS 8188 WITH SCORE 8225.925
AT ITER 160 NEW BEST:: SOT 40014 SOS 37534 HAS SOPS 26900 HAS SOUS 8284 HAS SOUPS 8053 WITH SCORE 8090.534
AT ITER 161 NEW BEST:: SOT 40014 SOS 37534 HAS SOPS 26960 HAS SOUS 8267 HAS SOUPS 8036 WITH SCORE 8073.534
AT ITER 164 NEW BEST:: SOT 39998 SOS 37518 HAS SOPS 26884 HAS SOUS 8208 HAS SOUPS 7977 WITH SCORE 8014.518
AT ITER 168 NEW BEST:: SOT 39701 SOS 37221 HAS SOPS 26587 HAS SOUS 7956 HAS SOUPS 7725 WITH SCORE 7762.221
AT ITER 169 NEW BEST:: SOT 39597 SOS 37117 HAS SOPS 26483 HAS SOUS 7949 HAS SOUPS 7718 WITH SCORE 7755.117
AT ITER 170 NEW BEST:: SOT 39416 SOS 36936 HAS SOPS 26302 HAS SOUS 7904 HAS SOUPS 7673 WITH SCORE 7709.936
AT ITER 172 NEW BEST:: SOT 39416 SOS 36936 HAS SOPS 26350 HAS SOUS 7903 HAS SOUPS 7672 WITH SCORE 7708.936
AT ITER 173 NEW BEST:: SOT 39017 SOS 36537 HAS SOPS 28231 HAS SOUS 7354 HAS SOUPS 7245 WITH SCORE 7281.537
AT ITER 174 NEW BEST:: SOT 38846 SOS 36366 HAS SOPS 28060 HAS SOUS 7286 HAS SOUPS 7177 WITH SCORE 7213.366
AT ITER 176 NEW BEST:: SOT 38846 SOS 36366 HAS SOPS 27976 HAS SOUS 7278 HAS SOUPS 7169 WITH SCORE 7205.366
AT ITER 179 NEW BEST:: SOT 38877 SOS 36397 HAS SOPS 28007 HAS SOUS 7231 HAS SOUPS 7122 WITH SCORE 7158.397
AT ITER 184 NEW BEST:: SOT 38996 SOS 36516 HAS SOPS 28324 HAS SOUS 7206 HAS SOUPS 7097 WITH SCORE 7133.516
AT ITER 190 NEW BEST:: SOT 38996 SOS 36516 HAS SOPS 28234 HAS SOUS 7196 HAS SOUPS 7087 WITH SCORE 7123.516
AT ITER 196 NEW BEST:: SOT 38804 SOS 36324 HAS SOPS 28042 HAS SOUS 7123 HAS SOUPS 7014 WITH SCORE 7050.324
AT ITER 204 NEW BEST:: SOT 38824 SOS 36344 HAS SOPS 28062 HAS SOUS 7121 HAS SOUPS 7012 WITH SCORE 7048.344
AT ITER 214 NEW BEST:: SOT 38824 SOS 36344 HAS SOPS 28134 HAS SOUS 7110 HAS SOUPS 7001 WITH SCORE 7037.344
AT ITER 216 NEW BEST:: SOT 38802 SOS 36322 HAS SOPS 28112 HAS SOUS 7110 HAS SOUPS 7001 WITH SCORE 7037.322
AT ITER 217 NEW BEST:: SOT 38802 SOS 37518 HAS SOPS 28082 HAS SOUS 7110 HAS SOUPS 6999 WITH SCORE 7036.518
AT ITER 225 NEW BEST:: SOT 38802 SOS 37518 HAS SOPS 28226 HAS SOUS 7103 HAS SOUPS 6996 WITH SCORE 7033.518
AT ITER 230 NEW BEST:: SOT 39041 SOS 37757 HAS SOPS 28555 HAS SOUS 6924 HAS SOUPS 6829 WITH SCORE 6866.757
AT ITER 233 NEW BEST:: SOT 39019 SOS 37735 HAS SOPS 28533 HAS SOUS 6891 HAS SOUPS 6796 WITH SCORE 6833.735
AT ITER 234 NEW BEST:: SOT 38966 SOS 37682 HAS SOPS 28480 HAS SOUS 6890 HAS SOUPS 6795 WITH SCORE 6832.682
AT ITER 236 NEW BEST:: SOT 38966 SOS 37682 HAS SOPS 28240 HAS SOUS 6852 HAS SOUPS 6757 WITH SCORE 6794.682
AT ITER 237 NEW BEST:: SOT 38901 SOS 37617 HAS SOPS 28175 HAS SOUS 6753 HAS SOUPS 6658 WITH SCORE 6695.617
AT ITER 243 NEW BEST:: SOT 38919 SOS 37635 HAS SOPS 28193 HAS SOUS 6650 HAS SOUPS 6555 WITH SCORE 6592.635
AT ITER 252 NEW BEST:: SOT 38885 SOS 37601 HAS SOPS 28159 HAS SOUS 6567 HAS SOUPS 6472 WITH SCORE 6509.601
AT ITER 253 NEW BEST:: SOT 38877 SOS 37593 HAS SOPS 28151 HAS SOUS 6563 HAS SOUPS 6468 WITH SCORE 6505.593
AT ITER 256 NEW BEST:: SOT 38877 SOS 37593 HAS SOPS 28187 HAS SOUS 6561 HAS SOUPS 6466 WITH SCORE 6503.593
AT ITER 264 NEW BEST:: SOT 38877 SOS 37593 HAS SOPS 28097 HAS SOUS 6549 HAS SOUPS 6454 WITH SCORE 6491.593
AT ITER 266 NEW BEST:: SOT 38857 SOS 37573 HAS SOPS 28077 HAS SOUS 6524 HAS SOUPS 6429 WITH SCORE 6466.573
AT ITER 268 NEW BEST:: SOT 38857 SOS 37573 HAS SOPS 28077 HAS SOUS 6454 HAS SOUPS 6359 WITH SCORE 6396.573
AT ITER 275 NEW BEST:: SOT 38923 SOS 37639 HAS SOPS 28143 HAS SOUS 6415 HAS SOUPS 6320 WITH SCORE 6357.639
AT ITER 298 NEW BEST:: SOT 38907 SOS 37623 HAS SOPS 28127 HAS SOUS 6402 HAS SOUPS 6307 WITH SCORE 6344.623
AT ITER 300 NEW BEST:: SOT 38907 SOS 37623 HAS SOPS 28127 HAS SOUS 6382 HAS SOUPS 6287 WITH SCORE 6324.623
AT ITER 309 NEW BEST:: SOT 38764 SOS 37480 HAS SOPS 27948 HAS SOUS 6375 HAS SOUPS 6279 WITH SCORE 6316.48
AT ITER 310 NEW BEST:: SOT 38714 SOS 37430 HAS SOPS 27898 HAS SOUS 6370 HAS SOUPS 6274 WITH SCORE 6311.43
AT ITER 322 NEW BEST:: SOT 38714 SOS 31462 HAS SOPS 28078 HAS SOUS 6358 HAS SOUPS 6274 WITH SCORE 6305.462
AT ITER 323 NEW BEST:: SOT 38704 SOS 31452 HAS SOPS 27978 HAS SOUS 6336 HAS SOUPS 6252 WITH SCORE 6283.452
AT ITER 324 NEW BEST:: SOT 38630 SOS 33959 HAS SOPS 33876 HAS SOUS 6254 HAS SOUPS 6240 WITH SCORE 6273.959
AT ITER 332 NEW BEST:: SOT 38669 SOS 33998 HAS SOPS 33915 HAS SOUS 6220 HAS SOUPS 6206 WITH SCORE 6239.998
AT ITER 335 NEW BEST:: SOT 38343 SOS 33672 HAS SOPS 33589 HAS SOUS 6146 HAS SOUPS 6132 WITH SCORE 6165.672
AT ITER 336 NEW BEST:: SOT 38337 SOS 33666 HAS SOPS 33583 HAS SOUS 6127 HAS SOUPS 6113 WITH SCORE 6146.666
AT ITER 337 NEW BEST:: SOT 38278 SOS 33607 HAS SOPS 33524 HAS SOUS 6099 HAS SOUPS 6085 WITH SCORE 6118.607
AT ITER 338 NEW BEST:: SOT 38236 SOS 33565 HAS SOPS 33482 HAS SOUS 6059 HAS SOUPS 6045 WITH SCORE 6078.565
AT ITER 339 NEW BEST:: SOT 38218 SOS 33547 HAS SOPS 33464 HAS SOUS 6031 HAS SOUPS 6017 WITH SCORE 6050.547
AT ITER 365 NEW BEST:: SOT 38179 SOS 33508 HAS SOPS 33425 HAS SOUS 6013 HAS SOUPS 5999 WITH SCORE 6032.508
AT ITER 372 NEW BEST:: SOT 38179 SOS 33476 HAS SOPS 33393 HAS SOUS 6013 HAS SOUPS 5999 WITH SCORE 6032.476
AT ITER 388 NEW BEST:: SOT 38227 SOS 33524 HAS SOPS 33441 HAS SOUS 5994 HAS SOUPS 5980 WITH SCORE 6013.524
AT ITER 389 NEW BEST:: SOT 38132 SOS 33429 HAS SOPS 33346 HAS SOUS 5984 HAS SOUPS 5970 WITH SCORE 6003.429
AT ITER 400 NEW BEST:: SOT 38127 SOS 33424 HAS SOPS 33341 HAS SOUS 5935 HAS SOUPS 5921 WITH SCORE 5954.424
AT ITER 409 NEW BEST:: SOT 38070 SOS 33367 HAS SOPS 33284 HAS SOUS 5921 HAS SOUPS 5907 WITH SCORE 5940.367
AT ITER 416 NEW BEST:: SOT 38075 SOS 33372 HAS SOPS 33289 HAS SOUS 5902 HAS SOUPS 5888 WITH SCORE 5921.372
AT ITER 417 NEW BEST:: SOT 38046 SOS 33343 HAS SOPS 33260 HAS SOUS 5890 HAS SOUPS 5876 WITH SCORE 5909.343
AT ITER 442 NEW BEST:: SOT 38015 SOS 33312 HAS SOPS 33229 HAS SOUS 5814 HAS SOUPS 5800 WITH SCORE 5833.312
AT ITER 448 NEW BEST:: SOT 38015 SOS 33300 HAS SOPS 33217 HAS SOUS 5814 HAS SOUPS 5800 WITH SCORE 5833.3
AT ITER 458 NEW BEST:: SOT 38018 SOS 33303 HAS SOPS 33220 HAS SOUS 5687 HAS SOUPS 5673 WITH SCORE 5706.303
AT ITER 470 NEW BEST:: SOT 37999 SOS 35503 HAS SOPS 33147 HAS SOUS 5655 HAS SOUPS 5643 WITH SCORE 5678.503
AT ITER 486 NEW BEST:: SOT 37976 SOS 35480 HAS SOPS 33124 HAS SOUS 5644 HAS SOUPS 5632 WITH SCORE 5667.48
AT ITER 492 NEW BEST:: SOT 37896 SOS 35400 HAS SOPS 33044 HAS SOUS 5524 HAS SOUPS 5512 WITH SCORE 5547.4
AT ITER 505 NEW BEST:: SOT 37942 SOS 35446 HAS SOPS 33090 HAS SOUS 5445 HAS SOUPS 5433 WITH SCORE 5468.446
AT ITER 529 NEW BEST:: SOT 37902 SOS 35406 HAS SOPS 33050 HAS SOUS 5432 HAS SOUPS 5420 WITH SCORE 5455.406
AT ITER 544 NEW BEST:: SOT 37784 SOS 35288 HAS SOPS 32932 HAS SOUS 5425 HAS SOUPS 5413 WITH SCORE 5448.288
AT ITER 553 NEW BEST:: SOT 37783 SOS 35287 HAS SOPS 32931 HAS SOUS 5425 HAS SOUPS 5413 WITH SCORE 5448.287
AT ITER 554 NEW BEST:: SOT 37780 SOS 35284 HAS SOPS 32928 HAS SOUS 5413 HAS SOUPS 5401 WITH SCORE 5436.284
AT ITER 562 NEW BEST:: SOT 37734 SOS 35238 HAS SOPS 32882 HAS SOUS 5321 HAS SOUPS 5309 WITH SCORE 5344.238
AT ITER 563 NEW BEST:: SOT 37638 SOS 35142 HAS SOPS 32786 HAS SOUS 5316 HAS SOUPS 5304 WITH SCORE 5339.142
AT ITER 570 NEW BEST:: SOT 37304 SOS 34808 HAS SOPS 32452 HAS SOUS 5272 HAS SOUPS 5260 WITH SCORE 5294.808
AT ITER 581 NEW BEST:: SOT 37035 SOS 34539 HAS SOPS 32183 HAS SOUS 5181 HAS SOUPS 5169 WITH SCORE 5203.539
AT ITER 605 NEW BEST:: SOT 37276 SOS 34780 HAS SOPS 32424 HAS SOUS 5175 HAS SOUPS 5163 WITH SCORE 5197.78
AT ITER 620 NEW BEST:: SOT 37312 SOS 34816 HAS SOPS 32460 HAS SOUS 5057 HAS SOUPS 5045 WITH SCORE 5079.816
AT ITER 624 NEW BEST:: SOT 37280 SOS 34784 HAS SOPS 32428 HAS SOUS 5022 HAS SOUPS 5010 WITH SCORE 5044.784
AT ITER 639 NEW BEST:: SOT 37259 SOS 34763 HAS SOPS 32407 HAS SOUS 4976 HAS SOUPS 4964 WITH SCORE 4998.763
AT ITER 648 NEW BEST:: SOT 37253 SOS 34757 HAS SOPS 32401 HAS SOUS 4941 HAS SOUPS 4929 WITH SCORE 4963.757
AT ITER 697 NEW BEST:: SOT 37258 SOS 34762 HAS SOPS 32406 HAS SOUS 4920 HAS SOUPS 4908 WITH SCORE 4942.762
AT ITER 714 NEW BEST:: SOT 37256 SOS 34760 HAS SOPS 32940 HAS SOUS 4917 HAS SOUPS 4907 WITH SCORE 4941.76
AT ITER 720 NEW BEST:: SOT 37152 SOS 34656 HAS SOPS 32836 HAS SOUS 4884 HAS SOUPS 4874 WITH SCORE 4908.656
AT ITER 737 NEW BEST:: SOT 37120 SOS 34624 HAS SOPS 32804 HAS SOUS 4863 HAS SOUPS 4853 WITH SCORE 4887.624
AT ITER 750 NEW BEST:: SOT 37092 SOS 34596 HAS SOPS 32776 HAS SOUS 4849 HAS SOUPS 4839 WITH SCORE 4873.596
AT ITER 752 NEW BEST:: SOT 37092 SOS 37092 HAS SOPS 32732 HAS SOUS 4845 HAS SOUPS 4835 WITH SCORE 4872.092
AT ITER 765 NEW BEST:: SOT 36794 SOS 36794 HAS SOPS 32434 HAS SOUS 4813 HAS SOUPS 4803 WITH SCORE 4839.794
AT ITER 769 NEW BEST:: SOT 36790 SOS 36790 HAS SOPS 32430 HAS SOUS 4785 HAS SOUPS 4775 WITH SCORE 4811.79
AT ITER 773 NEW BEST:: SOT 36802 SOS 36802 HAS SOPS 32442 HAS SOUS 4755 HAS SOUPS 4745 WITH SCORE 4781.802
AT ITER 788 NEW BEST:: SOT 36924 SOS 36924 HAS SOPS 32564 HAS SOUS 4667 HAS SOUPS 4657 WITH SCORE 4693.924
AT ITER 791 NEW BEST:: SOT 36779 SOS 36779 HAS SOPS 32419 HAS SOUS 4665 HAS SOUPS 4655 WITH SCORE 4691.779
AT ITER 828 NEW BEST:: SOT 36767 SOS 36767 HAS SOPS 32407 HAS SOUS 4662 HAS SOUPS 4652 WITH SCORE 4688.767
AT ITER 832 NEW BEST:: SOT 36708 SOS 36708 HAS SOPS 32348 HAS SOUS 4602 HAS SOUPS 4592 WITH SCORE 4628.708
AT ITER 834 NEW BEST:: SOT 36659 SOS 36659 HAS SOPS 32299 HAS SOUS 4576 HAS SOUPS 4566 WITH SCORE 4602.659
AT ITER 840 NEW BEST:: SOT 36683 SOS 36683 HAS SOPS 32323 HAS SOUS 4568 HAS SOUPS 4558 WITH SCORE 4594.683
AT ITER 846 NEW BEST:: SOT 36687 SOS 36687 HAS SOPS 32327 HAS SOUS 4562 HAS SOUPS 4552 WITH SCORE 4588.687
AT ITER 854 NEW BEST:: SOT 36670 SOS 36670 HAS SOPS 32310 HAS SOUS 4524 HAS SOUPS 4514 WITH SCORE 4550.67
AT ITER 859 NEW BEST:: SOT 36664 SOS 36664 HAS SOPS 34700 HAS SOUS 4514 HAS SOUPS 4511 WITH SCORE 4547.664
AT ITER 893 NEW BEST:: SOT 36644 SOS 36644 HAS SOPS 34680 HAS SOUS 4501 HAS SOUPS 4498 WITH SCORE 4534.644
AT ITER 909 NEW BEST:: SOT 36623 SOS 36623 HAS SOPS 34655 HAS SOUS 4502 HAS SOUPS 4498 WITH SCORE 4534.623
AT ITER 981 NEW BEST:: SOT 36599 SOS 36599 HAS SOPS 34631 HAS SOUS 4502 HAS SOUPS 4498 WITH SCORE 4534.599
AT ITER 997 NEW BEST:: SOT 36594 SOS 36594 HAS SOPS 34614 HAS SOUS 4498 HAS SOUPS 4494 WITH SCORE 4530.594
AT ITER 1061 NEW BEST:: SOT 36601 SOS 36601 HAS SOPS 34621 HAS SOUS 4496 HAS SOUPS 4492 WITH SCORE 4528.601
AT ITER 1069 NEW BEST:: SOT 36599 SOS 36599 HAS SOPS 34619 HAS SOUS 4467 HAS SOUPS 4463 WITH SCORE 4499.599
AT ITER 1133 NEW BEST:: SOT 36539 SOS 36539 HAS SOPS 34559 HAS SOUS 4427 HAS SOUPS 4423 WITH SCORE 4459.539
AT ITER 1137 NEW BEST:: SOT 36469 SOS 36469 HAS SOPS 34489 HAS SOUS 4375 HAS SOUPS 4371 WITH SCORE 4407.469
AT ITER 1151 NEW BEST:: SOT 36423 SOS 36423 HAS SOPS 34443 HAS SOUS 4311 HAS SOUPS 4307 WITH SCORE 4343.423
AT ITER 1170 NEW BEST:: SOT 36419 SOS 36419 HAS SOPS 34439 HAS SOUS 4310 HAS SOUPS 4306 WITH SCORE 4342.419
AT ITER 1226 NEW BEST:: SOT 36436 SOS 36436 HAS SOPS 34456 HAS SOUS 4308 HAS SOUPS 4304 WITH SCORE 4340.436
AT ITER 1228 NEW BEST:: SOT 36380 SOS 36380 HAS SOPS 34400 HAS SOUS 4259 HAS SOUPS 4255 WITH SCORE 4291.38
AT ITER 1236 NEW BEST:: SOT 36380 SOS 36380 HAS SOPS 34400 HAS SOUS 4257 HAS SOUPS 4253 WITH SCORE 4289.38
AT ITER 1269 NEW BEST:: SOT 36380 SOS 36380 HAS SOPS 34400 HAS SOUS 4255 HAS SOUPS 4251 WITH SCORE 4287.38
AT ITER 1298 NEW BEST:: SOT 36364 SOS 36364 HAS SOPS 34384 HAS SOUS 4253 HAS SOUPS 4249 WITH SCORE 4285.364
AT ITER 1311 NEW BEST:: SOT 36264 SOS 36264 HAS SOPS 34284 HAS SOUS 4225 HAS SOUPS 4221 WITH SCORE 4257.264
AT ITER 1325 NEW BEST:: SOT 36274 SOS 36274 HAS SOPS 34310 HAS SOUS 4223 HAS SOUPS 4220 WITH SCORE 4256.274
AT ITER 1326 NEW BEST:: SOT 36226 SOS 36226 HAS SOPS 34262 HAS SOUS 4171 HAS SOUPS 4168 WITH SCORE 4204.226
AT ITER 1384 NEW BEST:: SOT 36266 SOS 36266 HAS SOPS 34302 HAS SOUS 4152 HAS SOUPS 4149 WITH SCORE 4185.266
AT ITER 1442 NEW BEST:: SOT 36275 SOS 36275 HAS SOPS 34311 HAS SOUS 4148 HAS SOUPS 4145 WITH SCORE 4181.275
AT ITER 1527 NEW BEST:: SOT 36260 SOS 36260 HAS SOPS 34296 HAS SOUS 4144 HAS SOUPS 4141 WITH SCORE 4177.26
AT ITER 1590 NEW BEST:: SOT 36294 SOS 36294 HAS SOPS 34330 HAS SOUS 4136 HAS SOUPS 4133 WITH SCORE 4169.294
AT ITER 1625 NEW BEST:: SOT 36282 SOS 36282 HAS SOPS 34318 HAS SOUS 4135 HAS SOUPS 4132 WITH SCORE 4168.282
AT ITER 1627 NEW BEST:: SOT 36270 SOS 36270 HAS SOPS 34306 HAS SOUS 4113 HAS SOUPS 4110 WITH SCORE 4146.27
AT ITER 1640 NEW BEST:: SOT 36271 SOS 36271 HAS SOPS 34307 HAS SOUS 4111 HAS SOUPS 4108 WITH SCORE 4144.271
AT ITER 1670 NEW BEST:: SOT 36277 SOS 36277 HAS SOPS 34313 HAS SOUS 4110 HAS SOUPS 4107 WITH SCORE 4143.277
AT ITER 1769 NEW BEST:: SOT 36351 SOS 36351 HAS SOPS 34387 HAS SOUS 4108 HAS SOUPS 4105 WITH SCORE 4141.351
AT ITER 1914 NEW BEST:: SOT 36299 SOS 36299 HAS SOPS 34335 HAS SOUS 4079 HAS SOUPS 4076 WITH SCORE 4112.299
AT ITER 1915 NEW BEST:: SOT 36254 SOS 36254 HAS SOPS 34290 HAS SOUS 4046 HAS SOUPS 4043 WITH SCORE 4079.254
AT ITER 1930 NEW BEST:: SOT 36237 SOS 36237 HAS SOPS 34273 HAS SOUS 4040 HAS SOUPS 4037 WITH SCORE 4073.237
AT ITER 2095 NEW BEST:: SOT 36249 SOS 36249 HAS SOPS 34285 HAS SOUS 4033 HAS SOUPS 4030 WITH SCORE 4066.249
AT ITER 2096 NEW BEST:: SOT 36237 SOS 36237 HAS SOPS 34273 HAS SOUS 4020 HAS SOUPS 4017 WITH SCORE 4053.237
AT ITER 2100 NEW BEST:: SOT 36241 SOS 36241 HAS SOPS 34277 HAS SOUS 4016 HAS SOUPS 4013 WITH SCORE 4049.241
AT ITER 2192 NEW BEST:: SOT 36241 SOS 36241 HAS SOPS 34277 HAS SOUS 3976 HAS SOUPS 3973 WITH SCORE 4009.241
AT ITER 2312 NEW BEST:: SOT 36240 SOS 36240 HAS SOPS 34912 HAS SOUS 3974 HAS SOUPS 3972 WITH SCORE 4008.24
AT ITER 2332 NEW BEST:: SOT 36246 SOS 36246 HAS SOPS 34918 HAS SOUS 3972 HAS SOUPS 3970 WITH SCORE 4006.246
AT ITER 2459 NEW BEST:: SOT 36246 SOS 36246 HAS SOPS 34918 HAS SOUS 3954 HAS SOUPS 3952 WITH SCORE 3988.246
AT ITER 2578 NEW BEST:: SOT 36244 SOS 36244 HAS SOPS 34916 HAS SOUS 3951 HAS SOUPS 3949 WITH SCORE 3985.244
AT ITER 2618 NEW BEST:: SOT 36260 SOS 36260 HAS SOPS 34932 HAS SOUS 3945 HAS SOUPS 3943 WITH SCORE 3979.26
AT ITER 2621 NEW BEST:: SOT 36248 SOS 36248 HAS SOPS 34920 HAS SOUS 3945 HAS SOUPS 3943 WITH SCORE 3979.248
AT ITER 2646 NEW BEST:: SOT 36248 SOS 36248 HAS SOPS 34920 HAS SOUS 3943 HAS SOUPS 3941 WITH SCORE 3977.248
AT ITER 2652 NEW BEST:: SOT 36248 SOS 36248 HAS SOPS 34920 HAS SOUS 3938 HAS SOUPS 3936 WITH SCORE 3972.248
AT ITER 2735 NEW BEST:: SOT 36180 SOS 36180 HAS SOPS 34852 HAS SOUS 3893 HAS SOUPS 3891 WITH SCORE 3927.18
AT ITER 3195 NEW BEST:: SOT 36180 SOS 36180 HAS SOPS 34852 HAS SOUS 3892 HAS SOUPS 3890 WITH SCORE 3926.18
AT ITER 3215 NEW BEST:: SOT 36165 SOS 36165 HAS SOPS 34837 HAS SOUS 3883 HAS SOUPS 3881 WITH SCORE 3917.165
AT ITER 3246 NEW BEST:: SOT 36156 SOS 36156 HAS SOPS 34828 HAS SOUS 3883 HAS SOUPS 3881 WITH SCORE 3917.156
AT ITER 3295 NEW BEST:: SOT 36125 SOS 36125 HAS SOPS 34797 HAS SOUS 3869 HAS SOUPS 3867 WITH SCORE 3903.125
AT ITER 3556 NEW BEST:: SOT 36124 SOS 36124 HAS SOPS 35448 HAS SOUS 3867 HAS SOUPS 3866 WITH SCORE 3902.124
AT ITER 3788 NEW BEST:: SOT 36110 SOS 36110 HAS SOPS 35434 HAS SOUS 3864 HAS SOUPS 3863 WITH SCORE 3899.11
AT ITER 3885 NEW BEST:: SOT 36112 SOS 36112 HAS SOPS 35436 HAS SOUS 3862 HAS SOUPS 3861 WITH SCORE 3897.112
AT ITER 4181 NEW BEST:: SOT 36111 SOS 36111 HAS SOPS 35435 HAS SOUS 3847 HAS SOUPS 3846 WITH SCORE 3882.111
AT ITER 4317 NEW BEST:: SOT 36097 SOS 36097 HAS SOPS 35421 HAS SOUS 3843 HAS SOUPS 3842 WITH SCORE 3878.097
AT ITER 4375 NEW BEST:: SOT 36081 SOS 36081 HAS SOPS 35405 HAS SOUS 3838 HAS SOUPS 3837 WITH SCORE 3873.081
AT ITER 4455 NEW BEST:: SOT 36097 SOS 36097 HAS SOPS 35421 HAS SOUS 3833 HAS SOUPS 3832 WITH SCORE 3868.097
AT ITER 4825 NEW BEST:: SOT 36060 SOS 36060 HAS SOPS 35384 HAS SOUS 3802 HAS SOUPS 3801 WITH SCORE 3837.06
AT ITER 4903 NEW BEST:: SOT 36062 SOS 36062 HAS SOPS 35386 HAS SOUS 3800 HAS SOUPS 3799 WITH SCORE 3835.062
AT ITER 4950 NEW BEST:: SOT 36054 SOS 36054 HAS SOPS 35378 HAS SOUS 3791 HAS SOUPS 3790 WITH SCORE 3826.054
AT ITER 5517 NEW BEST:: SOT 35994 SOS 35994 HAS SOPS 35318 HAS SOUS 3764 HAS SOUPS 3763 WITH SCORE 3798.994
AT ITER 5591 NEW BEST:: SOT 36004 SOS 36004 HAS SOPS 35328 HAS SOUS 3761 HAS SOUPS 3760 WITH SCORE 3796.004
AT ITER 5733 NEW BEST:: SOT 35958 SOS 35958 HAS SOPS 35282 HAS SOUS 3755 HAS SOUPS 3754 WITH SCORE 3789.958
AT ITER 6339 NEW BEST:: SOT 35958 SOS 35958 HAS SOPS 35282 HAS SOUS 3753 HAS SOUPS 3752 WITH SCORE 3787.958
AT ITER 6438 NEW BEST:: SOT 35899 SOS 35899 HAS SOPS 35223 HAS SOUS 3744 HAS SOUPS 3743 WITH SCORE 3778.899
AT ITER 6819 NEW BEST:: SOT 35830 SOS 35830 HAS SOPS 35154 HAS SOUS 3725 HAS SOUPS 3724 WITH SCORE 3759.83
AT ITER 7646 NEW BEST:: SOT 35820 SOS 35820 HAS SOPS 35144 HAS SOUS 3724 HAS SOUPS 3723 WITH SCORE 3758.82
AT ITER 8055 NEW BEST:: SOT 35846 SOS 35846 HAS SOPS 35170 HAS SOUS 3717 HAS SOUPS 3716 WITH SCORE 3751.846
AT ITER 8067 NEW BEST:: SOT 35851 SOS 35851 HAS SOPS 35175 HAS SOUS 3705 HAS SOUPS 3704 WITH SCORE 3739.851
AT ITER 8321 NEW BEST:: SOT 35855 SOS 35855 HAS SOPS 35179 HAS SOUS 3704 HAS SOUPS 3703 WITH SCORE 3738.855
AT ITER 9072 NEW BEST:: SOT 35859 SOS 35859 HAS SOPS 35183 HAS SOUS 3703 HAS SOUPS 3702 WITH SCORE 3737.859
AT ITER 9360 NEW BEST:: SOT 35873 SOS 35873 HAS SOPS 35197 HAS SOUS 3695 HAS SOUPS 3694 WITH SCORE 3729.873

BK_STOP 1589650682670

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 470 Aborted ${SMART} ${INPUT_SM}

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="PhaseVariation-PT-D05CS010"
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 PhaseVariation-PT-D05CS010, 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 r108-csrt-158961251000776"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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