Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469000088.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
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 r207-tajo-159033469000088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.5K May 14 00:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 00:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 17:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 17:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 13:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 13:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 07:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 49K May 12 20:42 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 1590435514216

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 003B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 17 NEW BEST:: SOT 18939 SOS 6148 HAS SOPS 6148 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5000.148
AT ITER 25 NEW BEST:: SOT 18851 SOS 6073 HAS SOPS 6073 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4925.073
AT ITER 26 NEW BEST:: SOT 18869 SOS 6054 HAS SOPS 6054 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4925.054
AT ITER 34 NEW BEST:: SOT 18855 SOS 6053 HAS SOPS 6053 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4917.053
AT ITER 67 NEW BEST:: SOT 18814 SOS 6033 HAS SOPS 6033 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4878.033
AT ITER 97 NEW BEST:: SOT 18821 SOS 6091 HAS SOPS 6091 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4863.091
AT ITER 105 NEW BEST:: SOT 18821 SOS 6000 HAS SOPS 6000 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4862.0
AT ITER 131 NEW BEST:: SOT 18809 SOS 5982 HAS SOPS 5982 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4843.982
AT ITER 138 NEW BEST:: SOT 18790 SOS 5946 HAS SOPS 5946 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4806.946
AT ITER 152 NEW BEST:: SOT 18786 SOS 5942 HAS SOPS 5942 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4802.942
AT ITER 159 NEW BEST:: SOT 18763 SOS 5868 HAS SOPS 5868 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4728.868
AT ITER 164 NEW BEST:: SOT 18759 SOS 5883 HAS SOPS 5883 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4724.883
AT ITER 187 NEW BEST:: SOT 18697 SOS 5932 HAS SOPS 5932 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4681.932
AT ITER 190 NEW BEST:: SOT 18683 SOS 5891 HAS SOPS 5891 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4654.891
AT ITER 192 NEW BEST:: SOT 18675 SOS 5875 HAS SOPS 5875 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4638.875
AT ITER 193 NEW BEST:: SOT 18665 SOS 5895 HAS SOPS 5895 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4628.895
AT ITER 206 NEW BEST:: SOT 18587 SOS 5817 HAS SOPS 5817 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4478.817
AT ITER 228 NEW BEST:: SOT 18587 SOS 5741 HAS SOPS 5741 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4478.741
AT ITER 236 NEW BEST:: SOT 18570 SOS 5789 HAS SOPS 5789 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4475.789
AT ITER 247 NEW BEST:: SOT 18570 SOS 5783 HAS SOPS 5783 HAS SOUS 4464 HAS SOUPS 4464 WITH SCORE 4469.783
AT ITER 251 NEW BEST:: SOT 18573 SOS 5799 HAS SOPS 5799 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.799
AT ITER 297 NEW BEST:: SOT 18552 SOS 5776 HAS SOPS 5776 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4443.776
AT ITER 356 NEW BEST:: SOT 18561 SOS 5781 HAS SOPS 5781 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4442.781
AT ITER 357 NEW BEST:: SOT 18546 SOS 5682 HAS SOPS 5682 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4439.682
AT ITER 362 NEW BEST:: SOT 18536 SOS 5672 HAS SOPS 5672 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.672
AT ITER 365 NEW BEST:: SOT 18524 SOS 5639 HAS SOPS 5639 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.639
AT ITER 369 NEW BEST:: SOT 18522 SOS 5633 HAS SOPS 5633 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4419.633
AT ITER 387 NEW BEST:: SOT 18500 SOS 5622 HAS SOPS 5622 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4402.622
AT ITER 434 NEW BEST:: SOT 18492 SOS 5590 HAS SOPS 5590 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4385.59
AT ITER 448 NEW BEST:: SOT 18492 SOS 5606 HAS SOPS 5606 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4381.606
AT ITER 455 NEW BEST:: SOT 18492 SOS 5599 HAS SOPS 5599 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4381.599
AT ITER 513 NEW BEST:: SOT 18494 SOS 5571 HAS SOPS 5571 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4364.571
AT ITER 530 NEW BEST:: SOT 18485 SOS 5538 HAS SOPS 5538 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4331.538
AT ITER 541 NEW BEST:: SOT 18485 SOS 5502 HAS SOPS 5502 HAS SOUS 4315 HAS SOUPS 4315 WITH SCORE 4320.502
AT ITER 549 NEW BEST:: SOT 18473 SOS 5490 HAS SOPS 5490 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4308.49
AT ITER 587 NEW BEST:: SOT 18473 SOS 5484 HAS SOPS 5484 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4308.484
AT ITER 621 NEW BEST:: SOT 18486 SOS 5449 HAS SOPS 5449 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4287.449
AT ITER 625 NEW BEST:: SOT 18480 SOS 5445 HAS SOPS 5445 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4283.445
AT ITER 710 NEW BEST:: SOT 18479 SOS 5456 HAS SOPS 5456 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4279.456
AT ITER 731 NEW BEST:: SOT 18464 SOS 5439 HAS SOPS 5439 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4264.439
AT ITER 744 NEW BEST:: SOT 18464 SOS 5439 HAS SOPS 5439 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4263.439
AT ITER 745 NEW BEST:: SOT 18464 SOS 5437 HAS SOPS 5437 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.437
AT ITER 834 NEW BEST:: SOT 18464 SOS 5441 HAS SOPS 5441 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4259.441
AT ITER 857 NEW BEST:: SOT 18464 SOS 5440 HAS SOPS 5440 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4258.44
AT ITER 929 NEW BEST:: SOT 18462 SOS 5437 HAS SOPS 5437 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4256.437
AT ITER 935 NEW BEST:: SOT 18455 SOS 5462 HAS SOPS 5462 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4249.462
AT ITER 971 NEW BEST:: SOT 18453 SOS 5458 HAS SOPS 5458 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4245.458
AT ITER 1007 NEW BEST:: SOT 18454 SOS 5452 HAS SOPS 5452 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4239.452
AT ITER 1026 NEW BEST:: SOT 18449 SOS 5373 HAS SOPS 5373 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.373
AT ITER 1031 NEW BEST:: SOT 18403 SOS 5325 HAS SOPS 5325 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4186.325
AT ITER 1043 NEW BEST:: SOT 18401 SOS 5316 HAS SOPS 5316 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4184.316
AT ITER 1053 NEW BEST:: SOT 18401 SOS 5315 HAS SOPS 5315 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4183.315
AT ITER 1064 NEW BEST:: SOT 18401 SOS 5313 HAS SOPS 5313 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4181.313
AT ITER 1119 NEW BEST:: SOT 18397 SOS 5307 HAS SOPS 5307 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4177.307
AT ITER 1124 NEW BEST:: SOT 18398 SOS 5311 HAS SOPS 5311 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4176.311
AT ITER 1160 NEW BEST:: SOT 18390 SOS 5295 HAS SOPS 5295 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4174.295
AT ITER 1190 NEW BEST:: SOT 18366 SOS 5271 HAS SOPS 5271 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4164.271
AT ITER 1267 NEW BEST:: SOT 18366 SOS 5270 HAS SOPS 5270 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4163.27
AT ITER 1296 NEW BEST:: SOT 18351 SOS 5260 HAS SOPS 5260 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4143.26
AT ITER 1325 NEW BEST:: SOT 18341 SOS 5256 HAS SOPS 5256 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4132.256
AT ITER 1373 NEW BEST:: SOT 18329 SOS 5247 HAS SOPS 5247 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4122.247
AT ITER 1374 NEW BEST:: SOT 18321 SOS 5239 HAS SOPS 5239 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4119.239
AT ITER 1416 NEW BEST:: SOT 18321 SOS 5239 HAS SOPS 5239 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4117.239
AT ITER 1436 NEW BEST:: SOT 18299 SOS 5236 HAS SOPS 5236 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4109.236
AT ITER 1445 NEW BEST:: SOT 18299 SOS 5228 HAS SOPS 5228 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4101.228
AT ITER 1491 NEW BEST:: SOT 18296 SOS 5225 HAS SOPS 5225 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4098.225
AT ITER 1535 NEW BEST:: SOT 18271 SOS 5192 HAS SOPS 5192 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.192
AT ITER 1619 NEW BEST:: SOT 18242 SOS 5119 HAS SOPS 5119 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4080.119
AT ITER 1630 NEW BEST:: SOT 18201 SOS 5079 HAS SOPS 5079 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4061.079
AT ITER 1641 NEW BEST:: SOT 18212 SOS 5068 HAS SOPS 5068 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4061.068
AT ITER 1648 NEW BEST:: SOT 18212 SOS 5059 HAS SOPS 5059 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4052.059
AT ITER 1686 NEW BEST:: SOT 18251 SOS 4934 HAS SOPS 4934 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4005.934
AT ITER 1706 NEW BEST:: SOT 18219 SOS 4870 HAS SOPS 4870 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.87
AT ITER 1740 NEW BEST:: SOT 18218 SOS 4867 HAS SOPS 4867 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4003.867
AT ITER 1767 NEW BEST:: SOT 18216 SOS 4860 HAS SOPS 4860 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3996.86
AT ITER 1796 NEW BEST:: SOT 18185 SOS 4787 HAS SOPS 4787 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3971.787
AT ITER 1819 NEW BEST:: SOT 18181 SOS 4783 HAS SOPS 4783 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.783
AT ITER 1838 NEW BEST:: SOT 18186 SOS 4773 HAS SOPS 4773 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3953.773
AT ITER 1839 NEW BEST:: SOT 18167 SOS 4789 HAS SOPS 4789 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3946.789
AT ITER 1889 NEW BEST:: SOT 18157 SOS 4779 HAS SOPS 4779 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.779
AT ITER 1890 NEW BEST:: SOT 18145 SOS 4767 HAS SOPS 4767 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3924.767
AT ITER 1898 NEW BEST:: SOT 18139 SOS 4755 HAS SOPS 4755 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3921.755
AT ITER 1917 NEW BEST:: SOT 18142 SOS 4756 HAS SOPS 4756 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3917.756
AT ITER 1937 NEW BEST:: SOT 18144 SOS 4754 HAS SOPS 4754 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.754
AT ITER 1981 NEW BEST:: SOT 18140 SOS 4720 HAS SOPS 4720 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3900.72
AT ITER 1982 NEW BEST:: SOT 18140 SOS 4702 HAS SOPS 4702 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3900.702
AT ITER 1995 NEW BEST:: SOT 18140 SOS 4716 HAS SOPS 4716 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.716
AT ITER 2014 NEW BEST:: SOT 18138 SOS 4715 HAS SOPS 4715 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.715
AT ITER 2025 NEW BEST:: SOT 18139 SOS 4711 HAS SOPS 4711 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3891.711
AT ITER 2033 NEW BEST:: SOT 18148 SOS 4696 HAS SOPS 4696 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.696
AT ITER 2034 NEW BEST:: SOT 18135 SOS 4683 HAS SOPS 4683 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3876.683
AT ITER 2038 NEW BEST:: SOT 18135 SOS 4679 HAS SOPS 4679 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3876.679
AT ITER 2081 NEW BEST:: SOT 18135 SOS 4667 HAS SOPS 4667 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3870.667
AT ITER 2104 NEW BEST:: SOT 18135 SOS 4627 HAS SOPS 4627 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.627
AT ITER 2228 NEW BEST:: SOT 18135 SOS 4623 HAS SOPS 4623 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.623
AT ITER 2339 NEW BEST:: SOT 18111 SOS 4599 HAS SOPS 4599 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.599
AT ITER 2349 NEW BEST:: SOT 18111 SOS 4599 HAS SOPS 4599 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3816.599
AT ITER 2350 NEW BEST:: SOT 18101 SOS 4526 HAS SOPS 4526 HAS SOUS 3794 HAS SOUPS 3794 WITH SCORE 3798.526
AT ITER 2416 NEW BEST:: SOT 18101 SOS 4518 HAS SOPS 4518 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3774.518
AT ITER 2419 NEW BEST:: SOT 18065 SOS 4494 HAS SOPS 4494 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3738.494
AT ITER 2493 NEW BEST:: SOT 18068 SOS 4490 HAS SOPS 4490 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3738.49
AT ITER 2514 NEW BEST:: SOT 18072 SOS 4502 HAS SOPS 4502 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3712.502
AT ITER 2528 NEW BEST:: SOT 18068 SOS 4494 HAS SOPS 4494 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.494
AT ITER 2564 NEW BEST:: SOT 18068 SOS 4494 HAS SOPS 4494 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3691.494
AT ITER 2571 NEW BEST:: SOT 18068 SOS 4493 HAS SOPS 4493 HAS SOUS 3686 HAS SOUPS 3686 WITH SCORE 3690.493
AT ITER 2582 NEW BEST:: SOT 18064 SOS 4492 HAS SOPS 4492 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3686.492
AT ITER 2584 NEW BEST:: SOT 18063 SOS 4491 HAS SOPS 4491 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3685.491
AT ITER 2767 NEW BEST:: SOT 18059 SOS 4487 HAS SOPS 4487 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.487
AT ITER 2771 NEW BEST:: SOT 18057 SOS 4497 HAS SOPS 4497 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3679.497
AT ITER 2800 NEW BEST:: SOT 18048 SOS 4479 HAS SOPS 4479 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3662.479
AT ITER 2810 NEW BEST:: SOT 18044 SOS 4468 HAS SOPS 4468 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3655.468
AT ITER 2912 NEW BEST:: SOT 18036 SOS 4442 HAS SOPS 4442 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3641.442
AT ITER 2922 NEW BEST:: SOT 18036 SOS 4441 HAS SOPS 4441 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3640.441
AT ITER 2927 NEW BEST:: SOT 18034 SOS 4433 HAS SOPS 4433 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3635.433
AT ITER 2930 NEW BEST:: SOT 18032 SOS 4431 HAS SOPS 4431 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.431
AT ITER 2935 NEW BEST:: SOT 18032 SOS 4420 HAS SOPS 4420 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3618.42
AT ITER 2938 NEW BEST:: SOT 18030 SOS 4414 HAS SOPS 4414 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3618.414
AT ITER 2943 NEW BEST:: SOT 18026 SOS 4410 HAS SOPS 4410 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3614.41
AT ITER 2946 NEW BEST:: SOT 18022 SOS 4415 HAS SOPS 4415 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3577.415
AT ITER 2962 NEW BEST:: SOT 18022 SOS 4414 HAS SOPS 4414 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3576.414
AT ITER 2976 NEW BEST:: SOT 18020 SOS 4410 HAS SOPS 4410 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3572.41
AT ITER 3000 NEW BEST:: SOT 18011 SOS 4408 HAS SOPS 4408 HAS SOUS 3567 HAS SOUPS 3567 WITH SCORE 3571.408
AT ITER 3012 NEW BEST:: SOT 18011 SOS 4408 HAS SOPS 4408 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3570.408
AT ITER 3195 NEW BEST:: SOT 18009 SOS 4410 HAS SOPS 4410 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3568.41
AT ITER 3200 NEW BEST:: SOT 17986 SOS 4396 HAS SOPS 4396 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3554.396
AT ITER 3330 NEW BEST:: SOT 17983 SOS 4418 HAS SOPS 4418 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3544.418
AT ITER 3465 NEW BEST:: SOT 17973 SOS 4408 HAS SOPS 4408 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3534.408
AT ITER 3514 NEW BEST:: SOT 17973 SOS 4407 HAS SOPS 4407 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3533.407
AT ITER 3519 NEW BEST:: SOT 17975 SOS 4409 HAS SOPS 4409 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3523.409
AT ITER 3536 NEW BEST:: SOT 17975 SOS 4404 HAS SOPS 4404 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3521.404
AT ITER 3537 NEW BEST:: SOT 18003 SOS 4398 HAS SOPS 4398 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3521.398
AT ITER 3540 NEW BEST:: SOT 18003 SOS 4390 HAS SOPS 4390 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3521.39
AT ITER 3553 NEW BEST:: SOT 17989 SOS 4442 HAS SOPS 4442 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3507.442
AT ITER 3615 NEW BEST:: SOT 17989 SOS 4441 HAS SOPS 4441 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3507.441
AT ITER 3619 NEW BEST:: SOT 17987 SOS 4435 HAS SOPS 4435 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3505.435
AT ITER 3625 NEW BEST:: SOT 17987 SOS 4424 HAS SOPS 4424 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.424
AT ITER 3628 NEW BEST:: SOT 17989 SOS 4424 HAS SOPS 4424 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3491.424
AT ITER 3643 NEW BEST:: SOT 17986 SOS 4421 HAS SOPS 4421 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3491.421
AT ITER 3744 NEW BEST:: SOT 17986 SOS 4419 HAS SOPS 4419 HAS SOUS 3485 HAS SOUPS 3485 WITH SCORE 3489.419
AT ITER 3813 NEW BEST:: SOT 17991 SOS 4414 HAS SOPS 4414 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3484.414
AT ITER 3827 NEW BEST:: SOT 17991 SOS 4405 HAS SOPS 4405 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3484.405
AT ITER 3832 NEW BEST:: SOT 17983 SOS 4405 HAS SOPS 4405 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3478.405
AT ITER 3849 NEW BEST:: SOT 17983 SOS 4403 HAS SOPS 4403 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.403
AT ITER 3878 NEW BEST:: SOT 17979 SOS 4386 HAS SOPS 4386 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3468.386
AT ITER 3932 NEW BEST:: SOT 17978 SOS 4385 HAS SOPS 4385 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3466.385
AT ITER 3971 NEW BEST:: SOT 17977 SOS 4375 HAS SOPS 4375 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3456.375
AT ITER 3993 NEW BEST:: SOT 17977 SOS 4378 HAS SOPS 4378 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3455.378
AT ITER 3998 NEW BEST:: SOT 17975 SOS 4366 HAS SOPS 4366 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3449.366
AT ITER 4064 NEW BEST:: SOT 17975 SOS 4361 HAS SOPS 4361 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3444.361
AT ITER 4248 NEW BEST:: SOT 17975 SOS 4360 HAS SOPS 4360 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3443.36
AT ITER 4325 NEW BEST:: SOT 17975 SOS 4332 HAS SOPS 4332 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3436.332
AT ITER 4406 NEW BEST:: SOT 17968 SOS 4330 HAS SOPS 4330 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3434.33
AT ITER 4420 NEW BEST:: SOT 17963 SOS 4324 HAS SOPS 4324 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.324
AT ITER 4431 NEW BEST:: SOT 17960 SOS 4314 HAS SOPS 4314 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3422.314
AT ITER 4432 NEW BEST:: SOT 17957 SOS 4311 HAS SOPS 4311 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3417.311
AT ITER 4453 NEW BEST:: SOT 17958 SOS 4301 HAS SOPS 4301 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3417.301
AT ITER 4503 NEW BEST:: SOT 17958 SOS 4299 HAS SOPS 4299 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3415.299
AT ITER 4507 NEW BEST:: SOT 17955 SOS 4291 HAS SOPS 4291 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3412.291
AT ITER 4523 NEW BEST:: SOT 17954 SOS 4290 HAS SOPS 4290 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3412.29
AT ITER 4530 NEW BEST:: SOT 17949 SOS 4280 HAS SOPS 4280 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3402.28
AT ITER 4565 NEW BEST:: SOT 17944 SOS 4214 HAS SOPS 4214 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3397.214
AT ITER 4610 NEW BEST:: SOT 17944 SOS 4205 HAS SOPS 4205 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3395.205
AT ITER 4670 NEW BEST:: SOT 17944 SOS 4204 HAS SOPS 4204 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3394.204
AT ITER 4680 NEW BEST:: SOT 17944 SOS 4191 HAS SOPS 4191 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3394.191
AT ITER 4703 NEW BEST:: SOT 17942 SOS 4190 HAS SOPS 4190 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3392.19
AT ITER 4736 NEW BEST:: SOT 17944 SOS 4191 HAS SOPS 4191 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3391.191
AT ITER 4741 NEW BEST:: SOT 17947 SOS 4191 HAS SOPS 4191 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3388.191
AT ITER 4785 NEW BEST:: SOT 17945 SOS 4187 HAS SOPS 4187 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3380.187
AT ITER 4801 NEW BEST:: SOT 17945 SOS 4183 HAS SOPS 4183 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3376.183
AT ITER 4829 NEW BEST:: SOT 17939 SOS 4177 HAS SOPS 4177 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3370.177
AT ITER 4834 NEW BEST:: SOT 17939 SOS 4170 HAS SOPS 4170 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3363.17
AT ITER 4903 NEW BEST:: SOT 17934 SOS 4167 HAS SOPS 4167 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3360.167
AT ITER 4924 NEW BEST:: SOT 17935 SOS 4163 HAS SOPS 4163 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3356.163
AT ITER 5056 NEW BEST:: SOT 17934 SOS 4169 HAS SOPS 4169 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3355.169
AT ITER 5102 NEW BEST:: SOT 17934 SOS 4168 HAS SOPS 4168 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3354.168
AT ITER 5179 NEW BEST:: SOT 17933 SOS 4166 HAS SOPS 4166 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3352.166
AT ITER 5201 NEW BEST:: SOT 17920 SOS 4152 HAS SOPS 4152 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3331.152
AT ITER 5210 NEW BEST:: SOT 17920 SOS 4152 HAS SOPS 4152 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3326.152
AT ITER 5242 NEW BEST:: SOT 17920 SOS 4133 HAS SOPS 4133 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3326.133
AT ITER 5264 NEW BEST:: SOT 17903 SOS 4119 HAS SOPS 4119 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3312.119
AT ITER 5268 NEW BEST:: SOT 17902 SOS 4113 HAS SOPS 4113 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3310.113
AT ITER 5307 NEW BEST:: SOT 17900 SOS 4102 HAS SOPS 4102 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3303.102
AT ITER 5332 NEW BEST:: SOT 17899 SOS 4101 HAS SOPS 4101 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3303.101
AT ITER 5394 NEW BEST:: SOT 17901 SOS 4097 HAS SOPS 4097 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3299.097
AT ITER 5414 NEW BEST:: SOT 17894 SOS 4090 HAS SOPS 4090 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3292.09
AT ITER 5433 NEW BEST:: SOT 17883 SOS 4071 HAS SOPS 4071 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3280.071
AT ITER 5598 NEW BEST:: SOT 17869 SOS 4057 HAS SOPS 4057 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3266.057
AT ITER 5653 NEW BEST:: SOT 17863 SOS 4058 HAS SOPS 4058 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3260.058
AT ITER 5673 NEW BEST:: SOT 17870 SOS 4022 HAS SOPS 4022 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3260.022
AT ITER 5696 NEW BEST:: SOT 17868 SOS 4013 HAS SOPS 4013 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3251.013
AT ITER 5697 NEW BEST:: SOT 17869 SOS 4023 HAS SOPS 4023 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3247.023
AT ITER 5707 NEW BEST:: SOT 17868 SOS 4018 HAS SOPS 4018 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3245.018
AT ITER 5753 NEW BEST:: SOT 17858 SOS 4029 HAS SOPS 4029 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3237.029
AT ITER 5788 NEW BEST:: SOT 17857 SOS 4027 HAS SOPS 4027 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3232.027
AT ITER 5890 NEW BEST:: SOT 17859 SOS 4025 HAS SOPS 4025 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3230.025
AT ITER 5919 NEW BEST:: SOT 17857 SOS 4023 HAS SOPS 4023 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3228.023
AT ITER 5937 NEW BEST:: SOT 17857 SOS 4018 HAS SOPS 4018 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3225.018
AT ITER 5967 NEW BEST:: SOT 17855 SOS 4013 HAS SOPS 4013 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3223.013
AT ITER 5968 NEW BEST:: SOT 17854 SOS 4018 HAS SOPS 4018 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3219.018
AT ITER 5971 NEW BEST:: SOT 17853 SOS 4014 HAS SOPS 4014 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3217.014
AT ITER 5985 NEW BEST:: SOT 17846 SOS 4005 HAS SOPS 4005 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3208.005
AT ITER 6017 NEW BEST:: SOT 17844 SOS 3999 HAS SOPS 3999 HAS SOUS 3198 HAS SOUPS 3198 WITH SCORE 3201.999
AT ITER 6109 NEW BEST:: SOT 17844 SOS 3998 HAS SOPS 3998 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3200.998
AT ITER 6157 NEW BEST:: SOT 17844 SOS 3997 HAS SOPS 3997 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.997
AT ITER 6163 NEW BEST:: SOT 17844 SOS 3990 HAS SOPS 3990 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.99
AT ITER 6180 NEW BEST:: SOT 17842 SOS 3988 HAS SOPS 3988 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.988
AT ITER 6230 NEW BEST:: SOT 17838 SOS 3980 HAS SOPS 3980 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.98
AT ITER 6233 NEW BEST:: SOT 17835 SOS 3973 HAS SOPS 3973 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.973
AT ITER 6236 NEW BEST:: SOT 17828 SOS 3970 HAS SOPS 3970 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3185.97
AT ITER 6314 NEW BEST:: SOT 17825 SOS 3942 HAS SOPS 3942 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.942
AT ITER 6394 NEW BEST:: SOT 17823 SOS 3940 HAS SOPS 3940 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3176.94
AT ITER 6538 NEW BEST:: SOT 17826 SOS 3944 HAS SOPS 3944 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3167.944
AT ITER 6595 NEW BEST:: SOT 17830 SOS 3917 HAS SOPS 3917 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3161.917
AT ITER 6677 NEW BEST:: SOT 17829 SOS 3916 HAS SOPS 3916 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3159.916
AT ITER 6854 NEW BEST:: SOT 17829 SOS 3898 HAS SOPS 3898 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3159.898
AT ITER 6979 NEW BEST:: SOT 17809 SOS 3878 HAS SOPS 3878 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3139.878
AT ITER 7001 NEW BEST:: SOT 17807 SOS 3876 HAS SOPS 3876 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.876
AT ITER 7140 NEW BEST:: SOT 17795 SOS 3872 HAS SOPS 3872 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.872
AT ITER 7181 NEW BEST:: SOT 17790 SOS 3872 HAS SOPS 3872 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3132.872
AT ITER 7187 NEW BEST:: SOT 17789 SOS 3864 HAS SOPS 3864 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.864
AT ITER 7194 NEW BEST:: SOT 17781 SOS 3848 HAS SOPS 3848 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3119.848
AT ITER 7253 NEW BEST:: SOT 17770 SOS 3770 HAS SOPS 3770 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.77
AT ITER 7351 NEW BEST:: SOT 17766 SOS 3766 HAS SOPS 3766 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.766
AT ITER 7379 NEW BEST:: SOT 17762 SOS 3762 HAS SOPS 3762 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.762
AT ITER 7391 NEW BEST:: SOT 17761 SOS 3771 HAS SOPS 3771 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3079.771
AT ITER 7480 NEW BEST:: SOT 17758 SOS 3761 HAS SOPS 3761 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.761
AT ITER 7500 NEW BEST:: SOT 17754 SOS 3749 HAS SOPS 3749 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.749
AT ITER 7504 NEW BEST:: SOT 17754 SOS 3740 HAS SOPS 3740 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.74
AT ITER 7593 NEW BEST:: SOT 17764 SOS 3730 HAS SOPS 3730 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.73
AT ITER 7597 NEW BEST:: SOT 17768 SOS 3723 HAS SOPS 3723 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3065.723
AT ITER 7612 NEW BEST:: SOT 17767 SOS 3720 HAS SOPS 3720 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.72
AT ITER 7816 NEW BEST:: SOT 17766 SOS 3719 HAS SOPS 3719 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3062.719
AT ITER 7864 NEW BEST:: SOT 17766 SOS 3719 HAS SOPS 3719 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.719
AT ITER 7910 NEW BEST:: SOT 17766 SOS 3718 HAS SOPS 3718 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.718
AT ITER 7973 NEW BEST:: SOT 17760 SOS 3721 HAS SOPS 3721 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.721
AT ITER 7986 NEW BEST:: SOT 17759 SOS 3726 HAS SOPS 3726 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.726
AT ITER 8071 NEW BEST:: SOT 17759 SOS 3723 HAS SOPS 3723 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.723
AT ITER 8106 NEW BEST:: SOT 17753 SOS 3705 HAS SOPS 3705 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3032.705
AT ITER 8277 NEW BEST:: SOT 17745 SOS 3693 HAS SOPS 3693 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.693
AT ITER 8294 NEW BEST:: SOT 17745 SOS 3689 HAS SOPS 3689 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3023.689
AT ITER 8387 NEW BEST:: SOT 17743 SOS 3686 HAS SOPS 3686 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3021.686
AT ITER 8390 NEW BEST:: SOT 17743 SOS 3685 HAS SOPS 3685 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.685
AT ITER 8439 NEW BEST:: SOT 17741 SOS 3681 HAS SOPS 3681 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3018.681
AT ITER 8472 NEW BEST:: SOT 17739 SOS 3656 HAS SOPS 3656 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3015.656
AT ITER 8608 NEW BEST:: SOT 17738 SOS 3664 HAS SOPS 3664 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.664
AT ITER 8704 NEW BEST:: SOT 17736 SOS 3662 HAS SOPS 3662 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3012.662
AT ITER 8711 NEW BEST:: SOT 17738 SOS 3664 HAS SOPS 3664 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3011.664
AT ITER 8911 NEW BEST:: SOT 17737 SOS 3659 HAS SOPS 3659 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3006.659
AT ITER 9086 NEW BEST:: SOT 17735 SOS 3659 HAS SOPS 3659 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.659
AT ITER 9194 NEW BEST:: SOT 17735 SOS 3659 HAS SOPS 3659 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.659
AT ITER 9212 NEW BEST:: SOT 17733 SOS 3657 HAS SOPS 3657 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.657
AT ITER 9252 NEW BEST:: SOT 17732 SOS 3655 HAS SOPS 3655 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.655
AT ITER 9342 NEW BEST:: SOT 17733 SOS 3653 HAS SOPS 3653 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.653
AT ITER 9347 NEW BEST:: SOT 17731 SOS 3649 HAS SOPS 3649 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2993.649
AT ITER 9419 NEW BEST:: SOT 17729 SOS 3644 HAS SOPS 3644 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.644
AT ITER 9593 NEW BEST:: SOT 17729 SOS 3642 HAS SOPS 3642 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2989.642
AT ITER 9713 NEW BEST:: SOT 17720 SOS 3652 HAS SOPS 3652 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.652
AT ITER 9741 NEW BEST:: SOT 17722 SOS 3647 HAS SOPS 3647 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.647
AT ITER 9764 NEW BEST:: SOT 17715 SOS 3639 HAS SOPS 3639 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.639
AT ITER 9859 NEW BEST:: SOT 17717 SOS 3637 HAS SOPS 3637 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.637
AT ITER 9878 NEW BEST:: SOT 17713 SOS 3630 HAS SOPS 3630 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2974.63
AT ITER 9898 NEW BEST:: SOT 17707 SOS 3618 HAS SOPS 3618 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2968.618
AT ITER 9933 NEW BEST:: SOT 17706 SOS 3613 HAS SOPS 3613 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2968.613
AT ITER 9968 NEW BEST:: SOT 17706 SOS 3612 HAS SOPS 3612 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2967.612
AT ITER 9970 NEW BEST:: SOT 17699 SOS 3611 HAS SOPS 3611 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2966.611

BK_TIME_CONFINEMENT_REACHED

--------------------
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="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"

# 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-4028"
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 r207-tajo-159033469000088"
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 ;