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.r395-oct2-167903718300072.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldIIPs-PT-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718300072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 8.1K Feb 25 16:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 16:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 16:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 16:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 16:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 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 42K 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 1679552819596

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPs-PT-005A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 06:27:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 06:27:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 06:27:02] [INFO ] Load time of PNML (sax parser for PT used): 54 ms
[2023-03-23 06:27:02] [INFO ] Transformed 128 places.
[2023-03-23 06:27:02] [INFO ] Transformed 123 transitions.
[2023-03-23 06:27:02] [INFO ] Found NUPN structural information;
[2023-03-23 06:27:02] [INFO ] Parsed PT model containing 128 places and 123 transitions and 546 arcs in 163 ms.
[2023-03-23 06:27:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 128 places, 123 transitions and 546 arcs took 5 ms.
Total runtime 202 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 005A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 128 places, 123 transitions, 546 arcs.
AT ITER 0 NEW BEST:: SOT 10759 SOS 8371 HAS SOPS 8371 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7163.371
AT ITER 6 NEW BEST:: SOT 10744 SOS 8233 HAS SOPS 8233 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7125.233
AT ITER 9 NEW BEST:: SOT 10719 SOS 8218 HAS SOPS 8218 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7110.218
AT ITER 14 NEW BEST:: SOT 10719 SOS 8226 HAS SOPS 8226 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7102.226
AT ITER 16 NEW BEST:: SOT 10719 SOS 8224 HAS SOPS 8224 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.224
AT ITER 32 NEW BEST:: SOT 10706 SOS 8211 HAS SOPS 8211 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7087.211
AT ITER 40 NEW BEST:: SOT 10679 SOS 8201 HAS SOPS 8201 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7077.201
AT ITER 46 NEW BEST:: SOT 10678 SOS 8200 HAS SOPS 8200 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.2
AT ITER 56 NEW BEST:: SOT 10671 SOS 8128 HAS SOPS 8128 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7060.128
AT ITER 61 NEW BEST:: SOT 10653 SOS 8110 HAS SOPS 8110 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7042.11
AT ITER 67 NEW BEST:: SOT 10646 SOS 8089 HAS SOPS 8089 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7022.089
AT ITER 72 NEW BEST:: SOT 10577 SOS 8056 HAS SOPS 8056 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 6989.056
AT ITER 75 NEW BEST:: SOT 10577 SOS 8020 HAS SOPS 8020 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.02
AT ITER 77 NEW BEST:: SOT 10557 SOS 8000 HAS SOPS 8000 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6985.0
AT ITER 79 NEW BEST:: SOT 10541 SOS 7983 HAS SOPS 7983 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6967.983
AT ITER 82 NEW BEST:: SOT 10553 SOS 7968 HAS SOPS 7968 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6933.968
AT ITER 85 NEW BEST:: SOT 10531 SOS 7925 HAS SOPS 7925 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6890.925
AT ITER 86 NEW BEST:: SOT 10531 SOS 7916 HAS SOPS 7916 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6881.916
AT ITER 87 NEW BEST:: SOT 10520 SOS 7905 HAS SOPS 7905 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6870.905
AT ITER 92 NEW BEST:: SOT 10460 SOS 7843 HAS SOPS 7843 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6808.843
AT ITER 101 NEW BEST:: SOT 10373 SOS 7739 HAS SOPS 7739 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.739
AT ITER 104 NEW BEST:: SOT 10355 SOS 7720 HAS SOPS 7720 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6685.72
AT ITER 106 NEW BEST:: SOT 10349 SOS 7702 HAS SOPS 7702 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6683.702
AT ITER 110 NEW BEST:: SOT 10342 SOS 7598 HAS SOPS 7598 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6613.598
AT ITER 116 NEW BEST:: SOT 10415 SOS 7600 HAS SOPS 7600 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6581.6
AT ITER 117 NEW BEST:: SOT 10400 SOS 7447 HAS SOPS 7447 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6559.447
AT ITER 122 NEW BEST:: SOT 10334 SOS 7384 HAS SOPS 7384 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6488.384
AT ITER 123 NEW BEST:: SOT 10260 SOS 7308 HAS SOPS 7308 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6412.308
AT ITER 125 NEW BEST:: SOT 10228 SOS 7272 HAS SOPS 7272 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6376.272
AT ITER 130 NEW BEST:: SOT 10187 SOS 7167 HAS SOPS 7167 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6301.167
AT ITER 131 NEW BEST:: SOT 10187 SOS 7161 HAS SOPS 7161 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6295.161
AT ITER 132 NEW BEST:: SOT 10190 SOS 7173 HAS SOPS 7173 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6263.173
AT ITER 140 NEW BEST:: SOT 10224 SOS 7195 HAS SOPS 7195 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6261.195
AT ITER 142 NEW BEST:: SOT 10223 SOS 7194 HAS SOPS 7194 HAS SOUS 6219 HAS SOUPS 6219 WITH SCORE 6226.194
AT ITER 156 NEW BEST:: SOT 10194 SOS 7107 HAS SOPS 7107 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6095.107
AT ITER 179 NEW BEST:: SOT 10199 SOS 7088 HAS SOPS 7088 HAS SOUS 6067 HAS SOUPS 6067 WITH SCORE 6074.088
AT ITER 198 NEW BEST:: SOT 10159 SOS 7061 HAS SOPS 7061 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.061
AT ITER 203 NEW BEST:: SOT 10206 SOS 6987 HAS SOPS 6987 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5964.987
AT ITER 206 NEW BEST:: SOT 10206 SOS 6985 HAS SOPS 6985 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5961.985
AT ITER 211 NEW BEST:: SOT 10014 SOS 6793 HAS SOPS 6793 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.793
AT ITER 216 NEW BEST:: SOT 9974 SOS 6752 HAS SOPS 6752 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5721.752
AT ITER 217 NEW BEST:: SOT 9967 SOS 6745 HAS SOPS 6745 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5714.745
AT ITER 222 NEW BEST:: SOT 9898 SOS 6676 HAS SOPS 6676 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5645.676
AT ITER 229 NEW BEST:: SOT 9891 SOS 6642 HAS SOPS 6642 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.642
AT ITER 233 NEW BEST:: SOT 9887 SOS 6618 HAS SOPS 6618 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.618
AT ITER 238 NEW BEST:: SOT 9895 SOS 6641 HAS SOPS 6641 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.641
AT ITER 245 NEW BEST:: SOT 9885 SOS 6631 HAS SOPS 6631 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5389.631
AT ITER 251 NEW BEST:: SOT 9885 SOS 6631 HAS SOPS 6631 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5386.631
AT ITER 253 NEW BEST:: SOT 9871 SOS 6411 HAS SOPS 6411 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5342.411
AT ITER 266 NEW BEST:: SOT 9872 SOS 6395 HAS SOPS 6395 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5342.395
AT ITER 283 NEW BEST:: SOT 9872 SOS 6390 HAS SOPS 6390 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5337.39
AT ITER 303 NEW BEST:: SOT 9850 SOS 6368 HAS SOPS 6368 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5315.368
AT ITER 305 NEW BEST:: SOT 9850 SOS 6281 HAS SOPS 6281 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5314.281
AT ITER 307 NEW BEST:: SOT 9851 SOS 6279 HAS SOPS 6279 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5314.279
AT ITER 308 NEW BEST:: SOT 9833 SOS 6261 HAS SOPS 6261 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5296.261
AT ITER 314 NEW BEST:: SOT 9827 SOS 6232 HAS SOPS 6232 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5271.232
AT ITER 318 NEW BEST:: SOT 9789 SOS 6192 HAS SOPS 6192 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5231.192
AT ITER 328 NEW BEST:: SOT 9788 SOS 6159 HAS SOPS 6159 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.159
AT ITER 334 NEW BEST:: SOT 9784 SOS 6164 HAS SOPS 6164 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.164
AT ITER 336 NEW BEST:: SOT 9765 SOS 5931 HAS SOPS 5931 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5166.931
AT ITER 339 NEW BEST:: SOT 9751 SOS 5917 HAS SOPS 5917 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5150.917
AT ITER 347 NEW BEST:: SOT 9760 SOS 5910 HAS SOPS 5910 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5137.91
AT ITER 350 NEW BEST:: SOT 9695 SOS 5834 HAS SOPS 5834 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5056.834
AT ITER 360 NEW BEST:: SOT 9695 SOS 5834 HAS SOPS 5834 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5053.834
AT ITER 376 NEW BEST:: SOT 9687 SOS 5826 HAS SOPS 5826 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5045.826
AT ITER 377 NEW BEST:: SOT 9693 SOS 5813 HAS SOPS 5813 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5045.813
AT ITER 380 NEW BEST:: SOT 9712 SOS 5859 HAS SOPS 5859 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5042.859
AT ITER 384 NEW BEST:: SOT 9719 SOS 5845 HAS SOPS 5845 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.845
AT ITER 416 NEW BEST:: SOT 9719 SOS 5837 HAS SOPS 5837 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5020.837
AT ITER 433 NEW BEST:: SOT 9708 SOS 5826 HAS SOPS 5826 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.826
AT ITER 439 NEW BEST:: SOT 9676 SOS 5778 HAS SOPS 5778 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.778
AT ITER 441 NEW BEST:: SOT 9629 SOS 5731 HAS SOPS 5731 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4919.731
AT ITER 442 NEW BEST:: SOT 9633 SOS 5727 HAS SOPS 5727 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4911.727
AT ITER 443 NEW BEST:: SOT 9602 SOS 5710 HAS SOPS 5710 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4909.71
AT ITER 454 NEW BEST:: SOT 9583 SOS 5719 HAS SOPS 5719 HAS SOUS 4901 HAS SOUPS 4901 WITH SCORE 4906.719
AT ITER 457 NEW BEST:: SOT 9590 SOS 5679 HAS SOPS 5679 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.679
AT ITER 458 NEW BEST:: SOT 9586 SOS 5675 HAS SOPS 5675 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.675
AT ITER 463 NEW BEST:: SOT 9564 SOS 5662 HAS SOPS 5662 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4869.662
AT ITER 475 NEW BEST:: SOT 9564 SOS 5660 HAS SOPS 5660 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4867.66
AT ITER 479 NEW BEST:: SOT 9564 SOS 5657 HAS SOPS 5657 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4858.657
AT ITER 480 NEW BEST:: SOT 9558 SOS 5657 HAS SOPS 5657 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4845.657
AT ITER 481 NEW BEST:: SOT 9553 SOS 5652 HAS SOPS 5652 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4840.652
AT ITER 485 NEW BEST:: SOT 9542 SOS 5610 HAS SOPS 5610 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4797.61
AT ITER 487 NEW BEST:: SOT 9527 SOS 5595 HAS SOPS 5595 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4754.595
AT ITER 499 NEW BEST:: SOT 9523 SOS 5575 HAS SOPS 5575 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4744.575
AT ITER 501 NEW BEST:: SOT 9484 SOS 5357 HAS SOPS 5357 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4662.357
AT ITER 505 NEW BEST:: SOT 9426 SOS 5282 HAS SOPS 5282 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4584.282
AT ITER 509 NEW BEST:: SOT 9415 SOS 5271 HAS SOPS 5271 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.271
AT ITER 530 NEW BEST:: SOT 9414 SOS 5223 HAS SOPS 5223 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4551.223
AT ITER 531 NEW BEST:: SOT 9423 SOS 5222 HAS SOPS 5222 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.222
AT ITER 539 NEW BEST:: SOT 9408 SOS 5178 HAS SOPS 5178 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4375.178
AT ITER 541 NEW BEST:: SOT 9415 SOS 5185 HAS SOPS 5185 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4370.185
AT ITER 550 NEW BEST:: SOT 9394 SOS 5191 HAS SOPS 5191 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4348.191
AT ITER 551 NEW BEST:: SOT 9396 SOS 5179 HAS SOPS 5179 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4336.179
AT ITER 554 NEW BEST:: SOT 9396 SOS 5143 HAS SOPS 5143 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4330.143
AT ITER 574 NEW BEST:: SOT 9385 SOS 5132 HAS SOPS 5132 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4319.132
AT ITER 578 NEW BEST:: SOT 9371 SOS 5070 HAS SOPS 5070 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4289.07
AT ITER 606 NEW BEST:: SOT 9362 SOS 5058 HAS SOPS 5058 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4274.058
AT ITER 610 NEW BEST:: SOT 9282 SOS 4973 HAS SOPS 4973 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4188.973
AT ITER 627 NEW BEST:: SOT 9258 SOS 4962 HAS SOPS 4962 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4177.962
AT ITER 636 NEW BEST:: SOT 9291 SOS 4927 HAS SOPS 4927 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4163.927
AT ITER 639 NEW BEST:: SOT 9291 SOS 4924 HAS SOPS 4924 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.924
AT ITER 653 NEW BEST:: SOT 9277 SOS 4910 HAS SOPS 4910 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4147.91
AT ITER 669 NEW BEST:: SOT 9277 SOS 4907 HAS SOPS 4907 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4144.907
AT ITER 676 NEW BEST:: SOT 9261 SOS 4884 HAS SOPS 4884 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4121.884
AT ITER 677 NEW BEST:: SOT 9260 SOS 4877 HAS SOPS 4877 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4108.877
AT ITER 678 NEW BEST:: SOT 9253 SOS 4863 HAS SOPS 4863 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4094.863
AT ITER 683 NEW BEST:: SOT 9253 SOS 4853 HAS SOPS 4853 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.853
AT ITER 694 NEW BEST:: SOT 9251 SOS 4851 HAS SOPS 4851 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.851
AT ITER 708 NEW BEST:: SOT 9251 SOS 4844 HAS SOPS 4844 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4076.844
AT ITER 716 NEW BEST:: SOT 9267 SOS 4874 HAS SOPS 4874 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.874
AT ITER 723 NEW BEST:: SOT 9274 SOS 4846 HAS SOPS 4846 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4042.846
AT ITER 726 NEW BEST:: SOT 9271 SOS 4843 HAS SOPS 4843 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.843
AT ITER 732 NEW BEST:: SOT 9267 SOS 4841 HAS SOPS 4841 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4037.841
AT ITER 783 NEW BEST:: SOT 9256 SOS 4824 HAS SOPS 4824 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4026.824
AT ITER 801 NEW BEST:: SOT 9252 SOS 4816 HAS SOPS 4816 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4018.816
AT ITER 806 NEW BEST:: SOT 9252 SOS 4801 HAS SOPS 4801 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4012.801
AT ITER 810 NEW BEST:: SOT 9251 SOS 4800 HAS SOPS 4800 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.8
AT ITER 828 NEW BEST:: SOT 9224 SOS 4773 HAS SOPS 4773 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3984.773
AT ITER 831 NEW BEST:: SOT 9224 SOS 4743 HAS SOPS 4743 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3910.743
AT ITER 845 NEW BEST:: SOT 9224 SOS 4743 HAS SOPS 4743 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.743
AT ITER 856 NEW BEST:: SOT 9222 SOS 4739 HAS SOPS 4739 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3881.739
AT ITER 857 NEW BEST:: SOT 9222 SOS 4719 HAS SOPS 4719 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3867.719
AT ITER 869 NEW BEST:: SOT 9214 SOS 4711 HAS SOPS 4711 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3859.711
AT ITER 887 NEW BEST:: SOT 9206 SOS 4680 HAS SOPS 4680 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3831.68
AT ITER 899 NEW BEST:: SOT 9191 SOS 4663 HAS SOPS 4663 HAS SOUS 3810 HAS SOUPS 3810 WITH SCORE 3814.663
AT ITER 923 NEW BEST:: SOT 9201 SOS 4667 HAS SOPS 4667 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3788.667
AT ITER 938 NEW BEST:: SOT 9193 SOS 4659 HAS SOPS 4659 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3780.659
AT ITER 952 NEW BEST:: SOT 9181 SOS 4641 HAS SOPS 4641 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.641
AT ITER 961 NEW BEST:: SOT 9179 SOS 4633 HAS SOPS 4633 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.633
AT ITER 980 NEW BEST:: SOT 9144 SOS 4556 HAS SOPS 4556 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.556
AT ITER 982 NEW BEST:: SOT 9145 SOS 4541 HAS SOPS 4541 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3714.541
AT ITER 998 NEW BEST:: SOT 9100 SOS 4510 HAS SOPS 4510 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3698.51
AT ITER 1011 NEW BEST:: SOT 9098 SOS 4508 HAS SOPS 4508 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3696.508
AT ITER 1013 NEW BEST:: SOT 9098 SOS 4504 HAS SOPS 4504 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.504
AT ITER 1021 NEW BEST:: SOT 9085 SOS 4494 HAS SOPS 4494 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3682.494
AT ITER 1037 NEW BEST:: SOT 9083 SOS 4492 HAS SOPS 4492 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3680.492
AT ITER 1052 NEW BEST:: SOT 9083 SOS 4486 HAS SOPS 4486 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3676.486
AT ITER 1055 NEW BEST:: SOT 9081 SOS 4478 HAS SOPS 4478 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.478
AT ITER 1066 NEW BEST:: SOT 9079 SOS 4476 HAS SOPS 4476 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3666.476
AT ITER 1067 NEW BEST:: SOT 9077 SOS 4475 HAS SOPS 4475 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3665.475
AT ITER 1069 NEW BEST:: SOT 9077 SOS 4470 HAS SOPS 4470 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3660.47
AT ITER 1093 NEW BEST:: SOT 9096 SOS 4346 HAS SOPS 4346 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3609.346
AT ITER 1113 NEW BEST:: SOT 9096 SOS 4345 HAS SOPS 4345 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3608.345
AT ITER 1118 NEW BEST:: SOT 9141 SOS 4318 HAS SOPS 4318 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.318
AT ITER 1126 NEW BEST:: SOT 9120 SOS 4303 HAS SOPS 4303 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.303
AT ITER 1146 NEW BEST:: SOT 9122 SOS 4299 HAS SOPS 4299 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.299
AT ITER 1149 NEW BEST:: SOT 9120 SOS 4296 HAS SOPS 4296 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3572.296
AT ITER 1171 NEW BEST:: SOT 9100 SOS 4274 HAS SOPS 4274 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3551.274
AT ITER 1179 NEW BEST:: SOT 9091 SOS 4244 HAS SOPS 4244 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3518.244
AT ITER 1199 NEW BEST:: SOT 9091 SOS 4224 HAS SOPS 4224 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3512.224
AT ITER 1207 NEW BEST:: SOT 9111 SOS 4214 HAS SOPS 4214 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3482.214
AT ITER 1231 NEW BEST:: SOT 9111 SOS 4210 HAS SOPS 4210 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3478.21
AT ITER 1237 NEW BEST:: SOT 9088 SOS 4190 HAS SOPS 4190 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3468.19
AT ITER 1277 NEW BEST:: SOT 9085 SOS 4184 HAS SOPS 4184 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3467.184
AT ITER 1295 NEW BEST:: SOT 9081 SOS 4180 HAS SOPS 4180 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.18
AT ITER 1301 NEW BEST:: SOT 9065 SOS 4164 HAS SOPS 4164 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3447.164
AT ITER 1321 NEW BEST:: SOT 9065 SOS 4144 HAS SOPS 4144 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3446.144
AT ITER 1336 NEW BEST:: SOT 9044 SOS 4141 HAS SOPS 4141 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3443.141
AT ITER 1350 NEW BEST:: SOT 9044 SOS 4140 HAS SOPS 4140 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3439.14
AT ITER 1353 NEW BEST:: SOT 9039 SOS 4129 HAS SOPS 4129 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.129
AT ITER 1357 NEW BEST:: SOT 9033 SOS 4126 HAS SOPS 4126 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.126
AT ITER 1375 NEW BEST:: SOT 9038 SOS 4119 HAS SOPS 4119 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3415.119
AT ITER 1376 NEW BEST:: SOT 9007 SOS 4028 HAS SOPS 4028 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3380.028
AT ITER 1379 NEW BEST:: SOT 9006 SOS 3992 HAS SOPS 3992 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.992
AT ITER 1449 NEW BEST:: SOT 9004 SOS 3990 HAS SOPS 3990 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3369.99
AT ITER 1481 NEW BEST:: SOT 8989 SOS 3960 HAS SOPS 3960 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.96
AT ITER 1517 NEW BEST:: SOT 9001 SOS 3955 HAS SOPS 3955 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.955
AT ITER 1542 NEW BEST:: SOT 8999 SOS 3947 HAS SOPS 3947 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.947
AT ITER 1556 NEW BEST:: SOT 9005 SOS 3928 HAS SOPS 3928 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3312.928
AT ITER 1562 NEW BEST:: SOT 8979 SOS 3902 HAS SOPS 3902 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3286.902
AT ITER 1564 NEW BEST:: SOT 8975 SOS 3898 HAS SOPS 3898 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.898
AT ITER 1591 NEW BEST:: SOT 8969 SOS 3888 HAS SOPS 3888 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3272.888
AT ITER 1596 NEW BEST:: SOT 8978 SOS 3883 HAS SOPS 3883 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.883
AT ITER 1606 NEW BEST:: SOT 8974 SOS 3879 HAS SOPS 3879 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.879
AT ITER 1617 NEW BEST:: SOT 8969 SOS 3867 HAS SOPS 3867 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3251.867
AT ITER 1637 NEW BEST:: SOT 8965 SOS 3862 HAS SOPS 3862 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3250.862
AT ITER 1655 NEW BEST:: SOT 8962 SOS 3861 HAS SOPS 3861 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.861
AT ITER 1667 NEW BEST:: SOT 8959 SOS 3858 HAS SOPS 3858 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3244.858
AT ITER 1674 NEW BEST:: SOT 8952 SOS 3820 HAS SOPS 3820 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3231.82
AT ITER 1681 NEW BEST:: SOT 8952 SOS 3797 HAS SOPS 3797 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3207.797
AT ITER 1688 NEW BEST:: SOT 8938 SOS 3785 HAS SOPS 3785 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.785
AT ITER 1691 NEW BEST:: SOT 8919 SOS 3795 HAS SOPS 3795 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.795
AT ITER 1698 NEW BEST:: SOT 8919 SOS 3777 HAS SOPS 3777 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.777
AT ITER 1703 NEW BEST:: SOT 8927 SOS 3775 HAS SOPS 3775 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3158.775
AT ITER 1754 NEW BEST:: SOT 8927 SOS 3764 HAS SOPS 3764 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3145.764
AT ITER 1778 NEW BEST:: SOT 8927 SOS 3763 HAS SOPS 3763 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3144.763
AT ITER 1794 NEW BEST:: SOT 8920 SOS 3756 HAS SOPS 3756 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.756
AT ITER 1806 NEW BEST:: SOT 8881 SOS 3726 HAS SOPS 3726 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3107.726
AT ITER 1816 NEW BEST:: SOT 8887 SOS 3752 HAS SOPS 3752 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3101.752
AT ITER 1825 NEW BEST:: SOT 8886 SOS 3745 HAS SOPS 3745 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.745
AT ITER 1828 NEW BEST:: SOT 8886 SOS 3745 HAS SOPS 3745 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3086.745
AT ITER 1855 NEW BEST:: SOT 8880 SOS 3736 HAS SOPS 3736 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.736
AT ITER 1886 NEW BEST:: SOT 8880 SOS 3716 HAS SOPS 3716 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.716
AT ITER 1892 NEW BEST:: SOT 8862 SOS 3698 HAS SOPS 3698 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.698
AT ITER 1901 NEW BEST:: SOT 8862 SOS 3676 HAS SOPS 3676 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3012.676
AT ITER 1906 NEW BEST:: SOT 8873 SOS 3681 HAS SOPS 3681 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3005.681
AT ITER 1992 NEW BEST:: SOT 8892 SOS 3680 HAS SOPS 3680 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.68
AT ITER 2024 NEW BEST:: SOT 8897 SOS 3688 HAS SOPS 3688 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.688
AT ITER 2064 NEW BEST:: SOT 8899 SOS 3689 HAS SOPS 3689 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2971.689
AT ITER 2069 NEW BEST:: SOT 8898 SOS 3688 HAS SOPS 3688 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2970.688
AT ITER 2082 NEW BEST:: SOT 8895 SOS 3685 HAS SOPS 3685 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2967.685
AT ITER 2207 NEW BEST:: SOT 8885 SOS 3665 HAS SOPS 3665 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.665
AT ITER 2256 NEW BEST:: SOT 8872 SOS 3652 HAS SOPS 3652 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2950.652
AT ITER 2261 NEW BEST:: SOT 8864 SOS 3639 HAS SOPS 3639 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2937.639
AT ITER 2394 NEW BEST:: SOT 8861 SOS 3635 HAS SOPS 3635 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2933.635
AT ITER 2403 NEW BEST:: SOT 8870 SOS 3644 HAS SOPS 3644 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2931.644
AT ITER 2417 NEW BEST:: SOT 8868 SOS 3642 HAS SOPS 3642 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.642
AT ITER 2421 NEW BEST:: SOT 8870 SOS 3644 HAS SOPS 3644 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2923.644
AT ITER 2434 NEW BEST:: SOT 8870 SOS 3648 HAS SOPS 3648 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2921.648
AT ITER 2436 NEW BEST:: SOT 8868 SOS 3636 HAS SOPS 3636 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.636
AT ITER 2438 NEW BEST:: SOT 8868 SOS 3608 HAS SOPS 3608 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.608
AT ITER 2467 NEW BEST:: SOT 8869 SOS 3605 HAS SOPS 3605 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.605
AT ITER 2498 NEW BEST:: SOT 8877 SOS 3607 HAS SOPS 3607 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2892.607
AT ITER 2512 NEW BEST:: SOT 8877 SOS 3606 HAS SOPS 3606 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2892.606
AT ITER 2525 NEW BEST:: SOT 8877 SOS 3590 HAS SOPS 3590 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2888.59
AT ITER 2586 NEW BEST:: SOT 8870 SOS 3579 HAS SOPS 3579 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.579
AT ITER 2605 NEW BEST:: SOT 8863 SOS 3572 HAS SOPS 3572 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2873.572
AT ITER 2631 NEW BEST:: SOT 8861 SOS 3572 HAS SOPS 3572 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2872.572
AT ITER 2723 NEW BEST:: SOT 8861 SOS 3571 HAS SOPS 3571 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2871.571
AT ITER 2750 NEW BEST:: SOT 8860 SOS 3570 HAS SOPS 3570 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.57
AT ITER 2756 NEW BEST:: SOT 8846 SOS 3558 HAS SOPS 3558 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2858.558
AT ITER 2774 NEW BEST:: SOT 8846 SOS 3546 HAS SOPS 3546 HAS SOUS 2849 HAS SOUPS 2849 WITH SCORE 2852.546
AT ITER 2797 NEW BEST:: SOT 8816 SOS 3516 HAS SOPS 3516 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.516
AT ITER 2824 NEW BEST:: SOT 8825 SOS 3509 HAS SOPS 3509 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.509
AT ITER 2825 NEW BEST:: SOT 8832 SOS 3510 HAS SOPS 3510 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2816.51
AT ITER 2830 NEW BEST:: SOT 8832 SOS 3506 HAS SOPS 3506 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.506
AT ITER 2840 NEW BEST:: SOT 8838 SOS 3502 HAS SOPS 3502 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.502
AT ITER 2854 NEW BEST:: SOT 8832 SOS 3480 HAS SOPS 3480 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.48
AT ITER 2860 NEW BEST:: SOT 8839 SOS 3464 HAS SOPS 3464 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.464
AT ITER 2891 NEW BEST:: SOT 8840 SOS 3463 HAS SOPS 3463 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2796.463
AT ITER 2946 NEW BEST:: SOT 8840 SOS 3453 HAS SOPS 3453 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2796.453
AT ITER 2956 NEW BEST:: SOT 8836 SOS 3452 HAS SOPS 3452 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2795.452
AT ITER 2969 NEW BEST:: SOT 8836 SOS 3446 HAS SOPS 3446 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.446
AT ITER 2986 NEW BEST:: SOT 8840 SOS 3436 HAS SOPS 3436 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2790.436
AT ITER 3032 NEW BEST:: SOT 8834 SOS 3424 HAS SOPS 3424 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.424
AT ITER 3049 NEW BEST:: SOT 8830 SOS 3422 HAS SOPS 3422 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2774.422
AT ITER 3086 NEW BEST:: SOT 8830 SOS 3421 HAS SOPS 3421 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2773.421
AT ITER 3126 NEW BEST:: SOT 8827 SOS 3439 HAS SOPS 3439 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2755.439
AT ITER 3162 NEW BEST:: SOT 8825 SOS 3436 HAS SOPS 3436 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2750.436
AT ITER 3189 NEW BEST:: SOT 8826 SOS 3436 HAS SOPS 3436 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2749.436
AT ITER 3202 NEW BEST:: SOT 8822 SOS 3432 HAS SOPS 3432 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2745.432
AT ITER 3223 NEW BEST:: SOT 8820 SOS 3430 HAS SOPS 3430 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.43
AT ITER 3271 NEW BEST:: SOT 8817 SOS 3426 HAS SOPS 3426 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2737.426
AT ITER 3358 NEW BEST:: SOT 8813 SOS 3408 HAS SOPS 3408 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.408
AT ITER 3369 NEW BEST:: SOT 8808 SOS 3378 HAS SOPS 3378 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2704.378
AT ITER 3408 NEW BEST:: SOT 8804 SOS 3377 HAS SOPS 3377 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.377
AT ITER 3417 NEW BEST:: SOT 8801 SOS 3374 HAS SOPS 3374 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2701.374
AT ITER 3430 NEW BEST:: SOT 8799 SOS 3372 HAS SOPS 3372 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2699.372
AT ITER 3473 NEW BEST:: SOT 8793 SOS 3366 HAS SOPS 3366 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2695.366
AT ITER 3508 NEW BEST:: SOT 8789 SOS 3354 HAS SOPS 3354 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2679.354
AT ITER 3616 NEW BEST:: SOT 8788 SOS 3352 HAS SOPS 3352 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.352
AT ITER 3623 NEW BEST:: SOT 8792 SOS 3347 HAS SOPS 3347 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2663.347
AT ITER 3689 NEW BEST:: SOT 8797 SOS 3342 HAS SOPS 3342 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2656.342
AT ITER 3710 NEW BEST:: SOT 8796 SOS 3341 HAS SOPS 3341 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2650.341
AT ITER 3735 NEW BEST:: SOT 8797 SOS 3335 HAS SOPS 3335 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2644.335
AT ITER 3878 NEW BEST:: SOT 8797 SOS 3334 HAS SOPS 3334 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2643.334
AT ITER 3967 NEW BEST:: SOT 8800 SOS 3328 HAS SOPS 3328 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2628.328
AT ITER 4064 NEW BEST:: SOT 8796 SOS 3324 HAS SOPS 3324 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2624.324
AT ITER 4102 NEW BEST:: SOT 8796 SOS 3324 HAS SOPS 3324 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2622.324
AT ITER 4103 NEW BEST:: SOT 8797 SOS 3325 HAS SOPS 3325 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2619.325
AT ITER 4148 NEW BEST:: SOT 8794 SOS 3314 HAS SOPS 3314 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2608.314
AT ITER 4165 NEW BEST:: SOT 8792 SOS 3312 HAS SOPS 3312 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2606.312
AT ITER 4169 NEW BEST:: SOT 8797 SOS 3310 HAS SOPS 3310 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2586.31
AT ITER 4183 NEW BEST:: SOT 8801 SOS 3305 HAS SOPS 3305 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2584.305
AT ITER 4187 NEW BEST:: SOT 8802 SOS 3303 HAS SOPS 3303 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2583.303
AT ITER 4239 NEW BEST:: SOT 8797 SOS 3297 HAS SOPS 3297 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2571.297
AT ITER 4379 NEW BEST:: SOT 8795 SOS 3295 HAS SOPS 3295 HAS SOUS 2567 HAS SOUPS 2567 WITH SCORE 2570.295
AT ITER 4408 NEW BEST:: SOT 8794 SOS 3293 HAS SOPS 3293 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2568.293
AT ITER 4431 NEW BEST:: SOT 8794 SOS 3281 HAS SOPS 3281 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2568.281
AT ITER 4451 NEW BEST:: SOT 8794 SOS 3276 HAS SOPS 3276 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2563.276
AT ITER 4465 NEW BEST:: SOT 8792 SOS 3270 HAS SOPS 3270 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2559.27
AT ITER 4535 NEW BEST:: SOT 8803 SOS 3278 HAS SOPS 3278 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2554.278
AT ITER 4551 NEW BEST:: SOT 8796 SOS 3271 HAS SOPS 3271 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2547.271
AT ITER 4554 NEW BEST:: SOT 8784 SOS 3259 HAS SOPS 3259 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2539.259
AT ITER 4576 NEW BEST:: SOT 8776 SOS 3247 HAS SOPS 3247 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2522.247
AT ITER 4599 NEW BEST:: SOT 8776 SOS 3242 HAS SOPS 3242 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2520.242
AT ITER 4609 NEW BEST:: SOT 8768 SOS 3223 HAS SOPS 3223 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2505.223
AT ITER 4702 NEW BEST:: SOT 8766 SOS 3221 HAS SOPS 3221 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2503.221
AT ITER 4715 NEW BEST:: SOT 8748 SOS 3174 HAS SOPS 3174 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2467.174
AT ITER 4826 NEW BEST:: SOT 8748 SOS 3161 HAS SOPS 3161 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.161
AT ITER 4827 NEW BEST:: SOT 8748 SOS 3158 HAS SOPS 3158 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.158
AT ITER 4874 NEW BEST:: SOT 8745 SOS 3151 HAS SOPS 3151 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2456.151
AT ITER 4924 NEW BEST:: SOT 8742 SOS 3154 HAS SOPS 3154 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2455.154
AT ITER 5119 NEW BEST:: SOT 8734 SOS 3125 HAS SOPS 3125 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2446.125
AT ITER 5162 NEW BEST:: SOT 8726 SOS 3117 HAS SOPS 3117 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2439.117
AT ITER 5230 NEW BEST:: SOT 8726 SOS 3119 HAS SOPS 3119 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2437.119
AT ITER 5236 NEW BEST:: SOT 8725 SOS 3118 HAS SOPS 3118 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2436.118
AT ITER 5248 NEW BEST:: SOT 8722 SOS 3117 HAS SOPS 3117 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2435.117
AT ITER 5403 NEW BEST:: SOT 8739 SOS 3095 HAS SOPS 3095 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2430.095
AT ITER 5483 NEW BEST:: SOT 8737 SOS 3087 HAS SOPS 3087 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2425.087
AT ITER 5539 NEW BEST:: SOT 8737 SOS 3088 HAS SOPS 3088 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2424.088
AT ITER 5562 NEW BEST:: SOT 8736 SOS 3087 HAS SOPS 3087 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2423.087
AT ITER 5621 NEW BEST:: SOT 8730 SOS 3077 HAS SOPS 3077 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2417.077
AT ITER 5687 NEW BEST:: SOT 8739 SOS 3080 HAS SOPS 3080 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2408.08
AT ITER 5697 NEW BEST:: SOT 8741 SOS 3082 HAS SOPS 3082 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2407.082
AT ITER 5913 NEW BEST:: SOT 8745 SOS 3081 HAS SOPS 3081 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2406.081
AT ITER 6111 NEW BEST:: SOT 8742 SOS 3078 HAS SOPS 3078 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2404.078
AT ITER 6141 NEW BEST:: SOT 8745 SOS 3082 HAS SOPS 3082 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2403.082
AT ITER 6208 NEW BEST:: SOT 8744 SOS 3098 HAS SOPS 3098 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2402.098
AT ITER 6293 NEW BEST:: SOT 8748 SOS 3098 HAS SOPS 3098 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.098
AT ITER 6367 NEW BEST:: SOT 8748 SOS 3096 HAS SOPS 3096 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2397.096
AT ITER 6437 NEW BEST:: SOT 8746 SOS 3094 HAS SOPS 3094 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2395.094
AT ITER 6514 NEW BEST:: SOT 8742 SOS 3088 HAS SOPS 3088 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2389.088
AT ITER 6645 NEW BEST:: SOT 8744 SOS 3088 HAS SOPS 3088 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2387.088
AT ITER 6859 NEW BEST:: SOT 8741 SOS 3085 HAS SOPS 3085 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2384.085
AT ITER 6904 NEW BEST:: SOT 8741 SOS 3083 HAS SOPS 3083 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2384.083
AT ITER 7010 NEW BEST:: SOT 8740 SOS 3081 HAS SOPS 3081 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2382.081
AT ITER 7013 NEW BEST:: SOT 8745 SOS 3081 HAS SOPS 3081 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.081
AT ITER 7031 NEW BEST:: SOT 8744 SOS 3080 HAS SOPS 3080 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2373.08
AT ITER 7261 NEW BEST:: SOT 8740 SOS 3076 HAS SOPS 3076 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2369.076
AT ITER 7395 NEW BEST:: SOT 8740 SOS 3062 HAS SOPS 3062 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2369.062
AT ITER 7472 NEW BEST:: SOT 8740 SOS 3061 HAS SOPS 3061 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2368.061
AT ITER 7501 NEW BEST:: SOT 8739 SOS 3060 HAS SOPS 3060 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2367.06
AT ITER 7535 NEW BEST:: SOT 8737 SOS 3044 HAS SOPS 3044 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2353.044
AT ITER 7557 NEW BEST:: SOT 8737 SOS 3045 HAS SOPS 3045 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2352.045
AT ITER 7612 NEW BEST:: SOT 8740 SOS 3043 HAS SOPS 3043 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2350.043
AT ITER 7737 NEW BEST:: SOT 8737 SOS 3033 HAS SOPS 3033 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2346.033
AT ITER 7875 NEW BEST:: SOT 8735 SOS 3032 HAS SOPS 3032 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2344.032
AT ITER 8007 NEW BEST:: SOT 8735 SOS 3031 HAS SOPS 3031 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2343.031
AT ITER 8079 NEW BEST:: SOT 8735 SOS 3031 HAS SOPS 3031 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2342.031
AT ITER 8088 NEW BEST:: SOT 8733 SOS 3026 HAS SOPS 3026 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2339.026
AT ITER 8155 NEW BEST:: SOT 8734 SOS 3020 HAS SOPS 3020 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2339.02
AT ITER 8191 NEW BEST:: SOT 8736 SOS 3017 HAS SOPS 3017 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2339.017
AT ITER 8308 NEW BEST:: SOT 8734 SOS 3013 HAS SOPS 3013 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2335.013
AT ITER 8331 NEW BEST:: SOT 8734 SOS 3010 HAS SOPS 3010 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2334.01
AT ITER 8428 NEW BEST:: SOT 8728 SOS 3002 HAS SOPS 3002 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2326.002
AT ITER 8651 NEW BEST:: SOT 8725 SOS 2999 HAS SOPS 2999 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.999
AT ITER 8663 NEW BEST:: SOT 8717 SOS 2989 HAS SOPS 2989 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.989
AT ITER 8801 NEW BEST:: SOT 8717 SOS 2987 HAS SOPS 2987 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.987
AT ITER 8815 NEW BEST:: SOT 8714 SOS 2982 HAS SOPS 2982 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.982
AT ITER 8850 NEW BEST:: SOT 8712 SOS 2965 HAS SOPS 2965 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.965
AT ITER 8999 NEW BEST:: SOT 8707 SOS 2956 HAS SOPS 2956 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.956
AT ITER 9021 NEW BEST:: SOT 8707 SOS 2956 HAS SOPS 2956 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.956
AT ITER 9095 NEW BEST:: SOT 8706 SOS 2948 HAS SOPS 2948 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.948
AT ITER 9106 NEW BEST:: SOT 8706 SOS 2950 HAS SOPS 2950 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.95
AT ITER 9178 NEW BEST:: SOT 8706 SOS 2940 HAS SOPS 2940 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.94
AT ITER 9179 NEW BEST:: SOT 8706 SOS 2939 HAS SOPS 2939 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.939
AT ITER 9331 NEW BEST:: SOT 8704 SOS 2938 HAS SOPS 2938 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2281.938
AT ITER 9347 NEW BEST:: SOT 8698 SOS 2933 HAS SOPS 2933 HAS SOUS 2274 HAS SOUPS 2274 WITH SCORE 2276.933
AT ITER 9427 NEW BEST:: SOT 8689 SOS 2927 HAS SOPS 2927 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.927
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 2050740 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16124312 kB

BK_TIME_CONFINEMENT_REACHED

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

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ShieldIIPs-PT-005A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903718300072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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