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.r299-tall-167873953500800.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 smartxred
Input is ProductionCell-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953500800
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.4K Feb 25 14:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 14:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 14:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 25 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:36 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 43K 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 1679555115872

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ProductionCell-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 07:05:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 07:05:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 07:05:17] [INFO ] Load time of PNML (sax parser for PT used): 41 ms
[2023-03-23 07:05:17] [INFO ] Transformed 176 places.
[2023-03-23 07:05:17] [INFO ] Transformed 134 transitions.
[2023-03-23 07:05:17] [INFO ] Found NUPN structural information;
[2023-03-23 07:05:17] [INFO ] Parsed PT model containing 176 places and 134 transitions and 513 arcs in 101 ms.
[2023-03-23 07:05:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 176 places, 134 transitions and 513 arcs took 5 ms.
Total runtime 131 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ProductionCell (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 176 places, 134 transitions, 513 arcs.
AT ITER 0 NEW BEST:: SOT 17633 SOS 13131 HAS SOPS 13131 HAS SOUS 10570 HAS SOUPS 10570 WITH SCORE 10583.131
AT ITER 6 NEW BEST:: SOT 17436 SOS 13001 HAS SOPS 13001 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10453.001
AT ITER 7 NEW BEST:: SOT 17401 SOS 12973 HAS SOPS 12973 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10424.973
AT ITER 12 NEW BEST:: SOT 17402 SOS 12815 HAS SOPS 12815 HAS SOUS 10370 HAS SOUPS 10370 WITH SCORE 10382.815
AT ITER 13 NEW BEST:: SOT 17277 SOS 12690 HAS SOPS 12690 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10257.69
AT ITER 14 NEW BEST:: SOT 17277 SOS 12276 HAS SOPS 12276 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10194.276
AT ITER 20 NEW BEST:: SOT 17275 SOS 12031 HAS SOPS 12031 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10160.031
AT ITER 22 NEW BEST:: SOT 16512 SOS 11318 HAS SOPS 11318 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9490.318
AT ITER 28 NEW BEST:: SOT 16511 SOS 11317 HAS SOPS 11317 HAS SOUS 9477 HAS SOUPS 9477 WITH SCORE 9488.317
AT ITER 30 NEW BEST:: SOT 16415 SOS 11221 HAS SOPS 11221 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9475.221
AT ITER 36 NEW BEST:: SOT 16412 SOS 11195 HAS SOPS 11195 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9445.195
AT ITER 37 NEW BEST:: SOT 16412 SOS 11174 HAS SOPS 11174 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9392.174
AT ITER 38 NEW BEST:: SOT 16417 SOS 11141 HAS SOPS 11141 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9359.141
AT ITER 39 NEW BEST:: SOT 16416 SOS 10934 HAS SOPS 10934 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9269.934
AT ITER 42 NEW BEST:: SOT 16416 SOS 10724 HAS SOPS 10724 HAS SOUS 9247 HAS SOUPS 9247 WITH SCORE 9257.724
AT ITER 44 NEW BEST:: SOT 16416 SOS 10718 HAS SOPS 10718 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9254.718
AT ITER 45 NEW BEST:: SOT 16359 SOS 10583 HAS SOPS 10583 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9071.583
AT ITER 46 NEW BEST:: SOT 16359 SOS 10539 HAS SOPS 10539 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9045.539
AT ITER 47 NEW BEST:: SOT 16258 SOS 10465 HAS SOPS 10465 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8968.465
AT ITER 51 NEW BEST:: SOT 16256 SOS 10463 HAS SOPS 10463 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8966.463
AT ITER 53 NEW BEST:: SOT 16225 SOS 10429 HAS SOPS 10429 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8932.429
AT ITER 56 NEW BEST:: SOT 16214 SOS 10407 HAS SOPS 10407 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8921.407
AT ITER 60 NEW BEST:: SOT 16213 SOS 10362 HAS SOPS 10362 HAS SOUS 8909 HAS SOUPS 8909 WITH SCORE 8919.362
AT ITER 64 NEW BEST:: SOT 16213 SOS 10408 HAS SOPS 10408 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8914.408
AT ITER 69 NEW BEST:: SOT 16212 SOS 10393 HAS SOPS 10393 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8912.393
AT ITER 74 NEW BEST:: SOT 16185 SOS 10362 HAS SOPS 10362 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8857.362
AT ITER 77 NEW BEST:: SOT 16070 SOS 10247 HAS SOPS 10247 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8743.247
AT ITER 78 NEW BEST:: SOT 16070 SOS 10189 HAS SOPS 10189 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8731.189
AT ITER 84 NEW BEST:: SOT 16031 SOS 10180 HAS SOPS 10180 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8669.18
AT ITER 86 NEW BEST:: SOT 15990 SOS 10023 HAS SOPS 10023 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8593.023
AT ITER 87 NEW BEST:: SOT 15905 SOS 10018 HAS SOPS 10018 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8508.018
AT ITER 95 NEW BEST:: SOT 15809 SOS 10074 HAS SOPS 10074 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8502.074
AT ITER 99 NEW BEST:: SOT 15805 SOS 9853 HAS SOPS 9853 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8479.853
AT ITER 106 NEW BEST:: SOT 15775 SOS 9823 HAS SOPS 9823 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8448.823
AT ITER 108 NEW BEST:: SOT 15763 SOS 9823 HAS SOPS 9823 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.823
AT ITER 126 NEW BEST:: SOT 15763 SOS 9790 HAS SOPS 9790 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.79
AT ITER 127 NEW BEST:: SOT 15763 SOS 9778 HAS SOPS 9778 HAS SOUS 8416 HAS SOUPS 8416 WITH SCORE 8425.778
AT ITER 133 NEW BEST:: SOT 15759 SOS 9774 HAS SOPS 9774 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8421.774
AT ITER 137 NEW BEST:: SOT 15776 SOS 9791 HAS SOPS 9791 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8381.791
AT ITER 138 NEW BEST:: SOT 15776 SOS 9767 HAS SOPS 9767 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8381.767
AT ITER 142 NEW BEST:: SOT 15739 SOS 9793 HAS SOPS 9793 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8339.793
AT ITER 149 NEW BEST:: SOT 15678 SOS 9444 HAS SOPS 9444 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8148.444
AT ITER 152 NEW BEST:: SOT 15631 SOS 9375 HAS SOPS 9375 HAS SOUS 7952 HAS SOUPS 7952 WITH SCORE 7961.375
AT ITER 156 NEW BEST:: SOT 15630 SOS 9374 HAS SOPS 9374 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7958.374
AT ITER 164 NEW BEST:: SOT 15520 SOS 9264 HAS SOPS 9264 HAS SOUS 7839 HAS SOUPS 7839 WITH SCORE 7848.264
AT ITER 170 NEW BEST:: SOT 15538 SOS 9308 HAS SOPS 9308 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7828.308
AT ITER 177 NEW BEST:: SOT 15604 SOS 9307 HAS SOPS 9307 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7826.307
AT ITER 192 NEW BEST:: SOT 15531 SOS 9268 HAS SOPS 9268 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7825.268
AT ITER 195 NEW BEST:: SOT 15486 SOS 9223 HAS SOPS 9223 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7780.223
AT ITER 198 NEW BEST:: SOT 15475 SOS 9204 HAS SOPS 9204 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7755.204
AT ITER 199 NEW BEST:: SOT 15506 SOS 9148 HAS SOPS 9148 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7692.148
AT ITER 200 NEW BEST:: SOT 15506 SOS 9079 HAS SOPS 9079 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7692.079
AT ITER 201 NEW BEST:: SOT 15389 SOS 8962 HAS SOPS 8962 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7571.962
AT ITER 203 NEW BEST:: SOT 15389 SOS 8956 HAS SOPS 8956 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7565.956
AT ITER 207 NEW BEST:: SOT 15405 SOS 8919 HAS SOPS 8919 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7528.919
AT ITER 212 NEW BEST:: SOT 15409 SOS 8923 HAS SOPS 8923 HAS SOUS 7516 HAS SOUPS 7516 WITH SCORE 7524.923
AT ITER 223 NEW BEST:: SOT 15378 SOS 8897 HAS SOPS 8897 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7498.897
AT ITER 225 NEW BEST:: SOT 15378 SOS 8772 HAS SOPS 8772 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7498.772
AT ITER 228 NEW BEST:: SOT 15378 SOS 8772 HAS SOPS 8772 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7491.772
AT ITER 229 NEW BEST:: SOT 15296 SOS 8680 HAS SOPS 8680 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7398.68
AT ITER 230 NEW BEST:: SOT 15151 SOS 8503 HAS SOPS 8503 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7256.503
AT ITER 231 NEW BEST:: SOT 15150 SOS 8502 HAS SOPS 8502 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7255.502
AT ITER 240 NEW BEST:: SOT 15151 SOS 8392 HAS SOPS 8392 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7166.392
AT ITER 242 NEW BEST:: SOT 15134 SOS 8375 HAS SOPS 8375 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7149.375
AT ITER 251 NEW BEST:: SOT 14928 SOS 8147 HAS SOPS 8147 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6921.147
AT ITER 253 NEW BEST:: SOT 14928 SOS 8138 HAS SOPS 8138 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6918.138
AT ITER 255 NEW BEST:: SOT 14922 SOS 7990 HAS SOPS 7990 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.99
AT ITER 259 NEW BEST:: SOT 14921 SOS 7978 HAS SOPS 7978 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6843.978
AT ITER 262 NEW BEST:: SOT 14921 SOS 7884 HAS SOPS 7884 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6792.884
AT ITER 265 NEW BEST:: SOT 14921 SOS 7884 HAS SOPS 7884 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6782.884
AT ITER 274 NEW BEST:: SOT 14909 SOS 7866 HAS SOPS 7866 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6764.866
AT ITER 282 NEW BEST:: SOT 14909 SOS 7806 HAS SOPS 7806 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6755.806
AT ITER 291 NEW BEST:: SOT 14908 SOS 7800 HAS SOPS 7800 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6749.8
AT ITER 297 NEW BEST:: SOT 14915 SOS 7706 HAS SOPS 7706 HAS SOUS 6722 HAS SOUPS 6722 WITH SCORE 6729.706
AT ITER 298 NEW BEST:: SOT 14904 SOS 7694 HAS SOPS 7694 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6717.694
AT ITER 301 NEW BEST:: SOT 14912 SOS 7661 HAS SOPS 7661 HAS SOUS 6677 HAS SOUPS 6677 WITH SCORE 6684.661
AT ITER 302 NEW BEST:: SOT 14881 SOS 7625 HAS SOPS 7625 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6648.625
AT ITER 321 NEW BEST:: SOT 14862 SOS 7603 HAS SOPS 7603 HAS SOUS 6619 HAS SOUPS 6619 WITH SCORE 6626.603
AT ITER 322 NEW BEST:: SOT 14855 SOS 7595 HAS SOPS 7595 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6621.595
AT ITER 327 NEW BEST:: SOT 14762 SOS 7511 HAS SOPS 7511 HAS SOUS 6530 HAS SOUPS 6530 WITH SCORE 6537.511
AT ITER 333 NEW BEST:: SOT 14772 SOS 7500 HAS SOPS 7500 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6526.5
AT ITER 341 NEW BEST:: SOT 14772 SOS 7481 HAS SOPS 7481 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6519.481
AT ITER 346 NEW BEST:: SOT 14750 SOS 7421 HAS SOPS 7421 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6497.421
AT ITER 356 NEW BEST:: SOT 14657 SOS 7326 HAS SOPS 7326 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6406.326
AT ITER 357 NEW BEST:: SOT 14656 SOS 7324 HAS SOPS 7324 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6404.324
AT ITER 359 NEW BEST:: SOT 14655 SOS 7324 HAS SOPS 7324 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.324
AT ITER 362 NEW BEST:: SOT 14614 SOS 7271 HAS SOPS 7271 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6349.271
AT ITER 366 NEW BEST:: SOT 14602 SOS 7249 HAS SOPS 7249 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6327.249
AT ITER 368 NEW BEST:: SOT 14594 SOS 7214 HAS SOPS 7214 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6292.214
AT ITER 372 NEW BEST:: SOT 14592 SOS 7199 HAS SOPS 7199 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6277.199
AT ITER 387 NEW BEST:: SOT 14586 SOS 7168 HAS SOPS 7168 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6251.168
AT ITER 407 NEW BEST:: SOT 14616 SOS 7147 HAS SOPS 7147 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6231.147
AT ITER 423 NEW BEST:: SOT 14615 SOS 7110 HAS SOPS 7110 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6201.11
AT ITER 438 NEW BEST:: SOT 14612 SOS 7107 HAS SOPS 7107 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6198.107
AT ITER 443 NEW BEST:: SOT 14619 SOS 7093 HAS SOPS 7093 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6198.093
AT ITER 447 NEW BEST:: SOT 14631 SOS 7105 HAS SOPS 7105 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6192.105
AT ITER 449 NEW BEST:: SOT 14631 SOS 7105 HAS SOPS 7105 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6177.105
AT ITER 451 NEW BEST:: SOT 14631 SOS 7103 HAS SOPS 7103 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6172.103
AT ITER 452 NEW BEST:: SOT 14589 SOS 7088 HAS SOPS 7088 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6123.088
AT ITER 453 NEW BEST:: SOT 14584 SOS 7078 HAS SOPS 7078 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6113.078
AT ITER 459 NEW BEST:: SOT 14566 SOS 7205 HAS SOPS 7205 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6105.205
AT ITER 462 NEW BEST:: SOT 14566 SOS 7199 HAS SOPS 7199 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6104.199
AT ITER 465 NEW BEST:: SOT 14584 SOS 7166 HAS SOPS 7166 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6082.166
AT ITER 470 NEW BEST:: SOT 14577 SOS 7082 HAS SOPS 7082 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6068.082
AT ITER 500 NEW BEST:: SOT 14522 SOS 7026 HAS SOPS 7026 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6012.026
AT ITER 515 NEW BEST:: SOT 14522 SOS 7022 HAS SOPS 7022 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6008.022
AT ITER 522 NEW BEST:: SOT 14537 SOS 6995 HAS SOPS 6995 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 5999.995
AT ITER 523 NEW BEST:: SOT 14536 SOS 6993 HAS SOPS 6993 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5997.993
AT ITER 526 NEW BEST:: SOT 14526 SOS 6979 HAS SOPS 6979 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5992.979
AT ITER 528 NEW BEST:: SOT 14525 SOS 6971 HAS SOPS 6971 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5991.971
AT ITER 557 NEW BEST:: SOT 14648 SOS 6955 HAS SOPS 6955 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5958.955
AT ITER 562 NEW BEST:: SOT 14644 SOS 6951 HAS SOPS 6951 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5954.951
AT ITER 565 NEW BEST:: SOT 14644 SOS 6948 HAS SOPS 6948 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5951.948
AT ITER 572 NEW BEST:: SOT 14644 SOS 6781 HAS SOPS 6781 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5934.781
AT ITER 577 NEW BEST:: SOT 14679 SOS 6765 HAS SOPS 6765 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5917.765
AT ITER 617 NEW BEST:: SOT 14680 SOS 6762 HAS SOPS 6762 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5914.762
AT ITER 621 NEW BEST:: SOT 14609 SOS 6699 HAS SOPS 6699 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5862.699
AT ITER 623 NEW BEST:: SOT 14621 SOS 6665 HAS SOPS 6665 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5861.665
AT ITER 626 NEW BEST:: SOT 14621 SOS 6637 HAS SOPS 6637 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5833.637
AT ITER 632 NEW BEST:: SOT 14614 SOS 6633 HAS SOPS 6633 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5829.633
AT ITER 633 NEW BEST:: SOT 14613 SOS 6632 HAS SOPS 6632 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5828.632
AT ITER 635 NEW BEST:: SOT 14572 SOS 6536 HAS SOPS 6536 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5803.536
AT ITER 636 NEW BEST:: SOT 14568 SOS 6522 HAS SOPS 6522 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5789.522
AT ITER 637 NEW BEST:: SOT 14567 SOS 6521 HAS SOPS 6521 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5789.521
AT ITER 638 NEW BEST:: SOT 14529 SOS 6514 HAS SOPS 6514 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.514
AT ITER 641 NEW BEST:: SOT 14528 SOS 6513 HAS SOPS 6513 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.513
AT ITER 648 NEW BEST:: SOT 14523 SOS 6506 HAS SOPS 6506 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5775.506
AT ITER 651 NEW BEST:: SOT 14538 SOS 6495 HAS SOPS 6495 HAS SOUS 5759 HAS SOUPS 5759 WITH SCORE 5765.495
AT ITER 653 NEW BEST:: SOT 14545 SOS 6479 HAS SOPS 6479 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5749.479
AT ITER 655 NEW BEST:: SOT 14527 SOS 6446 HAS SOPS 6446 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5716.446
AT ITER 660 NEW BEST:: SOT 14516 SOS 6424 HAS SOPS 6424 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5705.424
AT ITER 668 NEW BEST:: SOT 14516 SOS 6415 HAS SOPS 6415 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5702.415
AT ITER 691 NEW BEST:: SOT 14384 SOS 6283 HAS SOPS 6283 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5636.283
AT ITER 719 NEW BEST:: SOT 14370 SOS 6237 HAS SOPS 6237 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5590.237
AT ITER 722 NEW BEST:: SOT 14333 SOS 6164 HAS SOPS 6164 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5550.164
AT ITER 725 NEW BEST:: SOT 14336 SOS 6148 HAS SOPS 6148 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5531.148
AT ITER 726 NEW BEST:: SOT 14340 SOS 6117 HAS SOPS 6117 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.117
AT ITER 733 NEW BEST:: SOT 14329 SOS 6095 HAS SOPS 6095 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.095
AT ITER 743 NEW BEST:: SOT 14329 SOS 6101 HAS SOPS 6101 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5472.101
AT ITER 746 NEW BEST:: SOT 14327 SOS 6100 HAS SOPS 6100 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5471.1
AT ITER 751 NEW BEST:: SOT 14302 SOS 6082 HAS SOPS 6082 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5453.082
AT ITER 754 NEW BEST:: SOT 14268 SOS 6079 HAS SOPS 6079 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5441.079
AT ITER 779 NEW BEST:: SOT 14265 SOS 6069 HAS SOPS 6069 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5434.069
AT ITER 783 NEW BEST:: SOT 14263 SOS 6065 HAS SOPS 6065 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5428.065
AT ITER 791 NEW BEST:: SOT 14255 SOS 6037 HAS SOPS 6037 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5412.037
AT ITER 793 NEW BEST:: SOT 14249 SOS 6018 HAS SOPS 6018 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5393.018
AT ITER 794 NEW BEST:: SOT 14256 SOS 6025 HAS SOPS 6025 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5361.025
AT ITER 795 NEW BEST:: SOT 14247 SOS 5990 HAS SOPS 5990 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5325.99
AT ITER 811 NEW BEST:: SOT 14239 SOS 5974 HAS SOPS 5974 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5309.974
AT ITER 814 NEW BEST:: SOT 14186 SOS 5909 HAS SOPS 5909 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.909
AT ITER 816 NEW BEST:: SOT 14178 SOS 5901 HAS SOPS 5901 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5236.901
AT ITER 824 NEW BEST:: SOT 14162 SOS 5889 HAS SOPS 5889 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5224.889
AT ITER 835 NEW BEST:: SOT 14153 SOS 5884 HAS SOPS 5884 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5219.884
AT ITER 836 NEW BEST:: SOT 14137 SOS 5883 HAS SOPS 5883 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5218.883
AT ITER 863 NEW BEST:: SOT 14131 SOS 5877 HAS SOPS 5877 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5212.877
AT ITER 875 NEW BEST:: SOT 14128 SOS 5874 HAS SOPS 5874 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5209.874
AT ITER 881 NEW BEST:: SOT 14125 SOS 5868 HAS SOPS 5868 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5203.868
AT ITER 927 NEW BEST:: SOT 14125 SOS 5868 HAS SOPS 5868 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5200.868
AT ITER 946 NEW BEST:: SOT 14098 SOS 5760 HAS SOPS 5760 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5119.76
AT ITER 949 NEW BEST:: SOT 14079 SOS 5750 HAS SOPS 5750 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5109.75
AT ITER 953 NEW BEST:: SOT 14079 SOS 5747 HAS SOPS 5747 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5106.747
AT ITER 972 NEW BEST:: SOT 14101 SOS 5759 HAS SOPS 5759 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5099.759
AT ITER 985 NEW BEST:: SOT 14114 SOS 5720 HAS SOPS 5720 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5089.72
AT ITER 994 NEW BEST:: SOT 14110 SOS 5714 HAS SOPS 5714 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5083.714
AT ITER 998 NEW BEST:: SOT 14106 SOS 5701 HAS SOPS 5701 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5070.701
AT ITER 1006 NEW BEST:: SOT 14102 SOS 5697 HAS SOPS 5697 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.697
AT ITER 1019 NEW BEST:: SOT 14112 SOS 5683 HAS SOPS 5683 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5052.683
AT ITER 1034 NEW BEST:: SOT 14100 SOS 5667 HAS SOPS 5667 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.667
AT ITER 1048 NEW BEST:: SOT 14096 SOS 5671 HAS SOPS 5671 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.671
AT ITER 1049 NEW BEST:: SOT 14072 SOS 5647 HAS SOPS 5647 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 4999.647
AT ITER 1091 NEW BEST:: SOT 14068 SOS 5649 HAS SOPS 5649 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4998.649
AT ITER 1104 NEW BEST:: SOT 14067 SOS 5642 HAS SOPS 5642 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4994.642
AT ITER 1111 NEW BEST:: SOT 14065 SOS 5640 HAS SOPS 5640 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4992.64
AT ITER 1122 NEW BEST:: SOT 14073 SOS 5631 HAS SOPS 5631 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4983.631
AT ITER 1152 NEW BEST:: SOT 14066 SOS 5616 HAS SOPS 5616 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.616
AT ITER 1165 NEW BEST:: SOT 14058 SOS 5603 HAS SOPS 5603 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.603
AT ITER 1168 NEW BEST:: SOT 14054 SOS 5606 HAS SOPS 5606 HAS SOUS 4969 HAS SOUPS 4969 WITH SCORE 4974.606
AT ITER 1188 NEW BEST:: SOT 14054 SOS 5605 HAS SOPS 5605 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4973.605
AT ITER 1191 NEW BEST:: SOT 14041 SOS 5627 HAS SOPS 5627 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4967.627
AT ITER 1203 NEW BEST:: SOT 14018 SOS 5581 HAS SOPS 5581 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4921.581
AT ITER 1204 NEW BEST:: SOT 14009 SOS 5572 HAS SOPS 5572 HAS SOUS 4907 HAS SOUPS 4907 WITH SCORE 4912.572
AT ITER 1238 NEW BEST:: SOT 13992 SOS 5555 HAS SOPS 5555 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4892.555
AT ITER 1244 NEW BEST:: SOT 13992 SOS 5550 HAS SOPS 5550 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4887.55
AT ITER 1247 NEW BEST:: SOT 13991 SOS 5549 HAS SOPS 5549 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.549
AT ITER 1249 NEW BEST:: SOT 13987 SOS 5545 HAS SOPS 5545 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.545
AT ITER 1262 NEW BEST:: SOT 13981 SOS 5540 HAS SOPS 5540 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4877.54
AT ITER 1293 NEW BEST:: SOT 13981 SOS 5524 HAS SOPS 5524 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4877.524
AT ITER 1344 NEW BEST:: SOT 13973 SOS 5500 HAS SOPS 5500 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4869.5
AT ITER 1345 NEW BEST:: SOT 13966 SOS 5500 HAS SOPS 5500 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4862.5
AT ITER 1361 NEW BEST:: SOT 13946 SOS 5494 HAS SOPS 5494 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4849.494
AT ITER 1380 NEW BEST:: SOT 13926 SOS 5480 HAS SOPS 5480 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.48
AT ITER 1384 NEW BEST:: SOT 13907 SOS 5451 HAS SOPS 5451 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4791.451
AT ITER 1427 NEW BEST:: SOT 13907 SOS 5451 HAS SOPS 5451 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4789.451
AT ITER 1436 NEW BEST:: SOT 13901 SOS 5447 HAS SOPS 5447 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4785.447
AT ITER 1449 NEW BEST:: SOT 13900 SOS 5442 HAS SOPS 5442 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4782.442
AT ITER 1493 NEW BEST:: SOT 13898 SOS 5440 HAS SOPS 5440 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4780.44
AT ITER 1495 NEW BEST:: SOT 13898 SOS 5435 HAS SOPS 5435 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.435
AT ITER 1498 NEW BEST:: SOT 13896 SOS 5431 HAS SOPS 5431 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.431
AT ITER 1510 NEW BEST:: SOT 13896 SOS 5434 HAS SOPS 5434 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4770.434
AT ITER 1538 NEW BEST:: SOT 13882 SOS 5406 HAS SOPS 5406 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4742.406
AT ITER 1550 NEW BEST:: SOT 13872 SOS 5394 HAS SOPS 5394 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4730.394
AT ITER 1593 NEW BEST:: SOT 13867 SOS 5389 HAS SOPS 5389 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4730.389
AT ITER 1596 NEW BEST:: SOT 13863 SOS 5387 HAS SOPS 5387 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4728.387
AT ITER 1606 NEW BEST:: SOT 13854 SOS 5378 HAS SOPS 5378 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4726.378
AT ITER 1615 NEW BEST:: SOT 13849 SOS 5368 HAS SOPS 5368 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4716.368
AT ITER 1620 NEW BEST:: SOT 13836 SOS 5347 HAS SOPS 5347 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4695.347
AT ITER 1626 NEW BEST:: SOT 13832 SOS 5341 HAS SOPS 5341 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4689.341
AT ITER 1633 NEW BEST:: SOT 13831 SOS 5340 HAS SOPS 5340 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4688.34
AT ITER 1640 NEW BEST:: SOT 13831 SOS 5321 HAS SOPS 5321 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4668.321
AT ITER 1679 NEW BEST:: SOT 13828 SOS 5316 HAS SOPS 5316 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4663.316
AT ITER 1721 NEW BEST:: SOT 13819 SOS 5303 HAS SOPS 5303 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.303
AT ITER 1737 NEW BEST:: SOT 13819 SOS 5290 HAS SOPS 5290 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4644.29
AT ITER 1740 NEW BEST:: SOT 13819 SOS 5277 HAS SOPS 5277 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4637.277
AT ITER 1749 NEW BEST:: SOT 13819 SOS 5256 HAS SOPS 5256 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4616.256
AT ITER 1750 NEW BEST:: SOT 13816 SOS 5250 HAS SOPS 5250 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4610.25
AT ITER 1753 NEW BEST:: SOT 13816 SOS 5247 HAS SOPS 5247 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4607.247
AT ITER 1754 NEW BEST:: SOT 13815 SOS 5246 HAS SOPS 5246 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.246
AT ITER 1762 NEW BEST:: SOT 13815 SOS 5173 HAS SOPS 5173 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4597.173
AT ITER 1799 NEW BEST:: SOT 13779 SOS 5143 HAS SOPS 5143 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4567.143
AT ITER 1834 NEW BEST:: SOT 13774 SOS 5138 HAS SOPS 5138 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4564.138
AT ITER 1872 NEW BEST:: SOT 13773 SOS 5137 HAS SOPS 5137 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4562.137
AT ITER 1875 NEW BEST:: SOT 13765 SOS 5129 HAS SOPS 5129 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4554.129
AT ITER 1890 NEW BEST:: SOT 13764 SOS 5127 HAS SOPS 5127 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4552.127
AT ITER 1902 NEW BEST:: SOT 13760 SOS 5118 HAS SOPS 5118 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4543.118
AT ITER 1906 NEW BEST:: SOT 13734 SOS 5112 HAS SOPS 5112 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.112
AT ITER 1915 NEW BEST:: SOT 13723 SOS 5095 HAS SOPS 5095 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4520.095
AT ITER 1948 NEW BEST:: SOT 13696 SOS 5083 HAS SOPS 5083 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.083
AT ITER 1949 NEW BEST:: SOT 13684 SOS 5054 HAS SOPS 5054 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.054
AT ITER 1966 NEW BEST:: SOT 13682 SOS 5063 HAS SOPS 5063 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4475.063
AT ITER 1968 NEW BEST:: SOT 13678 SOS 5055 HAS SOPS 5055 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4467.055
AT ITER 1970 NEW BEST:: SOT 13685 SOS 5045 HAS SOPS 5045 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4457.045
AT ITER 1971 NEW BEST:: SOT 13680 SOS 5058 HAS SOPS 5058 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4437.058
AT ITER 2007 NEW BEST:: SOT 13679 SOS 5057 HAS SOPS 5057 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4432.057
AT ITER 2030 NEW BEST:: SOT 13682 SOS 5051 HAS SOPS 5051 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4426.051
AT ITER 2033 NEW BEST:: SOT 13660 SOS 5007 HAS SOPS 5007 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4370.007
AT ITER 2043 NEW BEST:: SOT 13659 SOS 5006 HAS SOPS 5006 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4369.006
AT ITER 2074 NEW BEST:: SOT 13636 SOS 4996 HAS SOPS 4996 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4349.996
AT ITER 2095 NEW BEST:: SOT 13642 SOS 4988 HAS SOPS 4988 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4342.988
AT ITER 2102 NEW BEST:: SOT 13630 SOS 4976 HAS SOPS 4976 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.976
AT ITER 2109 NEW BEST:: SOT 13617 SOS 4956 HAS SOPS 4956 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4310.956
AT ITER 2127 NEW BEST:: SOT 13615 SOS 4946 HAS SOPS 4946 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4305.946
AT ITER 2129 NEW BEST:: SOT 13598 SOS 4914 HAS SOPS 4914 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4273.914
AT ITER 2145 NEW BEST:: SOT 13605 SOS 4909 HAS SOPS 4909 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4264.909
AT ITER 2152 NEW BEST:: SOT 13611 SOS 4901 HAS SOPS 4901 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4256.901
AT ITER 2161 NEW BEST:: SOT 13603 SOS 4901 HAS SOPS 4901 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4248.901
AT ITER 2171 NEW BEST:: SOT 13616 SOS 4917 HAS SOPS 4917 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4244.917
AT ITER 2183 NEW BEST:: SOT 13617 SOS 4911 HAS SOPS 4911 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4238.911
AT ITER 2218 NEW BEST:: SOT 13599 SOS 4877 HAS SOPS 4877 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4226.877
AT ITER 2224 NEW BEST:: SOT 13598 SOS 4876 HAS SOPS 4876 HAS SOUS 4221 HAS SOUPS 4221 WITH SCORE 4225.876
AT ITER 2254 NEW BEST:: SOT 13600 SOS 4874 HAS SOPS 4874 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4223.874
AT ITER 2304 NEW BEST:: SOT 13600 SOS 4872 HAS SOPS 4872 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4223.872
AT ITER 2386 NEW BEST:: SOT 13596 SOS 4863 HAS SOPS 4863 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4217.863
AT ITER 2400 NEW BEST:: SOT 13596 SOS 4858 HAS SOPS 4858 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4212.858
AT ITER 2408 NEW BEST:: SOT 13586 SOS 4848 HAS SOPS 4848 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4203.848
AT ITER 2468 NEW BEST:: SOT 13577 SOS 4837 HAS SOPS 4837 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4192.837
AT ITER 2475 NEW BEST:: SOT 13574 SOS 4834 HAS SOPS 4834 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4187.834
AT ITER 2480 NEW BEST:: SOT 13572 SOS 4821 HAS SOPS 4821 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4174.821
AT ITER 2496 NEW BEST:: SOT 13578 SOS 4796 HAS SOPS 4796 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4160.796
AT ITER 2528 NEW BEST:: SOT 13578 SOS 4795 HAS SOPS 4795 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4159.795
AT ITER 2555 NEW BEST:: SOT 13577 SOS 4794 HAS SOPS 4794 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4157.794
AT ITER 2605 NEW BEST:: SOT 13612 SOS 4791 HAS SOPS 4791 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.791
AT ITER 2612 NEW BEST:: SOT 13604 SOS 4790 HAS SOPS 4790 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4145.79
AT ITER 2643 NEW BEST:: SOT 13603 SOS 4789 HAS SOPS 4789 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4144.789
AT ITER 2653 NEW BEST:: SOT 13603 SOS 4789 HAS SOPS 4789 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.789
AT ITER 2700 NEW BEST:: SOT 13607 SOS 4787 HAS SOPS 4787 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.787
AT ITER 2714 NEW BEST:: SOT 13604 SOS 4780 HAS SOPS 4780 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4134.78
AT ITER 2715 NEW BEST:: SOT 13598 SOS 4772 HAS SOPS 4772 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.772
AT ITER 2722 NEW BEST:: SOT 13603 SOS 4768 HAS SOPS 4768 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4124.768
AT ITER 2723 NEW BEST:: SOT 13603 SOS 4762 HAS SOPS 4762 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4120.762
AT ITER 2756 NEW BEST:: SOT 13601 SOS 4760 HAS SOPS 4760 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4118.76
AT ITER 2809 NEW BEST:: SOT 13577 SOS 4739 HAS SOPS 4739 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4097.739
AT ITER 2843 NEW BEST:: SOT 13562 SOS 4709 HAS SOPS 4709 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4067.709
AT ITER 2844 NEW BEST:: SOT 13558 SOS 4685 HAS SOPS 4685 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.685
AT ITER 2868 NEW BEST:: SOT 13558 SOS 4680 HAS SOPS 4680 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4050.68
AT ITER 2890 NEW BEST:: SOT 13557 SOS 4679 HAS SOPS 4679 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.679
AT ITER 2905 NEW BEST:: SOT 13550 SOS 4672 HAS SOPS 4672 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.672
AT ITER 2954 NEW BEST:: SOT 13543 SOS 4665 HAS SOPS 4665 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4032.665
AT ITER 3007 NEW BEST:: SOT 13543 SOS 4661 HAS SOPS 4661 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4028.661
AT ITER 3031 NEW BEST:: SOT 13539 SOS 4657 HAS SOPS 4657 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4024.657
AT ITER 3079 NEW BEST:: SOT 13546 SOS 4655 HAS SOPS 4655 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4022.655
AT ITER 3127 NEW BEST:: SOT 13541 SOS 4654 HAS SOPS 4654 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4021.654
AT ITER 3154 NEW BEST:: SOT 13536 SOS 4635 HAS SOPS 4635 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.635
AT ITER 3162 NEW BEST:: SOT 13520 SOS 4619 HAS SOPS 4619 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3988.619
AT ITER 3173 NEW BEST:: SOT 13521 SOS 4610 HAS SOPS 4610 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.61
AT ITER 3178 NEW BEST:: SOT 13521 SOS 4608 HAS SOPS 4608 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3965.608
AT ITER 3200 NEW BEST:: SOT 13477 SOS 4583 HAS SOPS 4583 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3940.583
AT ITER 3205 NEW BEST:: SOT 13473 SOS 4577 HAS SOPS 4577 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3938.577
AT ITER 3209 NEW BEST:: SOT 13465 SOS 4575 HAS SOPS 4575 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.575
AT ITER 3211 NEW BEST:: SOT 13461 SOS 4571 HAS SOPS 4571 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3930.571
AT ITER 3215 NEW BEST:: SOT 13461 SOS 4568 HAS SOPS 4568 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3927.568
AT ITER 3223 NEW BEST:: SOT 13456 SOS 4563 HAS SOPS 4563 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.563
AT ITER 3252 NEW BEST:: SOT 13455 SOS 4561 HAS SOPS 4561 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3920.561
AT ITER 3277 NEW BEST:: SOT 13453 SOS 4557 HAS SOPS 4557 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3916.557
AT ITER 3282 NEW BEST:: SOT 13451 SOS 4568 HAS SOPS 4568 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.568
AT ITER 3307 NEW BEST:: SOT 13447 SOS 4564 HAS SOPS 4564 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3911.564
AT ITER 3324 NEW BEST:: SOT 13446 SOS 4562 HAS SOPS 4562 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3909.562
AT ITER 3351 NEW BEST:: SOT 13445 SOS 4558 HAS SOPS 4558 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3905.558
AT ITER 3432 NEW BEST:: SOT 13440 SOS 4540 HAS SOPS 4540 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3889.54
AT ITER 3434 NEW BEST:: SOT 13436 SOS 4533 HAS SOPS 4533 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3883.533
AT ITER 3462 NEW BEST:: SOT 13434 SOS 4533 HAS SOPS 4533 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3881.533
AT ITER 3469 NEW BEST:: SOT 13435 SOS 4525 HAS SOPS 4525 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3873.525
AT ITER 3472 NEW BEST:: SOT 13435 SOS 4524 HAS SOPS 4524 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3872.524
AT ITER 3501 NEW BEST:: SOT 13433 SOS 4522 HAS SOPS 4522 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3870.522
AT ITER 3525 NEW BEST:: SOT 13424 SOS 4518 HAS SOPS 4518 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3866.518
AT ITER 3555 NEW BEST:: SOT 13424 SOS 4515 HAS SOPS 4515 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3863.515
AT ITER 3595 NEW BEST:: SOT 13404 SOS 4487 HAS SOPS 4487 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3839.487
AT ITER 3665 NEW BEST:: SOT 13393 SOS 4476 HAS SOPS 4476 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3828.476
AT ITER 3688 NEW BEST:: SOT 13391 SOS 4473 HAS SOPS 4473 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3825.473
AT ITER 3717 NEW BEST:: SOT 13377 SOS 4455 HAS SOPS 4455 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3825.455
AT ITER 3757 NEW BEST:: SOT 13378 SOS 4456 HAS SOPS 4456 HAS SOUS 3817 HAS SOUPS 3817 WITH SCORE 3821.456
AT ITER 3784 NEW BEST:: SOT 13376 SOS 4454 HAS SOPS 4454 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3817.454
AT ITER 3791 NEW BEST:: SOT 13370 SOS 4446 HAS SOPS 4446 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.446
AT ITER 3804 NEW BEST:: SOT 13370 SOS 4445 HAS SOPS 4445 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3808.445
AT ITER 3824 NEW BEST:: SOT 13346 SOS 4428 HAS SOPS 4428 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3791.428
AT ITER 3856 NEW BEST:: SOT 13324 SOS 4416 HAS SOPS 4416 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3779.416
AT ITER 3860 NEW BEST:: SOT 13324 SOS 4416 HAS SOPS 4416 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3777.416
AT ITER 3888 NEW BEST:: SOT 13311 SOS 4386 HAS SOPS 4386 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.386
AT ITER 3954 NEW BEST:: SOT 13310 SOS 4374 HAS SOPS 4374 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3744.374
AT ITER 3956 NEW BEST:: SOT 13315 SOS 4361 HAS SOPS 4361 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3743.361
AT ITER 3966 NEW BEST:: SOT 13315 SOS 4349 HAS SOPS 4349 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3731.349
AT ITER 4023 NEW BEST:: SOT 13316 SOS 4346 HAS SOPS 4346 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3728.346
AT ITER 4043 NEW BEST:: SOT 13299 SOS 4329 HAS SOPS 4329 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3715.329
AT ITER 4059 NEW BEST:: SOT 13297 SOS 4327 HAS SOPS 4327 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.327
AT ITER 4067 NEW BEST:: SOT 13297 SOS 4326 HAS SOPS 4326 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3712.326
AT ITER 4079 NEW BEST:: SOT 13293 SOS 4322 HAS SOPS 4322 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3708.322
AT ITER 4088 NEW BEST:: SOT 13272 SOS 4287 HAS SOPS 4287 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.287
AT ITER 4105 NEW BEST:: SOT 13270 SOS 4285 HAS SOPS 4285 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3671.285
AT ITER 4116 NEW BEST:: SOT 13269 SOS 4284 HAS SOPS 4284 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.284
AT ITER 4139 NEW BEST:: SOT 13256 SOS 4271 HAS SOPS 4271 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3651.271
AT ITER 4146 NEW BEST:: SOT 13250 SOS 4265 HAS SOPS 4265 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3645.265
AT ITER 4165 NEW BEST:: SOT 13250 SOS 4263 HAS SOPS 4263 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.263
AT ITER 4171 NEW BEST:: SOT 13246 SOS 4264 HAS SOPS 4264 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3637.264
AT ITER 4202 NEW BEST:: SOT 13220 SOS 4234 HAS SOPS 4234 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3607.234
AT ITER 4239 NEW BEST:: SOT 13199 SOS 4229 HAS SOPS 4229 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3602.229
AT ITER 4249 NEW BEST:: SOT 13193 SOS 4223 HAS SOPS 4223 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3596.223
AT ITER 4258 NEW BEST:: SOT 13188 SOS 4209 HAS SOPS 4209 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3585.209
AT ITER 4295 NEW BEST:: SOT 13175 SOS 4202 HAS SOPS 4202 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.202
AT ITER 4349 NEW BEST:: SOT 13172 SOS 4196 HAS SOPS 4196 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3572.196
AT ITER 4372 NEW BEST:: SOT 13169 SOS 4195 HAS SOPS 4195 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3568.195
AT ITER 4381 NEW BEST:: SOT 13162 SOS 4187 HAS SOPS 4187 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.187
AT ITER 4401 NEW BEST:: SOT 13145 SOS 4184 HAS SOPS 4184 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3555.184
AT ITER 4435 NEW BEST:: SOT 13145 SOS 4183 HAS SOPS 4183 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3555.183
AT ITER 4479 NEW BEST:: SOT 13144 SOS 4178 HAS SOPS 4178 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3553.178
AT ITER 4493 NEW BEST:: SOT 13141 SOS 4175 HAS SOPS 4175 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3550.175
AT ITER 4501 NEW BEST:: SOT 13139 SOS 4176 HAS SOPS 4176 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3546.176
AT ITER 4503 NEW BEST:: SOT 13139 SOS 4163 HAS SOPS 4163 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3546.163
AT ITER 4513 NEW BEST:: SOT 13139 SOS 4174 HAS SOPS 4174 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.174
AT ITER 4549 NEW BEST:: SOT 13136 SOS 4177 HAS SOPS 4177 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3540.177
AT ITER 4568 NEW BEST:: SOT 13135 SOS 4176 HAS SOPS 4176 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3533.176
AT ITER 4580 NEW BEST:: SOT 13124 SOS 4165 HAS SOPS 4165 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3522.165
AT ITER 4650 NEW BEST:: SOT 13128 SOS 4163 HAS SOPS 4163 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3520.163
AT ITER 4652 NEW BEST:: SOT 13116 SOS 4154 HAS SOPS 4154 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3511.154
AT ITER 4762 NEW BEST:: SOT 13115 SOS 4153 HAS SOPS 4153 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3509.153
AT ITER 4764 NEW BEST:: SOT 13115 SOS 4148 HAS SOPS 4148 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3504.148
AT ITER 4781 NEW BEST:: SOT 13117 SOS 4146 HAS SOPS 4146 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3504.146
AT ITER 4862 NEW BEST:: SOT 13117 SOS 4120 HAS SOPS 4120 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3502.12
AT ITER 4874 NEW BEST:: SOT 13117 SOS 4115 HAS SOPS 4115 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3502.115
AT ITER 4876 NEW BEST:: SOT 13114 SOS 4109 HAS SOPS 4109 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3498.109
AT ITER 4877 NEW BEST:: SOT 13112 SOS 4106 HAS SOPS 4106 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3495.106
AT ITER 4886 NEW BEST:: SOT 13127 SOS 4108 HAS SOPS 4108 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.108
AT ITER 4939 NEW BEST:: SOT 13125 SOS 4106 HAS SOPS 4106 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3491.106
AT ITER 4975 NEW BEST:: SOT 13126 SOS 4108 HAS SOPS 4108 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3490.108
AT ITER 5101 NEW BEST:: SOT 13124 SOS 4100 HAS SOPS 4100 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3482.1
AT ITER 5111 NEW BEST:: SOT 13122 SOS 4094 HAS SOPS 4094 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3478.094
AT ITER 5121 NEW BEST:: SOT 13121 SOS 4092 HAS SOPS 4092 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3477.092
AT ITER 5124 NEW BEST:: SOT 13132 SOS 4048 HAS SOPS 4048 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3475.048
AT ITER 5141 NEW BEST:: SOT 13132 SOS 4030 HAS SOPS 4030 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3462.03
AT ITER 5157 NEW BEST:: SOT 13132 SOS 4029 HAS SOPS 4029 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3462.029
AT ITER 5231 NEW BEST:: SOT 13132 SOS 4029 HAS SOPS 4029 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3458.029
AT ITER 5282 NEW BEST:: SOT 13127 SOS 4024 HAS SOPS 4024 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3453.024
AT ITER 5287 NEW BEST:: SOT 13122 SOS 4022 HAS SOPS 4022 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3449.022
AT ITER 5316 NEW BEST:: SOT 13122 SOS 4021 HAS SOPS 4021 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3448.021
AT ITER 5380 NEW BEST:: SOT 13121 SOS 4020 HAS SOPS 4020 HAS SOUS 3443 HAS SOUPS 3443 WITH SCORE 3447.02
AT ITER 5393 NEW BEST:: SOT 13118 SOS 4017 HAS SOPS 4017 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3444.017
AT ITER 5477 NEW BEST:: SOT 13122 SOS 4021 HAS SOPS 4021 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3443.021
AT ITER 5615 NEW BEST:: SOT 13114 SOS 4012 HAS SOPS 4012 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3427.012
AT ITER 5632 NEW BEST:: SOT 13115 SOS 4014 HAS SOPS 4014 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3425.014
AT ITER 5699 NEW BEST:: SOT 13113 SOS 3994 HAS SOPS 3994 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3420.994
AT ITER 5760 NEW BEST:: SOT 13114 SOS 3977 HAS SOPS 3977 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3407.977
AT ITER 5791 NEW BEST:: SOT 13114 SOS 3976 HAS SOPS 3976 HAS SOUS 3403 HAS SOUPS 3403 WITH SCORE 3406.976
AT ITER 5798 NEW BEST:: SOT 13116 SOS 3980 HAS SOPS 3980 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3403.98
AT ITER 5836 NEW BEST:: SOT 13112 SOS 3973 HAS SOPS 3973 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3396.973
AT ITER 5856 NEW BEST:: SOT 13106 SOS 3967 HAS SOPS 3967 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3390.967
AT ITER 5870 NEW BEST:: SOT 13102 SOS 3961 HAS SOPS 3961 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3384.961
AT ITER 5877 NEW BEST:: SOT 13099 SOS 3955 HAS SOPS 3955 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3384.955
AT ITER 5909 NEW BEST:: SOT 13099 SOS 3961 HAS SOPS 3961 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.961
AT ITER 5917 NEW BEST:: SOT 13097 SOS 3957 HAS SOPS 3957 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3377.957
AT ITER 5929 NEW BEST:: SOT 13097 SOS 3955 HAS SOPS 3955 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3375.955
AT ITER 5994 NEW BEST:: SOT 13086 SOS 3938 HAS SOPS 3938 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3358.938
AT ITER 6020 NEW BEST:: SOT 13085 SOS 3937 HAS SOPS 3937 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3357.937
AT ITER 6021 NEW BEST:: SOT 13085 SOS 3932 HAS SOPS 3932 HAS SOUS 3349 HAS SOUPS 3349 WITH SCORE 3352.932
AT ITER 6058 NEW BEST:: SOT 13080 SOS 3922 HAS SOPS 3922 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3342.922
AT ITER 6073 NEW BEST:: SOT 13076 SOS 3920 HAS SOPS 3920 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3340.92
AT ITER 6087 NEW BEST:: SOT 13065 SOS 3919 HAS SOPS 3919 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.919
AT ITER 6177 NEW BEST:: SOT 13064 SOS 3918 HAS SOPS 3918 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.918
AT ITER 6301 NEW BEST:: SOT 13064 SOS 3910 HAS SOPS 3910 HAS SOUS 3326 HAS SOUPS 3326 WITH SCORE 3329.91
AT ITER 6350 NEW BEST:: SOT 13060 SOS 3906 HAS SOPS 3906 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3325.906
AT ITER 6372 NEW BEST:: SOT 13058 SOS 3904 HAS SOPS 3904 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3323.904
AT ITER 6383 NEW BEST:: SOT 13075 SOS 3879 HAS SOPS 3879 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3318.879
AT ITER 6402 NEW BEST:: SOT 13074 SOS 3878 HAS SOPS 3878 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.878
AT ITER 6445 NEW BEST:: SOT 13070 SOS 3876 HAS SOPS 3876 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.876
AT ITER 6549 NEW BEST:: SOT 13098 SOS 3852 HAS SOPS 3852 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3312.852
AT ITER 6562 NEW BEST:: SOT 13090 SOS 3848 HAS SOPS 3848 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3308.848
AT ITER 6568 NEW BEST:: SOT 13090 SOS 3839 HAS SOPS 3839 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3299.839
AT ITER 6610 NEW BEST:: SOT 13085 SOS 3837 HAS SOPS 3837 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.837
AT ITER 6771 NEW BEST:: SOT 13073 SOS 3831 HAS SOPS 3831 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.831
AT ITER 6799 NEW BEST:: SOT 13071 SOS 3827 HAS SOPS 3827 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3287.827
AT ITER 6814 NEW BEST:: SOT 13071 SOS 3850 HAS SOPS 3850 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3286.85
AT ITER 6822 NEW BEST:: SOT 13067 SOS 3838 HAS SOPS 3838 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.838
AT ITER 6831 NEW BEST:: SOT 13066 SOS 3836 HAS SOPS 3836 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.836
AT ITER 6839 NEW BEST:: SOT 13064 SOS 3834 HAS SOPS 3834 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.834
AT ITER 6880 NEW BEST:: SOT 13054 SOS 3821 HAS SOPS 3821 HAS SOUS 3263 HAS SOUPS 3263 WITH SCORE 3266.821
AT ITER 6887 NEW BEST:: SOT 13053 SOS 3819 HAS SOPS 3819 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3264.819
AT ITER 6888 NEW BEST:: SOT 13050 SOS 3816 HAS SOPS 3816 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3261.816
AT ITER 6900 NEW BEST:: SOT 13058 SOS 3811 HAS SOPS 3811 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.811
AT ITER 6948 NEW BEST:: SOT 13061 SOS 3787 HAS SOPS 3787 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.787
AT ITER 7003 NEW BEST:: SOT 13062 SOS 3786 HAS SOPS 3786 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.786
AT ITER 7057 NEW BEST:: SOT 13061 SOS 3760 HAS SOPS 3760 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3244.76
AT ITER 7125 NEW BEST:: SOT 13053 SOS 3756 HAS SOPS 3756 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3240.756
AT ITER 7128 NEW BEST:: SOT 13053 SOS 3739 HAS SOPS 3739 HAS SOUS 3220 HAS SOUPS 3220 WITH SCORE 3223.739
AT ITER 7147 NEW BEST:: SOT 13049 SOS 3737 HAS SOPS 3737 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3221.737
AT ITER 7158 NEW BEST:: SOT 13049 SOS 3709 HAS SOPS 3709 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.709
AT ITER 7164 NEW BEST:: SOT 13049 SOS 3702 HAS SOPS 3702 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.702
AT ITER 7188 NEW BEST:: SOT 13049 SOS 3698 HAS SOPS 3698 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.698
AT ITER 7236 NEW BEST:: SOT 13050 SOS 3695 HAS SOPS 3695 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3196.695
AT ITER 7389 NEW BEST:: SOT 13049 SOS 3705 HAS SOPS 3705 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.705
AT ITER 7423 NEW BEST:: SOT 13045 SOS 3703 HAS SOPS 3703 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.703
AT ITER 7516 NEW BEST:: SOT 13045 SOS 3703 HAS SOPS 3703 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.703
AT ITER 7570 NEW BEST:: SOT 13047 SOS 3696 HAS SOPS 3696 HAS SOUS 3181 HAS SOUPS 3181 WITH SCORE 3184.696
AT ITER 7736 NEW BEST:: SOT 13048 SOS 3693 HAS SOPS 3693 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3183.693
AT ITER 7793 NEW BEST:: SOT 13047 SOS 3691 HAS SOPS 3691 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3181.691
AT ITER 8111 NEW BEST:: SOT 13045 SOS 3690 HAS SOPS 3690 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3175.69
AT ITER 8228 NEW BEST:: SOT 13045 SOS 3672 HAS SOPS 3672 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.672
AT ITER 8234 NEW BEST:: SOT 13045 SOS 3669 HAS SOPS 3669 HAS SOUS 3166 HAS SOUPS 3166 WITH SCORE 3169.669
AT ITER 8448 NEW BEST:: SOT 13042 SOS 3663 HAS SOPS 3663 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3163.663
AT ITER 8560 NEW BEST:: SOT 13041 SOS 3661 HAS SOPS 3661 HAS SOUS 3158 HAS SOUPS 3158 WITH SCORE 3161.661
AT ITER 8607 NEW BEST:: SOT 13040 SOS 3660 HAS SOPS 3660 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3160.66
AT ITER 8638 NEW BEST:: SOT 13031 SOS 3652 HAS SOPS 3652 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3156.652
AT ITER 8673 NEW BEST:: SOT 13030 SOS 3650 HAS SOPS 3650 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.65
AT ITER 8769 NEW BEST:: SOT 13025 SOS 3640 HAS SOPS 3640 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3145.64
AT ITER 8821 NEW BEST:: SOT 13023 SOS 3638 HAS SOPS 3638 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3143.638
AT ITER 8841 NEW BEST:: SOT 13016 SOS 3626 HAS SOPS 3626 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.626
AT ITER 9061 NEW BEST:: SOT 13012 SOS 3624 HAS SOPS 3624 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3120.624
AT ITER 9067 NEW BEST:: SOT 13011 SOS 3613 HAS SOPS 3613 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3119.613
AT ITER 9101 NEW BEST:: SOT 13008 SOS 3608 HAS SOPS 3608 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.608
AT ITER 9103 NEW BEST:: SOT 13001 SOS 3608 HAS SOPS 3608 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.608
AT ITER 9184 NEW BEST:: SOT 12997 SOS 3610 HAS SOPS 3610 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3110.61
AT ITER 9225 NEW BEST:: SOT 12993 SOS 3606 HAS SOPS 3606 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.606
AT ITER 9266 NEW BEST:: SOT 12991 SOS 3604 HAS SOPS 3604 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.604
AT ITER 9520 NEW BEST:: SOT 13000 SOS 3606 HAS SOPS 3606 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.606
AT ITER 9524 NEW BEST:: SOT 12991 SOS 3591 HAS SOPS 3591 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.591
AT ITER 9557 NEW BEST:: SOT 12991 SOS 3586 HAS SOPS 3586 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.586
AT ITER 9717 NEW BEST:: SOT 12991 SOS 3585 HAS SOPS 3585 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.585
AT ITER 9859 NEW BEST:: SOT 12986 SOS 3584 HAS SOPS 3584 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.584
AT ITER 9952 NEW BEST:: SOT 12982 SOS 3580 HAS SOPS 3580 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.58
STATE_SPACE STATES 11329291100161 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 35 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 153383854169089 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679555128383

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="ProductionCell-PT-none"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ProductionCell-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953500800"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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