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.r075-smll-167814401000400.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 CloudDeployment-PT-4a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401000400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 7.2K Feb 25 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 14:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 15:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 25 15:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 15:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 15:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 156K 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 1678345030811

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=CloudDeployment-PT-4a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 06:57:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 06:57:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 06:57:14] [INFO ] Load time of PNML (sax parser for PT used): 189 ms
[2023-03-09 06:57:14] [INFO ] Transformed 141 places.
[2023-03-09 06:57:14] [INFO ] Transformed 475 transitions.
[2023-03-09 06:57:14] [INFO ] Found NUPN structural information;
[2023-03-09 06:57:14] [INFO ] Parsed PT model containing 141 places and 475 transitions and 2657 arcs in 371 ms.
[2023-03-09 06:57:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 141 places, 475 transitions and 2657 arcs took 18 ms.
Total runtime 453 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 4a
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: 141 places, 475 transitions, 2657 arcs.
AT ITER 0 NEW BEST:: SOT 50104 SOS 29169 HAS SOPS 27043 HAS SOUS 23029 HAS SOUPS 21104 WITH SCORE 21133.169
AT ITER 5 NEW BEST:: SOT 50161 SOS 29191 HAS SOPS 27065 HAS SOUS 23015 HAS SOUPS 21090 WITH SCORE 21119.191
AT ITER 6 NEW BEST:: SOT 50122 SOS 29231 HAS SOPS 27059 HAS SOUS 22993 HAS SOUPS 21084 WITH SCORE 21113.231
AT ITER 11 NEW BEST:: SOT 50107 SOS 29201 HAS SOPS 27034 HAS SOUS 22973 HAS SOUPS 21069 WITH SCORE 21098.201
AT ITER 12 NEW BEST:: SOT 50546 SOS 29489 HAS SOPS 27322 HAS SOUS 22955 HAS SOUPS 21051 WITH SCORE 21080.489
AT ITER 15 NEW BEST:: SOT 50468 SOS 29394 HAS SOPS 27193 HAS SOUS 22849 HAS SOUPS 20922 WITH SCORE 20951.394
AT ITER 16 NEW BEST:: SOT 50468 SOS 29346 HAS SOPS 27129 HAS SOUS 22801 HAS SOUPS 20858 WITH SCORE 20887.346
AT ITER 20 NEW BEST:: SOT 50468 SOS 29278 HAS SOPS 27061 HAS SOUS 22761 HAS SOUPS 20818 WITH SCORE 20847.278
AT ITER 23 NEW BEST:: SOT 50678 SOS 29531 HAS SOPS 27314 HAS SOUS 22742 HAS SOUPS 20799 WITH SCORE 20828.531
AT ITER 25 NEW BEST:: SOT 51080 SOS 29666 HAS SOPS 27449 HAS SOUS 22479 HAS SOUPS 20536 WITH SCORE 20565.666
AT ITER 26 NEW BEST:: SOT 51101 SOS 29818 HAS SOPS 27601 HAS SOUS 22435 HAS SOUPS 20492 WITH SCORE 20521.818
AT ITER 27 NEW BEST:: SOT 51195 SOS 29895 HAS SOPS 27678 HAS SOUS 22367 HAS SOUPS 20424 WITH SCORE 20453.895
AT ITER 30 NEW BEST:: SOT 51131 SOS 29781 HAS SOPS 27474 HAS SOUS 22356 HAS SOUPS 20375 WITH SCORE 20404.781
AT ITER 31 NEW BEST:: SOT 51081 SOS 29738 HAS SOPS 27431 HAS SOUS 22313 HAS SOUPS 20332 WITH SCORE 20361.738
AT ITER 32 NEW BEST:: SOT 50981 SOS 29652 HAS SOPS 27402 HAS SOUS 22226 HAS SOUPS 20302 WITH SCORE 20331.652
AT ITER 33 NEW BEST:: SOT 50636 SOS 29915 HAS SOPS 27385 HAS SOUS 22054 HAS SOUPS 20285 WITH SCORE 20314.915
AT ITER 34 NEW BEST:: SOT 50654 SOS 29445 HAS SOPS 26911 HAS SOUS 21993 HAS SOUPS 20224 WITH SCORE 20253.445
AT ITER 37 NEW BEST:: SOT 50520 SOS 29232 HAS SOPS 26698 HAS SOUS 20175 HAS SOUPS 18406 WITH SCORE 18435.232
AT ITER 38 NEW BEST:: SOT 50476 SOS 29121 HAS SOPS 26587 HAS SOUS 20066 HAS SOUPS 18297 WITH SCORE 18326.121
AT ITER 39 NEW BEST:: SOT 50552 SOS 29153 HAS SOPS 26599 HAS SOUS 20083 HAS SOUPS 18294 WITH SCORE 18323.153
AT ITER 40 NEW BEST:: SOT 50564 SOS 29153 HAS SOPS 26593 HAS SOUS 20077 HAS SOUPS 18282 WITH SCORE 18311.153
AT ITER 43 NEW BEST:: SOT 50481 SOS 26884 HAS SOPS 22765 HAS SOUS 19389 HAS SOUPS 17378 WITH SCORE 17404.884
AT ITER 44 NEW BEST:: SOT 50363 SOS 26772 HAS SOPS 22653 HAS SOUS 19380 HAS SOUPS 17369 WITH SCORE 17395.772
AT ITER 45 NEW BEST:: SOT 50371 SOS 26780 HAS SOPS 22661 HAS SOUS 19368 HAS SOUPS 17357 WITH SCORE 17383.78
AT ITER 55 NEW BEST:: SOT 49618 SOS 27950 HAS SOPS 20673 HAS SOUS 17219 HAS SOUPS 15313 WITH SCORE 15340.95
AT ITER 56 NEW BEST:: SOT 49061 SOS 28425 HAS SOPS 20309 HAS SOUS 16886 HAS SOUPS 14925 WITH SCORE 14953.425
AT ITER 61 NEW BEST:: SOT 49022 SOS 27871 HAS SOPS 18928 HAS SOUS 16053 HAS SOUPS 14092 WITH SCORE 14119.871
AT ITER 64 NEW BEST:: SOT 49022 SOS 27862 HAS SOPS 18916 HAS SOUS 16044 HAS SOUPS 14083 WITH SCORE 14110.862
AT ITER 68 NEW BEST:: SOT 49022 SOS 27873 HAS SOPS 18872 HAS SOUS 16004 HAS SOUPS 14043 WITH SCORE 14070.873
AT ITER 70 NEW BEST:: SOT 49022 SOS 27880 HAS SOPS 18698 HAS SOUS 15230 HAS SOUPS 13269 WITH SCORE 13296.88
AT ITER 72 NEW BEST:: SOT 49041 SOS 27836 HAS SOPS 18596 HAS SOUS 15152 HAS SOUPS 13191 WITH SCORE 13218.836
AT ITER 75 NEW BEST:: SOT 48912 SOS 27707 HAS SOPS 18467 HAS SOUS 15023 HAS SOUPS 13062 WITH SCORE 13089.707
AT ITER 84 NEW BEST:: SOT 48929 SOS 27671 HAS SOPS 18431 HAS SOUS 14987 HAS SOUPS 13026 WITH SCORE 13053.671
AT ITER 85 NEW BEST:: SOT 48933 SOS 27621 HAS SOPS 18381 HAS SOUS 14936 HAS SOUPS 12975 WITH SCORE 13002.621
AT ITER 89 NEW BEST:: SOT 48883 SOS 27596 HAS SOPS 18356 HAS SOUS 14915 HAS SOUPS 12954 WITH SCORE 12981.596
AT ITER 95 NEW BEST:: SOT 48642 SOS 27309 HAS SOPS 18069 HAS SOUS 14541 HAS SOUPS 12580 WITH SCORE 12607.309
AT ITER 96 NEW BEST:: SOT 48850 SOS 27341 HAS SOPS 18165 HAS SOUS 14453 HAS SOUPS 12507 WITH SCORE 12534.341
AT ITER 103 NEW BEST:: SOT 48769 SOS 27284 HAS SOPS 18108 HAS SOUS 14362 HAS SOUPS 12416 WITH SCORE 12443.284
AT ITER 106 NEW BEST:: SOT 48756 SOS 27282 HAS SOPS 18117 HAS SOUS 14279 HAS SOUPS 12333 WITH SCORE 12360.282
AT ITER 108 NEW BEST:: SOT 48756 SOS 27276 HAS SOPS 18116 HAS SOUS 14278 HAS SOUPS 12332 WITH SCORE 12359.276
AT ITER 109 NEW BEST:: SOT 48744 SOS 27268 HAS SOPS 18124 HAS SOUS 14261 HAS SOUPS 12315 WITH SCORE 12342.268
AT ITER 117 NEW BEST:: SOT 48730 SOS 27254 HAS SOPS 18110 HAS SOUS 14247 HAS SOUPS 12301 WITH SCORE 12328.254
AT ITER 120 NEW BEST:: SOT 48735 SOS 27372 HAS SOPS 18048 HAS SOUS 14214 HAS SOUPS 12232 WITH SCORE 12259.372
AT ITER 121 NEW BEST:: SOT 48523 SOS 27238 HAS SOPS 17914 HAS SOUS 14150 HAS SOUPS 12168 WITH SCORE 12195.238
AT ITER 123 NEW BEST:: SOT 48537 SOS 27402 HAS SOPS 18078 HAS SOUS 14107 HAS SOUPS 12125 WITH SCORE 12152.402
AT ITER 124 NEW BEST:: SOT 48147 SOS 27080 HAS SOPS 17847 HAS SOUS 13945 HAS SOUPS 11966 WITH SCORE 11993.08
AT ITER 131 NEW BEST:: SOT 48104 SOS 27050 HAS SOPS 17803 HAS SOUS 13906 HAS SOUPS 11922 WITH SCORE 11949.05
AT ITER 132 NEW BEST:: SOT 48102 SOS 27047 HAS SOPS 17800 HAS SOUS 13904 HAS SOUPS 11920 WITH SCORE 11947.047
AT ITER 133 NEW BEST:: SOT 48041 SOS 27197 HAS SOPS 17950 HAS SOUS 13852 HAS SOUPS 11868 WITH SCORE 11895.197
AT ITER 138 NEW BEST:: SOT 47704 SOS 27020 HAS SOPS 17843 HAS SOUS 13771 HAS SOUPS 11791 WITH SCORE 11818.02
AT ITER 141 NEW BEST:: SOT 47618 SOS 26777 HAS SOPS 17818 HAS SOUS 13698 HAS SOUPS 11737 WITH SCORE 11763.777
AT ITER 147 NEW BEST:: SOT 45960 SOS 27838 HAS SOPS 17353 HAS SOUS 13240 HAS SOUPS 11396 WITH SCORE 11423.838
AT ITER 150 NEW BEST:: SOT 45939 SOS 27857 HAS SOPS 17383 HAS SOUS 13210 HAS SOUPS 11366 WITH SCORE 11393.857
AT ITER 164 NEW BEST:: SOT 44785 SOS 27361 HAS SOPS 16669 HAS SOUS 12530 HAS SOUPS 10610 WITH SCORE 10637.361
AT ITER 167 NEW BEST:: SOT 44826 SOS 27386 HAS SOPS 16694 HAS SOUS 12515 HAS SOUPS 10595 WITH SCORE 10622.386
AT ITER 169 NEW BEST:: SOT 44782 SOS 27368 HAS SOPS 16636 HAS SOUS 12543 HAS SOUPS 10595 WITH SCORE 10622.368
AT ITER 170 NEW BEST:: SOT 44844 SOS 27427 HAS SOPS 16678 HAS SOUS 12537 HAS SOUPS 10585 WITH SCORE 10612.427
AT ITER 173 NEW BEST:: SOT 44890 SOS 27399 HAS SOPS 16650 HAS SOUS 12443 HAS SOUPS 10529 WITH SCORE 10556.399
AT ITER 175 NEW BEST:: SOT 44905 SOS 27432 HAS SOPS 16691 HAS SOUS 12360 HAS SOUPS 10450 WITH SCORE 10477.432
AT ITER 181 NEW BEST:: SOT 44994 SOS 27469 HAS SOPS 16765 HAS SOUS 12333 HAS SOUPS 10423 WITH SCORE 10450.469
AT ITER 189 NEW BEST:: SOT 44996 SOS 27458 HAS SOPS 16769 HAS SOUS 12330 HAS SOUPS 10423 WITH SCORE 10450.458
AT ITER 192 NEW BEST:: SOT 44916 SOS 27459 HAS SOPS 16609 HAS SOUS 12308 HAS SOUPS 10340 WITH SCORE 10367.459
AT ITER 196 NEW BEST:: SOT 44876 SOS 27419 HAS SOPS 16561 HAS SOUS 12268 HAS SOUPS 10300 WITH SCORE 10327.419
AT ITER 198 NEW BEST:: SOT 44868 SOS 27419 HAS SOPS 16560 HAS SOUS 12267 HAS SOUPS 10299 WITH SCORE 10326.419
AT ITER 202 NEW BEST:: SOT 44736 SOS 28243 HAS SOPS 16460 HAS SOUS 12319 HAS SOUPS 10271 WITH SCORE 10299.243
AT ITER 203 NEW BEST:: SOT 44682 SOS 28179 HAS SOPS 16396 HAS SOUS 12285 HAS SOUPS 10237 WITH SCORE 10265.179
AT ITER 205 NEW BEST:: SOT 44393 SOS 27896 HAS SOPS 16146 HAS SOUS 11994 HAS SOUPS 9953 WITH SCORE 9980.896
AT ITER 206 NEW BEST:: SOT 44333 SOS 27844 HAS SOPS 16026 HAS SOUS 12001 HAS SOUPS 9927 WITH SCORE 9954.844
AT ITER 207 NEW BEST:: SOT 44237 SOS 27438 HAS SOPS 15892 HAS SOUS 11879 HAS SOUPS 9825 WITH SCORE 9852.438
AT ITER 213 NEW BEST:: SOT 44241 SOS 27502 HAS SOPS 15903 HAS SOUS 11902 HAS SOUPS 9817 WITH SCORE 9844.502
AT ITER 214 NEW BEST:: SOT 43646 SOS 26907 HAS SOPS 15283 HAS SOUS 11687 HAS SOUPS 9602 WITH SCORE 9628.907
AT ITER 215 NEW BEST:: SOT 43677 SOS 26913 HAS SOPS 15657 HAS SOUS 11661 HAS SOUPS 9576 WITH SCORE 9602.913
AT ITER 217 NEW BEST:: SOT 43673 SOS 26909 HAS SOPS 15653 HAS SOUS 11661 HAS SOUPS 9576 WITH SCORE 9602.909
AT ITER 218 NEW BEST:: SOT 43645 SOS 26886 HAS SOPS 15625 HAS SOUS 11633 HAS SOUPS 9548 WITH SCORE 9574.886
AT ITER 219 NEW BEST:: SOT 43597 SOS 26846 HAS SOPS 15585 HAS SOUS 11593 HAS SOUPS 9508 WITH SCORE 9534.846
AT ITER 228 NEW BEST:: SOT 43150 SOS 26726 HAS SOPS 15115 HAS SOUS 11276 HAS SOUPS 9154 WITH SCORE 9180.726
AT ITER 229 NEW BEST:: SOT 42961 SOS 26613 HAS SOPS 15002 HAS SOUS 11172 HAS SOUPS 9050 WITH SCORE 9076.613
AT ITER 230 NEW BEST:: SOT 42961 SOS 26611 HAS SOPS 15000 HAS SOUS 11170 HAS SOUPS 9048 WITH SCORE 9074.611
AT ITER 236 NEW BEST:: SOT 42786 SOS 26474 HAS SOPS 14863 HAS SOUS 11110 HAS SOUPS 8988 WITH SCORE 9014.474
AT ITER 239 NEW BEST:: SOT 42676 SOS 26399 HAS SOPS 14788 HAS SOUS 11057 HAS SOUPS 8909 WITH SCORE 8935.399
AT ITER 241 NEW BEST:: SOT 42699 SOS 26370 HAS SOPS 14759 HAS SOUS 11028 HAS SOUPS 8880 WITH SCORE 8906.37
AT ITER 250 NEW BEST:: SOT 42651 SOS 26274 HAS SOPS 14711 HAS SOUS 10889 HAS SOUPS 8789 WITH SCORE 8815.274
AT ITER 251 NEW BEST:: SOT 42651 SOS 26244 HAS SOPS 14681 HAS SOUS 10889 HAS SOUPS 8789 WITH SCORE 8815.244
AT ITER 260 NEW BEST:: SOT 42622 SOS 26327 HAS SOPS 14749 HAS SOUS 10828 HAS SOUPS 8728 WITH SCORE 8754.327
AT ITER 264 NEW BEST:: SOT 42621 SOS 26295 HAS SOPS 14717 HAS SOUS 10828 HAS SOUPS 8728 WITH SCORE 8754.295
AT ITER 271 NEW BEST:: SOT 42614 SOS 26267 HAS SOPS 14559 HAS SOUS 10853 HAS SOUPS 8721 WITH SCORE 8747.267
AT ITER 283 NEW BEST:: SOT 42614 SOS 26263 HAS SOPS 14557 HAS SOUS 10844 HAS SOUPS 8714 WITH SCORE 8740.263
AT ITER 289 NEW BEST:: SOT 42601 SOS 26288 HAS SOPS 14582 HAS SOUS 10809 HAS SOUPS 8679 WITH SCORE 8705.288
AT ITER 291 NEW BEST:: SOT 42562 SOS 26142 HAS SOPS 14536 HAS SOUS 10734 HAS SOUPS 8638 WITH SCORE 8664.142
AT ITER 301 NEW BEST:: SOT 42565 SOS 26145 HAS SOPS 14539 HAS SOUS 10733 HAS SOUPS 8637 WITH SCORE 8663.145
AT ITER 302 NEW BEST:: SOT 40646 SOS 24402 HAS SOPS 13566 HAS SOUS 9534 HAS SOUPS 7664 WITH SCORE 7688.402
AT ITER 306 NEW BEST:: SOT 40559 SOS 24306 HAS SOPS 13366 HAS SOUS 9462 HAS SOUPS 7592 WITH SCORE 7616.306
AT ITER 308 NEW BEST:: SOT 40487 SOS 24174 HAS SOPS 13234 HAS SOUS 9405 HAS SOUPS 7535 WITH SCORE 7559.174
AT ITER 309 NEW BEST:: SOT 40484 SOS 24138 HAS SOPS 13198 HAS SOUS 9378 HAS SOUPS 7508 WITH SCORE 7532.138
AT ITER 311 NEW BEST:: SOT 40466 SOS 24104 HAS SOPS 13170 HAS SOUS 9354 HAS SOUPS 7488 WITH SCORE 7512.104
AT ITER 315 NEW BEST:: SOT 40441 SOS 24054 HAS SOPS 13120 HAS SOUS 9320 HAS SOUPS 7454 WITH SCORE 7478.054
AT ITER 317 NEW BEST:: SOT 40461 SOS 23860 HAS SOPS 12926 HAS SOUS 9210 HAS SOUPS 7344 WITH SCORE 7367.86
AT ITER 318 NEW BEST:: SOT 40369 SOS 23768 HAS SOPS 12834 HAS SOUS 9118 HAS SOUPS 7252 WITH SCORE 7275.768
AT ITER 330 NEW BEST:: SOT 40394 SOS 23793 HAS SOPS 12857 HAS SOUS 9114 HAS SOUPS 7248 WITH SCORE 7271.793
AT ITER 336 NEW BEST:: SOT 40402 SOS 23707 HAS SOPS 12771 HAS SOUS 9028 HAS SOUPS 7162 WITH SCORE 7185.707
AT ITER 340 NEW BEST:: SOT 40645 SOS 23950 HAS SOPS 13022 HAS SOUS 8967 HAS SOUPS 7101 WITH SCORE 7124.95
AT ITER 345 NEW BEST:: SOT 40551 SOS 25241 HAS SOPS 12979 HAS SOUS 8953 HAS SOUPS 7087 WITH SCORE 7112.241
AT ITER 349 NEW BEST:: SOT 40468 SOS 25148 HAS SOPS 12969 HAS SOUS 8940 HAS SOUPS 7077 WITH SCORE 7102.148
AT ITER 359 NEW BEST:: SOT 40453 SOS 25133 HAS SOPS 12954 HAS SOUS 8931 HAS SOUPS 7068 WITH SCORE 7093.133
AT ITER 375 NEW BEST:: SOT 40433 SOS 25136 HAS SOPS 12914 HAS SOUS 8870 HAS SOUPS 7029 WITH SCORE 7054.136
AT ITER 378 NEW BEST:: SOT 40402 SOS 25105 HAS SOPS 12906 HAS SOUS 8751 HAS SOUPS 6925 WITH SCORE 6950.105
AT ITER 382 NEW BEST:: SOT 40423 SOS 24547 HAS SOPS 12978 HAS SOUS 8742 HAS SOUPS 6925 WITH SCORE 6949.547
AT ITER 385 NEW BEST:: SOT 40522 SOS 24570 HAS SOPS 12988 HAS SOUS 8730 HAS SOUPS 6901 WITH SCORE 6925.57
AT ITER 389 NEW BEST:: SOT 40560 SOS 24053 HAS SOPS 12988 HAS SOUS 8678 HAS SOUPS 6885 WITH SCORE 6909.053
AT ITER 398 NEW BEST:: SOT 40548 SOS 24025 HAS SOPS 12960 HAS SOUS 8661 HAS SOUPS 6868 WITH SCORE 6892.025
AT ITER 400 NEW BEST:: SOT 40557 SOS 23933 HAS SOPS 12951 HAS SOUS 8648 HAS SOUPS 6862 WITH SCORE 6885.933
AT ITER 405 NEW BEST:: SOT 40555 SOS 23931 HAS SOPS 12949 HAS SOUS 8646 HAS SOUPS 6860 WITH SCORE 6883.931
AT ITER 411 NEW BEST:: SOT 40468 SOS 23844 HAS SOPS 12879 HAS SOUS 8592 HAS SOUPS 6806 WITH SCORE 6829.844
AT ITER 418 NEW BEST:: SOT 39441 SOS 23278 HAS SOPS 12449 HAS SOUS 8400 HAS SOUPS 6731 WITH SCORE 6754.278
AT ITER 436 NEW BEST:: SOT 39439 SOS 23286 HAS SOPS 12445 HAS SOUS 8394 HAS SOUPS 6725 WITH SCORE 6748.286
AT ITER 441 NEW BEST:: SOT 39560 SOS 23369 HAS SOPS 12482 HAS SOUS 8338 HAS SOUPS 6663 WITH SCORE 6686.369
AT ITER 450 NEW BEST:: SOT 39560 SOS 23368 HAS SOPS 12482 HAS SOUS 8337 HAS SOUPS 6662 WITH SCORE 6685.368
AT ITER 467 NEW BEST:: SOT 39443 SOS 24354 HAS SOPS 12460 HAS SOUS 8367 HAS SOUPS 6639 WITH SCORE 6663.354
AT ITER 468 NEW BEST:: SOT 39285 SOS 24240 HAS SOPS 12346 HAS SOUS 8270 HAS SOUPS 6542 WITH SCORE 6566.24
AT ITER 470 NEW BEST:: SOT 39256 SOS 24211 HAS SOPS 12304 HAS SOUS 8228 HAS SOUPS 6500 WITH SCORE 6524.211
AT ITER 475 NEW BEST:: SOT 39255 SOS 24213 HAS SOPS 12306 HAS SOUS 8227 HAS SOUPS 6499 WITH SCORE 6523.213
AT ITER 488 NEW BEST:: SOT 39247 SOS 24205 HAS SOPS 12298 HAS SOUS 8219 HAS SOUPS 6491 WITH SCORE 6515.205
AT ITER 489 NEW BEST:: SOT 39218 SOS 24021 HAS SOPS 11071 HAS SOUS 8182 HAS SOUPS 6222 WITH SCORE 6246.021
AT ITER 495 NEW BEST:: SOT 39148 SOS 23951 HAS SOPS 11015 HAS SOUS 8098 HAS SOUPS 6138 WITH SCORE 6161.951
AT ITER 504 NEW BEST:: SOT 39146 SOS 23947 HAS SOPS 10996 HAS SOUS 8046 HAS SOUPS 6101 WITH SCORE 6124.947
AT ITER 511 NEW BEST:: SOT 39118 SOS 23662 HAS SOPS 10768 HAS SOUS 7853 HAS SOUPS 5908 WITH SCORE 5931.662
AT ITER 522 NEW BEST:: SOT 39117 SOS 23660 HAS SOPS 10766 HAS SOUS 7852 HAS SOUPS 5907 WITH SCORE 5930.66
AT ITER 543 NEW BEST:: SOT 39025 SOS 23547 HAS SOPS 10620 HAS SOUS 7712 HAS SOUPS 5767 WITH SCORE 5790.547
AT ITER 549 NEW BEST:: SOT 39025 SOS 23556 HAS SOPS 10626 HAS SOUS 7706 HAS SOUPS 5761 WITH SCORE 5784.556
AT ITER 560 NEW BEST:: SOT 38931 SOS 23549 HAS SOPS 10562 HAS SOUS 7729 HAS SOUPS 5724 WITH SCORE 5747.549
AT ITER 567 NEW BEST:: SOT 38955 SOS 23603 HAS SOPS 10589 HAS SOUS 7736 HAS SOUPS 5722 WITH SCORE 5745.603
AT ITER 583 NEW BEST:: SOT 39273 SOS 23921 HAS SOPS 10909 HAS SOUS 7724 HAS SOUPS 5712 WITH SCORE 5735.921
AT ITER 591 NEW BEST:: SOT 39273 SOS 23908 HAS SOPS 10896 HAS SOUS 7698 HAS SOUPS 5699 WITH SCORE 5722.908
AT ITER 602 NEW BEST:: SOT 39403 SOS 23866 HAS SOPS 10792 HAS SOUS 7607 HAS SOUPS 5641 WITH SCORE 5664.866
AT ITER 620 NEW BEST:: SOT 39383 SOS 23847 HAS SOPS 10780 HAS SOUS 7594 HAS SOUPS 5628 WITH SCORE 5651.847
AT ITER 626 NEW BEST:: SOT 39347 SOS 23775 HAS SOPS 10691 HAS SOUS 7577 HAS SOUPS 5577 WITH SCORE 5600.775
AT ITER 639 NEW BEST:: SOT 39344 SOS 23769 HAS SOPS 10685 HAS SOUS 7574 HAS SOUPS 5574 WITH SCORE 5597.769
AT ITER 641 NEW BEST:: SOT 39341 SOS 23762 HAS SOPS 10679 HAS SOUS 7571 HAS SOUPS 5570 WITH SCORE 5593.762
AT ITER 648 NEW BEST:: SOT 39344 SOS 23756 HAS SOPS 10673 HAS SOUS 7565 HAS SOUPS 5570 WITH SCORE 5593.756
AT ITER 675 NEW BEST:: SOT 39340 SOS 23752 HAS SOPS 10669 HAS SOUS 7557 HAS SOUPS 5562 WITH SCORE 5585.752
AT ITER 696 NEW BEST:: SOT 39364 SOS 23686 HAS SOPS 10603 HAS SOUS 7541 HAS SOUPS 5546 WITH SCORE 5569.686
AT ITER 707 NEW BEST:: SOT 39361 SOS 23954 HAS SOPS 10587 HAS SOUS 7544 HAS SOUPS 5544 WITH SCORE 5567.954
AT ITER 714 NEW BEST:: SOT 39369 SOS 23958 HAS SOPS 10595 HAS SOUS 7536 HAS SOUPS 5540 WITH SCORE 5563.958
AT ITER 727 NEW BEST:: SOT 39366 SOS 23952 HAS SOPS 10589 HAS SOUS 7534 HAS SOUPS 5538 WITH SCORE 5561.952
AT ITER 741 NEW BEST:: SOT 39357 SOS 23940 HAS SOPS 10580 HAS SOUS 7537 HAS SOUPS 5538 WITH SCORE 5561.94
AT ITER 744 NEW BEST:: SOT 39325 SOS 23884 HAS SOPS 10524 HAS SOUS 7434 HAS SOUPS 5442 WITH SCORE 5465.884
AT ITER 762 NEW BEST:: SOT 39307 SOS 23866 HAS SOPS 10553 HAS SOUS 7371 HAS SOUPS 5388 WITH SCORE 5411.866
AT ITER 780 NEW BEST:: SOT 39338 SOS 23895 HAS SOPS 10606 HAS SOUS 7329 HAS SOUPS 5380 WITH SCORE 5403.895
AT ITER 797 NEW BEST:: SOT 39293 SOS 23865 HAS SOPS 10576 HAS SOUS 7311 HAS SOUPS 5363 WITH SCORE 5386.865
AT ITER 805 NEW BEST:: SOT 39609 SOS 23977 HAS SOPS 10704 HAS SOUS 7330 HAS SOUPS 5350 WITH SCORE 5373.977
AT ITER 831 NEW BEST:: SOT 39572 SOS 23946 HAS SOPS 10679 HAS SOUS 7299 HAS SOUPS 5319 WITH SCORE 5342.946
AT ITER 833 NEW BEST:: SOT 39571 SOS 23929 HAS SOPS 10663 HAS SOUS 7293 HAS SOUPS 5313 WITH SCORE 5336.929
AT ITER 839 NEW BEST:: SOT 39572 SOS 23875 HAS SOPS 10644 HAS SOUS 7273 HAS SOUPS 5300 WITH SCORE 5323.875
AT ITER 845 NEW BEST:: SOT 39568 SOS 23871 HAS SOPS 10636 HAS SOUS 7302 HAS SOUPS 5300 WITH SCORE 5323.871
AT ITER 853 NEW BEST:: SOT 39535 SOS 23905 HAS SOPS 10626 HAS SOUS 7292 HAS SOUPS 5290 WITH SCORE 5313.905
AT ITER 855 NEW BEST:: SOT 39149 SOS 23749 HAS SOPS 10626 HAS SOUS 7258 HAS SOUPS 5290 WITH SCORE 5313.749
AT ITER 856 NEW BEST:: SOT 39145 SOS 23745 HAS SOPS 10606 HAS SOUS 7254 HAS SOUPS 5286 WITH SCORE 5309.745
AT ITER 858 NEW BEST:: SOT 39138 SOS 23738 HAS SOPS 10592 HAS SOUS 7240 HAS SOUPS 5272 WITH SCORE 5295.738
AT ITER 862 NEW BEST:: SOT 39180 SOS 23768 HAS SOPS 10604 HAS SOUS 7240 HAS SOUPS 5270 WITH SCORE 5293.768
AT ITER 866 NEW BEST:: SOT 39225 SOS 23756 HAS SOPS 10592 HAS SOUS 7216 HAS SOUPS 5246 WITH SCORE 5269.756
AT ITER 882 NEW BEST:: SOT 39235 SOS 23743 HAS SOPS 10579 HAS SOUS 7203 HAS SOUPS 5233 WITH SCORE 5256.743
AT ITER 893 NEW BEST:: SOT 39212 SOS 23722 HAS SOPS 10574 HAS SOUS 7199 HAS SOUPS 5231 WITH SCORE 5254.722
AT ITER 900 NEW BEST:: SOT 39217 SOS 23612 HAS SOPS 10481 HAS SOUS 7195 HAS SOUPS 5223 WITH SCORE 5246.612
AT ITER 911 NEW BEST:: SOT 39229 SOS 23624 HAS SOPS 10493 HAS SOUS 7191 HAS SOUPS 5219 WITH SCORE 5242.624
AT ITER 915 NEW BEST:: SOT 39231 SOS 23540 HAS SOPS 10481 HAS SOUS 7162 HAS SOUPS 5206 WITH SCORE 5229.54
AT ITER 917 NEW BEST:: SOT 39227 SOS 23537 HAS SOPS 10478 HAS SOUS 7158 HAS SOUPS 5202 WITH SCORE 5225.537
AT ITER 922 NEW BEST:: SOT 39193 SOS 23510 HAS SOPS 10446 HAS SOUS 7131 HAS SOUPS 5175 WITH SCORE 5198.51
AT ITER 931 NEW BEST:: SOT 39257 SOS 23488 HAS SOPS 10444 HAS SOUS 7123 HAS SOUPS 5160 WITH SCORE 5183.488
AT ITER 940 NEW BEST:: SOT 39270 SOS 23514 HAS SOPS 10452 HAS SOUS 7125 HAS SOUPS 5153 WITH SCORE 5176.514
AT ITER 957 NEW BEST:: SOT 39191 SOS 23486 HAS SOPS 10424 HAS SOUS 7108 HAS SOUPS 5136 WITH SCORE 5159.486
AT ITER 972 NEW BEST:: SOT 39189 SOS 23478 HAS SOPS 10418 HAS SOUS 7102 HAS SOUPS 5130 WITH SCORE 5153.478
AT ITER 975 NEW BEST:: SOT 39121 SOS 23469 HAS SOPS 10410 HAS SOUS 7113 HAS SOUPS 5127 WITH SCORE 5150.469
AT ITER 977 NEW BEST:: SOT 39074 SOS 23475 HAS SOPS 10396 HAS SOUS 7101 HAS SOUPS 5098 WITH SCORE 5121.475
AT ITER 993 NEW BEST:: SOT 39809 SOS 22432 HAS SOPS 10396 HAS SOUS 7110 HAS SOUPS 5088 WITH SCORE 5110.432
AT ITER 1000 NEW BEST:: SOT 39809 SOS 22432 HAS SOPS 10368 HAS SOUS 7082 HAS SOUPS 5060 WITH SCORE 5082.432
AT ITER 1006 NEW BEST:: SOT 39759 SOS 22382 HAS SOPS 10328 HAS SOUS 7043 HAS SOUPS 5030 WITH SCORE 5052.382
AT ITER 1019 NEW BEST:: SOT 39758 SOS 22384 HAS SOPS 10326 HAS SOUS 7043 HAS SOUPS 5029 WITH SCORE 5051.384
AT ITER 1020 NEW BEST:: SOT 39759 SOS 22385 HAS SOPS 10326 HAS SOUS 7043 HAS SOUPS 5028 WITH SCORE 5050.385
AT ITER 1032 NEW BEST:: SOT 39759 SOS 22365 HAS SOPS 10316 HAS SOUS 7033 HAS SOUPS 5018 WITH SCORE 5040.365
AT ITER 1041 NEW BEST:: SOT 39531 SOS 22682 HAS SOPS 10338 HAS SOUS 7013 HAS SOUPS 5016 WITH SCORE 5038.682
AT ITER 1072 NEW BEST:: SOT 39580 SOS 22665 HAS SOPS 10300 HAS SOUS 6996 HAS SOUPS 5010 WITH SCORE 5032.665
AT ITER 1076 NEW BEST:: SOT 39465 SOS 24018 HAS SOPS 10241 HAS SOUS 6986 HAS SOUPS 4960 WITH SCORE 4984.018
AT ITER 1078 NEW BEST:: SOT 39471 SOS 24018 HAS SOPS 10289 HAS SOUS 6975 HAS SOUPS 4954 WITH SCORE 4978.018
AT ITER 1099 NEW BEST:: SOT 39442 SOS 23979 HAS SOPS 10261 HAS SOUS 6956 HAS SOUPS 4946 WITH SCORE 4969.979
AT ITER 1109 NEW BEST:: SOT 39397 SOS 23889 HAS SOPS 10171 HAS SOUS 6957 HAS SOUPS 4924 WITH SCORE 4947.889
AT ITER 1120 NEW BEST:: SOT 39327 SOS 23715 HAS SOPS 10031 HAS SOUS 6934 HAS SOUPS 4868 WITH SCORE 4891.715
AT ITER 1157 NEW BEST:: SOT 39338 SOS 23722 HAS SOPS 10027 HAS SOUS 6930 HAS SOUPS 4864 WITH SCORE 4887.722
AT ITER 1160 NEW BEST:: SOT 39323 SOS 23707 HAS SOPS 10012 HAS SOUS 6927 HAS SOUPS 4861 WITH SCORE 4884.707
AT ITER 1173 NEW BEST:: SOT 39316 SOS 23693 HAS SOPS 9998 HAS SOUS 6864 HAS SOUPS 4819 WITH SCORE 4842.693
AT ITER 1196 NEW BEST:: SOT 39358 SOS 23735 HAS SOPS 9958 HAS SOUS 6832 HAS SOUPS 4779 WITH SCORE 4802.735
AT ITER 1254 NEW BEST:: SOT 39367 SOS 23397 HAS SOPS 9958 HAS SOUS 6822 HAS SOUPS 4779 WITH SCORE 4802.397
AT ITER 1262 NEW BEST:: SOT 39367 SOS 23397 HAS SOPS 9948 HAS SOUS 6824 HAS SOUPS 4777 WITH SCORE 4800.397
AT ITER 1267 NEW BEST:: SOT 39366 SOS 23400 HAS SOPS 9931 HAS SOUS 6818 HAS SOUPS 4771 WITH SCORE 4794.4
AT ITER 1280 NEW BEST:: SOT 39366 SOS 23391 HAS SOPS 9931 HAS SOUS 6818 HAS SOUPS 4771 WITH SCORE 4794.391
AT ITER 1285 NEW BEST:: SOT 39283 SOS 23308 HAS SOPS 9901 HAS SOUS 6788 HAS SOUPS 4741 WITH SCORE 4764.308
AT ITER 1337 NEW BEST:: SOT 39272 SOS 23301 HAS SOPS 9758 HAS SOUS 6790 HAS SOUPS 4714 WITH SCORE 4737.301
AT ITER 1344 NEW BEST:: SOT 39256 SOS 23294 HAS SOPS 9214 HAS SOUS 6787 HAS SOUPS 4594 WITH SCORE 4617.294
AT ITER 1350 NEW BEST:: SOT 39255 SOS 23292 HAS SOPS 9214 HAS SOUS 6787 HAS SOUPS 4594 WITH SCORE 4617.292
AT ITER 1356 NEW BEST:: SOT 39286 SOS 23344 HAS SOPS 9250 HAS SOUS 6778 HAS SOUPS 4570 WITH SCORE 4593.344
AT ITER 1361 NEW BEST:: SOT 39257 SOS 23331 HAS SOPS 9244 HAS SOUS 6765 HAS SOUPS 4570 WITH SCORE 4593.331
AT ITER 1365 NEW BEST:: SOT 38752 SOS 23014 HAS SOPS 9244 HAS SOUS 6648 HAS SOUPS 4570 WITH SCORE 4593.014
AT ITER 1506 NEW BEST:: SOT 38714 SOS 22983 HAS SOPS 9220 HAS SOUS 6642 HAS SOUPS 4564 WITH SCORE 4586.983
AT ITER 1507 NEW BEST:: SOT 38686 SOS 22927 HAS SOPS 9176 HAS SOUS 6620 HAS SOUPS 4542 WITH SCORE 4564.927
AT ITER 1535 NEW BEST:: SOT 38684 SOS 22963 HAS SOPS 9212 HAS SOUS 6634 HAS SOUPS 4536 WITH SCORE 4558.963
AT ITER 1540 NEW BEST:: SOT 38672 SOS 23053 HAS SOPS 9212 HAS SOUS 6639 HAS SOUPS 4535 WITH SCORE 4558.053
AT ITER 1561 NEW BEST:: SOT 38669 SOS 23050 HAS SOPS 9209 HAS SOUS 6639 HAS SOUPS 4534 WITH SCORE 4557.05
AT ITER 1604 NEW BEST:: SOT 38663 SOS 23029 HAS SOPS 9197 HAS SOUS 6643 HAS SOUPS 4529 WITH SCORE 4552.029
AT ITER 1609 NEW BEST:: SOT 38667 SOS 23027 HAS SOPS 9195 HAS SOUS 6632 HAS SOUPS 4523 WITH SCORE 4546.027
AT ITER 1648 NEW BEST:: SOT 38667 SOS 22873 HAS SOPS 9195 HAS SOUS 6626 HAS SOUPS 4523 WITH SCORE 4545.873
AT ITER 1653 NEW BEST:: SOT 38671 SOS 22877 HAS SOPS 9199 HAS SOUS 6598 HAS SOUPS 4495 WITH SCORE 4517.877
AT ITER 1663 NEW BEST:: SOT 38666 SOS 22872 HAS SOPS 9194 HAS SOUS 6597 HAS SOUPS 4494 WITH SCORE 4516.872
AT ITER 1692 NEW BEST:: SOT 38666 SOS 22868 HAS SOPS 9222 HAS SOUS 6587 HAS SOUPS 4484 WITH SCORE 4506.868
AT ITER 1693 NEW BEST:: SOT 38658 SOS 22912 HAS SOPS 9242 HAS SOUS 6590 HAS SOUPS 4481 WITH SCORE 4503.912
AT ITER 1715 NEW BEST:: SOT 38674 SOS 22853 HAS SOPS 9182 HAS SOUS 6567 HAS SOUPS 4458 WITH SCORE 4480.853
AT ITER 1750 NEW BEST:: SOT 38674 SOS 22853 HAS SOPS 9182 HAS SOUS 6566 HAS SOUPS 4457 WITH SCORE 4479.853
AT ITER 1752 NEW BEST:: SOT 38674 SOS 22835 HAS SOPS 9164 HAS SOUS 6557 HAS SOUPS 4457 WITH SCORE 4479.835
AT ITER 1767 NEW BEST:: SOT 38638 SOS 22799 HAS SOPS 9128 HAS SOUS 6539 HAS SOUPS 4439 WITH SCORE 4461.799
AT ITER 1768 NEW BEST:: SOT 38632 SOS 22789 HAS SOPS 9118 HAS SOUS 6529 HAS SOUPS 4429 WITH SCORE 4451.789
AT ITER 1770 NEW BEST:: SOT 38636 SOS 22807 HAS SOPS 9126 HAS SOUS 6514 HAS SOUPS 4424 WITH SCORE 4446.807
AT ITER 1826 NEW BEST:: SOT 38634 SOS 22803 HAS SOPS 9123 HAS SOUS 6512 HAS SOUPS 4422 WITH SCORE 4444.803
AT ITER 1917 NEW BEST:: SOT 38698 SOS 22841 HAS SOPS 9131 HAS SOUS 6470 HAS SOUPS 4410 WITH SCORE 4432.841
AT ITER 1930 NEW BEST:: SOT 38676 SOS 22797 HAS SOPS 9087 HAS SOUS 6432 HAS SOUPS 4372 WITH SCORE 4394.797
AT ITER 1943 NEW BEST:: SOT 38657 SOS 22789 HAS SOPS 9069 HAS SOUS 6425 HAS SOUPS 4365 WITH SCORE 4387.789
AT ITER 1950 NEW BEST:: SOT 38641 SOS 22766 HAS SOPS 9041 HAS SOUS 6410 HAS SOUPS 4341 WITH SCORE 4363.766
AT ITER 1961 NEW BEST:: SOT 38640 SOS 22762 HAS SOPS 9035 HAS SOUS 6406 HAS SOUPS 4337 WITH SCORE 4359.762
AT ITER 1977 NEW BEST:: SOT 38606 SOS 22801 HAS SOPS 9027 HAS SOUS 6404 HAS SOUPS 4333 WITH SCORE 4355.801
AT ITER 2000 NEW BEST:: SOT 38776 SOS 22989 HAS SOPS 9215 HAS SOUS 6401 HAS SOUPS 4330 WITH SCORE 4352.989
AT ITER 2041 NEW BEST:: SOT 38773 SOS 22971 HAS SOPS 9217 HAS SOUS 6395 HAS SOUPS 4328 WITH SCORE 4350.971
AT ITER 2070 NEW BEST:: SOT 38771 SOS 22977 HAS SOPS 9219 HAS SOUS 6395 HAS SOUPS 4327 WITH SCORE 4349.977
AT ITER 2102 NEW BEST:: SOT 38743 SOS 22969 HAS SOPS 9235 HAS SOUS 6386 HAS SOUPS 4315 WITH SCORE 4337.969
AT ITER 2108 NEW BEST:: SOT 38727 SOS 22949 HAS SOPS 9203 HAS SOUS 6370 HAS SOUPS 4299 WITH SCORE 4321.949
AT ITER 2163 NEW BEST:: SOT 38724 SOS 22942 HAS SOPS 9197 HAS SOUS 6368 HAS SOUPS 4296 WITH SCORE 4318.942
AT ITER 2186 NEW BEST:: SOT 38722 SOS 22938 HAS SOPS 9193 HAS SOUS 6364 HAS SOUPS 4292 WITH SCORE 4314.938
AT ITER 2218 NEW BEST:: SOT 38776 SOS 22919 HAS SOPS 9192 HAS SOUS 6339 HAS SOUPS 4286 WITH SCORE 4308.919
AT ITER 2249 NEW BEST:: SOT 38767 SOS 22913 HAS SOPS 9162 HAS SOUS 6333 HAS SOUPS 4277 WITH SCORE 4299.913
AT ITER 2273 NEW BEST:: SOT 38570 SOS 22716 HAS SOPS 8959 HAS SOUS 6332 HAS SOUPS 4276 WITH SCORE 4298.716
AT ITER 2278 NEW BEST:: SOT 38563 SOS 22709 HAS SOPS 8952 HAS SOUS 6329 HAS SOUPS 4273 WITH SCORE 4295.709
AT ITER 2356 NEW BEST:: SOT 38561 SOS 22708 HAS SOPS 8951 HAS SOUS 6329 HAS SOUPS 4270 WITH SCORE 4292.708
AT ITER 2377 NEW BEST:: SOT 38571 SOS 23041 HAS SOPS 8944 HAS SOUS 6334 HAS SOUPS 4266 WITH SCORE 4289.041
AT ITER 2504 NEW BEST:: SOT 38569 SOS 23039 HAS SOPS 8941 HAS SOUS 6333 HAS SOUPS 4265 WITH SCORE 4288.039
AT ITER 2507 NEW BEST:: SOT 38576 SOS 23029 HAS SOPS 8931 HAS SOUS 6335 HAS SOUPS 4261 WITH SCORE 4284.029
AT ITER 2543 NEW BEST:: SOT 38568 SOS 23021 HAS SOPS 8915 HAS SOUS 6323 HAS SOUPS 4249 WITH SCORE 4272.021
AT ITER 2544 NEW BEST:: SOT 38560 SOS 23013 HAS SOPS 8907 HAS SOUS 6315 HAS SOUPS 4241 WITH SCORE 4264.013
AT ITER 2556 NEW BEST:: SOT 38556 SOS 23005 HAS SOPS 8899 HAS SOUS 6313 HAS SOUPS 4239 WITH SCORE 4262.005
AT ITER 2563 NEW BEST:: SOT 38533 SOS 22987 HAS SOPS 8763 HAS SOUS 6309 HAS SOUPS 4207 WITH SCORE 4229.987
AT ITER 2619 NEW BEST:: SOT 38495 SOS 22949 HAS SOPS 8739 HAS SOUS 6285 HAS SOUPS 4183 WITH SCORE 4205.949
AT ITER 2647 NEW BEST:: SOT 38495 SOS 22949 HAS SOPS 8739 HAS SOUS 6273 HAS SOUPS 4171 WITH SCORE 4193.949
AT ITER 2659 NEW BEST:: SOT 38495 SOS 22949 HAS SOPS 8738 HAS SOUS 6273 HAS SOUPS 4170 WITH SCORE 4192.949
AT ITER 2684 NEW BEST:: SOT 38491 SOS 22945 HAS SOPS 8730 HAS SOUS 6265 HAS SOUPS 4162 WITH SCORE 4184.945
AT ITER 2689 NEW BEST:: SOT 38486 SOS 22937 HAS SOPS 8722 HAS SOUS 6258 HAS SOUPS 4155 WITH SCORE 4177.937
AT ITER 2706 NEW BEST:: SOT 38485 SOS 22935 HAS SOPS 8721 HAS SOUS 6257 HAS SOUPS 4154 WITH SCORE 4176.935
AT ITER 2732 NEW BEST:: SOT 38573 SOS 23032 HAS SOPS 8818 HAS SOUS 6246 HAS SOUPS 4143 WITH SCORE 4166.032
AT ITER 2782 NEW BEST:: SOT 38550 SOS 23009 HAS SOPS 8804 HAS SOUS 6241 HAS SOUPS 4143 WITH SCORE 4166.009
AT ITER 2814 NEW BEST:: SOT 38549 SOS 23004 HAS SOPS 8794 HAS SOUS 6241 HAS SOUPS 4136 WITH SCORE 4159.004
AT ITER 2873 NEW BEST:: SOT 38553 SOS 22976 HAS SOPS 8766 HAS SOUS 6241 HAS SOUPS 4136 WITH SCORE 4158.976
AT ITER 2966 NEW BEST:: SOT 38548 SOS 22972 HAS SOPS 8762 HAS SOUS 6237 HAS SOUPS 4129 WITH SCORE 4151.972
AT ITER 3006 NEW BEST:: SOT 38523 SOS 22940 HAS SOPS 8730 HAS SOUS 6211 HAS SOUPS 4103 WITH SCORE 4125.94
AT ITER 3010 NEW BEST:: SOT 38547 SOS 22932 HAS SOPS 8714 HAS SOUS 6208 HAS SOUPS 4103 WITH SCORE 4125.932
AT ITER 3052 NEW BEST:: SOT 38534 SOS 22919 HAS SOPS 8701 HAS SOUS 6199 HAS SOUPS 4094 WITH SCORE 4116.919
AT ITER 3139 NEW BEST:: SOT 38350 SOS 22731 HAS SOPS 8507 HAS SOUS 6190 HAS SOUPS 4079 WITH SCORE 4101.731
AT ITER 3143 NEW BEST:: SOT 38350 SOS 22691 HAS SOPS 8472 HAS SOUS 6190 HAS SOUPS 4079 WITH SCORE 4101.691
AT ITER 3161 NEW BEST:: SOT 38015 SOS 22356 HAS SOPS 8127 HAS SOUS 6148 HAS SOUPS 4037 WITH SCORE 4059.356
AT ITER 3191 NEW BEST:: SOT 38005 SOS 22346 HAS SOPS 8123 HAS SOUS 6138 HAS SOUPS 4033 WITH SCORE 4055.346
AT ITER 3311 NEW BEST:: SOT 38020 SOS 22337 HAS SOPS 8114 HAS SOUS 6129 HAS SOUPS 4024 WITH SCORE 4046.337
AT ITER 3327 NEW BEST:: SOT 38018 SOS 22338 HAS SOPS 8119 HAS SOUS 6131 HAS SOUPS 4023 WITH SCORE 4045.338
AT ITER 3340 NEW BEST:: SOT 38017 SOS 22335 HAS SOPS 8117 HAS SOUS 6132 HAS SOUPS 4023 WITH SCORE 4045.335
AT ITER 3351 NEW BEST:: SOT 37999 SOS 22460 HAS SOPS 8101 HAS SOUS 6129 HAS SOUPS 4015 WITH SCORE 4037.46
AT ITER 3376 NEW BEST:: SOT 37986 SOS 22447 HAS SOPS 8091 HAS SOUS 6125 HAS SOUPS 4011 WITH SCORE 4033.447
AT ITER 3396 NEW BEST:: SOT 37980 SOS 22433 HAS SOPS 8077 HAS SOUS 6119 HAS SOUPS 4005 WITH SCORE 4027.433
AT ITER 3514 NEW BEST:: SOT 37924 SOS 22954 HAS SOPS 8052 HAS SOUS 6117 HAS SOUPS 3994 WITH SCORE 4016.954
AT ITER 3536 NEW BEST:: SOT 37920 SOS 22950 HAS SOPS 7913 HAS SOUS 6115 HAS SOUPS 3960 WITH SCORE 3982.95
AT ITER 3551 NEW BEST:: SOT 37919 SOS 22949 HAS SOPS 7909 HAS SOUS 6115 HAS SOUPS 3959 WITH SCORE 3981.949
AT ITER 3595 NEW BEST:: SOT 37919 SOS 22947 HAS SOPS 7909 HAS SOUS 6115 HAS SOUPS 3959 WITH SCORE 3981.947
AT ITER 3614 NEW BEST:: SOT 37913 SOS 22941 HAS SOPS 7901 HAS SOUS 6109 HAS SOUPS 3953 WITH SCORE 3975.941
AT ITER 3700 NEW BEST:: SOT 37910 SOS 22936 HAS SOPS 7896 HAS SOUS 6107 HAS SOUPS 3951 WITH SCORE 3973.936
AT ITER 3745 NEW BEST:: SOT 37960 SOS 22962 HAS SOPS 7900 HAS SOUS 6075 HAS SOUPS 3942 WITH SCORE 3964.962
AT ITER 3779 NEW BEST:: SOT 37887 SOS 22911 HAS SOPS 7846 HAS SOUS 6068 HAS SOUPS 3935 WITH SCORE 3957.911
AT ITER 3857 NEW BEST:: SOT 37880 SOS 22912 HAS SOPS 7831 HAS SOUS 6064 HAS SOUPS 3926 WITH SCORE 3948.912
AT ITER 3892 NEW BEST:: SOT 37810 SOS 23068 HAS SOPS 7831 HAS SOUS 6095 HAS SOUPS 3917 WITH SCORE 3940.068
AT ITER 3921 NEW BEST:: SOT 37808 SOS 23069 HAS SOPS 7831 HAS SOUS 6095 HAS SOUPS 3916 WITH SCORE 3939.069
AT ITER 3956 NEW BEST:: SOT 37674 SOS 22957 HAS SOPS 7823 HAS SOUS 6075 HAS SOUPS 3911 WITH SCORE 3933.957
AT ITER 3962 NEW BEST:: SOT 37674 SOS 22953 HAS SOPS 7816 HAS SOUS 6075 HAS SOUPS 3910 WITH SCORE 3932.953
AT ITER 3995 NEW BEST:: SOT 37674 SOS 22944 HAS SOPS 7804 HAS SOUS 6066 HAS SOUPS 3898 WITH SCORE 3920.944
AT ITER 4003 NEW BEST:: SOT 37688 SOS 22948 HAS SOPS 7796 HAS SOUS 6065 HAS SOUPS 3897 WITH SCORE 3919.948
AT ITER 4040 NEW BEST:: SOT 37690 SOS 22944 HAS SOPS 7792 HAS SOUS 6065 HAS SOUPS 3897 WITH SCORE 3919.944
AT ITER 4072 NEW BEST:: SOT 37687 SOS 22941 HAS SOPS 7789 HAS SOUS 6062 HAS SOUPS 3894 WITH SCORE 3916.941
AT ITER 4137 NEW BEST:: SOT 37686 SOS 22939 HAS SOPS 7787 HAS SOUS 6062 HAS SOUPS 3894 WITH SCORE 3916.939
AT ITER 4159 NEW BEST:: SOT 37684 SOS 22941 HAS SOPS 7765 HAS SOUS 6061 HAS SOUPS 3893 WITH SCORE 3915.941
AT ITER 4229 NEW BEST:: SOT 37689 SOS 22936 HAS SOPS 7765 HAS SOUS 6051 HAS SOUPS 3888 WITH SCORE 3910.936
AT ITER 4298 NEW BEST:: SOT 37689 SOS 22936 HAS SOPS 7765 HAS SOUS 6049 HAS SOUPS 3886 WITH SCORE 3908.936
AT ITER 4301 NEW BEST:: SOT 37689 SOS 22936 HAS SOPS 7765 HAS SOUS 6048 HAS SOUPS 3885 WITH SCORE 3907.936
AT ITER 4349 NEW BEST:: SOT 37688 SOS 22936 HAS SOPS 7763 HAS SOUS 6045 HAS SOUPS 3884 WITH SCORE 3906.936
AT ITER 4364 NEW BEST:: SOT 37682 SOS 22930 HAS SOPS 7751 HAS SOUS 6034 HAS SOUPS 3872 WITH SCORE 3894.93
AT ITER 4391 NEW BEST:: SOT 37676 SOS 22924 HAS SOPS 7573 HAS SOUS 6034 HAS SOUPS 3860 WITH SCORE 3882.924
AT ITER 4409 NEW BEST:: SOT 37675 SOS 22926 HAS SOPS 7575 HAS SOUS 6033 HAS SOUPS 3859 WITH SCORE 3881.926
AT ITER 4430 NEW BEST:: SOT 37547 SOS 22778 HAS SOPS 7431 HAS SOUS 6004 HAS SOUPS 3830 WITH SCORE 3852.778
AT ITER 4465 NEW BEST:: SOT 37552 SOS 22773 HAS SOPS 7426 HAS SOUS 6004 HAS SOUPS 3830 WITH SCORE 3852.773
AT ITER 4494 NEW BEST:: SOT 37508 SOS 22893 HAS SOPS 7422 HAS SOUS 6002 HAS SOUPS 3825 WITH SCORE 3847.893
AT ITER 4681 NEW BEST:: SOT 37506 SOS 22889 HAS SOPS 7420 HAS SOUS 6000 HAS SOUPS 3823 WITH SCORE 3845.889
AT ITER 4766 NEW BEST:: SOT 37499 SOS 22875 HAS SOPS 7406 HAS SOUS 6009 HAS SOUPS 3823 WITH SCORE 3845.875
AT ITER 4874 NEW BEST:: SOT 37500 SOS 22860 HAS SOPS 7391 HAS SOUS 6001 HAS SOUPS 3815 WITH SCORE 3837.86
AT ITER 4919 NEW BEST:: SOT 37499 SOS 22859 HAS SOPS 7389 HAS SOUS 5999 HAS SOUPS 3813 WITH SCORE 3835.859
AT ITER 4941 NEW BEST:: SOT 37489 SOS 22854 HAS SOPS 7384 HAS SOUS 6004 HAS SOUPS 3813 WITH SCORE 3835.854
AT ITER 4992 NEW BEST:: SOT 37486 SOS 22856 HAS SOPS 7384 HAS SOUS 6003 HAS SOUPS 3812 WITH SCORE 3834.856
AT ITER 5097 NEW BEST:: SOT 37487 SOS 22857 HAS SOPS 7386 HAS SOUS 6004 HAS SOUPS 3805 WITH SCORE 3827.857
AT ITER 5153 NEW BEST:: SOT 37480 SOS 22849 HAS SOPS 7362 HAS SOUS 5995 HAS SOUPS 3796 WITH SCORE 3818.849
AT ITER 5172 NEW BEST:: SOT 37474 SOS 22850 HAS SOPS 7356 HAS SOUS 5989 HAS SOUPS 3790 WITH SCORE 3812.85
AT ITER 5190 NEW BEST:: SOT 37478 SOS 22839 HAS SOPS 7349 HAS SOUS 5981 HAS SOUPS 3783 WITH SCORE 3805.839
AT ITER 5303 NEW BEST:: SOT 37479 SOS 22849 HAS SOPS 7347 HAS SOUS 5980 HAS SOUPS 3782 WITH SCORE 3804.849
AT ITER 5363 NEW BEST:: SOT 37482 SOS 22835 HAS SOPS 7317 HAS SOUS 5981 HAS SOUPS 3778 WITH SCORE 3800.835
AT ITER 5406 NEW BEST:: SOT 37511 SOS 22858 HAS SOPS 7339 HAS SOUS 5978 HAS SOUPS 3770 WITH SCORE 3792.858
AT ITER 5452 NEW BEST:: SOT 37509 SOS 22851 HAS SOPS 7329 HAS SOUS 5982 HAS SOUPS 3768 WITH SCORE 3790.851
AT ITER 5465 NEW BEST:: SOT 37512 SOS 22853 HAS SOPS 7331 HAS SOUS 5983 HAS SOUPS 3767 WITH SCORE 3789.853
AT ITER 5471 NEW BEST:: SOT 37522 SOS 22845 HAS SOPS 7331 HAS SOUS 5983 HAS SOUPS 3767 WITH SCORE 3789.845
AT ITER 5670 NEW BEST:: SOT 37522 SOS 22844 HAS SOPS 7330 HAS SOUS 5983 HAS SOUPS 3767 WITH SCORE 3789.844
AT ITER 5741 NEW BEST:: SOT 37520 SOS 22842 HAS SOPS 7330 HAS SOUS 5984 HAS SOUPS 3767 WITH SCORE 3789.842
AT ITER 5799 NEW BEST:: SOT 37520 SOS 22839 HAS SOPS 7332 HAS SOUS 5983 HAS SOUPS 3767 WITH SCORE 3789.839
AT ITER 5920 NEW BEST:: SOT 37537 SOS 22810 HAS SOPS 7324 HAS SOUS 5977 HAS SOUPS 3761 WITH SCORE 3783.81
AT ITER 5931 NEW BEST:: SOT 37544 SOS 22671 HAS SOPS 7323 HAS SOUS 5974 HAS SOUPS 3760 WITH SCORE 3782.671
AT ITER 5953 NEW BEST:: SOT 37543 SOS 22670 HAS SOPS 7321 HAS SOUS 5974 HAS SOUPS 3759 WITH SCORE 3781.67
AT ITER 5954 NEW BEST:: SOT 37538 SOS 22666 HAS SOPS 7314 HAS SOUS 5966 HAS SOUPS 3751 WITH SCORE 3773.666
AT ITER 5973 NEW BEST:: SOT 37584 SOS 22509 HAS SOPS 7319 HAS SOUS 5933 HAS SOUPS 3746 WITH SCORE 3768.509
AT ITER 6081 NEW BEST:: SOT 37532 SOS 22526 HAS SOPS 7325 HAS SOUS 5932 HAS SOUPS 3744 WITH SCORE 3766.526
AT ITER 6099 NEW BEST:: SOT 37520 SOS 22478 HAS SOPS 7313 HAS SOUS 5926 HAS SOUPS 3738 WITH SCORE 3760.478
AT ITER 6138 NEW BEST:: SOT 37512 SOS 22460 HAS SOPS 7300 HAS SOUS 5918 HAS SOUPS 3730 WITH SCORE 3752.46
AT ITER 6150 NEW BEST:: SOT 37485 SOS 22454 HAS SOPS 7289 HAS SOUS 5923 HAS SOUPS 3730 WITH SCORE 3752.454
AT ITER 6201 NEW BEST:: SOT 37461 SOS 22424 HAS SOPS 7265 HAS SOUS 5895 HAS SOUPS 3702 WITH SCORE 3724.424
AT ITER 6224 NEW BEST:: SOT 37455 SOS 22412 HAS SOPS 7258 HAS SOUS 5881 HAS SOUPS 3693 WITH SCORE 3715.412
AT ITER 6238 NEW BEST:: SOT 37421 SOS 22403 HAS SOPS 7263 HAS SOUS 5875 HAS SOUPS 3681 WITH SCORE 3703.403
AT ITER 6275 NEW BEST:: SOT 37423 SOS 22401 HAS SOPS 7263 HAS SOUS 5875 HAS SOUPS 3681 WITH SCORE 3703.401
AT ITER 6376 NEW BEST:: SOT 37421 SOS 22399 HAS SOPS 7261 HAS SOUS 5873 HAS SOUPS 3680 WITH SCORE 3702.399
AT ITER 6384 NEW BEST:: SOT 37427 SOS 22393 HAS SOPS 7261 HAS SOUS 5873 HAS SOUPS 3680 WITH SCORE 3702.393
AT ITER 6395 NEW BEST:: SOT 37431 SOS 22389 HAS SOPS 7261 HAS SOUS 5873 HAS SOUPS 3680 WITH SCORE 3702.389
AT ITER 6406 NEW BEST:: SOT 37432 SOS 22387 HAS SOPS 7257 HAS SOUS 5871 HAS SOUPS 3678 WITH SCORE 3700.387
AT ITER 6508 NEW BEST:: SOT 37431 SOS 22385 HAS SOPS 7255 HAS SOUS 5870 HAS SOUPS 3676 WITH SCORE 3698.385
AT ITER 6547 NEW BEST:: SOT 37431 SOS 22381 HAS SOPS 7267 HAS SOUS 5868 HAS SOUPS 3674 WITH SCORE 3696.381
AT ITER 6634 NEW BEST:: SOT 37417 SOS 22367 HAS SOPS 7260 HAS SOUS 5847 HAS SOUPS 3660 WITH SCORE 3682.367
AT ITER 6641 NEW BEST:: SOT 37412 SOS 22361 HAS SOPS 7250 HAS SOUS 5840 HAS SOUPS 3653 WITH SCORE 3675.361
AT ITER 6708 NEW BEST:: SOT 37399 SOS 22351 HAS SOPS 7240 HAS SOUS 5833 HAS SOUPS 3646 WITH SCORE 3668.351
AT ITER 6739 NEW BEST:: SOT 37395 SOS 22353 HAS SOPS 7242 HAS SOUS 5830 HAS SOUPS 3638 WITH SCORE 3660.353
AT ITER 6741 NEW BEST:: SOT 37388 SOS 22347 HAS SOPS 7233 HAS SOUS 5824 HAS SOUPS 3630 WITH SCORE 3652.347
AT ITER 6773 NEW BEST:: SOT 37396 SOS 22345 HAS SOPS 7233 HAS SOUS 5822 HAS SOUPS 3628 WITH SCORE 3650.345
AT ITER 6804 NEW BEST:: SOT 37393 SOS 22342 HAS SOPS 7224 HAS SOUS 5821 HAS SOUPS 3625 WITH SCORE 3647.342
AT ITER 6825 NEW BEST:: SOT 37394 SOS 22349 HAS SOPS 7226 HAS SOUS 5811 HAS SOUPS 3620 WITH SCORE 3642.349
AT ITER 6879 NEW BEST:: SOT 37378 SOS 22385 HAS SOPS 7203 HAS SOUS 5815 HAS SOUPS 3618 WITH SCORE 3640.385
AT ITER 6971 NEW BEST:: SOT 37360 SOS 22370 HAS SOPS 7191 HAS SOUS 5812 HAS SOUPS 3618 WITH SCORE 3640.37
AT ITER 7077 NEW BEST:: SOT 37354 SOS 22372 HAS SOPS 7189 HAS SOUS 5799 HAS SOUPS 3613 WITH SCORE 3635.372
AT ITER 7133 NEW BEST:: SOT 37146 SOS 22460 HAS SOPS 7149 HAS SOUS 5876 HAS SOUPS 3612 WITH SCORE 3634.46
AT ITER 7134 NEW BEST:: SOT 37210 SOS 22531 HAS SOPS 7218 HAS SOUS 5871 HAS SOUPS 3607 WITH SCORE 3629.531
AT ITER 7327 NEW BEST:: SOT 37209 SOS 22530 HAS SOPS 7216 HAS SOUS 5869 HAS SOUPS 3605 WITH SCORE 3627.53
AT ITER 7422 NEW BEST:: SOT 37182 SOS 22512 HAS SOPS 7194 HAS SOUS 5868 HAS SOUPS 3604 WITH SCORE 3626.512
AT ITER 7502 NEW BEST:: SOT 37179 SOS 22532 HAS SOPS 7201 HAS SOUS 5865 HAS SOUPS 3601 WITH SCORE 3623.532
AT ITER 7514 NEW BEST:: SOT 37174 SOS 22522 HAS SOPS 7191 HAS SOUS 5855 HAS SOUPS 3591 WITH SCORE 3613.522
AT ITER 7550 NEW BEST:: SOT 37184 SOS 22519 HAS SOPS 7188 HAS SOUS 5854 HAS SOUPS 3590 WITH SCORE 3612.519
AT ITER 7652 NEW BEST:: SOT 37182 SOS 22513 HAS SOPS 7184 HAS SOUS 5854 HAS SOUPS 3588 WITH SCORE 3610.513
AT ITER 7717 NEW BEST:: SOT 37186 SOS 22537 HAS SOPS 7192 HAS SOUS 5853 HAS SOUPS 3587 WITH SCORE 3609.537
AT ITER 7747 NEW BEST:: SOT 37184 SOS 22533 HAS SOPS 7189 HAS SOUS 5851 HAS SOUPS 3585 WITH SCORE 3607.533
AT ITER 7768 NEW BEST:: SOT 37178 SOS 22521 HAS SOPS 7177 HAS SOUS 5848 HAS SOUPS 3582 WITH SCORE 3604.521
AT ITER 7839 NEW BEST:: SOT 37186 SOS 22532 HAS SOPS 7183 HAS SOUS 5840 HAS SOUPS 3579 WITH SCORE 3601.532
AT ITER 7889 NEW BEST:: SOT 37189 SOS 22491 HAS SOPS 7183 HAS SOUS 5841 HAS SOUPS 3579 WITH SCORE 3601.491
AT ITER 7961 NEW BEST:: SOT 37187 SOS 22487 HAS SOPS 7179 HAS SOUS 5835 HAS SOUPS 3575 WITH SCORE 3597.487
AT ITER 8002 NEW BEST:: SOT 37186 SOS 22481 HAS SOPS 7177 HAS SOUS 5834 HAS SOUPS 3574 WITH SCORE 3596.481
AT ITER 8067 NEW BEST:: SOT 37185 SOS 22470 HAS SOPS 7181 HAS SOUS 5831 HAS SOUPS 3574 WITH SCORE 3596.47
AT ITER 8082 NEW BEST:: SOT 37164 SOS 22456 HAS SOPS 7126 HAS SOUS 5835 HAS SOUPS 3569 WITH SCORE 3591.456
AT ITER 8085 NEW BEST:: SOT 37163 SOS 22456 HAS SOPS 7126 HAS SOUS 5835 HAS SOUPS 3568 WITH SCORE 3590.456
AT ITER 8122 NEW BEST:: SOT 37160 SOS 22447 HAS SOPS 7125 HAS SOUS 5834 HAS SOUPS 3567 WITH SCORE 3589.447
AT ITER 8353 NEW BEST:: SOT 37162 SOS 22451 HAS SOPS 6994 HAS SOUS 5837 HAS SOUPS 3539 WITH SCORE 3561.451
AT ITER 8399 NEW BEST:: SOT 37159 SOS 22449 HAS SOPS 6992 HAS SOUS 5836 HAS SOUPS 3538 WITH SCORE 3560.449
AT ITER 8407 NEW BEST:: SOT 37159 SOS 22446 HAS SOPS 6989 HAS SOUS 5833 HAS SOUPS 3536 WITH SCORE 3558.446
AT ITER 8604 NEW BEST:: SOT 37158 SOS 22443 HAS SOPS 6987 HAS SOUS 5833 HAS SOUPS 3535 WITH SCORE 3557.443
AT ITER 8748 NEW BEST:: SOT 37149 SOS 22431 HAS SOPS 6978 HAS SOUS 5833 HAS SOUPS 3532 WITH SCORE 3554.431
AT ITER 8768 NEW BEST:: SOT 37147 SOS 22427 HAS SOPS 6976 HAS SOUS 5831 HAS SOUPS 3530 WITH SCORE 3552.427
AT ITER 8810 NEW BEST:: SOT 37140 SOS 22423 HAS SOPS 6972 HAS SOUS 5827 HAS SOUPS 3526 WITH SCORE 3548.423
AT ITER 8837 NEW BEST:: SOT 37137 SOS 22408 HAS SOPS 6972 HAS SOUS 5824 HAS SOUPS 3526 WITH SCORE 3548.408
AT ITER 8972 NEW BEST:: SOT 37108 SOS 22386 HAS SOPS 6950 HAS SOUS 5811 HAS SOUPS 3513 WITH SCORE 3535.386
AT ITER 8984 NEW BEST:: SOT 37107 SOS 22383 HAS SOPS 6948 HAS SOUS 5812 HAS SOUPS 3513 WITH SCORE 3535.383
AT ITER 8996 NEW BEST:: SOT 37105 SOS 22379 HAS SOPS 6948 HAS SOUS 5812 HAS SOUPS 3513 WITH SCORE 3535.379
AT ITER 9012 NEW BEST:: SOT 37099 SOS 22373 HAS SOPS 6939 HAS SOUS 5805 HAS SOUPS 3504 WITH SCORE 3526.373
AT ITER 9296 NEW BEST:: SOT 37097 SOS 22371 HAS SOPS 6939 HAS SOUS 5803 HAS SOUPS 3504 WITH SCORE 3526.371
AT ITER 9507 NEW BEST:: SOT 37042 SOS 22321 HAS SOPS 6940 HAS SOUS 5788 HAS SOUPS 3504 WITH SCORE 3526.321
AT ITER 9605 NEW BEST:: SOT 37047 SOS 22319 HAS SOPS 6938 HAS SOUS 5783 HAS SOUPS 3501 WITH SCORE 3523.319
AT ITER 9610 NEW BEST:: SOT 37046 SOS 22318 HAS SOPS 6934 HAS SOUS 5783 HAS SOUPS 3500 WITH SCORE 3522.318
AT ITER 9648 NEW BEST:: SOT 37042 SOS 22314 HAS SOPS 6930 HAS SOUS 5779 HAS SOUPS 3496 WITH SCORE 3518.314
AT ITER 9816 NEW BEST:: SOT 37037 SOS 22304 HAS SOPS 6925 HAS SOUS 5774 HAS SOUPS 3491 WITH SCORE 3513.304
AT ITER 9824 NEW BEST:: SOT 36981 SOS 22294 HAS SOPS 6921 HAS SOUS 5772 HAS SOUPS 3475 WITH SCORE 3497.294
AT ITER 9852 NEW BEST:: SOT 36984 SOS 22291 HAS SOPS 6921 HAS SOUS 5772 HAS SOUPS 3475 WITH SCORE 3497.291
AT ITER 9884 NEW BEST:: SOT 36984 SOS 22289 HAS SOPS 6920 HAS SOUS 5771 HAS SOUPS 3475 WITH SCORE 3497.289
AT ITER 9987 NEW BEST:: SOT 36966 SOS 22280 HAS SOPS 6911 HAS SOUS 5780 HAS SOUPS 3475 WITH SCORE 3497.28
STATE_SPACE STATES 7091029 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 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 508602470 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678345077404

--------------------
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="CloudDeployment-PT-4a"
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 CloudDeployment-PT-4a, 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 r075-smll-167814401000400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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