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.r291-tall-167873943400800.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 ProductionCell-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943400800
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.4K Feb 25 14:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 14:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 14:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 25 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 43K 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 1678819249596

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=ProductionCell-PT-none
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ProductionCell (PT), instance none
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: 176 places, 134 transitions, 513 arcs.
AT ITER 0 NEW BEST:: SOT 17633 SOS 13131 HAS SOPS 13131 HAS SOUS 10570 HAS SOUPS 10570 WITH SCORE 10583.131
AT ITER 1 NEW BEST:: SOT 17610 SOS 13108 HAS SOPS 13108 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10560.108
AT ITER 3 NEW BEST:: SOT 17563 SOS 12859 HAS SOPS 12859 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10433.859
AT ITER 11 NEW BEST:: SOT 17377 SOS 12759 HAS SOPS 12759 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10331.759
AT ITER 12 NEW BEST:: SOT 17376 SOS 12757 HAS SOPS 12757 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10329.757
AT ITER 17 NEW BEST:: SOT 17376 SOS 12522 HAS SOPS 12522 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10314.522
AT ITER 19 NEW BEST:: SOT 17376 SOS 12468 HAS SOPS 12468 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10296.468
AT ITER 22 NEW BEST:: SOT 17326 SOS 12418 HAS SOPS 12418 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10246.418
AT ITER 26 NEW BEST:: SOT 17224 SOS 12316 HAS SOPS 12316 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10158.316
AT ITER 33 NEW BEST:: SOT 17212 SOS 12295 HAS SOPS 12295 HAS SOUS 10085 HAS SOUPS 10085 WITH SCORE 10097.295
AT ITER 36 NEW BEST:: SOT 17211 SOS 12294 HAS SOPS 12294 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10096.294
AT ITER 37 NEW BEST:: SOT 17175 SOS 12258 HAS SOPS 12258 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10060.258
AT ITER 39 NEW BEST:: SOT 16750 SOS 11833 HAS SOPS 11833 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9634.833
AT ITER 44 NEW BEST:: SOT 16634 SOS 11782 HAS SOPS 11782 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9528.782
AT ITER 48 NEW BEST:: SOT 16634 SOS 11738 HAS SOPS 11738 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9511.738
AT ITER 51 NEW BEST:: SOT 16610 SOS 11712 HAS SOPS 11712 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9485.712
AT ITER 55 NEW BEST:: SOT 16520 SOS 11509 HAS SOPS 11509 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9324.509
AT ITER 58 NEW BEST:: SOT 16349 SOS 11337 HAS SOPS 11337 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9155.337
AT ITER 62 NEW BEST:: SOT 16348 SOS 11347 HAS SOPS 11347 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9152.347
AT ITER 63 NEW BEST:: SOT 16222 SOS 11221 HAS SOPS 11221 HAS SOUS 9015 HAS SOUPS 9015 WITH SCORE 9026.221
AT ITER 67 NEW BEST:: SOT 16172 SOS 10717 HAS SOPS 10717 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8925.717
AT ITER 77 NEW BEST:: SOT 16171 SOS 10661 HAS SOPS 10661 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8908.661
AT ITER 81 NEW BEST:: SOT 16171 SOS 10500 HAS SOPS 10500 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8862.5
AT ITER 87 NEW BEST:: SOT 16106 SOS 10435 HAS SOPS 10435 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8797.435
AT ITER 89 NEW BEST:: SOT 16122 SOS 10373 HAS SOPS 10373 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8785.373
AT ITER 95 NEW BEST:: SOT 16035 SOS 10286 HAS SOPS 10286 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8785.286
AT ITER 99 NEW BEST:: SOT 16028 SOS 10258 HAS SOPS 10258 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8771.258
AT ITER 103 NEW BEST:: SOT 15994 SOS 10006 HAS SOPS 10006 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8649.006
AT ITER 105 NEW BEST:: SOT 15994 SOS 9904 HAS SOPS 9904 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8640.904
AT ITER 107 NEW BEST:: SOT 15993 SOS 9803 HAS SOPS 9803 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8613.803
AT ITER 109 NEW BEST:: SOT 15988 SOS 9798 HAS SOPS 9798 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8608.798
AT ITER 120 NEW BEST:: SOT 16005 SOS 9773 HAS SOPS 9773 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.773
AT ITER 123 NEW BEST:: SOT 15641 SOS 9435 HAS SOPS 9435 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8245.435
AT ITER 129 NEW BEST:: SOT 15645 SOS 9427 HAS SOPS 9427 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8237.427
AT ITER 131 NEW BEST:: SOT 15475 SOS 8958 HAS SOPS 8958 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7945.958
AT ITER 132 NEW BEST:: SOT 15480 SOS 8929 HAS SOPS 8929 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7922.929
AT ITER 140 NEW BEST:: SOT 15389 SOS 8887 HAS SOPS 8887 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7775.887
AT ITER 143 NEW BEST:: SOT 15388 SOS 8885 HAS SOPS 8885 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7770.885
AT ITER 151 NEW BEST:: SOT 15304 SOS 8801 HAS SOPS 8801 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7686.801
AT ITER 152 NEW BEST:: SOT 15177 SOS 8616 HAS SOPS 8616 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7501.616
AT ITER 169 NEW BEST:: SOT 15133 SOS 8533 HAS SOPS 8533 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7448.533
AT ITER 171 NEW BEST:: SOT 15130 SOS 8529 HAS SOPS 8529 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7444.529
AT ITER 174 NEW BEST:: SOT 15130 SOS 8441 HAS SOPS 8441 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7356.441
AT ITER 177 NEW BEST:: SOT 15113 SOS 8379 HAS SOPS 8379 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7321.379
AT ITER 183 NEW BEST:: SOT 15113 SOS 8367 HAS SOPS 8367 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7298.367
AT ITER 197 NEW BEST:: SOT 15112 SOS 8365 HAS SOPS 8365 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7296.365
AT ITER 236 NEW BEST:: SOT 15106 SOS 8379 HAS SOPS 8379 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7266.379
AT ITER 240 NEW BEST:: SOT 15052 SOS 8305 HAS SOPS 8305 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7189.305
AT ITER 251 NEW BEST:: SOT 15052 SOS 8239 HAS SOPS 8239 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.239
AT ITER 252 NEW BEST:: SOT 15041 SOS 8227 HAS SOPS 8227 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7149.227
AT ITER 263 NEW BEST:: SOT 15036 SOS 8197 HAS SOPS 8197 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7113.197
AT ITER 265 NEW BEST:: SOT 15036 SOS 8179 HAS SOPS 8179 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7107.179
AT ITER 270 NEW BEST:: SOT 15070 SOS 8115 HAS SOPS 8115 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7075.115
AT ITER 272 NEW BEST:: SOT 15070 SOS 8115 HAS SOPS 8115 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7073.115
AT ITER 273 NEW BEST:: SOT 15070 SOS 8109 HAS SOPS 8109 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7072.109
AT ITER 284 NEW BEST:: SOT 15054 SOS 8092 HAS SOPS 8092 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7055.092
AT ITER 294 NEW BEST:: SOT 15074 SOS 8090 HAS SOPS 8090 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7053.09
AT ITER 300 NEW BEST:: SOT 15074 SOS 8089 HAS SOPS 8089 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7053.089
AT ITER 314 NEW BEST:: SOT 15074 SOS 8089 HAS SOPS 8089 HAS SOUS 7028 HAS SOUPS 7028 WITH SCORE 7036.089
AT ITER 316 NEW BEST:: SOT 14992 SOS 8007 HAS SOPS 8007 HAS SOUS 6946 HAS SOUPS 6946 WITH SCORE 6954.007
AT ITER 321 NEW BEST:: SOT 14985 SOS 7996 HAS SOPS 7996 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6942.996
AT ITER 325 NEW BEST:: SOT 14969 SOS 7980 HAS SOPS 7980 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6926.98
AT ITER 332 NEW BEST:: SOT 14695 SOS 8055 HAS SOPS 8055 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6707.055
AT ITER 339 NEW BEST:: SOT 14686 SOS 8025 HAS SOPS 8025 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6677.025
AT ITER 360 NEW BEST:: SOT 14686 SOS 7922 HAS SOPS 7922 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6602.922
AT ITER 365 NEW BEST:: SOT 14678 SOS 7914 HAS SOPS 7914 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6594.914
AT ITER 370 NEW BEST:: SOT 14666 SOS 7897 HAS SOPS 7897 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.897
AT ITER 375 NEW BEST:: SOT 14630 SOS 7879 HAS SOPS 7879 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6542.879
AT ITER 377 NEW BEST:: SOT 14615 SOS 7819 HAS SOPS 7819 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.819
AT ITER 396 NEW BEST:: SOT 14615 SOS 7814 HAS SOPS 7814 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6507.814
AT ITER 403 NEW BEST:: SOT 14611 SOS 7810 HAS SOPS 7810 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6503.81
AT ITER 419 NEW BEST:: SOT 14593 SOS 7792 HAS SOPS 7792 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6485.792
AT ITER 420 NEW BEST:: SOT 14579 SOS 7775 HAS SOPS 7775 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6468.775
AT ITER 453 NEW BEST:: SOT 14579 SOS 7548 HAS SOPS 7548 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6446.548
AT ITER 461 NEW BEST:: SOT 14562 SOS 7514 HAS SOPS 7514 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.514
AT ITER 464 NEW BEST:: SOT 14475 SOS 7464 HAS SOPS 7464 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6343.464
AT ITER 477 NEW BEST:: SOT 14475 SOS 7446 HAS SOPS 7446 HAS SOUS 6330 HAS SOUPS 6330 WITH SCORE 6337.446
AT ITER 481 NEW BEST:: SOT 14469 SOS 7551 HAS SOPS 7551 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6325.551
AT ITER 496 NEW BEST:: SOT 14425 SOS 7478 HAS SOPS 7478 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6289.478
AT ITER 497 NEW BEST:: SOT 14373 SOS 7381 HAS SOPS 7381 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6192.381
AT ITER 502 NEW BEST:: SOT 14347 SOS 7355 HAS SOPS 7355 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6150.355
AT ITER 509 NEW BEST:: SOT 14347 SOS 7264 HAS SOPS 7264 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6117.264
AT ITER 514 NEW BEST:: SOT 14340 SOS 7231 HAS SOPS 7231 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.231
AT ITER 518 NEW BEST:: SOT 14315 SOS 7230 HAS SOPS 7230 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6096.23
AT ITER 526 NEW BEST:: SOT 14282 SOS 7156 HAS SOPS 7156 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6055.156
AT ITER 535 NEW BEST:: SOT 14282 SOS 7149 HAS SOPS 7149 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6055.149
AT ITER 536 NEW BEST:: SOT 14292 SOS 6948 HAS SOPS 6948 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5911.948
AT ITER 548 NEW BEST:: SOT 14292 SOS 6942 HAS SOPS 6942 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5894.942
AT ITER 557 NEW BEST:: SOT 14292 SOS 6937 HAS SOPS 6937 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5889.937
AT ITER 572 NEW BEST:: SOT 14293 SOS 6926 HAS SOPS 6926 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5878.926
AT ITER 573 NEW BEST:: SOT 14281 SOS 6908 HAS SOPS 6908 HAS SOUS 5854 HAS SOUPS 5854 WITH SCORE 5860.908
AT ITER 574 NEW BEST:: SOT 14269 SOS 6902 HAS SOPS 6902 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5843.902
AT ITER 603 NEW BEST:: SOT 14267 SOS 6900 HAS SOPS 6900 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5841.9
AT ITER 608 NEW BEST:: SOT 14230 SOS 6681 HAS SOPS 6681 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5739.681
AT ITER 626 NEW BEST:: SOT 14217 SOS 6665 HAS SOPS 6665 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.665
AT ITER 683 NEW BEST:: SOT 14207 SOS 6651 HAS SOPS 6651 HAS SOUS 5714 HAS SOUPS 5714 WITH SCORE 5720.651
AT ITER 689 NEW BEST:: SOT 14199 SOS 6643 HAS SOPS 6643 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5712.643
AT ITER 694 NEW BEST:: SOT 14192 SOS 6621 HAS SOPS 6621 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5693.621
AT ITER 696 NEW BEST:: SOT 14170 SOS 6605 HAS SOPS 6605 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5677.605
AT ITER 716 NEW BEST:: SOT 14221 SOS 6544 HAS SOPS 6544 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.544
AT ITER 745 NEW BEST:: SOT 14221 SOS 6544 HAS SOPS 6544 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5612.544
AT ITER 754 NEW BEST:: SOT 14267 SOS 6483 HAS SOPS 6483 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5551.483
AT ITER 784 NEW BEST:: SOT 14260 SOS 6472 HAS SOPS 6472 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5536.472
AT ITER 795 NEW BEST:: SOT 14243 SOS 6451 HAS SOPS 6451 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5515.451
AT ITER 799 NEW BEST:: SOT 14242 SOS 6449 HAS SOPS 6449 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.449
AT ITER 819 NEW BEST:: SOT 14246 SOS 6457 HAS SOPS 6457 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5501.457
AT ITER 822 NEW BEST:: SOT 14246 SOS 6453 HAS SOPS 6453 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5497.453
AT ITER 836 NEW BEST:: SOT 14240 SOS 6437 HAS SOPS 6437 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5485.437
AT ITER 837 NEW BEST:: SOT 14122 SOS 6319 HAS SOPS 6319 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.319
AT ITER 846 NEW BEST:: SOT 14112 SOS 6300 HAS SOPS 6300 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5395.3
AT ITER 863 NEW BEST:: SOT 14084 SOS 6216 HAS SOPS 6216 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5311.216
AT ITER 871 NEW BEST:: SOT 14084 SOS 6206 HAS SOPS 6206 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5301.206
AT ITER 894 NEW BEST:: SOT 14079 SOS 6190 HAS SOPS 6190 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5285.19
AT ITER 898 NEW BEST:: SOT 14077 SOS 6187 HAS SOPS 6187 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.187
AT ITER 920 NEW BEST:: SOT 14050 SOS 6160 HAS SOPS 6160 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5255.16
AT ITER 957 NEW BEST:: SOT 14028 SOS 6125 HAS SOPS 6125 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5234.125
AT ITER 974 NEW BEST:: SOT 14028 SOS 6119 HAS SOPS 6119 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.119
AT ITER 990 NEW BEST:: SOT 14033 SOS 6165 HAS SOPS 6165 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5216.165
AT ITER 997 NEW BEST:: SOT 14017 SOS 6149 HAS SOPS 6149 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5200.149
AT ITER 999 NEW BEST:: SOT 14010 SOS 6127 HAS SOPS 6127 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5182.127
AT ITER 1003 NEW BEST:: SOT 13994 SOS 6096 HAS SOPS 6096 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5154.096
AT ITER 1018 NEW BEST:: SOT 13994 SOS 6088 HAS SOPS 6088 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5154.088
AT ITER 1023 NEW BEST:: SOT 13993 SOS 6086 HAS SOPS 6086 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5152.086
AT ITER 1027 NEW BEST:: SOT 13977 SOS 6080 HAS SOPS 6080 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5129.08
AT ITER 1034 NEW BEST:: SOT 13977 SOS 6072 HAS SOPS 6072 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5118.072
AT ITER 1053 NEW BEST:: SOT 13965 SOS 6060 HAS SOPS 6060 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5113.06
AT ITER 1068 NEW BEST:: SOT 13900 SOS 5946 HAS SOPS 5946 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5041.946
AT ITER 1070 NEW BEST:: SOT 13894 SOS 5927 HAS SOPS 5927 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5022.927
AT ITER 1084 NEW BEST:: SOT 13882 SOS 5897 HAS SOPS 5897 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5021.897
AT ITER 1111 NEW BEST:: SOT 13881 SOS 5895 HAS SOPS 5895 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5019.895
AT ITER 1116 NEW BEST:: SOT 13870 SOS 5884 HAS SOPS 5884 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5001.884
AT ITER 1124 NEW BEST:: SOT 13870 SOS 5838 HAS SOPS 5838 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 4999.838
AT ITER 1127 NEW BEST:: SOT 13859 SOS 5821 HAS SOPS 5821 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.821
AT ITER 1148 NEW BEST:: SOT 13854 SOS 5816 HAS SOPS 5816 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4970.816
AT ITER 1183 NEW BEST:: SOT 13850 SOS 5810 HAS SOPS 5810 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4964.81
AT ITER 1238 NEW BEST:: SOT 13856 SOS 5812 HAS SOPS 5812 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.812
AT ITER 1249 NEW BEST:: SOT 13846 SOS 5796 HAS SOPS 5796 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4950.796
AT ITER 1300 NEW BEST:: SOT 13843 SOS 5801 HAS SOPS 5801 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4933.801
AT ITER 1304 NEW BEST:: SOT 13842 SOS 5800 HAS SOPS 5800 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4932.8
AT ITER 1327 NEW BEST:: SOT 13834 SOS 5792 HAS SOPS 5792 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4924.792
AT ITER 1334 NEW BEST:: SOT 13833 SOS 5774 HAS SOPS 5774 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4919.774
AT ITER 1346 NEW BEST:: SOT 13829 SOS 5766 HAS SOPS 5766 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4911.766
AT ITER 1358 NEW BEST:: SOT 13824 SOS 5760 HAS SOPS 5760 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4907.76
AT ITER 1363 NEW BEST:: SOT 13845 SOS 5757 HAS SOPS 5757 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4904.757
AT ITER 1367 NEW BEST:: SOT 13845 SOS 5753 HAS SOPS 5753 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4900.753
AT ITER 1368 NEW BEST:: SOT 13840 SOS 5744 HAS SOPS 5744 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4891.744
AT ITER 1370 NEW BEST:: SOT 13844 SOS 5753 HAS SOPS 5753 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.753
AT ITER 1373 NEW BEST:: SOT 13842 SOS 5753 HAS SOPS 5753 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4884.753
AT ITER 1445 NEW BEST:: SOT 13839 SOS 5750 HAS SOPS 5750 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.75
AT ITER 1457 NEW BEST:: SOT 13822 SOS 5723 HAS SOPS 5723 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4823.723
AT ITER 1463 NEW BEST:: SOT 13700 SOS 5723 HAS SOPS 5723 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4818.723
AT ITER 1465 NEW BEST:: SOT 13680 SOS 5695 HAS SOPS 5695 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.695
AT ITER 1470 NEW BEST:: SOT 13676 SOS 5687 HAS SOPS 5687 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4782.687
AT ITER 1497 NEW BEST:: SOT 13675 SOS 5686 HAS SOPS 5686 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4780.686
AT ITER 1498 NEW BEST:: SOT 13673 SOS 5684 HAS SOPS 5684 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4778.684
AT ITER 1512 NEW BEST:: SOT 13663 SOS 5692 HAS SOPS 5692 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.692
AT ITER 1519 NEW BEST:: SOT 13663 SOS 5692 HAS SOPS 5692 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4767.692
AT ITER 1522 NEW BEST:: SOT 13658 SOS 5714 HAS SOPS 5714 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.714
AT ITER 1535 NEW BEST:: SOT 13665 SOS 5713 HAS SOPS 5713 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4758.713
AT ITER 1548 NEW BEST:: SOT 13656 SOS 5693 HAS SOPS 5693 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4738.693
AT ITER 1549 NEW BEST:: SOT 13632 SOS 5672 HAS SOPS 5672 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4717.672
AT ITER 1576 NEW BEST:: SOT 13643 SOS 5561 HAS SOPS 5561 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4697.561
AT ITER 1606 NEW BEST:: SOT 13639 SOS 5533 HAS SOPS 5533 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4689.533
AT ITER 1611 NEW BEST:: SOT 13638 SOS 5528 HAS SOPS 5528 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4681.528
AT ITER 1619 NEW BEST:: SOT 13638 SOS 5528 HAS SOPS 5528 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4680.528
AT ITER 1639 NEW BEST:: SOT 13632 SOS 5516 HAS SOPS 5516 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4668.516
AT ITER 1646 NEW BEST:: SOT 13632 SOS 5515 HAS SOPS 5515 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4667.515
AT ITER 1664 NEW BEST:: SOT 13632 SOS 5517 HAS SOPS 5517 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4665.517
AT ITER 1665 NEW BEST:: SOT 13610 SOS 5535 HAS SOPS 5535 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4652.535
AT ITER 1670 NEW BEST:: SOT 13563 SOS 5486 HAS SOPS 5486 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4610.486
AT ITER 1672 NEW BEST:: SOT 13559 SOS 5478 HAS SOPS 5478 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4602.478
AT ITER 1684 NEW BEST:: SOT 13507 SOS 5444 HAS SOPS 5444 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.444
AT ITER 1712 NEW BEST:: SOT 13503 SOS 5439 HAS SOPS 5439 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4545.439
AT ITER 1731 NEW BEST:: SOT 13510 SOS 5441 HAS SOPS 5441 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4543.441
AT ITER 1748 NEW BEST:: SOT 13514 SOS 5440 HAS SOPS 5440 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.44
AT ITER 1758 NEW BEST:: SOT 13514 SOS 5438 HAS SOPS 5438 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4540.438
AT ITER 1788 NEW BEST:: SOT 13513 SOS 5437 HAS SOPS 5437 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.437
AT ITER 1791 NEW BEST:: SOT 13501 SOS 5425 HAS SOPS 5425 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.425
AT ITER 1825 NEW BEST:: SOT 13501 SOS 5424 HAS SOPS 5424 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4526.424
AT ITER 1833 NEW BEST:: SOT 13500 SOS 5423 HAS SOPS 5423 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.423
AT ITER 1836 NEW BEST:: SOT 13497 SOS 5412 HAS SOPS 5412 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.412
AT ITER 1887 NEW BEST:: SOT 13504 SOS 5373 HAS SOPS 5373 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4492.373
AT ITER 1893 NEW BEST:: SOT 13507 SOS 5374 HAS SOPS 5374 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4490.374
AT ITER 1934 NEW BEST:: SOT 13507 SOS 5371 HAS SOPS 5371 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4487.371
AT ITER 1948 NEW BEST:: SOT 13507 SOS 5370 HAS SOPS 5370 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4486.37
AT ITER 2024 NEW BEST:: SOT 13498 SOS 5353 HAS SOPS 5353 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4468.353
AT ITER 2033 NEW BEST:: SOT 13498 SOS 5348 HAS SOPS 5348 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.348
AT ITER 2084 NEW BEST:: SOT 13493 SOS 5338 HAS SOPS 5338 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4459.338
AT ITER 2101 NEW BEST:: SOT 13477 SOS 5342 HAS SOPS 5342 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4457.342
AT ITER 2105 NEW BEST:: SOT 13475 SOS 5338 HAS SOPS 5338 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4457.338
AT ITER 2118 NEW BEST:: SOT 13481 SOS 5307 HAS SOPS 5307 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4439.307
AT ITER 2151 NEW BEST:: SOT 13455 SOS 5266 HAS SOPS 5266 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4390.266
AT ITER 2154 NEW BEST:: SOT 13453 SOS 5260 HAS SOPS 5260 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4380.26
AT ITER 2167 NEW BEST:: SOT 13451 SOS 5258 HAS SOPS 5258 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4380.258
AT ITER 2174 NEW BEST:: SOT 13450 SOS 5256 HAS SOPS 5256 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4379.256
AT ITER 2179 NEW BEST:: SOT 13450 SOS 5254 HAS SOPS 5254 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4377.254
AT ITER 2198 NEW BEST:: SOT 13439 SOS 5235 HAS SOPS 5235 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4361.235
AT ITER 2239 NEW BEST:: SOT 13436 SOS 5224 HAS SOPS 5224 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4353.224
AT ITER 2260 NEW BEST:: SOT 13435 SOS 5222 HAS SOPS 5222 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4353.222
AT ITER 2261 NEW BEST:: SOT 13433 SOS 5220 HAS SOPS 5220 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4351.22
AT ITER 2277 NEW BEST:: SOT 13420 SOS 5210 HAS SOPS 5210 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4333.21
AT ITER 2305 NEW BEST:: SOT 13379 SOS 5169 HAS SOPS 5169 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4292.169
AT ITER 2308 NEW BEST:: SOT 13377 SOS 5165 HAS SOPS 5165 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4279.165
AT ITER 2476 NEW BEST:: SOT 13365 SOS 5141 HAS SOPS 5141 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4255.141
AT ITER 2480 NEW BEST:: SOT 13362 SOS 5140 HAS SOPS 5140 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4254.14
AT ITER 2481 NEW BEST:: SOT 13363 SOS 5135 HAS SOPS 5135 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4249.135
AT ITER 2494 NEW BEST:: SOT 13362 SOS 5124 HAS SOPS 5124 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4241.124
AT ITER 2599 NEW BEST:: SOT 13362 SOS 5123 HAS SOPS 5123 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4240.123
AT ITER 2660 NEW BEST:: SOT 13356 SOS 5118 HAS SOPS 5118 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4235.118
AT ITER 2667 NEW BEST:: SOT 13344 SOS 5109 HAS SOPS 5109 HAS SOUS 4221 HAS SOUPS 4221 WITH SCORE 4226.109
AT ITER 2671 NEW BEST:: SOT 13339 SOS 5104 HAS SOPS 5104 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4221.104
AT ITER 2708 NEW BEST:: SOT 13332 SOS 5097 HAS SOPS 5097 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4214.097
AT ITER 2709 NEW BEST:: SOT 13331 SOS 5088 HAS SOPS 5088 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4211.088
AT ITER 2715 NEW BEST:: SOT 13330 SOS 5087 HAS SOPS 5087 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4210.087
AT ITER 2770 NEW BEST:: SOT 13330 SOS 5086 HAS SOPS 5086 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4209.086
AT ITER 2774 NEW BEST:: SOT 13332 SOS 5082 HAS SOPS 5082 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4205.082
AT ITER 2797 NEW BEST:: SOT 13332 SOS 5082 HAS SOPS 5082 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4192.082
AT ITER 2799 NEW BEST:: SOT 13346 SOS 5096 HAS SOPS 5096 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4187.096
AT ITER 2809 NEW BEST:: SOT 13346 SOS 5091 HAS SOPS 5091 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4182.091
AT ITER 2851 NEW BEST:: SOT 13342 SOS 5087 HAS SOPS 5087 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4178.087
AT ITER 2916 NEW BEST:: SOT 13336 SOS 5071 HAS SOPS 5071 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4162.071
AT ITER 2960 NEW BEST:: SOT 13327 SOS 5071 HAS SOPS 5071 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4154.071
AT ITER 2978 NEW BEST:: SOT 13327 SOS 5062 HAS SOPS 5062 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4152.062
AT ITER 2986 NEW BEST:: SOT 13327 SOS 5053 HAS SOPS 5053 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4143.053
AT ITER 3073 NEW BEST:: SOT 13327 SOS 4981 HAS SOPS 4981 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4124.981
AT ITER 3086 NEW BEST:: SOT 13324 SOS 4979 HAS SOPS 4979 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4122.979
AT ITER 3093 NEW BEST:: SOT 13323 SOS 4972 HAS SOPS 4972 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4120.972
AT ITER 3155 NEW BEST:: SOT 13304 SOS 4951 HAS SOPS 4951 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4104.951
AT ITER 3163 NEW BEST:: SOT 13291 SOS 4927 HAS SOPS 4927 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.927
AT ITER 3167 NEW BEST:: SOT 13272 SOS 4900 HAS SOPS 4900 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4065.9
AT ITER 3177 NEW BEST:: SOT 13272 SOS 4899 HAS SOPS 4899 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4064.899
AT ITER 3225 NEW BEST:: SOT 13282 SOS 4890 HAS SOPS 4890 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.89
AT ITER 3230 NEW BEST:: SOT 13270 SOS 4878 HAS SOPS 4878 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.878
AT ITER 3253 NEW BEST:: SOT 13270 SOS 4873 HAS SOPS 4873 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.873
AT ITER 3279 NEW BEST:: SOT 13264 SOS 4827 HAS SOPS 4827 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4014.827
AT ITER 3313 NEW BEST:: SOT 13263 SOS 4826 HAS SOPS 4826 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4012.826
AT ITER 3328 NEW BEST:: SOT 13263 SOS 4825 HAS SOPS 4825 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.825
AT ITER 3446 NEW BEST:: SOT 13251 SOS 4793 HAS SOPS 4793 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4005.793
AT ITER 3473 NEW BEST:: SOT 13251 SOS 4787 HAS SOPS 4787 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4001.787
AT ITER 3490 NEW BEST:: SOT 13238 SOS 4761 HAS SOPS 4761 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3975.761
AT ITER 3493 NEW BEST:: SOT 13245 SOS 4755 HAS SOPS 4755 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3969.755
AT ITER 3517 NEW BEST:: SOT 13236 SOS 4736 HAS SOPS 4736 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3941.736
AT ITER 3557 NEW BEST:: SOT 13231 SOS 4735 HAS SOPS 4735 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3940.735
AT ITER 3604 NEW BEST:: SOT 13229 SOS 4733 HAS SOPS 4733 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3937.733
AT ITER 3611 NEW BEST:: SOT 13232 SOS 4732 HAS SOPS 4732 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.732
AT ITER 3643 NEW BEST:: SOT 13229 SOS 4729 HAS SOPS 4729 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.729
AT ITER 3658 NEW BEST:: SOT 13222 SOS 4696 HAS SOPS 4696 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3900.696
AT ITER 3735 NEW BEST:: SOT 13221 SOS 4689 HAS SOPS 4689 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3893.689
AT ITER 3760 NEW BEST:: SOT 13221 SOS 4641 HAS SOPS 4641 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3880.641
AT ITER 3803 NEW BEST:: SOT 13221 SOS 4630 HAS SOPS 4630 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3869.63
AT ITER 3810 NEW BEST:: SOT 13223 SOS 4625 HAS SOPS 4625 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.625
AT ITER 3827 NEW BEST:: SOT 13222 SOS 4624 HAS SOPS 4624 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3861.624
AT ITER 3831 NEW BEST:: SOT 13221 SOS 4622 HAS SOPS 4622 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3859.622
AT ITER 3834 NEW BEST:: SOT 13221 SOS 4618 HAS SOPS 4618 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3857.618
AT ITER 3870 NEW BEST:: SOT 13220 SOS 4617 HAS SOPS 4617 HAS SOUS 3852 HAS SOUPS 3852 WITH SCORE 3856.617
AT ITER 3907 NEW BEST:: SOT 13214 SOS 4610 HAS SOPS 4610 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3849.61
AT ITER 3924 NEW BEST:: SOT 13187 SOS 4581 HAS SOPS 4581 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3818.581
AT ITER 3929 NEW BEST:: SOT 13204 SOS 4598 HAS SOPS 4598 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3813.598
AT ITER 3952 NEW BEST:: SOT 13200 SOS 4594 HAS SOPS 4594 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.594
AT ITER 3968 NEW BEST:: SOT 13199 SOS 4593 HAS SOPS 4593 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3808.593
AT ITER 4003 NEW BEST:: SOT 13198 SOS 4591 HAS SOPS 4591 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.591
AT ITER 4036 NEW BEST:: SOT 13190 SOS 4583 HAS SOPS 4583 HAS SOUS 3794 HAS SOUPS 3794 WITH SCORE 3798.583
AT ITER 4167 NEW BEST:: SOT 13187 SOS 4580 HAS SOPS 4580 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3795.58
AT ITER 4194 NEW BEST:: SOT 13182 SOS 4575 HAS SOPS 4575 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3788.575
AT ITER 4256 NEW BEST:: SOT 13171 SOS 4561 HAS SOPS 4561 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3769.561
AT ITER 4273 NEW BEST:: SOT 13162 SOS 4543 HAS SOPS 4543 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.543
AT ITER 4351 NEW BEST:: SOT 13153 SOS 4527 HAS SOPS 4527 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3746.527
AT ITER 4355 NEW BEST:: SOT 13153 SOS 4526 HAS SOPS 4526 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.526
AT ITER 4363 NEW BEST:: SOT 13146 SOS 4493 HAS SOPS 4493 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.493
AT ITER 4428 NEW BEST:: SOT 13146 SOS 4490 HAS SOPS 4490 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3731.49
AT ITER 4540 NEW BEST:: SOT 13145 SOS 4485 HAS SOPS 4485 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3728.485
AT ITER 4553 NEW BEST:: SOT 13145 SOS 4486 HAS SOPS 4486 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3726.486
AT ITER 4558 NEW BEST:: SOT 13138 SOS 4479 HAS SOPS 4479 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.479
AT ITER 4718 NEW BEST:: SOT 13132 SOS 4469 HAS SOPS 4469 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.469
AT ITER 4756 NEW BEST:: SOT 13138 SOS 4467 HAS SOPS 4467 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3716.467
AT ITER 4800 NEW BEST:: SOT 13138 SOS 4463 HAS SOPS 4463 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3715.463
AT ITER 4805 NEW BEST:: SOT 13139 SOS 4460 HAS SOPS 4460 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3708.46
AT ITER 4882 NEW BEST:: SOT 13133 SOS 4453 HAS SOPS 4453 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3701.453
AT ITER 4953 NEW BEST:: SOT 13133 SOS 4460 HAS SOPS 4460 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3698.46
AT ITER 4961 NEW BEST:: SOT 13133 SOS 4457 HAS SOPS 4457 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3696.457
AT ITER 5009 NEW BEST:: SOT 13129 SOS 4453 HAS SOPS 4453 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.453
AT ITER 5068 NEW BEST:: SOT 13106 SOS 4430 HAS SOPS 4430 HAS SOUS 3665 HAS SOUPS 3665 WITH SCORE 3669.43
AT ITER 5077 NEW BEST:: SOT 13088 SOS 4394 HAS SOPS 4394 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3633.394
AT ITER 5142 NEW BEST:: SOT 13087 SOS 4391 HAS SOPS 4391 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.391
AT ITER 5162 NEW BEST:: SOT 13088 SOS 4390 HAS SOPS 4390 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.39
AT ITER 5177 NEW BEST:: SOT 13082 SOS 4397 HAS SOPS 4397 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3628.397
AT ITER 5300 NEW BEST:: SOT 13083 SOS 4396 HAS SOPS 4396 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3628.396
AT ITER 5345 NEW BEST:: SOT 13083 SOS 4391 HAS SOPS 4391 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3623.391
AT ITER 5347 NEW BEST:: SOT 13088 SOS 4393 HAS SOPS 4393 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3622.393
AT ITER 5353 NEW BEST:: SOT 13086 SOS 4391 HAS SOPS 4391 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3617.391
AT ITER 5382 NEW BEST:: SOT 13081 SOS 4386 HAS SOPS 4386 HAS SOUS 3608 HAS SOUPS 3608 WITH SCORE 3612.386
AT ITER 5493 NEW BEST:: SOT 13076 SOS 4381 HAS SOPS 4381 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3607.381
AT ITER 5531 NEW BEST:: SOT 13075 SOS 4380 HAS SOPS 4380 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3606.38
AT ITER 5584 NEW BEST:: SOT 13073 SOS 4362 HAS SOPS 4362 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3602.362
AT ITER 5623 NEW BEST:: SOT 13061 SOS 4339 HAS SOPS 4339 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.339
AT ITER 5670 NEW BEST:: SOT 13056 SOS 4333 HAS SOPS 4333 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3569.333
AT ITER 5725 NEW BEST:: SOT 13052 SOS 4316 HAS SOPS 4316 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3551.316
AT ITER 5726 NEW BEST:: SOT 13052 SOS 4313 HAS SOPS 4313 HAS SOUS 3545 HAS SOUPS 3545 WITH SCORE 3549.313
AT ITER 5728 NEW BEST:: SOT 13045 SOS 4311 HAS SOPS 4311 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3547.311
AT ITER 5785 NEW BEST:: SOT 13049 SOS 4307 HAS SOPS 4307 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3547.307
AT ITER 5797 NEW BEST:: SOT 13047 SOS 4305 HAS SOPS 4305 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.305
AT ITER 5829 NEW BEST:: SOT 13046 SOS 4304 HAS SOPS 4304 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3544.304
AT ITER 5884 NEW BEST:: SOT 13046 SOS 4301 HAS SOPS 4301 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3541.301
AT ITER 5941 NEW BEST:: SOT 13046 SOS 4298 HAS SOPS 4298 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3541.298
AT ITER 5968 NEW BEST:: SOT 13039 SOS 4288 HAS SOPS 4288 HAS SOUS 3527 HAS SOUPS 3527 WITH SCORE 3531.288
AT ITER 6019 NEW BEST:: SOT 13036 SOS 4268 HAS SOPS 4268 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3525.268
AT ITER 6089 NEW BEST:: SOT 13032 SOS 4266 HAS SOPS 4266 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3523.266
AT ITER 6134 NEW BEST:: SOT 13031 SOS 4256 HAS SOPS 4256 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3513.256
AT ITER 6166 NEW BEST:: SOT 13030 SOS 4255 HAS SOPS 4255 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3511.255
AT ITER 6253 NEW BEST:: SOT 13027 SOS 4246 HAS SOPS 4246 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3502.246
AT ITER 6389 NEW BEST:: SOT 13023 SOS 4246 HAS SOPS 4246 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3498.246
AT ITER 6492 NEW BEST:: SOT 13022 SOS 4244 HAS SOPS 4244 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3497.244
AT ITER 6501 NEW BEST:: SOT 13024 SOS 4243 HAS SOPS 4243 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3496.243
AT ITER 6526 NEW BEST:: SOT 13027 SOS 4233 HAS SOPS 4233 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3495.233
AT ITER 6589 NEW BEST:: SOT 13027 SOS 4231 HAS SOPS 4231 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3495.231
AT ITER 6614 NEW BEST:: SOT 13021 SOS 4229 HAS SOPS 4229 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3490.229
AT ITER 6634 NEW BEST:: SOT 13021 SOS 4228 HAS SOPS 4228 HAS SOUS 3485 HAS SOUPS 3485 WITH SCORE 3489.228
AT ITER 6644 NEW BEST:: SOT 13020 SOS 4227 HAS SOPS 4227 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3488.227
AT ITER 6702 NEW BEST:: SOT 13019 SOS 4221 HAS SOPS 4221 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3482.221
AT ITER 6752 NEW BEST:: SOT 13019 SOS 4217 HAS SOPS 4217 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.217
AT ITER 6783 NEW BEST:: SOT 13013 SOS 4211 HAS SOPS 4211 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3473.211
AT ITER 6815 NEW BEST:: SOT 13012 SOS 4210 HAS SOPS 4210 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3470.21
AT ITER 6821 NEW BEST:: SOT 13007 SOS 4218 HAS SOPS 4218 HAS SOUS 3465 HAS SOUPS 3465 WITH SCORE 3469.218
AT ITER 6835 NEW BEST:: SOT 13000 SOS 4216 HAS SOPS 4216 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3467.216
AT ITER 6953 NEW BEST:: SOT 12996 SOS 4208 HAS SOPS 4208 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.208
AT ITER 7050 NEW BEST:: SOT 12993 SOS 4202 HAS SOPS 4202 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3453.202
AT ITER 7298 NEW BEST:: SOT 12992 SOS 4201 HAS SOPS 4201 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3452.201
AT ITER 7315 NEW BEST:: SOT 12981 SOS 4190 HAS SOPS 4190 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3441.19
AT ITER 7417 NEW BEST:: SOT 12980 SOS 4182 HAS SOPS 4182 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3433.182
AT ITER 7441 NEW BEST:: SOT 12980 SOS 4182 HAS SOPS 4182 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3430.182
AT ITER 7504 NEW BEST:: SOT 12978 SOS 4178 HAS SOPS 4178 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3426.178
AT ITER 7538 NEW BEST:: SOT 12975 SOS 4171 HAS SOPS 4171 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3416.171
AT ITER 7599 NEW BEST:: SOT 12968 SOS 4162 HAS SOPS 4162 HAS SOUS 3403 HAS SOUPS 3403 WITH SCORE 3407.162
AT ITER 7632 NEW BEST:: SOT 12968 SOS 4160 HAS SOPS 4160 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3405.16
AT ITER 7709 NEW BEST:: SOT 12965 SOS 4155 HAS SOPS 4155 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3405.155
AT ITER 8028 NEW BEST:: SOT 12969 SOS 4124 HAS SOPS 4124 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3400.124
AT ITER 8066 NEW BEST:: SOT 12964 SOS 4114 HAS SOPS 4114 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3390.114
AT ITER 8073 NEW BEST:: SOT 12960 SOS 4110 HAS SOPS 4110 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3386.11
AT ITER 8217 NEW BEST:: SOT 12958 SOS 4108 HAS SOPS 4108 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3384.108
AT ITER 8400 NEW BEST:: SOT 12955 SOS 4105 HAS SOPS 4105 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3381.105
AT ITER 8583 NEW BEST:: SOT 12952 SOS 4099 HAS SOPS 4099 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3375.099
AT ITER 8619 NEW BEST:: SOT 12949 SOS 4097 HAS SOPS 4097 HAS SOUS 3369 HAS SOUPS 3369 WITH SCORE 3373.097
AT ITER 8690 NEW BEST:: SOT 12949 SOS 4093 HAS SOPS 4093 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3369.093
AT ITER 8705 NEW BEST:: SOT 12947 SOS 4091 HAS SOPS 4091 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3367.091
AT ITER 8726 NEW BEST:: SOT 12947 SOS 4085 HAS SOPS 4085 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3366.085
AT ITER 8846 NEW BEST:: SOT 12941 SOS 4082 HAS SOPS 4082 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3359.082
AT ITER 8858 NEW BEST:: SOT 12937 SOS 4081 HAS SOPS 4081 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3358.081
AT ITER 8911 NEW BEST:: SOT 12928 SOS 4070 HAS SOPS 4070 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3347.07
AT ITER 8955 NEW BEST:: SOT 12931 SOS 4072 HAS SOPS 4072 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3346.072
AT ITER 9141 NEW BEST:: SOT 12931 SOS 4071 HAS SOPS 4071 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3345.071
AT ITER 9155 NEW BEST:: SOT 12928 SOS 4070 HAS SOPS 4070 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3344.07
AT ITER 9173 NEW BEST:: SOT 12929 SOS 4069 HAS SOPS 4069 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3343.069
AT ITER 9353 NEW BEST:: SOT 12924 SOS 4064 HAS SOPS 4064 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3332.064
AT ITER 9400 NEW BEST:: SOT 12924 SOS 4063 HAS SOPS 4063 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3332.063
AT ITER 9727 NEW BEST:: SOT 12924 SOS 4061 HAS SOPS 4061 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3332.061
AT ITER 9873 NEW BEST:: SOT 12922 SOS 4059 HAS SOPS 4059 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3330.059
AT ITER 9961 NEW BEST:: SOT 12921 SOS 4059 HAS SOPS 4059 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3328.059
STATE_SPACE STATES 11329291100161 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 35 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 153383854169089 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678819261186

--------------------
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="ProductionCell-PT-none"
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 ProductionCell-PT-none, 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 r291-tall-167873943400800"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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