Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140100128.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 HexagonalGrid-PT-816, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140100128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rwxr-xr-x 1 mcc users 3.9M Apr 27 14:36 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 1589610219588

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

Filename model.pnml
Petri model created: 3391 places, 6174 transitions, 24696 arcs.
AT ITER 0 NEW BEST:: SOT 11073023 SOS 1129524 HAS SOPS 1129524 HAS SOUS 566016 HAS SOUPS 566016 WITH SCORE 567145.524
AT ITER 3 NEW BEST:: SOT 11072976 SOS 1129195 HAS SOPS 1129195 HAS SOUS 565875 HAS SOUPS 565875 WITH SCORE 567004.195
AT ITER 8 NEW BEST:: SOT 11072976 SOS 1128769 HAS SOPS 1128769 HAS SOUS 565733 HAS SOUPS 565733 WITH SCORE 566861.769
AT ITER 28 NEW BEST:: SOT 11072929 SOS 1128487 HAS SOPS 1128487 HAS SOUS 565639 HAS SOUPS 565639 WITH SCORE 566767.487
AT ITER 31 NEW BEST:: SOT 11072854 SOS 1128397 HAS SOPS 1128397 HAS SOUS 565549 HAS SOUPS 565549 WITH SCORE 566677.397
AT ITER 43 NEW BEST:: SOT 11072854 SOS 1128397 HAS SOPS 1128397 HAS SOUS 565534 HAS SOUPS 565534 WITH SCORE 566662.397
AT ITER 74 NEW BEST:: SOT 11072779 SOS 1128232 HAS SOPS 1128232 HAS SOUS 565429 HAS SOUPS 565429 WITH SCORE 566557.232
AT ITER 92 NEW BEST:: SOT 11072544 SOS 1127762 HAS SOPS 1127762 HAS SOUS 565147 HAS SOUPS 565147 WITH SCORE 566274.762
AT ITER 142 NEW BEST:: SOT 11072524 SOS 1127682 HAS SOPS 1127682 HAS SOUS 565147 HAS SOUPS 565147 WITH SCORE 566274.682
AT ITER 216 NEW BEST:: SOT 11072524 SOS 1127682 HAS SOPS 1127682 HAS SOUS 565093 HAS SOUPS 565093 WITH SCORE 566220.682
AT ITER 342 NEW BEST:: SOT 11072444 SOS 1127202 HAS SOPS 1127202 HAS SOUS 564933 HAS SOUPS 564933 WITH SCORE 566060.202
AT ITER 363 NEW BEST:: SOT 11072204 SOS 1126722 HAS SOPS 1126722 HAS SOUS 564645 HAS SOUPS 564645 WITH SCORE 565771.722
AT ITER 365 NEW BEST:: SOT 11072121 SOS 1126224 HAS SOPS 1126224 HAS SOUS 564479 HAS SOUPS 564479 WITH SCORE 565605.224
AT ITER 437 NEW BEST:: SOT 11071776 SOS 1125534 HAS SOPS 1125534 HAS SOUS 564065 HAS SOUPS 564065 WITH SCORE 565190.534
AT ITER 479 NEW BEST:: SOT 11071785 SOS 1125147 HAS SOPS 1125147 HAS SOUS 564002 HAS SOUPS 564002 WITH SCORE 565127.147
AT ITER 492 NEW BEST:: SOT 11071530 SOS 1124637 HAS SOPS 1124637 HAS SOUS 563696 HAS SOUPS 563696 WITH SCORE 564820.637
AT ITER 534 NEW BEST:: SOT 11071150 SOS 1124181 HAS SOPS 1124181 HAS SOUS 563240 HAS SOUPS 563240 WITH SCORE 564364.181
AT ITER 552 NEW BEST:: SOT 11071060 SOS 1123726 HAS SOPS 1123726 HAS SOUS 563005 HAS SOUPS 563005 WITH SCORE 564128.726
AT ITER 577 NEW BEST:: SOT 11071073 SOS 1123367 HAS SOPS 1123367 HAS SOUS 562954 HAS SOUPS 562954 WITH SCORE 564077.367
AT ITER 580 NEW BEST:: SOT 11070988 SOS 1122772 HAS SOPS 1122772 HAS SOUS 562699 HAS SOUPS 562699 WITH SCORE 563821.772
AT ITER 596 NEW BEST:: SOT 11070988 SOS 1122502 HAS SOPS 1122502 HAS SOUS 562645 HAS SOUPS 562645 WITH SCORE 563767.502
AT ITER 638 NEW BEST:: SOT 11070728 SOS 1121982 HAS SOPS 1121982 HAS SOUS 562333 HAS SOUPS 562333 WITH SCORE 563454.982
AT ITER 646 NEW BEST:: SOT 11070728 SOS 1122082 HAS SOPS 1122082 HAS SOUS 562233 HAS SOUPS 562233 WITH SCORE 563355.082
AT ITER 824 NEW BEST:: SOT 11070728 SOS 1122082 HAS SOPS 1122082 HAS SOUS 562185 HAS SOUPS 562185 WITH SCORE 563307.082
AT ITER 842 NEW BEST:: SOT 11070728 SOS 1122230 HAS SOPS 1122230 HAS SOUS 562037 HAS SOUPS 562037 WITH SCORE 563159.23
AT ITER 862 NEW BEST:: SOT 11070728 SOS 1122230 HAS SOPS 1122230 HAS SOUS 561927 HAS SOUPS 561927 WITH SCORE 563049.23
AT ITER 931 NEW BEST:: SOT 11070695 SOS 1122220 HAS SOPS 1122220 HAS SOUS 561917 HAS SOUPS 561917 WITH SCORE 563039.22
AT ITER 933 NEW BEST:: SOT 11070623 SOS 1122148 HAS SOPS 1122148 HAS SOUS 561683 HAS SOUPS 561683 WITH SCORE 562805.148
AT ITER 984 NEW BEST:: SOT 11070623 SOS 1122148 HAS SOPS 1122148 HAS SOUS 561634 HAS SOUPS 561634 WITH SCORE 562756.148
AT ITER 986 NEW BEST:: SOT 11070623 SOS 1121866 HAS SOPS 1121866 HAS SOUS 561540 HAS SOUPS 561540 WITH SCORE 562661.866
AT ITER 1005 NEW BEST:: SOT 11070623 SOS 1121386 HAS SOPS 1121386 HAS SOUS 561380 HAS SOUPS 561380 WITH SCORE 562501.386
AT ITER 1020 NEW BEST:: SOT 11070588 SOS 1121309 HAS SOPS 1121309 HAS SOUS 561331 HAS SOUPS 561331 WITH SCORE 562452.309
AT ITER 1024 NEW BEST:: SOT 11070328 SOS 1121049 HAS SOPS 1121049 HAS SOUS 561071 HAS SOUPS 561071 WITH SCORE 562192.049
AT ITER 1040 NEW BEST:: SOT 11070328 SOS 1120983 HAS SOPS 1120983 HAS SOUS 561005 HAS SOUPS 561005 WITH SCORE 562125.983
AT ITER 1148 NEW BEST:: SOT 11070388 SOS 1121025 HAS SOPS 1121025 HAS SOUS 560703 HAS SOUPS 560703 WITH SCORE 561824.025
AT ITER 1181 NEW BEST:: SOT 11070340 SOS 1120737 HAS SOPS 1120737 HAS SOUS 560607 HAS SOUPS 560607 WITH SCORE 561727.737
AT ITER 1203 NEW BEST:: SOT 11070045 SOS 1120383 HAS SOPS 1120383 HAS SOUS 560237 HAS SOUPS 560237 WITH SCORE 561357.383
AT ITER 1250 NEW BEST:: SOT 11069930 SOS 1120245 HAS SOPS 1120245 HAS SOUS 560171 HAS SOUPS 560171 WITH SCORE 561291.245
AT ITER 1263 NEW BEST:: SOT 11069930 SOS 1120245 HAS SOPS 1120245 HAS SOUS 560143 HAS SOUPS 560143 WITH SCORE 561263.245
AT ITER 1307 NEW BEST:: SOT 11069850 SOS 1120149 HAS SOPS 1120149 HAS SOUS 559991 HAS SOUPS 559991 WITH SCORE 561111.149
AT ITER 1317 NEW BEST:: SOT 11069850 SOS 1120142 HAS SOPS 1120142 HAS SOUS 559984 HAS SOUPS 559984 WITH SCORE 561104.142
AT ITER 1324 NEW BEST:: SOT 11069805 SOS 1120097 HAS SOPS 1120097 HAS SOUS 559939 HAS SOUPS 559939 WITH SCORE 561059.097
AT ITER 1372 NEW BEST:: SOT 11069805 SOS 1120097 HAS SOPS 1120097 HAS SOUS 559903 HAS SOUPS 559903 WITH SCORE 561023.097
AT ITER 1395 NEW BEST:: SOT 11069736 SOS 1119614 HAS SOPS 1119614 HAS SOUS 559696 HAS SOUPS 559696 WITH SCORE 560815.614
AT ITER 1404 NEW BEST:: SOT 11069688 SOS 1119326 HAS SOPS 1119326 HAS SOUS 559600 HAS SOUPS 559600 WITH SCORE 560719.326
AT ITER 1425 NEW BEST:: SOT 11069653 SOS 1119284 HAS SOPS 1119284 HAS SOUS 559558 HAS SOUPS 559558 WITH SCORE 560677.284
AT ITER 1456 NEW BEST:: SOT 11069653 SOS 1119284 HAS SOPS 1119284 HAS SOUS 559543 HAS SOUPS 559543 WITH SCORE 560662.284
AT ITER 1511 NEW BEST:: SOT 11069653 SOS 1119009 HAS SOPS 1119009 HAS SOUS 559488 HAS SOUPS 559488 WITH SCORE 560607.009
AT ITER 1514 NEW BEST:: SOT 11069653 SOS 1119009 HAS SOPS 1119009 HAS SOUS 559468 HAS SOUPS 559468 WITH SCORE 560587.009
AT ITER 1543 NEW BEST:: SOT 11069653 SOS 1119009 HAS SOPS 1119009 HAS SOUS 559424 HAS SOUPS 559424 WITH SCORE 560543.009
AT ITER 1553 NEW BEST:: SOT 11069568 SOS 1118499 HAS SOPS 1118499 HAS SOUS 559254 HAS SOUPS 559254 WITH SCORE 560372.499
AT ITER 1602 NEW BEST:: SOT 11069568 SOS 1118679 HAS SOPS 1118679 HAS SOUS 559234 HAS SOUPS 559234 WITH SCORE 560352.679
AT ITER 1681 NEW BEST:: SOT 11069118 SOS 1117727 HAS SOPS 1117727 HAS SOUS 558642 HAS SOUPS 558642 WITH SCORE 559759.727
AT ITER 1715 NEW BEST:: SOT 11069090 SOS 1117699 HAS SOPS 1117699 HAS SOUS 558614 HAS SOUPS 558614 WITH SCORE 559731.699
AT ITER 1727 NEW BEST:: SOT 11069010 SOS 1117603 HAS SOPS 1117603 HAS SOUS 558514 HAS SOUPS 558514 WITH SCORE 559631.603
AT ITER 1737 NEW BEST:: SOT 11069006 SOS 1117599 HAS SOPS 1117599 HAS SOUS 558514 HAS SOUPS 558514 WITH SCORE 559631.599
AT ITER 1766 NEW BEST:: SOT 11069006 SOS 1117599 HAS SOPS 1117599 HAS SOUS 558479 HAS SOUPS 558479 WITH SCORE 559596.599
AT ITER 1796 NEW BEST:: SOT 11068861 SOS 1117280 HAS SOPS 1117280 HAS SOUS 558276 HAS SOUPS 558276 WITH SCORE 559393.28
AT ITER 1815 NEW BEST:: SOT 11068496 SOS 1116477 HAS SOPS 1116477 HAS SOUS 557765 HAS SOUPS 557765 WITH SCORE 558881.477
AT ITER 1836 NEW BEST:: SOT 11068496 SOS 1116439 HAS SOPS 1116439 HAS SOUS 557727 HAS SOUPS 557727 WITH SCORE 558843.439
AT ITER 1941 NEW BEST:: SOT 11068516 SOS 1116459 HAS SOPS 1116459 HAS SOUS 557692 HAS SOUPS 557692 WITH SCORE 558808.459
AT ITER 1971 NEW BEST:: SOT 11068516 SOS 1116213 HAS SOPS 1116213 HAS SOUS 557610 HAS SOUPS 557610 WITH SCORE 558726.213
AT ITER 2005 NEW BEST:: SOT 11068516 SOS 1116213 HAS SOPS 1116213 HAS SOUS 557559 HAS SOUPS 557559 WITH SCORE 558675.213
AT ITER 2039 NEW BEST:: SOT 11068348 SOS 1116045 HAS SOPS 1116045 HAS SOUS 557391 HAS SOUPS 557391 WITH SCORE 558507.045
AT ITER 2070 NEW BEST:: SOT 11068348 SOS 1115535 HAS SOPS 1115535 HAS SOUS 557221 HAS SOUPS 557221 WITH SCORE 558336.535
AT ITER 2079 NEW BEST:: SOT 11068345 SOS 1115532 HAS SOPS 1115532 HAS SOUS 557215 HAS SOUPS 557215 WITH SCORE 558330.532
AT ITER 2162 NEW BEST:: SOT 11068285 SOS 1115460 HAS SOPS 1115460 HAS SOUS 557087 HAS SOUPS 557087 WITH SCORE 558202.46
AT ITER 2185 NEW BEST:: SOT 11068285 SOS 1115460 HAS SOPS 1115460 HAS SOUS 557035 HAS SOUPS 557035 WITH SCORE 558150.46
AT ITER 2223 NEW BEST:: SOT 11068251 SOS 1115287 HAS SOPS 1115287 HAS SOUS 556946 HAS SOUPS 556946 WITH SCORE 558061.287
AT ITER 2227 NEW BEST:: SOT 11068235 SOS 1115271 HAS SOPS 1115271 HAS SOUS 556946 HAS SOUPS 556946 WITH SCORE 558061.271
AT ITER 2362 NEW BEST:: SOT 11068235 SOS 1115271 HAS SOPS 1115271 HAS SOUS 556876 HAS SOUPS 556876 WITH SCORE 557991.271
AT ITER 2385 NEW BEST:: SOT 11068202 SOS 1114946 HAS SOPS 1114946 HAS SOUS 556795 HAS SOUPS 556795 WITH SCORE 557909.946
AT ITER 2466 NEW BEST:: SOT 11068202 SOS 1114838 HAS SOPS 1114838 HAS SOUS 556795 HAS SOUPS 556795 WITH SCORE 557909.838
AT ITER 2546 NEW BEST:: SOT 11068202 SOS 1114882 HAS SOPS 1114882 HAS SOUS 556751 HAS SOUPS 556751 WITH SCORE 557865.882
AT ITER 2698 NEW BEST:: SOT 11067797 SOS 1114396 HAS SOPS 1114396 HAS SOUS 556217 HAS SOUPS 556217 WITH SCORE 557331.396
AT ITER 2703 NEW BEST:: SOT 11067667 SOS 1114110 HAS SOPS 1114110 HAS SOUS 556035 HAS SOUPS 556035 WITH SCORE 557149.11
AT ITER 2731 NEW BEST:: SOT 11067667 SOS 1113936 HAS SOPS 1113936 HAS SOUS 555977 HAS SOUPS 555977 WITH SCORE 557090.936
AT ITER 2737 NEW BEST:: SOT 11067600 SOS 1113534 HAS SOPS 1113534 HAS SOUS 555843 HAS SOUPS 555843 WITH SCORE 556956.534
AT ITER 2803 NEW BEST:: SOT 11067450 SOS 1113234 HAS SOPS 1113234 HAS SOUS 555663 HAS SOUPS 555663 WITH SCORE 556776.234
AT ITER 2820 NEW BEST:: SOT 11067418 SOS 1113170 HAS SOPS 1113170 HAS SOUS 555599 HAS SOUPS 555599 WITH SCORE 556712.17
AT ITER 2916 NEW BEST:: SOT 11067418 SOS 1112852 HAS SOPS 1112852 HAS SOUS 555493 HAS SOUPS 555493 WITH SCORE 556605.852
AT ITER 2958 NEW BEST:: SOT 11067418 SOS 1112852 HAS SOPS 1112852 HAS SOUS 555455 HAS SOUPS 555455 WITH SCORE 556567.852
AT ITER 2990 NEW BEST:: SOT 11067314 SOS 1112748 HAS SOPS 1112748 HAS SOUS 555351 HAS SOUPS 555351 WITH SCORE 556463.748
AT ITER 3064 NEW BEST:: SOT 11067314 SOS 1112748 HAS SOPS 1112748 HAS SOUS 555251 HAS SOUPS 555251 WITH SCORE 556363.748
AT ITER 3088 NEW BEST:: SOT 11067310 SOS 1112744 HAS SOPS 1112744 HAS SOUS 555251 HAS SOUPS 555251 WITH SCORE 556363.744
AT ITER 3110 NEW BEST:: SOT 11067310 SOS 1112394 HAS SOPS 1112394 HAS SOUS 555181 HAS SOUPS 555181 WITH SCORE 556293.394
AT ITER 3127 NEW BEST:: SOT 11067270 SOS 1112154 HAS SOPS 1112154 HAS SOUS 555101 HAS SOUPS 555101 WITH SCORE 556213.154
AT ITER 3253 NEW BEST:: SOT 11067316 SOS 1111750 HAS SOPS 1111750 HAS SOUS 555057 HAS SOUPS 555057 WITH SCORE 556168.75
AT ITER 3292 NEW BEST:: SOT 11067316 SOS 1111750 HAS SOPS 1111750 HAS SOUS 554996 HAS SOUPS 554996 WITH SCORE 556107.75
AT ITER 3352 NEW BEST:: SOT 11067240 SOS 1111484 HAS SOPS 1111484 HAS SOUS 554968 HAS SOUPS 554968 WITH SCORE 556079.484
AT ITER 3404 NEW BEST:: SOT 11067221 SOS 1111465 HAS SOPS 1111465 HAS SOUS 554943 HAS SOUPS 554943 WITH SCORE 556054.465
AT ITER 3416 NEW BEST:: SOT 11067221 SOS 1111117 HAS SOPS 1111117 HAS SOUS 554827 HAS SOUPS 554827 WITH SCORE 555938.117
AT ITER 3446 NEW BEST:: SOT 11067076 SOS 1110827 HAS SOPS 1110827 HAS SOUS 554653 HAS SOUPS 554653 WITH SCORE 555763.827
AT ITER 3513 NEW BEST:: SOT 11067076 SOS 1111007 HAS SOPS 1111007 HAS SOUS 554545 HAS SOUPS 554545 WITH SCORE 555656.007
AT ITER 3534 NEW BEST:: SOT 11067076 SOS 1111007 HAS SOPS 1111007 HAS SOUS 554515 HAS SOUPS 554515 WITH SCORE 555626.007
AT ITER 3618 NEW BEST:: SOT 11067089 SOS 1110648 HAS SOPS 1110648 HAS SOUS 554464 HAS SOUPS 554464 WITH SCORE 555574.648
AT ITER 3690 NEW BEST:: SOT 11067089 SOS 1110248 HAS SOPS 1110248 HAS SOUS 554392 HAS SOUPS 554392 WITH SCORE 555502.248
AT ITER 3755 NEW BEST:: SOT 11067029 SOS 1109988 HAS SOPS 1109988 HAS SOUS 554385 HAS SOUPS 554385 WITH SCORE 555494.988
AT ITER 3810 NEW BEST:: SOT 11066744 SOS 1109646 HAS SOPS 1109646 HAS SOUS 554043 HAS SOUPS 554043 WITH SCORE 555152.646
AT ITER 3846 NEW BEST:: SOT 11066744 SOS 1109646 HAS SOPS 1109646 HAS SOUS 554031 HAS SOUPS 554031 WITH SCORE 555140.646
AT ITER 3925 NEW BEST:: SOT 11066744 SOS 1109646 HAS SOPS 1109646 HAS SOUS 553992 HAS SOUPS 553992 WITH SCORE 555101.646
AT ITER 3961 NEW BEST:: SOT 11066739 SOS 1109641 HAS SOPS 1109641 HAS SOUS 553992 HAS SOUPS 553992 WITH SCORE 555101.641
AT ITER 3974 NEW BEST:: SOT 11066549 SOS 1109108 HAS SOPS 1109108 HAS SOUS 553703 HAS SOUPS 553703 WITH SCORE 554812.108
AT ITER 4026 NEW BEST:: SOT 11066549 SOS 1108664 HAS SOPS 1108664 HAS SOUS 553619 HAS SOUPS 553619 WITH SCORE 554727.664
AT ITER 4067 NEW BEST:: SOT 11066439 SOS 1108422 HAS SOPS 1108422 HAS SOUS 553465 HAS SOUPS 553465 WITH SCORE 554573.422
AT ITER 4116 NEW BEST:: SOT 11066423 SOS 1108326 HAS SOPS 1108326 HAS SOUS 553433 HAS SOUPS 553433 WITH SCORE 554541.326
AT ITER 4152 NEW BEST:: SOT 11065973 SOS 1107410 HAS SOPS 1107410 HAS SOUS 552909 HAS SOUPS 552909 WITH SCORE 554016.41
AT ITER 4186 NEW BEST:: SOT 11065973 SOS 1107346 HAS SOPS 1107346 HAS SOUS 552909 HAS SOUPS 552909 WITH SCORE 554016.346
AT ITER 4241 NEW BEST:: SOT 11065538 SOS 1106824 HAS SOPS 1106824 HAS SOUS 552387 HAS SOUPS 552387 WITH SCORE 553493.824
AT ITER 4281 NEW BEST:: SOT 11065538 SOS 1106589 HAS SOPS 1106589 HAS SOUS 552340 HAS SOUPS 552340 WITH SCORE 553446.589
AT ITER 4327 NEW BEST:: SOT 11065538 SOS 1106734 HAS SOPS 1106734 HAS SOUS 552313 HAS SOUPS 552313 WITH SCORE 553419.734
AT ITER 4412 NEW BEST:: SOT 11065528 SOS 1106694 HAS SOPS 1106694 HAS SOUS 552273 HAS SOUPS 552273 WITH SCORE 553379.694
AT ITER 4474 NEW BEST:: SOT 11065453 SOS 1106489 HAS SOPS 1106489 HAS SOUS 552267 HAS SOUPS 552267 WITH SCORE 553373.489
AT ITER 4550 NEW BEST:: SOT 11065453 SOS 1106489 HAS SOPS 1106489 HAS SOUS 552212 HAS SOUPS 552212 WITH SCORE 553318.489
AT ITER 4619 NEW BEST:: SOT 11065453 SOS 1106461 HAS SOPS 1106461 HAS SOUS 552184 HAS SOUPS 552184 WITH SCORE 553290.461
AT ITER 4647 NEW BEST:: SOT 11065453 SOS 1106746 HAS SOPS 1106746 HAS SOUS 552013 HAS SOUPS 552013 WITH SCORE 553119.746
AT ITER 4656 NEW BEST:: SOT 11065397 SOS 1106354 HAS SOPS 1106354 HAS SOUS 551845 HAS SOUPS 551845 WITH SCORE 552951.354
AT ITER 4666 NEW BEST:: SOT 11065297 SOS 1106134 HAS SOPS 1106134 HAS SOUS 551705 HAS SOUPS 551705 WITH SCORE 552811.134
AT ITER 4717 NEW BEST:: SOT 11065168 SOS 1105940 HAS SOPS 1105940 HAS SOUS 551563 HAS SOUPS 551563 WITH SCORE 552668.94
AT ITER 4767 NEW BEST:: SOT 11065168 SOS 1105940 HAS SOPS 1105940 HAS SOUS 551552 HAS SOUPS 551552 WITH SCORE 552657.94
AT ITER 4770 NEW BEST:: SOT 11065168 SOS 1105680 HAS SOPS 1105680 HAS SOUS 551500 HAS SOUPS 551500 WITH SCORE 552605.68
AT ITER 4774 NEW BEST:: SOT 11065208 SOS 1105760 HAS SOPS 1105760 HAS SOUS 551396 HAS SOUPS 551396 WITH SCORE 552501.76
AT ITER 4877 NEW BEST:: SOT 11065148 SOS 1105628 HAS SOPS 1105628 HAS SOUS 551312 HAS SOUPS 551312 WITH SCORE 552417.628
AT ITER 4882 NEW BEST:: SOT 11065076 SOS 1105484 HAS SOPS 1105484 HAS SOUS 551168 HAS SOUPS 551168 WITH SCORE 552273.484
AT ITER 4968 NEW BEST:: SOT 11064941 SOS 1105187 HAS SOPS 1105187 HAS SOUS 550979 HAS SOUPS 550979 WITH SCORE 552084.187
AT ITER 5020 NEW BEST:: SOT 11065086 SOS 1105477 HAS SOPS 1105477 HAS SOUS 550785 HAS SOUPS 550785 WITH SCORE 551890.477
AT ITER 5053 NEW BEST:: SOT 11064662 SOS 1104629 HAS SOPS 1104629 HAS SOUS 550297 HAS SOUPS 550297 WITH SCORE 551401.629
AT ITER 5063 NEW BEST:: SOT 11064372 SOS 1104049 HAS SOPS 1104049 HAS SOUS 549949 HAS SOUPS 549949 WITH SCORE 551053.049
AT ITER 5131 NEW BEST:: SOT 11064300 SOS 1103905 HAS SOPS 1103905 HAS SOUS 549797 HAS SOUPS 549797 WITH SCORE 550900.905
AT ITER 5300 NEW BEST:: SOT 11064300 SOS 1103389 HAS SOPS 1103389 HAS SOUS 549625 HAS SOUPS 549625 WITH SCORE 550728.389
AT ITER 5357 NEW BEST:: SOT 11064300 SOS 1103143 HAS SOPS 1103143 HAS SOUS 549543 HAS SOUPS 549543 WITH SCORE 550646.143
AT ITER 5392 NEW BEST:: SOT 11064300 SOS 1102957 HAS SOPS 1102957 HAS SOUS 549481 HAS SOUPS 549481 WITH SCORE 550583.957
AT ITER 5420 NEW BEST:: SOT 11064300 SOS 1102711 HAS SOPS 1102711 HAS SOUS 549399 HAS SOUPS 549399 WITH SCORE 550501.711
AT ITER 5421 NEW BEST:: SOT 11064273 SOS 1102684 HAS SOPS 1102684 HAS SOUS 549372 HAS SOUPS 549372 WITH SCORE 550474.684
AT ITER 5430 NEW BEST:: SOT 11064273 SOS 1102377 HAS SOPS 1102377 HAS SOUS 549345 HAS SOUPS 549345 WITH SCORE 550447.377
AT ITER 5493 NEW BEST:: SOT 11064273 SOS 1102377 HAS SOPS 1102377 HAS SOUS 549145 HAS SOUPS 549145 WITH SCORE 550247.377
AT ITER 5509 NEW BEST:: SOT 11063993 SOS 1101761 HAS SOPS 1101761 HAS SOUS 548753 HAS SOUPS 548753 WITH SCORE 549854.761
AT ITER 5573 NEW BEST:: SOT 11063543 SOS 1100788 HAS SOPS 1100788 HAS SOUS 548140 HAS SOUPS 548140 WITH SCORE 549240.788
AT ITER 5610 NEW BEST:: SOT 11063543 SOS 1100674 HAS SOPS 1100674 HAS SOUS 548102 HAS SOUPS 548102 WITH SCORE 549202.674
AT ITER 5614 NEW BEST:: SOT 11063415 SOS 1100546 HAS SOPS 1100546 HAS SOUS 547974 HAS SOUPS 547974 WITH SCORE 549074.546
AT ITER 5770 NEW BEST:: SOT 11063295 SOS 1100426 HAS SOPS 1100426 HAS SOUS 547854 HAS SOUPS 547854 WITH SCORE 548954.426
AT ITER 5799 NEW BEST:: SOT 11063295 SOS 1100426 HAS SOPS 1100426 HAS SOUS 547828 HAS SOUPS 547828 WITH SCORE 548928.426
AT ITER 5806 NEW BEST:: SOT 11063179 SOS 1100310 HAS SOPS 1100310 HAS SOUS 547712 HAS SOUPS 547712 WITH SCORE 548812.31
AT ITER 5823 NEW BEST:: SOT 11062824 SOS 1099884 HAS SOPS 1099884 HAS SOUS 547286 HAS SOUPS 547286 WITH SCORE 548385.884
AT ITER 5851 NEW BEST:: SOT 11062757 SOS 1099482 HAS SOPS 1099482 HAS SOUS 547152 HAS SOUPS 547152 WITH SCORE 548251.482
AT ITER 5852 NEW BEST:: SOT 11062757 SOS 1099482 HAS SOPS 1099482 HAS SOUS 547135 HAS SOUPS 547135 WITH SCORE 548234.482
AT ITER 5901 NEW BEST:: SOT 11062757 SOS 1099632 HAS SOPS 1099632 HAS SOUS 547045 HAS SOUPS 547045 WITH SCORE 548144.632
AT ITER 5907 NEW BEST:: SOT 11062602 SOS 1099446 HAS SOPS 1099446 HAS SOUS 546791 HAS SOUPS 546791 WITH SCORE 547890.446
AT ITER 5932 NEW BEST:: SOT 11062277 SOS 1099056 HAS SOPS 1099056 HAS SOUS 546401 HAS SOUPS 546401 WITH SCORE 547500.056
AT ITER 5988 NEW BEST:: SOT 11062277 SOS 1099056 HAS SOPS 1099056 HAS SOUS 546365 HAS SOUPS 546365 WITH SCORE 547464.056
AT ITER 6027 NEW BEST:: SOT 11062362 SOS 1099563 HAS SOPS 1099563 HAS SOUS 546292 HAS SOUPS 546292 WITH SCORE 547391.563
AT ITER 6077 NEW BEST:: SOT 11062457 SOS 1099682 HAS SOPS 1099682 HAS SOUS 546039 HAS SOUPS 546039 WITH SCORE 547138.682
AT ITER 6088 NEW BEST:: SOT 11062457 SOS 1099322 HAS SOPS 1099322 HAS SOUS 545919 HAS SOUPS 545919 WITH SCORE 547018.322
AT ITER 6156 NEW BEST:: SOT 11062457 SOS 1099322 HAS SOPS 1099322 HAS SOUS 545829 HAS SOUPS 545829 WITH SCORE 546928.322
AT ITER 6192 NEW BEST:: SOT 11062416 SOS 1099281 HAS SOPS 1099281 HAS SOUS 545739 HAS SOUPS 545739 WITH SCORE 546838.281
AT ITER 6272 NEW BEST:: SOT 11062416 SOS 1099215 HAS SOPS 1099215 HAS SOUS 545673 HAS SOUPS 545673 WITH SCORE 546772.215
AT ITER 6302 NEW BEST:: SOT 11061997 SOS 1098333 HAS SOPS 1098333 HAS SOUS 545363 HAS SOUPS 545363 WITH SCORE 546461.333
AT ITER 6348 NEW BEST:: SOT 11061652 SOS 1097919 HAS SOPS 1097919 HAS SOUS 544689 HAS SOUPS 544689 WITH SCORE 545786.919
AT ITER 6361 NEW BEST:: SOT 11061652 SOS 1098097 HAS SOPS 1098097 HAS SOUS 544583 HAS SOUPS 544583 WITH SCORE 545681.097
AT ITER 6419 NEW BEST:: SOT 11061652 SOS 1098083 HAS SOPS 1098083 HAS SOUS 544569 HAS SOUPS 544569 WITH SCORE 545667.083
AT ITER 6486 NEW BEST:: SOT 11061652 SOS 1097549 HAS SOPS 1097549 HAS SOUS 544391 HAS SOUPS 544391 WITH SCORE 545488.549
AT ITER 6613 NEW BEST:: SOT 11061682 SOS 1097769 HAS SOPS 1097769 HAS SOUS 544267 HAS SOUPS 544267 WITH SCORE 545364.769
AT ITER 6645 NEW BEST:: SOT 11061620 SOS 1097705 HAS SOPS 1097705 HAS SOUS 544057 HAS SOUPS 544057 WITH SCORE 545154.705
AT ITER 6734 NEW BEST:: SOT 11061620 SOS 1097705 HAS SOPS 1097705 HAS SOUS 544012 HAS SOUPS 544012 WITH SCORE 545109.705
AT ITER 6766 NEW BEST:: SOT 11061620 SOS 1097705 HAS SOPS 1097705 HAS SOUS 543975 HAS SOUPS 543975 WITH SCORE 545072.705
AT ITER 6915 NEW BEST:: SOT 11061275 SOS 1097015 HAS SOPS 1097015 HAS SOUS 543565 HAS SOUPS 543565 WITH SCORE 544662.015
AT ITER 6997 NEW BEST:: SOT 11061275 SOS 1096847 HAS SOPS 1096847 HAS SOUS 543509 HAS SOUPS 543509 WITH SCORE 544605.847
AT ITER 7008 NEW BEST:: SOT 11060975 SOS 1096187 HAS SOPS 1096187 HAS SOUS 543089 HAS SOUPS 543089 WITH SCORE 544185.187
AT ITER 7064 NEW BEST:: SOT 11060942 SOS 1095890 HAS SOPS 1095890 HAS SOUS 543036 HAS SOUPS 543036 WITH SCORE 544131.89
AT ITER 7066 NEW BEST:: SOT 11060942 SOS 1095740 HAS SOPS 1095740 HAS SOUS 542986 HAS SOUPS 542986 WITH SCORE 544081.74
AT ITER 7082 NEW BEST:: SOT 11060898 SOS 1095476 HAS SOPS 1095476 HAS SOUS 542898 HAS SOUPS 542898 WITH SCORE 543993.476
AT ITER 7116 NEW BEST:: SOT 11060873 SOS 1095451 HAS SOPS 1095451 HAS SOUS 542891 HAS SOUPS 542891 WITH SCORE 543986.451
AT ITER 7123 NEW BEST:: SOT 11060873 SOS 1095451 HAS SOPS 1095451 HAS SOUS 542821 HAS SOUPS 542821 WITH SCORE 543916.451
AT ITER 7265 NEW BEST:: SOT 11060793 SOS 1095355 HAS SOPS 1095355 HAS SOUS 542725 HAS SOUPS 542725 WITH SCORE 543820.355
AT ITER 7269 NEW BEST:: SOT 11060703 SOS 1094895 HAS SOPS 1094895 HAS SOUS 542489 HAS SOUPS 542489 WITH SCORE 543583.895
AT ITER 7301 NEW BEST:: SOT 11060268 SOS 1093938 HAS SOPS 1093938 HAS SOUS 541880 HAS SOUPS 541880 WITH SCORE 542973.938
AT ITER 7350 NEW BEST:: SOT 11059883 SOS 1093091 HAS SOPS 1093091 HAS SOUS 541341 HAS SOUPS 541341 WITH SCORE 542434.091
AT ITER 7377 NEW BEST:: SOT 11059883 SOS 1093086 HAS SOPS 1093086 HAS SOUS 541340 HAS SOUPS 541340 WITH SCORE 542433.086
AT ITER 7381 NEW BEST:: SOT 11059883 SOS 1092835 HAS SOPS 1092835 HAS SOUS 541293 HAS SOUPS 541293 WITH SCORE 542385.835
AT ITER 7409 NEW BEST:: SOT 11059883 SOS 1092835 HAS SOPS 1092835 HAS SOUS 541258 HAS SOUPS 541258 WITH SCORE 542350.835
AT ITER 7475 NEW BEST:: SOT 11059883 SOS 1092619 HAS SOPS 1092619 HAS SOUS 541186 HAS SOUPS 541186 WITH SCORE 542278.619
AT ITER 7501 NEW BEST:: SOT 11060013 SOS 1092815 HAS SOPS 1092815 HAS SOUS 540950 HAS SOUPS 540950 WITH SCORE 542042.815
AT ITER 7585 NEW BEST:: SOT 11059753 SOS 1092243 HAS SOPS 1092243 HAS SOUS 540586 HAS SOUPS 540586 WITH SCORE 541678.243
AT ITER 7796 NEW BEST:: SOT 11059682 SOS 1091817 HAS SOPS 1091817 HAS SOUS 540444 HAS SOUPS 540444 WITH SCORE 541535.817
AT ITER 7885 NEW BEST:: SOT 11059682 SOS 1091757 HAS SOPS 1091757 HAS SOUS 540424 HAS SOUPS 540424 WITH SCORE 541515.757
AT ITER 8069 NEW BEST:: SOT 11059566 SOS 1091223 HAS SOPS 1091223 HAS SOUS 540381 HAS SOUPS 540381 WITH SCORE 541472.223
AT ITER 8116 NEW BEST:: SOT 11059566 SOS 1090923 HAS SOPS 1090923 HAS SOUS 540281 HAS SOUPS 540281 WITH SCORE 541371.923
AT ITER 8133 NEW BEST:: SOT 11059476 SOS 1090308 HAS SOPS 1090308 HAS SOUS 540014 HAS SOUPS 540014 WITH SCORE 541104.308
AT ITER 8150 NEW BEST:: SOT 11059421 SOS 1089923 HAS SOPS 1089923 HAS SOUS 539849 HAS SOUPS 539849 WITH SCORE 540938.923
AT ITER 8255 NEW BEST:: SOT 11059156 SOS 1089340 HAS SOPS 1089340 HAS SOUS 539478 HAS SOUPS 539478 WITH SCORE 540567.34
AT ITER 8292 NEW BEST:: SOT 11059181 SOS 1089305 HAS SOPS 1089305 HAS SOUS 539423 HAS SOUPS 539423 WITH SCORE 540512.305
AT ITER 8387 NEW BEST:: SOT 11059181 SOS 1089305 HAS SOPS 1089305 HAS SOUS 539375 HAS SOUPS 539375 WITH SCORE 540464.305
AT ITER 8401 NEW BEST:: SOT 11058836 SOS 1088615 HAS SOPS 1088615 HAS SOUS 538961 HAS SOUPS 538961 WITH SCORE 540049.615
AT ITER 8447 NEW BEST:: SOT 11058836 SOS 1088615 HAS SOPS 1088615 HAS SOUS 538762 HAS SOUPS 538762 WITH SCORE 539850.615
AT ITER 8619 NEW BEST:: SOT 11058799 SOS 1088578 HAS SOPS 1088578 HAS SOUS 538725 HAS SOUPS 538725 WITH SCORE 539813.578
AT ITER 8625 NEW BEST:: SOT 11058799 SOS 1088463 HAS SOPS 1088463 HAS SOUS 538702 HAS SOUPS 538702 WITH SCORE 539790.463
AT ITER 8650 NEW BEST:: SOT 11058382 SOS 1087629 HAS SOPS 1087629 HAS SOUS 538228 HAS SOUPS 538228 WITH SCORE 539315.629
AT ITER 8759 NEW BEST:: SOT 11058382 SOS 1087563 HAS SOPS 1087563 HAS SOUS 538206 HAS SOUPS 538206 WITH SCORE 539293.563
AT ITER 8849 NEW BEST:: SOT 11057957 SOS 1087053 HAS SOPS 1087053 HAS SOUS 537640 HAS SOUPS 537640 WITH SCORE 538727.053
AT ITER 8856 NEW BEST:: SOT 11057903 SOS 1086729 HAS SOPS 1086729 HAS SOUS 537532 HAS SOUPS 537532 WITH SCORE 538618.729
AT ITER 9028 NEW BEST:: SOT 11057874 SOS 1086700 HAS SOPS 1086700 HAS SOUS 537503 HAS SOUPS 537503 WITH SCORE 538589.7
AT ITER 9173 NEW BEST:: SOT 11057801 SOS 1086262 HAS SOPS 1086262 HAS SOUS 537357 HAS SOUPS 537357 WITH SCORE 538443.262
AT ITER 9188 NEW BEST:: SOT 11057801 SOS 1086257 HAS SOPS 1086257 HAS SOUS 537352 HAS SOUPS 537352 WITH SCORE 538438.257
AT ITER 9211 NEW BEST:: SOT 11057741 SOS 1086020 HAS SOPS 1086020 HAS SOUS 537340 HAS SOUPS 537340 WITH SCORE 538426.02
AT ITER 9254 NEW BEST:: SOT 11057531 SOS 1085558 HAS SOPS 1085558 HAS SOUS 537046 HAS SOUPS 537046 WITH SCORE 538131.558
AT ITER 9266 NEW BEST:: SOT 11057446 SOS 1085356 HAS SOPS 1085356 HAS SOUS 536936 HAS SOUPS 536936 WITH SCORE 538021.356
AT ITER 9273 NEW BEST:: SOT 11057446 SOS 1085032 HAS SOPS 1085032 HAS SOUS 536828 HAS SOUPS 536828 WITH SCORE 537913.032
AT ITER 9281 NEW BEST:: SOT 11057443 SOS 1085029 HAS SOPS 1085029 HAS SOUS 536825 HAS SOUPS 536825 WITH SCORE 537910.029
AT ITER 9400 NEW BEST:: SOT 11057443 SOS 1085029 HAS SOPS 1085029 HAS SOUS 536790 HAS SOUPS 536790 WITH SCORE 537875.029
AT ITER 9414 NEW BEST:: SOT 11057367 SOS 1084573 HAS SOPS 1084573 HAS SOUS 536638 HAS SOUPS 536638 WITH SCORE 537722.573
AT ITER 9437 NEW BEST:: SOT 11057277 SOS 1084598 HAS SOPS 1084598 HAS SOUS 536571 HAS SOUPS 536571 WITH SCORE 537655.598
AT ITER 9544 NEW BEST:: SOT 11057245 SOS 1084566 HAS SOPS 1084566 HAS SOUS 536481 HAS SOUPS 536481 WITH SCORE 537565.566
AT ITER 9703 NEW BEST:: SOT 11057245 SOS 1084566 HAS SOPS 1084566 HAS SOUS 536466 HAS SOUPS 536466 WITH SCORE 537550.566
AT ITER 9712 NEW BEST:: SOT 11057245 SOS 1084338 HAS SOPS 1084338 HAS SOUS 536422 HAS SOUPS 536422 WITH SCORE 537506.338
AT ITER 9764 NEW BEST:: SOT 11057245 SOS 1084071 HAS SOPS 1084071 HAS SOUS 536399 HAS SOUPS 536399 WITH SCORE 537483.071
AT ITER 9905 NEW BEST:: SOT 11057365 SOS 1084245 HAS SOPS 1084245 HAS SOUS 536117 HAS SOUPS 536117 WITH SCORE 537201.245
AT ITER 9933 NEW BEST:: SOT 11057275 SOS 1084300 HAS SOPS 1084300 HAS SOUS 536056 HAS SOUPS 536056 WITH SCORE 537140.3

BK_TIME_CONFINEMENT_REACHED

--------------------
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="HexagonalGrid-PT-816"
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 HexagonalGrid-PT-816, 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 r093-oct2-158940140100128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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