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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 980K
-rw-r--r-- 1 mcc users 15K Feb 25 13:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 13:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 13:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 13:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 46K Feb 25 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 334K Feb 25 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 25 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 111K Feb 25 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 114K Mar 5 18:22 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 1678611030230

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=LamportFastMutEx-PT-4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 4
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: 135 places, 230 transitions, 990 arcs.
AT ITER 0 NEW BEST:: SOT 15625 SOS 9272 HAS SOPS 8170 HAS SOUS 7275 HAS SOUPS 6656 WITH SCORE 6665.272
AT ITER 11 NEW BEST:: SOT 15625 SOS 9263 HAS SOPS 8161 HAS SOUS 7266 HAS SOUPS 6647 WITH SCORE 6656.263
AT ITER 13 NEW BEST:: SOT 15479 SOS 9161 HAS SOPS 8059 HAS SOUS 7134 HAS SOUPS 6515 WITH SCORE 6524.161
AT ITER 16 NEW BEST:: SOT 15432 SOS 9190 HAS SOPS 8009 HAS SOUS 7125 HAS SOUPS 6465 WITH SCORE 6474.19
AT ITER 23 NEW BEST:: SOT 15428 SOS 9182 HAS SOPS 8001 HAS SOUS 7121 HAS SOUPS 6461 WITH SCORE 6470.182
AT ITER 24 NEW BEST:: SOT 15422 SOS 9193 HAS SOPS 8015 HAS SOUS 7115 HAS SOUPS 6458 WITH SCORE 6467.193
AT ITER 30 NEW BEST:: SOT 15176 SOS 9136 HAS SOPS 7659 HAS SOUS 6876 HAS SOUPS 6152 WITH SCORE 6161.136
AT ITER 33 NEW BEST:: SOT 15176 SOS 9126 HAS SOPS 7659 HAS SOUS 6876 HAS SOUPS 6152 WITH SCORE 6161.126
AT ITER 35 NEW BEST:: SOT 15144 SOS 9100 HAS SOPS 7593 HAS SOUS 6807 HAS SOUPS 6083 WITH SCORE 6092.1
AT ITER 47 NEW BEST:: SOT 15143 SOS 9099 HAS SOPS 7577 HAS SOUS 6791 HAS SOUPS 6067 WITH SCORE 6076.099
AT ITER 51 NEW BEST:: SOT 15138 SOS 9094 HAS SOPS 7577 HAS SOUS 6791 HAS SOUPS 6067 WITH SCORE 6076.094
AT ITER 52 NEW BEST:: SOT 15192 SOS 9072 HAS SOPS 7457 HAS SOUS 6759 HAS SOUPS 6035 WITH SCORE 6044.072
AT ITER 69 NEW BEST:: SOT 15327 SOS 9206 HAS SOPS 7449 HAS SOUS 6901 HAS SOUPS 6024 WITH SCORE 6033.206
AT ITER 73 NEW BEST:: SOT 15327 SOS 9190 HAS SOPS 7440 HAS SOUS 6892 HAS SOUPS 6015 WITH SCORE 6024.19
AT ITER 76 NEW BEST:: SOT 15247 SOS 9120 HAS SOPS 7360 HAS SOUS 6822 HAS SOUPS 5935 WITH SCORE 5944.12
AT ITER 77 NEW BEST:: SOT 15288 SOS 9175 HAS SOPS 7434 HAS SOUS 6800 HAS SOUPS 5932 WITH SCORE 5941.175
AT ITER 80 NEW BEST:: SOT 15235 SOS 9130 HAS SOPS 7377 HAS SOUS 6755 HAS SOUPS 5875 WITH SCORE 5884.13
AT ITER 82 NEW BEST:: SOT 15235 SOS 9056 HAS SOPS 7303 HAS SOUS 6743 HAS SOUPS 5863 WITH SCORE 5872.056
AT ITER 91 NEW BEST:: SOT 15262 SOS 9122 HAS SOPS 7232 HAS SOUS 6729 HAS SOUPS 5847 WITH SCORE 5856.122
AT ITER 112 NEW BEST:: SOT 15253 SOS 9113 HAS SOPS 7223 HAS SOUS 6720 HAS SOUPS 5838 WITH SCORE 5847.113
AT ITER 113 NEW BEST:: SOT 15287 SOS 9181 HAS SOPS 7291 HAS SOUS 6652 HAS SOUPS 5770 WITH SCORE 5779.181
AT ITER 116 NEW BEST:: SOT 15231 SOS 9133 HAS SOPS 7235 HAS SOUS 6572 HAS SOUPS 5682 WITH SCORE 5691.133
AT ITER 117 NEW BEST:: SOT 15213 SOS 9137 HAS SOPS 7213 HAS SOUS 6494 HAS SOUPS 5604 WITH SCORE 5613.137
AT ITER 120 NEW BEST:: SOT 15213 SOS 9130 HAS SOPS 7206 HAS SOUS 6487 HAS SOUPS 5597 WITH SCORE 5606.13
AT ITER 123 NEW BEST:: SOT 15213 SOS 9119 HAS SOPS 7195 HAS SOUS 6476 HAS SOUPS 5586 WITH SCORE 5595.119
AT ITER 138 NEW BEST:: SOT 15187 SOS 9143 HAS SOPS 7153 HAS SOUS 6465 HAS SOUPS 5544 WITH SCORE 5553.143
AT ITER 143 NEW BEST:: SOT 15101 SOS 9075 HAS SOPS 7051 HAS SOUS 6483 HAS SOUPS 5522 WITH SCORE 5531.075
AT ITER 159 NEW BEST:: SOT 15080 SOS 9054 HAS SOPS 7026 HAS SOUS 6446 HAS SOUPS 5497 WITH SCORE 5506.054
AT ITER 164 NEW BEST:: SOT 15018 SOS 8977 HAS SOPS 6964 HAS SOUS 6337 HAS SOUPS 5383 WITH SCORE 5391.977
AT ITER 170 NEW BEST:: SOT 15023 SOS 9010 HAS SOPS 6987 HAS SOUS 6297 HAS SOUPS 5343 WITH SCORE 5352.01
AT ITER 172 NEW BEST:: SOT 15018 SOS 8965 HAS SOPS 6903 HAS SOUS 6240 HAS SOUPS 5286 WITH SCORE 5294.965
AT ITER 173 NEW BEST:: SOT 14940 SOS 9081 HAS SOPS 6883 HAS SOUS 6251 HAS SOUPS 5261 WITH SCORE 5270.081
AT ITER 183 NEW BEST:: SOT 14940 SOS 9081 HAS SOPS 6879 HAS SOUS 6247 HAS SOUPS 5257 WITH SCORE 5266.081
AT ITER 195 NEW BEST:: SOT 14940 SOS 9081 HAS SOPS 6876 HAS SOUS 6247 HAS SOUPS 5254 WITH SCORE 5263.081
AT ITER 196 NEW BEST:: SOT 14900 SOS 9069 HAS SOPS 6817 HAS SOUS 6231 HAS SOUPS 5221 WITH SCORE 5230.069
AT ITER 205 NEW BEST:: SOT 14888 SOS 8949 HAS SOPS 6793 HAS SOUS 6207 HAS SOUPS 5209 WITH SCORE 5217.949
AT ITER 206 NEW BEST:: SOT 14782 SOS 8947 HAS SOPS 6652 HAS SOUS 6268 HAS SOUPS 5208 WITH SCORE 5216.947
AT ITER 208 NEW BEST:: SOT 14799 SOS 8956 HAS SOPS 6679 HAS SOUS 6213 HAS SOUPS 5162 WITH SCORE 5170.956
AT ITER 214 NEW BEST:: SOT 14685 SOS 8904 HAS SOPS 6629 HAS SOUS 6143 HAS SOUPS 5090 WITH SCORE 5098.904
AT ITER 220 NEW BEST:: SOT 14685 SOS 8892 HAS SOPS 6591 HAS SOUS 6105 HAS SOUPS 5052 WITH SCORE 5060.892
AT ITER 221 NEW BEST:: SOT 14707 SOS 8878 HAS SOPS 6613 HAS SOUS 6099 HAS SOUPS 5052 WITH SCORE 5060.878
AT ITER 233 NEW BEST:: SOT 14629 SOS 8834 HAS SOPS 6580 HAS SOUS 6057 HAS SOUPS 5010 WITH SCORE 5018.834
AT ITER 244 NEW BEST:: SOT 14534 SOS 8769 HAS SOPS 6509 HAS SOUS 5971 HAS SOUPS 4924 WITH SCORE 4932.769
AT ITER 251 NEW BEST:: SOT 14400 SOS 8713 HAS SOPS 6366 HAS SOUS 5877 HAS SOUPS 4781 WITH SCORE 4789.713
AT ITER 260 NEW BEST:: SOT 14248 SOS 8531 HAS SOPS 6254 HAS SOUS 5707 HAS SOUPS 4613 WITH SCORE 4621.531
AT ITER 284 NEW BEST:: SOT 14242 SOS 8525 HAS SOPS 6240 HAS SOUS 5694 HAS SOUPS 4599 WITH SCORE 4607.525
AT ITER 285 NEW BEST:: SOT 14237 SOS 8503 HAS SOPS 6237 HAS SOUS 5651 HAS SOUPS 4564 WITH SCORE 4572.503
AT ITER 287 NEW BEST:: SOT 14177 SOS 8443 HAS SOPS 6177 HAS SOUS 5591 HAS SOUPS 4504 WITH SCORE 4512.443
AT ITER 334 NEW BEST:: SOT 14176 SOS 8442 HAS SOPS 6175 HAS SOUS 5590 HAS SOUPS 4502 WITH SCORE 4510.442
AT ITER 339 NEW BEST:: SOT 14126 SOS 8405 HAS SOPS 6135 HAS SOUS 5540 HAS SOUPS 4452 WITH SCORE 4460.405
AT ITER 342 NEW BEST:: SOT 14105 SOS 8388 HAS SOPS 6090 HAS SOUS 5493 HAS SOUPS 4405 WITH SCORE 4413.388
AT ITER 344 NEW BEST:: SOT 14105 SOS 8388 HAS SOPS 6089 HAS SOUS 5493 HAS SOUPS 4404 WITH SCORE 4412.388
AT ITER 349 NEW BEST:: SOT 14101 SOS 8388 HAS SOPS 6085 HAS SOUS 5489 HAS SOUPS 4400 WITH SCORE 4408.388
AT ITER 358 NEW BEST:: SOT 14074 SOS 8455 HAS SOPS 6058 HAS SOUS 5512 HAS SOUPS 4381 WITH SCORE 4389.455
AT ITER 374 NEW BEST:: SOT 14074 SOS 8428 HAS SOPS 6031 HAS SOUS 5512 HAS SOUPS 4381 WITH SCORE 4389.428
AT ITER 383 NEW BEST:: SOT 14034 SOS 8368 HAS SOPS 5969 HAS SOUS 5412 HAS SOUPS 4281 WITH SCORE 4289.368
AT ITER 395 NEW BEST:: SOT 14028 SOS 8362 HAS SOPS 5963 HAS SOUS 5406 HAS SOUPS 4275 WITH SCORE 4283.362
AT ITER 430 NEW BEST:: SOT 14056 SOS 8376 HAS SOPS 5951 HAS SOUS 5404 HAS SOUPS 4273 WITH SCORE 4281.376
AT ITER 436 NEW BEST:: SOT 14056 SOS 8341 HAS SOPS 5916 HAS SOUS 5404 HAS SOUPS 4273 WITH SCORE 4281.341
AT ITER 461 NEW BEST:: SOT 14048 SOS 8323 HAS SOPS 5874 HAS SOUS 5399 HAS SOUPS 4268 WITH SCORE 4276.323
AT ITER 466 NEW BEST:: SOT 14035 SOS 8310 HAS SOPS 5852 HAS SOUS 5386 HAS SOUPS 4246 WITH SCORE 4254.31
AT ITER 500 NEW BEST:: SOT 14030 SOS 8305 HAS SOPS 5841 HAS SOUS 5375 HAS SOUPS 4235 WITH SCORE 4243.305
AT ITER 507 NEW BEST:: SOT 14030 SOS 8290 HAS SOPS 5841 HAS SOUS 5360 HAS SOUPS 4223 WITH SCORE 4231.29
AT ITER 510 NEW BEST:: SOT 14030 SOS 8255 HAS SOPS 5806 HAS SOUS 5360 HAS SOUPS 4223 WITH SCORE 4231.255
AT ITER 511 NEW BEST:: SOT 14034 SOS 8252 HAS SOPS 5811 HAS SOUS 5355 HAS SOUPS 4219 WITH SCORE 4227.252
AT ITER 540 NEW BEST:: SOT 14095 SOS 8323 HAS SOPS 5887 HAS SOUS 5332 HAS SOUPS 4196 WITH SCORE 4204.323
AT ITER 550 NEW BEST:: SOT 14042 SOS 8302 HAS SOPS 5817 HAS SOUS 5304 HAS SOUPS 4161 WITH SCORE 4169.302
AT ITER 565 NEW BEST:: SOT 14042 SOS 8298 HAS SOPS 5813 HAS SOUS 5302 HAS SOUPS 4159 WITH SCORE 4167.298
AT ITER 568 NEW BEST:: SOT 14037 SOS 8301 HAS SOPS 5808 HAS SOUS 5318 HAS SOUPS 4154 WITH SCORE 4162.301
AT ITER 571 NEW BEST:: SOT 14038 SOS 8302 HAS SOPS 5803 HAS SOUS 5319 HAS SOUPS 4149 WITH SCORE 4157.302
AT ITER 574 NEW BEST:: SOT 14037 SOS 8303 HAS SOPS 5801 HAS SOUS 5320 HAS SOUPS 4147 WITH SCORE 4155.303
AT ITER 578 NEW BEST:: SOT 14017 SOS 8262 HAS SOPS 5799 HAS SOUS 5258 HAS SOUPS 4100 WITH SCORE 4108.262
AT ITER 587 NEW BEST:: SOT 13989 SOS 8234 HAS SOPS 5771 HAS SOUS 5230 HAS SOUPS 4072 WITH SCORE 4080.234
AT ITER 593 NEW BEST:: SOT 13989 SOS 8230 HAS SOPS 5767 HAS SOUS 5230 HAS SOUPS 4072 WITH SCORE 4080.23
AT ITER 603 NEW BEST:: SOT 13987 SOS 8228 HAS SOPS 5763 HAS SOUS 5226 HAS SOUPS 4068 WITH SCORE 4076.228
AT ITER 612 NEW BEST:: SOT 13942 SOS 8212 HAS SOPS 5721 HAS SOUS 5174 HAS SOUPS 4016 WITH SCORE 4024.212
AT ITER 649 NEW BEST:: SOT 14014 SOS 8160 HAS SOPS 5839 HAS SOUS 5103 HAS SOUPS 3994 WITH SCORE 4002.16
AT ITER 654 NEW BEST:: SOT 14010 SOS 8162 HAS SOPS 5837 HAS SOUS 5098 HAS SOUPS 3989 WITH SCORE 3997.162
AT ITER 697 NEW BEST:: SOT 14010 SOS 8153 HAS SOPS 5828 HAS SOUS 5093 HAS SOUPS 3984 WITH SCORE 3992.153
AT ITER 717 NEW BEST:: SOT 13991 SOS 8134 HAS SOPS 5809 HAS SOUS 5074 HAS SOUPS 3965 WITH SCORE 3973.134
AT ITER 748 NEW BEST:: SOT 13995 SOS 8134 HAS SOPS 5807 HAS SOUS 5076 HAS SOUPS 3963 WITH SCORE 3971.134
AT ITER 749 NEW BEST:: SOT 13989 SOS 8128 HAS SOPS 5806 HAS SOUS 5075 HAS SOUPS 3962 WITH SCORE 3970.128
AT ITER 780 NEW BEST:: SOT 13979 SOS 8118 HAS SOPS 5786 HAS SOUS 5064 HAS SOUPS 3942 WITH SCORE 3950.118
AT ITER 790 NEW BEST:: SOT 13974 SOS 8118 HAS SOPS 5781 HAS SOUS 5059 HAS SOUPS 3937 WITH SCORE 3945.118
AT ITER 807 NEW BEST:: SOT 13954 SOS 8106 HAS SOPS 5761 HAS SOUS 5019 HAS SOUPS 3897 WITH SCORE 3905.106
AT ITER 834 NEW BEST:: SOT 13932 SOS 8084 HAS SOPS 5739 HAS SOUS 4997 HAS SOUPS 3875 WITH SCORE 3883.084
AT ITER 863 NEW BEST:: SOT 13930 SOS 8082 HAS SOPS 5737 HAS SOUS 4995 HAS SOUPS 3873 WITH SCORE 3881.082
AT ITER 869 NEW BEST:: SOT 13877 SOS 8017 HAS SOPS 5663 HAS SOUS 4995 HAS SOUPS 3873 WITH SCORE 3881.017
AT ITER 874 NEW BEST:: SOT 13873 SOS 7995 HAS SOPS 5681 HAS SOUS 4979 HAS SOUPS 3872 WITH SCORE 3879.995
AT ITER 916 NEW BEST:: SOT 13887 SOS 8019 HAS SOPS 5705 HAS SOUS 4967 HAS SOUPS 3860 WITH SCORE 3868.019
AT ITER 920 NEW BEST:: SOT 13863 SOS 7995 HAS SOPS 5661 HAS SOUS 4923 HAS SOUPS 3816 WITH SCORE 3823.995
AT ITER 924 NEW BEST:: SOT 13859 SOS 7991 HAS SOPS 5657 HAS SOUS 4919 HAS SOUPS 3812 WITH SCORE 3819.991
AT ITER 928 NEW BEST:: SOT 13857 SOS 7991 HAS SOPS 5657 HAS SOUS 4918 HAS SOUPS 3811 WITH SCORE 3818.991
AT ITER 930 NEW BEST:: SOT 13850 SOS 7984 HAS SOPS 5654 HAS SOUS 4906 HAS SOUPS 3808 WITH SCORE 3815.984
AT ITER 945 NEW BEST:: SOT 13845 SOS 7981 HAS SOPS 5649 HAS SOUS 4904 HAS SOUPS 3803 WITH SCORE 3810.981
AT ITER 948 NEW BEST:: SOT 13841 SOS 7977 HAS SOPS 5644 HAS SOUS 4900 HAS SOUPS 3798 WITH SCORE 3805.977
AT ITER 954 NEW BEST:: SOT 13838 SOS 7974 HAS SOPS 5638 HAS SOUS 4897 HAS SOUPS 3792 WITH SCORE 3799.974
AT ITER 962 NEW BEST:: SOT 13838 SOS 7997 HAS SOPS 5661 HAS SOUS 4894 HAS SOUPS 3789 WITH SCORE 3796.997
AT ITER 1026 NEW BEST:: SOT 13830 SOS 8010 HAS SOPS 5641 HAS SOUS 4934 HAS SOUPS 3769 WITH SCORE 3777.01
AT ITER 1040 NEW BEST:: SOT 13830 SOS 8006 HAS SOPS 5637 HAS SOUS 4934 HAS SOUPS 3769 WITH SCORE 3777.006
AT ITER 1041 NEW BEST:: SOT 13830 SOS 7954 HAS SOPS 5574 HAS SOUS 4889 HAS SOUPS 3724 WITH SCORE 3731.954
AT ITER 1118 NEW BEST:: SOT 13822 SOS 7946 HAS SOPS 5558 HAS SOUS 4873 HAS SOUPS 3708 WITH SCORE 3715.946
AT ITER 1121 NEW BEST:: SOT 13801 SOS 7925 HAS SOPS 5526 HAS SOUS 4851 HAS SOUPS 3676 WITH SCORE 3683.925
AT ITER 1151 NEW BEST:: SOT 13795 SOS 7919 HAS SOPS 5515 HAS SOUS 4840 HAS SOUPS 3665 WITH SCORE 3672.919
AT ITER 1166 NEW BEST:: SOT 13787 SOS 7905 HAS SOPS 5504 HAS SOUS 4832 HAS SOUPS 3657 WITH SCORE 3664.905
AT ITER 1222 NEW BEST:: SOT 13787 SOS 7913 HAS SOPS 5512 HAS SOUS 4829 HAS SOUPS 3654 WITH SCORE 3661.913
AT ITER 1226 NEW BEST:: SOT 13771 SOS 7897 HAS SOPS 5497 HAS SOUS 4814 HAS SOUPS 3639 WITH SCORE 3646.897
AT ITER 1230 NEW BEST:: SOT 13768 SOS 7894 HAS SOPS 5493 HAS SOUS 4811 HAS SOUPS 3635 WITH SCORE 3642.894
AT ITER 1257 NEW BEST:: SOT 13765 SOS 7891 HAS SOPS 5484 HAS SOUS 4808 HAS SOUPS 3626 WITH SCORE 3633.891
AT ITER 1276 NEW BEST:: SOT 13789 SOS 7865 HAS SOPS 5500 HAS SOUS 4726 HAS SOUPS 3558 WITH SCORE 3565.865
AT ITER 1329 NEW BEST:: SOT 13804 SOS 7880 HAS SOPS 5469 HAS SOUS 4719 HAS SOUPS 3551 WITH SCORE 3558.88
AT ITER 1334 NEW BEST:: SOT 13794 SOS 7870 HAS SOPS 5454 HAS SOUS 4709 HAS SOUPS 3536 WITH SCORE 3543.87
AT ITER 1359 NEW BEST:: SOT 13780 SOS 7830 HAS SOPS 5415 HAS SOUS 4670 HAS SOUPS 3497 WITH SCORE 3504.83
AT ITER 1385 NEW BEST:: SOT 13777 SOS 7827 HAS SOPS 5411 HAS SOUS 4667 HAS SOUPS 3493 WITH SCORE 3500.827
AT ITER 1435 NEW BEST:: SOT 13765 SOS 7784 HAS SOPS 5409 HAS SOUS 4609 HAS SOUPS 3491 WITH SCORE 3498.784
AT ITER 1459 NEW BEST:: SOT 13765 SOS 7784 HAS SOPS 5404 HAS SOUS 4609 HAS SOUPS 3486 WITH SCORE 3493.784
AT ITER 1461 NEW BEST:: SOT 13770 SOS 7721 HAS SOPS 5325 HAS SOUS 4600 HAS SOUPS 3477 WITH SCORE 3484.721
AT ITER 1463 NEW BEST:: SOT 13770 SOS 7733 HAS SOPS 5337 HAS SOUS 4598 HAS SOUPS 3475 WITH SCORE 3482.733
AT ITER 1515 NEW BEST:: SOT 13770 SOS 7793 HAS SOPS 5326 HAS SOUS 4625 HAS SOUPS 3464 WITH SCORE 3471.793
AT ITER 1533 NEW BEST:: SOT 13767 SOS 7778 HAS SOPS 5323 HAS SOUS 4616 HAS SOUPS 3461 WITH SCORE 3468.778
AT ITER 1591 NEW BEST:: SOT 13755 SOS 7765 HAS SOPS 5298 HAS SOUS 4590 HAS SOUPS 3435 WITH SCORE 3442.765
AT ITER 1600 NEW BEST:: SOT 13749 SOS 7759 HAS SOPS 5291 HAS SOUS 4584 HAS SOUPS 3428 WITH SCORE 3435.759
AT ITER 1643 NEW BEST:: SOT 13738 SOS 7744 HAS SOPS 5276 HAS SOUS 4581 HAS SOUPS 3425 WITH SCORE 3432.744
AT ITER 1657 NEW BEST:: SOT 13734 SOS 7806 HAS SOPS 5241 HAS SOUS 4575 HAS SOUPS 3390 WITH SCORE 3397.806
AT ITER 1660 NEW BEST:: SOT 13759 SOS 7859 HAS SOPS 5294 HAS SOUS 4572 HAS SOUPS 3387 WITH SCORE 3394.859
AT ITER 1701 NEW BEST:: SOT 13758 SOS 7858 HAS SOPS 5288 HAS SOUS 4571 HAS SOUPS 3381 WITH SCORE 3388.858
AT ITER 1702 NEW BEST:: SOT 13757 SOS 7857 HAS SOPS 5287 HAS SOUS 4570 HAS SOUPS 3380 WITH SCORE 3387.857
AT ITER 1722 NEW BEST:: SOT 13762 SOS 7865 HAS SOPS 5235 HAS SOUS 4518 HAS SOUPS 3328 WITH SCORE 3335.865
AT ITER 1768 NEW BEST:: SOT 13718 SOS 7843 HAS SOPS 5209 HAS SOUS 4481 HAS SOUPS 3291 WITH SCORE 3298.843
AT ITER 1783 NEW BEST:: SOT 13718 SOS 7838 HAS SOPS 5204 HAS SOUS 4477 HAS SOUPS 3287 WITH SCORE 3294.838
AT ITER 1803 NEW BEST:: SOT 13718 SOS 7824 HAS SOPS 5190 HAS SOUS 4476 HAS SOUPS 3286 WITH SCORE 3293.824
AT ITER 1813 NEW BEST:: SOT 13718 SOS 7824 HAS SOPS 5186 HAS SOUS 4472 HAS SOUPS 3282 WITH SCORE 3289.824
AT ITER 1828 NEW BEST:: SOT 13747 SOS 7938 HAS SOPS 5151 HAS SOUS 4454 HAS SOUPS 3247 WITH SCORE 3254.938
AT ITER 1838 NEW BEST:: SOT 13752 SOS 7953 HAS SOPS 5147 HAS SOUS 4454 HAS SOUPS 3243 WITH SCORE 3250.953
AT ITER 1877 NEW BEST:: SOT 13754 SOS 7925 HAS SOPS 5141 HAS SOUS 4446 HAS SOUPS 3237 WITH SCORE 3244.925
AT ITER 1917 NEW BEST:: SOT 13754 SOS 7922 HAS SOPS 5138 HAS SOUS 4443 HAS SOUPS 3234 WITH SCORE 3241.922
AT ITER 1924 NEW BEST:: SOT 13750 SOS 7918 HAS SOPS 5130 HAS SOUS 4439 HAS SOUPS 3226 WITH SCORE 3233.918
AT ITER 1942 NEW BEST:: SOT 13699 SOS 7951 HAS SOPS 5102 HAS SOUS 4441 HAS SOUPS 3218 WITH SCORE 3225.951
AT ITER 1951 NEW BEST:: SOT 13689 SOS 7941 HAS SOPS 5087 HAS SOUS 4426 HAS SOUPS 3203 WITH SCORE 3210.941
AT ITER 1961 NEW BEST:: SOT 13684 SOS 7935 HAS SOPS 5081 HAS SOUS 4420 HAS SOUPS 3197 WITH SCORE 3204.935
AT ITER 1971 NEW BEST:: SOT 13699 SOS 7964 HAS SOPS 5120 HAS SOUS 4411 HAS SOUPS 3193 WITH SCORE 3200.964
AT ITER 1981 NEW BEST:: SOT 13697 SOS 7962 HAS SOPS 5119 HAS SOUS 4409 HAS SOUPS 3192 WITH SCORE 3199.962
AT ITER 2005 NEW BEST:: SOT 13680 SOS 7945 HAS SOPS 5093 HAS SOUS 4383 HAS SOUPS 3166 WITH SCORE 3173.945
AT ITER 2027 NEW BEST:: SOT 13680 SOS 7943 HAS SOPS 5091 HAS SOUS 4381 HAS SOUPS 3164 WITH SCORE 3171.943
AT ITER 2053 NEW BEST:: SOT 13675 SOS 7938 HAS SOPS 5082 HAS SOUS 4372 HAS SOUPS 3155 WITH SCORE 3162.938
AT ITER 2061 NEW BEST:: SOT 13647 SOS 7918 HAS SOPS 5062 HAS SOUS 4344 HAS SOUPS 3127 WITH SCORE 3134.918
AT ITER 2086 NEW BEST:: SOT 13647 SOS 7931 HAS SOPS 5075 HAS SOUS 4340 HAS SOUPS 3123 WITH SCORE 3130.931
AT ITER 2095 NEW BEST:: SOT 13641 SOS 7923 HAS SOPS 5063 HAS SOUS 4330 HAS SOUPS 3113 WITH SCORE 3120.923
AT ITER 2122 NEW BEST:: SOT 13597 SOS 7895 HAS SOPS 5035 HAS SOUS 4302 HAS SOUPS 3085 WITH SCORE 3092.895
AT ITER 2190 NEW BEST:: SOT 13588 SOS 7886 HAS SOPS 5028 HAS SOUS 4292 HAS SOUPS 3078 WITH SCORE 3085.886
AT ITER 2208 NEW BEST:: SOT 13584 SOS 7897 HAS SOPS 5023 HAS SOUS 4287 HAS SOUPS 3073 WITH SCORE 3080.897
AT ITER 2217 NEW BEST:: SOT 13581 SOS 7912 HAS SOPS 5012 HAS SOUS 4320 HAS SOUPS 3062 WITH SCORE 3069.912
AT ITER 2271 NEW BEST:: SOT 13581 SOS 7911 HAS SOPS 5012 HAS SOUS 4320 HAS SOUPS 3062 WITH SCORE 3069.911
AT ITER 2280 NEW BEST:: SOT 13576 SOS 7883 HAS SOPS 4984 HAS SOUS 4308 HAS SOUPS 3050 WITH SCORE 3057.883
AT ITER 2318 NEW BEST:: SOT 13565 SOS 7872 HAS SOPS 4977 HAS SOUS 4301 HAS SOUPS 3043 WITH SCORE 3050.872
AT ITER 2337 NEW BEST:: SOT 13565 SOS 7904 HAS SOPS 4966 HAS SOUS 4319 HAS SOUPS 3032 WITH SCORE 3039.904
AT ITER 2378 NEW BEST:: SOT 13559 SOS 7898 HAS SOPS 4959 HAS SOUS 4313 HAS SOUPS 3025 WITH SCORE 3032.898
AT ITER 2379 NEW BEST:: SOT 13554 SOS 7881 HAS SOPS 4941 HAS SOUS 4301 HAS SOUPS 3013 WITH SCORE 3020.881
AT ITER 2400 NEW BEST:: SOT 13554 SOS 7892 HAS SOPS 4940 HAS SOUS 4344 HAS SOUPS 3012 WITH SCORE 3019.892
AT ITER 2406 NEW BEST:: SOT 13551 SOS 7889 HAS SOPS 4934 HAS SOUS 4341 HAS SOUPS 3006 WITH SCORE 3013.889
AT ITER 2454 NEW BEST:: SOT 13547 SOS 7885 HAS SOPS 4926 HAS SOUS 4337 HAS SOUPS 2998 WITH SCORE 3005.885
AT ITER 2479 NEW BEST:: SOT 13547 SOS 7885 HAS SOPS 4926 HAS SOUS 4333 HAS SOUPS 2994 WITH SCORE 3001.885
AT ITER 2540 NEW BEST:: SOT 13557 SOS 7893 HAS SOPS 4938 HAS SOUS 4329 HAS SOUPS 2992 WITH SCORE 2999.893
AT ITER 2543 NEW BEST:: SOT 13552 SOS 7888 HAS SOPS 4933 HAS SOUS 4320 HAS SOUPS 2983 WITH SCORE 2990.888
AT ITER 2581 NEW BEST:: SOT 13539 SOS 7903 HAS SOPS 4904 HAS SOUS 4306 HAS SOUPS 2961 WITH SCORE 2968.903
AT ITER 2605 NEW BEST:: SOT 13540 SOS 7904 HAS SOPS 4897 HAS SOUS 4307 HAS SOUPS 2954 WITH SCORE 2961.904
AT ITER 2727 NEW BEST:: SOT 13535 SOS 7899 HAS SOPS 4892 HAS SOUS 4302 HAS SOUPS 2949 WITH SCORE 2956.899
AT ITER 2735 NEW BEST:: SOT 13543 SOS 7917 HAS SOPS 4893 HAS SOUS 4298 HAS SOUPS 2945 WITH SCORE 2952.917
AT ITER 2783 NEW BEST:: SOT 13530 SOS 7913 HAS SOPS 4885 HAS SOUS 4290 HAS SOUPS 2937 WITH SCORE 2944.913
AT ITER 2829 NEW BEST:: SOT 13530 SOS 7898 HAS SOPS 4870 HAS SOUS 4275 HAS SOUPS 2922 WITH SCORE 2929.898
AT ITER 2851 NEW BEST:: SOT 13527 SOS 7895 HAS SOPS 4864 HAS SOUS 4272 HAS SOUPS 2916 WITH SCORE 2923.895
AT ITER 2908 NEW BEST:: SOT 13526 SOS 7894 HAS SOPS 4862 HAS SOUS 4271 HAS SOUPS 2914 WITH SCORE 2921.894
AT ITER 2919 NEW BEST:: SOT 13523 SOS 7890 HAS SOPS 4862 HAS SOUS 4268 HAS SOUPS 2911 WITH SCORE 2918.89
AT ITER 2923 NEW BEST:: SOT 13523 SOS 7888 HAS SOPS 4862 HAS SOUS 4266 HAS SOUPS 2911 WITH SCORE 2918.888
AT ITER 2988 NEW BEST:: SOT 13519 SOS 7884 HAS SOPS 4852 HAS SOUS 4262 HAS SOUPS 2901 WITH SCORE 2908.884
AT ITER 3058 NEW BEST:: SOT 13509 SOS 7870 HAS SOPS 4840 HAS SOUS 4252 HAS SOUPS 2891 WITH SCORE 2898.87
AT ITER 3059 NEW BEST:: SOT 13507 SOS 7853 HAS SOPS 4839 HAS SOUS 4223 HAS SOUPS 2890 WITH SCORE 2897.853
AT ITER 3074 NEW BEST:: SOT 13507 SOS 7861 HAS SOPS 4831 HAS SOUS 4263 HAS SOUPS 2882 WITH SCORE 2889.861
AT ITER 3235 NEW BEST:: SOT 13506 SOS 7859 HAS SOPS 4829 HAS SOUS 4261 HAS SOUPS 2880 WITH SCORE 2887.859
AT ITER 3364 NEW BEST:: SOT 13517 SOS 7874 HAS SOPS 4827 HAS SOUS 4259 HAS SOUPS 2878 WITH SCORE 2885.874
AT ITER 3455 NEW BEST:: SOT 13517 SOS 7882 HAS SOPS 4831 HAS SOUS 4257 HAS SOUPS 2876 WITH SCORE 2883.882
AT ITER 3531 NEW BEST:: SOT 13520 SOS 7875 HAS SOPS 4831 HAS SOUS 4255 HAS SOUPS 2875 WITH SCORE 2882.875
AT ITER 3706 NEW BEST:: SOT 13526 SOS 7858 HAS SOPS 4828 HAS SOUS 4246 HAS SOUPS 2868 WITH SCORE 2875.858
AT ITER 3744 NEW BEST:: SOT 13520 SOS 7863 HAS SOPS 4824 HAS SOUS 4251 HAS SOUPS 2864 WITH SCORE 2871.863
AT ITER 3873 NEW BEST:: SOT 13517 SOS 7854 HAS SOPS 4818 HAS SOUS 4248 HAS SOUPS 2861 WITH SCORE 2868.854
AT ITER 3939 NEW BEST:: SOT 13519 SOS 7853 HAS SOPS 4821 HAS SOUS 4243 HAS SOUPS 2860 WITH SCORE 2867.853
AT ITER 4191 NEW BEST:: SOT 13500 SOS 7801 HAS SOPS 4816 HAS SOUS 4241 HAS SOUPS 2858 WITH SCORE 2865.801
AT ITER 4239 NEW BEST:: SOT 13485 SOS 7777 HAS SOPS 4789 HAS SOUS 4223 HAS SOUPS 2840 WITH SCORE 2847.777
AT ITER 4319 NEW BEST:: SOT 13485 SOS 7766 HAS SOPS 4778 HAS SOUS 4223 HAS SOUPS 2840 WITH SCORE 2847.766
AT ITER 4337 NEW BEST:: SOT 13484 SOS 7765 HAS SOPS 4776 HAS SOUS 4222 HAS SOUPS 2838 WITH SCORE 2845.765
AT ITER 4398 NEW BEST:: SOT 13480 SOS 7761 HAS SOPS 4771 HAS SOUS 4217 HAS SOUPS 2833 WITH SCORE 2840.761
AT ITER 4514 NEW BEST:: SOT 13478 SOS 7755 HAS SOPS 4763 HAS SOUS 4211 HAS SOUPS 2827 WITH SCORE 2834.755
AT ITER 4594 NEW BEST:: SOT 13484 SOS 7757 HAS SOPS 4769 HAS SOUS 4205 HAS SOUPS 2823 WITH SCORE 2830.757
AT ITER 4626 NEW BEST:: SOT 13484 SOS 7757 HAS SOPS 4768 HAS SOUS 4200 HAS SOUPS 2818 WITH SCORE 2825.757
AT ITER 4644 NEW BEST:: SOT 13477 SOS 7750 HAS SOPS 4760 HAS SOUS 4193 HAS SOUPS 2810 WITH SCORE 2817.75
AT ITER 4722 NEW BEST:: SOT 13472 SOS 7746 HAS SOPS 4757 HAS SOUS 4184 HAS SOUPS 2806 WITH SCORE 2813.746
AT ITER 4747 NEW BEST:: SOT 13476 SOS 7748 HAS SOPS 4761 HAS SOUS 4174 HAS SOUPS 2798 WITH SCORE 2805.748
AT ITER 4768 NEW BEST:: SOT 13478 SOS 7750 HAS SOPS 4759 HAS SOUS 4172 HAS SOUPS 2796 WITH SCORE 2803.75
AT ITER 4784 NEW BEST:: SOT 13478 SOS 7747 HAS SOPS 4756 HAS SOUS 4172 HAS SOUPS 2796 WITH SCORE 2803.747
AT ITER 4829 NEW BEST:: SOT 13467 SOS 7745 HAS SOPS 4754 HAS SOUS 4170 HAS SOUPS 2794 WITH SCORE 2801.745
AT ITER 4859 NEW BEST:: SOT 13464 SOS 7738 HAS SOPS 4754 HAS SOUS 4147 HAS SOUPS 2794 WITH SCORE 2801.738
AT ITER 4890 NEW BEST:: SOT 13464 SOS 7742 HAS SOPS 4753 HAS SOUS 4148 HAS SOUPS 2793 WITH SCORE 2800.742
AT ITER 4941 NEW BEST:: SOT 13464 SOS 7742 HAS SOPS 4754 HAS SOUS 4144 HAS SOUPS 2790 WITH SCORE 2797.742
AT ITER 4954 NEW BEST:: SOT 13455 SOS 7731 HAS SOPS 4743 HAS SOUS 4134 HAS SOUPS 2780 WITH SCORE 2787.731
AT ITER 4990 NEW BEST:: SOT 13454 SOS 7730 HAS SOPS 4741 HAS SOUS 4132 HAS SOUPS 2778 WITH SCORE 2785.73
AT ITER 5063 NEW BEST:: SOT 13452 SOS 7728 HAS SOPS 4741 HAS SOUS 4134 HAS SOUPS 2778 WITH SCORE 2785.728
AT ITER 5070 NEW BEST:: SOT 13448 SOS 7720 HAS SOPS 4733 HAS SOUS 4128 HAS SOUPS 2772 WITH SCORE 2779.72
AT ITER 5106 NEW BEST:: SOT 13446 SOS 7715 HAS SOPS 4732 HAS SOUS 4111 HAS SOUPS 2771 WITH SCORE 2778.715
AT ITER 5187 NEW BEST:: SOT 13431 SOS 7712 HAS SOPS 4730 HAS SOUS 4104 HAS SOUPS 2763 WITH SCORE 2770.712
AT ITER 5226 NEW BEST:: SOT 13430 SOS 7709 HAS SOPS 4730 HAS SOUS 4103 HAS SOUPS 2763 WITH SCORE 2770.709
AT ITER 5309 NEW BEST:: SOT 13424 SOS 7696 HAS SOPS 4717 HAS SOUS 4097 HAS SOUPS 2757 WITH SCORE 2764.696
AT ITER 5398 NEW BEST:: SOT 13421 SOS 7684 HAS SOPS 4711 HAS SOUS 4073 HAS SOUPS 2736 WITH SCORE 2743.684
AT ITER 5462 NEW BEST:: SOT 13420 SOS 7683 HAS SOPS 4709 HAS SOUS 4072 HAS SOUPS 2734 WITH SCORE 2741.683
AT ITER 5493 NEW BEST:: SOT 13420 SOS 7683 HAS SOPS 4708 HAS SOUS 4072 HAS SOUPS 2733 WITH SCORE 2740.683
AT ITER 5635 NEW BEST:: SOT 13417 SOS 7680 HAS SOPS 4705 HAS SOUS 4070 HAS SOUPS 2731 WITH SCORE 2738.68
AT ITER 5813 NEW BEST:: SOT 13416 SOS 7678 HAS SOPS 4704 HAS SOUS 4064 HAS SOUPS 2730 WITH SCORE 2737.678
AT ITER 5877 NEW BEST:: SOT 13414 SOS 7675 HAS SOPS 4701 HAS SOUS 4061 HAS SOUPS 2727 WITH SCORE 2734.675
AT ITER 6044 NEW BEST:: SOT 13408 SOS 7669 HAS SOPS 4694 HAS SOUS 4055 HAS SOUPS 2720 WITH SCORE 2727.669
AT ITER 6129 NEW BEST:: SOT 13411 SOS 7672 HAS SOPS 4697 HAS SOUS 4054 HAS SOUPS 2719 WITH SCORE 2726.672
AT ITER 6175 NEW BEST:: SOT 13407 SOS 7674 HAS SOPS 4693 HAS SOUS 4056 HAS SOUPS 2715 WITH SCORE 2722.674
AT ITER 6192 NEW BEST:: SOT 13402 SOS 7671 HAS SOPS 4693 HAS SOUS 4056 HAS SOUPS 2715 WITH SCORE 2722.671
AT ITER 6276 NEW BEST:: SOT 13396 SOS 7663 HAS SOPS 4687 HAS SOUS 4050 HAS SOUPS 2709 WITH SCORE 2716.663
AT ITER 6360 NEW BEST:: SOT 13396 SOS 7660 HAS SOPS 4684 HAS SOUS 4047 HAS SOUPS 2706 WITH SCORE 2713.66
AT ITER 6464 NEW BEST:: SOT 13394 SOS 7658 HAS SOPS 4681 HAS SOUS 4045 HAS SOUPS 2703 WITH SCORE 2710.658
AT ITER 6484 NEW BEST:: SOT 13393 SOS 7659 HAS SOPS 4681 HAS SOUS 4044 HAS SOUPS 2702 WITH SCORE 2709.659
AT ITER 6626 NEW BEST:: SOT 13389 SOS 7655 HAS SOPS 4674 HAS SOUS 4025 HAS SOUPS 2683 WITH SCORE 2690.655
AT ITER 6686 NEW BEST:: SOT 13378 SOS 7644 HAS SOPS 4668 HAS SOUS 4020 HAS SOUPS 2677 WITH SCORE 2684.644
AT ITER 6698 NEW BEST:: SOT 13378 SOS 7639 HAS SOPS 4664 HAS SOUS 4020 HAS SOUPS 2677 WITH SCORE 2684.639
AT ITER 6699 NEW BEST:: SOT 13378 SOS 7635 HAS SOPS 4660 HAS SOUS 4018 HAS SOUPS 2675 WITH SCORE 2682.635
AT ITER 6766 NEW BEST:: SOT 13371 SOS 7619 HAS SOPS 4653 HAS SOUS 3974 HAS SOUPS 2668 WITH SCORE 2675.619
AT ITER 6794 NEW BEST:: SOT 13363 SOS 7609 HAS SOPS 4643 HAS SOUS 3964 HAS SOUPS 2658 WITH SCORE 2665.609
AT ITER 6918 NEW BEST:: SOT 13362 SOS 7608 HAS SOPS 4641 HAS SOUS 3963 HAS SOUPS 2656 WITH SCORE 2663.608
AT ITER 6962 NEW BEST:: SOT 13358 SOS 7604 HAS SOPS 4629 HAS SOUS 3955 HAS SOUPS 2648 WITH SCORE 2655.604
AT ITER 6978 NEW BEST:: SOT 13358 SOS 7604 HAS SOPS 4631 HAS SOUS 3949 HAS SOUPS 2642 WITH SCORE 2649.604
AT ITER 7044 NEW BEST:: SOT 13355 SOS 7607 HAS SOPS 4629 HAS SOUS 3936 HAS SOUPS 2629 WITH SCORE 2636.607
AT ITER 7076 NEW BEST:: SOT 13354 SOS 7606 HAS SOPS 4629 HAS SOUS 3935 HAS SOUPS 2629 WITH SCORE 2636.606
AT ITER 7092 NEW BEST:: SOT 13354 SOS 7603 HAS SOPS 4626 HAS SOUS 3935 HAS SOUPS 2629 WITH SCORE 2636.603
AT ITER 7157 NEW BEST:: SOT 13352 SOS 7601 HAS SOPS 4624 HAS SOUS 3933 HAS SOUPS 2627 WITH SCORE 2634.601
AT ITER 7190 NEW BEST:: SOT 13352 SOS 7594 HAS SOPS 4621 HAS SOUS 3932 HAS SOUPS 2626 WITH SCORE 2633.594
AT ITER 7243 NEW BEST:: SOT 13352 SOS 7597 HAS SOPS 4624 HAS SOUS 3931 HAS SOUPS 2625 WITH SCORE 2632.597
AT ITER 7263 NEW BEST:: SOT 13352 SOS 7601 HAS SOPS 4623 HAS SOUS 3932 HAS SOUPS 2624 WITH SCORE 2631.601
AT ITER 7486 NEW BEST:: SOT 13347 SOS 7596 HAS SOPS 4616 HAS SOUS 3931 HAS SOUPS 2621 WITH SCORE 2628.596
AT ITER 8071 NEW BEST:: SOT 13342 SOS 7601 HAS SOPS 4620 HAS SOUS 3927 HAS SOUPS 2617 WITH SCORE 2624.601
AT ITER 8098 NEW BEST:: SOT 13349 SOS 7606 HAS SOPS 4627 HAS SOUS 3920 HAS SOUPS 2612 WITH SCORE 2619.606
AT ITER 8330 NEW BEST:: SOT 13349 SOS 7605 HAS SOPS 4627 HAS SOUS 3919 HAS SOUPS 2612 WITH SCORE 2619.605
AT ITER 8904 NEW BEST:: SOT 13348 SOS 7604 HAS SOPS 4625 HAS SOUS 3918 HAS SOUPS 2610 WITH SCORE 2617.604
AT ITER 8936 NEW BEST:: SOT 13345 SOS 7591 HAS SOPS 4625 HAS SOUS 3912 HAS SOUPS 2606 WITH SCORE 2613.591
AT ITER 9080 NEW BEST:: SOT 13345 SOS 7586 HAS SOPS 4621 HAS SOUS 3912 HAS SOUPS 2606 WITH SCORE 2613.586
AT ITER 9294 NEW BEST:: SOT 13353 SOS 7574 HAS SOPS 4623 HAS SOUS 3908 HAS SOUPS 2604 WITH SCORE 2611.574
AT ITER 9689 NEW BEST:: SOT 13353 SOS 7570 HAS SOPS 4619 HAS SOUS 3908 HAS SOUPS 2604 WITH SCORE 2611.57
AT ITER 9922 NEW BEST:: SOT 13353 SOS 7564 HAS SOPS 4619 HAS SOUS 3907 HAS SOUPS 2604 WITH SCORE 2611.564
STATE_SPACE STATES 1914784 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9046048 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678611051750

--------------------
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="LamportFastMutEx-PT-4"
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 LamportFastMutEx-PT-4, 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 r227-tall-167856410400416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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