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.r387-oct2-167903711300048.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 smart
Input is ShieldIIPs-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711300048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 16:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 16:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 16:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 16:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 49K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679060188185

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=ShieldIIPs-PT-003B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 003B
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: 183 places, 180 transitions, 540 arcs.
AT ITER 0 NEW BEST:: SOT 18939 SOS 6149 HAS SOPS 6149 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5001.149
AT ITER 7 NEW BEST:: SOT 18939 SOS 6147 HAS SOPS 6147 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5001.147
AT ITER 14 NEW BEST:: SOT 18860 SOS 6127 HAS SOPS 6127 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4979.127
AT ITER 16 NEW BEST:: SOT 18822 SOS 6108 HAS SOPS 6108 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4968.108
AT ITER 80 NEW BEST:: SOT 18822 SOS 6070 HAS SOPS 6070 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4968.07
AT ITER 81 NEW BEST:: SOT 18851 SOS 6120 HAS SOPS 6120 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4950.12
AT ITER 92 NEW BEST:: SOT 18849 SOS 6118 HAS SOPS 6118 HAS SOUS 4942 HAS SOUPS 4942 WITH SCORE 4948.118
AT ITER 111 NEW BEST:: SOT 18844 SOS 6132 HAS SOPS 6132 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4943.132
AT ITER 112 NEW BEST:: SOT 18830 SOS 6117 HAS SOPS 6117 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4928.117
AT ITER 116 NEW BEST:: SOT 18797 SOS 6091 HAS SOPS 6091 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4902.091
AT ITER 121 NEW BEST:: SOT 18768 SOS 6071 HAS SOPS 6071 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4875.071
AT ITER 130 NEW BEST:: SOT 18768 SOS 6063 HAS SOPS 6063 HAS SOUS 4861 HAS SOUPS 4861 WITH SCORE 4867.063
AT ITER 142 NEW BEST:: SOT 18764 SOS 6059 HAS SOPS 6059 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4863.059
AT ITER 159 NEW BEST:: SOT 18766 SOS 6059 HAS SOPS 6059 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4862.059
AT ITER 165 NEW BEST:: SOT 18760 SOS 6047 HAS SOPS 6047 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4862.047
AT ITER 177 NEW BEST:: SOT 18757 SOS 6034 HAS SOPS 6034 HAS SOUS 4843 HAS SOUPS 4843 WITH SCORE 4849.034
AT ITER 180 NEW BEST:: SOT 18695 SOS 5850 HAS SOPS 5850 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4789.85
AT ITER 191 NEW BEST:: SOT 18682 SOS 5824 HAS SOPS 5824 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4776.824
AT ITER 199 NEW BEST:: SOT 18677 SOS 5824 HAS SOPS 5824 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4771.824
AT ITER 215 NEW BEST:: SOT 18656 SOS 5782 HAS SOPS 5782 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4750.782
AT ITER 224 NEW BEST:: SOT 18685 SOS 5767 HAS SOPS 5767 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.767
AT ITER 225 NEW BEST:: SOT 18685 SOS 5732 HAS SOPS 5732 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.732
AT ITER 245 NEW BEST:: SOT 18685 SOS 5714 HAS SOPS 5714 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4734.714
AT ITER 254 NEW BEST:: SOT 18679 SOS 5724 HAS SOPS 5724 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4727.724
AT ITER 255 NEW BEST:: SOT 18681 SOS 5698 HAS SOPS 5698 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4715.698
AT ITER 329 NEW BEST:: SOT 18681 SOS 5696 HAS SOPS 5696 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4715.696
AT ITER 330 NEW BEST:: SOT 18673 SOS 5692 HAS SOPS 5692 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.692
AT ITER 335 NEW BEST:: SOT 18673 SOS 5686 HAS SOPS 5686 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.686
AT ITER 356 NEW BEST:: SOT 18669 SOS 5678 HAS SOPS 5678 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4706.678
AT ITER 358 NEW BEST:: SOT 18669 SOS 5654 HAS SOPS 5654 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4696.654
AT ITER 359 NEW BEST:: SOT 18666 SOS 5646 HAS SOPS 5646 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4694.646
AT ITER 370 NEW BEST:: SOT 18652 SOS 5590 HAS SOPS 5590 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4680.59
AT ITER 378 NEW BEST:: SOT 18636 SOS 5568 HAS SOPS 5568 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4678.568
AT ITER 382 NEW BEST:: SOT 18650 SOS 5578 HAS SOPS 5578 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4674.578
AT ITER 405 NEW BEST:: SOT 18647 SOS 5590 HAS SOPS 5590 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4672.59
AT ITER 409 NEW BEST:: SOT 18646 SOS 5590 HAS SOPS 5590 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4671.59
AT ITER 414 NEW BEST:: SOT 18618 SOS 5550 HAS SOPS 5550 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4651.55
AT ITER 437 NEW BEST:: SOT 18616 SOS 5530 HAS SOPS 5530 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.53
AT ITER 447 NEW BEST:: SOT 18616 SOS 5526 HAS SOPS 5526 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4628.526
AT ITER 448 NEW BEST:: SOT 18603 SOS 5507 HAS SOPS 5507 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4609.507
AT ITER 471 NEW BEST:: SOT 18565 SOS 5486 HAS SOPS 5486 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.486
AT ITER 477 NEW BEST:: SOT 18546 SOS 5463 HAS SOPS 5463 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4558.463
AT ITER 479 NEW BEST:: SOT 18558 SOS 5509 HAS SOPS 5509 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4553.509
AT ITER 480 NEW BEST:: SOT 18555 SOS 5507 HAS SOPS 5507 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4551.507
AT ITER 500 NEW BEST:: SOT 18525 SOS 5505 HAS SOPS 5505 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.505
AT ITER 503 NEW BEST:: SOT 18539 SOS 5650 HAS SOPS 5650 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4529.65
AT ITER 529 NEW BEST:: SOT 18520 SOS 5576 HAS SOPS 5576 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.576
AT ITER 536 NEW BEST:: SOT 18505 SOS 5541 HAS SOPS 5541 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4493.541
AT ITER 545 NEW BEST:: SOT 18439 SOS 5476 HAS SOPS 5476 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.476
AT ITER 565 NEW BEST:: SOT 18436 SOS 5463 HAS SOPS 5463 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4376.463
AT ITER 597 NEW BEST:: SOT 18438 SOS 5347 HAS SOPS 5347 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4318.347
AT ITER 613 NEW BEST:: SOT 18438 SOS 5345 HAS SOPS 5345 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4316.345
AT ITER 619 NEW BEST:: SOT 18436 SOS 5343 HAS SOPS 5343 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4316.343
AT ITER 621 NEW BEST:: SOT 18436 SOS 5334 HAS SOPS 5334 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4308.334
AT ITER 638 NEW BEST:: SOT 18429 SOS 5314 HAS SOPS 5314 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4296.314
AT ITER 649 NEW BEST:: SOT 18422 SOS 5298 HAS SOPS 5298 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4280.298
AT ITER 682 NEW BEST:: SOT 18414 SOS 5194 HAS SOPS 5194 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4255.194
AT ITER 691 NEW BEST:: SOT 18400 SOS 5102 HAS SOPS 5102 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4227.102
AT ITER 692 NEW BEST:: SOT 18393 SOS 5085 HAS SOPS 5085 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4220.085
AT ITER 706 NEW BEST:: SOT 18372 SOS 5072 HAS SOPS 5072 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4207.072
AT ITER 725 NEW BEST:: SOT 18372 SOS 5068 HAS SOPS 5068 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4207.068
AT ITER 740 NEW BEST:: SOT 18370 SOS 5065 HAS SOPS 5065 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4204.065
AT ITER 774 NEW BEST:: SOT 18357 SOS 5063 HAS SOPS 5063 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4195.063
AT ITER 777 NEW BEST:: SOT 18357 SOS 5063 HAS SOPS 5063 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4192.063
AT ITER 789 NEW BEST:: SOT 18357 SOS 5060 HAS SOPS 5060 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4191.06
AT ITER 804 NEW BEST:: SOT 18349 SOS 5048 HAS SOPS 5048 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4189.048
AT ITER 807 NEW BEST:: SOT 18349 SOS 5048 HAS SOPS 5048 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4181.048
AT ITER 832 NEW BEST:: SOT 18345 SOS 5096 HAS SOPS 5096 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4177.096
AT ITER 870 NEW BEST:: SOT 18343 SOS 5080 HAS SOPS 5080 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4163.08
AT ITER 872 NEW BEST:: SOT 18330 SOS 5052 HAS SOPS 5052 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4157.052
AT ITER 883 NEW BEST:: SOT 18332 SOS 5048 HAS SOPS 5048 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4153.048
AT ITER 888 NEW BEST:: SOT 18335 SOS 5044 HAS SOPS 5044 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4147.044
AT ITER 892 NEW BEST:: SOT 18330 SOS 5044 HAS SOPS 5044 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4146.044
AT ITER 893 NEW BEST:: SOT 18330 SOS 5029 HAS SOPS 5029 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4143.029
AT ITER 923 NEW BEST:: SOT 18330 SOS 5027 HAS SOPS 5027 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4140.027
AT ITER 925 NEW BEST:: SOT 18293 SOS 5056 HAS SOPS 5056 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4123.056
AT ITER 934 NEW BEST:: SOT 18235 SOS 4988 HAS SOPS 4988 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.988
AT ITER 952 NEW BEST:: SOT 18217 SOS 4958 HAS SOPS 4958 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4086.958
AT ITER 966 NEW BEST:: SOT 18227 SOS 4949 HAS SOPS 4949 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.949
AT ITER 969 NEW BEST:: SOT 18211 SOS 4944 HAS SOPS 4944 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.944
AT ITER 991 NEW BEST:: SOT 18197 SOS 4926 HAS SOPS 4926 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4066.926
AT ITER 1019 NEW BEST:: SOT 18156 SOS 4777 HAS SOPS 4777 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 3998.777
AT ITER 1023 NEW BEST:: SOT 18147 SOS 4733 HAS SOPS 4733 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3995.733
AT ITER 1026 NEW BEST:: SOT 18149 SOS 4735 HAS SOPS 4735 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3993.735
AT ITER 1032 NEW BEST:: SOT 18145 SOS 4731 HAS SOPS 4731 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3989.731
AT ITER 1055 NEW BEST:: SOT 18145 SOS 4731 HAS SOPS 4731 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3988.731
AT ITER 1068 NEW BEST:: SOT 18145 SOS 4729 HAS SOPS 4729 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3986.729
AT ITER 1074 NEW BEST:: SOT 18133 SOS 4692 HAS SOPS 4692 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3972.692
AT ITER 1113 NEW BEST:: SOT 18178 SOS 4716 HAS SOPS 4716 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.716
AT ITER 1114 NEW BEST:: SOT 18178 SOS 4712 HAS SOPS 4712 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.712
AT ITER 1161 NEW BEST:: SOT 18178 SOS 4706 HAS SOPS 4706 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3928.706
AT ITER 1194 NEW BEST:: SOT 18175 SOS 4700 HAS SOPS 4700 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3924.7
AT ITER 1200 NEW BEST:: SOT 18175 SOS 4695 HAS SOPS 4695 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3920.695
AT ITER 1209 NEW BEST:: SOT 18175 SOS 4686 HAS SOPS 4686 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3920.686
AT ITER 1211 NEW BEST:: SOT 18175 SOS 4618 HAS SOPS 4618 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.618
AT ITER 1220 NEW BEST:: SOT 18160 SOS 4531 HAS SOPS 4531 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3888.531
AT ITER 1264 NEW BEST:: SOT 18155 SOS 4507 HAS SOPS 4507 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.507
AT ITER 1285 NEW BEST:: SOT 18155 SOS 4497 HAS SOPS 4497 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.497
AT ITER 1290 NEW BEST:: SOT 18149 SOS 4485 HAS SOPS 4485 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3833.485
AT ITER 1311 NEW BEST:: SOT 18083 SOS 4434 HAS SOPS 4434 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.434
AT ITER 1424 NEW BEST:: SOT 18085 SOS 4429 HAS SOPS 4429 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3796.429
AT ITER 1445 NEW BEST:: SOT 18085 SOS 4426 HAS SOPS 4426 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3793.426
AT ITER 1459 NEW BEST:: SOT 18084 SOS 4424 HAS SOPS 4424 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3792.424
AT ITER 1463 NEW BEST:: SOT 18084 SOS 4420 HAS SOPS 4420 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3790.42
AT ITER 1493 NEW BEST:: SOT 18080 SOS 4415 HAS SOPS 4415 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3783.415
AT ITER 1508 NEW BEST:: SOT 18069 SOS 4396 HAS SOPS 4396 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.396
AT ITER 1584 NEW BEST:: SOT 18067 SOS 4386 HAS SOPS 4386 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3760.386
AT ITER 1600 NEW BEST:: SOT 18042 SOS 4397 HAS SOPS 4397 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3758.397
AT ITER 1613 NEW BEST:: SOT 18040 SOS 4393 HAS SOPS 4393 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3757.393
AT ITER 1620 NEW BEST:: SOT 18039 SOS 4392 HAS SOPS 4392 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3756.392
AT ITER 1643 NEW BEST:: SOT 18037 SOS 4388 HAS SOPS 4388 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.388
AT ITER 1655 NEW BEST:: SOT 18024 SOS 4400 HAS SOPS 4400 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.4
AT ITER 1675 NEW BEST:: SOT 17968 SOS 4309 HAS SOPS 4309 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.309
AT ITER 1700 NEW BEST:: SOT 17962 SOS 4307 HAS SOPS 4307 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3732.307
AT ITER 1726 NEW BEST:: SOT 17962 SOS 4296 HAS SOPS 4296 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3721.296
AT ITER 1750 NEW BEST:: SOT 17960 SOS 4296 HAS SOPS 4296 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.296
AT ITER 1761 NEW BEST:: SOT 17960 SOS 4292 HAS SOPS 4292 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3717.292
AT ITER 1801 NEW BEST:: SOT 17952 SOS 4283 HAS SOPS 4283 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3708.283
AT ITER 1910 NEW BEST:: SOT 17952 SOS 4287 HAS SOPS 4287 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3704.287
AT ITER 2093 NEW BEST:: SOT 17958 SOS 4283 HAS SOPS 4283 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3700.283
AT ITER 2123 NEW BEST:: SOT 17959 SOS 4288 HAS SOPS 4288 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3697.288
AT ITER 2170 NEW BEST:: SOT 17956 SOS 4261 HAS SOPS 4261 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3685.261
AT ITER 2174 NEW BEST:: SOT 17956 SOS 4264 HAS SOPS 4264 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.264
AT ITER 2175 NEW BEST:: SOT 17966 SOS 4248 HAS SOPS 4248 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3675.248
AT ITER 2192 NEW BEST:: SOT 17964 SOS 4246 HAS SOPS 4246 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.246
AT ITER 2199 NEW BEST:: SOT 17974 SOS 4331 HAS SOPS 4331 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.331
AT ITER 2223 NEW BEST:: SOT 17974 SOS 4325 HAS SOPS 4325 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.325
AT ITER 2243 NEW BEST:: SOT 17971 SOS 4318 HAS SOPS 4318 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3653.318
AT ITER 2246 NEW BEST:: SOT 17986 SOS 4317 HAS SOPS 4317 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3652.317
AT ITER 2316 NEW BEST:: SOT 17977 SOS 4309 HAS SOPS 4309 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.309
AT ITER 2484 NEW BEST:: SOT 17979 SOS 4305 HAS SOPS 4305 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3638.305
AT ITER 2499 NEW BEST:: SOT 17976 SOS 4303 HAS SOPS 4303 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3636.303
AT ITER 2511 NEW BEST:: SOT 17975 SOS 4302 HAS SOPS 4302 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.302
AT ITER 2549 NEW BEST:: SOT 17975 SOS 4308 HAS SOPS 4308 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3619.308
AT ITER 2566 NEW BEST:: SOT 17970 SOS 4303 HAS SOPS 4303 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3614.303
AT ITER 2593 NEW BEST:: SOT 17968 SOS 4301 HAS SOPS 4301 HAS SOUS 3608 HAS SOUPS 3608 WITH SCORE 3612.301
AT ITER 2607 NEW BEST:: SOT 17966 SOS 4297 HAS SOPS 4297 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3608.297
AT ITER 2621 NEW BEST:: SOT 17953 SOS 4285 HAS SOPS 4285 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3593.285
AT ITER 2652 NEW BEST:: SOT 17953 SOS 4286 HAS SOPS 4286 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.286
AT ITER 2702 NEW BEST:: SOT 17945 SOS 4272 HAS SOPS 4272 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3580.272
AT ITER 2740 NEW BEST:: SOT 17945 SOS 4270 HAS SOPS 4270 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.27
AT ITER 2779 NEW BEST:: SOT 17945 SOS 4267 HAS SOPS 4267 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.267
AT ITER 2782 NEW BEST:: SOT 17946 SOS 4264 HAS SOPS 4264 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.264
AT ITER 2822 NEW BEST:: SOT 17943 SOS 4258 HAS SOPS 4258 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3569.258
AT ITER 2868 NEW BEST:: SOT 17943 SOS 4256 HAS SOPS 4256 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3567.256
AT ITER 2888 NEW BEST:: SOT 17943 SOS 4244 HAS SOPS 4244 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3555.244
AT ITER 2926 NEW BEST:: SOT 17944 SOS 4247 HAS SOPS 4247 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3554.247
AT ITER 2930 NEW BEST:: SOT 17966 SOS 4181 HAS SOPS 4181 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3554.181
AT ITER 2977 NEW BEST:: SOT 17995 SOS 4207 HAS SOPS 4207 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3552.207
AT ITER 2989 NEW BEST:: SOT 17985 SOS 4202 HAS SOPS 4202 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3542.202
AT ITER 3081 NEW BEST:: SOT 17984 SOS 4196 HAS SOPS 4196 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3539.196
AT ITER 3120 NEW BEST:: SOT 17981 SOS 4192 HAS SOPS 4192 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.192
AT ITER 3134 NEW BEST:: SOT 17980 SOS 4189 HAS SOPS 4189 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3533.189
AT ITER 3181 NEW BEST:: SOT 17973 SOS 4178 HAS SOPS 4178 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3522.178
AT ITER 3183 NEW BEST:: SOT 17975 SOS 4186 HAS SOPS 4186 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3518.186
AT ITER 3230 NEW BEST:: SOT 17975 SOS 4188 HAS SOPS 4188 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3516.188
AT ITER 3233 NEW BEST:: SOT 17975 SOS 4172 HAS SOPS 4172 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3512.172
AT ITER 3263 NEW BEST:: SOT 17972 SOS 4167 HAS SOPS 4167 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3510.167
AT ITER 3273 NEW BEST:: SOT 17957 SOS 4152 HAS SOPS 4152 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3495.152
AT ITER 3364 NEW BEST:: SOT 17952 SOS 4132 HAS SOPS 4132 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3490.132
AT ITER 3386 NEW BEST:: SOT 17952 SOS 4126 HAS SOPS 4126 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3486.126
AT ITER 3430 NEW BEST:: SOT 17946 SOS 4117 HAS SOPS 4117 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3477.117
AT ITER 3484 NEW BEST:: SOT 17953 SOS 4110 HAS SOPS 4110 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3477.11
AT ITER 3542 NEW BEST:: SOT 17949 SOS 4103 HAS SOPS 4103 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.103
AT ITER 3548 NEW BEST:: SOT 17947 SOS 4102 HAS SOPS 4102 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3475.102
AT ITER 3566 NEW BEST:: SOT 17969 SOS 4036 HAS SOPS 4036 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3475.036
AT ITER 3608 NEW BEST:: SOT 17961 SOS 4021 HAS SOPS 4021 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3467.021
AT ITER 3657 NEW BEST:: SOT 17954 SOS 4011 HAS SOPS 4011 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3466.011
AT ITER 3687 NEW BEST:: SOT 17956 SOS 4008 HAS SOPS 4008 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.008
AT ITER 3707 NEW BEST:: SOT 17956 SOS 4007 HAS SOPS 4007 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.007
AT ITER 3835 NEW BEST:: SOT 17952 SOS 4038 HAS SOPS 4038 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.038
AT ITER 3999 NEW BEST:: SOT 17953 SOS 4032 HAS SOPS 4032 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3453.032
AT ITER 4041 NEW BEST:: SOT 17950 SOS 4044 HAS SOPS 4044 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3450.044
AT ITER 4064 NEW BEST:: SOT 17962 SOS 4045 HAS SOPS 4045 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3445.045
AT ITER 4128 NEW BEST:: SOT 17944 SOS 4023 HAS SOPS 4023 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3423.023
AT ITER 4163 NEW BEST:: SOT 17937 SOS 4018 HAS SOPS 4018 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3417.018
AT ITER 4203 NEW BEST:: SOT 17928 SOS 3980 HAS SOPS 3980 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.98
AT ITER 4240 NEW BEST:: SOT 17925 SOS 4127 HAS SOPS 4127 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3395.127
AT ITER 4257 NEW BEST:: SOT 17924 SOS 4126 HAS SOPS 4126 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3394.126
AT ITER 4260 NEW BEST:: SOT 17923 SOS 4126 HAS SOPS 4126 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3393.126
AT ITER 4271 NEW BEST:: SOT 17921 SOS 4127 HAS SOPS 4127 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3392.127
AT ITER 4276 NEW BEST:: SOT 17916 SOS 4089 HAS SOPS 4089 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3380.089
AT ITER 4280 NEW BEST:: SOT 17911 SOS 4074 HAS SOPS 4074 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3375.074
AT ITER 4290 NEW BEST:: SOT 17911 SOS 4073 HAS SOPS 4073 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3375.073
AT ITER 4341 NEW BEST:: SOT 17911 SOS 4081 HAS SOPS 4081 HAS SOUS 3369 HAS SOUPS 3369 WITH SCORE 3373.081
AT ITER 4391 NEW BEST:: SOT 17910 SOS 4075 HAS SOPS 4075 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3368.075
AT ITER 4441 NEW BEST:: SOT 17910 SOS 4071 HAS SOPS 4071 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3364.071
AT ITER 4496 NEW BEST:: SOT 17910 SOS 4071 HAS SOPS 4071 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3360.071
AT ITER 4594 NEW BEST:: SOT 17908 SOS 4067 HAS SOPS 4067 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3358.067
AT ITER 4705 NEW BEST:: SOT 17901 SOS 3999 HAS SOPS 3999 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3343.999
AT ITER 4759 NEW BEST:: SOT 17899 SOS 4004 HAS SOPS 4004 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3339.004
AT ITER 4766 NEW BEST:: SOT 17898 SOS 4003 HAS SOPS 4003 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3338.003
AT ITER 4843 NEW BEST:: SOT 17948 SOS 3817 HAS SOPS 3817 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3328.817
AT ITER 4868 NEW BEST:: SOT 17948 SOS 3816 HAS SOPS 3816 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3328.816
AT ITER 4886 NEW BEST:: SOT 17948 SOS 3815 HAS SOPS 3815 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3326.815
AT ITER 4925 NEW BEST:: SOT 17945 SOS 3812 HAS SOPS 3812 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3323.812
AT ITER 4941 NEW BEST:: SOT 17949 SOS 3808 HAS SOPS 3808 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3321.808
AT ITER 4968 NEW BEST:: SOT 17946 SOS 3806 HAS SOPS 3806 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3318.806
AT ITER 5039 NEW BEST:: SOT 17946 SOS 3803 HAS SOPS 3803 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.803
AT ITER 5053 NEW BEST:: SOT 17941 SOS 3798 HAS SOPS 3798 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3305.798
AT ITER 5078 NEW BEST:: SOT 17938 SOS 3792 HAS SOPS 3792 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3299.792
AT ITER 5166 NEW BEST:: SOT 17939 SOS 3792 HAS SOPS 3792 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.792
AT ITER 5278 NEW BEST:: SOT 17938 SOS 3791 HAS SOPS 3791 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.791
AT ITER 5291 NEW BEST:: SOT 17939 SOS 3787 HAS SOPS 3787 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.787
AT ITER 5309 NEW BEST:: SOT 17939 SOS 3779 HAS SOPS 3779 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.779
AT ITER 5326 NEW BEST:: SOT 17938 SOS 3777 HAS SOPS 3777 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3289.777
AT ITER 5348 NEW BEST:: SOT 17938 SOS 3768 HAS SOPS 3768 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3286.768
AT ITER 5389 NEW BEST:: SOT 17938 SOS 3770 HAS SOPS 3770 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3284.77
AT ITER 5411 NEW BEST:: SOT 17928 SOS 3772 HAS SOPS 3772 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3277.772
AT ITER 5415 NEW BEST:: SOT 17930 SOS 3768 HAS SOPS 3768 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.768
AT ITER 5461 NEW BEST:: SOT 17930 SOS 3765 HAS SOPS 3765 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.765
AT ITER 5471 NEW BEST:: SOT 17919 SOS 3757 HAS SOPS 3757 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.757
AT ITER 5491 NEW BEST:: SOT 17913 SOS 3751 HAS SOPS 3751 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.751
AT ITER 5545 NEW BEST:: SOT 17913 SOS 3748 HAS SOPS 3748 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.748
AT ITER 5581 NEW BEST:: SOT 17913 SOS 3748 HAS SOPS 3748 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3254.748
AT ITER 5613 NEW BEST:: SOT 17912 SOS 3745 HAS SOPS 3745 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3254.745
AT ITER 5689 NEW BEST:: SOT 17901 SOS 3743 HAS SOPS 3743 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3252.743
AT ITER 5767 NEW BEST:: SOT 17898 SOS 3755 HAS SOPS 3755 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.755
AT ITER 5788 NEW BEST:: SOT 17898 SOS 3753 HAS SOPS 3753 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3245.753
AT ITER 5836 NEW BEST:: SOT 17897 SOS 3752 HAS SOPS 3752 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3244.752
AT ITER 5837 NEW BEST:: SOT 17896 SOS 3756 HAS SOPS 3756 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3242.756
AT ITER 5865 NEW BEST:: SOT 17895 SOS 3755 HAS SOPS 3755 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3241.755
AT ITER 5956 NEW BEST:: SOT 17876 SOS 3786 HAS SOPS 3786 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3238.786
AT ITER 6020 NEW BEST:: SOT 17891 SOS 3817 HAS SOPS 3817 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.817
AT ITER 6037 NEW BEST:: SOT 17890 SOS 3816 HAS SOPS 3816 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3234.816
AT ITER 6039 NEW BEST:: SOT 17891 SOS 3815 HAS SOPS 3815 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3233.815
AT ITER 6050 NEW BEST:: SOT 17891 SOS 3804 HAS SOPS 3804 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3230.804
AT ITER 6182 NEW BEST:: SOT 17889 SOS 3803 HAS SOPS 3803 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.803
AT ITER 6186 NEW BEST:: SOT 17890 SOS 3799 HAS SOPS 3799 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3225.799
AT ITER 6188 NEW BEST:: SOT 17889 SOS 3797 HAS SOPS 3797 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3225.797
AT ITER 6267 NEW BEST:: SOT 17883 SOS 3795 HAS SOPS 3795 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3223.795
AT ITER 6425 NEW BEST:: SOT 17880 SOS 3805 HAS SOPS 3805 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3220.805
AT ITER 6667 NEW BEST:: SOT 17882 SOS 3805 HAS SOPS 3805 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3216.805
AT ITER 6675 NEW BEST:: SOT 17882 SOS 3798 HAS SOPS 3798 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3216.798
AT ITER 6741 NEW BEST:: SOT 17872 SOS 3765 HAS SOPS 3765 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.765
AT ITER 6797 NEW BEST:: SOT 17871 SOS 3767 HAS SOPS 3767 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.767
AT ITER 6968 NEW BEST:: SOT 17871 SOS 3769 HAS SOPS 3769 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.769
AT ITER 7088 NEW BEST:: SOT 17869 SOS 3765 HAS SOPS 3765 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3185.765
AT ITER 7155 NEW BEST:: SOT 17864 SOS 3755 HAS SOPS 3755 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3182.755
AT ITER 7183 NEW BEST:: SOT 17863 SOS 3755 HAS SOPS 3755 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3181.755
AT ITER 7197 NEW BEST:: SOT 17862 SOS 3754 HAS SOPS 3754 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.754
AT ITER 7259 NEW BEST:: SOT 17862 SOS 3752 HAS SOPS 3752 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.752
AT ITER 7415 NEW BEST:: SOT 17862 SOS 3751 HAS SOPS 3751 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.751
AT ITER 7444 NEW BEST:: SOT 17861 SOS 3750 HAS SOPS 3750 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3177.75
AT ITER 7451 NEW BEST:: SOT 17853 SOS 3744 HAS SOPS 3744 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3171.744
AT ITER 7454 NEW BEST:: SOT 17853 SOS 3727 HAS SOPS 3727 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3166.727
AT ITER 7483 NEW BEST:: SOT 17852 SOS 3718 HAS SOPS 3718 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3165.718
AT ITER 7497 NEW BEST:: SOT 17843 SOS 3711 HAS SOPS 3711 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3158.711
AT ITER 7509 NEW BEST:: SOT 17839 SOS 3709 HAS SOPS 3709 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.709
AT ITER 7530 NEW BEST:: SOT 17844 SOS 3711 HAS SOPS 3711 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.711
AT ITER 7555 NEW BEST:: SOT 17843 SOS 3709 HAS SOPS 3709 HAS SOUS 3145 HAS SOUPS 3145 WITH SCORE 3148.709
AT ITER 7611 NEW BEST:: SOT 17843 SOS 3706 HAS SOPS 3706 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3146.706
AT ITER 7721 NEW BEST:: SOT 17841 SOS 3696 HAS SOPS 3696 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3142.696
AT ITER 7751 NEW BEST:: SOT 17837 SOS 3688 HAS SOPS 3688 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3134.688
AT ITER 7760 NEW BEST:: SOT 17833 SOS 3682 HAS SOPS 3682 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.682
AT ITER 7906 NEW BEST:: SOT 17833 SOS 3677 HAS SOPS 3677 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3125.677
AT ITER 8061 NEW BEST:: SOT 17831 SOS 3673 HAS SOPS 3673 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.673
AT ITER 8077 NEW BEST:: SOT 17829 SOS 3669 HAS SOPS 3669 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3117.669
AT ITER 8373 NEW BEST:: SOT 17829 SOS 3668 HAS SOPS 3668 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.668
AT ITER 8457 NEW BEST:: SOT 17798 SOS 3623 HAS SOPS 3623 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.623
AT ITER 8479 NEW BEST:: SOT 17801 SOS 3628 HAS SOPS 3628 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3097.628
AT ITER 8519 NEW BEST:: SOT 17791 SOS 3620 HAS SOPS 3620 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.62
AT ITER 8558 NEW BEST:: SOT 17791 SOS 3618 HAS SOPS 3618 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.618
AT ITER 8601 NEW BEST:: SOT 17792 SOS 3617 HAS SOPS 3617 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.617
AT ITER 8636 NEW BEST:: SOT 17789 SOS 3614 HAS SOPS 3614 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.614
AT ITER 8675 NEW BEST:: SOT 17788 SOS 3613 HAS SOPS 3613 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.613
AT ITER 8693 NEW BEST:: SOT 17786 SOS 3612 HAS SOPS 3612 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3084.612
AT ITER 8823 NEW BEST:: SOT 17782 SOS 3607 HAS SOPS 3607 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3079.607
AT ITER 8903 NEW BEST:: SOT 17782 SOS 3605 HAS SOPS 3605 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.605
AT ITER 8920 NEW BEST:: SOT 17785 SOS 3598 HAS SOPS 3598 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.598
AT ITER 8958 NEW BEST:: SOT 17785 SOS 3596 HAS SOPS 3596 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.596
AT ITER 8975 NEW BEST:: SOT 17777 SOS 3577 HAS SOPS 3577 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3055.577
AT ITER 9245 NEW BEST:: SOT 17781 SOS 3585 HAS SOPS 3585 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3050.585
AT ITER 9268 NEW BEST:: SOT 17785 SOS 3575 HAS SOPS 3575 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3046.575
AT ITER 9306 NEW BEST:: SOT 17785 SOS 3575 HAS SOPS 3575 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.575
AT ITER 9461 NEW BEST:: SOT 17785 SOS 3574 HAS SOPS 3574 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.574
AT ITER 9464 NEW BEST:: SOT 17780 SOS 3566 HAS SOPS 3566 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.566
AT ITER 9478 NEW BEST:: SOT 17777 SOS 3563 HAS SOPS 3563 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3037.563
AT ITER 9488 NEW BEST:: SOT 17777 SOS 3562 HAS SOPS 3562 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3036.562
AT ITER 9624 NEW BEST:: SOT 17777 SOS 3561 HAS SOPS 3561 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3035.561
AT ITER 9856 NEW BEST:: SOT 17777 SOS 3525 HAS SOPS 3525 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3035.525
AT ITER 9898 NEW BEST:: SOT 17777 SOS 3524 HAS SOPS 3524 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.524
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5930200 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154256 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPs-PT-003B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="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 ShieldIIPs-PT-003B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903711300048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-003B.tgz
mv ShieldIIPs-PT-003B execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;