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.r011-oct2-167813600200456.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600200456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 18:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 17:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 18:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 25 18:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 18:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 18:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 43K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678735810223

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=AutoFlight-PT-06a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:30:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:30:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:30:12] [INFO ] Load time of PNML (sax parser for PT used): 49 ms
[2023-03-13 19:30:12] [INFO ] Transformed 157 places.
[2023-03-13 19:30:12] [INFO ] Transformed 155 transitions.
[2023-03-13 19:30:12] [INFO ] Found NUPN structural information;
[2023-03-13 19:30:12] [INFO ] Parsed PT model containing 157 places and 155 transitions and 500 arcs in 125 ms.
[2023-03-13 19:30:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 157 places, 155 transitions and 500 arcs took 4 ms.
Total runtime 168 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 06a
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: 157 places, 155 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 18714 SOS 13096 HAS SOPS 13096 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9170.096
AT ITER 5 NEW BEST:: SOT 18714 SOS 13096 HAS SOPS 13096 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9162.096
AT ITER 7 NEW BEST:: SOT 18251 SOS 12476 HAS SOPS 12476 HAS SOUS 8796 HAS SOUPS 8796 WITH SCORE 8808.476
AT ITER 8 NEW BEST:: SOT 18041 SOS 12266 HAS SOPS 12266 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8668.266
AT ITER 13 NEW BEST:: SOT 18007 SOS 12231 HAS SOPS 12231 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8633.231
AT ITER 15 NEW BEST:: SOT 17998 SOS 12017 HAS SOPS 12017 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8565.017
AT ITER 16 NEW BEST:: SOT 17870 SOS 11840 HAS SOPS 11840 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8456.84
AT ITER 18 NEW BEST:: SOT 17852 SOS 11822 HAS SOPS 11822 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8438.822
AT ITER 20 NEW BEST:: SOT 17828 SOS 11798 HAS SOPS 11798 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8414.798
AT ITER 21 NEW BEST:: SOT 17827 SOS 11797 HAS SOPS 11797 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8413.797
AT ITER 22 NEW BEST:: SOT 17827 SOS 11765 HAS SOPS 11765 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8412.765
AT ITER 26 NEW BEST:: SOT 17827 SOS 11762 HAS SOPS 11762 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8411.762
AT ITER 29 NEW BEST:: SOT 17792 SOS 11627 HAS SOPS 11627 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8311.627
AT ITER 30 NEW BEST:: SOT 17649 SOS 11483 HAS SOPS 11483 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8256.483
AT ITER 32 NEW BEST:: SOT 17472 SOS 11305 HAS SOPS 11305 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8153.305
AT ITER 34 NEW BEST:: SOT 17457 SOS 11288 HAS SOPS 11288 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8138.288
AT ITER 41 NEW BEST:: SOT 17382 SOS 11213 HAS SOPS 11213 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8071.213
AT ITER 43 NEW BEST:: SOT 17380 SOS 11207 HAS SOPS 11207 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8067.207
AT ITER 44 NEW BEST:: SOT 17380 SOS 11181 HAS SOPS 11181 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8067.181
AT ITER 45 NEW BEST:: SOT 17048 SOS 10876 HAS SOPS 10876 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7871.876
AT ITER 46 NEW BEST:: SOT 16936 SOS 10632 HAS SOPS 10632 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7739.632
AT ITER 50 NEW BEST:: SOT 16974 SOS 10527 HAS SOPS 10466 HAS SOUS 7700 HAS SOUPS 7639 WITH SCORE 7649.527
AT ITER 51 NEW BEST:: SOT 16958 SOS 10511 HAS SOPS 10450 HAS SOUS 7684 HAS SOUPS 7623 WITH SCORE 7633.511
AT ITER 55 NEW BEST:: SOT 16983 SOS 10510 HAS SOPS 10449 HAS SOUS 7683 HAS SOUPS 7622 WITH SCORE 7632.51
AT ITER 59 NEW BEST:: SOT 16934 SOS 10460 HAS SOPS 10449 HAS SOUS 7633 HAS SOUPS 7622 WITH SCORE 7632.46
AT ITER 61 NEW BEST:: SOT 16921 SOS 10447 HAS SOPS 10436 HAS SOUS 7620 HAS SOUPS 7609 WITH SCORE 7619.447
AT ITER 62 NEW BEST:: SOT 16900 SOS 10426 HAS SOPS 10415 HAS SOUS 7599 HAS SOUPS 7588 WITH SCORE 7598.426
AT ITER 64 NEW BEST:: SOT 16888 SOS 10414 HAS SOPS 10403 HAS SOUS 7587 HAS SOUPS 7576 WITH SCORE 7586.414
AT ITER 65 NEW BEST:: SOT 16808 SOS 10334 HAS SOPS 10323 HAS SOUS 7542 HAS SOUPS 7531 WITH SCORE 7541.334
AT ITER 70 NEW BEST:: SOT 16808 SOS 10333 HAS SOPS 10322 HAS SOUS 7541 HAS SOUPS 7530 WITH SCORE 7540.333
AT ITER 77 NEW BEST:: SOT 16808 SOS 10307 HAS SOPS 10296 HAS SOUS 7541 HAS SOUPS 7530 WITH SCORE 7540.307
AT ITER 79 NEW BEST:: SOT 16766 SOS 10302 HAS SOPS 10254 HAS SOUS 7511 HAS SOUPS 7463 WITH SCORE 7473.302
AT ITER 83 NEW BEST:: SOT 16729 SOS 10185 HAS SOPS 10137 HAS SOUS 7431 HAS SOUPS 7383 WITH SCORE 7393.185
AT ITER 84 NEW BEST:: SOT 16688 SOS 9964 HAS SOPS 9916 HAS SOUS 7312 HAS SOUPS 7264 WITH SCORE 7273.964
AT ITER 85 NEW BEST:: SOT 16383 SOS 9659 HAS SOPS 9611 HAS SOUS 7169 HAS SOUPS 7121 WITH SCORE 7130.659
AT ITER 87 NEW BEST:: SOT 16383 SOS 9657 HAS SOPS 9609 HAS SOUS 7167 HAS SOUPS 7119 WITH SCORE 7128.657
AT ITER 88 NEW BEST:: SOT 16390 SOS 9479 HAS SOPS 9368 HAS SOUS 7073 HAS SOUPS 6962 WITH SCORE 6971.479
AT ITER 89 NEW BEST:: SOT 16390 SOS 9446 HAS SOPS 9335 HAS SOUS 7073 HAS SOUPS 6962 WITH SCORE 6971.446
AT ITER 90 NEW BEST:: SOT 16349 SOS 9405 HAS SOPS 9294 HAS SOUS 7052 HAS SOUPS 6941 WITH SCORE 6950.405
AT ITER 94 NEW BEST:: SOT 16272 SOS 9327 HAS SOPS 9216 HAS SOUS 7004 HAS SOUPS 6893 WITH SCORE 6902.327
AT ITER 97 NEW BEST:: SOT 16272 SOS 9264 HAS SOPS 9153 HAS SOUS 6977 HAS SOUPS 6866 WITH SCORE 6875.264
AT ITER 103 NEW BEST:: SOT 16141 SOS 9096 HAS SOPS 9022 HAS SOUS 6917 HAS SOUPS 6843 WITH SCORE 6852.096
AT ITER 105 NEW BEST:: SOT 16099 SOS 9053 HAS SOPS 8979 HAS SOUS 6914 HAS SOUPS 6840 WITH SCORE 6849.053
AT ITER 107 NEW BEST:: SOT 16063 SOS 9016 HAS SOPS 8942 HAS SOUS 6895 HAS SOUPS 6821 WITH SCORE 6830.016
AT ITER 111 NEW BEST:: SOT 16063 SOS 8958 HAS SOPS 8884 HAS SOUS 6837 HAS SOUPS 6763 WITH SCORE 6771.958
AT ITER 119 NEW BEST:: SOT 15990 SOS 8885 HAS SOPS 8811 HAS SOUS 6744 HAS SOUPS 6670 WITH SCORE 6678.885
AT ITER 122 NEW BEST:: SOT 15955 SOS 8850 HAS SOPS 8776 HAS SOUS 6725 HAS SOUPS 6651 WITH SCORE 6659.85
AT ITER 124 NEW BEST:: SOT 15928 SOS 8660 HAS SOPS 8586 HAS SOUS 6622 HAS SOUPS 6548 WITH SCORE 6556.66
AT ITER 126 NEW BEST:: SOT 15802 SOS 8512 HAS SOPS 8438 HAS SOUS 6527 HAS SOUPS 6453 WITH SCORE 6461.512
AT ITER 129 NEW BEST:: SOT 15714 SOS 8400 HAS SOPS 8326 HAS SOUS 6415 HAS SOUPS 6341 WITH SCORE 6349.4
AT ITER 145 NEW BEST:: SOT 15679 SOS 8354 HAS SOPS 8291 HAS SOUS 6369 HAS SOUPS 6306 WITH SCORE 6314.354
AT ITER 150 NEW BEST:: SOT 15408 SOS 8116 HAS SOPS 8053 HAS SOUS 6259 HAS SOUPS 6196 WITH SCORE 6204.116
AT ITER 153 NEW BEST:: SOT 15394 SOS 8085 HAS SOPS 8017 HAS SOUS 6232 HAS SOUPS 6164 WITH SCORE 6172.085
AT ITER 156 NEW BEST:: SOT 15394 SOS 8064 HAS SOPS 7996 HAS SOUS 6223 HAS SOUPS 6155 WITH SCORE 6163.064
AT ITER 158 NEW BEST:: SOT 15364 SOS 8105 HAS SOPS 8037 HAS SOUS 6212 HAS SOUPS 6144 WITH SCORE 6152.105
AT ITER 159 NEW BEST:: SOT 15364 SOS 8046 HAS SOPS 7978 HAS SOUS 6197 HAS SOUPS 6129 WITH SCORE 6137.046
AT ITER 163 NEW BEST:: SOT 15364 SOS 8038 HAS SOPS 7970 HAS SOUS 6189 HAS SOUPS 6121 WITH SCORE 6129.038
AT ITER 169 NEW BEST:: SOT 15247 SOS 8032 HAS SOPS 7957 HAS SOUS 6183 HAS SOUPS 6108 WITH SCORE 6116.032
AT ITER 170 NEW BEST:: SOT 15237 SOS 8022 HAS SOPS 7947 HAS SOUS 6173 HAS SOUPS 6098 WITH SCORE 6106.022
AT ITER 179 NEW BEST:: SOT 15226 SOS 7981 HAS SOPS 7906 HAS SOUS 6102 HAS SOUPS 6027 WITH SCORE 6034.981
AT ITER 182 NEW BEST:: SOT 15270 SOS 7969 HAS SOPS 7894 HAS SOUS 6096 HAS SOUPS 6021 WITH SCORE 6028.969
AT ITER 183 NEW BEST:: SOT 15199 SOS 7764 HAS SOPS 7689 HAS SOUS 5960 HAS SOUPS 5885 WITH SCORE 5892.764
AT ITER 189 NEW BEST:: SOT 15199 SOS 7757 HAS SOPS 7682 HAS SOUS 5953 HAS SOUPS 5878 WITH SCORE 5885.757
AT ITER 190 NEW BEST:: SOT 15197 SOS 7755 HAS SOPS 7675 HAS SOUS 5951 HAS SOUPS 5871 WITH SCORE 5878.755
AT ITER 197 NEW BEST:: SOT 15172 SOS 7675 HAS SOPS 7595 HAS SOUS 5875 HAS SOUPS 5795 WITH SCORE 5802.675
AT ITER 203 NEW BEST:: SOT 15224 SOS 7793 HAS SOPS 7647 HAS SOUS 5910 HAS SOUPS 5783 WITH SCORE 5790.793
AT ITER 206 NEW BEST:: SOT 15232 SOS 7816 HAS SOPS 7670 HAS SOUS 5909 HAS SOUPS 5782 WITH SCORE 5789.816
AT ITER 208 NEW BEST:: SOT 15232 SOS 7777 HAS SOPS 7631 HAS SOUS 5883 HAS SOUPS 5756 WITH SCORE 5763.777
AT ITER 210 NEW BEST:: SOT 15211 SOS 7761 HAS SOPS 7610 HAS SOUS 5867 HAS SOUPS 5735 WITH SCORE 5742.761
AT ITER 214 NEW BEST:: SOT 15211 SOS 7723 HAS SOPS 7543 HAS SOUS 5858 HAS SOUPS 5697 WITH SCORE 5704.723
AT ITER 223 NEW BEST:: SOT 15016 SOS 7454 HAS SOPS 7274 HAS SOUS 5667 HAS SOUPS 5506 WITH SCORE 5513.454
AT ITER 235 NEW BEST:: SOT 15004 SOS 7357 HAS SOPS 7177 HAS SOUS 5605 HAS SOUPS 5444 WITH SCORE 5451.357
AT ITER 239 NEW BEST:: SOT 14966 SOS 7249 HAS SOPS 7069 HAS SOUS 5559 HAS SOUPS 5398 WITH SCORE 5405.249
AT ITER 249 NEW BEST:: SOT 14937 SOS 7244 HAS SOPS 7040 HAS SOUS 5554 HAS SOUPS 5369 WITH SCORE 5376.244
AT ITER 256 NEW BEST:: SOT 14927 SOS 7282 HAS SOPS 7020 HAS SOUS 5545 HAS SOUPS 5349 WITH SCORE 5356.282
AT ITER 257 NEW BEST:: SOT 14846 SOS 7129 HAS SOPS 6867 HAS SOUS 5489 HAS SOUPS 5293 WITH SCORE 5300.129
AT ITER 266 NEW BEST:: SOT 14805 SOS 7105 HAS SOPS 6806 HAS SOUS 5459 HAS SOUPS 5232 WITH SCORE 5239.105
AT ITER 274 NEW BEST:: SOT 14808 SOS 7106 HAS SOPS 6790 HAS SOUS 5460 HAS SOUPS 5216 WITH SCORE 5223.106
AT ITER 277 NEW BEST:: SOT 14782 SOS 7037 HAS SOPS 6721 HAS SOUS 5436 HAS SOUPS 5192 WITH SCORE 5199.037
AT ITER 285 NEW BEST:: SOT 14749 SOS 7061 HAS SOPS 6745 HAS SOUS 5427 HAS SOUPS 5183 WITH SCORE 5190.061
AT ITER 292 NEW BEST:: SOT 14741 SOS 7029 HAS SOPS 6713 HAS SOUS 5403 HAS SOUPS 5159 WITH SCORE 5166.029
AT ITER 298 NEW BEST:: SOT 14744 SOS 6980 HAS SOPS 6670 HAS SOUS 5376 HAS SOUPS 5132 WITH SCORE 5138.98
AT ITER 303 NEW BEST:: SOT 14741 SOS 6925 HAS SOPS 6667 HAS SOUS 5373 HAS SOUPS 5129 WITH SCORE 5135.925
AT ITER 304 NEW BEST:: SOT 14741 SOS 6924 HAS SOPS 6666 HAS SOUS 5372 HAS SOUPS 5128 WITH SCORE 5134.924
AT ITER 307 NEW BEST:: SOT 14740 SOS 6923 HAS SOPS 6665 HAS SOUS 5372 HAS SOUPS 5128 WITH SCORE 5134.923
AT ITER 317 NEW BEST:: SOT 14726 SOS 6869 HAS SOPS 6611 HAS SOUS 5335 HAS SOUPS 5091 WITH SCORE 5097.869
AT ITER 318 NEW BEST:: SOT 14710 SOS 6853 HAS SOPS 6595 HAS SOUS 5319 HAS SOUPS 5075 WITH SCORE 5081.853
AT ITER 327 NEW BEST:: SOT 14692 SOS 6808 HAS SOPS 6550 HAS SOUS 5317 HAS SOUPS 5073 WITH SCORE 5079.808
AT ITER 328 NEW BEST:: SOT 14683 SOS 6781 HAS SOPS 6494 HAS SOUS 5290 HAS SOUPS 5017 WITH SCORE 5023.781
AT ITER 335 NEW BEST:: SOT 14668 SOS 6766 HAS SOPS 6479 HAS SOUS 5275 HAS SOUPS 5002 WITH SCORE 5008.766
AT ITER 337 NEW BEST:: SOT 14667 SOS 6736 HAS SOPS 6449 HAS SOUS 5245 HAS SOUPS 4972 WITH SCORE 4978.736
AT ITER 344 NEW BEST:: SOT 14673 SOS 6742 HAS SOPS 6444 HAS SOUS 5251 HAS SOUPS 4967 WITH SCORE 4973.742
AT ITER 346 NEW BEST:: SOT 14669 SOS 6736 HAS SOPS 6438 HAS SOUS 5244 HAS SOUPS 4960 WITH SCORE 4966.736
AT ITER 349 NEW BEST:: SOT 14664 SOS 6731 HAS SOPS 6433 HAS SOUS 5239 HAS SOUPS 4955 WITH SCORE 4961.731
AT ITER 353 NEW BEST:: SOT 14669 SOS 6660 HAS SOPS 6362 HAS SOUS 5218 HAS SOUPS 4934 WITH SCORE 4940.66
AT ITER 354 NEW BEST:: SOT 14676 SOS 6271 HAS SOPS 5973 HAS SOUS 5213 HAS SOUPS 4929 WITH SCORE 4935.271
AT ITER 355 NEW BEST:: SOT 14674 SOS 6269 HAS SOPS 5971 HAS SOUS 5212 HAS SOUPS 4928 WITH SCORE 4934.269
AT ITER 358 NEW BEST:: SOT 14672 SOS 6265 HAS SOPS 5967 HAS SOUS 5210 HAS SOUPS 4926 WITH SCORE 4932.265
AT ITER 363 NEW BEST:: SOT 14672 SOS 6217 HAS SOPS 5919 HAS SOUS 5210 HAS SOUPS 4926 WITH SCORE 4932.217
AT ITER 377 NEW BEST:: SOT 14663 SOS 6207 HAS SOPS 5909 HAS SOUS 5209 HAS SOUPS 4925 WITH SCORE 4931.207
AT ITER 380 NEW BEST:: SOT 14645 SOS 6189 HAS SOPS 5891 HAS SOUS 5182 HAS SOUPS 4898 WITH SCORE 4904.189
AT ITER 383 NEW BEST:: SOT 14645 SOS 6189 HAS SOPS 5891 HAS SOUS 5180 HAS SOUPS 4896 WITH SCORE 4902.189
AT ITER 384 NEW BEST:: SOT 14649 SOS 6185 HAS SOPS 5880 HAS SOUS 5169 HAS SOUPS 4885 WITH SCORE 4891.185
AT ITER 395 NEW BEST:: SOT 14649 SOS 6175 HAS SOPS 5865 HAS SOUS 5164 HAS SOUPS 4875 WITH SCORE 4881.175
AT ITER 414 NEW BEST:: SOT 14644 SOS 6162 HAS SOPS 5840 HAS SOUS 5102 HAS SOUPS 4850 WITH SCORE 4856.162
AT ITER 420 NEW BEST:: SOT 14620 SOS 6012 HAS SOPS 5690 HAS SOUS 5002 HAS SOUPS 4750 WITH SCORE 4756.012
AT ITER 428 NEW BEST:: SOT 14620 SOS 6005 HAS SOPS 5683 HAS SOUS 4995 HAS SOUPS 4743 WITH SCORE 4749.005
AT ITER 432 NEW BEST:: SOT 14584 SOS 5973 HAS SOPS 5651 HAS SOUS 4981 HAS SOUPS 4729 WITH SCORE 4734.973
AT ITER 434 NEW BEST:: SOT 14591 SOS 5966 HAS SOPS 5644 HAS SOUS 4981 HAS SOUPS 4729 WITH SCORE 4734.966
AT ITER 436 NEW BEST:: SOT 14591 SOS 5964 HAS SOPS 5642 HAS SOUS 4980 HAS SOUPS 4728 WITH SCORE 4733.964
AT ITER 445 NEW BEST:: SOT 14702 SOS 6036 HAS SOPS 5705 HAS SOUS 4945 HAS SOUPS 4684 WITH SCORE 4690.036
AT ITER 455 NEW BEST:: SOT 14702 SOS 6051 HAS SOPS 5690 HAS SOUS 4945 HAS SOUPS 4669 WITH SCORE 4675.051
AT ITER 460 NEW BEST:: SOT 14719 SOS 6053 HAS SOPS 5692 HAS SOUS 4931 HAS SOUPS 4655 WITH SCORE 4661.053
AT ITER 465 NEW BEST:: SOT 14712 SOS 6046 HAS SOPS 5685 HAS SOUS 4930 HAS SOUPS 4654 WITH SCORE 4660.046
AT ITER 487 NEW BEST:: SOT 14694 SOS 6050 HAS SOPS 5651 HAS SOUS 4919 HAS SOUPS 4620 WITH SCORE 4626.05
AT ITER 488 NEW BEST:: SOT 14635 SOS 5956 HAS SOPS 5651 HAS SOUS 4855 HAS SOUPS 4620 WITH SCORE 4625.956
AT ITER 497 NEW BEST:: SOT 14669 SOS 5939 HAS SOPS 5634 HAS SOUS 4855 HAS SOUPS 4620 WITH SCORE 4625.939
AT ITER 498 NEW BEST:: SOT 14669 SOS 5982 HAS SOPS 5634 HAS SOUS 4855 HAS SOUPS 4600 WITH SCORE 4605.982
AT ITER 501 NEW BEST:: SOT 14644 SOS 5878 HAS SOPS 5530 HAS SOUS 4805 HAS SOUPS 4550 WITH SCORE 4555.878
AT ITER 503 NEW BEST:: SOT 14653 SOS 5861 HAS SOPS 5513 HAS SOUS 4775 HAS SOUPS 4520 WITH SCORE 4525.861
AT ITER 512 NEW BEST:: SOT 14644 SOS 5848 HAS SOPS 5500 HAS SOUS 4762 HAS SOUPS 4507 WITH SCORE 4512.848
AT ITER 515 NEW BEST:: SOT 14646 SOS 5871 HAS SOPS 5499 HAS SOUS 4772 HAS SOUPS 4506 WITH SCORE 4511.871
AT ITER 520 NEW BEST:: SOT 14603 SOS 5759 HAS SOPS 5387 HAS SOUS 4695 HAS SOUPS 4429 WITH SCORE 4434.759
AT ITER 521 NEW BEST:: SOT 14595 SOS 5729 HAS SOPS 5357 HAS SOUS 4665 HAS SOUPS 4399 WITH SCORE 4404.729
AT ITER 530 NEW BEST:: SOT 14596 SOS 5701 HAS SOPS 5329 HAS SOUS 4638 HAS SOUPS 4372 WITH SCORE 4377.701
AT ITER 547 NEW BEST:: SOT 14649 SOS 5690 HAS SOPS 5318 HAS SOUS 4627 HAS SOUPS 4361 WITH SCORE 4366.69
AT ITER 553 NEW BEST:: SOT 14714 SOS 5777 HAS SOPS 5315 HAS SOUS 4684 HAS SOUPS 4358 WITH SCORE 4363.777
AT ITER 556 NEW BEST:: SOT 14689 SOS 5557 HAS SOPS 5189 HAS SOUS 4598 HAS SOUPS 4283 WITH SCORE 4288.557
AT ITER 558 NEW BEST:: SOT 14690 SOS 5568 HAS SOPS 5190 HAS SOUS 4594 HAS SOUPS 4272 WITH SCORE 4277.568
AT ITER 560 NEW BEST:: SOT 14684 SOS 5562 HAS SOPS 5172 HAS SOUS 4582 HAS SOUPS 4254 WITH SCORE 4259.562
AT ITER 568 NEW BEST:: SOT 14684 SOS 5537 HAS SOPS 5075 HAS SOUS 4520 HAS SOUPS 4192 WITH SCORE 4197.537
AT ITER 569 NEW BEST:: SOT 14681 SOS 5532 HAS SOPS 5070 HAS SOUS 4517 HAS SOUPS 4189 WITH SCORE 4194.532
AT ITER 575 NEW BEST:: SOT 14680 SOS 5531 HAS SOPS 5068 HAS SOUS 4516 HAS SOUPS 4187 WITH SCORE 4192.531
AT ITER 584 NEW BEST:: SOT 14617 SOS 5458 HAS SOPS 5037 HAS SOUS 4472 HAS SOUPS 4185 WITH SCORE 4190.458
AT ITER 586 NEW BEST:: SOT 14583 SOS 5377 HAS SOPS 4956 HAS SOUS 4425 HAS SOUPS 4138 WITH SCORE 4143.377
AT ITER 588 NEW BEST:: SOT 14645 SOS 5624 HAS SOPS 4951 HAS SOUS 4487 HAS SOUPS 4133 WITH SCORE 4138.624
AT ITER 591 NEW BEST:: SOT 14615 SOS 5578 HAS SOPS 4905 HAS SOUS 4441 HAS SOUPS 4087 WITH SCORE 4092.578
AT ITER 593 NEW BEST:: SOT 14611 SOS 5574 HAS SOPS 4901 HAS SOUS 4441 HAS SOUPS 4087 WITH SCORE 4092.574
AT ITER 604 NEW BEST:: SOT 14576 SOS 5539 HAS SOPS 4866 HAS SOUS 4441 HAS SOUPS 4087 WITH SCORE 4092.539
AT ITER 609 NEW BEST:: SOT 14575 SOS 5538 HAS SOPS 4865 HAS SOUS 4440 HAS SOUPS 4086 WITH SCORE 4091.538
AT ITER 612 NEW BEST:: SOT 14571 SOS 5543 HAS SOPS 4853 HAS SOUS 4428 HAS SOUPS 4074 WITH SCORE 4079.543
AT ITER 619 NEW BEST:: SOT 14565 SOS 5530 HAS SOPS 4840 HAS SOUS 4407 HAS SOUPS 4053 WITH SCORE 4058.53
AT ITER 632 NEW BEST:: SOT 14555 SOS 5520 HAS SOPS 4830 HAS SOUS 4387 HAS SOUPS 4033 WITH SCORE 4038.52
AT ITER 634 NEW BEST:: SOT 14584 SOS 5705 HAS SOPS 4787 HAS SOUS 4443 HAS SOUPS 3992 WITH SCORE 3997.705
AT ITER 643 NEW BEST:: SOT 14572 SOS 5662 HAS SOPS 4744 HAS SOUS 4419 HAS SOUPS 3968 WITH SCORE 3973.662
AT ITER 644 NEW BEST:: SOT 14483 SOS 5522 HAS SOPS 4604 HAS SOUS 4308 HAS SOUPS 3857 WITH SCORE 3862.522
AT ITER 645 NEW BEST:: SOT 14472 SOS 5504 HAS SOPS 4586 HAS SOUS 4301 HAS SOUPS 3850 WITH SCORE 3855.504
AT ITER 650 NEW BEST:: SOT 14472 SOS 5488 HAS SOPS 4586 HAS SOUS 4301 HAS SOUPS 3850 WITH SCORE 3855.488
AT ITER 654 NEW BEST:: SOT 14486 SOS 5437 HAS SOPS 4535 HAS SOUS 4273 HAS SOUPS 3822 WITH SCORE 3827.437
AT ITER 664 NEW BEST:: SOT 14484 SOS 5400 HAS SOPS 4498 HAS SOUS 4270 HAS SOUPS 3819 WITH SCORE 3824.4
AT ITER 667 NEW BEST:: SOT 14474 SOS 5385 HAS SOPS 4483 HAS SOUS 4255 HAS SOUPS 3804 WITH SCORE 3809.385
AT ITER 672 NEW BEST:: SOT 14474 SOS 5385 HAS SOPS 4481 HAS SOUS 4253 HAS SOUPS 3802 WITH SCORE 3807.385
AT ITER 676 NEW BEST:: SOT 14470 SOS 5492 HAS SOPS 4427 HAS SOUS 4259 HAS SOUPS 3748 WITH SCORE 3753.492
AT ITER 678 NEW BEST:: SOT 14472 SOS 5491 HAS SOPS 4427 HAS SOUS 4259 HAS SOUPS 3748 WITH SCORE 3753.491
AT ITER 682 NEW BEST:: SOT 14467 SOS 5486 HAS SOPS 4422 HAS SOUS 4254 HAS SOUPS 3743 WITH SCORE 3748.486
AT ITER 689 NEW BEST:: SOT 14453 SOS 5447 HAS SOPS 4409 HAS SOUS 4215 HAS SOUPS 3730 WITH SCORE 3735.447
AT ITER 710 NEW BEST:: SOT 14366 SOS 5361 HAS SOPS 4346 HAS SOUS 4159 HAS SOUPS 3697 WITH SCORE 3702.361
AT ITER 737 NEW BEST:: SOT 14353 SOS 5335 HAS SOPS 4320 HAS SOUS 4133 HAS SOUPS 3671 WITH SCORE 3676.335
AT ITER 744 NEW BEST:: SOT 14317 SOS 5286 HAS SOPS 4289 HAS SOUS 4084 HAS SOUPS 3640 WITH SCORE 3645.286
AT ITER 749 NEW BEST:: SOT 14286 SOS 5255 HAS SOPS 4258 HAS SOUS 4053 HAS SOUPS 3609 WITH SCORE 3614.255
AT ITER 761 NEW BEST:: SOT 14352 SOS 5223 HAS SOPS 4226 HAS SOUS 4051 HAS SOUPS 3607 WITH SCORE 3612.223
AT ITER 779 NEW BEST:: SOT 14283 SOS 5213 HAS SOPS 4225 HAS SOUS 4041 HAS SOUPS 3606 WITH SCORE 3611.213
AT ITER 780 NEW BEST:: SOT 14270 SOS 5203 HAS SOPS 4239 HAS SOUS 4035 HAS SOUPS 3600 WITH SCORE 3605.203
AT ITER 783 NEW BEST:: SOT 14270 SOS 5201 HAS SOPS 4237 HAS SOUS 4034 HAS SOUPS 3599 WITH SCORE 3604.201
AT ITER 811 NEW BEST:: SOT 14240 SOS 5136 HAS SOPS 4172 HAS SOUS 3991 HAS SOUPS 3556 WITH SCORE 3561.136
AT ITER 824 NEW BEST:: SOT 14239 SOS 5135 HAS SOPS 4170 HAS SOUS 3996 HAS SOUPS 3554 WITH SCORE 3559.135
AT ITER 829 NEW BEST:: SOT 14231 SOS 5123 HAS SOPS 4158 HAS SOUS 3987 HAS SOUPS 3545 WITH SCORE 3550.123
AT ITER 864 NEW BEST:: SOT 14208 SOS 5047 HAS SOPS 4082 HAS SOUS 3911 HAS SOUPS 3469 WITH SCORE 3474.047
AT ITER 879 NEW BEST:: SOT 14200 SOS 5031 HAS SOPS 4066 HAS SOUS 3895 HAS SOUPS 3453 WITH SCORE 3458.031
AT ITER 887 NEW BEST:: SOT 14196 SOS 5027 HAS SOPS 4062 HAS SOUS 3887 HAS SOUPS 3445 WITH SCORE 3450.027
AT ITER 892 NEW BEST:: SOT 14170 SOS 4989 HAS SOPS 4024 HAS SOUS 3867 HAS SOUPS 3425 WITH SCORE 3429.989
AT ITER 902 NEW BEST:: SOT 14167 SOS 4980 HAS SOPS 4022 HAS SOUS 3865 HAS SOUPS 3423 WITH SCORE 3427.98
AT ITER 907 NEW BEST:: SOT 14185 SOS 4953 HAS SOPS 3995 HAS SOUS 3838 HAS SOUPS 3396 WITH SCORE 3400.953
AT ITER 912 NEW BEST:: SOT 14180 SOS 4938 HAS SOPS 3955 HAS SOUS 3823 HAS SOUPS 3356 WITH SCORE 3360.938
AT ITER 915 NEW BEST:: SOT 14177 SOS 4935 HAS SOPS 3952 HAS SOUS 3823 HAS SOUPS 3356 WITH SCORE 3360.935
AT ITER 945 NEW BEST:: SOT 14169 SOS 4905 HAS SOPS 3936 HAS SOUS 3801 HAS SOUPS 3340 WITH SCORE 3344.905
AT ITER 953 NEW BEST:: SOT 14161 SOS 4863 HAS SOPS 3938 HAS SOUS 3790 HAS SOUPS 3340 WITH SCORE 3344.863
AT ITER 958 NEW BEST:: SOT 14154 SOS 4859 HAS SOPS 3934 HAS SOUS 3786 HAS SOUPS 3336 WITH SCORE 3340.859
AT ITER 984 NEW BEST:: SOT 14152 SOS 4857 HAS SOPS 3932 HAS SOUS 3784 HAS SOUPS 3334 WITH SCORE 3338.857
AT ITER 986 NEW BEST:: SOT 14151 SOS 4851 HAS SOPS 3924 HAS SOUS 3780 HAS SOUPS 3326 WITH SCORE 3330.851
AT ITER 990 NEW BEST:: SOT 14152 SOS 4861 HAS SOPS 3924 HAS SOUS 3781 HAS SOUPS 3317 WITH SCORE 3321.861
AT ITER 995 NEW BEST:: SOT 14147 SOS 4855 HAS SOPS 3918 HAS SOUS 3780 HAS SOUPS 3316 WITH SCORE 3320.855
AT ITER 996 NEW BEST:: SOT 14112 SOS 4838 HAS SOPS 3901 HAS SOUS 3780 HAS SOUPS 3316 WITH SCORE 3320.838
AT ITER 1008 NEW BEST:: SOT 14110 SOS 4827 HAS SOPS 3890 HAS SOUS 3777 HAS SOUPS 3313 WITH SCORE 3317.827
AT ITER 1019 NEW BEST:: SOT 14091 SOS 4743 HAS SOPS 3871 HAS SOUS 3758 HAS SOUPS 3313 WITH SCORE 3317.743
AT ITER 1029 NEW BEST:: SOT 14094 SOS 4732 HAS SOPS 3860 HAS SOUS 3747 HAS SOUPS 3302 WITH SCORE 3306.732
AT ITER 1059 NEW BEST:: SOT 14077 SOS 4703 HAS SOPS 3831 HAS SOUS 3718 HAS SOUPS 3273 WITH SCORE 3277.703
AT ITER 1063 NEW BEST:: SOT 14048 SOS 4648 HAS SOPS 3794 HAS SOUS 3681 HAS SOUPS 3236 WITH SCORE 3240.648
AT ITER 1068 NEW BEST:: SOT 14031 SOS 4586 HAS SOPS 3732 HAS SOUS 3669 HAS SOUPS 3224 WITH SCORE 3228.586
AT ITER 1079 NEW BEST:: SOT 13995 SOS 4533 HAS SOPS 3720 HAS SOUS 3632 HAS SOUPS 3212 WITH SCORE 3216.533
AT ITER 1135 NEW BEST:: SOT 13995 SOS 4522 HAS SOPS 3720 HAS SOUS 3628 HAS SOUPS 3212 WITH SCORE 3216.522
AT ITER 1156 NEW BEST:: SOT 13994 SOS 4521 HAS SOPS 3707 HAS SOUS 3610 HAS SOUPS 3194 WITH SCORE 3198.521
AT ITER 1159 NEW BEST:: SOT 13992 SOS 4518 HAS SOPS 3703 HAS SOUS 3606 HAS SOUPS 3190 WITH SCORE 3194.518
AT ITER 1166 NEW BEST:: SOT 13976 SOS 4502 HAS SOPS 3687 HAS SOUS 3590 HAS SOUPS 3174 WITH SCORE 3178.502
AT ITER 1211 NEW BEST:: SOT 13968 SOS 4491 HAS SOPS 3676 HAS SOUS 3587 HAS SOUPS 3171 WITH SCORE 3175.491
AT ITER 1246 NEW BEST:: SOT 13965 SOS 4536 HAS SOPS 3673 HAS SOUS 3581 HAS SOUPS 3146 WITH SCORE 3150.536
AT ITER 1261 NEW BEST:: SOT 13959 SOS 4506 HAS SOPS 3637 HAS SOUS 3572 HAS SOUPS 3134 WITH SCORE 3138.506
AT ITER 1265 NEW BEST:: SOT 13967 SOS 4500 HAS SOPS 3631 HAS SOUS 3566 HAS SOUPS 3128 WITH SCORE 3132.5
AT ITER 1270 NEW BEST:: SOT 13967 SOS 4500 HAS SOPS 3630 HAS SOUS 3566 HAS SOUPS 3127 WITH SCORE 3131.5
AT ITER 1309 NEW BEST:: SOT 13959 SOS 4492 HAS SOPS 3619 HAS SOUS 3555 HAS SOUPS 3116 WITH SCORE 3120.492
AT ITER 1378 NEW BEST:: SOT 13959 SOS 4489 HAS SOPS 3619 HAS SOUS 3552 HAS SOUPS 3116 WITH SCORE 3120.489
AT ITER 1381 NEW BEST:: SOT 13971 SOS 4501 HAS SOPS 3612 HAS SOUS 3564 HAS SOUPS 3109 WITH SCORE 3113.501
AT ITER 1385 NEW BEST:: SOT 13964 SOS 4479 HAS SOPS 3599 HAS SOUS 3547 HAS SOUPS 3101 WITH SCORE 3105.479
AT ITER 1386 NEW BEST:: SOT 13942 SOS 4457 HAS SOPS 3577 HAS SOUS 3545 HAS SOUPS 3099 WITH SCORE 3103.457
AT ITER 1397 NEW BEST:: SOT 13971 SOS 4545 HAS SOPS 3578 HAS SOUS 3579 HAS SOUPS 3093 WITH SCORE 3097.545
AT ITER 1404 NEW BEST:: SOT 13973 SOS 4547 HAS SOPS 3580 HAS SOUS 3564 HAS SOUPS 3078 WITH SCORE 3082.547
AT ITER 1446 NEW BEST:: SOT 13956 SOS 4520 HAS SOPS 3553 HAS SOUS 3526 HAS SOUPS 3040 WITH SCORE 3044.52
AT ITER 1505 NEW BEST:: SOT 13955 SOS 4505 HAS SOPS 3538 HAS SOUS 3511 HAS SOUPS 3025 WITH SCORE 3029.505
AT ITER 1512 NEW BEST:: SOT 13987 SOS 4532 HAS SOPS 3521 HAS SOUS 3538 HAS SOUPS 3008 WITH SCORE 3012.532
AT ITER 1546 NEW BEST:: SOT 13981 SOS 4514 HAS SOPS 3503 HAS SOUS 3526 HAS SOUPS 2996 WITH SCORE 3000.514
AT ITER 1547 NEW BEST:: SOT 13979 SOS 4512 HAS SOPS 3491 HAS SOUS 3532 HAS SOUPS 2992 WITH SCORE 2996.512
AT ITER 1557 NEW BEST:: SOT 13980 SOS 4483 HAS SOPS 3462 HAS SOUS 3504 HAS SOUPS 2964 WITH SCORE 2968.483
AT ITER 1576 NEW BEST:: SOT 13979 SOS 4481 HAS SOPS 3460 HAS SOUS 3503 HAS SOUPS 2963 WITH SCORE 2967.481
AT ITER 1591 NEW BEST:: SOT 13976 SOS 4452 HAS SOPS 3458 HAS SOUS 3501 HAS SOUPS 2961 WITH SCORE 2965.452
AT ITER 1601 NEW BEST:: SOT 14000 SOS 4489 HAS SOPS 3440 HAS SOUS 3496 HAS SOUPS 2943 WITH SCORE 2947.489
AT ITER 1609 NEW BEST:: SOT 13999 SOS 4485 HAS SOPS 3438 HAS SOUS 3492 HAS SOUPS 2941 WITH SCORE 2945.485
AT ITER 1612 NEW BEST:: SOT 13987 SOS 4491 HAS SOPS 3444 HAS SOUS 3485 HAS SOUPS 2934 WITH SCORE 2938.491
AT ITER 1617 NEW BEST:: SOT 13994 SOS 4486 HAS SOPS 3439 HAS SOUS 3472 HAS SOUPS 2921 WITH SCORE 2925.486
AT ITER 1632 NEW BEST:: SOT 13982 SOS 4468 HAS SOPS 3421 HAS SOUS 3463 HAS SOUPS 2912 WITH SCORE 2916.468
AT ITER 1646 NEW BEST:: SOT 13983 SOS 4466 HAS SOPS 3419 HAS SOUS 3461 HAS SOUPS 2910 WITH SCORE 2914.466
AT ITER 1679 NEW BEST:: SOT 13991 SOS 4590 HAS SOPS 3423 HAS SOUS 3477 HAS SOUPS 2896 WITH SCORE 2900.59
AT ITER 1703 NEW BEST:: SOT 13991 SOS 4530 HAS SOPS 3363 HAS SOUS 3468 HAS SOUPS 2887 WITH SCORE 2891.53
AT ITER 1709 NEW BEST:: SOT 13972 SOS 4500 HAS SOPS 3347 HAS SOUS 3441 HAS SOUPS 2871 WITH SCORE 2875.5
AT ITER 1731 NEW BEST:: SOT 13968 SOS 4496 HAS SOPS 3343 HAS SOUS 3439 HAS SOUPS 2869 WITH SCORE 2873.496
AT ITER 1733 NEW BEST:: SOT 13968 SOS 4478 HAS SOPS 3325 HAS SOUS 3433 HAS SOUPS 2863 WITH SCORE 2867.478
AT ITER 1771 NEW BEST:: SOT 13954 SOS 4464 HAS SOPS 3297 HAS SOUS 3412 HAS SOUPS 2842 WITH SCORE 2846.464
AT ITER 1772 NEW BEST:: SOT 13952 SOS 4506 HAS SOPS 3339 HAS SOUS 3402 HAS SOUPS 2832 WITH SCORE 2836.506
AT ITER 1797 NEW BEST:: SOT 13932 SOS 4485 HAS SOPS 3318 HAS SOUS 3381 HAS SOUPS 2811 WITH SCORE 2815.485
AT ITER 1825 NEW BEST:: SOT 13932 SOS 4517 HAS SOPS 3307 HAS SOUS 3381 HAS SOUPS 2800 WITH SCORE 2804.517
AT ITER 1831 NEW BEST:: SOT 13937 SOS 4512 HAS SOPS 3302 HAS SOUS 3377 HAS SOUPS 2796 WITH SCORE 2800.512
AT ITER 1839 NEW BEST:: SOT 13936 SOS 4485 HAS SOPS 3302 HAS SOUS 3350 HAS SOUPS 2796 WITH SCORE 2800.485
AT ITER 1857 NEW BEST:: SOT 13926 SOS 4489 HAS SOPS 3306 HAS SOUS 3344 HAS SOUPS 2790 WITH SCORE 2794.489
AT ITER 1900 NEW BEST:: SOT 13900 SOS 4380 HAS SOPS 3289 HAS SOUS 3312 HAS SOUPS 2781 WITH SCORE 2785.38
AT ITER 1911 NEW BEST:: SOT 13894 SOS 4367 HAS SOPS 3276 HAS SOUS 3306 HAS SOUPS 2775 WITH SCORE 2779.367
AT ITER 1917 NEW BEST:: SOT 13894 SOS 4359 HAS SOPS 3268 HAS SOUS 3298 HAS SOUPS 2767 WITH SCORE 2771.359
AT ITER 1929 NEW BEST:: SOT 13891 SOS 4353 HAS SOPS 3262 HAS SOUS 3295 HAS SOUPS 2764 WITH SCORE 2768.353
AT ITER 1947 NEW BEST:: SOT 13906 SOS 4351 HAS SOPS 3260 HAS SOUS 3293 HAS SOUPS 2762 WITH SCORE 2766.351
AT ITER 1963 NEW BEST:: SOT 13896 SOS 4342 HAS SOPS 3251 HAS SOUS 3293 HAS SOUPS 2762 WITH SCORE 2766.342
AT ITER 1976 NEW BEST:: SOT 13895 SOS 4341 HAS SOPS 3226 HAS SOUS 3301 HAS SOUPS 2746 WITH SCORE 2750.341
AT ITER 1981 NEW BEST:: SOT 13895 SOS 4344 HAS SOPS 3223 HAS SOUS 3298 HAS SOUPS 2743 WITH SCORE 2747.344
AT ITER 1990 NEW BEST:: SOT 13895 SOS 4328 HAS SOPS 3207 HAS SOUS 3298 HAS SOUPS 2743 WITH SCORE 2747.328
AT ITER 2000 NEW BEST:: SOT 13909 SOS 4370 HAS SOPS 3219 HAS SOUS 3312 HAS SOUPS 2742 WITH SCORE 2746.37
AT ITER 2078 NEW BEST:: SOT 13915 SOS 4389 HAS SOPS 3214 HAS SOUS 3331 HAS SOUPS 2737 WITH SCORE 2741.389
AT ITER 2080 NEW BEST:: SOT 13930 SOS 4370 HAS SOPS 3195 HAS SOUS 3312 HAS SOUPS 2718 WITH SCORE 2722.37
AT ITER 2093 NEW BEST:: SOT 13930 SOS 4363 HAS SOPS 3192 HAS SOUS 3309 HAS SOUPS 2715 WITH SCORE 2719.363
AT ITER 2096 NEW BEST:: SOT 13931 SOS 4354 HAS SOPS 3183 HAS SOUS 3300 HAS SOUPS 2706 WITH SCORE 2710.354
AT ITER 2101 NEW BEST:: SOT 13917 SOS 4346 HAS SOPS 3175 HAS SOUS 3292 HAS SOUPS 2698 WITH SCORE 2702.346
AT ITER 2117 NEW BEST:: SOT 13914 SOS 4342 HAS SOPS 3171 HAS SOUS 3290 HAS SOUPS 2696 WITH SCORE 2700.342
AT ITER 2144 NEW BEST:: SOT 13927 SOS 4355 HAS SOPS 3168 HAS SOUS 3300 HAS SOUPS 2690 WITH SCORE 2694.355
AT ITER 2169 NEW BEST:: SOT 13926 SOS 4354 HAS SOPS 3167 HAS SOUS 3299 HAS SOUPS 2689 WITH SCORE 2693.354
AT ITER 2201 NEW BEST:: SOT 13898 SOS 4313 HAS SOPS 3126 HAS SOUS 3271 HAS SOUPS 2661 WITH SCORE 2665.313
AT ITER 2206 NEW BEST:: SOT 13905 SOS 4319 HAS SOPS 3122 HAS SOUS 3277 HAS SOUPS 2657 WITH SCORE 2661.319
AT ITER 2221 NEW BEST:: SOT 13903 SOS 4317 HAS SOPS 3118 HAS SOUS 3273 HAS SOUPS 2653 WITH SCORE 2657.317
AT ITER 2253 NEW BEST:: SOT 13903 SOS 4311 HAS SOPS 3112 HAS SOUS 3272 HAS SOUPS 2652 WITH SCORE 2656.311
AT ITER 2316 NEW BEST:: SOT 13900 SOS 4308 HAS SOPS 3109 HAS SOUS 3271 HAS SOUPS 2651 WITH SCORE 2655.308
AT ITER 2325 NEW BEST:: SOT 13887 SOS 4279 HAS SOPS 3080 HAS SOUS 3259 HAS SOUPS 2639 WITH SCORE 2643.279
AT ITER 2350 NEW BEST:: SOT 13884 SOS 4265 HAS SOPS 3078 HAS SOUS 3254 HAS SOUPS 2637 WITH SCORE 2641.265
AT ITER 2397 NEW BEST:: SOT 13865 SOS 4258 HAS SOPS 3071 HAS SOUS 3247 HAS SOUPS 2630 WITH SCORE 2634.258
AT ITER 2427 NEW BEST:: SOT 13870 SOS 4269 HAS SOPS 3069 HAS SOUS 3251 HAS SOUPS 2628 WITH SCORE 2632.269
AT ITER 2460 NEW BEST:: SOT 13874 SOS 4268 HAS SOPS 3068 HAS SOUS 3250 HAS SOUPS 2627 WITH SCORE 2631.268
AT ITER 2475 NEW BEST:: SOT 13874 SOS 4266 HAS SOPS 3066 HAS SOUS 3248 HAS SOUPS 2625 WITH SCORE 2629.266
AT ITER 2480 NEW BEST:: SOT 13850 SOS 4255 HAS SOPS 3055 HAS SOUS 3238 HAS SOUPS 2615 WITH SCORE 2619.255
AT ITER 2483 NEW BEST:: SOT 13850 SOS 4248 HAS SOPS 3048 HAS SOUS 3231 HAS SOUPS 2608 WITH SCORE 2612.248
AT ITER 2535 NEW BEST:: SOT 13842 SOS 4225 HAS SOPS 3025 HAS SOUS 3215 HAS SOUPS 2592 WITH SCORE 2596.225
AT ITER 2546 NEW BEST:: SOT 13849 SOS 4214 HAS SOPS 3033 HAS SOUS 3213 HAS SOUPS 2590 WITH SCORE 2594.214
AT ITER 2551 NEW BEST:: SOT 13851 SOS 4138 HAS SOPS 3001 HAS SOUS 3211 HAS SOUPS 2588 WITH SCORE 2592.138
AT ITER 2572 NEW BEST:: SOT 13827 SOS 4124 HAS SOPS 2987 HAS SOUS 3205 HAS SOUPS 2582 WITH SCORE 2586.124
AT ITER 2581 NEW BEST:: SOT 13817 SOS 4104 HAS SOPS 2977 HAS SOUS 3195 HAS SOUPS 2582 WITH SCORE 2586.104
AT ITER 2589 NEW BEST:: SOT 13817 SOS 4102 HAS SOPS 2973 HAS SOUS 3195 HAS SOUPS 2580 WITH SCORE 2584.102
AT ITER 2602 NEW BEST:: SOT 13803 SOS 4069 HAS SOPS 2962 HAS SOUS 3162 HAS SOUPS 2569 WITH SCORE 2573.069
AT ITER 2608 NEW BEST:: SOT 13798 SOS 4048 HAS SOPS 2941 HAS SOUS 3157 HAS SOUPS 2564 WITH SCORE 2568.048
AT ITER 2652 NEW BEST:: SOT 13798 SOS 4045 HAS SOPS 2938 HAS SOUS 3157 HAS SOUPS 2564 WITH SCORE 2568.045
AT ITER 2653 NEW BEST:: SOT 13796 SOS 4028 HAS SOPS 2921 HAS SOUS 3140 HAS SOUPS 2547 WITH SCORE 2551.028
AT ITER 2719 NEW BEST:: SOT 13792 SOS 4028 HAS SOPS 2921 HAS SOUS 3136 HAS SOUPS 2543 WITH SCORE 2547.028
AT ITER 2728 NEW BEST:: SOT 13792 SOS 4026 HAS SOPS 2919 HAS SOUS 3135 HAS SOUPS 2542 WITH SCORE 2546.026
AT ITER 2764 NEW BEST:: SOT 13791 SOS 4025 HAS SOPS 2919 HAS SOUS 3134 HAS SOUPS 2542 WITH SCORE 2546.025
AT ITER 2774 NEW BEST:: SOT 13772 SOS 4006 HAS SOPS 2919 HAS SOUS 3121 HAS SOUPS 2529 WITH SCORE 2533.006
AT ITER 2831 NEW BEST:: SOT 13769 SOS 4003 HAS SOPS 2916 HAS SOUS 3118 HAS SOUPS 2526 WITH SCORE 2530.003
AT ITER 2843 NEW BEST:: SOT 13763 SOS 3985 HAS SOPS 2904 HAS SOUS 3112 HAS SOUPS 2520 WITH SCORE 2523.985
AT ITER 2847 NEW BEST:: SOT 13760 SOS 3972 HAS SOPS 2891 HAS SOUS 3109 HAS SOUPS 2517 WITH SCORE 2520.972
AT ITER 2881 NEW BEST:: SOT 13757 SOS 3962 HAS SOPS 2881 HAS SOUS 3101 HAS SOUPS 2509 WITH SCORE 2512.962
AT ITER 2909 NEW BEST:: SOT 13753 SOS 3985 HAS SOPS 2872 HAS SOUS 3104 HAS SOUPS 2500 WITH SCORE 2503.985
AT ITER 2918 NEW BEST:: SOT 13748 SOS 3980 HAS SOPS 2867 HAS SOUS 3094 HAS SOUPS 2490 WITH SCORE 2493.98
AT ITER 2935 NEW BEST:: SOT 13771 SOS 4096 HAS SOPS 2860 HAS SOUS 3148 HAS SOUPS 2483 WITH SCORE 2487.096
AT ITER 2974 NEW BEST:: SOT 13770 SOS 4092 HAS SOPS 2859 HAS SOUS 3146 HAS SOUPS 2482 WITH SCORE 2486.092
AT ITER 2982 NEW BEST:: SOT 13765 SOS 4071 HAS SOPS 2838 HAS SOUS 3122 HAS SOUPS 2458 WITH SCORE 2462.071
AT ITER 3025 NEW BEST:: SOT 13765 SOS 4063 HAS SOPS 2830 HAS SOUS 3114 HAS SOUPS 2450 WITH SCORE 2454.063
AT ITER 3028 NEW BEST:: SOT 13769 SOS 4055 HAS SOPS 2822 HAS SOUS 3110 HAS SOUPS 2446 WITH SCORE 2450.055
AT ITER 3081 NEW BEST:: SOT 13768 SOS 4053 HAS SOPS 2820 HAS SOUS 3108 HAS SOUPS 2444 WITH SCORE 2448.053
AT ITER 3103 NEW BEST:: SOT 13787 SOS 4048 HAS SOPS 2815 HAS SOUS 3104 HAS SOUPS 2440 WITH SCORE 2444.048
AT ITER 3104 NEW BEST:: SOT 13803 SOS 4063 HAS SOPS 2802 HAS SOUS 3119 HAS SOUPS 2427 WITH SCORE 2431.063
AT ITER 3131 NEW BEST:: SOT 13800 SOS 4060 HAS SOPS 2796 HAS SOUS 3113 HAS SOUPS 2421 WITH SCORE 2425.06
AT ITER 3173 NEW BEST:: SOT 13780 SOS 4044 HAS SOPS 2796 HAS SOUS 3097 HAS SOUPS 2421 WITH SCORE 2425.044
AT ITER 3206 NEW BEST:: SOT 13780 SOS 4041 HAS SOPS 2796 HAS SOUS 3097 HAS SOUPS 2421 WITH SCORE 2425.041
AT ITER 3230 NEW BEST:: SOT 13780 SOS 4041 HAS SOPS 2796 HAS SOUS 3096 HAS SOUPS 2420 WITH SCORE 2424.041
AT ITER 3271 NEW BEST:: SOT 13779 SOS 4037 HAS SOPS 2794 HAS SOUS 3092 HAS SOUPS 2418 WITH SCORE 2422.037
AT ITER 3281 NEW BEST:: SOT 13770 SOS 4028 HAS SOPS 2794 HAS SOUS 3083 HAS SOUPS 2418 WITH SCORE 2422.028
AT ITER 3305 NEW BEST:: SOT 13770 SOS 4026 HAS SOPS 2792 HAS SOUS 3081 HAS SOUPS 2416 WITH SCORE 2420.026
AT ITER 3308 NEW BEST:: SOT 13770 SOS 4023 HAS SOPS 2790 HAS SOUS 3079 HAS SOUPS 2415 WITH SCORE 2419.023
AT ITER 3336 NEW BEST:: SOT 13773 SOS 4019 HAS SOPS 2786 HAS SOUS 3075 HAS SOUPS 2411 WITH SCORE 2415.019
AT ITER 3367 NEW BEST:: SOT 13770 SOS 4054 HAS SOPS 2783 HAS SOUS 3072 HAS SOUPS 2408 WITH SCORE 2412.054
AT ITER 3415 NEW BEST:: SOT 13766 SOS 4050 HAS SOPS 2779 HAS SOUS 3064 HAS SOUPS 2400 WITH SCORE 2404.05
AT ITER 3474 NEW BEST:: SOT 13764 SOS 4047 HAS SOPS 2777 HAS SOUS 3061 HAS SOUPS 2398 WITH SCORE 2402.047
AT ITER 3483 NEW BEST:: SOT 13763 SOS 4046 HAS SOPS 2776 HAS SOUS 3060 HAS SOUPS 2397 WITH SCORE 2401.046
AT ITER 3501 NEW BEST:: SOT 13765 SOS 4045 HAS SOPS 2775 HAS SOUS 3059 HAS SOUPS 2396 WITH SCORE 2400.045
AT ITER 3505 NEW BEST:: SOT 13791 SOS 4037 HAS SOPS 2767 HAS SOUS 3046 HAS SOUPS 2383 WITH SCORE 2387.037
AT ITER 3530 NEW BEST:: SOT 13778 SOS 4024 HAS SOPS 2767 HAS SOUS 3033 HAS SOUPS 2383 WITH SCORE 2387.024
AT ITER 3557 NEW BEST:: SOT 13769 SOS 4006 HAS SOPS 2749 HAS SOUS 3024 HAS SOUPS 2374 WITH SCORE 2378.006
AT ITER 3636 NEW BEST:: SOT 13742 SOS 3981 HAS SOPS 2724 HAS SOUS 3017 HAS SOUPS 2367 WITH SCORE 2370.981
AT ITER 3649 NEW BEST:: SOT 13742 SOS 3977 HAS SOPS 2724 HAS SOUS 3013 HAS SOUPS 2367 WITH SCORE 2370.977
AT ITER 3685 NEW BEST:: SOT 13742 SOS 3978 HAS SOPS 2724 HAS SOUS 3012 HAS SOUPS 2366 WITH SCORE 2369.978
AT ITER 3760 NEW BEST:: SOT 13727 SOS 3970 HAS SOPS 2716 HAS SOUS 3004 HAS SOUPS 2358 WITH SCORE 2361.97
AT ITER 3769 NEW BEST:: SOT 13727 SOS 3968 HAS SOPS 2716 HAS SOUS 3002 HAS SOUPS 2358 WITH SCORE 2361.968
AT ITER 3797 NEW BEST:: SOT 13716 SOS 3965 HAS SOPS 2713 HAS SOUS 2986 HAS SOUPS 2342 WITH SCORE 2345.965
AT ITER 3798 NEW BEST:: SOT 13724 SOS 3916 HAS SOPS 2710 HAS SOUS 2976 HAS SOUPS 2332 WITH SCORE 2335.916
AT ITER 3802 NEW BEST:: SOT 13726 SOS 3907 HAS SOPS 2701 HAS SOUS 2967 HAS SOUPS 2323 WITH SCORE 2326.907
AT ITER 3820 NEW BEST:: SOT 13725 SOS 3894 HAS SOPS 2688 HAS SOUS 2953 HAS SOUPS 2309 WITH SCORE 2312.894
AT ITER 3870 NEW BEST:: SOT 13694 SOS 3851 HAS SOPS 2650 HAS SOUS 2910 HAS SOUPS 2271 WITH SCORE 2274.851
AT ITER 3892 NEW BEST:: SOT 13693 SOS 3848 HAS SOPS 2647 HAS SOUS 2908 HAS SOUPS 2269 WITH SCORE 2272.848
AT ITER 3996 NEW BEST:: SOT 13685 SOS 3992 HAS SOPS 2639 HAS SOUS 2919 HAS SOUPS 2261 WITH SCORE 2264.992
AT ITER 4032 NEW BEST:: SOT 13683 SOS 3987 HAS SOPS 2634 HAS SOUS 2918 HAS SOUPS 2260 WITH SCORE 2263.987
AT ITER 4041 NEW BEST:: SOT 13683 SOS 3973 HAS SOPS 2620 HAS SOUS 2914 HAS SOUPS 2256 WITH SCORE 2259.973
AT ITER 4166 NEW BEST:: SOT 13688 SOS 3987 HAS SOPS 2619 HAS SOUS 2917 HAS SOUPS 2254 WITH SCORE 2257.987
AT ITER 4196 NEW BEST:: SOT 13688 SOS 3980 HAS SOPS 2619 HAS SOUS 2917 HAS SOUPS 2254 WITH SCORE 2257.98
AT ITER 4262 NEW BEST:: SOT 13684 SOS 3976 HAS SOPS 2617 HAS SOUS 2913 HAS SOUPS 2252 WITH SCORE 2255.976
AT ITER 4305 NEW BEST:: SOT 13684 SOS 3971 HAS SOPS 2617 HAS SOUS 2908 HAS SOUPS 2252 WITH SCORE 2255.971
AT ITER 4337 NEW BEST:: SOT 13686 SOS 3970 HAS SOPS 2617 HAS SOUS 2908 HAS SOUPS 2252 WITH SCORE 2255.97
AT ITER 4399 NEW BEST:: SOT 13682 SOS 3962 HAS SOPS 2609 HAS SOUS 2905 HAS SOUPS 2249 WITH SCORE 2252.962
AT ITER 4422 NEW BEST:: SOT 13683 SOS 3950 HAS SOPS 2597 HAS SOUS 2893 HAS SOUPS 2237 WITH SCORE 2240.95
AT ITER 4468 NEW BEST:: SOT 13683 SOS 3947 HAS SOPS 2596 HAS SOUS 2892 HAS SOUPS 2236 WITH SCORE 2239.947
AT ITER 4489 NEW BEST:: SOT 13679 SOS 3941 HAS SOPS 2592 HAS SOUS 2886 HAS SOUPS 2232 WITH SCORE 2235.941
AT ITER 4494 NEW BEST:: SOT 13657 SOS 3919 HAS SOPS 2570 HAS SOUS 2884 HAS SOUPS 2230 WITH SCORE 2233.919
AT ITER 4625 NEW BEST:: SOT 13657 SOS 3902 HAS SOPS 2570 HAS SOUS 2884 HAS SOUPS 2230 WITH SCORE 2233.902
AT ITER 4711 NEW BEST:: SOT 13656 SOS 3899 HAS SOPS 2567 HAS SOUS 2881 HAS SOUPS 2227 WITH SCORE 2230.899
AT ITER 4718 NEW BEST:: SOT 13638 SOS 3857 HAS SOPS 2525 HAS SOUS 2854 HAS SOUPS 2200 WITH SCORE 2203.857
AT ITER 4767 NEW BEST:: SOT 13638 SOS 3855 HAS SOPS 2525 HAS SOUS 2852 HAS SOUPS 2200 WITH SCORE 2203.855
AT ITER 4885 NEW BEST:: SOT 13636 SOS 3859 HAS SOPS 2523 HAS SOUS 2851 HAS SOUPS 2199 WITH SCORE 2202.859
AT ITER 4913 NEW BEST:: SOT 13639 SOS 3839 HAS SOPS 2503 HAS SOUS 2831 HAS SOUPS 2179 WITH SCORE 2182.839
AT ITER 4941 NEW BEST:: SOT 13637 SOS 3837 HAS SOPS 2501 HAS SOUS 2829 HAS SOUPS 2177 WITH SCORE 2180.837
AT ITER 4942 NEW BEST:: SOT 13644 SOS 3857 HAS SOPS 2508 HAS SOUS 2818 HAS SOUPS 2153 WITH SCORE 2156.857
AT ITER 5029 NEW BEST:: SOT 13644 SOS 3847 HAS SOPS 2498 HAS SOUS 2808 HAS SOUPS 2143 WITH SCORE 2146.847
AT ITER 5101 NEW BEST:: SOT 13627 SOS 3845 HAS SOPS 2496 HAS SOUS 2797 HAS SOUPS 2132 WITH SCORE 2135.845
AT ITER 5257 NEW BEST:: SOT 13619 SOS 3858 HAS SOPS 2488 HAS SOUS 2810 HAS SOUPS 2124 WITH SCORE 2127.858
AT ITER 5266 NEW BEST:: SOT 13620 SOS 3862 HAS SOPS 2487 HAS SOUS 2809 HAS SOUPS 2123 WITH SCORE 2126.862
AT ITER 5269 NEW BEST:: SOT 13616 SOS 3858 HAS SOPS 2483 HAS SOUS 2805 HAS SOUPS 2119 WITH SCORE 2122.858
AT ITER 5314 NEW BEST:: SOT 13617 SOS 3858 HAS SOPS 2484 HAS SOUS 2802 HAS SOUPS 2116 WITH SCORE 2119.858
AT ITER 5399 NEW BEST:: SOT 13617 SOS 3901 HAS SOPS 2469 HAS SOUS 2802 HAS SOUPS 2101 WITH SCORE 2104.901
AT ITER 5436 NEW BEST:: SOT 13618 SOS 3896 HAS SOPS 2469 HAS SOUS 2798 HAS SOUPS 2097 WITH SCORE 2100.896
AT ITER 5451 NEW BEST:: SOT 13620 SOS 3892 HAS SOPS 2465 HAS SOUS 2796 HAS SOUPS 2095 WITH SCORE 2098.892
AT ITER 5495 NEW BEST:: SOT 13619 SOS 3888 HAS SOPS 2463 HAS SOUS 2792 HAS SOUPS 2093 WITH SCORE 2096.888
AT ITER 5570 NEW BEST:: SOT 13619 SOS 3889 HAS SOPS 2460 HAS SOUS 2791 HAS SOUPS 2091 WITH SCORE 2094.889
AT ITER 5585 NEW BEST:: SOT 13618 SOS 3851 HAS SOPS 2458 HAS SOUS 2789 HAS SOUPS 2089 WITH SCORE 2092.851
AT ITER 5618 NEW BEST:: SOT 13615 SOS 3848 HAS SOPS 2458 HAS SOUS 2786 HAS SOUPS 2089 WITH SCORE 2092.848
AT ITER 5631 NEW BEST:: SOT 13615 SOS 3843 HAS SOPS 2453 HAS SOUS 2781 HAS SOUPS 2084 WITH SCORE 2087.843
AT ITER 5632 NEW BEST:: SOT 13619 SOS 3846 HAS SOPS 2451 HAS SOUS 2784 HAS SOUPS 2082 WITH SCORE 2085.846
AT ITER 5640 NEW BEST:: SOT 13610 SOS 3801 HAS SOPS 2451 HAS SOUS 2775 HAS SOUPS 2082 WITH SCORE 2085.801
AT ITER 5647 NEW BEST:: SOT 13610 SOS 3796 HAS SOPS 2446 HAS SOUS 2770 HAS SOUPS 2077 WITH SCORE 2080.796
AT ITER 5679 NEW BEST:: SOT 13610 SOS 3794 HAS SOPS 2444 HAS SOUS 2768 HAS SOUPS 2075 WITH SCORE 2078.794
AT ITER 5719 NEW BEST:: SOT 13610 SOS 3792 HAS SOPS 2442 HAS SOUS 2768 HAS SOUPS 2075 WITH SCORE 2078.792
AT ITER 5756 NEW BEST:: SOT 13609 SOS 3789 HAS SOPS 2439 HAS SOUS 2766 HAS SOUPS 2073 WITH SCORE 2076.789
AT ITER 5763 NEW BEST:: SOT 13606 SOS 3783 HAS SOPS 2433 HAS SOUS 2763 HAS SOUPS 2070 WITH SCORE 2073.783
AT ITER 5800 NEW BEST:: SOT 13603 SOS 3792 HAS SOPS 2430 HAS SOUS 2760 HAS SOUPS 2067 WITH SCORE 2070.792
AT ITER 5815 NEW BEST:: SOT 13598 SOS 3782 HAS SOPS 2425 HAS SOUS 2755 HAS SOUPS 2067 WITH SCORE 2070.782
AT ITER 5908 NEW BEST:: SOT 13589 SOS 3773 HAS SOPS 2422 HAS SOUS 2737 HAS SOUPS 2049 WITH SCORE 2052.773
AT ITER 5986 NEW BEST:: SOT 13587 SOS 3768 HAS SOPS 2417 HAS SOUS 2731 HAS SOUPS 2043 WITH SCORE 2046.768
AT ITER 6023 NEW BEST:: SOT 13586 SOS 3773 HAS SOPS 2418 HAS SOUS 2734 HAS SOUPS 2042 WITH SCORE 2045.773
AT ITER 6046 NEW BEST:: SOT 13586 SOS 3779 HAS SOPS 2424 HAS SOUS 2731 HAS SOUPS 2039 WITH SCORE 2042.779
AT ITER 6068 NEW BEST:: SOT 13585 SOS 3774 HAS SOPS 2422 HAS SOUS 2726 HAS SOUPS 2037 WITH SCORE 2040.774
AT ITER 6095 NEW BEST:: SOT 13586 SOS 3767 HAS SOPS 2419 HAS SOUS 2724 HAS SOUPS 2035 WITH SCORE 2038.767
AT ITER 6140 NEW BEST:: SOT 13582 SOS 3767 HAS SOPS 2419 HAS SOUS 2720 HAS SOUPS 2031 WITH SCORE 2034.767
AT ITER 6253 NEW BEST:: SOT 13576 SOS 3781 HAS SOPS 2433 HAS SOUS 2717 HAS SOUPS 2028 WITH SCORE 2031.781
AT ITER 6271 NEW BEST:: SOT 13576 SOS 3766 HAS SOPS 2433 HAS SOUS 2717 HAS SOUPS 2028 WITH SCORE 2031.766
AT ITER 6489 NEW BEST:: SOT 13576 SOS 3764 HAS SOPS 2431 HAS SOUS 2715 HAS SOUPS 2026 WITH SCORE 2029.764
AT ITER 6526 NEW BEST:: SOT 13563 SOS 3718 HAS SOPS 2385 HAS SOUS 2684 HAS SOUPS 1995 WITH SCORE 1998.718
AT ITER 6642 NEW BEST:: SOT 13562 SOS 3716 HAS SOPS 2383 HAS SOUS 2683 HAS SOUPS 1994 WITH SCORE 1997.716
AT ITER 6712 NEW BEST:: SOT 13559 SOS 3713 HAS SOPS 2383 HAS SOUS 2680 HAS SOUPS 1991 WITH SCORE 1994.713
AT ITER 6726 NEW BEST:: SOT 13554 SOS 3708 HAS SOPS 2373 HAS SOUS 2677 HAS SOUPS 1988 WITH SCORE 1991.708
AT ITER 6752 NEW BEST:: SOT 13551 SOS 3704 HAS SOPS 2373 HAS SOUS 2673 HAS SOUPS 1988 WITH SCORE 1991.704
AT ITER 6766 NEW BEST:: SOT 13549 SOS 3702 HAS SOPS 2371 HAS SOUS 2671 HAS SOUPS 1986 WITH SCORE 1989.702
AT ITER 6815 NEW BEST:: SOT 13549 SOS 3705 HAS SOPS 2371 HAS SOUS 2671 HAS SOUPS 1983 WITH SCORE 1986.705
AT ITER 6962 NEW BEST:: SOT 13547 SOS 3703 HAS SOPS 2369 HAS SOUS 2671 HAS SOUPS 1983 WITH SCORE 1986.703
AT ITER 7273 NEW BEST:: SOT 13552 SOS 3702 HAS SOPS 2368 HAS SOUS 2669 HAS SOUPS 1981 WITH SCORE 1984.702
AT ITER 7275 NEW BEST:: SOT 13552 SOS 3689 HAS SOPS 2358 HAS SOUS 2665 HAS SOUPS 1977 WITH SCORE 1980.689
AT ITER 7564 NEW BEST:: SOT 13549 SOS 3688 HAS SOPS 2358 HAS SOUS 2664 HAS SOUPS 1977 WITH SCORE 1980.688
AT ITER 7617 NEW BEST:: SOT 13543 SOS 3687 HAS SOPS 2357 HAS SOUS 2663 HAS SOUPS 1976 WITH SCORE 1979.687
AT ITER 7624 NEW BEST:: SOT 13541 SOS 3682 HAS SOPS 2353 HAS SOUS 2659 HAS SOUPS 1972 WITH SCORE 1975.682
AT ITER 7651 NEW BEST:: SOT 13539 SOS 3685 HAS SOPS 2349 HAS SOUS 2655 HAS SOUPS 1968 WITH SCORE 1971.685
AT ITER 7659 NEW BEST:: SOT 13537 SOS 3682 HAS SOPS 2346 HAS SOUS 2652 HAS SOUPS 1965 WITH SCORE 1968.682
AT ITER 7668 NEW BEST:: SOT 13524 SOS 3656 HAS SOPS 2346 HAS SOUS 2639 HAS SOUPS 1965 WITH SCORE 1968.656
AT ITER 7679 NEW BEST:: SOT 13528 SOS 3647 HAS SOPS 2333 HAS SOUS 2638 HAS SOUPS 1960 WITH SCORE 1963.647
AT ITER 7768 NEW BEST:: SOT 13527 SOS 3638 HAS SOPS 2328 HAS SOUS 2633 HAS SOUPS 1955 WITH SCORE 1958.638
AT ITER 7838 NEW BEST:: SOT 13526 SOS 3637 HAS SOPS 2326 HAS SOUS 2633 HAS SOUPS 1954 WITH SCORE 1957.637
AT ITER 8001 NEW BEST:: SOT 13525 SOS 3636 HAS SOPS 2324 HAS SOUS 2631 HAS SOUPS 1952 WITH SCORE 1955.636
AT ITER 8006 NEW BEST:: SOT 13524 SOS 3633 HAS SOPS 2323 HAS SOUS 2628 HAS SOUPS 1951 WITH SCORE 1954.633
AT ITER 8007 NEW BEST:: SOT 13514 SOS 3620 HAS SOPS 2310 HAS SOUS 2618 HAS SOUPS 1941 WITH SCORE 1944.62
AT ITER 8025 NEW BEST:: SOT 13518 SOS 3627 HAS SOPS 2317 HAS SOUS 2611 HAS SOUPS 1934 WITH SCORE 1937.627
AT ITER 8069 NEW BEST:: SOT 13517 SOS 3625 HAS SOPS 2315 HAS SOUS 2610 HAS SOUPS 1933 WITH SCORE 1936.625
AT ITER 8075 NEW BEST:: SOT 13513 SOS 3618 HAS SOPS 2309 HAS SOUS 2604 HAS SOUPS 1927 WITH SCORE 1930.618
AT ITER 8083 NEW BEST:: SOT 13511 SOS 3610 HAS SOPS 2309 HAS SOUS 2602 HAS SOUPS 1927 WITH SCORE 1930.61
AT ITER 8134 NEW BEST:: SOT 13508 SOS 3606 HAS SOPS 2305 HAS SOUS 2599 HAS SOUPS 1924 WITH SCORE 1927.606
AT ITER 8164 NEW BEST:: SOT 13511 SOS 3605 HAS SOPS 2304 HAS SOUS 2598 HAS SOUPS 1923 WITH SCORE 1926.605
AT ITER 8196 NEW BEST:: SOT 13510 SOS 3604 HAS SOPS 2304 HAS SOUS 2597 HAS SOUPS 1923 WITH SCORE 1926.604
AT ITER 8215 NEW BEST:: SOT 13505 SOS 3563 HAS SOPS 2270 HAS SOUS 2585 HAS SOUPS 1911 WITH SCORE 1914.563
AT ITER 8510 NEW BEST:: SOT 13505 SOS 3555 HAS SOPS 2262 HAS SOUS 2585 HAS SOUPS 1911 WITH SCORE 1914.555
AT ITER 8606 NEW BEST:: SOT 13504 SOS 3554 HAS SOPS 2260 HAS SOUS 2584 HAS SOUPS 1910 WITH SCORE 1913.554
AT ITER 8653 NEW BEST:: SOT 13504 SOS 3554 HAS SOPS 2259 HAS SOUS 2584 HAS SOUPS 1909 WITH SCORE 1912.554
AT ITER 8871 NEW BEST:: SOT 13502 SOS 3551 HAS SOPS 2255 HAS SOUS 2582 HAS SOUPS 1906 WITH SCORE 1909.551
AT ITER 9142 NEW BEST:: SOT 13501 SOS 3547 HAS SOPS 2255 HAS SOUS 2581 HAS SOUPS 1906 WITH SCORE 1909.547
AT ITER 9156 NEW BEST:: SOT 13490 SOS 3536 HAS SOPS 2244 HAS SOUS 2576 HAS SOUPS 1901 WITH SCORE 1904.536
AT ITER 9197 NEW BEST:: SOT 13491 SOS 3537 HAS SOPS 2245 HAS SOUS 2575 HAS SOUPS 1900 WITH SCORE 1903.537
AT ITER 9343 NEW BEST:: SOT 13482 SOS 3501 HAS SOPS 2245 HAS SOUS 2566 HAS SOUPS 1900 WITH SCORE 1903.501
AT ITER 9875 NEW BEST:: SOT 13474 SOS 3491 HAS SOPS 2237 HAS SOUS 2556 HAS SOUPS 1892 WITH SCORE 1895.491
AT ITER 9907 NEW BEST:: SOT 13470 SOS 3487 HAS SOPS 2233 HAS SOUS 2552 HAS SOUPS 1888 WITH SCORE 1891.487
STATE_SPACE STATES 1371919681 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 39 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 30942959041 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678735816822

--------------------
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="AutoFlight-PT-06a"
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 AutoFlight-PT-06a, 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 r011-oct2-167813600200456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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