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.r259-smll-167863534500408.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ParamProductionCell-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534500408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 7.2K Feb 26 17:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 17:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 17:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 26 17:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 17:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 174K 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 1678771070329

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ParamProductionCell-PT-5
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 5
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 231 places, 202 transitions, 846 arcs.
AT ITER 0 NEW BEST:: SOT 27791 SOS 6064 HAS SOPS 5679 HAS SOUS 5557 HAS SOUPS 5282 WITH SCORE 5288.064
AT ITER 8 NEW BEST:: SOT 27784 SOS 6052 HAS SOPS 5660 HAS SOUS 5545 HAS SOUPS 5263 WITH SCORE 5269.052
AT ITER 23 NEW BEST:: SOT 27778 SOS 6059 HAS SOPS 5651 HAS SOUS 5564 HAS SOUPS 5261 WITH SCORE 5267.059
AT ITER 33 NEW BEST:: SOT 27767 SOS 6058 HAS SOPS 5650 HAS SOUS 5559 HAS SOUPS 5256 WITH SCORE 5262.058
AT ITER 45 NEW BEST:: SOT 27762 SOS 6039 HAS SOPS 5626 HAS SOUS 5548 HAS SOUPS 5239 WITH SCORE 5245.039
AT ITER 79 NEW BEST:: SOT 27759 SOS 6043 HAS SOPS 5624 HAS SOUS 5552 HAS SOUPS 5237 WITH SCORE 5243.043
AT ITER 85 NEW BEST:: SOT 27708 SOS 6044 HAS SOPS 5625 HAS SOUS 5536 HAS SOUPS 5221 WITH SCORE 5227.044
AT ITER 92 NEW BEST:: SOT 27704 SOS 6041 HAS SOPS 5622 HAS SOUS 5533 HAS SOUPS 5218 WITH SCORE 5224.041
AT ITER 105 NEW BEST:: SOT 27707 SOS 6047 HAS SOPS 5619 HAS SOUS 5539 HAS SOUPS 5215 WITH SCORE 5221.047
AT ITER 116 NEW BEST:: SOT 27696 SOS 6039 HAS SOPS 5611 HAS SOUS 5531 HAS SOUPS 5207 WITH SCORE 5213.039
AT ITER 127 NEW BEST:: SOT 27696 SOS 6034 HAS SOPS 5606 HAS SOUS 5526 HAS SOUPS 5202 WITH SCORE 5208.034
AT ITER 148 NEW BEST:: SOT 27678 SOS 6008 HAS SOPS 5562 HAS SOUS 5500 HAS SOUPS 5158 WITH SCORE 5164.008
AT ITER 169 NEW BEST:: SOT 27678 SOS 6008 HAS SOPS 5562 HAS SOUS 5496 HAS SOUPS 5154 WITH SCORE 5160.008
AT ITER 219 NEW BEST:: SOT 27678 SOS 6008 HAS SOPS 5557 HAS SOUS 5496 HAS SOUPS 5149 WITH SCORE 5155.008
AT ITER 257 NEW BEST:: SOT 27671 SOS 6003 HAS SOPS 5541 HAS SOUS 5491 HAS SOUPS 5133 WITH SCORE 5139.003
AT ITER 280 NEW BEST:: SOT 27671 SOS 5989 HAS SOPS 5527 HAS SOUS 5486 HAS SOUPS 5128 WITH SCORE 5133.989
AT ITER 285 NEW BEST:: SOT 27669 SOS 5987 HAS SOPS 5525 HAS SOUS 5484 HAS SOUPS 5126 WITH SCORE 5131.987
AT ITER 305 NEW BEST:: SOT 27669 SOS 5989 HAS SOPS 5527 HAS SOUS 5477 HAS SOUPS 5119 WITH SCORE 5124.989
AT ITER 308 NEW BEST:: SOT 27669 SOS 5979 HAS SOPS 5517 HAS SOUS 5467 HAS SOUPS 5109 WITH SCORE 5114.979
AT ITER 310 NEW BEST:: SOT 27669 SOS 5915 HAS SOPS 5453 HAS SOUS 5449 HAS SOUPS 5091 WITH SCORE 5096.915
AT ITER 326 NEW BEST:: SOT 27650 SOS 5925 HAS SOPS 5432 HAS SOUS 5461 HAS SOUPS 5073 WITH SCORE 5078.925
AT ITER 403 NEW BEST:: SOT 27642 SOS 5908 HAS SOPS 5415 HAS SOUS 5444 HAS SOUPS 5056 WITH SCORE 5061.908
AT ITER 422 NEW BEST:: SOT 27633 SOS 5897 HAS SOPS 5395 HAS SOUS 5424 HAS SOUPS 5036 WITH SCORE 5041.897
AT ITER 433 NEW BEST:: SOT 27629 SOS 5889 HAS SOPS 5387 HAS SOUS 5416 HAS SOUPS 5028 WITH SCORE 5033.889
AT ITER 437 NEW BEST:: SOT 27629 SOS 5881 HAS SOPS 5379 HAS SOUS 5416 HAS SOUPS 5028 WITH SCORE 5033.881
AT ITER 450 NEW BEST:: SOT 27629 SOS 5856 HAS SOPS 5383 HAS SOUS 5404 HAS SOUPS 5024 WITH SCORE 5029.856
AT ITER 451 NEW BEST:: SOT 27625 SOS 5850 HAS SOPS 5374 HAS SOUS 5396 HAS SOUPS 5016 WITH SCORE 5021.85
AT ITER 459 NEW BEST:: SOT 27609 SOS 5820 HAS SOPS 5348 HAS SOUS 5373 HAS SOUPS 4994 WITH SCORE 4999.82
AT ITER 495 NEW BEST:: SOT 27599 SOS 5815 HAS SOPS 5339 HAS SOUS 5368 HAS SOUPS 4985 WITH SCORE 4990.815
AT ITER 509 NEW BEST:: SOT 27599 SOS 5825 HAS SOPS 5335 HAS SOUS 5374 HAS SOUPS 4977 WITH SCORE 4982.825
AT ITER 538 NEW BEST:: SOT 27565 SOS 5828 HAS SOPS 5338 HAS SOUS 5351 HAS SOUPS 4954 WITH SCORE 4959.828
AT ITER 540 NEW BEST:: SOT 27563 SOS 5826 HAS SOPS 5336 HAS SOUS 5351 HAS SOUPS 4954 WITH SCORE 4959.826
AT ITER 543 NEW BEST:: SOT 27535 SOS 5782 HAS SOPS 5270 HAS SOUS 5285 HAS SOUPS 4888 WITH SCORE 4893.782
AT ITER 557 NEW BEST:: SOT 27533 SOS 5776 HAS SOPS 5262 HAS SOUS 5279 HAS SOUPS 4880 WITH SCORE 4885.776
AT ITER 569 NEW BEST:: SOT 27534 SOS 5780 HAS SOPS 5261 HAS SOUS 5276 HAS SOUPS 4872 WITH SCORE 4877.78
AT ITER 572 NEW BEST:: SOT 27536 SOS 5776 HAS SOPS 5253 HAS SOUS 5272 HAS SOUPS 4864 WITH SCORE 4869.776
AT ITER 605 NEW BEST:: SOT 27529 SOS 5762 HAS SOPS 5232 HAS SOUS 5258 HAS SOUPS 4843 WITH SCORE 4848.762
AT ITER 684 NEW BEST:: SOT 27514 SOS 5757 HAS SOPS 5227 HAS SOUS 5253 HAS SOUPS 4838 WITH SCORE 4843.757
AT ITER 690 NEW BEST:: SOT 27482 SOS 5725 HAS SOPS 5199 HAS SOUS 5221 HAS SOUPS 4810 WITH SCORE 4815.725
AT ITER 691 NEW BEST:: SOT 27470 SOS 5711 HAS SOPS 5173 HAS SOUS 5195 HAS SOUPS 4784 WITH SCORE 4789.711
AT ITER 692 NEW BEST:: SOT 27466 SOS 5701 HAS SOPS 5165 HAS SOUS 5185 HAS SOUPS 4776 WITH SCORE 4781.701
AT ITER 720 NEW BEST:: SOT 27461 SOS 5685 HAS SOPS 5155 HAS SOUS 5169 HAS SOUPS 4766 WITH SCORE 4771.685
AT ITER 729 NEW BEST:: SOT 27462 SOS 5680 HAS SOPS 5145 HAS SOUS 5163 HAS SOUPS 4755 WITH SCORE 4760.68
AT ITER 744 NEW BEST:: SOT 27462 SOS 5673 HAS SOPS 5138 HAS SOUS 5156 HAS SOUPS 4748 WITH SCORE 4753.673
AT ITER 750 NEW BEST:: SOT 27462 SOS 5671 HAS SOPS 5136 HAS SOUS 5150 HAS SOUPS 4742 WITH SCORE 4747.671
AT ITER 765 NEW BEST:: SOT 27462 SOS 5668 HAS SOPS 5133 HAS SOUS 5147 HAS SOUPS 4739 WITH SCORE 4744.668
AT ITER 835 NEW BEST:: SOT 27461 SOS 5685 HAS SOPS 5150 HAS SOUS 5145 HAS SOUPS 4737 WITH SCORE 4742.685
AT ITER 858 NEW BEST:: SOT 27472 SOS 5653 HAS SOPS 5175 HAS SOUS 5124 HAS SOUPS 4732 WITH SCORE 4737.653
AT ITER 861 NEW BEST:: SOT 27470 SOS 5651 HAS SOPS 5173 HAS SOUS 5122 HAS SOUPS 4730 WITH SCORE 4735.651
AT ITER 864 NEW BEST:: SOT 27457 SOS 5600 HAS SOPS 5148 HAS SOUS 5071 HAS SOUPS 4705 WITH SCORE 4710.6
AT ITER 884 NEW BEST:: SOT 27440 SOS 5578 HAS SOPS 5134 HAS SOUS 5049 HAS SOUPS 4691 WITH SCORE 4696.578
AT ITER 899 NEW BEST:: SOT 27438 SOS 5580 HAS SOPS 5132 HAS SOUS 5049 HAS SOUPS 4689 WITH SCORE 4694.58
AT ITER 906 NEW BEST:: SOT 27438 SOS 5579 HAS SOPS 5131 HAS SOUS 5048 HAS SOUPS 4688 WITH SCORE 4693.579
AT ITER 919 NEW BEST:: SOT 27421 SOS 5562 HAS SOPS 5114 HAS SOUS 5031 HAS SOUPS 4671 WITH SCORE 4676.562
AT ITER 923 NEW BEST:: SOT 27421 SOS 5554 HAS SOPS 5106 HAS SOUS 5033 HAS SOUPS 4671 WITH SCORE 4676.554
AT ITER 934 NEW BEST:: SOT 27413 SOS 5540 HAS SOPS 5078 HAS SOUS 5019 HAS SOUPS 4643 WITH SCORE 4648.54
AT ITER 941 NEW BEST:: SOT 27408 SOS 5540 HAS SOPS 5072 HAS SOUS 5019 HAS SOUPS 4637 WITH SCORE 4642.54
AT ITER 946 NEW BEST:: SOT 27391 SOS 5517 HAS SOPS 5038 HAS SOUS 4985 HAS SOUPS 4603 WITH SCORE 4608.517
AT ITER 970 NEW BEST:: SOT 27391 SOS 5470 HAS SOPS 5005 HAS SOUS 4968 HAS SOUPS 4600 WITH SCORE 4605.47
AT ITER 1027 NEW BEST:: SOT 27387 SOS 5466 HAS SOPS 5000 HAS SOUS 4964 HAS SOUPS 4595 WITH SCORE 4600.466
AT ITER 1037 NEW BEST:: SOT 27384 SOS 5466 HAS SOPS 4992 HAS SOUS 4964 HAS SOUPS 4587 WITH SCORE 4592.466
AT ITER 1097 NEW BEST:: SOT 27384 SOS 5440 HAS SOPS 4966 HAS SOUS 4960 HAS SOUPS 4583 WITH SCORE 4588.44
AT ITER 1110 NEW BEST:: SOT 27386 SOS 5438 HAS SOPS 4964 HAS SOUS 4958 HAS SOUPS 4581 WITH SCORE 4586.438
AT ITER 1169 NEW BEST:: SOT 27388 SOS 5430 HAS SOPS 4956 HAS SOUS 4952 HAS SOUPS 4575 WITH SCORE 4580.43
AT ITER 1198 NEW BEST:: SOT 27382 SOS 5420 HAS SOPS 4940 HAS SOUS 4936 HAS SOUPS 4559 WITH SCORE 4564.42
AT ITER 1207 NEW BEST:: SOT 27378 SOS 5416 HAS SOPS 4936 HAS SOUS 4932 HAS SOUPS 4555 WITH SCORE 4560.416
AT ITER 1211 NEW BEST:: SOT 27379 SOS 5427 HAS SOPS 4947 HAS SOUS 4913 HAS SOUPS 4536 WITH SCORE 4541.427
AT ITER 1272 NEW BEST:: SOT 27380 SOS 5428 HAS SOPS 4945 HAS SOUS 4912 HAS SOUPS 4533 WITH SCORE 4538.428
AT ITER 1283 NEW BEST:: SOT 27372 SOS 5415 HAS SOPS 4925 HAS SOUS 4891 HAS SOUPS 4512 WITH SCORE 4517.415
AT ITER 1292 NEW BEST:: SOT 27361 SOS 5398 HAS SOPS 4922 HAS SOUS 4874 HAS SOUPS 4509 WITH SCORE 4514.398
AT ITER 1295 NEW BEST:: SOT 27357 SOS 5394 HAS SOPS 4918 HAS SOUS 4870 HAS SOUPS 4505 WITH SCORE 4510.394
AT ITER 1308 NEW BEST:: SOT 27357 SOS 5432 HAS SOPS 4947 HAS SOUS 4869 HAS SOUPS 4504 WITH SCORE 4509.432
AT ITER 1361 NEW BEST:: SOT 27353 SOS 5422 HAS SOPS 4922 HAS SOUS 4865 HAS SOUPS 4495 WITH SCORE 4500.422
AT ITER 1364 NEW BEST:: SOT 27353 SOS 5421 HAS SOPS 4922 HAS SOUS 4864 HAS SOUPS 4495 WITH SCORE 4500.421
AT ITER 1377 NEW BEST:: SOT 27353 SOS 5418 HAS SOPS 4919 HAS SOUS 4861 HAS SOUPS 4492 WITH SCORE 4497.418
AT ITER 1395 NEW BEST:: SOT 27342 SOS 5406 HAS SOPS 4907 HAS SOUS 4857 HAS SOUPS 4488 WITH SCORE 4493.406
AT ITER 1436 NEW BEST:: SOT 27341 SOS 5443 HAS SOPS 4973 HAS SOUS 4847 HAS SOUPS 4483 WITH SCORE 4488.443
AT ITER 1441 NEW BEST:: SOT 27338 SOS 5430 HAS SOPS 4960 HAS SOUS 4836 HAS SOUPS 4472 WITH SCORE 4477.43
AT ITER 1480 NEW BEST:: SOT 27328 SOS 5420 HAS SOPS 4940 HAS SOUS 4825 HAS SOUPS 4452 WITH SCORE 4457.42
AT ITER 1502 NEW BEST:: SOT 27318 SOS 5422 HAS SOPS 4942 HAS SOUS 4822 HAS SOUPS 4449 WITH SCORE 4454.422
AT ITER 1506 NEW BEST:: SOT 27340 SOS 5409 HAS SOPS 4946 HAS SOUS 4772 HAS SOUPS 4400 WITH SCORE 4405.409
AT ITER 1508 NEW BEST:: SOT 27425 SOS 5402 HAS SOPS 4950 HAS SOUS 4727 HAS SOUPS 4358 WITH SCORE 4363.402
AT ITER 1551 NEW BEST:: SOT 27363 SOS 5340 HAS SOPS 4880 HAS SOUS 4657 HAS SOUPS 4288 WITH SCORE 4293.34
AT ITER 1571 NEW BEST:: SOT 27357 SOS 5330 HAS SOPS 4870 HAS SOUS 4653 HAS SOUPS 4284 WITH SCORE 4289.33
AT ITER 1585 NEW BEST:: SOT 27376 SOS 5107 HAS SOPS 4722 HAS SOUS 4553 HAS SOUPS 4213 WITH SCORE 4218.107
AT ITER 1604 NEW BEST:: SOT 27358 SOS 5088 HAS SOPS 4706 HAS SOUS 4531 HAS SOUPS 4194 WITH SCORE 4199.088
AT ITER 1607 NEW BEST:: SOT 27354 SOS 5069 HAS SOPS 4687 HAS SOUS 4526 HAS SOUPS 4189 WITH SCORE 4194.069
AT ITER 1638 NEW BEST:: SOT 27353 SOS 5072 HAS SOPS 4683 HAS SOUS 4529 HAS SOUPS 4185 WITH SCORE 4190.072
AT ITER 1691 NEW BEST:: SOT 27353 SOS 5072 HAS SOPS 4674 HAS SOUS 4535 HAS SOUPS 4182 WITH SCORE 4187.072
AT ITER 1692 NEW BEST:: SOT 27351 SOS 5070 HAS SOPS 4672 HAS SOUS 4533 HAS SOUPS 4180 WITH SCORE 4185.07
AT ITER 1726 NEW BEST:: SOT 27339 SOS 5050 HAS SOPS 4658 HAS SOUS 4513 HAS SOUPS 4166 WITH SCORE 4171.05
AT ITER 1752 NEW BEST:: SOT 27341 SOS 5052 HAS SOPS 4660 HAS SOUS 4512 HAS SOUPS 4165 WITH SCORE 4170.052
AT ITER 1766 NEW BEST:: SOT 27329 SOS 5044 HAS SOPS 4652 HAS SOUS 4502 HAS SOUPS 4155 WITH SCORE 4160.044
AT ITER 1777 NEW BEST:: SOT 27329 SOS 5044 HAS SOPS 4652 HAS SOUS 4501 HAS SOUPS 4154 WITH SCORE 4159.044
AT ITER 1819 NEW BEST:: SOT 27323 SOS 5032 HAS SOPS 4640 HAS SOUS 4489 HAS SOUPS 4142 WITH SCORE 4147.032
AT ITER 1822 NEW BEST:: SOT 27322 SOS 5031 HAS SOPS 4639 HAS SOUS 4488 HAS SOUPS 4141 WITH SCORE 4146.031
AT ITER 1927 NEW BEST:: SOT 27322 SOS 5029 HAS SOPS 4633 HAS SOUS 4486 HAS SOUPS 4135 WITH SCORE 4140.029
AT ITER 1942 NEW BEST:: SOT 27320 SOS 5027 HAS SOPS 4629 HAS SOUS 4484 HAS SOUPS 4131 WITH SCORE 4136.027
AT ITER 1994 NEW BEST:: SOT 27310 SOS 5017 HAS SOPS 4619 HAS SOUS 4474 HAS SOUPS 4121 WITH SCORE 4126.017
AT ITER 2039 NEW BEST:: SOT 27305 SOS 5007 HAS SOPS 4609 HAS SOUS 4464 HAS SOUPS 4111 WITH SCORE 4116.007
AT ITER 2110 NEW BEST:: SOT 27304 SOS 5005 HAS SOPS 4607 HAS SOUS 4462 HAS SOUPS 4109 WITH SCORE 4114.005
AT ITER 2189 NEW BEST:: SOT 27305 SOS 5015 HAS SOPS 4610 HAS SOUS 4465 HAS SOUPS 4106 WITH SCORE 4111.015
AT ITER 2225 NEW BEST:: SOT 27305 SOS 5003 HAS SOPS 4598 HAS SOUS 4453 HAS SOUPS 4094 WITH SCORE 4099.003
AT ITER 2290 NEW BEST:: SOT 27292 SOS 5017 HAS SOPS 4612 HAS SOUS 4438 HAS SOUPS 4079 WITH SCORE 4084.017
AT ITER 2335 NEW BEST:: SOT 27286 SOS 4993 HAS SOPS 4588 HAS SOUS 4426 HAS SOUPS 4067 WITH SCORE 4071.993
AT ITER 2340 NEW BEST:: SOT 27281 SOS 4983 HAS SOPS 4578 HAS SOUS 4416 HAS SOUPS 4057 WITH SCORE 4061.983
AT ITER 2358 NEW BEST:: SOT 27281 SOS 4980 HAS SOPS 4578 HAS SOUS 4413 HAS SOUPS 4057 WITH SCORE 4061.98
AT ITER 2364 NEW BEST:: SOT 27281 SOS 4973 HAS SOPS 4576 HAS SOUS 4406 HAS SOUPS 4055 WITH SCORE 4059.973
AT ITER 2385 NEW BEST:: SOT 27274 SOS 4955 HAS SOPS 4558 HAS SOUS 4390 HAS SOUPS 4039 WITH SCORE 4043.955
AT ITER 2434 NEW BEST:: SOT 27269 SOS 4952 HAS SOPS 4550 HAS SOUS 4393 HAS SOUPS 4037 WITH SCORE 4041.952
AT ITER 2472 NEW BEST:: SOT 27267 SOS 4948 HAS SOPS 4546 HAS SOUS 4389 HAS SOUPS 4033 WITH SCORE 4037.948
AT ITER 2517 NEW BEST:: SOT 27232 SOS 4958 HAS SOPS 4538 HAS SOUS 4389 HAS SOUPS 4015 WITH SCORE 4019.958
AT ITER 2518 NEW BEST:: SOT 27232 SOS 4962 HAS SOPS 4542 HAS SOUS 4385 HAS SOUPS 4013 WITH SCORE 4017.962
AT ITER 2533 NEW BEST:: SOT 27228 SOS 4918 HAS SOPS 4498 HAS SOUS 4377 HAS SOUPS 4005 WITH SCORE 4009.918
AT ITER 2539 NEW BEST:: SOT 27225 SOS 4915 HAS SOPS 4492 HAS SOUS 4374 HAS SOUPS 3999 WITH SCORE 4003.915
AT ITER 2543 NEW BEST:: SOT 27225 SOS 4915 HAS SOPS 4490 HAS SOUS 4374 HAS SOUPS 3997 WITH SCORE 4001.915
AT ITER 2555 NEW BEST:: SOT 27225 SOS 4912 HAS SOPS 4487 HAS SOUS 4374 HAS SOUPS 3997 WITH SCORE 4001.912
AT ITER 2576 NEW BEST:: SOT 27220 SOS 4873 HAS SOPS 4450 HAS SOUS 4360 HAS SOUPS 3983 WITH SCORE 3987.873
AT ITER 2578 NEW BEST:: SOT 27216 SOS 4857 HAS SOPS 4438 HAS SOUS 4344 HAS SOUPS 3971 WITH SCORE 3975.857
AT ITER 2600 NEW BEST:: SOT 27208 SOS 4853 HAS SOPS 4434 HAS SOUS 4338 HAS SOUPS 3964 WITH SCORE 3968.853
AT ITER 2624 NEW BEST:: SOT 27201 SOS 4838 HAS SOPS 4419 HAS SOUS 4327 HAS SOUPS 3955 WITH SCORE 3959.838
AT ITER 2638 NEW BEST:: SOT 27193 SOS 4798 HAS SOPS 4379 HAS SOUS 4287 HAS SOUPS 3915 WITH SCORE 3919.798
AT ITER 2666 NEW BEST:: SOT 27194 SOS 4799 HAS SOPS 4378 HAS SOUS 4288 HAS SOUPS 3914 WITH SCORE 3918.799
AT ITER 2673 NEW BEST:: SOT 27193 SOS 4783 HAS SOPS 4362 HAS SOUS 4272 HAS SOUPS 3898 WITH SCORE 3902.783
AT ITER 2698 NEW BEST:: SOT 27173 SOS 4775 HAS SOPS 4354 HAS SOUS 4256 HAS SOUPS 3882 WITH SCORE 3886.775
AT ITER 2748 NEW BEST:: SOT 27174 SOS 4771 HAS SOPS 4350 HAS SOUS 4245 HAS SOUPS 3871 WITH SCORE 3875.771
AT ITER 2765 NEW BEST:: SOT 27162 SOS 4758 HAS SOPS 4337 HAS SOUS 4238 HAS SOUPS 3864 WITH SCORE 3868.758
AT ITER 2803 NEW BEST:: SOT 27161 SOS 4756 HAS SOPS 4335 HAS SOUS 4237 HAS SOUPS 3863 WITH SCORE 3867.756
AT ITER 2809 NEW BEST:: SOT 27161 SOS 4754 HAS SOPS 4333 HAS SOUS 4235 HAS SOUPS 3861 WITH SCORE 3865.754
AT ITER 2868 NEW BEST:: SOT 27152 SOS 4735 HAS SOPS 4314 HAS SOUS 4214 HAS SOUPS 3840 WITH SCORE 3844.735
AT ITER 2880 NEW BEST:: SOT 27164 SOS 4724 HAS SOPS 4303 HAS SOUS 4211 HAS SOUPS 3837 WITH SCORE 3841.724
AT ITER 2920 NEW BEST:: SOT 27157 SOS 4696 HAS SOPS 4275 HAS SOUS 4197 HAS SOUPS 3823 WITH SCORE 3827.696
AT ITER 2935 NEW BEST:: SOT 27155 SOS 4691 HAS SOPS 4269 HAS SOUS 4191 HAS SOUPS 3817 WITH SCORE 3821.691
AT ITER 2966 NEW BEST:: SOT 27149 SOS 4684 HAS SOPS 4262 HAS SOUS 4188 HAS SOUPS 3814 WITH SCORE 3818.684
AT ITER 3026 NEW BEST:: SOT 27149 SOS 4685 HAS SOPS 4260 HAS SOUS 4189 HAS SOUPS 3812 WITH SCORE 3816.685
AT ITER 3107 NEW BEST:: SOT 27147 SOS 4686 HAS SOPS 4258 HAS SOUS 4190 HAS SOUPS 3810 WITH SCORE 3814.686
AT ITER 3109 NEW BEST:: SOT 27145 SOS 4683 HAS SOPS 4251 HAS SOUS 4186 HAS SOUPS 3803 WITH SCORE 3807.683
AT ITER 3134 NEW BEST:: SOT 27143 SOS 4685 HAS SOPS 4253 HAS SOUS 4184 HAS SOUPS 3801 WITH SCORE 3805.685
AT ITER 3281 NEW BEST:: SOT 27152 SOS 4668 HAS SOPS 4236 HAS SOUS 4180 HAS SOUPS 3790 WITH SCORE 3794.668
AT ITER 3442 NEW BEST:: SOT 27143 SOS 4659 HAS SOPS 4218 HAS SOUS 4171 HAS SOUPS 3772 WITH SCORE 3776.659
AT ITER 3460 NEW BEST:: SOT 27134 SOS 4650 HAS SOPS 4209 HAS SOUS 4155 HAS SOUPS 3756 WITH SCORE 3760.65
AT ITER 3468 NEW BEST:: SOT 27130 SOS 4640 HAS SOPS 4201 HAS SOUS 4145 HAS SOUPS 3748 WITH SCORE 3752.64
AT ITER 3545 NEW BEST:: SOT 27114 SOS 4623 HAS SOPS 4185 HAS SOUS 4128 HAS SOUPS 3732 WITH SCORE 3736.623
AT ITER 3616 NEW BEST:: SOT 27111 SOS 4620 HAS SOPS 4182 HAS SOUS 4125 HAS SOUPS 3729 WITH SCORE 3733.62
AT ITER 3700 NEW BEST:: SOT 27111 SOS 4570 HAS SOPS 4132 HAS SOUS 4121 HAS SOUPS 3725 WITH SCORE 3729.57
AT ITER 3744 NEW BEST:: SOT 27107 SOS 4558 HAS SOPS 4130 HAS SOUS 4109 HAS SOUPS 3723 WITH SCORE 3727.558
AT ITER 3785 NEW BEST:: SOT 27097 SOS 4546 HAS SOPS 4118 HAS SOUS 4097 HAS SOUPS 3711 WITH SCORE 3715.546
AT ITER 3849 NEW BEST:: SOT 27093 SOS 4542 HAS SOPS 4115 HAS SOUS 4093 HAS SOUPS 3708 WITH SCORE 3712.542
AT ITER 3867 NEW BEST:: SOT 27093 SOS 4541 HAS SOPS 4115 HAS SOUS 4092 HAS SOUPS 3708 WITH SCORE 3712.541
AT ITER 4116 NEW BEST:: SOT 27093 SOS 4530 HAS SOPS 4104 HAS SOUS 4092 HAS SOUPS 3708 WITH SCORE 3712.53
AT ITER 4130 NEW BEST:: SOT 27093 SOS 4529 HAS SOPS 4103 HAS SOUS 4091 HAS SOUPS 3707 WITH SCORE 3711.529
AT ITER 4160 NEW BEST:: SOT 27093 SOS 4529 HAS SOPS 4101 HAS SOUS 4091 HAS SOUPS 3705 WITH SCORE 3709.529
AT ITER 4210 NEW BEST:: SOT 26993 SOS 4705 HAS SOPS 4291 HAS SOUS 4008 HAS SOUPS 3636 WITH SCORE 3640.705
AT ITER 4218 NEW BEST:: SOT 26983 SOS 4692 HAS SOPS 4290 HAS SOUS 3993 HAS SOUPS 3633 WITH SCORE 3637.692
AT ITER 4248 NEW BEST:: SOT 26982 SOS 4691 HAS SOPS 4289 HAS SOUS 3991 HAS SOUPS 3631 WITH SCORE 3635.691
AT ITER 4264 NEW BEST:: SOT 26981 SOS 4690 HAS SOPS 4288 HAS SOUS 3990 HAS SOUPS 3630 WITH SCORE 3634.69
AT ITER 4271 NEW BEST:: SOT 26981 SOS 4693 HAS SOPS 4295 HAS SOUS 3985 HAS SOUPS 3629 WITH SCORE 3633.693
AT ITER 4285 NEW BEST:: SOT 26946 SOS 4696 HAS SOPS 4244 HAS SOUS 3965 HAS SOUPS 3603 WITH SCORE 3607.696
AT ITER 4334 NEW BEST:: SOT 26946 SOS 4695 HAS SOPS 4243 HAS SOUS 3964 HAS SOUPS 3602 WITH SCORE 3606.695
AT ITER 4356 NEW BEST:: SOT 26946 SOS 4698 HAS SOPS 4240 HAS SOUS 3967 HAS SOUPS 3599 WITH SCORE 3603.698
AT ITER 4397 NEW BEST:: SOT 26942 SOS 4703 HAS SOPS 4245 HAS SOUS 3959 HAS SOUPS 3591 WITH SCORE 3595.703
AT ITER 4404 NEW BEST:: SOT 26940 SOS 4699 HAS SOPS 4241 HAS SOUS 3955 HAS SOUPS 3587 WITH SCORE 3591.699
AT ITER 4412 NEW BEST:: SOT 26952 SOS 4701 HAS SOPS 4233 HAS SOUS 3945 HAS SOUPS 3577 WITH SCORE 3581.701
AT ITER 4453 NEW BEST:: SOT 26952 SOS 4688 HAS SOPS 4207 HAS SOUS 3950 HAS SOUPS 3569 WITH SCORE 3573.688
AT ITER 4511 NEW BEST:: SOT 26951 SOS 4682 HAS SOPS 4203 HAS SOUS 3947 HAS SOUPS 3567 WITH SCORE 3571.682
AT ITER 4521 NEW BEST:: SOT 26950 SOS 4680 HAS SOPS 4202 HAS SOUS 3945 HAS SOUPS 3566 WITH SCORE 3570.68
AT ITER 4544 NEW BEST:: SOT 26949 SOS 4676 HAS SOPS 4198 HAS SOUS 3941 HAS SOUPS 3562 WITH SCORE 3566.676
AT ITER 4616 NEW BEST:: SOT 26949 SOS 4647 HAS SOPS 4169 HAS SOUS 3932 HAS SOUPS 3553 WITH SCORE 3557.647
AT ITER 4633 NEW BEST:: SOT 26947 SOS 4643 HAS SOPS 4168 HAS SOUS 3928 HAS SOUPS 3552 WITH SCORE 3556.643
AT ITER 4766 NEW BEST:: SOT 26947 SOS 4618 HAS SOPS 4143 HAS SOUS 3924 HAS SOUPS 3548 WITH SCORE 3552.618
AT ITER 4780 NEW BEST:: SOT 26953 SOS 4606 HAS SOPS 4131 HAS SOUS 3924 HAS SOUPS 3548 WITH SCORE 3552.606
AT ITER 4820 NEW BEST:: SOT 26953 SOS 4604 HAS SOPS 4129 HAS SOUS 3924 HAS SOUPS 3548 WITH SCORE 3552.604
AT ITER 4821 NEW BEST:: SOT 26943 SOS 4588 HAS SOPS 4123 HAS SOUS 3908 HAS SOUPS 3542 WITH SCORE 3546.588
AT ITER 4822 NEW BEST:: SOT 26935 SOS 4584 HAS SOPS 4127 HAS SOUS 3884 HAS SOUPS 3526 WITH SCORE 3530.584
AT ITER 4891 NEW BEST:: SOT 26927 SOS 4576 HAS SOPS 4109 HAS SOUS 3878 HAS SOUPS 3510 WITH SCORE 3514.576
AT ITER 4905 NEW BEST:: SOT 26926 SOS 4575 HAS SOPS 4108 HAS SOUS 3877 HAS SOUPS 3509 WITH SCORE 3513.575
AT ITER 4911 NEW BEST:: SOT 26928 SOS 4574 HAS SOPS 4107 HAS SOUS 3876 HAS SOUPS 3508 WITH SCORE 3512.574
AT ITER 4996 NEW BEST:: SOT 26928 SOS 4561 HAS SOPS 4107 HAS SOUS 3863 HAS SOUPS 3508 WITH SCORE 3512.561
AT ITER 5032 NEW BEST:: SOT 26928 SOS 4561 HAS SOPS 4107 HAS SOUS 3861 HAS SOUPS 3506 WITH SCORE 3510.561
AT ITER 5042 NEW BEST:: SOT 26927 SOS 4559 HAS SOPS 4105 HAS SOUS 3859 HAS SOUPS 3504 WITH SCORE 3508.559
AT ITER 5228 NEW BEST:: SOT 26919 SOS 4557 HAS SOPS 4103 HAS SOUS 3854 HAS SOUPS 3499 WITH SCORE 3503.557
AT ITER 5266 NEW BEST:: SOT 26914 SOS 4553 HAS SOPS 4099 HAS SOUS 3844 HAS SOUPS 3489 WITH SCORE 3493.553
AT ITER 5270 NEW BEST:: SOT 26908 SOS 4549 HAS SOPS 4098 HAS SOUS 3840 HAS SOUPS 3488 WITH SCORE 3492.549
AT ITER 5284 NEW BEST:: SOT 26905 SOS 4556 HAS SOPS 4109 HAS SOUS 3829 HAS SOUPS 3481 WITH SCORE 3485.556
AT ITER 5353 NEW BEST:: SOT 26900 SOS 4549 HAS SOPS 4088 HAS SOUS 3816 HAS SOUPS 3468 WITH SCORE 3472.549
AT ITER 5401 NEW BEST:: SOT 26893 SOS 4542 HAS SOPS 4081 HAS SOUS 3809 HAS SOUPS 3461 WITH SCORE 3465.542
AT ITER 5412 NEW BEST:: SOT 26883 SOS 4532 HAS SOPS 4066 HAS SOUS 3794 HAS SOUPS 3446 WITH SCORE 3450.532
AT ITER 5502 NEW BEST:: SOT 26884 SOS 4536 HAS SOPS 4062 HAS SOUS 3793 HAS SOUPS 3442 WITH SCORE 3446.536
AT ITER 5540 NEW BEST:: SOT 26884 SOS 4532 HAS SOPS 4058 HAS SOUS 3792 HAS SOUPS 3441 WITH SCORE 3445.532
AT ITER 5576 NEW BEST:: SOT 26882 SOS 4530 HAS SOPS 4054 HAS SOUS 3790 HAS SOUPS 3437 WITH SCORE 3441.53
AT ITER 5614 NEW BEST:: SOT 26880 SOS 4527 HAS SOPS 4051 HAS SOUS 3787 HAS SOUPS 3434 WITH SCORE 3438.527
AT ITER 5690 NEW BEST:: SOT 26880 SOS 4518 HAS SOPS 4039 HAS SOUS 3790 HAS SOUPS 3434 WITH SCORE 3438.518
AT ITER 5708 NEW BEST:: SOT 26879 SOS 4516 HAS SOPS 4038 HAS SOUS 3786 HAS SOUPS 3431 WITH SCORE 3435.516
AT ITER 5813 NEW BEST:: SOT 26876 SOS 4513 HAS SOPS 4032 HAS SOUS 3781 HAS SOUPS 3423 WITH SCORE 3427.513
AT ITER 5884 NEW BEST:: SOT 26873 SOS 4509 HAS SOPS 4028 HAS SOUS 3773 HAS SOUPS 3415 WITH SCORE 3419.509
AT ITER 5964 NEW BEST:: SOT 26877 SOS 4504 HAS SOPS 4014 HAS SOUS 3761 HAS SOUPS 3400 WITH SCORE 3404.504
AT ITER 6000 NEW BEST:: SOT 26875 SOS 4502 HAS SOPS 4012 HAS SOUS 3760 HAS SOUPS 3391 WITH SCORE 3395.502
AT ITER 6038 NEW BEST:: SOT 26874 SOS 4501 HAS SOPS 4011 HAS SOUS 3759 HAS SOUPS 3390 WITH SCORE 3394.501
AT ITER 6114 NEW BEST:: SOT 26874 SOS 4501 HAS SOPS 4011 HAS SOUS 3758 HAS SOUPS 3389 WITH SCORE 3393.501
AT ITER 6231 NEW BEST:: SOT 26872 SOS 4499 HAS SOPS 4009 HAS SOUS 3756 HAS SOUPS 3387 WITH SCORE 3391.499
AT ITER 6290 NEW BEST:: SOT 26863 SOS 4489 HAS SOPS 3999 HAS SOUS 3746 HAS SOUPS 3377 WITH SCORE 3381.489
AT ITER 6341 NEW BEST:: SOT 26863 SOS 4488 HAS SOPS 3998 HAS SOUS 3745 HAS SOUPS 3376 WITH SCORE 3380.488
AT ITER 6716 NEW BEST:: SOT 26863 SOS 4486 HAS SOPS 3997 HAS SOUS 3745 HAS SOUPS 3376 WITH SCORE 3380.486
AT ITER 6731 NEW BEST:: SOT 26862 SOS 4484 HAS SOPS 3995 HAS SOUS 3743 HAS SOUPS 3374 WITH SCORE 3378.484
AT ITER 6739 NEW BEST:: SOT 26860 SOS 4482 HAS SOPS 3994 HAS SOUS 3742 HAS SOUPS 3373 WITH SCORE 3377.482
AT ITER 6765 NEW BEST:: SOT 26855 SOS 4472 HAS SOPS 3986 HAS SOUS 3732 HAS SOUPS 3365 WITH SCORE 3369.472
AT ITER 6790 NEW BEST:: SOT 26855 SOS 4470 HAS SOPS 3981 HAS SOUS 3730 HAS SOUPS 3360 WITH SCORE 3364.47
AT ITER 6838 NEW BEST:: SOT 26852 SOS 4466 HAS SOPS 3976 HAS SOUS 3726 HAS SOUPS 3355 WITH SCORE 3359.466
AT ITER 6977 NEW BEST:: SOT 26856 SOS 4468 HAS SOPS 3970 HAS SOUS 3728 HAS SOUPS 3349 WITH SCORE 3353.468
AT ITER 7035 NEW BEST:: SOT 26856 SOS 4470 HAS SOPS 3968 HAS SOUS 3730 HAS SOUPS 3347 WITH SCORE 3351.47
AT ITER 7054 NEW BEST:: SOT 26853 SOS 4467 HAS SOPS 3965 HAS SOUS 3721 HAS SOUPS 3338 WITH SCORE 3342.467
AT ITER 7152 NEW BEST:: SOT 26850 SOS 4464 HAS SOPS 3959 HAS SOUS 3718 HAS SOUPS 3332 WITH SCORE 3336.464
AT ITER 7188 NEW BEST:: SOT 26852 SOS 4466 HAS SOPS 3962 HAS SOUS 3715 HAS SOUPS 3330 WITH SCORE 3334.466
AT ITER 7196 NEW BEST:: SOT 26851 SOS 4465 HAS SOPS 3957 HAS SOUS 3714 HAS SOUPS 3325 WITH SCORE 3329.465
AT ITER 7201 NEW BEST:: SOT 26841 SOS 4475 HAS SOPS 3933 HAS SOUS 3699 HAS SOUPS 3309 WITH SCORE 3313.475
AT ITER 7269 NEW BEST:: SOT 26844 SOS 4475 HAS SOPS 3931 HAS SOUS 3699 HAS SOUPS 3307 WITH SCORE 3311.475
AT ITER 7292 NEW BEST:: SOT 26839 SOS 4466 HAS SOPS 3927 HAS SOUS 3694 HAS SOUPS 3307 WITH SCORE 3311.466
AT ITER 7296 NEW BEST:: SOT 26835 SOS 4462 HAS SOPS 3923 HAS SOUS 3690 HAS SOUPS 3303 WITH SCORE 3307.462
AT ITER 7370 NEW BEST:: SOT 26827 SOS 4470 HAS SOPS 3931 HAS SOUS 3684 HAS SOUPS 3297 WITH SCORE 3301.47
AT ITER 7464 NEW BEST:: SOT 26827 SOS 4467 HAS SOPS 3928 HAS SOUS 3681 HAS SOUPS 3294 WITH SCORE 3298.467
AT ITER 7529 NEW BEST:: SOT 26823 SOS 4471 HAS SOPS 3926 HAS SOUS 3685 HAS SOUPS 3292 WITH SCORE 3296.471
AT ITER 7576 NEW BEST:: SOT 26820 SOS 4470 HAS SOPS 3923 HAS SOUS 3674 HAS SOUPS 3281 WITH SCORE 3285.47
AT ITER 7605 NEW BEST:: SOT 26818 SOS 4468 HAS SOPS 3921 HAS SOUS 3672 HAS SOUPS 3279 WITH SCORE 3283.468
AT ITER 7642 NEW BEST:: SOT 26815 SOS 4487 HAS SOPS 3918 HAS SOUS 3668 HAS SOUPS 3272 WITH SCORE 3276.487
AT ITER 7656 NEW BEST:: SOT 26814 SOS 4484 HAS SOPS 3915 HAS SOUS 3665 HAS SOUPS 3269 WITH SCORE 3273.484
AT ITER 7666 NEW BEST:: SOT 26814 SOS 4452 HAS SOPS 3895 HAS SOUS 3665 HAS SOUPS 3269 WITH SCORE 3273.452
AT ITER 7886 NEW BEST:: SOT 26814 SOS 4452 HAS SOPS 3891 HAS SOUS 3665 HAS SOUPS 3265 WITH SCORE 3269.452
AT ITER 7914 NEW BEST:: SOT 26813 SOS 4448 HAS SOPS 3887 HAS SOUS 3664 HAS SOUPS 3264 WITH SCORE 3268.448
AT ITER 7928 NEW BEST:: SOT 26812 SOS 4446 HAS SOPS 3885 HAS SOUS 3662 HAS SOUPS 3262 WITH SCORE 3266.446
AT ITER 7945 NEW BEST:: SOT 26812 SOS 4425 HAS SOPS 3864 HAS SOUS 3652 HAS SOUPS 3252 WITH SCORE 3256.425
AT ITER 8043 NEW BEST:: SOT 26812 SOS 4420 HAS SOPS 3859 HAS SOUS 3647 HAS SOUPS 3247 WITH SCORE 3251.42
AT ITER 8170 NEW BEST:: SOT 26806 SOS 4414 HAS SOPS 3853 HAS SOUS 3641 HAS SOUPS 3241 WITH SCORE 3245.414
AT ITER 8273 NEW BEST:: SOT 26805 SOS 4412 HAS SOPS 3851 HAS SOUS 3639 HAS SOUPS 3239 WITH SCORE 3243.412
AT ITER 8286 NEW BEST:: SOT 26799 SOS 4406 HAS SOPS 3845 HAS SOUS 3621 HAS SOUPS 3221 WITH SCORE 3225.406
AT ITER 8598 NEW BEST:: SOT 26799 SOS 4401 HAS SOPS 3840 HAS SOUS 3619 HAS SOUPS 3219 WITH SCORE 3223.401
AT ITER 8648 NEW BEST:: SOT 26799 SOS 4394 HAS SOPS 3836 HAS SOUS 3617 HAS SOUPS 3217 WITH SCORE 3221.394
AT ITER 8787 NEW BEST:: SOT 26798 SOS 4393 HAS SOPS 3835 HAS SOUS 3616 HAS SOUPS 3216 WITH SCORE 3220.393
AT ITER 9000 NEW BEST:: SOT 26775 SOS 4380 HAS SOPS 3822 HAS SOUS 3603 HAS SOUPS 3203 WITH SCORE 3207.38
AT ITER 9010 NEW BEST:: SOT 26775 SOS 4380 HAS SOPS 3822 HAS SOUS 3601 HAS SOUPS 3201 WITH SCORE 3205.38
AT ITER 9042 NEW BEST:: SOT 26774 SOS 4379 HAS SOPS 3821 HAS SOUS 3600 HAS SOUPS 3200 WITH SCORE 3204.379
AT ITER 9052 NEW BEST:: SOT 26772 SOS 4367 HAS SOPS 3814 HAS SOUS 3588 HAS SOUPS 3193 WITH SCORE 3197.367
AT ITER 9288 NEW BEST:: SOT 26766 SOS 4358 HAS SOPS 3811 HAS SOUS 3579 HAS SOUPS 3190 WITH SCORE 3194.358
AT ITER 9310 NEW BEST:: SOT 26761 SOS 4322 HAS SOPS 3783 HAS SOUS 3543 HAS SOUPS 3162 WITH SCORE 3166.322
AT ITER 9400 NEW BEST:: SOT 26761 SOS 4304 HAS SOPS 3765 HAS SOUS 3537 HAS SOUPS 3156 WITH SCORE 3160.304
AT ITER 9520 NEW BEST:: SOT 26757 SOS 4285 HAS SOPS 3754 HAS SOUS 3518 HAS SOUPS 3145 WITH SCORE 3149.285
AT ITER 9573 NEW BEST:: SOT 26757 SOS 4277 HAS SOPS 3754 HAS SOUS 3510 HAS SOUPS 3145 WITH SCORE 3149.277
AT ITER 9629 NEW BEST:: SOT 26757 SOS 4276 HAS SOPS 3753 HAS SOUS 3509 HAS SOUPS 3144 WITH SCORE 3148.276
AT ITER 9656 NEW BEST:: SOT 26756 SOS 4275 HAS SOPS 3751 HAS SOUS 3508 HAS SOUPS 3142 WITH SCORE 3146.275
AT ITER 9664 NEW BEST:: SOT 26753 SOS 4269 HAS SOPS 3745 HAS SOUS 3502 HAS SOUPS 3136 WITH SCORE 3140.269
AT ITER 9675 NEW BEST:: SOT 26752 SOS 4268 HAS SOPS 3744 HAS SOUS 3501 HAS SOUPS 3135 WITH SCORE 3139.268
AT ITER 9688 NEW BEST:: SOT 26752 SOS 4267 HAS SOPS 3744 HAS SOUS 3500 HAS SOUPS 3135 WITH SCORE 3139.267
AT ITER 9764 NEW BEST:: SOT 26752 SOS 4259 HAS SOPS 3744 HAS SOUS 3492 HAS SOUPS 3135 WITH SCORE 3139.259
AT ITER 9862 NEW BEST:: SOT 26757 SOS 4250 HAS SOPS 3748 HAS SOUS 3471 HAS SOUPS 3127 WITH SCORE 3131.25
AT ITER 9869 NEW BEST:: SOT 26753 SOS 4247 HAS SOPS 3745 HAS SOUS 3469 HAS SOUPS 3125 WITH SCORE 3129.247
STATE_SPACE STATES 1657242 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 36 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6746379 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678771082764

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ParamProductionCell-PT-5"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ParamProductionCell-PT-5, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534500408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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