Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973300064.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVs-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973300064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 8.9K Feb 26 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 18:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 18:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 18:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 18:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 18:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 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 1679088516978

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=ShieldRVs-PT-004B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 004B
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: 163 places, 183 transitions, 576 arcs.
AT ITER 0 NEW BEST:: SOT 16626 SOS 5928 HAS SOPS 5928 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4792.928
AT ITER 4 NEW BEST:: SOT 16626 SOS 5934 HAS SOPS 5934 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4777.934
AT ITER 10 NEW BEST:: SOT 16608 SOS 5916 HAS SOPS 5916 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.916
AT ITER 12 NEW BEST:: SOT 16606 SOS 5914 HAS SOPS 5914 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.914
AT ITER 24 NEW BEST:: SOT 16606 SOS 5913 HAS SOPS 5913 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4758.913
AT ITER 28 NEW BEST:: SOT 16595 SOS 5919 HAS SOPS 5919 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.919
AT ITER 79 NEW BEST:: SOT 16568 SOS 5909 HAS SOPS 5909 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4720.909
AT ITER 82 NEW BEST:: SOT 16575 SOS 5923 HAS SOPS 5923 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.923
AT ITER 83 NEW BEST:: SOT 16548 SOS 5896 HAS SOPS 5896 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4686.896
AT ITER 94 NEW BEST:: SOT 16523 SOS 5883 HAS SOPS 5883 HAS SOUS 4608 HAS SOUPS 4608 WITH SCORE 4613.883
AT ITER 109 NEW BEST:: SOT 16502 SOS 5743 HAS SOPS 5743 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4609.743
AT ITER 114 NEW BEST:: SOT 16502 SOS 5736 HAS SOPS 5736 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4609.736
AT ITER 148 NEW BEST:: SOT 16507 SOS 5739 HAS SOPS 5739 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4607.739
AT ITER 149 NEW BEST:: SOT 16508 SOS 5739 HAS SOPS 5739 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4586.739
AT ITER 157 NEW BEST:: SOT 16546 SOS 5781 HAS SOPS 5781 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4519.781
AT ITER 181 NEW BEST:: SOT 16548 SOS 5779 HAS SOPS 5779 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4519.779
AT ITER 182 NEW BEST:: SOT 16548 SOS 5775 HAS SOPS 5775 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4518.775
AT ITER 211 NEW BEST:: SOT 16565 SOS 5741 HAS SOPS 5741 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4518.741
AT ITER 236 NEW BEST:: SOT 16567 SOS 5775 HAS SOPS 5775 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4507.775
AT ITER 239 NEW BEST:: SOT 16563 SOS 5767 HAS SOPS 5767 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4505.767
AT ITER 305 NEW BEST:: SOT 16562 SOS 5765 HAS SOPS 5765 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4503.765
AT ITER 312 NEW BEST:: SOT 16523 SOS 5726 HAS SOPS 5726 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4464.726
AT ITER 363 NEW BEST:: SOT 16508 SOS 5706 HAS SOPS 5706 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4444.706
AT ITER 376 NEW BEST:: SOT 16507 SOS 5709 HAS SOPS 5709 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4443.709
AT ITER 377 NEW BEST:: SOT 16484 SOS 5567 HAS SOPS 5567 HAS SOUS 4382 HAS SOUPS 4382 WITH SCORE 4387.567
AT ITER 406 NEW BEST:: SOT 16451 SOS 5556 HAS SOPS 5556 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4365.556
AT ITER 412 NEW BEST:: SOT 16438 SOS 5561 HAS SOPS 5561 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4360.561
AT ITER 416 NEW BEST:: SOT 16437 SOS 5560 HAS SOPS 5560 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4359.56
AT ITER 428 NEW BEST:: SOT 16407 SOS 5560 HAS SOPS 5560 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4313.56
AT ITER 445 NEW BEST:: SOT 16407 SOS 5559 HAS SOPS 5559 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4312.559
AT ITER 454 NEW BEST:: SOT 16411 SOS 5661 HAS SOPS 5661 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4299.661
AT ITER 456 NEW BEST:: SOT 16402 SOS 5646 HAS SOPS 5646 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4299.646
AT ITER 460 NEW BEST:: SOT 16402 SOS 5645 HAS SOPS 5645 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4298.645
AT ITER 485 NEW BEST:: SOT 16387 SOS 5630 HAS SOPS 5630 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4283.63
AT ITER 512 NEW BEST:: SOT 16350 SOS 5702 HAS SOPS 5702 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4247.702
AT ITER 517 NEW BEST:: SOT 16347 SOS 5700 HAS SOPS 5700 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4245.7
AT ITER 529 NEW BEST:: SOT 16357 SOS 5697 HAS SOPS 5697 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4244.697
AT ITER 530 NEW BEST:: SOT 16357 SOS 5693 HAS SOPS 5693 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4240.693
AT ITER 564 NEW BEST:: SOT 16351 SOS 5715 HAS SOPS 5715 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4184.715
AT ITER 598 NEW BEST:: SOT 16324 SOS 5689 HAS SOPS 5689 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4157.689
AT ITER 607 NEW BEST:: SOT 16319 SOS 5704 HAS SOPS 5704 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4154.704
AT ITER 642 NEW BEST:: SOT 16319 SOS 5691 HAS SOPS 5691 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.691
AT ITER 659 NEW BEST:: SOT 16308 SOS 5675 HAS SOPS 5675 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4132.675
AT ITER 661 NEW BEST:: SOT 16294 SOS 5655 HAS SOPS 5655 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4114.655
AT ITER 695 NEW BEST:: SOT 16294 SOS 5658 HAS SOPS 5658 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4112.658
AT ITER 699 NEW BEST:: SOT 16293 SOS 5656 HAS SOPS 5656 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4110.656
AT ITER 724 NEW BEST:: SOT 16304 SOS 5647 HAS SOPS 5647 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4101.647
AT ITER 785 NEW BEST:: SOT 16308 SOS 5561 HAS SOPS 5561 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4090.561
AT ITER 787 NEW BEST:: SOT 16307 SOS 5559 HAS SOPS 5559 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.559
AT ITER 809 NEW BEST:: SOT 16303 SOS 5553 HAS SOPS 5553 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4083.553
AT ITER 825 NEW BEST:: SOT 16305 SOS 5551 HAS SOPS 5551 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4081.551
AT ITER 840 NEW BEST:: SOT 16300 SOS 5509 HAS SOPS 5509 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4079.509
AT ITER 858 NEW BEST:: SOT 16247 SOS 5475 HAS SOPS 5475 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4045.475
AT ITER 859 NEW BEST:: SOT 16243 SOS 5464 HAS SOPS 5464 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4034.464
AT ITER 872 NEW BEST:: SOT 16243 SOS 5480 HAS SOPS 5480 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4031.48
AT ITER 882 NEW BEST:: SOT 16243 SOS 5472 HAS SOPS 5472 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4017.472
AT ITER 898 NEW BEST:: SOT 16235 SOS 5465 HAS SOPS 5465 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4010.465
AT ITER 935 NEW BEST:: SOT 16235 SOS 5461 HAS SOPS 5461 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4006.461
AT ITER 992 NEW BEST:: SOT 16233 SOS 5456 HAS SOPS 5456 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4002.456
AT ITER 1014 NEW BEST:: SOT 16235 SOS 5487 HAS SOPS 5487 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3992.487
AT ITER 1019 NEW BEST:: SOT 16235 SOS 5485 HAS SOPS 5485 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3990.485
AT ITER 1029 NEW BEST:: SOT 16236 SOS 5484 HAS SOPS 5484 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3989.484
AT ITER 1045 NEW BEST:: SOT 16231 SOS 5478 HAS SOPS 5478 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3984.478
AT ITER 1079 NEW BEST:: SOT 16227 SOS 5472 HAS SOPS 5472 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3978.472
AT ITER 1100 NEW BEST:: SOT 16227 SOS 5452 HAS SOPS 5452 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3978.452
AT ITER 1106 NEW BEST:: SOT 16228 SOS 5448 HAS SOPS 5448 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3974.448
AT ITER 1111 NEW BEST:: SOT 16227 SOS 5444 HAS SOPS 5444 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3970.444
AT ITER 1130 NEW BEST:: SOT 16227 SOS 5443 HAS SOPS 5443 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3969.443
AT ITER 1153 NEW BEST:: SOT 16227 SOS 5442 HAS SOPS 5442 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3968.442
AT ITER 1165 NEW BEST:: SOT 16220 SOS 5435 HAS SOPS 5435 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3945.435
AT ITER 1171 NEW BEST:: SOT 16174 SOS 5490 HAS SOPS 5490 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3917.49
AT ITER 1173 NEW BEST:: SOT 16176 SOS 5465 HAS SOPS 5465 HAS SOUS 3908 HAS SOUPS 3908 WITH SCORE 3913.465
AT ITER 1198 NEW BEST:: SOT 16187 SOS 5493 HAS SOPS 5493 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3888.493
AT ITER 1205 NEW BEST:: SOT 16182 SOS 5663 HAS SOPS 5663 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3871.663
AT ITER 1210 NEW BEST:: SOT 16183 SOS 5645 HAS SOPS 5645 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3853.645
AT ITER 1213 NEW BEST:: SOT 16179 SOS 5645 HAS SOPS 5645 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3849.645
AT ITER 1218 NEW BEST:: SOT 16145 SOS 5609 HAS SOPS 5609 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3823.609
AT ITER 1227 NEW BEST:: SOT 16145 SOS 5609 HAS SOPS 5609 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3820.609
AT ITER 1235 NEW BEST:: SOT 16131 SOS 5595 HAS SOPS 5595 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3806.595
AT ITER 1249 NEW BEST:: SOT 16112 SOS 5502 HAS SOPS 5502 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3784.502
AT ITER 1252 NEW BEST:: SOT 16109 SOS 5490 HAS SOPS 5490 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3778.49
AT ITER 1285 NEW BEST:: SOT 16122 SOS 5488 HAS SOPS 5488 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3776.488
AT ITER 1325 NEW BEST:: SOT 16118 SOS 5484 HAS SOPS 5484 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3775.484
AT ITER 1331 NEW BEST:: SOT 16084 SOS 5456 HAS SOPS 5456 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3754.456
AT ITER 1361 NEW BEST:: SOT 16088 SOS 5370 HAS SOPS 5370 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3754.37
AT ITER 1373 NEW BEST:: SOT 16087 SOS 5358 HAS SOPS 5358 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3753.358
AT ITER 1448 NEW BEST:: SOT 16083 SOS 5354 HAS SOPS 5354 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3749.354
AT ITER 1455 NEW BEST:: SOT 16082 SOS 5353 HAS SOPS 5353 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3749.353
AT ITER 1517 NEW BEST:: SOT 16067 SOS 5336 HAS SOPS 5336 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3732.336
AT ITER 1526 NEW BEST:: SOT 16059 SOS 5269 HAS SOPS 5269 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3716.269
AT ITER 1528 NEW BEST:: SOT 16055 SOS 5237 HAS SOPS 5237 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3702.237
AT ITER 1537 NEW BEST:: SOT 16047 SOS 5244 HAS SOPS 5244 HAS SOUS 3679 HAS SOUPS 3679 WITH SCORE 3684.244
AT ITER 1541 NEW BEST:: SOT 16047 SOS 5243 HAS SOPS 5243 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3683.243
AT ITER 1546 NEW BEST:: SOT 16045 SOS 5249 HAS SOPS 5249 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3681.249
AT ITER 1569 NEW BEST:: SOT 16055 SOS 5259 HAS SOPS 5259 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3679.259
AT ITER 1624 NEW BEST:: SOT 16045 SOS 5219 HAS SOPS 5219 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3669.219
AT ITER 1674 NEW BEST:: SOT 16021 SOS 5195 HAS SOPS 5195 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3654.195
AT ITER 1678 NEW BEST:: SOT 16030 SOS 5173 HAS SOPS 5173 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3653.173
AT ITER 1687 NEW BEST:: SOT 16036 SOS 5173 HAS SOPS 5173 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3649.173
AT ITER 1699 NEW BEST:: SOT 16031 SOS 5165 HAS SOPS 5165 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3641.165
AT ITER 1729 NEW BEST:: SOT 16028 SOS 5159 HAS SOPS 5159 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3638.159
AT ITER 1730 NEW BEST:: SOT 16027 SOS 5157 HAS SOPS 5157 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3637.157
AT ITER 1741 NEW BEST:: SOT 16026 SOS 5155 HAS SOPS 5155 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3634.155
AT ITER 1770 NEW BEST:: SOT 16024 SOS 5145 HAS SOPS 5145 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3627.145
AT ITER 1832 NEW BEST:: SOT 16027 SOS 5115 HAS SOPS 5115 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3600.115
AT ITER 1833 NEW BEST:: SOT 16027 SOS 5094 HAS SOPS 5094 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3593.094
AT ITER 1839 NEW BEST:: SOT 16027 SOS 5092 HAS SOPS 5092 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3591.092
AT ITER 1843 NEW BEST:: SOT 15997 SOS 5056 HAS SOPS 5056 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3555.056
AT ITER 1863 NEW BEST:: SOT 15997 SOS 5029 HAS SOPS 5029 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3553.029
AT ITER 1878 NEW BEST:: SOT 15991 SOS 5017 HAS SOPS 5017 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3547.017
AT ITER 1885 NEW BEST:: SOT 15991 SOS 5020 HAS SOPS 5020 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3546.02
AT ITER 1888 NEW BEST:: SOT 15972 SOS 5022 HAS SOPS 5022 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3528.022
AT ITER 1895 NEW BEST:: SOT 15970 SOS 4990 HAS SOPS 4990 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3523.99
AT ITER 1907 NEW BEST:: SOT 15962 SOS 4989 HAS SOPS 4989 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3517.989
AT ITER 1964 NEW BEST:: SOT 15962 SOS 4983 HAS SOPS 4983 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3516.983
AT ITER 2016 NEW BEST:: SOT 15950 SOS 4983 HAS SOPS 4983 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3481.983
AT ITER 2018 NEW BEST:: SOT 15950 SOS 4982 HAS SOPS 4982 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3480.982
AT ITER 2022 NEW BEST:: SOT 15956 SOS 4945 HAS SOPS 4945 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.945
AT ITER 2047 NEW BEST:: SOT 15942 SOS 4933 HAS SOPS 4933 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.933
AT ITER 2067 NEW BEST:: SOT 15942 SOS 4930 HAS SOPS 4930 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.93
AT ITER 2106 NEW BEST:: SOT 15940 SOS 4928 HAS SOPS 4928 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3461.928
AT ITER 2208 NEW BEST:: SOT 15939 SOS 4926 HAS SOPS 4926 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.926
AT ITER 2237 NEW BEST:: SOT 15932 SOS 4942 HAS SOPS 4942 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3447.942
AT ITER 2256 NEW BEST:: SOT 15927 SOS 4919 HAS SOPS 4919 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3423.919
AT ITER 2310 NEW BEST:: SOT 15913 SOS 4901 HAS SOPS 4901 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3404.901
AT ITER 2345 NEW BEST:: SOT 15913 SOS 4898 HAS SOPS 4898 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.898
AT ITER 2350 NEW BEST:: SOT 15912 SOS 4894 HAS SOPS 4894 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3400.894
AT ITER 2353 NEW BEST:: SOT 15898 SOS 4902 HAS SOPS 4902 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3392.902
AT ITER 2360 NEW BEST:: SOT 15894 SOS 4894 HAS SOPS 4894 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3384.894
AT ITER 2392 NEW BEST:: SOT 15889 SOS 4884 HAS SOPS 4884 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3374.884
AT ITER 2441 NEW BEST:: SOT 15885 SOS 4876 HAS SOPS 4876 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3366.876
AT ITER 2464 NEW BEST:: SOT 15886 SOS 4853 HAS SOPS 4853 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3363.853
AT ITER 2486 NEW BEST:: SOT 15884 SOS 4847 HAS SOPS 4847 HAS SOUS 3353 HAS SOUPS 3353 WITH SCORE 3357.847
AT ITER 2496 NEW BEST:: SOT 15884 SOS 4845 HAS SOPS 4845 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3356.845
AT ITER 2508 NEW BEST:: SOT 15881 SOS 4838 HAS SOPS 4838 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3351.838
AT ITER 2546 NEW BEST:: SOT 15876 SOS 4842 HAS SOPS 4842 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3349.842
AT ITER 2557 NEW BEST:: SOT 15875 SOS 4735 HAS SOPS 4735 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3347.735
AT ITER 2569 NEW BEST:: SOT 15868 SOS 4721 HAS SOPS 4721 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3333.721
AT ITER 2632 NEW BEST:: SOT 15866 SOS 4717 HAS SOPS 4717 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3331.717
AT ITER 2652 NEW BEST:: SOT 15863 SOS 4711 HAS SOPS 4711 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3328.711
AT ITER 2659 NEW BEST:: SOT 15868 SOS 4703 HAS SOPS 4703 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3325.703
AT ITER 2670 NEW BEST:: SOT 15857 SOS 4692 HAS SOPS 4692 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3314.692
AT ITER 2688 NEW BEST:: SOT 15851 SOS 4686 HAS SOPS 4686 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3298.686
AT ITER 2787 NEW BEST:: SOT 15850 SOS 4695 HAS SOPS 4695 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3294.695
AT ITER 2788 NEW BEST:: SOT 15850 SOS 4691 HAS SOPS 4691 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3290.691
AT ITER 2877 NEW BEST:: SOT 15849 SOS 4691 HAS SOPS 4691 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3288.691
AT ITER 2936 NEW BEST:: SOT 15849 SOS 4682 HAS SOPS 4682 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3285.682
AT ITER 2992 NEW BEST:: SOT 15845 SOS 4681 HAS SOPS 4681 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3284.681
AT ITER 3033 NEW BEST:: SOT 15848 SOS 4675 HAS SOPS 4675 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3272.675
AT ITER 3049 NEW BEST:: SOT 15846 SOS 4673 HAS SOPS 4673 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3271.673
AT ITER 3053 NEW BEST:: SOT 15845 SOS 4669 HAS SOPS 4669 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3270.669
AT ITER 3172 NEW BEST:: SOT 15838 SOS 4730 HAS SOPS 4730 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3263.73
AT ITER 3181 NEW BEST:: SOT 15836 SOS 4726 HAS SOPS 4726 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3259.726
AT ITER 3190 NEW BEST:: SOT 15823 SOS 4700 HAS SOPS 4700 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3250.7
AT ITER 3317 NEW BEST:: SOT 15817 SOS 4700 HAS SOPS 4700 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3244.7
AT ITER 3346 NEW BEST:: SOT 15817 SOS 4693 HAS SOPS 4693 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3243.693
AT ITER 3495 NEW BEST:: SOT 15807 SOS 4683 HAS SOPS 4683 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3233.683
AT ITER 3623 NEW BEST:: SOT 15801 SOS 4677 HAS SOPS 4677 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3227.677
AT ITER 3644 NEW BEST:: SOT 15766 SOS 4633 HAS SOPS 4633 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3206.633
AT ITER 3686 NEW BEST:: SOT 15765 SOS 4631 HAS SOPS 4631 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3205.631
AT ITER 3696 NEW BEST:: SOT 15767 SOS 4620 HAS SOPS 4620 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3192.62
AT ITER 3734 NEW BEST:: SOT 15771 SOS 4601 HAS SOPS 4601 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3189.601
AT ITER 3836 NEW BEST:: SOT 15771 SOS 4597 HAS SOPS 4597 HAS SOUS 3181 HAS SOUPS 3181 WITH SCORE 3185.597
AT ITER 3875 NEW BEST:: SOT 15770 SOS 4595 HAS SOPS 4595 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3183.595
AT ITER 3923 NEW BEST:: SOT 15767 SOS 4645 HAS SOPS 4645 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3180.645
AT ITER 4129 NEW BEST:: SOT 15763 SOS 4644 HAS SOPS 4644 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3179.644
AT ITER 4189 NEW BEST:: SOT 15759 SOS 4632 HAS SOPS 4632 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3175.632
AT ITER 4238 NEW BEST:: SOT 15759 SOS 4630 HAS SOPS 4630 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3172.63
AT ITER 4253 NEW BEST:: SOT 15759 SOS 4618 HAS SOPS 4618 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3172.618
AT ITER 4275 NEW BEST:: SOT 15759 SOS 4587 HAS SOPS 4587 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3166.587
AT ITER 4356 NEW BEST:: SOT 15759 SOS 4585 HAS SOPS 4585 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3162.585
AT ITER 4453 NEW BEST:: SOT 15759 SOS 4607 HAS SOPS 4607 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3158.607
AT ITER 4616 NEW BEST:: SOT 15751 SOS 4630 HAS SOPS 4630 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3157.63
AT ITER 4686 NEW BEST:: SOT 15749 SOS 4626 HAS SOPS 4626 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3153.626
AT ITER 4718 NEW BEST:: SOT 15748 SOS 4624 HAS SOPS 4624 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3152.624
AT ITER 4737 NEW BEST:: SOT 15740 SOS 4620 HAS SOPS 4620 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3148.62
AT ITER 4816 NEW BEST:: SOT 15739 SOS 4612 HAS SOPS 4612 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3146.612
AT ITER 4832 NEW BEST:: SOT 15739 SOS 4614 HAS SOPS 4614 HAS SOUS 3141 HAS SOUPS 3141 WITH SCORE 3145.614
AT ITER 4839 NEW BEST:: SOT 15728 SOS 4603 HAS SOPS 4603 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3134.603
AT ITER 4907 NEW BEST:: SOT 15729 SOS 4604 HAS SOPS 4604 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3132.604
AT ITER 4935 NEW BEST:: SOT 15712 SOS 4588 HAS SOPS 4588 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3124.588
AT ITER 4944 NEW BEST:: SOT 15712 SOS 4587 HAS SOPS 4587 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3124.587
AT ITER 4954 NEW BEST:: SOT 15711 SOS 4586 HAS SOPS 4586 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3123.586
AT ITER 4982 NEW BEST:: SOT 15711 SOS 4564 HAS SOPS 4564 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3098.564
AT ITER 4999 NEW BEST:: SOT 15711 SOS 4563 HAS SOPS 4563 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3097.563
AT ITER 5032 NEW BEST:: SOT 15713 SOS 4562 HAS SOPS 4562 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3095.562
AT ITER 5047 NEW BEST:: SOT 15712 SOS 4561 HAS SOPS 4561 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3094.561
AT ITER 5124 NEW BEST:: SOT 15712 SOS 4560 HAS SOPS 4560 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3093.56
AT ITER 5148 NEW BEST:: SOT 15712 SOS 4578 HAS SOPS 4578 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3086.578
AT ITER 5232 NEW BEST:: SOT 15706 SOS 4529 HAS SOPS 4529 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3080.529
AT ITER 5234 NEW BEST:: SOT 15704 SOS 4531 HAS SOPS 4531 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3078.531
AT ITER 5304 NEW BEST:: SOT 15684 SOS 4551 HAS SOPS 4551 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3052.551
AT ITER 5419 NEW BEST:: SOT 15683 SOS 4554 HAS SOPS 4554 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3051.554
AT ITER 5442 NEW BEST:: SOT 15681 SOS 4552 HAS SOPS 4552 HAS SOUS 3045 HAS SOUPS 3045 WITH SCORE 3049.552
AT ITER 5466 NEW BEST:: SOT 15679 SOS 4534 HAS SOPS 4534 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3045.534
AT ITER 5559 NEW BEST:: SOT 15672 SOS 4521 HAS SOPS 4521 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3043.521
AT ITER 5569 NEW BEST:: SOT 15678 SOS 4485 HAS SOPS 4485 HAS SOUS 3035 HAS SOUPS 3035 WITH SCORE 3039.485
AT ITER 5636 NEW BEST:: SOT 15670 SOS 4465 HAS SOPS 4465 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3031.465
AT ITER 5766 NEW BEST:: SOT 15668 SOS 4461 HAS SOPS 4461 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3027.461
AT ITER 6001 NEW BEST:: SOT 15667 SOS 4459 HAS SOPS 4459 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3025.459
AT ITER 6008 NEW BEST:: SOT 15665 SOS 4457 HAS SOPS 4457 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3023.457
AT ITER 6039 NEW BEST:: SOT 15665 SOS 4453 HAS SOPS 4453 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3023.453
AT ITER 6090 NEW BEST:: SOT 15663 SOS 4451 HAS SOPS 4451 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3021.451
AT ITER 6207 NEW BEST:: SOT 15664 SOS 4452 HAS SOPS 4452 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3012.452
AT ITER 6218 NEW BEST:: SOT 15663 SOS 4451 HAS SOPS 4451 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3011.451
AT ITER 6318 NEW BEST:: SOT 15663 SOS 4443 HAS SOPS 4443 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3011.443
AT ITER 6403 NEW BEST:: SOT 15665 SOS 4447 HAS SOPS 4447 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3008.447
AT ITER 6487 NEW BEST:: SOT 15669 SOS 4461 HAS SOPS 4461 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 3000.461
AT ITER 6571 NEW BEST:: SOT 15672 SOS 4467 HAS SOPS 4467 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2999.467
AT ITER 6705 NEW BEST:: SOT 15670 SOS 4462 HAS SOPS 4462 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2994.462
AT ITER 6712 NEW BEST:: SOT 15669 SOS 4460 HAS SOPS 4460 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2993.46
AT ITER 6742 NEW BEST:: SOT 15660 SOS 4443 HAS SOPS 4443 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2977.443
AT ITER 6747 NEW BEST:: SOT 15660 SOS 4445 HAS SOPS 4445 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2972.445
AT ITER 6769 NEW BEST:: SOT 15660 SOS 4443 HAS SOPS 4443 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2972.443
AT ITER 6820 NEW BEST:: SOT 15661 SOS 4438 HAS SOPS 4438 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2967.438
AT ITER 6883 NEW BEST:: SOT 15661 SOS 4436 HAS SOPS 4436 HAS SOUS 2961 HAS SOUPS 2961 WITH SCORE 2965.436
AT ITER 6897 NEW BEST:: SOT 15661 SOS 4434 HAS SOPS 4434 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2963.434
AT ITER 6904 NEW BEST:: SOT 15663 SOS 4434 HAS SOPS 4434 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2962.434
AT ITER 7088 NEW BEST:: SOT 15664 SOS 4432 HAS SOPS 4432 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2960.432
AT ITER 7252 NEW BEST:: SOT 15662 SOS 4430 HAS SOPS 4430 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2958.43
AT ITER 7319 NEW BEST:: SOT 15660 SOS 4427 HAS SOPS 4427 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2955.427
AT ITER 7321 NEW BEST:: SOT 15657 SOS 4423 HAS SOPS 4423 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2954.423
AT ITER 7372 NEW BEST:: SOT 15657 SOS 4393 HAS SOPS 4393 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2952.393
AT ITER 7496 NEW BEST:: SOT 15639 SOS 4405 HAS SOPS 4405 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2940.405
AT ITER 7655 NEW BEST:: SOT 15635 SOS 4403 HAS SOPS 4403 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2936.403
AT ITER 7745 NEW BEST:: SOT 15635 SOS 4388 HAS SOPS 4388 HAS SOUS 2932 HAS SOUPS 2932 WITH SCORE 2936.388
AT ITER 7787 NEW BEST:: SOT 15630 SOS 4378 HAS SOPS 4378 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2931.378
AT ITER 7844 NEW BEST:: SOT 15630 SOS 4373 HAS SOPS 4373 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2929.373
AT ITER 7846 NEW BEST:: SOT 15634 SOS 4377 HAS SOPS 4377 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2925.377
AT ITER 7858 NEW BEST:: SOT 15625 SOS 4327 HAS SOPS 4327 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2908.327
AT ITER 7938 NEW BEST:: SOT 15619 SOS 4327 HAS SOPS 4327 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2903.327
AT ITER 7940 NEW BEST:: SOT 15617 SOS 4325 HAS SOPS 4325 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2901.325
AT ITER 7942 NEW BEST:: SOT 15615 SOS 4321 HAS SOPS 4321 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2897.321
AT ITER 7974 NEW BEST:: SOT 15611 SOS 4309 HAS SOPS 4309 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2892.309
AT ITER 7975 NEW BEST:: SOT 15608 SOS 4305 HAS SOPS 4305 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2888.305
AT ITER 7980 NEW BEST:: SOT 15608 SOS 4300 HAS SOPS 4300 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2886.3
AT ITER 7993 NEW BEST:: SOT 15607 SOS 4299 HAS SOPS 4299 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2886.299
AT ITER 8156 NEW BEST:: SOT 15593 SOS 4215 HAS SOPS 4215 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2865.215
AT ITER 8281 NEW BEST:: SOT 15590 SOS 4209 HAS SOPS 4209 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2862.209
AT ITER 8336 NEW BEST:: SOT 15590 SOS 4195 HAS SOPS 4195 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2855.195
AT ITER 8536 NEW BEST:: SOT 15601 SOS 4206 HAS SOPS 4206 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2851.206
AT ITER 8723 NEW BEST:: SOT 15604 SOS 4171 HAS SOPS 4171 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2849.171
AT ITER 8951 NEW BEST:: SOT 15606 SOS 4166 HAS SOPS 4166 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2848.166
AT ITER 9036 NEW BEST:: SOT 15606 SOS 4165 HAS SOPS 4165 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2847.165
AT ITER 9154 NEW BEST:: SOT 15609 SOS 4164 HAS SOPS 4164 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2846.164
AT ITER 9182 NEW BEST:: SOT 15599 SOS 4192 HAS SOPS 4192 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2844.192
AT ITER 9265 NEW BEST:: SOT 15594 SOS 4182 HAS SOPS 4182 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2838.182
AT ITER 9359 NEW BEST:: SOT 15596 SOS 4186 HAS SOPS 4186 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2837.186
AT ITER 9389 NEW BEST:: SOT 15593 SOS 4162 HAS SOPS 4162 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2831.162
AT ITER 9501 NEW BEST:: SOT 15593 SOS 4173 HAS SOPS 4173 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2828.173
AT ITER 9619 NEW BEST:: SOT 15591 SOS 4179 HAS SOPS 4179 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2822.179
AT ITER 9683 NEW BEST:: SOT 15598 SOS 4161 HAS SOPS 4161 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2804.161
AT ITER 9932 NEW BEST:: SOT 15597 SOS 4154 HAS SOPS 4154 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2800.154
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 6906024 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16153708 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="ShieldRVs-PT-004B"
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 ShieldRVs-PT-004B, 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 r419-tajo-167905973300064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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