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.r011-oct2-167813600100400.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 AutoFlight-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600100400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.7K Feb 25 18:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 18:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 18:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 18:14 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 15:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 18:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Feb 25 18:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 18:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 48K Mar 5 18:22 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 1678735246321

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=AutoFlight-PT-02b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:20:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:20:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:20:50] [INFO ] Load time of PNML (sax parser for PT used): 56 ms
[2023-03-13 19:20:50] [INFO ] Transformed 206 places.
[2023-03-13 19:20:50] [INFO ] Transformed 204 transitions.
[2023-03-13 19:20:50] [INFO ] Found NUPN structural information;
[2023-03-13 19:20:50] [INFO ] Parsed PT model containing 206 places and 204 transitions and 478 arcs in 173 ms.
[2023-03-13 19:20:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 206 places, 204 transitions and 478 arcs took 7 ms.
Total runtime 270 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 02b
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: 206 places, 204 transitions, 478 arcs.
AT ITER 0 NEW BEST:: SOT 22978 SOS 6136 HAS SOPS 6136 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.136
AT ITER 45 NEW BEST:: SOT 22963 SOS 6094 HAS SOPS 6094 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5514.094
AT ITER 59 NEW BEST:: SOT 22962 SOS 6092 HAS SOPS 6092 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.092
AT ITER 60 NEW BEST:: SOT 22962 SOS 6066 HAS SOPS 6066 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5509.066
AT ITER 68 NEW BEST:: SOT 22954 SOS 6050 HAS SOPS 6050 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5497.05
AT ITER 69 NEW BEST:: SOT 22933 SOS 6029 HAS SOPS 6029 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.029
AT ITER 70 NEW BEST:: SOT 22873 SOS 5945 HAS SOPS 5945 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5427.945
AT ITER 80 NEW BEST:: SOT 22844 SOS 5916 HAS SOPS 5916 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5398.916
AT ITER 87 NEW BEST:: SOT 22829 SOS 5876 HAS SOPS 5876 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5374.876
AT ITER 137 NEW BEST:: SOT 22817 SOS 5879 HAS SOPS 5879 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5361.879
AT ITER 185 NEW BEST:: SOT 22811 SOS 5867 HAS SOPS 5867 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5349.867
AT ITER 217 NEW BEST:: SOT 22809 SOS 5861 HAS SOPS 5861 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5343.861
AT ITER 220 NEW BEST:: SOT 22809 SOS 5850 HAS SOPS 5850 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.85
AT ITER 264 NEW BEST:: SOT 22783 SOS 5837 HAS SOPS 5837 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5319.837
AT ITER 270 NEW BEST:: SOT 22771 SOS 5838 HAS SOPS 5838 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5317.838
AT ITER 279 NEW BEST:: SOT 22771 SOS 5838 HAS SOPS 5838 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5316.838
AT ITER 308 NEW BEST:: SOT 22771 SOS 5838 HAS SOPS 5838 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5313.838
AT ITER 310 NEW BEST:: SOT 22765 SOS 5826 HAS SOPS 5826 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5307.826
AT ITER 323 NEW BEST:: SOT 22817 SOS 5854 HAS SOPS 5854 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5278.854
AT ITER 346 NEW BEST:: SOT 22819 SOS 5941 HAS SOPS 5941 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5241.941
AT ITER 352 NEW BEST:: SOT 22801 SOS 5923 HAS SOPS 5923 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5223.923
AT ITER 359 NEW BEST:: SOT 22798 SOS 5919 HAS SOPS 5919 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5219.919
AT ITER 364 NEW BEST:: SOT 22798 SOS 5919 HAS SOPS 5919 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5213.919
AT ITER 402 NEW BEST:: SOT 22803 SOS 5885 HAS SOPS 5885 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5133.885
AT ITER 406 NEW BEST:: SOT 22793 SOS 5865 HAS SOPS 5865 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5113.865
AT ITER 416 NEW BEST:: SOT 22793 SOS 5865 HAS SOPS 5865 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5102.865
AT ITER 435 NEW BEST:: SOT 22775 SOS 5849 HAS SOPS 5849 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5086.849
AT ITER 439 NEW BEST:: SOT 22769 SOS 5849 HAS SOPS 5849 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5074.849
AT ITER 449 NEW BEST:: SOT 22767 SOS 5845 HAS SOPS 5845 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5070.845
AT ITER 460 NEW BEST:: SOT 22767 SOS 5845 HAS SOPS 5845 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5062.845
AT ITER 472 NEW BEST:: SOT 22764 SOS 5839 HAS SOPS 5839 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5056.839
AT ITER 473 NEW BEST:: SOT 22751 SOS 5818 HAS SOPS 5818 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5035.818
AT ITER 485 NEW BEST:: SOT 22751 SOS 5815 HAS SOPS 5815 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5035.815
AT ITER 507 NEW BEST:: SOT 22751 SOS 5815 HAS SOPS 5815 HAS SOUS 5029 HAS SOUPS 5029 WITH SCORE 5034.815
AT ITER 510 NEW BEST:: SOT 22741 SOS 5742 HAS SOPS 5742 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4997.742
AT ITER 515 NEW BEST:: SOT 22738 SOS 5736 HAS SOPS 5736 HAS SOUS 4986 HAS SOUPS 4986 WITH SCORE 4991.736
AT ITER 522 NEW BEST:: SOT 22738 SOS 5688 HAS SOPS 5688 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.688
AT ITER 553 NEW BEST:: SOT 22738 SOS 5687 HAS SOPS 5687 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4979.687
AT ITER 570 NEW BEST:: SOT 22707 SOS 5640 HAS SOPS 5640 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.64
AT ITER 573 NEW BEST:: SOT 22710 SOS 5625 HAS SOPS 5625 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4944.625
AT ITER 589 NEW BEST:: SOT 22708 SOS 5622 HAS SOPS 5622 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4941.622
AT ITER 626 NEW BEST:: SOT 22700 SOS 5620 HAS SOPS 5620 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4939.62
AT ITER 671 NEW BEST:: SOT 22678 SOS 5576 HAS SOPS 5576 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4895.576
AT ITER 688 NEW BEST:: SOT 22675 SOS 5554 HAS SOPS 5554 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4873.554
AT ITER 692 NEW BEST:: SOT 22672 SOS 5548 HAS SOPS 5548 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4867.548
AT ITER 697 NEW BEST:: SOT 22672 SOS 5504 HAS SOPS 5504 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4845.504
AT ITER 709 NEW BEST:: SOT 22670 SOS 5504 HAS SOPS 5504 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4842.504
AT ITER 723 NEW BEST:: SOT 22662 SOS 5488 HAS SOPS 5488 HAS SOUS 4821 HAS SOUPS 4821 WITH SCORE 4826.488
AT ITER 747 NEW BEST:: SOT 22668 SOS 5479 HAS SOPS 5479 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4824.479
AT ITER 762 NEW BEST:: SOT 22629 SOS 5472 HAS SOPS 5472 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4784.472
AT ITER 803 NEW BEST:: SOT 22610 SOS 5434 HAS SOPS 5434 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4752.434
AT ITER 811 NEW BEST:: SOT 22610 SOS 5422 HAS SOPS 5422 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.422
AT ITER 840 NEW BEST:: SOT 22604 SOS 5410 HAS SOPS 5410 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4742.41
AT ITER 874 NEW BEST:: SOT 22604 SOS 5394 HAS SOPS 5394 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4710.394
AT ITER 927 NEW BEST:: SOT 22601 SOS 5391 HAS SOPS 5391 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4707.391
AT ITER 949 NEW BEST:: SOT 22600 SOS 5381 HAS SOPS 5381 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4705.381
AT ITER 971 NEW BEST:: SOT 22587 SOS 5355 HAS SOPS 5355 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4679.355
AT ITER 985 NEW BEST:: SOT 22587 SOS 5341 HAS SOPS 5341 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4665.341
AT ITER 994 NEW BEST:: SOT 22572 SOS 5298 HAS SOPS 5298 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4648.298
AT ITER 1005 NEW BEST:: SOT 22590 SOS 5297 HAS SOPS 5297 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4638.297
AT ITER 1027 NEW BEST:: SOT 22590 SOS 5293 HAS SOPS 5293 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4634.293
AT ITER 1035 NEW BEST:: SOT 22590 SOS 5283 HAS SOPS 5283 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4634.283
AT ITER 1059 NEW BEST:: SOT 22590 SOS 5275 HAS SOPS 5275 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4626.275
AT ITER 1092 NEW BEST:: SOT 22584 SOS 5263 HAS SOPS 5263 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4620.263
AT ITER 1093 NEW BEST:: SOT 22581 SOS 5257 HAS SOPS 5257 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.257
AT ITER 1099 NEW BEST:: SOT 22581 SOS 5257 HAS SOPS 5257 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4616.257
AT ITER 1106 NEW BEST:: SOT 22578 SOS 5257 HAS SOPS 5257 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4610.257
AT ITER 1116 NEW BEST:: SOT 22597 SOS 5268 HAS SOPS 5268 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4602.268
AT ITER 1149 NEW BEST:: SOT 22594 SOS 5244 HAS SOPS 5244 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.244
AT ITER 1164 NEW BEST:: SOT 22593 SOS 5242 HAS SOPS 5242 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4576.242
AT ITER 1166 NEW BEST:: SOT 22593 SOS 5238 HAS SOPS 5238 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.238
AT ITER 1171 NEW BEST:: SOT 22591 SOS 5225 HAS SOPS 5225 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4561.225
AT ITER 1185 NEW BEST:: SOT 22580 SOS 5214 HAS SOPS 5214 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4561.214
AT ITER 1197 NEW BEST:: SOT 22584 SOS 5204 HAS SOPS 5204 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4551.204
AT ITER 1222 NEW BEST:: SOT 22573 SOS 5178 HAS SOPS 5178 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.178
AT ITER 1277 NEW BEST:: SOT 22573 SOS 5171 HAS SOPS 5171 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4518.171
AT ITER 1281 NEW BEST:: SOT 22579 SOS 5191 HAS SOPS 5191 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4516.191
AT ITER 1287 NEW BEST:: SOT 22579 SOS 5191 HAS SOPS 5191 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.191
AT ITER 1325 NEW BEST:: SOT 22580 SOS 5186 HAS SOPS 5186 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4507.186
AT ITER 1350 NEW BEST:: SOT 22578 SOS 5182 HAS SOPS 5182 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4503.182
AT ITER 1360 NEW BEST:: SOT 22569 SOS 5172 HAS SOPS 5172 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4493.172
AT ITER 1378 NEW BEST:: SOT 22569 SOS 5159 HAS SOPS 5159 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4480.159
AT ITER 1381 NEW BEST:: SOT 22553 SOS 5147 HAS SOPS 5147 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4468.147
AT ITER 1387 NEW BEST:: SOT 22549 SOS 5139 HAS SOPS 5139 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4460.139
AT ITER 1392 NEW BEST:: SOT 22549 SOS 5124 HAS SOPS 5124 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4445.124
AT ITER 1412 NEW BEST:: SOT 22544 SOS 5108 HAS SOPS 5108 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.108
AT ITER 1561 NEW BEST:: SOT 22526 SOS 5184 HAS SOPS 5184 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.184
AT ITER 1562 NEW BEST:: SOT 22522 SOS 5176 HAS SOPS 5176 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4415.176
AT ITER 1577 NEW BEST:: SOT 22484 SOS 5100 HAS SOPS 5100 HAS SOUS 4361 HAS SOUPS 4361 WITH SCORE 4366.1
AT ITER 1578 NEW BEST:: SOT 22483 SOS 5098 HAS SOPS 5098 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4364.098
AT ITER 1606 NEW BEST:: SOT 22483 SOS 5114 HAS SOPS 5114 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4348.114
AT ITER 1609 NEW BEST:: SOT 22483 SOS 5103 HAS SOPS 5103 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4337.103
AT ITER 1627 NEW BEST:: SOT 22483 SOS 5103 HAS SOPS 5103 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4335.103
AT ITER 1630 NEW BEST:: SOT 22483 SOS 5100 HAS SOPS 5100 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4332.1
AT ITER 1690 NEW BEST:: SOT 22482 SOS 5099 HAS SOPS 5099 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4331.099
AT ITER 1700 NEW BEST:: SOT 22482 SOS 5093 HAS SOPS 5093 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4331.093
AT ITER 1729 NEW BEST:: SOT 22478 SOS 5089 HAS SOPS 5089 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4327.089
AT ITER 1765 NEW BEST:: SOT 22478 SOS 5089 HAS SOPS 5089 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4315.089
AT ITER 1767 NEW BEST:: SOT 22478 SOS 5088 HAS SOPS 5088 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4314.088
AT ITER 1785 NEW BEST:: SOT 22472 SOS 5066 HAS SOPS 5066 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4308.066
AT ITER 1795 NEW BEST:: SOT 22472 SOS 5059 HAS SOPS 5059 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4292.059
AT ITER 1802 NEW BEST:: SOT 22464 SOS 5033 HAS SOPS 5033 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4266.033
AT ITER 1811 NEW BEST:: SOT 22460 SOS 5025 HAS SOPS 5025 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4258.025
AT ITER 1829 NEW BEST:: SOT 22479 SOS 5008 HAS SOPS 5008 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4241.008
AT ITER 1899 NEW BEST:: SOT 22479 SOS 5003 HAS SOPS 5003 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4236.003
AT ITER 1915 NEW BEST:: SOT 22466 SOS 5001 HAS SOPS 5001 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.001
AT ITER 1935 NEW BEST:: SOT 22466 SOS 4984 HAS SOPS 4984 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4228.984
AT ITER 1992 NEW BEST:: SOT 22464 SOS 4982 HAS SOPS 4982 HAS SOUS 4224 HAS SOUPS 4224 WITH SCORE 4228.982
AT ITER 1997 NEW BEST:: SOT 22449 SOS 4971 HAS SOPS 4971 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.971
AT ITER 2007 NEW BEST:: SOT 22434 SOS 4971 HAS SOPS 4971 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4190.971
AT ITER 2025 NEW BEST:: SOT 22434 SOS 4962 HAS SOPS 4962 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4181.962
AT ITER 2046 NEW BEST:: SOT 22441 SOS 4956 HAS SOPS 4956 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4181.956
AT ITER 2069 NEW BEST:: SOT 22441 SOS 4989 HAS SOPS 4989 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4169.989
AT ITER 2095 NEW BEST:: SOT 22435 SOS 4977 HAS SOPS 4977 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.977
AT ITER 2096 NEW BEST:: SOT 22434 SOS 4970 HAS SOPS 4970 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4134.97
AT ITER 2105 NEW BEST:: SOT 22424 SOS 4921 HAS SOPS 4921 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4118.921
AT ITER 2115 NEW BEST:: SOT 22439 SOS 4921 HAS SOPS 4921 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4103.921
AT ITER 2161 NEW BEST:: SOT 22443 SOS 4924 HAS SOPS 4924 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.924
AT ITER 2179 NEW BEST:: SOT 22441 SOS 4920 HAS SOPS 4920 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4099.92
AT ITER 2206 NEW BEST:: SOT 22440 SOS 4918 HAS SOPS 4918 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4096.918
AT ITER 2216 NEW BEST:: SOT 22436 SOS 4910 HAS SOPS 4910 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4084.91
AT ITER 2255 NEW BEST:: SOT 22436 SOS 4900 HAS SOPS 4900 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4079.9
AT ITER 2268 NEW BEST:: SOT 22435 SOS 4894 HAS SOPS 4894 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.894
AT ITER 2322 NEW BEST:: SOT 22432 SOS 4888 HAS SOPS 4888 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4056.888
AT ITER 2342 NEW BEST:: SOT 22432 SOS 4888 HAS SOPS 4888 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.888
AT ITER 2354 NEW BEST:: SOT 22432 SOS 4888 HAS SOPS 4888 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.888
AT ITER 2372 NEW BEST:: SOT 22431 SOS 4886 HAS SOPS 4886 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4052.886
AT ITER 2379 NEW BEST:: SOT 22431 SOS 4874 HAS SOPS 4874 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4040.874
AT ITER 2384 NEW BEST:: SOT 22438 SOS 4873 HAS SOPS 4873 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.873
AT ITER 2385 NEW BEST:: SOT 22438 SOS 4856 HAS SOPS 4856 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4022.856
AT ITER 2399 NEW BEST:: SOT 22446 SOS 4848 HAS SOPS 4848 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4022.848
AT ITER 2409 NEW BEST:: SOT 22446 SOS 4846 HAS SOPS 4846 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4020.846
AT ITER 2423 NEW BEST:: SOT 22446 SOS 4846 HAS SOPS 4846 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4018.846
AT ITER 2443 NEW BEST:: SOT 22446 SOS 4841 HAS SOPS 4841 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4013.841
AT ITER 2488 NEW BEST:: SOT 22435 SOS 4828 HAS SOPS 4828 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4013.828
AT ITER 2502 NEW BEST:: SOT 22427 SOS 4812 HAS SOPS 4812 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3997.812
AT ITER 2566 NEW BEST:: SOT 22423 SOS 4804 HAS SOPS 4804 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3995.804
AT ITER 2642 NEW BEST:: SOT 22421 SOS 4800 HAS SOPS 4800 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3991.8
AT ITER 2687 NEW BEST:: SOT 22420 SOS 4797 HAS SOPS 4797 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3989.797
AT ITER 2702 NEW BEST:: SOT 22413 SOS 4783 HAS SOPS 4783 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3975.783
AT ITER 2708 NEW BEST:: SOT 22410 SOS 4777 HAS SOPS 4777 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3969.777
AT ITER 2711 NEW BEST:: SOT 22410 SOS 4777 HAS SOPS 4777 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3965.777
AT ITER 2715 NEW BEST:: SOT 22405 SOS 4767 HAS SOPS 4767 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.767
AT ITER 2750 NEW BEST:: SOT 22397 SOS 4777 HAS SOPS 4777 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3950.777
AT ITER 2798 NEW BEST:: SOT 22395 SOS 4775 HAS SOPS 4775 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.775
AT ITER 2816 NEW BEST:: SOT 22395 SOS 4774 HAS SOPS 4774 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3947.774
AT ITER 2826 NEW BEST:: SOT 22389 SOS 4773 HAS SOPS 4773 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3946.773
AT ITER 2869 NEW BEST:: SOT 22390 SOS 4770 HAS SOPS 4770 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3943.77
AT ITER 2918 NEW BEST:: SOT 22383 SOS 4756 HAS SOPS 4756 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.756
AT ITER 2951 NEW BEST:: SOT 22383 SOS 4755 HAS SOPS 4755 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3932.755
AT ITER 2959 NEW BEST:: SOT 22382 SOS 4753 HAS SOPS 4753 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.753
AT ITER 2961 NEW BEST:: SOT 22382 SOS 4683 HAS SOPS 4683 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.683
AT ITER 2964 NEW BEST:: SOT 22382 SOS 4683 HAS SOPS 4683 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.683
AT ITER 2970 NEW BEST:: SOT 22382 SOS 4651 HAS SOPS 4651 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.651
AT ITER 2975 NEW BEST:: SOT 22382 SOS 4641 HAS SOPS 4641 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.641
AT ITER 3010 NEW BEST:: SOT 22379 SOS 4635 HAS SOPS 4635 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3923.635
AT ITER 3016 NEW BEST:: SOT 22380 SOS 4632 HAS SOPS 4632 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3916.632
AT ITER 3053 NEW BEST:: SOT 22380 SOS 4617 HAS SOPS 4617 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3916.617
AT ITER 3088 NEW BEST:: SOT 22382 SOS 4614 HAS SOPS 4614 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3913.614
AT ITER 3102 NEW BEST:: SOT 22382 SOS 4605 HAS SOPS 4605 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3913.605
AT ITER 3148 NEW BEST:: SOT 22382 SOS 4607 HAS SOPS 4607 HAS SOUS 3908 HAS SOUPS 3908 WITH SCORE 3912.607
AT ITER 3157 NEW BEST:: SOT 22375 SOS 4602 HAS SOPS 4602 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.602
AT ITER 3160 NEW BEST:: SOT 22350 SOS 4584 HAS SOPS 4584 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.584
AT ITER 3194 NEW BEST:: SOT 22347 SOS 4576 HAS SOPS 4576 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3878.576
AT ITER 3227 NEW BEST:: SOT 22337 SOS 4586 HAS SOPS 4586 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.586
AT ITER 3233 NEW BEST:: SOT 22337 SOS 4585 HAS SOPS 4585 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3866.585
AT ITER 3265 NEW BEST:: SOT 22337 SOS 4579 HAS SOPS 4579 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3860.579
AT ITER 3292 NEW BEST:: SOT 22337 SOS 4574 HAS SOPS 4574 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3858.574
AT ITER 3329 NEW BEST:: SOT 22333 SOS 4568 HAS SOPS 4568 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.568
AT ITER 3339 NEW BEST:: SOT 22331 SOS 4566 HAS SOPS 4566 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.566
AT ITER 3373 NEW BEST:: SOT 22334 SOS 4496 HAS SOPS 4496 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3847.496
AT ITER 3393 NEW BEST:: SOT 22332 SOS 4492 HAS SOPS 4492 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3843.492
AT ITER 3476 NEW BEST:: SOT 22326 SOS 4536 HAS SOPS 4536 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3831.536
AT ITER 3508 NEW BEST:: SOT 22326 SOS 4531 HAS SOPS 4531 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.531
AT ITER 3598 NEW BEST:: SOT 22327 SOS 4530 HAS SOPS 4530 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3825.53
AT ITER 3620 NEW BEST:: SOT 22325 SOS 4527 HAS SOPS 4527 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3823.527
AT ITER 3637 NEW BEST:: SOT 22324 SOS 4525 HAS SOPS 4525 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3820.525
AT ITER 3640 NEW BEST:: SOT 22321 SOS 4522 HAS SOPS 4522 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3817.522
AT ITER 3694 NEW BEST:: SOT 22321 SOS 4518 HAS SOPS 4518 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3813.518
AT ITER 3733 NEW BEST:: SOT 22320 SOS 4516 HAS SOPS 4516 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3811.516
AT ITER 3745 NEW BEST:: SOT 22320 SOS 4509 HAS SOPS 4509 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.509
AT ITER 3792 NEW BEST:: SOT 22320 SOS 4507 HAS SOPS 4507 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.507
AT ITER 3852 NEW BEST:: SOT 22316 SOS 4487 HAS SOPS 4487 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3782.487
AT ITER 3865 NEW BEST:: SOT 22316 SOS 4483 HAS SOPS 4483 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3782.483
AT ITER 3875 NEW BEST:: SOT 22317 SOS 4464 HAS SOPS 4464 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3777.464
AT ITER 3884 NEW BEST:: SOT 22317 SOS 4462 HAS SOPS 4462 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3775.462
AT ITER 3898 NEW BEST:: SOT 22317 SOS 4448 HAS SOPS 4448 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3761.448
AT ITER 3904 NEW BEST:: SOT 22316 SOS 4446 HAS SOPS 4446 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3759.446
AT ITER 3939 NEW BEST:: SOT 22312 SOS 4438 HAS SOPS 4438 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.438
AT ITER 4088 NEW BEST:: SOT 22312 SOS 4438 HAS SOPS 4438 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3746.438
AT ITER 4217 NEW BEST:: SOT 22310 SOS 4435 HAS SOPS 4435 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3744.435
AT ITER 4223 NEW BEST:: SOT 22303 SOS 4433 HAS SOPS 4433 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3742.433
AT ITER 4238 NEW BEST:: SOT 22306 SOS 4415 HAS SOPS 4415 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3736.415
AT ITER 4347 NEW BEST:: SOT 22306 SOS 4413 HAS SOPS 4413 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.413
AT ITER 4378 NEW BEST:: SOT 22315 SOS 4501 HAS SOPS 4501 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3726.501
AT ITER 4476 NEW BEST:: SOT 22315 SOS 4499 HAS SOPS 4499 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3726.499
AT ITER 4547 NEW BEST:: SOT 22312 SOS 4496 HAS SOPS 4496 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3723.496
AT ITER 4553 NEW BEST:: SOT 22328 SOS 4512 HAS SOPS 4512 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3716.512
AT ITER 4582 NEW BEST:: SOT 22328 SOS 4510 HAS SOPS 4510 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3716.51
AT ITER 4588 NEW BEST:: SOT 22328 SOS 4478 HAS SOPS 4478 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3716.478
AT ITER 4641 NEW BEST:: SOT 22319 SOS 4460 HAS SOPS 4460 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3698.46
AT ITER 4758 NEW BEST:: SOT 22312 SOS 4435 HAS SOPS 4435 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3678.435
AT ITER 4783 NEW BEST:: SOT 22312 SOS 4435 HAS SOPS 4435 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3677.435
AT ITER 4864 NEW BEST:: SOT 22311 SOS 4433 HAS SOPS 4433 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.433
AT ITER 4865 NEW BEST:: SOT 22311 SOS 4424 HAS SOPS 4424 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.424
AT ITER 4910 NEW BEST:: SOT 22319 SOS 4423 HAS SOPS 4423 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3674.423
AT ITER 4983 NEW BEST:: SOT 22319 SOS 4425 HAS SOPS 4425 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.425
AT ITER 5064 NEW BEST:: SOT 22309 SOS 4420 HAS SOPS 4420 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.42
AT ITER 5096 NEW BEST:: SOT 22307 SOS 4412 HAS SOPS 4412 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.412
AT ITER 5127 NEW BEST:: SOT 22306 SOS 4406 HAS SOPS 4406 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3661.406
AT ITER 5161 NEW BEST:: SOT 22303 SOS 4400 HAS SOPS 4400 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3655.4
AT ITER 5169 NEW BEST:: SOT 22303 SOS 4410 HAS SOPS 4410 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.41
AT ITER 5200 NEW BEST:: SOT 22303 SOS 4404 HAS SOPS 4404 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.404
AT ITER 5265 NEW BEST:: SOT 22292 SOS 4360 HAS SOPS 4360 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.36
AT ITER 5352 NEW BEST:: SOT 22292 SOS 4360 HAS SOPS 4360 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3637.36
AT ITER 5437 NEW BEST:: SOT 22292 SOS 4358 HAS SOPS 4358 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.358
AT ITER 5445 NEW BEST:: SOT 22292 SOS 4320 HAS SOPS 4320 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.32
AT ITER 5532 NEW BEST:: SOT 22292 SOS 4304 HAS SOPS 4304 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.304
AT ITER 5564 NEW BEST:: SOT 22292 SOS 4304 HAS SOPS 4304 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.304
AT ITER 5582 NEW BEST:: SOT 22289 SOS 4295 HAS SOPS 4295 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3626.295
AT ITER 5688 NEW BEST:: SOT 22289 SOS 4290 HAS SOPS 4290 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3621.29
AT ITER 5703 NEW BEST:: SOT 22285 SOS 4282 HAS SOPS 4282 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3621.282
AT ITER 5774 NEW BEST:: SOT 22275 SOS 4275 HAS SOPS 4275 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3614.275
AT ITER 5785 NEW BEST:: SOT 22274 SOS 4274 HAS SOPS 4274 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3613.274
AT ITER 5889 NEW BEST:: SOT 22274 SOS 4254 HAS SOPS 4254 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3611.254
AT ITER 5944 NEW BEST:: SOT 22274 SOS 4250 HAS SOPS 4250 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3611.25
AT ITER 6065 NEW BEST:: SOT 22272 SOS 4243 HAS SOPS 4243 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3604.243
AT ITER 6184 NEW BEST:: SOT 22270 SOS 4242 HAS SOPS 4242 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3603.242
AT ITER 6273 NEW BEST:: SOT 22270 SOS 4236 HAS SOPS 4236 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3603.236
AT ITER 6305 NEW BEST:: SOT 22270 SOS 4235 HAS SOPS 4235 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3603.235
AT ITER 6371 NEW BEST:: SOT 22270 SOS 4196 HAS SOPS 4196 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3603.196
AT ITER 6383 NEW BEST:: SOT 22265 SOS 4191 HAS SOPS 4191 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3598.191
AT ITER 6463 NEW BEST:: SOT 22258 SOS 4184 HAS SOPS 4184 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3591.184
AT ITER 6506 NEW BEST:: SOT 22259 SOS 4182 HAS SOPS 4182 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.182
AT ITER 6507 NEW BEST:: SOT 22258 SOS 4180 HAS SOPS 4180 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.18
AT ITER 6523 NEW BEST:: SOT 22258 SOS 4179 HAS SOPS 4179 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.179
AT ITER 6528 NEW BEST:: SOT 22255 SOS 4167 HAS SOPS 4167 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3583.167
AT ITER 6671 NEW BEST:: SOT 22256 SOS 4166 HAS SOPS 4166 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3582.166
AT ITER 6703 NEW BEST:: SOT 22256 SOS 4163 HAS SOPS 4163 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3579.163
AT ITER 6704 NEW BEST:: SOT 22257 SOS 4165 HAS SOPS 4165 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.165
AT ITER 6750 NEW BEST:: SOT 22257 SOS 4163 HAS SOPS 4163 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3573.163
AT ITER 6763 NEW BEST:: SOT 22243 SOS 4160 HAS SOPS 4160 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3566.16
AT ITER 6858 NEW BEST:: SOT 22254 SOS 4172 HAS SOPS 4172 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3561.172
AT ITER 6893 NEW BEST:: SOT 22254 SOS 4172 HAS SOPS 4172 HAS SOUS 3555 HAS SOUPS 3555 WITH SCORE 3559.172
AT ITER 6902 NEW BEST:: SOT 22246 SOS 4156 HAS SOPS 4156 HAS SOUS 3539 HAS SOUPS 3539 WITH SCORE 3543.156
AT ITER 7013 NEW BEST:: SOT 22246 SOS 4156 HAS SOPS 4156 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3542.156
AT ITER 7014 NEW BEST:: SOT 22247 SOS 4153 HAS SOPS 4153 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3539.153
AT ITER 7035 NEW BEST:: SOT 22247 SOS 4150 HAS SOPS 4150 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3536.15
AT ITER 7043 NEW BEST:: SOT 22245 SOS 4146 HAS SOPS 4146 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3536.146
AT ITER 7128 NEW BEST:: SOT 22245 SOS 4120 HAS SOPS 4120 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3536.12
AT ITER 7146 NEW BEST:: SOT 22244 SOS 4119 HAS SOPS 4119 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.119
AT ITER 7236 NEW BEST:: SOT 22244 SOS 4105 HAS SOPS 4105 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.105
AT ITER 7315 NEW BEST:: SOT 22244 SOS 4099 HAS SOPS 4099 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3533.099
AT ITER 7503 NEW BEST:: SOT 22246 SOS 4129 HAS SOPS 4129 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3524.129
AT ITER 7530 NEW BEST:: SOT 22249 SOS 4127 HAS SOPS 4127 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3518.127
AT ITER 7548 NEW BEST:: SOT 22247 SOS 4125 HAS SOPS 4125 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3516.125
AT ITER 7602 NEW BEST:: SOT 22246 SOS 4123 HAS SOPS 4123 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3514.123
AT ITER 7630 NEW BEST:: SOT 22255 SOS 4123 HAS SOPS 4123 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3508.123
AT ITER 7639 NEW BEST:: SOT 22253 SOS 4119 HAS SOPS 4119 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3508.119
AT ITER 7750 NEW BEST:: SOT 22252 SOS 4115 HAS SOPS 4115 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3506.115
AT ITER 7797 NEW BEST:: SOT 22252 SOS 4113 HAS SOPS 4113 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3506.113
AT ITER 7867 NEW BEST:: SOT 22275 SOS 4126 HAS SOPS 4126 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3494.126
AT ITER 7875 NEW BEST:: SOT 22244 SOS 4064 HAS SOPS 4064 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3442.064
AT ITER 7971 NEW BEST:: SOT 22252 SOS 4057 HAS SOPS 4057 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3435.057
AT ITER 8196 NEW BEST:: SOT 22251 SOS 4055 HAS SOPS 4055 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3433.055
AT ITER 8202 NEW BEST:: SOT 22251 SOS 4059 HAS SOPS 4059 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3431.059
AT ITER 8243 NEW BEST:: SOT 22251 SOS 4057 HAS SOPS 4057 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3430.057
AT ITER 8252 NEW BEST:: SOT 22251 SOS 4056 HAS SOPS 4056 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3430.056
AT ITER 8255 NEW BEST:: SOT 22251 SOS 4055 HAS SOPS 4055 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3429.055
AT ITER 8262 NEW BEST:: SOT 22251 SOS 4043 HAS SOPS 4043 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3417.043
AT ITER 8325 NEW BEST:: SOT 22251 SOS 4028 HAS SOPS 4028 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3417.028
AT ITER 8339 NEW BEST:: SOT 22254 SOS 4034 HAS SOPS 4034 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3413.034
AT ITER 8403 NEW BEST:: SOT 22254 SOS 3989 HAS SOPS 3989 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3407.989
AT ITER 8553 NEW BEST:: SOT 22253 SOS 3987 HAS SOPS 3987 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.987
AT ITER 8602 NEW BEST:: SOT 22259 SOS 3993 HAS SOPS 3993 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3399.993
AT ITER 8649 NEW BEST:: SOT 22267 SOS 4001 HAS SOPS 4001 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3392.001
AT ITER 8658 NEW BEST:: SOT 22267 SOS 3998 HAS SOPS 3998 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3391.998
AT ITER 8675 NEW BEST:: SOT 22269 SOS 4002 HAS SOPS 4002 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3391.002
AT ITER 8708 NEW BEST:: SOT 22269 SOS 4000 HAS SOPS 4000 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3389.0
AT ITER 8731 NEW BEST:: SOT 22265 SOS 3990 HAS SOPS 3990 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.99
AT ITER 8966 NEW BEST:: SOT 22264 SOS 3990 HAS SOPS 3990 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3378.99
AT ITER 9022 NEW BEST:: SOT 22263 SOS 3988 HAS SOPS 3988 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3376.988
AT ITER 9118 NEW BEST:: SOT 22263 SOS 3986 HAS SOPS 3986 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3376.986
AT ITER 9259 NEW BEST:: SOT 22266 SOS 4004 HAS SOPS 4004 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3375.004
AT ITER 9272 NEW BEST:: SOT 22266 SOS 4004 HAS SOPS 4004 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3369.004
AT ITER 9320 NEW BEST:: SOT 22259 SOS 3990 HAS SOPS 3990 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3363.99
AT ITER 9368 NEW BEST:: SOT 22245 SOS 3971 HAS SOPS 3971 HAS SOUS 3353 HAS SOUPS 3353 WITH SCORE 3356.971
AT ITER 9374 NEW BEST:: SOT 22245 SOS 3969 HAS SOPS 3969 HAS SOUS 3353 HAS SOUPS 3353 WITH SCORE 3356.969
AT ITER 9517 NEW BEST:: SOT 22243 SOS 3965 HAS SOPS 3965 HAS SOUS 3349 HAS SOUPS 3349 WITH SCORE 3352.965
AT ITER 9548 NEW BEST:: SOT 22241 SOS 3963 HAS SOPS 3963 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3350.963
AT ITER 9613 NEW BEST:: SOT 22241 SOS 3958 HAS SOPS 3958 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3345.958
AT ITER 9629 NEW BEST:: SOT 22241 SOS 3926 HAS SOPS 3926 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.926
AT ITER 9854 NEW BEST:: SOT 22243 SOS 3920 HAS SOPS 3920 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.92
AT ITER 9919 NEW BEST:: SOT 22239 SOS 3918 HAS SOPS 3918 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.918
STATE_SPACE STATES 16154516414537 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 15 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 203513071987459 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678735327071

--------------------
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:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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

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="AutoFlight-PT-02b"
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 AutoFlight-PT-02b, 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 r011-oct2-167813600100400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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