fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469000104
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldIIPs-PT-004B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.440 3600000.00 3600040.00 0.00 [undef] Time out reached

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-159033469000104.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-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 4.1K May 14 00:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 00:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 17:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 17:45 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.0K 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.6K May 13 13:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 07:39 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 66K 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 1590435525187

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 004B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 243 places, 239 transitions, 718 arcs.
AT ITER 0 NEW BEST:: SOT 33268 SOS 10578 HAS SOPS 10578 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8561.578
AT ITER 34 NEW BEST:: SOT 33268 SOS 10567 HAS SOPS 10567 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8550.567
AT ITER 70 NEW BEST:: SOT 33254 SOS 10565 HAS SOPS 10565 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8548.565
AT ITER 76 NEW BEST:: SOT 33254 SOS 10561 HAS SOPS 10561 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8544.561
AT ITER 89 NEW BEST:: SOT 33242 SOS 10549 HAS SOPS 10549 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8532.549
AT ITER 93 NEW BEST:: SOT 33235 SOS 10515 HAS SOPS 10515 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8516.515
AT ITER 96 NEW BEST:: SOT 33235 SOS 10514 HAS SOPS 10514 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8515.514
AT ITER 111 NEW BEST:: SOT 33203 SOS 10478 HAS SOPS 10478 HAS SOUS 8471 HAS SOUPS 8471 WITH SCORE 8481.478
AT ITER 150 NEW BEST:: SOT 33203 SOS 10472 HAS SOPS 10472 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8475.472
AT ITER 171 NEW BEST:: SOT 33192 SOS 10477 HAS SOPS 10477 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8466.477
AT ITER 180 NEW BEST:: SOT 33177 SOS 10392 HAS SOPS 10392 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8462.392
AT ITER 205 NEW BEST:: SOT 33168 SOS 10383 HAS SOPS 10383 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8453.383
AT ITER 225 NEW BEST:: SOT 33156 SOS 10374 HAS SOPS 10374 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8444.374
AT ITER 226 NEW BEST:: SOT 33125 SOS 10374 HAS SOPS 10374 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8443.374
AT ITER 242 NEW BEST:: SOT 33159 SOS 10283 HAS SOPS 10283 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8442.283
AT ITER 244 NEW BEST:: SOT 33143 SOS 10269 HAS SOPS 10269 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8428.269
AT ITER 249 NEW BEST:: SOT 33065 SOS 10364 HAS SOPS 10364 HAS SOUS 8390 HAS SOUPS 8390 WITH SCORE 8400.364
AT ITER 252 NEW BEST:: SOT 33041 SOS 10308 HAS SOPS 10308 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8382.308
AT ITER 253 NEW BEST:: SOT 33024 SOS 10264 HAS SOPS 10264 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8364.264
AT ITER 294 NEW BEST:: SOT 33014 SOS 10258 HAS SOPS 10258 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8354.258
AT ITER 310 NEW BEST:: SOT 33048 SOS 10257 HAS SOPS 10257 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8353.257
AT ITER 317 NEW BEST:: SOT 33038 SOS 10248 HAS SOPS 10248 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8343.248
AT ITER 321 NEW BEST:: SOT 33036 SOS 10239 HAS SOPS 10239 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8334.239
AT ITER 337 NEW BEST:: SOT 33004 SOS 10108 HAS SOPS 10108 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8299.108
AT ITER 344 NEW BEST:: SOT 33004 SOS 10107 HAS SOPS 10107 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8298.107
AT ITER 358 NEW BEST:: SOT 32997 SOS 10100 HAS SOPS 10100 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8291.1
AT ITER 362 NEW BEST:: SOT 32982 SOS 10129 HAS SOPS 10129 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8276.129
AT ITER 381 NEW BEST:: SOT 32982 SOS 10127 HAS SOPS 10127 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8275.127
AT ITER 392 NEW BEST:: SOT 32981 SOS 10126 HAS SOPS 10126 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8275.126
AT ITER 393 NEW BEST:: SOT 32981 SOS 10090 HAS SOPS 10090 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8275.09
AT ITER 413 NEW BEST:: SOT 32971 SOS 10070 HAS SOPS 10070 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8255.07
AT ITER 417 NEW BEST:: SOT 32971 SOS 10067 HAS SOPS 10067 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8255.067
AT ITER 429 NEW BEST:: SOT 32990 SOS 10086 HAS SOPS 10086 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8236.086
AT ITER 435 NEW BEST:: SOT 32973 SOS 10069 HAS SOPS 10069 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8219.069
AT ITER 457 NEW BEST:: SOT 32947 SOS 10043 HAS SOPS 10043 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8193.043
AT ITER 467 NEW BEST:: SOT 32893 SOS 9866 HAS SOPS 9866 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8192.866
AT ITER 494 NEW BEST:: SOT 32893 SOS 9851 HAS SOPS 9851 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8187.851
AT ITER 537 NEW BEST:: SOT 32893 SOS 9789 HAS SOPS 9789 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8155.789
AT ITER 563 NEW BEST:: SOT 32831 SOS 9827 HAS SOPS 9827 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8142.827
AT ITER 566 NEW BEST:: SOT 32817 SOS 9813 HAS SOPS 9813 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8128.813
AT ITER 572 NEW BEST:: SOT 32823 SOS 9785 HAS SOPS 9785 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8037.785
AT ITER 581 NEW BEST:: SOT 32823 SOS 9781 HAS SOPS 9781 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8033.781
AT ITER 590 NEW BEST:: SOT 32807 SOS 9765 HAS SOPS 9765 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8017.765
AT ITER 595 NEW BEST:: SOT 32807 SOS 9759 HAS SOPS 9759 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8011.759
AT ITER 602 NEW BEST:: SOT 32813 SOS 9807 HAS SOPS 9807 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8001.807
AT ITER 604 NEW BEST:: SOT 32801 SOS 9775 HAS SOPS 9775 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7971.775
AT ITER 605 NEW BEST:: SOT 32833 SOS 9755 HAS SOPS 9755 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7951.755
AT ITER 630 NEW BEST:: SOT 32824 SOS 9751 HAS SOPS 9751 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7944.751
AT ITER 632 NEW BEST:: SOT 32794 SOS 9731 HAS SOPS 9731 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7914.731
AT ITER 652 NEW BEST:: SOT 32794 SOS 9683 HAS SOPS 9683 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7914.683
AT ITER 653 NEW BEST:: SOT 32794 SOS 9675 HAS SOPS 9675 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7910.675
AT ITER 677 NEW BEST:: SOT 32779 SOS 9660 HAS SOPS 9660 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7895.66
AT ITER 693 NEW BEST:: SOT 32779 SOS 9624 HAS SOPS 9624 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7871.624
AT ITER 704 NEW BEST:: SOT 32742 SOS 9526 HAS SOPS 9526 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7824.526
AT ITER 709 NEW BEST:: SOT 32742 SOS 9520 HAS SOPS 9520 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7821.52
AT ITER 713 NEW BEST:: SOT 32742 SOS 9520 HAS SOPS 9520 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7813.52
AT ITER 723 NEW BEST:: SOT 32694 SOS 9518 HAS SOPS 9518 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7811.518
AT ITER 741 NEW BEST:: SOT 32684 SOS 9415 HAS SOPS 9415 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7733.415
AT ITER 748 NEW BEST:: SOT 32642 SOS 9331 HAS SOPS 9331 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7684.331
AT ITER 751 NEW BEST:: SOT 32638 SOS 9327 HAS SOPS 9327 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7684.327
AT ITER 754 NEW BEST:: SOT 32604 SOS 9341 HAS SOPS 9341 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7676.341
AT ITER 762 NEW BEST:: SOT 32611 SOS 9357 HAS SOPS 9357 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7666.357
AT ITER 770 NEW BEST:: SOT 32584 SOS 9330 HAS SOPS 9330 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7666.33
AT ITER 783 NEW BEST:: SOT 32582 SOS 9302 HAS SOPS 9302 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7659.302
AT ITER 797 NEW BEST:: SOT 32582 SOS 9299 HAS SOPS 9299 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7656.299
AT ITER 808 NEW BEST:: SOT 32536 SOS 9207 HAS SOPS 9207 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7580.207
AT ITER 822 NEW BEST:: SOT 32469 SOS 9220 HAS SOPS 9220 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7578.22
AT ITER 837 NEW BEST:: SOT 32468 SOS 9219 HAS SOPS 9219 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7577.219
AT ITER 859 NEW BEST:: SOT 32468 SOS 9219 HAS SOPS 9219 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7570.219
AT ITER 867 NEW BEST:: SOT 32492 SOS 9193 HAS SOPS 9193 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7568.193
AT ITER 871 NEW BEST:: SOT 32512 SOS 9153 HAS SOPS 9153 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7528.153
AT ITER 878 NEW BEST:: SOT 32512 SOS 9178 HAS SOPS 9178 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7503.178
AT ITER 907 NEW BEST:: SOT 32504 SOS 9149 HAS SOPS 9149 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7435.149
AT ITER 921 NEW BEST:: SOT 32497 SOS 9135 HAS SOPS 9135 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7421.135
AT ITER 936 NEW BEST:: SOT 32468 SOS 9139 HAS SOPS 9139 HAS SOUS 7405 HAS SOUPS 7405 WITH SCORE 7414.139
AT ITER 947 NEW BEST:: SOT 32466 SOS 9137 HAS SOPS 9137 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7404.137
AT ITER 948 NEW BEST:: SOT 32442 SOS 9089 HAS SOPS 9089 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7380.089
AT ITER 970 NEW BEST:: SOT 32475 SOS 8998 HAS SOPS 8998 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7311.998
AT ITER 982 NEW BEST:: SOT 32475 SOS 8997 HAS SOPS 8997 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7310.997
AT ITER 984 NEW BEST:: SOT 32475 SOS 8993 HAS SOPS 8993 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7308.993
AT ITER 990 NEW BEST:: SOT 32425 SOS 8993 HAS SOPS 8993 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7300.993
AT ITER 1004 NEW BEST:: SOT 32419 SOS 8987 HAS SOPS 8987 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7294.987
AT ITER 1013 NEW BEST:: SOT 32417 SOS 8985 HAS SOPS 8985 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7292.985
AT ITER 1023 NEW BEST:: SOT 32417 SOS 8994 HAS SOPS 8994 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7283.994
AT ITER 1030 NEW BEST:: SOT 32445 SOS 8991 HAS SOPS 8991 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7277.991
AT ITER 1038 NEW BEST:: SOT 32478 SOS 8933 HAS SOPS 8933 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7260.933
AT ITER 1040 NEW BEST:: SOT 32471 SOS 8902 HAS SOPS 8902 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7243.902
AT ITER 1082 NEW BEST:: SOT 32471 SOS 8916 HAS SOPS 8916 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7227.916
AT ITER 1106 NEW BEST:: SOT 32467 SOS 8917 HAS SOPS 8917 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7224.917
AT ITER 1117 NEW BEST:: SOT 32467 SOS 8939 HAS SOPS 8939 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7220.939
AT ITER 1139 NEW BEST:: SOT 32465 SOS 8934 HAS SOPS 8934 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7215.934
AT ITER 1144 NEW BEST:: SOT 32468 SOS 8938 HAS SOPS 8938 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7214.938
AT ITER 1194 NEW BEST:: SOT 32466 SOS 8977 HAS SOPS 8977 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7200.977
AT ITER 1197 NEW BEST:: SOT 32359 SOS 8899 HAS SOPS 8899 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7138.899
AT ITER 1205 NEW BEST:: SOT 32359 SOS 8879 HAS SOPS 8879 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7133.879
AT ITER 1210 NEW BEST:: SOT 32359 SOS 8866 HAS SOPS 8866 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7120.866
AT ITER 1229 NEW BEST:: SOT 32357 SOS 8858 HAS SOPS 8858 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7120.858
AT ITER 1241 NEW BEST:: SOT 32357 SOS 8858 HAS SOPS 8858 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7119.858
AT ITER 1246 NEW BEST:: SOT 32357 SOS 8857 HAS SOPS 8857 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7118.857
AT ITER 1252 NEW BEST:: SOT 32349 SOS 8849 HAS SOPS 8849 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7110.849
AT ITER 1287 NEW BEST:: SOT 32346 SOS 8845 HAS SOPS 8845 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7106.845
AT ITER 1299 NEW BEST:: SOT 32341 SOS 8840 HAS SOPS 8840 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7096.84
AT ITER 1316 NEW BEST:: SOT 32330 SOS 8834 HAS SOPS 8834 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7089.834
AT ITER 1318 NEW BEST:: SOT 32276 SOS 8855 HAS SOPS 8855 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7072.855
AT ITER 1322 NEW BEST:: SOT 32274 SOS 8845 HAS SOPS 8845 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7068.845
AT ITER 1324 NEW BEST:: SOT 32274 SOS 8840 HAS SOPS 8840 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7063.84
AT ITER 1347 NEW BEST:: SOT 32263 SOS 8798 HAS SOPS 8798 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7060.798
AT ITER 1388 NEW BEST:: SOT 32254 SOS 8784 HAS SOPS 8784 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7044.784
AT ITER 1407 NEW BEST:: SOT 32254 SOS 8761 HAS SOPS 8761 HAS SOUS 7013 HAS SOUPS 7013 WITH SCORE 7021.761
AT ITER 1412 NEW BEST:: SOT 32241 SOS 8748 HAS SOPS 8748 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.748
AT ITER 1413 NEW BEST:: SOT 32226 SOS 8713 HAS SOPS 8713 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.713
AT ITER 1464 NEW BEST:: SOT 32218 SOS 8701 HAS SOPS 8701 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6976.701
AT ITER 1470 NEW BEST:: SOT 32197 SOS 8698 HAS SOPS 8698 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6964.698
AT ITER 1476 NEW BEST:: SOT 32197 SOS 8711 HAS SOPS 8711 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.711
AT ITER 1478 NEW BEST:: SOT 32197 SOS 8711 HAS SOPS 8711 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6947.711
AT ITER 1507 NEW BEST:: SOT 32187 SOS 8710 HAS SOPS 8710 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6925.71
AT ITER 1595 NEW BEST:: SOT 32178 SOS 8723 HAS SOPS 8723 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6916.723
AT ITER 1641 NEW BEST:: SOT 32165 SOS 8681 HAS SOPS 8681 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6892.681
AT ITER 1682 NEW BEST:: SOT 32152 SOS 8668 HAS SOPS 8668 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6881.668
AT ITER 1684 NEW BEST:: SOT 32152 SOS 8590 HAS SOPS 8590 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6881.59
AT ITER 1696 NEW BEST:: SOT 32154 SOS 8576 HAS SOPS 8576 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6879.576
AT ITER 1699 NEW BEST:: SOT 32147 SOS 8569 HAS SOPS 8569 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6872.569
AT ITER 1705 NEW BEST:: SOT 32144 SOS 8565 HAS SOPS 8565 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6867.565
AT ITER 1707 NEW BEST:: SOT 32110 SOS 8583 HAS SOPS 8583 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6862.583
AT ITER 1709 NEW BEST:: SOT 32096 SOS 8551 HAS SOPS 8551 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6862.551
AT ITER 1710 NEW BEST:: SOT 32097 SOS 8550 HAS SOPS 8550 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6862.55
AT ITER 1719 NEW BEST:: SOT 32099 SOS 8547 HAS SOPS 8547 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6856.547
AT ITER 1753 NEW BEST:: SOT 32024 SOS 8497 HAS SOPS 8497 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6806.497
AT ITER 1810 NEW BEST:: SOT 32020 SOS 8493 HAS SOPS 8493 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6802.493
AT ITER 1813 NEW BEST:: SOT 32020 SOS 8521 HAS SOPS 8521 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6786.521
AT ITER 1849 NEW BEST:: SOT 32015 SOS 8511 HAS SOPS 8511 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6786.511
AT ITER 1859 NEW BEST:: SOT 32050 SOS 8544 HAS SOPS 8544 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6784.544
AT ITER 1875 NEW BEST:: SOT 32050 SOS 8544 HAS SOPS 8544 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6777.544
AT ITER 1928 NEW BEST:: SOT 32047 SOS 8535 HAS SOPS 8535 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6771.535
AT ITER 1929 NEW BEST:: SOT 32041 SOS 8529 HAS SOPS 8529 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6756.529
AT ITER 1946 NEW BEST:: SOT 32039 SOS 8525 HAS SOPS 8525 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6752.525
AT ITER 1952 NEW BEST:: SOT 32038 SOS 8523 HAS SOPS 8523 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6751.523
AT ITER 1953 NEW BEST:: SOT 32038 SOS 8505 HAS SOPS 8505 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6751.505
AT ITER 1990 NEW BEST:: SOT 32036 SOS 8503 HAS SOPS 8503 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6743.503
AT ITER 2020 NEW BEST:: SOT 32023 SOS 8490 HAS SOPS 8490 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6730.49
AT ITER 2100 NEW BEST:: SOT 32024 SOS 8489 HAS SOPS 8489 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6729.489
AT ITER 2114 NEW BEST:: SOT 32024 SOS 8479 HAS SOPS 8479 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6729.479
AT ITER 2167 NEW BEST:: SOT 32021 SOS 8478 HAS SOPS 8478 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6721.478
AT ITER 2178 NEW BEST:: SOT 32018 SOS 8478 HAS SOPS 8478 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6718.478
AT ITER 2200 NEW BEST:: SOT 32009 SOS 8487 HAS SOPS 8487 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6714.487
AT ITER 2201 NEW BEST:: SOT 32009 SOS 8482 HAS SOPS 8482 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6709.482
AT ITER 2222 NEW BEST:: SOT 32006 SOS 8479 HAS SOPS 8479 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.479
AT ITER 2263 NEW BEST:: SOT 32004 SOS 8473 HAS SOPS 8473 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6699.473
AT ITER 2279 NEW BEST:: SOT 31992 SOS 8461 HAS SOPS 8461 HAS SOUS 6679 HAS SOUPS 6679 WITH SCORE 6687.461
AT ITER 2286 NEW BEST:: SOT 31969 SOS 8438 HAS SOPS 8438 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6683.438
AT ITER 2300 NEW BEST:: SOT 31965 SOS 8433 HAS SOPS 8433 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6678.433
AT ITER 2302 NEW BEST:: SOT 31960 SOS 8428 HAS SOPS 8428 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6678.428
AT ITER 2364 NEW BEST:: SOT 31933 SOS 8416 HAS SOPS 8416 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6666.416
AT ITER 2436 NEW BEST:: SOT 31932 SOS 8415 HAS SOPS 8415 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6664.415
AT ITER 2442 NEW BEST:: SOT 31926 SOS 8406 HAS SOPS 8406 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6655.406
AT ITER 2516 NEW BEST:: SOT 31926 SOS 8402 HAS SOPS 8402 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.402
AT ITER 2517 NEW BEST:: SOT 31921 SOS 8398 HAS SOPS 8398 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6649.398
AT ITER 2537 NEW BEST:: SOT 31885 SOS 8359 HAS SOPS 8359 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6610.359
AT ITER 2552 NEW BEST:: SOT 31900 SOS 8393 HAS SOPS 8393 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6606.393
AT ITER 2593 NEW BEST:: SOT 31870 SOS 8295 HAS SOPS 8295 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6592.295
AT ITER 2637 NEW BEST:: SOT 31871 SOS 8305 HAS SOPS 8305 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6556.305
AT ITER 2664 NEW BEST:: SOT 31861 SOS 8300 HAS SOPS 8300 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6551.3
AT ITER 2671 NEW BEST:: SOT 31830 SOS 8270 HAS SOPS 8270 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6546.27
AT ITER 2717 NEW BEST:: SOT 31823 SOS 8256 HAS SOPS 8256 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6539.256
AT ITER 2732 NEW BEST:: SOT 31815 SOS 8248 HAS SOPS 8248 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6515.248
AT ITER 2772 NEW BEST:: SOT 31811 SOS 8248 HAS SOPS 8248 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6511.248
AT ITER 2842 NEW BEST:: SOT 31808 SOS 8245 HAS SOPS 8245 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6508.245
AT ITER 2854 NEW BEST:: SOT 31778 SOS 8161 HAS SOPS 8161 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6453.161
AT ITER 2856 NEW BEST:: SOT 31763 SOS 8081 HAS SOPS 8081 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6418.081
AT ITER 2860 NEW BEST:: SOT 31804 SOS 7939 HAS SOPS 7939 HAS SOUS 6351 HAS SOUPS 6351 WITH SCORE 6358.939
AT ITER 2871 NEW BEST:: SOT 31790 SOS 7919 HAS SOPS 7919 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6340.919
AT ITER 2873 NEW BEST:: SOT 31790 SOS 7892 HAS SOPS 7892 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6315.892
AT ITER 2935 NEW BEST:: SOT 31790 SOS 7890 HAS SOPS 7890 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6315.89
AT ITER 3035 NEW BEST:: SOT 31770 SOS 7841 HAS SOPS 7841 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6286.841
AT ITER 3061 NEW BEST:: SOT 31787 SOS 7854 HAS SOPS 7854 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6279.854
AT ITER 3081 NEW BEST:: SOT 31785 SOS 7847 HAS SOPS 7847 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.847
AT ITER 3131 NEW BEST:: SOT 31785 SOS 7841 HAS SOPS 7841 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.841
AT ITER 3180 NEW BEST:: SOT 31783 SOS 7833 HAS SOPS 7833 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.833
AT ITER 3181 NEW BEST:: SOT 31783 SOS 7818 HAS SOPS 7818 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.818
AT ITER 3195 NEW BEST:: SOT 31777 SOS 7812 HAS SOPS 7812 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6266.812
AT ITER 3217 NEW BEST:: SOT 31774 SOS 7787 HAS SOPS 7787 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6260.787
AT ITER 3230 NEW BEST:: SOT 31756 SOS 7756 HAS SOPS 7756 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6229.756
AT ITER 3287 NEW BEST:: SOT 31739 SOS 7747 HAS SOPS 7747 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.747
AT ITER 3291 NEW BEST:: SOT 31721 SOS 7739 HAS SOPS 7739 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6219.739
AT ITER 3328 NEW BEST:: SOT 31708 SOS 7731 HAS SOPS 7731 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6212.731
AT ITER 3332 NEW BEST:: SOT 31688 SOS 7690 HAS SOPS 7690 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6191.69
AT ITER 3391 NEW BEST:: SOT 31683 SOS 7678 HAS SOPS 7678 HAS SOUS 6179 HAS SOUPS 6179 WITH SCORE 6186.678
AT ITER 3401 NEW BEST:: SOT 31682 SOS 7677 HAS SOPS 7677 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6185.677
AT ITER 3457 NEW BEST:: SOT 31682 SOS 7672 HAS SOPS 7672 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6180.672
AT ITER 3458 NEW BEST:: SOT 31669 SOS 7645 HAS SOPS 7645 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6176.645
AT ITER 3465 NEW BEST:: SOT 31659 SOS 7634 HAS SOPS 7634 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6175.634
AT ITER 3497 NEW BEST:: SOT 31653 SOS 7622 HAS SOPS 7622 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6171.622
AT ITER 3566 NEW BEST:: SOT 31646 SOS 7615 HAS SOPS 7615 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6164.615
AT ITER 3594 NEW BEST:: SOT 31642 SOS 7611 HAS SOPS 7611 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6160.611
AT ITER 3628 NEW BEST:: SOT 31639 SOS 7600 HAS SOPS 7600 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6154.6
AT ITER 3631 NEW BEST:: SOT 31637 SOS 7598 HAS SOPS 7598 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6152.598
AT ITER 3647 NEW BEST:: SOT 31633 SOS 7548 HAS SOPS 7548 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6147.548
AT ITER 3686 NEW BEST:: SOT 31655 SOS 7474 HAS SOPS 7474 HAS SOUS 6109 HAS SOUPS 6109 WITH SCORE 6116.474
AT ITER 3692 NEW BEST:: SOT 31653 SOS 7452 HAS SOPS 7452 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6094.452
AT ITER 3702 NEW BEST:: SOT 31649 SOS 7442 HAS SOPS 7442 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6071.442
AT ITER 3709 NEW BEST:: SOT 31649 SOS 7442 HAS SOPS 7442 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6062.442
AT ITER 3732 NEW BEST:: SOT 31651 SOS 7422 HAS SOPS 7422 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6053.422
AT ITER 3755 NEW BEST:: SOT 31632 SOS 7404 HAS SOPS 7404 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6035.404
AT ITER 3769 NEW BEST:: SOT 31632 SOS 7397 HAS SOPS 7397 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6029.397
AT ITER 3796 NEW BEST:: SOT 31625 SOS 7402 HAS SOPS 7402 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6022.402
AT ITER 3876 NEW BEST:: SOT 31621 SOS 7394 HAS SOPS 7394 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6014.394
AT ITER 3904 NEW BEST:: SOT 31617 SOS 7389 HAS SOPS 7389 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6009.389
AT ITER 3908 NEW BEST:: SOT 31617 SOS 7389 HAS SOPS 7389 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6004.389
AT ITER 3931 NEW BEST:: SOT 31615 SOS 7387 HAS SOPS 7387 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6000.387
AT ITER 3940 NEW BEST:: SOT 31614 SOS 7386 HAS SOPS 7386 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 5999.386
AT ITER 3942 NEW BEST:: SOT 31613 SOS 7382 HAS SOPS 7382 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5997.382
AT ITER 3951 NEW BEST:: SOT 31609 SOS 7342 HAS SOPS 7342 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5957.342
AT ITER 3971 NEW BEST:: SOT 31609 SOS 7302 HAS SOPS 7302 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5947.302
AT ITER 4031 NEW BEST:: SOT 31609 SOS 7293 HAS SOPS 7293 HAS SOUS 5931 HAS SOUPS 5931 WITH SCORE 5938.293
AT ITER 4044 NEW BEST:: SOT 31600 SOS 7272 HAS SOPS 7272 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5924.272
AT ITER 4048 NEW BEST:: SOT 31601 SOS 7274 HAS SOPS 7274 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5922.274
AT ITER 4071 NEW BEST:: SOT 31600 SOS 7270 HAS SOPS 7270 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5922.27
AT ITER 4145 NEW BEST:: SOT 31600 SOS 7272 HAS SOPS 7272 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5921.272
AT ITER 4188 NEW BEST:: SOT 31600 SOS 7265 HAS SOPS 7265 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5912.265
AT ITER 4215 NEW BEST:: SOT 31583 SOS 7231 HAS SOPS 7231 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5893.231
AT ITER 4222 NEW BEST:: SOT 31582 SOS 7229 HAS SOPS 7229 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5893.229
AT ITER 4240 NEW BEST:: SOT 31558 SOS 7231 HAS SOPS 7231 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5885.231
AT ITER 4294 NEW BEST:: SOT 31558 SOS 7219 HAS SOPS 7219 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5885.219
AT ITER 4317 NEW BEST:: SOT 31524 SOS 7149 HAS SOPS 7149 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5851.149
AT ITER 4372 NEW BEST:: SOT 31524 SOS 7142 HAS SOPS 7142 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5844.142
AT ITER 4424 NEW BEST:: SOT 31524 SOS 7134 HAS SOPS 7134 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5843.134
AT ITER 4463 NEW BEST:: SOT 31504 SOS 7110 HAS SOPS 7110 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5819.11
AT ITER 4478 NEW BEST:: SOT 31492 SOS 7091 HAS SOPS 7091 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5794.091
AT ITER 4487 NEW BEST:: SOT 31481 SOS 7074 HAS SOPS 7074 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5783.074
AT ITER 4507 NEW BEST:: SOT 31482 SOS 7079 HAS SOPS 7079 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5780.079
AT ITER 4526 NEW BEST:: SOT 31481 SOS 7078 HAS SOPS 7078 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5776.078
AT ITER 4564 NEW BEST:: SOT 31430 SOS 7059 HAS SOPS 7059 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5751.059
AT ITER 4626 NEW BEST:: SOT 31415 SOS 7044 HAS SOPS 7044 HAS SOUS 5742 HAS SOUPS 5742 WITH SCORE 5749.044
AT ITER 4664 NEW BEST:: SOT 31418 SOS 7034 HAS SOPS 7034 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5739.034
AT ITER 4751 NEW BEST:: SOT 31418 SOS 7054 HAS SOPS 7054 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5729.054
AT ITER 4795 NEW BEST:: SOT 31400 SOS 7002 HAS SOPS 7002 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5716.002
AT ITER 4825 NEW BEST:: SOT 31400 SOS 7004 HAS SOPS 7004 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5714.004
AT ITER 4927 NEW BEST:: SOT 31400 SOS 6999 HAS SOPS 6999 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5713.999
AT ITER 4933 NEW BEST:: SOT 31394 SOS 6989 HAS SOPS 6989 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5705.989
AT ITER 4979 NEW BEST:: SOT 31394 SOS 6969 HAS SOPS 6969 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5695.969
AT ITER 5025 NEW BEST:: SOT 31392 SOS 6967 HAS SOPS 6967 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5693.967
AT ITER 5040 NEW BEST:: SOT 31392 SOS 6963 HAS SOPS 6963 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5693.963
AT ITER 5047 NEW BEST:: SOT 31392 SOS 6962 HAS SOPS 6962 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5692.962
AT ITER 5060 NEW BEST:: SOT 31386 SOS 6950 HAS SOPS 6950 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.95
AT ITER 5107 NEW BEST:: SOT 31386 SOS 6949 HAS SOPS 6949 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.949
AT ITER 5166 NEW BEST:: SOT 31385 SOS 6923 HAS SOPS 6923 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5662.923
AT ITER 5169 NEW BEST:: SOT 31383 SOS 6918 HAS SOPS 6918 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5657.918
AT ITER 5176 NEW BEST:: SOT 31381 SOS 6917 HAS SOPS 6917 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5655.917
AT ITER 5260 NEW BEST:: SOT 31370 SOS 6908 HAS SOPS 6908 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5651.908
AT ITER 5319 NEW BEST:: SOT 31367 SOS 6902 HAS SOPS 6902 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.902
AT ITER 5337 NEW BEST:: SOT 31360 SOS 6902 HAS SOPS 6902 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5637.902
AT ITER 5390 NEW BEST:: SOT 31360 SOS 6900 HAS SOPS 6900 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.9
AT ITER 5407 NEW BEST:: SOT 31358 SOS 6897 HAS SOPS 6897 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.897
AT ITER 5414 NEW BEST:: SOT 31358 SOS 6901 HAS SOPS 6901 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5631.901
AT ITER 5470 NEW BEST:: SOT 31353 SOS 6880 HAS SOPS 6880 HAS SOUS 5614 HAS SOUPS 5614 WITH SCORE 5620.88
AT ITER 5559 NEW BEST:: SOT 31352 SOS 6879 HAS SOPS 6879 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.879
AT ITER 5608 NEW BEST:: SOT 31351 SOS 6888 HAS SOPS 6888 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5617.888
AT ITER 5612 NEW BEST:: SOT 31347 SOS 6870 HAS SOPS 6870 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5610.87
AT ITER 5617 NEW BEST:: SOT 31347 SOS 6864 HAS SOPS 6864 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5600.864
AT ITER 5632 NEW BEST:: SOT 31347 SOS 6862 HAS SOPS 6862 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5600.862
AT ITER 5653 NEW BEST:: SOT 31347 SOS 6861 HAS SOPS 6861 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5599.861
AT ITER 5709 NEW BEST:: SOT 31355 SOS 6869 HAS SOPS 6869 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5596.869
AT ITER 5738 NEW BEST:: SOT 31356 SOS 6872 HAS SOPS 6872 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5591.872
AT ITER 5772 NEW BEST:: SOT 31354 SOS 6860 HAS SOPS 6860 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.86
AT ITER 5806 NEW BEST:: SOT 31350 SOS 6856 HAS SOPS 6856 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.856
AT ITER 5858 NEW BEST:: SOT 31338 SOS 6808 HAS SOPS 6808 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5569.808
AT ITER 5895 NEW BEST:: SOT 31333 SOS 6798 HAS SOPS 6798 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5564.798
AT ITER 5947 NEW BEST:: SOT 31329 SOS 6802 HAS SOPS 6802 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.802
AT ITER 6004 NEW BEST:: SOT 31329 SOS 6834 HAS SOPS 6834 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.834
AT ITER 6059 NEW BEST:: SOT 31331 SOS 6832 HAS SOPS 6832 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.832
AT ITER 6062 NEW BEST:: SOT 31331 SOS 6830 HAS SOPS 6830 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.83
AT ITER 6076 NEW BEST:: SOT 31328 SOS 6832 HAS SOPS 6832 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5551.832
AT ITER 6094 NEW BEST:: SOT 31328 SOS 6825 HAS SOPS 6825 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.825
AT ITER 6098 NEW BEST:: SOT 31320 SOS 6806 HAS SOPS 6806 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5536.806
AT ITER 6174 NEW BEST:: SOT 31323 SOS 6804 HAS SOPS 6804 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5534.804
AT ITER 6184 NEW BEST:: SOT 31323 SOS 6803 HAS SOPS 6803 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5533.803
AT ITER 6201 NEW BEST:: SOT 31307 SOS 6771 HAS SOPS 6771 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5508.771
AT ITER 6205 NEW BEST:: SOT 31307 SOS 6757 HAS SOPS 6757 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5508.757
AT ITER 6255 NEW BEST:: SOT 31307 SOS 6744 HAS SOPS 6744 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5508.744
AT ITER 6282 NEW BEST:: SOT 31305 SOS 6742 HAS SOPS 6742 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5508.742
AT ITER 6513 NEW BEST:: SOT 31293 SOS 6735 HAS SOPS 6735 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5501.735
AT ITER 6556 NEW BEST:: SOT 31284 SOS 6717 HAS SOPS 6717 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5483.717
AT ITER 6590 NEW BEST:: SOT 31284 SOS 6724 HAS SOPS 6724 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.724
AT ITER 6598 NEW BEST:: SOT 31284 SOS 6718 HAS SOPS 6718 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5479.718
AT ITER 6599 NEW BEST:: SOT 31281 SOS 6713 HAS SOPS 6713 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.713
AT ITER 6629 NEW BEST:: SOT 31278 SOS 6643 HAS SOPS 6643 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5455.643
AT ITER 6679 NEW BEST:: SOT 31272 SOS 6633 HAS SOPS 6633 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5455.633
AT ITER 6696 NEW BEST:: SOT 31267 SOS 6624 HAS SOPS 6624 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5446.624
AT ITER 6714 NEW BEST:: SOT 31267 SOS 6624 HAS SOPS 6624 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.624
AT ITER 6870 NEW BEST:: SOT 31267 SOS 6604 HAS SOPS 6604 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5409.604
AT ITER 6943 NEW BEST:: SOT 31266 SOS 6605 HAS SOPS 6605 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5408.605
AT ITER 7039 NEW BEST:: SOT 31247 SOS 6598 HAS SOPS 6598 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5401.598
AT ITER 7194 NEW BEST:: SOT 31247 SOS 6596 HAS SOPS 6596 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.596
AT ITER 7243 NEW BEST:: SOT 31247 SOS 6530 HAS SOPS 6530 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.53
AT ITER 7247 NEW BEST:: SOT 31238 SOS 6525 HAS SOPS 6525 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5394.525
AT ITER 7263 NEW BEST:: SOT 31237 SOS 6523 HAS SOPS 6523 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5393.523
AT ITER 7341 NEW BEST:: SOT 31239 SOS 6524 HAS SOPS 6524 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5392.524
AT ITER 7474 NEW BEST:: SOT 31240 SOS 6523 HAS SOPS 6523 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.523
AT ITER 7614 NEW BEST:: SOT 31234 SOS 6517 HAS SOPS 6517 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.517
AT ITER 7760 NEW BEST:: SOT 31232 SOS 6515 HAS SOPS 6515 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5372.515
AT ITER 7833 NEW BEST:: SOT 31229 SOS 6509 HAS SOPS 6509 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5364.509
AT ITER 7858 NEW BEST:: SOT 31229 SOS 6499 HAS SOPS 6499 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5364.499
AT ITER 7926 NEW BEST:: SOT 31221 SOS 6469 HAS SOPS 6469 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5345.469
AT ITER 7927 NEW BEST:: SOT 31220 SOS 6468 HAS SOPS 6468 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5344.468
AT ITER 8020 NEW BEST:: SOT 31219 SOS 6466 HAS SOPS 6466 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5342.466
AT ITER 8031 NEW BEST:: SOT 31219 SOS 6463 HAS SOPS 6463 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5339.463
AT ITER 8080 NEW BEST:: SOT 31211 SOS 6518 HAS SOPS 6518 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5331.518
AT ITER 8088 NEW BEST:: SOT 31208 SOS 6572 HAS SOPS 6572 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5325.572
AT ITER 8120 NEW BEST:: SOT 31200 SOS 6559 HAS SOPS 6559 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5317.559
AT ITER 8124 NEW BEST:: SOT 31194 SOS 6539 HAS SOPS 6539 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5308.539
AT ITER 8206 NEW BEST:: SOT 31191 SOS 6539 HAS SOPS 6539 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5305.539
AT ITER 8244 NEW BEST:: SOT 31188 SOS 6531 HAS SOPS 6531 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5303.531
AT ITER 8269 NEW BEST:: SOT 31188 SOS 6530 HAS SOPS 6530 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5302.53
AT ITER 8286 NEW BEST:: SOT 31187 SOS 6528 HAS SOPS 6528 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5297.528
AT ITER 8367 NEW BEST:: SOT 31184 SOS 6522 HAS SOPS 6522 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5291.522
AT ITER 8441 NEW BEST:: SOT 31183 SOS 6522 HAS SOPS 6522 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5290.522
AT ITER 8454 NEW BEST:: SOT 31194 SOS 6469 HAS SOPS 6469 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.469
AT ITER 8476 NEW BEST:: SOT 31192 SOS 6459 HAS SOPS 6459 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5272.459
AT ITER 8499 NEW BEST:: SOT 31189 SOS 6458 HAS SOPS 6458 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5271.458
AT ITER 8581 NEW BEST:: SOT 31180 SOS 6449 HAS SOPS 6449 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5262.449
AT ITER 8587 NEW BEST:: SOT 31183 SOS 6455 HAS SOPS 6455 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5261.455
AT ITER 8627 NEW BEST:: SOT 31178 SOS 6457 HAS SOPS 6457 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5256.457
AT ITER 8675 NEW BEST:: SOT 31178 SOS 6457 HAS SOPS 6457 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5252.457
AT ITER 8720 NEW BEST:: SOT 31177 SOS 6455 HAS SOPS 6455 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5250.455
AT ITER 8871 NEW BEST:: SOT 31177 SOS 6447 HAS SOPS 6447 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5246.447
AT ITER 8954 NEW BEST:: SOT 31187 SOS 6444 HAS SOPS 6444 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5243.444
AT ITER 8993 NEW BEST:: SOT 31189 SOS 6444 HAS SOPS 6444 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5241.444
AT ITER 9015 NEW BEST:: SOT 31189 SOS 6440 HAS SOPS 6440 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5241.44
AT ITER 9059 NEW BEST:: SOT 31185 SOS 6435 HAS SOPS 6435 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5236.435
AT ITER 9206 NEW BEST:: SOT 31182 SOS 6429 HAS SOPS 6429 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5234.429
AT ITER 9226 NEW BEST:: SOT 31182 SOS 6425 HAS SOPS 6425 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5232.425
AT ITER 9235 NEW BEST:: SOT 31179 SOS 6422 HAS SOPS 6422 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5229.422
AT ITER 9262 NEW BEST:: SOT 31179 SOS 6416 HAS SOPS 6416 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5229.416
AT ITER 9320 NEW BEST:: SOT 31177 SOS 6414 HAS SOPS 6414 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5225.414
AT ITER 9367 NEW BEST:: SOT 31177 SOS 6415 HAS SOPS 6415 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5224.415
AT ITER 9377 NEW BEST:: SOT 31176 SOS 6409 HAS SOPS 6409 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5224.409
AT ITER 9408 NEW BEST:: SOT 31175 SOS 6406 HAS SOPS 6406 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5220.406
AT ITER 9600 NEW BEST:: SOT 31179 SOS 6411 HAS SOPS 6411 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5207.411
AT ITER 9689 NEW BEST:: SOT 31167 SOS 6383 HAS SOPS 6383 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5199.383
AT ITER 9876 NEW BEST:: SOT 31167 SOS 6382 HAS SOPS 6382 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.382
AT ITER 9898 NEW BEST:: SOT 31165 SOS 6380 HAS SOPS 6380 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5196.38
AT ITER 9951 NEW BEST:: SOT 31157 SOS 6369 HAS SOPS 6369 HAS SOUS 5187 HAS SOUPS 5187 WITH SCORE 5193.369

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

# 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-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 r207-tajo-159033469000104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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