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-167903718300048.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-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718300048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 16:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K 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.1K Feb 25 16:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 16:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 16:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 16:40 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 49K 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 1679552772270

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-003B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 06:26:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 06:26:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 06:26:15] [INFO ] Load time of PNML (sax parser for PT used): 56 ms
[2023-03-23 06:26:15] [INFO ] Transformed 183 places.
[2023-03-23 06:26:15] [INFO ] Transformed 180 transitions.
[2023-03-23 06:26:15] [INFO ] Found NUPN structural information;
[2023-03-23 06:26:15] [INFO ] Parsed PT model containing 183 places and 180 transitions and 540 arcs in 153 ms.
[2023-03-23 06:26:15] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 183 places, 180 transitions and 540 arcs took 25 ms.
Total runtime 251 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 003B
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: 183 places, 180 transitions, 540 arcs.
AT ITER 0 NEW BEST:: SOT 18939 SOS 6149 HAS SOPS 6149 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5001.149
AT ITER 3 NEW BEST:: SOT 18927 SOS 6191 HAS SOPS 6191 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4989.191
AT ITER 7 NEW BEST:: SOT 18919 SOS 6175 HAS SOPS 6175 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4977.175
AT ITER 17 NEW BEST:: SOT 18914 SOS 6165 HAS SOPS 6165 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4971.165
AT ITER 21 NEW BEST:: SOT 18904 SOS 6159 HAS SOPS 6159 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4960.159
AT ITER 33 NEW BEST:: SOT 18897 SOS 6159 HAS SOPS 6159 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4959.159
AT ITER 39 NEW BEST:: SOT 18889 SOS 6150 HAS SOPS 6150 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4926.15
AT ITER 44 NEW BEST:: SOT 18889 SOS 6149 HAS SOPS 6149 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4925.149
AT ITER 57 NEW BEST:: SOT 18911 SOS 6144 HAS SOPS 6144 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4920.144
AT ITER 71 NEW BEST:: SOT 18893 SOS 6126 HAS SOPS 6126 HAS SOUS 4900 HAS SOUPS 4900 WITH SCORE 4906.126
AT ITER 79 NEW BEST:: SOT 18857 SOS 6096 HAS SOPS 6096 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4877.096
AT ITER 86 NEW BEST:: SOT 18853 SOS 6096 HAS SOPS 6096 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4873.096
AT ITER 90 NEW BEST:: SOT 18837 SOS 6070 HAS SOPS 6070 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4848.07
AT ITER 97 NEW BEST:: SOT 18837 SOS 6055 HAS SOPS 6055 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4833.055
AT ITER 111 NEW BEST:: SOT 18837 SOS 6053 HAS SOPS 6053 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4833.053
AT ITER 113 NEW BEST:: SOT 18837 SOS 6050 HAS SOPS 6050 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4830.05
AT ITER 117 NEW BEST:: SOT 18792 SOS 6005 HAS SOPS 6005 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4785.005
AT ITER 120 NEW BEST:: SOT 18810 SOS 5980 HAS SOPS 5980 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.98
AT ITER 144 NEW BEST:: SOT 18810 SOS 6002 HAS SOPS 6002 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4775.002
AT ITER 159 NEW BEST:: SOT 18795 SOS 5987 HAS SOPS 5987 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.987
AT ITER 179 NEW BEST:: SOT 18791 SOS 5879 HAS SOPS 5879 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4756.879
AT ITER 182 NEW BEST:: SOT 18784 SOS 5864 HAS SOPS 5864 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4755.864
AT ITER 208 NEW BEST:: SOT 18772 SOS 5854 HAS SOPS 5854 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4745.854
AT ITER 217 NEW BEST:: SOT 18771 SOS 5852 HAS SOPS 5852 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4742.852
AT ITER 218 NEW BEST:: SOT 18771 SOS 5856 HAS SOPS 5856 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4715.856
AT ITER 229 NEW BEST:: SOT 18743 SOS 5835 HAS SOPS 5835 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4694.835
AT ITER 247 NEW BEST:: SOT 18743 SOS 5835 HAS SOPS 5835 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4687.835
AT ITER 255 NEW BEST:: SOT 18729 SOS 5781 HAS SOPS 5781 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.781
AT ITER 260 NEW BEST:: SOT 18724 SOS 5766 HAS SOPS 5766 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.766
AT ITER 263 NEW BEST:: SOT 18696 SOS 5626 HAS SOPS 5626 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4613.626
AT ITER 284 NEW BEST:: SOT 18696 SOS 5614 HAS SOPS 5614 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4613.614
AT ITER 285 NEW BEST:: SOT 18703 SOS 5630 HAS SOPS 5630 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.63
AT ITER 287 NEW BEST:: SOT 18693 SOS 5609 HAS SOPS 5609 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4567.609
AT ITER 291 NEW BEST:: SOT 18695 SOS 5609 HAS SOPS 5609 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4565.609
AT ITER 308 NEW BEST:: SOT 18695 SOS 5597 HAS SOPS 5597 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4559.597
AT ITER 309 NEW BEST:: SOT 18686 SOS 5583 HAS SOPS 5583 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4543.583
AT ITER 350 NEW BEST:: SOT 18685 SOS 5582 HAS SOPS 5582 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.582
AT ITER 375 NEW BEST:: SOT 18672 SOS 5539 HAS SOPS 5539 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.539
AT ITER 381 NEW BEST:: SOT 18670 SOS 5536 HAS SOPS 5536 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4518.536
AT ITER 396 NEW BEST:: SOT 18670 SOS 5536 HAS SOPS 5536 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.536
AT ITER 417 NEW BEST:: SOT 18657 SOS 5523 HAS SOPS 5523 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4496.523
AT ITER 421 NEW BEST:: SOT 18669 SOS 5539 HAS SOPS 5539 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4490.539
AT ITER 432 NEW BEST:: SOT 18669 SOS 5610 HAS SOPS 5610 HAS SOUS 4484 HAS SOUPS 4484 WITH SCORE 4489.61
AT ITER 435 NEW BEST:: SOT 18668 SOS 5617 HAS SOPS 5617 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4483.617
AT ITER 437 NEW BEST:: SOT 18660 SOS 5597 HAS SOPS 5597 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4475.597
AT ITER 441 NEW BEST:: SOT 18660 SOS 5593 HAS SOPS 5593 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.593
AT ITER 442 NEW BEST:: SOT 18645 SOS 5563 HAS SOPS 5563 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4471.563
AT ITER 459 NEW BEST:: SOT 18633 SOS 5548 HAS SOPS 5548 HAS SOUS 4453 HAS SOUPS 4453 WITH SCORE 4458.548
AT ITER 469 NEW BEST:: SOT 18635 SOS 5578 HAS SOPS 5578 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4435.578
AT ITER 487 NEW BEST:: SOT 18631 SOS 5566 HAS SOPS 5566 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.566
AT ITER 509 NEW BEST:: SOT 18625 SOS 5545 HAS SOPS 5545 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4413.545
AT ITER 521 NEW BEST:: SOT 18625 SOS 5553 HAS SOPS 5553 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4411.553
AT ITER 548 NEW BEST:: SOT 18596 SOS 5519 HAS SOPS 5519 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4377.519
AT ITER 557 NEW BEST:: SOT 18606 SOS 5498 HAS SOPS 5498 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4348.498
AT ITER 584 NEW BEST:: SOT 18515 SOS 5316 HAS SOPS 5316 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4300.316
AT ITER 606 NEW BEST:: SOT 18508 SOS 5296 HAS SOPS 5296 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4280.296
AT ITER 614 NEW BEST:: SOT 18502 SOS 5430 HAS SOPS 5430 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4228.43
AT ITER 618 NEW BEST:: SOT 18504 SOS 5405 HAS SOPS 5405 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4225.405
AT ITER 632 NEW BEST:: SOT 18500 SOS 5401 HAS SOPS 5401 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4221.401
AT ITER 638 NEW BEST:: SOT 18456 SOS 5378 HAS SOPS 5378 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4195.378
AT ITER 639 NEW BEST:: SOT 18453 SOS 5368 HAS SOPS 5368 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4188.368
AT ITER 649 NEW BEST:: SOT 18448 SOS 5356 HAS SOPS 5356 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4176.356
AT ITER 660 NEW BEST:: SOT 18448 SOS 5296 HAS SOPS 5296 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4176.296
AT ITER 661 NEW BEST:: SOT 18453 SOS 5287 HAS SOPS 5287 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4170.287
AT ITER 672 NEW BEST:: SOT 18453 SOS 5277 HAS SOPS 5277 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4165.277
AT ITER 680 NEW BEST:: SOT 18448 SOS 5272 HAS SOPS 5272 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4165.272
AT ITER 752 NEW BEST:: SOT 18425 SOS 5267 HAS SOPS 5267 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.267
AT ITER 767 NEW BEST:: SOT 18407 SOS 5259 HAS SOPS 5259 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.259
AT ITER 793 NEW BEST:: SOT 18407 SOS 5257 HAS SOPS 5257 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4149.257
AT ITER 803 NEW BEST:: SOT 18406 SOS 5255 HAS SOPS 5255 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4148.255
AT ITER 811 NEW BEST:: SOT 18404 SOS 5251 HAS SOPS 5251 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4146.251
AT ITER 857 NEW BEST:: SOT 18391 SOS 5255 HAS SOPS 5255 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4133.255
AT ITER 1007 NEW BEST:: SOT 18369 SOS 5230 HAS SOPS 5230 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4128.23
AT ITER 1052 NEW BEST:: SOT 18369 SOS 5224 HAS SOPS 5224 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4122.224
AT ITER 1079 NEW BEST:: SOT 18368 SOS 5165 HAS SOPS 5165 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4120.165
AT ITER 1102 NEW BEST:: SOT 18364 SOS 5128 HAS SOPS 5128 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4103.128
AT ITER 1110 NEW BEST:: SOT 18364 SOS 5119 HAS SOPS 5119 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4094.119
AT ITER 1111 NEW BEST:: SOT 18362 SOS 5117 HAS SOPS 5117 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4092.117
AT ITER 1115 NEW BEST:: SOT 18360 SOS 5115 HAS SOPS 5115 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4090.115
AT ITER 1148 NEW BEST:: SOT 18360 SOS 5155 HAS SOPS 5155 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4086.155
AT ITER 1165 NEW BEST:: SOT 18354 SOS 5125 HAS SOPS 5125 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4056.125
AT ITER 1170 NEW BEST:: SOT 18354 SOS 5125 HAS SOPS 5125 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4053.125
AT ITER 1175 NEW BEST:: SOT 18328 SOS 5075 HAS SOPS 5075 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4033.075
AT ITER 1178 NEW BEST:: SOT 18320 SOS 5083 HAS SOPS 5083 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4025.083
AT ITER 1181 NEW BEST:: SOT 18303 SOS 5066 HAS SOPS 5066 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4008.066
AT ITER 1199 NEW BEST:: SOT 18308 SOS 5060 HAS SOPS 5060 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4004.06
AT ITER 1204 NEW BEST:: SOT 18308 SOS 5028 HAS SOPS 5028 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3972.028
AT ITER 1220 NEW BEST:: SOT 18307 SOS 5028 HAS SOPS 5028 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3971.028
AT ITER 1251 NEW BEST:: SOT 18305 SOS 5016 HAS SOPS 5016 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3971.016
AT ITER 1260 NEW BEST:: SOT 18295 SOS 4993 HAS SOPS 4993 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3965.993
AT ITER 1311 NEW BEST:: SOT 18293 SOS 4991 HAS SOPS 4991 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3963.991
AT ITER 1314 NEW BEST:: SOT 18282 SOS 4980 HAS SOPS 4980 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3952.98
AT ITER 1351 NEW BEST:: SOT 18275 SOS 4971 HAS SOPS 4971 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3935.971
AT ITER 1379 NEW BEST:: SOT 18272 SOS 4982 HAS SOPS 4982 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3934.982
AT ITER 1398 NEW BEST:: SOT 18269 SOS 4979 HAS SOPS 4979 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3931.979
AT ITER 1423 NEW BEST:: SOT 18263 SOS 4970 HAS SOPS 4970 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.97
AT ITER 1448 NEW BEST:: SOT 18261 SOS 4968 HAS SOPS 4968 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.968
AT ITER 1456 NEW BEST:: SOT 18261 SOS 4964 HAS SOPS 4964 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3918.964
AT ITER 1458 NEW BEST:: SOT 18260 SOS 4954 HAS SOPS 4954 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3917.954
AT ITER 1478 NEW BEST:: SOT 18262 SOS 4960 HAS SOPS 4960 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.96
AT ITER 1491 NEW BEST:: SOT 18262 SOS 4958 HAS SOPS 4958 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.958
AT ITER 1523 NEW BEST:: SOT 18261 SOS 4953 HAS SOPS 4953 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3896.953
AT ITER 1600 NEW BEST:: SOT 18259 SOS 4951 HAS SOPS 4951 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3894.951
AT ITER 1712 NEW BEST:: SOT 18256 SOS 4943 HAS SOPS 4943 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.943
AT ITER 1732 NEW BEST:: SOT 18267 SOS 4931 HAS SOPS 4931 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.931
AT ITER 1767 NEW BEST:: SOT 18267 SOS 4923 HAS SOPS 4923 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.923
AT ITER 1776 NEW BEST:: SOT 18267 SOS 4918 HAS SOPS 4918 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3869.918
AT ITER 1802 NEW BEST:: SOT 18267 SOS 4916 HAS SOPS 4916 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3867.916
AT ITER 1831 NEW BEST:: SOT 18267 SOS 4915 HAS SOPS 4915 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3866.915
AT ITER 1874 NEW BEST:: SOT 18265 SOS 4908 HAS SOPS 4908 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3865.908
AT ITER 1890 NEW BEST:: SOT 18259 SOS 4900 HAS SOPS 4900 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3858.9
AT ITER 1902 NEW BEST:: SOT 18257 SOS 4898 HAS SOPS 4898 HAS SOUS 3852 HAS SOUPS 3852 WITH SCORE 3856.898
AT ITER 1903 NEW BEST:: SOT 18255 SOS 4899 HAS SOPS 4899 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3854.899
AT ITER 1932 NEW BEST:: SOT 18255 SOS 4881 HAS SOPS 4881 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.881
AT ITER 1957 NEW BEST:: SOT 18269 SOS 4869 HAS SOPS 4869 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.869
AT ITER 1969 NEW BEST:: SOT 18266 SOS 4866 HAS SOPS 4866 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3849.866
AT ITER 1976 NEW BEST:: SOT 18278 SOS 4864 HAS SOPS 4864 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3847.864
AT ITER 1985 NEW BEST:: SOT 18247 SOS 4706 HAS SOPS 4706 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3782.706
AT ITER 1998 NEW BEST:: SOT 18247 SOS 4663 HAS SOPS 4663 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3769.663
AT ITER 2005 NEW BEST:: SOT 18203 SOS 4693 HAS SOPS 4693 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3757.693
AT ITER 2022 NEW BEST:: SOT 18194 SOS 4681 HAS SOPS 4681 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.681
AT ITER 2062 NEW BEST:: SOT 18190 SOS 4669 HAS SOPS 4669 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3733.669
AT ITER 2088 NEW BEST:: SOT 18187 SOS 4666 HAS SOPS 4666 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.666
AT ITER 2103 NEW BEST:: SOT 18178 SOS 4642 HAS SOPS 4642 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3724.642
AT ITER 2118 NEW BEST:: SOT 18178 SOS 4648 HAS SOPS 4648 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3722.648
AT ITER 2158 NEW BEST:: SOT 18137 SOS 4610 HAS SOPS 4610 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3685.61
AT ITER 2248 NEW BEST:: SOT 18131 SOS 4595 HAS SOPS 4595 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3679.595
AT ITER 2250 NEW BEST:: SOT 18130 SOS 4594 HAS SOPS 4594 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3678.594
AT ITER 2260 NEW BEST:: SOT 18135 SOS 4584 HAS SOPS 4584 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3648.584
AT ITER 2275 NEW BEST:: SOT 18133 SOS 4570 HAS SOPS 4570 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.57
AT ITER 2294 NEW BEST:: SOT 18134 SOS 4566 HAS SOPS 4566 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3641.566
AT ITER 2299 NEW BEST:: SOT 18132 SOS 4562 HAS SOPS 4562 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3641.562
AT ITER 2374 NEW BEST:: SOT 18132 SOS 4563 HAS SOPS 4563 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3638.563
AT ITER 2406 NEW BEST:: SOT 18132 SOS 4562 HAS SOPS 4562 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3637.562
AT ITER 2449 NEW BEST:: SOT 18127 SOS 4552 HAS SOPS 4552 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3636.552
AT ITER 2455 NEW BEST:: SOT 18133 SOS 4567 HAS SOPS 4567 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3627.567
AT ITER 2565 NEW BEST:: SOT 18132 SOS 4565 HAS SOPS 4565 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3625.565
AT ITER 2598 NEW BEST:: SOT 18126 SOS 4559 HAS SOPS 4559 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3619.559
AT ITER 2616 NEW BEST:: SOT 18125 SOS 4558 HAS SOPS 4558 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3618.558
AT ITER 2630 NEW BEST:: SOT 18125 SOS 4547 HAS SOPS 4547 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3607.547
AT ITER 2666 NEW BEST:: SOT 18130 SOS 4497 HAS SOPS 4497 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3594.497
AT ITER 2732 NEW BEST:: SOT 18115 SOS 4448 HAS SOPS 4448 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3585.448
AT ITER 2735 NEW BEST:: SOT 18102 SOS 4448 HAS SOPS 4448 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3584.448
AT ITER 2770 NEW BEST:: SOT 18100 SOS 4444 HAS SOPS 4444 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.444
AT ITER 2783 NEW BEST:: SOT 18095 SOS 4417 HAS SOPS 4417 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.417
AT ITER 2814 NEW BEST:: SOT 18095 SOS 4415 HAS SOPS 4415 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3573.415
AT ITER 2935 NEW BEST:: SOT 18082 SOS 4403 HAS SOPS 4403 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3567.403
AT ITER 2993 NEW BEST:: SOT 18075 SOS 4396 HAS SOPS 4396 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.396
AT ITER 3112 NEW BEST:: SOT 18074 SOS 4395 HAS SOPS 4395 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.395
AT ITER 3185 NEW BEST:: SOT 18067 SOS 4374 HAS SOPS 4374 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.374
AT ITER 3204 NEW BEST:: SOT 18067 SOS 4372 HAS SOPS 4372 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.372
AT ITER 3239 NEW BEST:: SOT 18059 SOS 4360 HAS SOPS 4360 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3552.36
AT ITER 3250 NEW BEST:: SOT 18065 SOS 4359 HAS SOPS 4359 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.359
AT ITER 3258 NEW BEST:: SOT 18064 SOS 4358 HAS SOPS 4358 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3544.358
AT ITER 3299 NEW BEST:: SOT 18062 SOS 4356 HAS SOPS 4356 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3541.356
AT ITER 3325 NEW BEST:: SOT 18061 SOS 4355 HAS SOPS 4355 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3540.355
AT ITER 3354 NEW BEST:: SOT 18056 SOS 4354 HAS SOPS 4354 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3539.354
AT ITER 3380 NEW BEST:: SOT 18032 SOS 4361 HAS SOPS 4361 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3525.361
AT ITER 3398 NEW BEST:: SOT 18033 SOS 4358 HAS SOPS 4358 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3522.358
AT ITER 3422 NEW BEST:: SOT 18029 SOS 4354 HAS SOPS 4354 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3518.354
AT ITER 3446 NEW BEST:: SOT 18035 SOS 4288 HAS SOPS 4288 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3500.288
AT ITER 3461 NEW BEST:: SOT 17999 SOS 4268 HAS SOPS 4268 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3497.268
AT ITER 3473 NEW BEST:: SOT 18001 SOS 4270 HAS SOPS 4270 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3490.27
AT ITER 3474 NEW BEST:: SOT 18001 SOS 4270 HAS SOPS 4270 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3487.27
AT ITER 3500 NEW BEST:: SOT 17996 SOS 4289 HAS SOPS 4289 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3477.289
AT ITER 3563 NEW BEST:: SOT 17996 SOS 4289 HAS SOPS 4289 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3473.289
AT ITER 3573 NEW BEST:: SOT 17998 SOS 4288 HAS SOPS 4288 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3472.288
AT ITER 3585 NEW BEST:: SOT 17998 SOS 4280 HAS SOPS 4280 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3468.28
AT ITER 3620 NEW BEST:: SOT 17993 SOS 4277 HAS SOPS 4277 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3465.277
AT ITER 3622 NEW BEST:: SOT 17991 SOS 4273 HAS SOPS 4273 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.273
AT ITER 3648 NEW BEST:: SOT 17991 SOS 4265 HAS SOPS 4265 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.265
AT ITER 3660 NEW BEST:: SOT 17989 SOS 4263 HAS SOPS 4263 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3461.263
AT ITER 3671 NEW BEST:: SOT 17988 SOS 4261 HAS SOPS 4261 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.261
AT ITER 3699 NEW BEST:: SOT 17973 SOS 4245 HAS SOPS 4245 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3443.245
AT ITER 3707 NEW BEST:: SOT 17973 SOS 4242 HAS SOPS 4242 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3440.242
AT ITER 3713 NEW BEST:: SOT 17973 SOS 4240 HAS SOPS 4240 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3438.24
AT ITER 3785 NEW BEST:: SOT 17979 SOS 4223 HAS SOPS 4223 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3436.223
AT ITER 3816 NEW BEST:: SOT 17978 SOS 4223 HAS SOPS 4223 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3435.223
AT ITER 3853 NEW BEST:: SOT 17978 SOS 4209 HAS SOPS 4209 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3421.209
AT ITER 3905 NEW BEST:: SOT 17971 SOS 4183 HAS SOPS 4183 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3410.183
AT ITER 3955 NEW BEST:: SOT 17971 SOS 4179 HAS SOPS 4179 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3406.179
AT ITER 4048 NEW BEST:: SOT 17982 SOS 4177 HAS SOPS 4177 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3404.177
AT ITER 4073 NEW BEST:: SOT 17981 SOS 4175 HAS SOPS 4175 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3403.175
AT ITER 4093 NEW BEST:: SOT 17964 SOS 4166 HAS SOPS 4166 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3390.166
AT ITER 4096 NEW BEST:: SOT 17944 SOS 4163 HAS SOPS 4163 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3370.163
AT ITER 4120 NEW BEST:: SOT 17944 SOS 4163 HAS SOPS 4163 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3368.163
AT ITER 4223 NEW BEST:: SOT 17943 SOS 4162 HAS SOPS 4162 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3367.162
AT ITER 4224 NEW BEST:: SOT 17942 SOS 4161 HAS SOPS 4161 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3366.161
AT ITER 4249 NEW BEST:: SOT 17927 SOS 4105 HAS SOPS 4105 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3325.105
AT ITER 4261 NEW BEST:: SOT 17918 SOS 4052 HAS SOPS 4052 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3319.052
AT ITER 4291 NEW BEST:: SOT 17918 SOS 3986 HAS SOPS 3986 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3318.986
AT ITER 4339 NEW BEST:: SOT 17921 SOS 3997 HAS SOPS 3997 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.997
AT ITER 4476 NEW BEST:: SOT 17919 SOS 3995 HAS SOPS 3995 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.995
AT ITER 4523 NEW BEST:: SOT 17919 SOS 3995 HAS SOPS 3995 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3313.995
AT ITER 4529 NEW BEST:: SOT 17918 SOS 3997 HAS SOPS 3997 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.997
AT ITER 4542 NEW BEST:: SOT 17915 SOS 3995 HAS SOPS 3995 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3307.995
AT ITER 4546 NEW BEST:: SOT 17921 SOS 3993 HAS SOPS 3993 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3303.993
AT ITER 4659 NEW BEST:: SOT 17910 SOS 3986 HAS SOPS 3986 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.986
AT ITER 4695 NEW BEST:: SOT 17908 SOS 3984 HAS SOPS 3984 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3294.984
AT ITER 4740 NEW BEST:: SOT 17906 SOS 3983 HAS SOPS 3983 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3293.983
AT ITER 4796 NEW BEST:: SOT 17901 SOS 4023 HAS SOPS 4023 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3289.023
AT ITER 4848 NEW BEST:: SOT 17901 SOS 4021 HAS SOPS 4021 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3289.021
AT ITER 4875 NEW BEST:: SOT 17898 SOS 4018 HAS SOPS 4018 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3286.018
AT ITER 4900 NEW BEST:: SOT 17897 SOS 4014 HAS SOPS 4014 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3286.014
AT ITER 4937 NEW BEST:: SOT 17895 SOS 4012 HAS SOPS 4012 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3286.012
AT ITER 4948 NEW BEST:: SOT 17881 SOS 4005 HAS SOPS 4005 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3279.005
AT ITER 4971 NEW BEST:: SOT 17881 SOS 3921 HAS SOPS 3921 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.921
AT ITER 4986 NEW BEST:: SOT 17881 SOS 3914 HAS SOPS 3914 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3276.914
AT ITER 4998 NEW BEST:: SOT 17881 SOS 3914 HAS SOPS 3914 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3274.914
AT ITER 5034 NEW BEST:: SOT 17876 SOS 3907 HAS SOPS 3907 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3268.907
AT ITER 5102 NEW BEST:: SOT 17876 SOS 3906 HAS SOPS 3906 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.906
AT ITER 5185 NEW BEST:: SOT 17839 SOS 3903 HAS SOPS 3903 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3264.903
AT ITER 5209 NEW BEST:: SOT 17834 SOS 3894 HAS SOPS 3894 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.894
AT ITER 5228 NEW BEST:: SOT 17834 SOS 3893 HAS SOPS 3893 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.893
AT ITER 5273 NEW BEST:: SOT 17834 SOS 3892 HAS SOPS 3892 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.892
AT ITER 5300 NEW BEST:: SOT 17826 SOS 3879 HAS SOPS 3879 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3244.879
AT ITER 5346 NEW BEST:: SOT 17818 SOS 3861 HAS SOPS 3861 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.861
AT ITER 5348 NEW BEST:: SOT 17817 SOS 3865 HAS SOPS 3865 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3231.865
AT ITER 5367 NEW BEST:: SOT 17817 SOS 3863 HAS SOPS 3863 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3230.863
AT ITER 5405 NEW BEST:: SOT 17816 SOS 3861 HAS SOPS 3861 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.861
AT ITER 5429 NEW BEST:: SOT 17812 SOS 3853 HAS SOPS 3853 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3225.853
AT ITER 5436 NEW BEST:: SOT 17803 SOS 3869 HAS SOPS 3869 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3215.869
AT ITER 5531 NEW BEST:: SOT 17799 SOS 3837 HAS SOPS 3837 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.837
AT ITER 5551 NEW BEST:: SOT 17800 SOS 3839 HAS SOPS 3839 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.839
AT ITER 5552 NEW BEST:: SOT 17802 SOS 3837 HAS SOPS 3837 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3196.837
AT ITER 5618 NEW BEST:: SOT 17801 SOS 3836 HAS SOPS 3836 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.836
AT ITER 5673 NEW BEST:: SOT 17798 SOS 3826 HAS SOPS 3826 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3185.826
AT ITER 5732 NEW BEST:: SOT 17793 SOS 3821 HAS SOPS 3821 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.821
AT ITER 5804 NEW BEST:: SOT 17792 SOS 3819 HAS SOPS 3819 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3179.819
AT ITER 5807 NEW BEST:: SOT 17778 SOS 3839 HAS SOPS 3839 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.839
AT ITER 5812 NEW BEST:: SOT 17777 SOS 3838 HAS SOPS 3838 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.838
AT ITER 5830 NEW BEST:: SOT 17768 SOS 3839 HAS SOPS 3839 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3175.839
AT ITER 5842 NEW BEST:: SOT 17768 SOS 3838 HAS SOPS 3838 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3175.838
AT ITER 5942 NEW BEST:: SOT 17768 SOS 3838 HAS SOPS 3838 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3167.838
AT ITER 5958 NEW BEST:: SOT 17765 SOS 3834 HAS SOPS 3834 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3163.834
AT ITER 5959 NEW BEST:: SOT 17759 SOS 3822 HAS SOPS 3822 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3151.822
AT ITER 5969 NEW BEST:: SOT 17749 SOS 3802 HAS SOPS 3802 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.802
AT ITER 5975 NEW BEST:: SOT 17747 SOS 3788 HAS SOPS 3788 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.788
AT ITER 5991 NEW BEST:: SOT 17748 SOS 3782 HAS SOPS 3782 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.782
AT ITER 5992 NEW BEST:: SOT 17741 SOS 3768 HAS SOPS 3768 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.768
AT ITER 5994 NEW BEST:: SOT 17703 SOS 3739 HAS SOPS 3739 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.739
AT ITER 6058 NEW BEST:: SOT 17698 SOS 3716 HAS SOPS 3716 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3110.716
AT ITER 6079 NEW BEST:: SOT 17698 SOS 3694 HAS SOPS 3694 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.694
AT ITER 6189 NEW BEST:: SOT 17696 SOS 3702 HAS SOPS 3702 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3097.702
AT ITER 6200 NEW BEST:: SOT 17700 SOS 3702 HAS SOPS 3702 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.702
AT ITER 6212 NEW BEST:: SOT 17697 SOS 3699 HAS SOPS 3699 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.699
AT ITER 6282 NEW BEST:: SOT 17695 SOS 3695 HAS SOPS 3695 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3092.695
AT ITER 6290 NEW BEST:: SOT 17695 SOS 3685 HAS SOPS 3685 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3091.685
AT ITER 6403 NEW BEST:: SOT 17695 SOS 3684 HAS SOPS 3684 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3090.684
AT ITER 6436 NEW BEST:: SOT 17695 SOS 3683 HAS SOPS 3683 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.683
AT ITER 6449 NEW BEST:: SOT 17695 SOS 3681 HAS SOPS 3681 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3086.681
AT ITER 6477 NEW BEST:: SOT 17693 SOS 3679 HAS SOPS 3679 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.679
AT ITER 6495 NEW BEST:: SOT 17694 SOS 3671 HAS SOPS 3671 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3074.671
AT ITER 6502 NEW BEST:: SOT 17690 SOS 3662 HAS SOPS 3662 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3066.662
AT ITER 6525 NEW BEST:: SOT 17680 SOS 3654 HAS SOPS 3654 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.654
AT ITER 6589 NEW BEST:: SOT 17678 SOS 3614 HAS SOPS 3614 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3053.614
AT ITER 6632 NEW BEST:: SOT 17676 SOS 3612 HAS SOPS 3612 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3053.612
AT ITER 6729 NEW BEST:: SOT 17673 SOS 3600 HAS SOPS 3600 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.6
AT ITER 6775 NEW BEST:: SOT 17673 SOS 3598 HAS SOPS 3598 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.598
AT ITER 6814 NEW BEST:: SOT 17665 SOS 3591 HAS SOPS 3591 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.591
AT ITER 6815 NEW BEST:: SOT 17646 SOS 3642 HAS SOPS 3642 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3018.642
AT ITER 6850 NEW BEST:: SOT 17646 SOS 3656 HAS SOPS 3656 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3017.656
AT ITER 6874 NEW BEST:: SOT 17643 SOS 3647 HAS SOPS 3647 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.647
AT ITER 6898 NEW BEST:: SOT 17635 SOS 3646 HAS SOPS 3646 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.646
AT ITER 6932 NEW BEST:: SOT 17635 SOS 3630 HAS SOPS 3630 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.63
AT ITER 6962 NEW BEST:: SOT 17632 SOS 3630 HAS SOPS 3630 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 2999.63
AT ITER 7018 NEW BEST:: SOT 17630 SOS 3626 HAS SOPS 3626 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.626
AT ITER 7029 NEW BEST:: SOT 17627 SOS 3623 HAS SOPS 3623 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2992.623
AT ITER 7050 NEW BEST:: SOT 17627 SOS 3622 HAS SOPS 3622 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.622
AT ITER 7064 NEW BEST:: SOT 17624 SOS 3619 HAS SOPS 3619 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.619
AT ITER 7074 NEW BEST:: SOT 17624 SOS 3613 HAS SOPS 3613 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.613
AT ITER 7094 NEW BEST:: SOT 17620 SOS 3610 HAS SOPS 3610 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2985.61
AT ITER 7100 NEW BEST:: SOT 17615 SOS 3593 HAS SOPS 3593 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.593
AT ITER 7152 NEW BEST:: SOT 17616 SOS 3595 HAS SOPS 3595 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.595
AT ITER 7164 NEW BEST:: SOT 17615 SOS 3594 HAS SOPS 3594 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.594
AT ITER 7177 NEW BEST:: SOT 17612 SOS 3584 HAS SOPS 3584 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2960.584
AT ITER 7223 NEW BEST:: SOT 17620 SOS 3592 HAS SOPS 3592 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.592
AT ITER 7297 NEW BEST:: SOT 17620 SOS 3585 HAS SOPS 3585 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.585
AT ITER 7309 NEW BEST:: SOT 17619 SOS 3583 HAS SOPS 3583 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.583
AT ITER 7320 NEW BEST:: SOT 17611 SOS 3611 HAS SOPS 3611 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.611
AT ITER 7334 NEW BEST:: SOT 17611 SOS 3607 HAS SOPS 3607 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2945.607
AT ITER 7379 NEW BEST:: SOT 17603 SOS 3587 HAS SOPS 3587 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2939.587
AT ITER 7397 NEW BEST:: SOT 17602 SOS 3586 HAS SOPS 3586 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.586
AT ITER 7440 NEW BEST:: SOT 17597 SOS 3581 HAS SOPS 3581 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.581
AT ITER 7452 NEW BEST:: SOT 17594 SOS 3566 HAS SOPS 3566 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2932.566
AT ITER 7509 NEW BEST:: SOT 17595 SOS 3565 HAS SOPS 3565 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2931.565
AT ITER 7675 NEW BEST:: SOT 17593 SOS 3551 HAS SOPS 3551 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.551
AT ITER 7687 NEW BEST:: SOT 17592 SOS 3549 HAS SOPS 3549 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.549
AT ITER 7709 NEW BEST:: SOT 17591 SOS 3543 HAS SOPS 3543 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.543
AT ITER 7858 NEW BEST:: SOT 17591 SOS 3541 HAS SOPS 3541 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2909.541
AT ITER 7924 NEW BEST:: SOT 17590 SOS 3540 HAS SOPS 3540 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.54
AT ITER 7926 NEW BEST:: SOT 17588 SOS 3537 HAS SOPS 3537 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.537
AT ITER 8107 NEW BEST:: SOT 17589 SOS 3532 HAS SOPS 3532 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.532
AT ITER 8197 NEW BEST:: SOT 17588 SOS 3530 HAS SOPS 3530 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2904.53
AT ITER 8213 NEW BEST:: SOT 17588 SOS 3519 HAS SOPS 3519 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.519
AT ITER 8225 NEW BEST:: SOT 17587 SOS 3516 HAS SOPS 3516 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2900.516
AT ITER 8279 NEW BEST:: SOT 17586 SOS 3515 HAS SOPS 3515 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.515
AT ITER 8312 NEW BEST:: SOT 17585 SOS 3514 HAS SOPS 3514 HAS SOUS 2895 HAS SOUPS 2895 WITH SCORE 2898.514
AT ITER 8325 NEW BEST:: SOT 17585 SOS 3510 HAS SOPS 3510 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2892.51
AT ITER 8387 NEW BEST:: SOT 17585 SOS 3510 HAS SOPS 3510 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2891.51
AT ITER 8400 NEW BEST:: SOT 17586 SOS 3509 HAS SOPS 3509 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2891.509
AT ITER 8434 NEW BEST:: SOT 17586 SOS 3506 HAS SOPS 3506 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2888.506
AT ITER 8447 NEW BEST:: SOT 17586 SOS 3495 HAS SOPS 3495 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2881.495
AT ITER 8586 NEW BEST:: SOT 17586 SOS 3492 HAS SOPS 3492 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2878.492
AT ITER 8717 NEW BEST:: SOT 17584 SOS 3489 HAS SOPS 3489 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2875.489
AT ITER 8866 NEW BEST:: SOT 17588 SOS 3488 HAS SOPS 3488 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.488
AT ITER 8920 NEW BEST:: SOT 17582 SOS 3474 HAS SOPS 3474 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.474
AT ITER 9052 NEW BEST:: SOT 17580 SOS 3471 HAS SOPS 3471 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2859.471
AT ITER 9055 NEW BEST:: SOT 17579 SOS 3470 HAS SOPS 3470 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2859.47
AT ITER 9086 NEW BEST:: SOT 17580 SOS 3468 HAS SOPS 3468 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2858.468
AT ITER 9087 NEW BEST:: SOT 17580 SOS 3465 HAS SOPS 3465 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2858.465
AT ITER 9284 NEW BEST:: SOT 17592 SOS 3478 HAS SOPS 3478 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2837.478
AT ITER 9285 NEW BEST:: SOT 17591 SOS 3476 HAS SOPS 3476 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.476
AT ITER 9308 NEW BEST:: SOT 17586 SOS 3471 HAS SOPS 3471 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2831.471
AT ITER 9329 NEW BEST:: SOT 17586 SOS 3469 HAS SOPS 3469 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.469
AT ITER 9550 NEW BEST:: SOT 17586 SOS 3448 HAS SOPS 3448 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2823.448
AT ITER 9760 NEW BEST:: SOT 17585 SOS 3446 HAS SOPS 3446 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.446
AT ITER 9786 NEW BEST:: SOT 17585 SOS 3443 HAS SOPS 3443 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.443
AT ITER 9844 NEW BEST:: SOT 17592 SOS 3439 HAS SOPS 3439 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.439
AT ITER 9859 NEW BEST:: SOT 17589 SOS 3438 HAS SOPS 3438 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.438
AT ITER 9915 NEW BEST:: SOT 17590 SOS 3440 HAS SOPS 3440 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2813.44
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 4527000 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16125524 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-003B"
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-003B, 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-167903718300048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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