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-167863534400368.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-0, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534400368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 8.3K Feb 26 17:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 17:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 17:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 17:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 17:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 26 17:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 17:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:29 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 149K 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 1678770518198

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-0
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 0
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: 198 places, 176 transitions, 730 arcs.
AT ITER 0 NEW BEST:: SOT 21244 SOS 5428 HAS SOPS 5092 HAS SOUS 4960 HAS SOUPS 4725 WITH SCORE 4730.428
AT ITER 30 NEW BEST:: SOT 21244 SOS 5420 HAS SOPS 5084 HAS SOUS 4952 HAS SOUPS 4717 WITH SCORE 4722.42
AT ITER 38 NEW BEST:: SOT 21242 SOS 5418 HAS SOPS 5082 HAS SOUS 4950 HAS SOUPS 4715 WITH SCORE 4720.418
AT ITER 41 NEW BEST:: SOT 21240 SOS 5414 HAS SOPS 5078 HAS SOUS 4946 HAS SOUPS 4711 WITH SCORE 4716.414
AT ITER 65 NEW BEST:: SOT 21225 SOS 5384 HAS SOPS 5033 HAS SOUS 4915 HAS SOUPS 4666 WITH SCORE 4671.384
AT ITER 66 NEW BEST:: SOT 21221 SOS 5384 HAS SOPS 5026 HAS SOUS 4915 HAS SOUPS 4659 WITH SCORE 4664.384
AT ITER 71 NEW BEST:: SOT 21224 SOS 5374 HAS SOPS 5019 HAS SOUS 4916 HAS SOUPS 4659 WITH SCORE 4664.374
AT ITER 102 NEW BEST:: SOT 21204 SOS 5344 HAS SOPS 4969 HAS SOUS 4885 HAS SOUPS 4609 WITH SCORE 4614.344
AT ITER 113 NEW BEST:: SOT 21184 SOS 5317 HAS SOPS 4922 HAS SOUS 4856 HAS SOUPS 4562 WITH SCORE 4567.317
AT ITER 119 NEW BEST:: SOT 21184 SOS 5317 HAS SOPS 4921 HAS SOUS 4856 HAS SOUPS 4561 WITH SCORE 4566.317
AT ITER 120 NEW BEST:: SOT 21064 SOS 5242 HAS SOPS 4823 HAS SOUS 4744 HAS SOUPS 4444 WITH SCORE 4449.242
AT ITER 124 NEW BEST:: SOT 21053 SOS 5231 HAS SOPS 4801 HAS SOUS 4733 HAS SOUPS 4422 WITH SCORE 4427.231
AT ITER 138 NEW BEST:: SOT 21046 SOS 5198 HAS SOPS 4768 HAS SOUS 4700 HAS SOUPS 4389 WITH SCORE 4394.198
AT ITER 140 NEW BEST:: SOT 21046 SOS 5194 HAS SOPS 4744 HAS SOUS 4696 HAS SOUPS 4365 WITH SCORE 4370.194
AT ITER 157 NEW BEST:: SOT 21042 SOS 5190 HAS SOPS 4736 HAS SOUS 4692 HAS SOUPS 4357 WITH SCORE 4362.19
AT ITER 193 NEW BEST:: SOT 20977 SOS 5204 HAS SOPS 4750 HAS SOUS 4652 HAS SOUPS 4317 WITH SCORE 4322.204
AT ITER 231 NEW BEST:: SOT 20977 SOS 5204 HAS SOPS 4750 HAS SOUS 4648 HAS SOUPS 4313 WITH SCORE 4318.204
AT ITER 241 NEW BEST:: SOT 20957 SOS 5188 HAS SOPS 4734 HAS SOUS 4632 HAS SOUPS 4297 WITH SCORE 4302.188
AT ITER 257 NEW BEST:: SOT 20957 SOS 5188 HAS SOPS 4734 HAS SOUS 4628 HAS SOUPS 4293 WITH SCORE 4298.188
AT ITER 262 NEW BEST:: SOT 20971 SOS 5178 HAS SOPS 4662 HAS SOUS 4628 HAS SOUPS 4279 WITH SCORE 4284.178
AT ITER 284 NEW BEST:: SOT 20971 SOS 5177 HAS SOPS 4661 HAS SOUS 4627 HAS SOUPS 4278 WITH SCORE 4283.177
AT ITER 291 NEW BEST:: SOT 20937 SOS 5128 HAS SOPS 4590 HAS SOUS 4551 HAS SOUPS 4202 WITH SCORE 4207.128
AT ITER 296 NEW BEST:: SOT 20936 SOS 5130 HAS SOPS 4589 HAS SOUS 4553 HAS SOUPS 4201 WITH SCORE 4206.13
AT ITER 315 NEW BEST:: SOT 20936 SOS 5128 HAS SOPS 4587 HAS SOUS 4551 HAS SOUPS 4199 WITH SCORE 4204.128
AT ITER 350 NEW BEST:: SOT 20927 SOS 5128 HAS SOPS 4587 HAS SOUS 4548 HAS SOUPS 4196 WITH SCORE 4201.128
AT ITER 387 NEW BEST:: SOT 20923 SOS 5130 HAS SOPS 4589 HAS SOUS 4547 HAS SOUPS 4195 WITH SCORE 4200.13
AT ITER 457 NEW BEST:: SOT 20916 SOS 5103 HAS SOPS 4583 HAS SOUS 4527 HAS SOUPS 4182 WITH SCORE 4187.103
AT ITER 477 NEW BEST:: SOT 20921 SOS 5108 HAS SOPS 4570 HAS SOUS 4517 HAS SOUPS 4169 WITH SCORE 4174.108
AT ITER 506 NEW BEST:: SOT 20922 SOS 5052 HAS SOPS 4576 HAS SOUS 4475 HAS SOUPS 4146 WITH SCORE 4151.052
AT ITER 530 NEW BEST:: SOT 20922 SOS 5000 HAS SOPS 4552 HAS SOUS 4438 HAS SOUPS 4116 WITH SCORE 4121.0
AT ITER 535 NEW BEST:: SOT 20912 SOS 5011 HAS SOPS 4553 HAS SOUS 4440 HAS SOUPS 4108 WITH SCORE 4113.011
AT ITER 541 NEW BEST:: SOT 20909 SOS 5008 HAS SOPS 4550 HAS SOUS 4438 HAS SOUPS 4106 WITH SCORE 4111.008
AT ITER 542 NEW BEST:: SOT 20909 SOS 5007 HAS SOPS 4549 HAS SOUS 4438 HAS SOUPS 4106 WITH SCORE 4111.007
AT ITER 551 NEW BEST:: SOT 20905 SOS 5014 HAS SOPS 4546 HAS SOUS 4445 HAS SOUPS 4103 WITH SCORE 4108.014
AT ITER 565 NEW BEST:: SOT 20892 SOS 5003 HAS SOPS 4535 HAS SOUS 4433 HAS SOUPS 4091 WITH SCORE 4096.003
AT ITER 577 NEW BEST:: SOT 20867 SOS 5001 HAS SOPS 4533 HAS SOUS 4417 HAS SOUPS 4075 WITH SCORE 4080.001
AT ITER 588 NEW BEST:: SOT 20868 SOS 4995 HAS SOPS 4527 HAS SOUS 4411 HAS SOUPS 4069 WITH SCORE 4073.995
AT ITER 598 NEW BEST:: SOT 20863 SOS 4990 HAS SOPS 4522 HAS SOUS 4406 HAS SOUPS 4064 WITH SCORE 4068.99
AT ITER 604 NEW BEST:: SOT 20863 SOS 4989 HAS SOPS 4521 HAS SOUS 4402 HAS SOUPS 4060 WITH SCORE 4064.989
AT ITER 644 NEW BEST:: SOT 20856 SOS 4980 HAS SOPS 4505 HAS SOUS 4386 HAS SOUPS 4044 WITH SCORE 4048.98
AT ITER 647 NEW BEST:: SOT 20867 SOS 4939 HAS SOPS 4420 HAS SOUS 4359 HAS SOUPS 4017 WITH SCORE 4021.939
AT ITER 668 NEW BEST:: SOT 20751 SOS 5518 HAS SOPS 4836 HAS SOUS 4319 HAS SOUPS 3951 WITH SCORE 3956.518
AT ITER 704 NEW BEST:: SOT 20750 SOS 5516 HAS SOPS 4829 HAS SOUS 4307 HAS SOUPS 3939 WITH SCORE 3944.516
AT ITER 740 NEW BEST:: SOT 20746 SOS 5510 HAS SOPS 4823 HAS SOUS 4301 HAS SOUPS 3933 WITH SCORE 3938.51
AT ITER 750 NEW BEST:: SOT 20759 SOS 4895 HAS SOPS 4359 HAS SOUS 4299 HAS SOUPS 3931 WITH SCORE 3935.895
AT ITER 754 NEW BEST:: SOT 20761 SOS 4841 HAS SOPS 4341 HAS SOUS 4240 HAS SOUPS 3908 WITH SCORE 3912.841
AT ITER 759 NEW BEST:: SOT 20761 SOS 4841 HAS SOPS 4335 HAS SOUS 4238 HAS SOUPS 3904 WITH SCORE 3908.841
AT ITER 772 NEW BEST:: SOT 20761 SOS 4848 HAS SOPS 4335 HAS SOUS 4244 HAS SOUPS 3903 WITH SCORE 3907.848
AT ITER 856 NEW BEST:: SOT 20729 SOS 4897 HAS SOPS 4367 HAS SOUS 4240 HAS SOUPS 3882 WITH SCORE 3886.897
AT ITER 881 NEW BEST:: SOT 20730 SOS 4880 HAS SOPS 4350 HAS SOUS 4232 HAS SOUPS 3874 WITH SCORE 3878.88
AT ITER 913 NEW BEST:: SOT 20712 SOS 4880 HAS SOPS 4350 HAS SOUS 4196 HAS SOUPS 3838 WITH SCORE 3842.88
AT ITER 926 NEW BEST:: SOT 20703 SOS 4862 HAS SOPS 4341 HAS SOUS 4187 HAS SOUPS 3838 WITH SCORE 3842.862
AT ITER 959 NEW BEST:: SOT 20685 SOS 4849 HAS SOPS 4328 HAS SOUS 4187 HAS SOUPS 3838 WITH SCORE 3842.849
AT ITER 963 NEW BEST:: SOT 20680 SOS 4836 HAS SOPS 4323 HAS SOUS 4174 HAS SOUPS 3833 WITH SCORE 3837.836
AT ITER 976 NEW BEST:: SOT 20686 SOS 4824 HAS SOPS 4311 HAS SOUS 4167 HAS SOUPS 3826 WITH SCORE 3830.824
AT ITER 981 NEW BEST:: SOT 20681 SOS 4806 HAS SOPS 4293 HAS SOUS 4152 HAS SOUPS 3811 WITH SCORE 3815.806
AT ITER 1004 NEW BEST:: SOT 20660 SOS 4770 HAS SOPS 4266 HAS SOUS 4116 HAS SOUPS 3784 WITH SCORE 3788.77
AT ITER 1011 NEW BEST:: SOT 20653 SOS 4767 HAS SOPS 4263 HAS SOUS 4106 HAS SOUPS 3774 WITH SCORE 3778.767
AT ITER 1017 NEW BEST:: SOT 20642 SOS 4756 HAS SOPS 4254 HAS SOUS 4083 HAS SOUPS 3753 WITH SCORE 3757.756
AT ITER 1021 NEW BEST:: SOT 20628 SOS 4754 HAS SOPS 4238 HAS SOUS 4056 HAS SOUPS 3726 WITH SCORE 3730.754
AT ITER 1035 NEW BEST:: SOT 20636 SOS 4742 HAS SOPS 4241 HAS SOUS 4044 HAS SOUPS 3714 WITH SCORE 3718.742
AT ITER 1070 NEW BEST:: SOT 20634 SOS 4740 HAS SOPS 4239 HAS SOUS 4042 HAS SOUPS 3712 WITH SCORE 3716.74
AT ITER 1086 NEW BEST:: SOT 20630 SOS 4730 HAS SOPS 4229 HAS SOUS 4032 HAS SOUPS 3702 WITH SCORE 3706.73
AT ITER 1114 NEW BEST:: SOT 20629 SOS 4742 HAS SOPS 4228 HAS SOUS 4044 HAS SOUPS 3701 WITH SCORE 3705.742
AT ITER 1147 NEW BEST:: SOT 20626 SOS 4739 HAS SOPS 4225 HAS SOUS 4041 HAS SOUPS 3698 WITH SCORE 3702.739
AT ITER 1184 NEW BEST:: SOT 20624 SOS 4735 HAS SOPS 4219 HAS SOUS 4039 HAS SOUPS 3694 WITH SCORE 3698.735
AT ITER 1232 NEW BEST:: SOT 20622 SOS 4731 HAS SOPS 4215 HAS SOUS 4033 HAS SOUPS 3688 WITH SCORE 3692.731
AT ITER 1246 NEW BEST:: SOT 20621 SOS 4730 HAS SOPS 4212 HAS SOUS 4032 HAS SOUPS 3685 WITH SCORE 3689.73
AT ITER 1264 NEW BEST:: SOT 20619 SOS 4728 HAS SOPS 4210 HAS SOUS 4030 HAS SOUPS 3683 WITH SCORE 3687.728
AT ITER 1295 NEW BEST:: SOT 20614 SOS 4715 HAS SOPS 4197 HAS SOUS 4017 HAS SOUPS 3670 WITH SCORE 3674.715
AT ITER 1323 NEW BEST:: SOT 20613 SOS 4714 HAS SOPS 4196 HAS SOUS 4015 HAS SOUPS 3668 WITH SCORE 3672.714
AT ITER 1398 NEW BEST:: SOT 20613 SOS 4714 HAS SOPS 4190 HAS SOUS 4004 HAS SOUPS 3657 WITH SCORE 3661.714
AT ITER 1400 NEW BEST:: SOT 20612 SOS 4711 HAS SOPS 4187 HAS SOUS 4001 HAS SOUPS 3654 WITH SCORE 3658.711
AT ITER 1402 NEW BEST:: SOT 20611 SOS 4706 HAS SOPS 4180 HAS SOUS 3996 HAS SOUPS 3647 WITH SCORE 3651.706
AT ITER 1407 NEW BEST:: SOT 20611 SOS 4697 HAS SOPS 4171 HAS SOUS 3987 HAS SOUPS 3638 WITH SCORE 3642.697
AT ITER 1412 NEW BEST:: SOT 20607 SOS 4693 HAS SOPS 4167 HAS SOUS 3983 HAS SOUPS 3634 WITH SCORE 3638.693
AT ITER 1433 NEW BEST:: SOT 20614 SOS 4700 HAS SOPS 4164 HAS SOUS 3992 HAS SOUPS 3633 WITH SCORE 3637.7
AT ITER 1438 NEW BEST:: SOT 20612 SOS 4696 HAS SOPS 4160 HAS SOUS 3988 HAS SOUPS 3629 WITH SCORE 3633.696
AT ITER 1509 NEW BEST:: SOT 20612 SOS 4698 HAS SOPS 4157 HAS SOUS 3990 HAS SOUPS 3626 WITH SCORE 3630.698
AT ITER 1512 NEW BEST:: SOT 20601 SOS 4686 HAS SOPS 4145 HAS SOUS 3965 HAS SOUPS 3601 WITH SCORE 3605.686
AT ITER 1514 NEW BEST:: SOT 20601 SOS 4686 HAS SOPS 4145 HAS SOUS 3964 HAS SOUPS 3600 WITH SCORE 3604.686
AT ITER 1553 NEW BEST:: SOT 20601 SOS 4682 HAS SOPS 4141 HAS SOUS 3960 HAS SOUPS 3596 WITH SCORE 3600.682
AT ITER 1561 NEW BEST:: SOT 20601 SOS 4680 HAS SOPS 4139 HAS SOUS 3958 HAS SOUPS 3594 WITH SCORE 3598.68
AT ITER 1562 NEW BEST:: SOT 20597 SOS 4676 HAS SOPS 4135 HAS SOUS 3954 HAS SOUPS 3590 WITH SCORE 3594.676
AT ITER 1603 NEW BEST:: SOT 20597 SOS 4627 HAS SOPS 4110 HAS SOUS 3935 HAS SOUPS 3570 WITH SCORE 3574.627
AT ITER 1634 NEW BEST:: SOT 20605 SOS 4607 HAS SOPS 4106 HAS SOUS 3922 HAS SOUPS 3558 WITH SCORE 3562.607
AT ITER 1647 NEW BEST:: SOT 20596 SOS 4598 HAS SOPS 4088 HAS SOUS 3919 HAS SOUPS 3546 WITH SCORE 3550.598
AT ITER 1672 NEW BEST:: SOT 20585 SOS 4594 HAS SOPS 4077 HAS SOUS 3911 HAS SOUPS 3535 WITH SCORE 3539.594
AT ITER 1678 NEW BEST:: SOT 20567 SOS 4596 HAS SOPS 4093 HAS SOUS 3877 HAS SOUPS 3521 WITH SCORE 3525.596
AT ITER 1765 NEW BEST:: SOT 20567 SOS 4559 HAS SOPS 4072 HAS SOUS 3862 HAS SOUPS 3516 WITH SCORE 3520.559
AT ITER 1780 NEW BEST:: SOT 20550 SOS 4550 HAS SOPS 4073 HAS SOUS 3856 HAS SOUPS 3510 WITH SCORE 3514.55
AT ITER 1797 NEW BEST:: SOT 20534 SOS 4517 HAS SOPS 4040 HAS SOUS 3837 HAS SOUPS 3491 WITH SCORE 3495.517
AT ITER 1806 NEW BEST:: SOT 20534 SOS 4508 HAS SOPS 4031 HAS SOUS 3834 HAS SOUPS 3488 WITH SCORE 3492.508
AT ITER 1859 NEW BEST:: SOT 20529 SOS 4503 HAS SOPS 4026 HAS SOUS 3829 HAS SOUPS 3483 WITH SCORE 3487.503
AT ITER 1929 NEW BEST:: SOT 20495 SOS 4545 HAS SOPS 4063 HAS SOUS 3792 HAS SOUPS 3446 WITH SCORE 3450.545
AT ITER 1931 NEW BEST:: SOT 20494 SOS 4531 HAS SOPS 4061 HAS SOUS 3778 HAS SOUPS 3444 WITH SCORE 3448.531
AT ITER 1938 NEW BEST:: SOT 20492 SOS 4528 HAS SOPS 4058 HAS SOUS 3775 HAS SOUPS 3441 WITH SCORE 3445.528
AT ITER 1956 NEW BEST:: SOT 20492 SOS 4520 HAS SOPS 4058 HAS SOUS 3767 HAS SOUPS 3441 WITH SCORE 3445.52
AT ITER 1988 NEW BEST:: SOT 20486 SOS 4516 HAS SOPS 4054 HAS SOUS 3761 HAS SOUPS 3435 WITH SCORE 3439.516
AT ITER 2006 NEW BEST:: SOT 20480 SOS 4511 HAS SOPS 4049 HAS SOUS 3756 HAS SOUPS 3430 WITH SCORE 3434.511
AT ITER 2065 NEW BEST:: SOT 20477 SOS 4505 HAS SOPS 4043 HAS SOUS 3750 HAS SOUPS 3424 WITH SCORE 3428.505
AT ITER 2075 NEW BEST:: SOT 20478 SOS 4545 HAS SOPS 4110 HAS SOUS 3733 HAS SOUPS 3410 WITH SCORE 3414.545
AT ITER 2148 NEW BEST:: SOT 20476 SOS 4543 HAS SOPS 4106 HAS SOUS 3731 HAS SOUPS 3406 WITH SCORE 3410.543
AT ITER 2168 NEW BEST:: SOT 20489 SOS 4541 HAS SOPS 4074 HAS SOUS 3714 HAS SOUPS 3385 WITH SCORE 3389.541
AT ITER 2193 NEW BEST:: SOT 20471 SOS 4523 HAS SOPS 4050 HAS SOUS 3691 HAS SOUPS 3357 WITH SCORE 3361.523
AT ITER 2328 NEW BEST:: SOT 20476 SOS 4522 HAS SOPS 4049 HAS SOUS 3690 HAS SOUPS 3356 WITH SCORE 3360.522
AT ITER 2332 NEW BEST:: SOT 20459 SOS 4509 HAS SOPS 4032 HAS SOUS 3661 HAS SOUPS 3327 WITH SCORE 3331.509
AT ITER 2540 NEW BEST:: SOT 20454 SOS 4489 HAS SOPS 4020 HAS SOUS 3641 HAS SOUPS 3315 WITH SCORE 3319.489
AT ITER 2544 NEW BEST:: SOT 20435 SOS 4487 HAS SOPS 4020 HAS SOUS 3639 HAS SOUPS 3315 WITH SCORE 3319.487
AT ITER 2571 NEW BEST:: SOT 20435 SOS 4482 HAS SOPS 4015 HAS SOUS 3639 HAS SOUPS 3315 WITH SCORE 3319.482
AT ITER 2580 NEW BEST:: SOT 20427 SOS 4457 HAS SOPS 3990 HAS SOUS 3628 HAS SOUPS 3304 WITH SCORE 3308.457
AT ITER 2602 NEW BEST:: SOT 20408 SOS 4471 HAS SOPS 4004 HAS SOUS 3627 HAS SOUPS 3303 WITH SCORE 3307.471
AT ITER 2656 NEW BEST:: SOT 20406 SOS 4469 HAS SOPS 4002 HAS SOUS 3625 HAS SOUPS 3301 WITH SCORE 3305.469
AT ITER 2660 NEW BEST:: SOT 20405 SOS 4467 HAS SOPS 4000 HAS SOUS 3623 HAS SOUPS 3299 WITH SCORE 3303.467
AT ITER 2666 NEW BEST:: SOT 20402 SOS 4458 HAS SOPS 3991 HAS SOUS 3617 HAS SOUPS 3293 WITH SCORE 3297.458
AT ITER 2686 NEW BEST:: SOT 20391 SOS 4442 HAS SOPS 3980 HAS SOUS 3601 HAS SOUPS 3282 WITH SCORE 3286.442
AT ITER 2694 NEW BEST:: SOT 20388 SOS 4439 HAS SOPS 3974 HAS SOUS 3601 HAS SOUPS 3279 WITH SCORE 3283.439
AT ITER 2791 NEW BEST:: SOT 20379 SOS 4429 HAS SOPS 3964 HAS SOUS 3587 HAS SOUPS 3265 WITH SCORE 3269.429
AT ITER 2819 NEW BEST:: SOT 20379 SOS 4420 HAS SOPS 3955 HAS SOUS 3578 HAS SOUPS 3256 WITH SCORE 3260.42
AT ITER 2881 NEW BEST:: SOT 20379 SOS 4419 HAS SOPS 3954 HAS SOUS 3577 HAS SOUPS 3255 WITH SCORE 3259.419
AT ITER 2884 NEW BEST:: SOT 20382 SOS 4422 HAS SOPS 3950 HAS SOUS 3577 HAS SOUPS 3251 WITH SCORE 3255.422
AT ITER 2899 NEW BEST:: SOT 20378 SOS 4418 HAS SOPS 3950 HAS SOUS 3573 HAS SOUPS 3247 WITH SCORE 3251.418
AT ITER 3037 NEW BEST:: SOT 20377 SOS 4419 HAS SOPS 3951 HAS SOUS 3571 HAS SOUPS 3245 WITH SCORE 3249.419
AT ITER 3082 NEW BEST:: SOT 20376 SOS 4418 HAS SOPS 3950 HAS SOUS 3570 HAS SOUPS 3244 WITH SCORE 3248.418
AT ITER 3095 NEW BEST:: SOT 20384 SOS 4392 HAS SOPS 3928 HAS SOUS 3566 HAS SOUPS 3234 WITH SCORE 3238.392
AT ITER 3137 NEW BEST:: SOT 20399 SOS 4375 HAS SOPS 3915 HAS SOUS 3561 HAS SOUPS 3221 WITH SCORE 3225.375
AT ITER 3145 NEW BEST:: SOT 20398 SOS 4340 HAS SOPS 3894 HAS SOUS 3559 HAS SOUPS 3218 WITH SCORE 3222.34
AT ITER 3172 NEW BEST:: SOT 20394 SOS 4332 HAS SOPS 3886 HAS SOUS 3555 HAS SOUPS 3214 WITH SCORE 3218.332
AT ITER 3205 NEW BEST:: SOT 20391 SOS 4329 HAS SOPS 3890 HAS SOUS 3552 HAS SOUPS 3213 WITH SCORE 3217.329
AT ITER 3239 NEW BEST:: SOT 20387 SOS 4322 HAS SOPS 3883 HAS SOUS 3545 HAS SOUPS 3206 WITH SCORE 3210.322
AT ITER 3247 NEW BEST:: SOT 20381 SOS 4319 HAS SOPS 3880 HAS SOUS 3542 HAS SOUPS 3203 WITH SCORE 3207.319
AT ITER 3265 NEW BEST:: SOT 20381 SOS 4307 HAS SOPS 3868 HAS SOUS 3538 HAS SOUPS 3199 WITH SCORE 3203.307
AT ITER 3313 NEW BEST:: SOT 20376 SOS 4281 HAS SOPS 3842 HAS SOUS 3527 HAS SOUPS 3188 WITH SCORE 3192.281
AT ITER 3328 NEW BEST:: SOT 20356 SOS 4257 HAS SOPS 3818 HAS SOUS 3480 HAS SOUPS 3141 WITH SCORE 3145.257
AT ITER 3349 NEW BEST:: SOT 20357 SOS 4251 HAS SOPS 3814 HAS SOUS 3479 HAS SOUPS 3139 WITH SCORE 3143.251
AT ITER 3385 NEW BEST:: SOT 20357 SOS 4249 HAS SOPS 3812 HAS SOUS 3479 HAS SOUPS 3139 WITH SCORE 3143.249
AT ITER 3417 NEW BEST:: SOT 20352 SOS 4240 HAS SOPS 3799 HAS SOUS 3470 HAS SOUPS 3126 WITH SCORE 3130.24
AT ITER 3426 NEW BEST:: SOT 20349 SOS 4218 HAS SOPS 3776 HAS SOUS 3448 HAS SOUPS 3103 WITH SCORE 3107.218
AT ITER 3450 NEW BEST:: SOT 20350 SOS 4219 HAS SOPS 3775 HAS SOUS 3449 HAS SOUPS 3102 WITH SCORE 3106.219
AT ITER 3587 NEW BEST:: SOT 20349 SOS 4216 HAS SOPS 3772 HAS SOUS 3446 HAS SOUPS 3099 WITH SCORE 3103.216
AT ITER 3599 NEW BEST:: SOT 20343 SOS 4204 HAS SOPS 3760 HAS SOUS 3436 HAS SOUPS 3089 WITH SCORE 3093.204
AT ITER 3666 NEW BEST:: SOT 20348 SOS 4195 HAS SOPS 3756 HAS SOUS 3427 HAS SOUPS 3085 WITH SCORE 3089.195
AT ITER 3673 NEW BEST:: SOT 20346 SOS 4192 HAS SOPS 3753 HAS SOUS 3426 HAS SOUPS 3084 WITH SCORE 3088.192
AT ITER 3766 NEW BEST:: SOT 20344 SOS 4190 HAS SOPS 3753 HAS SOUS 3424 HAS SOUPS 3084 WITH SCORE 3088.19
AT ITER 3783 NEW BEST:: SOT 20342 SOS 4188 HAS SOPS 3751 HAS SOUS 3423 HAS SOUPS 3083 WITH SCORE 3087.188
AT ITER 3806 NEW BEST:: SOT 20342 SOS 4185 HAS SOPS 3748 HAS SOUS 3421 HAS SOUPS 3081 WITH SCORE 3085.185
AT ITER 3815 NEW BEST:: SOT 20342 SOS 4179 HAS SOPS 3748 HAS SOUS 3415 HAS SOUPS 3081 WITH SCORE 3085.179
AT ITER 3861 NEW BEST:: SOT 20343 SOS 4163 HAS SOPS 3741 HAS SOUS 3403 HAS SOUPS 3075 WITH SCORE 3079.163
AT ITER 3875 NEW BEST:: SOT 20342 SOS 4154 HAS SOPS 3732 HAS SOUS 3394 HAS SOUPS 3066 WITH SCORE 3070.154
AT ITER 3900 NEW BEST:: SOT 20342 SOS 4147 HAS SOPS 3732 HAS SOUS 3387 HAS SOUPS 3066 WITH SCORE 3070.147
AT ITER 3948 NEW BEST:: SOT 20342 SOS 4100 HAS SOPS 3685 HAS SOUS 3384 HAS SOUPS 3063 WITH SCORE 3067.1
AT ITER 3966 NEW BEST:: SOT 20330 SOS 4088 HAS SOPS 3673 HAS SOUS 3363 HAS SOUPS 3042 WITH SCORE 3046.088
AT ITER 3987 NEW BEST:: SOT 20330 SOS 4085 HAS SOPS 3670 HAS SOUS 3360 HAS SOUPS 3039 WITH SCORE 3043.085
AT ITER 4042 NEW BEST:: SOT 20330 SOS 4067 HAS SOPS 3652 HAS SOUS 3354 HAS SOUPS 3033 WITH SCORE 3037.067
AT ITER 4064 NEW BEST:: SOT 20325 SOS 4066 HAS SOPS 3651 HAS SOUS 3353 HAS SOUPS 3032 WITH SCORE 3036.066
AT ITER 4069 NEW BEST:: SOT 20321 SOS 4061 HAS SOPS 3648 HAS SOUS 3348 HAS SOUPS 3029 WITH SCORE 3033.061
AT ITER 4171 NEW BEST:: SOT 20319 SOS 4059 HAS SOPS 3646 HAS SOUS 3344 HAS SOUPS 3025 WITH SCORE 3029.059
AT ITER 4242 NEW BEST:: SOT 20315 SOS 4055 HAS SOPS 3642 HAS SOUS 3344 HAS SOUPS 3025 WITH SCORE 3029.055
AT ITER 4436 NEW BEST:: SOT 20308 SOS 4050 HAS SOPS 3631 HAS SOUS 3339 HAS SOUPS 3014 WITH SCORE 3018.05
AT ITER 4442 NEW BEST:: SOT 20308 SOS 4042 HAS SOPS 3623 HAS SOUS 3337 HAS SOUPS 3012 WITH SCORE 3016.042
AT ITER 4473 NEW BEST:: SOT 20302 SOS 4026 HAS SOPS 3611 HAS SOUS 3321 HAS SOUPS 3000 WITH SCORE 3004.026
AT ITER 4609 NEW BEST:: SOT 20302 SOS 4025 HAS SOPS 3610 HAS SOUS 3320 HAS SOUPS 2999 WITH SCORE 3003.025
AT ITER 4623 NEW BEST:: SOT 20308 SOS 4022 HAS SOPS 3593 HAS SOUS 3298 HAS SOUPS 2970 WITH SCORE 2974.022
AT ITER 4628 NEW BEST:: SOT 20304 SOS 4008 HAS SOPS 3579 HAS SOUS 3288 HAS SOUPS 2960 WITH SCORE 2964.008
AT ITER 4668 NEW BEST:: SOT 20290 SOS 3964 HAS SOPS 3540 HAS SOUS 3253 HAS SOUPS 2930 WITH SCORE 2933.964
AT ITER 4700 NEW BEST:: SOT 20287 SOS 3961 HAS SOPS 3537 HAS SOUS 3250 HAS SOUPS 2927 WITH SCORE 2930.961
AT ITER 4888 NEW BEST:: SOT 20282 SOS 3956 HAS SOPS 3532 HAS SOUS 3249 HAS SOUPS 2926 WITH SCORE 2929.956
AT ITER 4916 NEW BEST:: SOT 20281 SOS 3955 HAS SOPS 3531 HAS SOUS 3248 HAS SOUPS 2925 WITH SCORE 2928.955
AT ITER 4959 NEW BEST:: SOT 20284 SOS 3929 HAS SOPS 3525 HAS SOUS 3226 HAS SOUPS 2923 WITH SCORE 2926.929
AT ITER 5012 NEW BEST:: SOT 20283 SOS 3927 HAS SOPS 3524 HAS SOUS 3224 HAS SOUPS 2922 WITH SCORE 2925.927
AT ITER 5072 NEW BEST:: SOT 20280 SOS 3918 HAS SOPS 3518 HAS SOUS 3215 HAS SOUPS 2916 WITH SCORE 2919.918
AT ITER 5157 NEW BEST:: SOT 20272 SOS 3896 HAS SOPS 3510 HAS SOUS 3208 HAS SOUPS 2916 WITH SCORE 2919.896
AT ITER 5199 NEW BEST:: SOT 20271 SOS 3895 HAS SOPS 3508 HAS SOUS 3207 HAS SOUPS 2914 WITH SCORE 2917.895
AT ITER 5273 NEW BEST:: SOT 20270 SOS 3896 HAS SOPS 3507 HAS SOUS 3206 HAS SOUPS 2913 WITH SCORE 2916.896
AT ITER 5341 NEW BEST:: SOT 20276 SOS 3903 HAS SOPS 3505 HAS SOUS 3213 HAS SOUPS 2911 WITH SCORE 2914.903
AT ITER 5550 NEW BEST:: SOT 20283 SOS 3912 HAS SOPS 3495 HAS SOUS 3227 HAS SOUPS 2906 WITH SCORE 2909.912
AT ITER 5557 NEW BEST:: SOT 20286 SOS 3915 HAS SOPS 3498 HAS SOUS 3222 HAS SOUPS 2901 WITH SCORE 2904.915
AT ITER 5618 NEW BEST:: SOT 20283 SOS 3907 HAS SOPS 3487 HAS SOUS 3214 HAS SOUPS 2890 WITH SCORE 2893.907
AT ITER 5703 NEW BEST:: SOT 20287 SOS 3899 HAS SOPS 3478 HAS SOUS 3213 HAS SOUPS 2888 WITH SCORE 2891.899
AT ITER 5708 NEW BEST:: SOT 20287 SOS 3897 HAS SOPS 3473 HAS SOUS 3207 HAS SOUPS 2883 WITH SCORE 2886.897
AT ITER 5736 NEW BEST:: SOT 20280 SOS 3885 HAS SOPS 3466 HAS SOUS 3195 HAS SOUPS 2876 WITH SCORE 2879.885
AT ITER 5844 NEW BEST:: SOT 20297 SOS 3885 HAS SOPS 3456 HAS SOUS 3191 HAS SOUPS 2866 WITH SCORE 2869.885
AT ITER 5872 NEW BEST:: SOT 20304 SOS 3886 HAS SOPS 3463 HAS SOUS 3184 HAS SOUPS 2865 WITH SCORE 2868.886
AT ITER 6023 NEW BEST:: SOT 20303 SOS 3881 HAS SOPS 3458 HAS SOUS 3179 HAS SOUPS 2860 WITH SCORE 2863.881
AT ITER 6024 NEW BEST:: SOT 20305 SOS 3887 HAS SOPS 3454 HAS SOUS 3185 HAS SOUPS 2856 WITH SCORE 2859.887
AT ITER 6094 NEW BEST:: SOT 20305 SOS 3881 HAS SOPS 3446 HAS SOUS 3186 HAS SOUPS 2855 WITH SCORE 2858.881
AT ITER 6101 NEW BEST:: SOT 20302 SOS 3875 HAS SOPS 3441 HAS SOUS 3180 HAS SOUPS 2850 WITH SCORE 2853.875
AT ITER 6130 NEW BEST:: SOT 20302 SOS 3872 HAS SOPS 3438 HAS SOUS 3179 HAS SOUPS 2849 WITH SCORE 2852.872
AT ITER 6150 NEW BEST:: SOT 20301 SOS 3867 HAS SOPS 3433 HAS SOUS 3174 HAS SOUPS 2844 WITH SCORE 2847.867
AT ITER 6259 NEW BEST:: SOT 20289 SOS 3858 HAS SOPS 3424 HAS SOUS 3165 HAS SOUPS 2835 WITH SCORE 2838.858
AT ITER 6331 NEW BEST:: SOT 20280 SOS 3855 HAS SOPS 3421 HAS SOUS 3157 HAS SOUPS 2827 WITH SCORE 2830.855
AT ITER 6354 NEW BEST:: SOT 20266 SOS 3830 HAS SOPS 3414 HAS SOUS 3136 HAS SOUPS 2820 WITH SCORE 2823.83
AT ITER 6366 NEW BEST:: SOT 20265 SOS 3823 HAS SOPS 3409 HAS SOUS 3129 HAS SOUPS 2815 WITH SCORE 2818.823
AT ITER 6370 NEW BEST:: SOT 20265 SOS 3823 HAS SOPS 3403 HAS SOUS 3126 HAS SOUPS 2809 WITH SCORE 2812.823
AT ITER 6458 NEW BEST:: SOT 20257 SOS 3808 HAS SOPS 3395 HAS SOUS 3114 HAS SOUPS 2801 WITH SCORE 2804.808
AT ITER 6494 NEW BEST:: SOT 20256 SOS 3805 HAS SOPS 3393 HAS SOUS 3111 HAS SOUPS 2799 WITH SCORE 2802.805
AT ITER 6501 NEW BEST:: SOT 20256 SOS 3792 HAS SOPS 3388 HAS SOUS 3098 HAS SOUPS 2794 WITH SCORE 2797.792
AT ITER 6585 NEW BEST:: SOT 20256 SOS 3792 HAS SOPS 3378 HAS SOUS 3097 HAS SOUPS 2789 WITH SCORE 2792.792
AT ITER 6616 NEW BEST:: SOT 20257 SOS 3793 HAS SOPS 3372 HAS SOUS 3095 HAS SOUPS 2784 WITH SCORE 2787.793
AT ITER 6633 NEW BEST:: SOT 20250 SOS 3791 HAS SOPS 3370 HAS SOUS 3091 HAS SOUPS 2780 WITH SCORE 2783.791
AT ITER 6671 NEW BEST:: SOT 20249 SOS 3790 HAS SOPS 3369 HAS SOUS 3090 HAS SOUPS 2779 WITH SCORE 2782.79
AT ITER 6678 NEW BEST:: SOT 20248 SOS 3789 HAS SOPS 3368 HAS SOUS 3089 HAS SOUPS 2778 WITH SCORE 2781.789
AT ITER 6733 NEW BEST:: SOT 20248 SOS 3787 HAS SOPS 3366 HAS SOUS 3087 HAS SOUPS 2776 WITH SCORE 2779.787
AT ITER 6744 NEW BEST:: SOT 20243 SOS 3782 HAS SOPS 3361 HAS SOUS 3082 HAS SOUPS 2771 WITH SCORE 2774.782
AT ITER 6772 NEW BEST:: SOT 20249 SOS 3791 HAS SOPS 3360 HAS SOUS 3090 HAS SOUPS 2769 WITH SCORE 2772.791
AT ITER 6812 NEW BEST:: SOT 20249 SOS 3788 HAS SOPS 3357 HAS SOUS 3089 HAS SOUPS 2768 WITH SCORE 2771.788
AT ITER 6845 NEW BEST:: SOT 20242 SOS 3780 HAS SOPS 3357 HAS SOUS 3085 HAS SOUPS 2768 WITH SCORE 2771.78
AT ITER 6849 NEW BEST:: SOT 20241 SOS 3776 HAS SOPS 3356 HAS SOUS 3081 HAS SOUPS 2767 WITH SCORE 2770.776
AT ITER 6867 NEW BEST:: SOT 20239 SOS 3774 HAS SOPS 3354 HAS SOUS 3079 HAS SOUPS 2765 WITH SCORE 2768.774
AT ITER 6868 NEW BEST:: SOT 20237 SOS 3769 HAS SOPS 3347 HAS SOUS 3074 HAS SOUPS 2758 WITH SCORE 2761.769
AT ITER 6897 NEW BEST:: SOT 20236 SOS 3768 HAS SOPS 3346 HAS SOUS 3073 HAS SOUPS 2757 WITH SCORE 2760.768
AT ITER 6991 NEW BEST:: SOT 20219 SOS 3737 HAS SOPS 3324 HAS SOUS 3042 HAS SOUPS 2735 WITH SCORE 2738.737
AT ITER 7049 NEW BEST:: SOT 20218 SOS 3726 HAS SOPS 3322 HAS SOUS 3031 HAS SOUPS 2733 WITH SCORE 2736.726
AT ITER 7063 NEW BEST:: SOT 20194 SOS 3697 HAS SOPS 3293 HAS SOUS 3002 HAS SOUPS 2704 WITH SCORE 2707.697
AT ITER 7091 NEW BEST:: SOT 20193 SOS 3691 HAS SOPS 3292 HAS SOUS 2996 HAS SOUPS 2703 WITH SCORE 2706.691
AT ITER 7246 NEW BEST:: SOT 20193 SOS 3670 HAS SOPS 3271 HAS SOUS 2996 HAS SOUPS 2703 WITH SCORE 2706.67
AT ITER 7335 NEW BEST:: SOT 20194 SOS 3661 HAS SOPS 3269 HAS SOUS 2987 HAS SOUPS 2701 WITH SCORE 2704.661
AT ITER 7337 NEW BEST:: SOT 20189 SOS 3656 HAS SOPS 3264 HAS SOUS 2982 HAS SOUPS 2696 WITH SCORE 2699.656
AT ITER 7413 NEW BEST:: SOT 20182 SOS 3646 HAS SOPS 3249 HAS SOUS 2972 HAS SOUPS 2681 WITH SCORE 2684.646
AT ITER 7420 NEW BEST:: SOT 20176 SOS 3649 HAS SOPS 3258 HAS SOUS 2963 HAS SOUPS 2680 WITH SCORE 2683.649
AT ITER 7446 NEW BEST:: SOT 20178 SOS 3656 HAS SOPS 3253 HAS SOUS 2961 HAS SOUPS 2675 WITH SCORE 2678.656
AT ITER 7464 NEW BEST:: SOT 20175 SOS 3650 HAS SOPS 3247 HAS SOUS 2955 HAS SOUPS 2669 WITH SCORE 2672.65
AT ITER 7472 NEW BEST:: SOT 20175 SOS 3646 HAS SOPS 3241 HAS SOUS 2951 HAS SOUPS 2665 WITH SCORE 2668.646
AT ITER 7526 NEW BEST:: SOT 20173 SOS 3629 HAS SOPS 3224 HAS SOUS 2936 HAS SOUPS 2657 WITH SCORE 2660.629
AT ITER 7763 NEW BEST:: SOT 20170 SOS 3626 HAS SOPS 3219 HAS SOUS 2936 HAS SOUPS 2657 WITH SCORE 2660.626
AT ITER 7768 NEW BEST:: SOT 20169 SOS 3624 HAS SOPS 3217 HAS SOUS 2934 HAS SOUPS 2655 WITH SCORE 2658.624
AT ITER 7896 NEW BEST:: SOT 20169 SOS 3615 HAS SOPS 3205 HAS SOUS 2935 HAS SOUPS 2655 WITH SCORE 2658.615
AT ITER 7919 NEW BEST:: SOT 20161 SOS 3605 HAS SOPS 3195 HAS SOUS 2930 HAS SOUPS 2650 WITH SCORE 2653.605
AT ITER 8039 NEW BEST:: SOT 20160 SOS 3604 HAS SOPS 3194 HAS SOUS 2929 HAS SOUPS 2649 WITH SCORE 2652.604
AT ITER 8050 NEW BEST:: SOT 20160 SOS 3603 HAS SOPS 3193 HAS SOUS 2928 HAS SOUPS 2648 WITH SCORE 2651.603
AT ITER 8138 NEW BEST:: SOT 20156 SOS 3585 HAS SOPS 3175 HAS SOUS 2919 HAS SOUPS 2639 WITH SCORE 2642.585
AT ITER 8165 NEW BEST:: SOT 20151 SOS 3560 HAS SOPS 3163 HAS SOUS 2898 HAS SOUPS 2631 WITH SCORE 2634.56
AT ITER 8187 NEW BEST:: SOT 20143 SOS 3546 HAS SOPS 3149 HAS SOUS 2884 HAS SOUPS 2617 WITH SCORE 2620.546
AT ITER 8203 NEW BEST:: SOT 20143 SOS 3540 HAS SOPS 3143 HAS SOUS 2878 HAS SOUPS 2611 WITH SCORE 2614.54
AT ITER 8242 NEW BEST:: SOT 20139 SOS 3536 HAS SOPS 3139 HAS SOUS 2874 HAS SOUPS 2607 WITH SCORE 2610.536
AT ITER 8252 NEW BEST:: SOT 20137 SOS 3530 HAS SOPS 3133 HAS SOUS 2868 HAS SOUPS 2601 WITH SCORE 2604.53
AT ITER 8297 NEW BEST:: SOT 20137 SOS 3528 HAS SOPS 3131 HAS SOUS 2867 HAS SOUPS 2600 WITH SCORE 2603.528
AT ITER 8365 NEW BEST:: SOT 20137 SOS 3524 HAS SOPS 3127 HAS SOUS 2863 HAS SOUPS 2596 WITH SCORE 2599.524
AT ITER 8421 NEW BEST:: SOT 20134 SOS 3521 HAS SOPS 3124 HAS SOUS 2860 HAS SOUPS 2593 WITH SCORE 2596.521
AT ITER 8438 NEW BEST:: SOT 20139 SOS 3518 HAS SOPS 3121 HAS SOUS 2860 HAS SOUPS 2593 WITH SCORE 2596.518
AT ITER 8441 NEW BEST:: SOT 20132 SOS 3500 HAS SOPS 3103 HAS SOUS 2841 HAS SOUPS 2574 WITH SCORE 2577.5
AT ITER 8461 NEW BEST:: SOT 20132 SOS 3454 HAS SOPS 3057 HAS SOUS 2831 HAS SOUPS 2564 WITH SCORE 2567.454
AT ITER 8538 NEW BEST:: SOT 20133 SOS 3454 HAS SOPS 3056 HAS SOUS 2831 HAS SOUPS 2563 WITH SCORE 2566.454
AT ITER 8580 NEW BEST:: SOT 20133 SOS 3451 HAS SOPS 3053 HAS SOUS 2828 HAS SOUPS 2560 WITH SCORE 2563.451
AT ITER 8810 NEW BEST:: SOT 20146 SOS 3433 HAS SOPS 3050 HAS SOUS 2828 HAS SOUPS 2559 WITH SCORE 2562.433
AT ITER 8918 NEW BEST:: SOT 20146 SOS 3433 HAS SOPS 3050 HAS SOUS 2826 HAS SOUPS 2557 WITH SCORE 2560.433
AT ITER 8963 NEW BEST:: SOT 20147 SOS 3434 HAS SOPS 3048 HAS SOUS 2827 HAS SOUPS 2555 WITH SCORE 2558.434
AT ITER 9073 NEW BEST:: SOT 20152 SOS 3428 HAS SOPS 3047 HAS SOUS 2821 HAS SOUPS 2554 WITH SCORE 2557.428
AT ITER 9227 NEW BEST:: SOT 20150 SOS 3426 HAS SOPS 3045 HAS SOUS 2819 HAS SOUPS 2552 WITH SCORE 2555.426
AT ITER 9246 NEW BEST:: SOT 20142 SOS 3418 HAS SOPS 3040 HAS SOUS 2817 HAS SOUPS 2546 WITH SCORE 2549.418
AT ITER 9492 NEW BEST:: SOT 20150 SOS 3420 HAS SOPS 3038 HAS SOUS 2816 HAS SOUPS 2542 WITH SCORE 2545.42
AT ITER 9513 NEW BEST:: SOT 20150 SOS 3420 HAS SOPS 3037 HAS SOUS 2816 HAS SOUPS 2541 WITH SCORE 2544.42
AT ITER 9624 NEW BEST:: SOT 20149 SOS 3418 HAS SOPS 3035 HAS SOUS 2814 HAS SOUPS 2539 WITH SCORE 2542.418
AT ITER 9664 NEW BEST:: SOT 20149 SOS 3414 HAS SOPS 3032 HAS SOUS 2810 HAS SOUPS 2536 WITH SCORE 2539.414
AT ITER 9726 NEW BEST:: SOT 20148 SOS 3413 HAS SOPS 3031 HAS SOUS 2809 HAS SOUPS 2535 WITH SCORE 2538.413
AT ITER 9917 NEW BEST:: SOT 20145 SOS 3401 HAS SOPS 3022 HAS SOUS 2797 HAS SOUPS 2526 WITH SCORE 2529.401
AT ITER 9953 NEW BEST:: SOT 20144 SOS 3397 HAS SOPS 3018 HAS SOUS 2793 HAS SOUPS 2522 WITH SCORE 2525.397
STATE_SPACE STATES 2776936 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 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13152132 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678770527208

--------------------
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-0"
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-0, 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-167863534400368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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