Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910500632.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SimpleLoadBal-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910500632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.6K Apr 12 17:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 17:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 20:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 20:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 30 14:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 30 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 10 20:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 20:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 24 05:38 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 1589747774880

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

Filename model.pnml
Petri model created: 194 places, 2205 transitions, 15678 arcs.
AT ITER 0 NEW BEST:: SOT 413187 SOS 262429 HAS SOPS 250665 HAS SOUS 169355 HAS SOUPS 169025 WITH SCORE 169287.429
AT ITER 7 NEW BEST:: SOT 413137 SOS 262341 HAS SOPS 250573 HAS SOUS 169331 HAS SOUPS 168999 WITH SCORE 169261.341
AT ITER 9 NEW BEST:: SOT 413231 SOS 262561 HAS SOPS 250793 HAS SOUS 169313 HAS SOUPS 168981 WITH SCORE 169243.561
AT ITER 13 NEW BEST:: SOT 413203 SOS 262505 HAS SOPS 250737 HAS SOUS 169017 HAS SOUPS 168685 WITH SCORE 168947.505
AT ITER 14 NEW BEST:: SOT 413186 SOS 262471 HAS SOPS 250703 HAS SOUS 168983 HAS SOUPS 168651 WITH SCORE 168913.471
AT ITER 18 NEW BEST:: SOT 413122 SOS 262443 HAS SOPS 250634 HAS SOUS 168951 HAS SOUPS 168617 WITH SCORE 168879.443
AT ITER 22 NEW BEST:: SOT 413083 SOS 262391 HAS SOPS 250582 HAS SOUS 168899 HAS SOUPS 168565 WITH SCORE 168827.391
AT ITER 23 NEW BEST:: SOT 413016 SOS 262365 HAS SOPS 250515 HAS SOUS 168867 HAS SOUPS 168532 WITH SCORE 168794.365
AT ITER 25 NEW BEST:: SOT 413016 SOS 262365 HAS SOPS 250515 HAS SOUS 168767 HAS SOUPS 168432 WITH SCORE 168694.365
AT ITER 26 NEW BEST:: SOT 413001 SOS 262362 HAS SOPS 250512 HAS SOUS 168672 HAS SOUPS 168337 WITH SCORE 168599.362
AT ITER 33 NEW BEST:: SOT 413001 SOS 262381 HAS SOPS 250531 HAS SOUS 167981 HAS SOUPS 167646 WITH SCORE 167908.381
AT ITER 41 NEW BEST:: SOT 412986 SOS 262351 HAS SOPS 250501 HAS SOUS 167651 HAS SOUPS 167316 WITH SCORE 167578.351
AT ITER 46 NEW BEST:: SOT 412992 SOS 262363 HAS SOPS 250513 HAS SOUS 167315 HAS SOUPS 166980 WITH SCORE 167242.363
AT ITER 48 NEW BEST:: SOT 412965 SOS 262309 HAS SOPS 250459 HAS SOUS 166901 HAS SOUPS 166566 WITH SCORE 166828.309
AT ITER 49 NEW BEST:: SOT 412962 SOS 263927 HAS SOPS 252606 HAS SOUS 166766 HAS SOUPS 166431 WITH SCORE 166694.927
AT ITER 53 NEW BEST:: SOT 413003 SOS 263968 HAS SOPS 252647 HAS SOUS 164447 HAS SOUPS 164112 WITH SCORE 164375.968
AT ITER 55 NEW BEST:: SOT 412963 SOS 263928 HAS SOPS 252607 HAS SOUS 162007 HAS SOUPS 161672 WITH SCORE 161935.928
AT ITER 65 NEW BEST:: SOT 412924 SOS 263889 HAS SOPS 252568 HAS SOUS 161568 HAS SOUPS 161233 WITH SCORE 161496.889
AT ITER 69 NEW BEST:: SOT 412908 SOS 263883 HAS SOPS 252562 HAS SOUS 161472 HAS SOUPS 161137 WITH SCORE 161400.883
AT ITER 73 NEW BEST:: SOT 412908 SOS 263883 HAS SOPS 252562 HAS SOUS 161438 HAS SOUPS 161103 WITH SCORE 161366.883
AT ITER 76 NEW BEST:: SOT 412839 SOS 263203 HAS SOPS 252541 HAS SOUS 161380 HAS SOUPS 161062 WITH SCORE 161325.203
AT ITER 79 NEW BEST:: SOT 412869 SOS 263233 HAS SOPS 252571 HAS SOUS 159090 HAS SOUPS 158772 WITH SCORE 159035.233
AT ITER 85 NEW BEST:: SOT 412848 SOS 263225 HAS SOPS 252563 HAS SOUS 159082 HAS SOUPS 158764 WITH SCORE 159027.225
AT ITER 87 NEW BEST:: SOT 412848 SOS 263212 HAS SOPS 252550 HAS SOUS 159069 HAS SOUPS 158751 WITH SCORE 159014.212
AT ITER 94 NEW BEST:: SOT 412807 SOS 263186 HAS SOPS 252524 HAS SOUS 159043 HAS SOUPS 158725 WITH SCORE 158988.186
AT ITER 95 NEW BEST:: SOT 412792 SOS 263214 HAS SOPS 252552 HAS SOUS 157285 HAS SOUPS 156967 WITH SCORE 157230.214
AT ITER 99 NEW BEST:: SOT 412775 SOS 263197 HAS SOPS 252535 HAS SOUS 156248 HAS SOUPS 155930 WITH SCORE 156193.197
AT ITER 103 NEW BEST:: SOT 412775 SOS 263197 HAS SOPS 252535 HAS SOUS 155808 HAS SOUPS 155490 WITH SCORE 155753.197
AT ITER 111 NEW BEST:: SOT 412736 SOS 263152 HAS SOPS 252450 HAS SOUS 155793 HAS SOUPS 155473 WITH SCORE 155736.152
AT ITER 115 NEW BEST:: SOT 412736 SOS 263151 HAS SOPS 252449 HAS SOUS 155792 HAS SOUPS 155472 WITH SCORE 155735.151
AT ITER 122 NEW BEST:: SOT 412737 SOS 263201 HAS SOPS 252499 HAS SOUS 154562 HAS SOUPS 154242 WITH SCORE 154505.201
AT ITER 124 NEW BEST:: SOT 412710 SOS 263235 HAS SOPS 252533 HAS SOUS 154436 HAS SOUPS 154116 WITH SCORE 154379.235
AT ITER 125 NEW BEST:: SOT 412783 SOS 263416 HAS SOPS 252714 HAS SOUS 154347 HAS SOUPS 154027 WITH SCORE 154290.416
AT ITER 129 NEW BEST:: SOT 412783 SOS 263416 HAS SOPS 252714 HAS SOUS 154271 HAS SOUPS 153951 WITH SCORE 154214.416
AT ITER 130 NEW BEST:: SOT 412783 SOS 263416 HAS SOPS 252714 HAS SOUS 154191 HAS SOUPS 153871 WITH SCORE 154134.416
AT ITER 132 NEW BEST:: SOT 412783 SOS 263416 HAS SOPS 252714 HAS SOUS 153621 HAS SOUPS 153301 WITH SCORE 153564.416
AT ITER 136 NEW BEST:: SOT 412767 SOS 263400 HAS SOPS 252698 HAS SOUS 153325 HAS SOUPS 153005 WITH SCORE 153268.4
AT ITER 146 NEW BEST:: SOT 412767 SOS 263400 HAS SOPS 252698 HAS SOUS 151531 HAS SOUPS 151211 WITH SCORE 151474.4
AT ITER 147 NEW BEST:: SOT 412767 SOS 263426 HAS SOPS 252724 HAS SOUS 149591 HAS SOUPS 149271 WITH SCORE 149534.426
AT ITER 149 NEW BEST:: SOT 412709 SOS 263323 HAS SOPS 252621 HAS SOUS 149520 HAS SOUPS 149200 WITH SCORE 149463.323
AT ITER 150 NEW BEST:: SOT 412709 SOS 263323 HAS SOPS 252621 HAS SOUS 149500 HAS SOUPS 149180 WITH SCORE 149443.323
AT ITER 156 NEW BEST:: SOT 413102 SOS 263833 HAS SOPS 253131 HAS SOUS 147650 HAS SOUPS 147330 WITH SCORE 147593.833
AT ITER 167 NEW BEST:: SOT 413068 SOS 263811 HAS SOPS 253109 HAS SOUS 147623 HAS SOUPS 147303 WITH SCORE 147566.811
AT ITER 174 NEW BEST:: SOT 413043 SOS 263786 HAS SOPS 253084 HAS SOUS 146814 HAS SOUPS 146494 WITH SCORE 146757.786
AT ITER 175 NEW BEST:: SOT 413042 SOS 263784 HAS SOPS 253082 HAS SOUS 146812 HAS SOUPS 146492 WITH SCORE 146755.784
AT ITER 180 NEW BEST:: SOT 413023 SOS 263746 HAS SOPS 253044 HAS SOUS 146774 HAS SOUPS 146454 WITH SCORE 146717.746
AT ITER 194 NEW BEST:: SOT 412964 SOS 263773 HAS SOPS 251765 HAS SOUS 146633 HAS SOUPS 146155 WITH SCORE 146418.773
AT ITER 195 NEW BEST:: SOT 412964 SOS 263805 HAS SOPS 251797 HAS SOUS 146631 HAS SOUPS 146153 WITH SCORE 146416.805
AT ITER 204 NEW BEST:: SOT 412964 SOS 263827 HAS SOPS 251819 HAS SOUS 146591 HAS SOUPS 146113 WITH SCORE 146376.827
AT ITER 207 NEW BEST:: SOT 412041 SOS 262883 HAS SOPS 250875 HAS SOUS 145647 HAS SOUPS 145169 WITH SCORE 145431.883
AT ITER 211 NEW BEST:: SOT 411969 SOS 262204 HAS SOPS 250855 HAS SOUS 145560 HAS SOUPS 145099 WITH SCORE 145361.204
AT ITER 214 NEW BEST:: SOT 411903 SOS 262138 HAS SOPS 250789 HAS SOUS 144126 HAS SOUPS 143665 WITH SCORE 143927.138
AT ITER 218 NEW BEST:: SOT 411795 SOS 262030 HAS SOPS 250681 HAS SOUS 143670 HAS SOUPS 143209 WITH SCORE 143471.03
AT ITER 221 NEW BEST:: SOT 411778 SOS 262013 HAS SOPS 250664 HAS SOUS 143313 HAS SOUPS 142852 WITH SCORE 143114.013
AT ITER 227 NEW BEST:: SOT 411778 SOS 262030 HAS SOPS 250681 HAS SOUS 143292 HAS SOUPS 142831 WITH SCORE 143093.03
AT ITER 235 NEW BEST:: SOT 411726 SOS 261978 HAS SOPS 250621 HAS SOUS 142190 HAS SOUPS 141729 WITH SCORE 141990.978
AT ITER 259 NEW BEST:: SOT 412286 SOS 255939 HAS SOPS 241489 HAS SOUS 139686 HAS SOUPS 136886 WITH SCORE 137141.939
AT ITER 270 NEW BEST:: SOT 412283 SOS 255936 HAS SOPS 241486 HAS SOUS 139683 HAS SOUPS 136883 WITH SCORE 137138.936
AT ITER 273 NEW BEST:: SOT 412283 SOS 255937 HAS SOPS 241487 HAS SOUS 139682 HAS SOUPS 136882 WITH SCORE 137137.937
AT ITER 278 NEW BEST:: SOT 412283 SOS 256619 HAS SOPS 242169 HAS SOUS 139680 HAS SOUPS 136880 WITH SCORE 137136.619
AT ITER 279 NEW BEST:: SOT 412283 SOS 256619 HAS SOPS 242169 HAS SOUS 139650 HAS SOUPS 136850 WITH SCORE 137106.619
AT ITER 289 NEW BEST:: SOT 412303 SOS 256715 HAS SOPS 242265 HAS SOUS 139612 HAS SOUPS 136812 WITH SCORE 137068.715
AT ITER 293 NEW BEST:: SOT 412296 SOS 256708 HAS SOPS 242258 HAS SOUS 139445 HAS SOUPS 136645 WITH SCORE 136901.708
AT ITER 301 NEW BEST:: SOT 412259 SOS 256658 HAS SOPS 241366 HAS SOUS 139209 HAS SOUPS 136455 WITH SCORE 136711.658
AT ITER 304 NEW BEST:: SOT 412210 SOS 256609 HAS SOPS 241193 HAS SOUS 137578 HAS SOUPS 134824 WITH SCORE 135080.609
AT ITER 305 NEW BEST:: SOT 412210 SOS 257126 HAS SOPS 241710 HAS SOUS 137549 HAS SOUPS 134795 WITH SCORE 135052.126
AT ITER 309 NEW BEST:: SOT 412138 SOS 257035 HAS SOPS 241619 HAS SOUS 137386 HAS SOUPS 134632 WITH SCORE 134889.035
AT ITER 315 NEW BEST:: SOT 412138 SOS 257035 HAS SOPS 241549 HAS SOUS 134888 HAS SOUPS 132134 WITH SCORE 132391.035
AT ITER 321 NEW BEST:: SOT 412185 SOS 257217 HAS SOPS 241731 HAS SOUS 134826 HAS SOUPS 132072 WITH SCORE 132329.217
AT ITER 322 NEW BEST:: SOT 412181 SOS 257181 HAS SOPS 241695 HAS SOUS 134790 HAS SOUPS 132036 WITH SCORE 132293.181
AT ITER 325 NEW BEST:: SOT 412200 SOS 257200 HAS SOPS 241714 HAS SOUS 134617 HAS SOUPS 131863 WITH SCORE 132120.2
AT ITER 326 NEW BEST:: SOT 412222 SOS 257222 HAS SOPS 241740 HAS SOUS 134395 HAS SOUPS 131641 WITH SCORE 131898.222
AT ITER 334 NEW BEST:: SOT 412206 SOS 257168 HAS SOPS 241686 HAS SOUS 134379 HAS SOUPS 131625 WITH SCORE 131882.168
AT ITER 337 NEW BEST:: SOT 412232 SOS 257235 HAS SOPS 241753 HAS SOUS 134312 HAS SOUPS 131558 WITH SCORE 131815.235
AT ITER 350 NEW BEST:: SOT 412230 SOS 257233 HAS SOPS 241751 HAS SOUS 134310 HAS SOUPS 131556 WITH SCORE 131813.233
AT ITER 352 NEW BEST:: SOT 412230 SOS 257233 HAS SOPS 241751 HAS SOUS 133930 HAS SOUPS 131176 WITH SCORE 131433.233
AT ITER 362 NEW BEST:: SOT 412267 SOS 257373 HAS SOPS 241891 HAS SOUS 133869 HAS SOUPS 131115 WITH SCORE 131372.373
AT ITER 363 NEW BEST:: SOT 412264 SOS 257370 HAS SOPS 241876 HAS SOUS 133806 HAS SOUPS 131052 WITH SCORE 131309.37
AT ITER 367 NEW BEST:: SOT 412518 SOS 257634 HAS SOPS 242024 HAS SOUS 131096 HAS SOUPS 128342 WITH SCORE 128599.634
AT ITER 375 NEW BEST:: SOT 412518 SOS 257644 HAS SOPS 242034 HAS SOUS 131086 HAS SOUPS 128332 WITH SCORE 128589.644
AT ITER 376 NEW BEST:: SOT 366519 SOS 213788 HAS SOPS 204801 HAS SOUS 86921 HAS SOUPS 86611 WITH SCORE 86824.788
AT ITER 378 NEW BEST:: SOT 366500 SOS 213763 HAS SOPS 204776 HAS SOUS 86896 HAS SOUPS 86586 WITH SCORE 86799.763
AT ITER 388 NEW BEST:: SOT 367226 SOS 214489 HAS SOPS 205502 HAS SOUS 86398 HAS SOUPS 86088 WITH SCORE 86302.489
AT ITER 390 NEW BEST:: SOT 367157 SOS 214420 HAS SOPS 205433 HAS SOUS 86212 HAS SOUPS 85902 WITH SCORE 86116.42
AT ITER 408 NEW BEST:: SOT 367157 SOS 214410 HAS SOPS 205423 HAS SOUS 86212 HAS SOUPS 85902 WITH SCORE 86116.41
AT ITER 410 NEW BEST:: SOT 367170 SOS 214440 HAS SOPS 205453 HAS SOUS 86162 HAS SOUPS 85852 WITH SCORE 86066.44
AT ITER 416 NEW BEST:: SOT 368076 SOS 215346 HAS SOPS 206359 HAS SOUS 85953 HAS SOUPS 85643 WITH SCORE 85858.346
AT ITER 420 NEW BEST:: SOT 367810 SOS 215080 HAS SOPS 206093 HAS SOUS 85894 HAS SOUPS 85584 WITH SCORE 85799.08
AT ITER 423 NEW BEST:: SOT 368129 SOS 215399 HAS SOPS 206412 HAS SOUS 85253 HAS SOUPS 84943 WITH SCORE 85158.399
AT ITER 431 NEW BEST:: SOT 368037 SOS 215307 HAS SOPS 206320 HAS SOUS 84299 HAS SOUPS 83989 WITH SCORE 84204.307
AT ITER 443 NEW BEST:: SOT 367219 SOS 214489 HAS SOPS 205502 HAS SOUS 83268 HAS SOUPS 82958 WITH SCORE 83172.489
AT ITER 446 NEW BEST:: SOT 367219 SOS 214469 HAS SOPS 205482 HAS SOUS 83248 HAS SOUPS 82938 WITH SCORE 83152.469
AT ITER 447 NEW BEST:: SOT 366917 SOS 214667 HAS SOPS 205200 HAS SOUS 83222 HAS SOUPS 82912 WITH SCORE 83126.667
AT ITER 452 NEW BEST:: SOT 362017 SOS 215766 HAS SOPS 206860 HAS SOUS 78727 HAS SOUPS 78333 WITH SCORE 78548.766
AT ITER 466 NEW BEST:: SOT 362040 SOS 215867 HAS SOPS 206961 HAS SOUS 78643 HAS SOUPS 78249 WITH SCORE 78464.867
AT ITER 479 NEW BEST:: SOT 361984 SOS 215753 HAS SOPS 206847 HAS SOUS 78529 HAS SOUPS 78135 WITH SCORE 78350.753
AT ITER 482 NEW BEST:: SOT 362383 SOS 216152 HAS SOPS 207246 HAS SOUS 78524 HAS SOUPS 78130 WITH SCORE 78346.152
AT ITER 484 NEW BEST:: SOT 362379 SOS 216148 HAS SOPS 207242 HAS SOUS 78520 HAS SOUPS 78126 WITH SCORE 78342.148
AT ITER 490 NEW BEST:: SOT 362345 SOS 216172 HAS SOPS 207266 HAS SOUS 78432 HAS SOUPS 78038 WITH SCORE 78254.172
AT ITER 492 NEW BEST:: SOT 362350 SOS 216219 HAS SOPS 207313 HAS SOUS 78421 HAS SOUPS 78027 WITH SCORE 78243.219
AT ITER 493 NEW BEST:: SOT 362350 SOS 216218 HAS SOPS 207312 HAS SOUS 78416 HAS SOUPS 78022 WITH SCORE 78238.218
AT ITER 499 NEW BEST:: SOT 359614 SOS 213482 HAS SOPS 204576 HAS SOUS 73582 HAS SOUPS 73188 WITH SCORE 73401.482
AT ITER 520 NEW BEST:: SOT 359608 SOS 212910 HAS SOPS 204262 HAS SOUS 73554 HAS SOUPS 73166 WITH SCORE 73378.91
AT ITER 524 NEW BEST:: SOT 359607 SOS 212914 HAS SOPS 204226 HAS SOUS 73545 HAS SOUPS 73165 WITH SCORE 73377.914
AT ITER 530 NEW BEST:: SOT 359631 SOS 207088 HAS SOPS 197839 HAS SOUS 73313 HAS SOUPS 73017 WITH SCORE 73224.088
AT ITER 531 NEW BEST:: SOT 358340 SOS 205797 HAS SOPS 196548 HAS SOUS 71830 HAS SOUPS 71534 WITH SCORE 71739.797
AT ITER 537 NEW BEST:: SOT 358346 SOS 205861 HAS SOPS 196612 HAS SOUS 71777 HAS SOUPS 71481 WITH SCORE 71686.861
AT ITER 539 NEW BEST:: SOT 357612 SOS 205127 HAS SOPS 195878 HAS SOUS 70069 HAS SOUPS 69773 WITH SCORE 69978.127
AT ITER 543 NEW BEST:: SOT 354984 SOS 203095 HAS SOPS 194402 HAS SOUS 68322 HAS SOUPS 68068 WITH SCORE 68271.095
AT ITER 544 NEW BEST:: SOT 354984 SOS 203095 HAS SOPS 194402 HAS SOUS 68315 HAS SOUPS 68061 WITH SCORE 68264.095
AT ITER 547 NEW BEST:: SOT 354165 SOS 202276 HAS SOPS 193583 HAS SOUS 65340 HAS SOUPS 65086 WITH SCORE 65288.276
AT ITER 549 NEW BEST:: SOT 354179 SOS 202270 HAS SOPS 193597 HAS SOUS 65278 HAS SOUPS 65024 WITH SCORE 65226.27
AT ITER 550 NEW BEST:: SOT 354008 SOS 202099 HAS SOPS 193426 HAS SOUS 65052 HAS SOUPS 64798 WITH SCORE 65000.099
AT ITER 581 NEW BEST:: SOT 353519 SOS 201610 HAS SOPS 192937 HAS SOUS 64544 HAS SOUPS 64290 WITH SCORE 64491.61
AT ITER 593 NEW BEST:: SOT 353530 SOS 201081 HAS SOPS 192948 HAS SOUS 64511 HAS SOUPS 64275 WITH SCORE 64476.081
AT ITER 607 NEW BEST:: SOT 353394 SOS 200945 HAS SOPS 192812 HAS SOUS 64475 HAS SOUPS 64239 WITH SCORE 64439.945
AT ITER 620 NEW BEST:: SOT 353202 SOS 200748 HAS SOPS 192975 HAS SOUS 64311 HAS SOUPS 64081 WITH SCORE 64281.748
AT ITER 621 NEW BEST:: SOT 353855 SOS 201401 HAS SOPS 193628 HAS SOUS 63367 HAS SOUPS 63137 WITH SCORE 63338.401
AT ITER 624 NEW BEST:: SOT 352764 SOS 200310 HAS SOPS 192537 HAS SOUS 61846 HAS SOUPS 61616 WITH SCORE 61816.31
AT ITER 626 NEW BEST:: SOT 352723 SOS 200269 HAS SOPS 192496 HAS SOUS 61763 HAS SOUPS 61533 WITH SCORE 61733.269
AT ITER 629 NEW BEST:: SOT 352315 SOS 202570 HAS SOPS 194853 HAS SOUS 61478 HAS SOUPS 61275 WITH SCORE 61477.57
AT ITER 632 NEW BEST:: SOT 352315 SOS 202541 HAS SOPS 194824 HAS SOUS 61449 HAS SOUPS 61246 WITH SCORE 61448.541
AT ITER 634 NEW BEST:: SOT 351850 SOS 202076 HAS SOPS 194359 HAS SOUS 61395 HAS SOUPS 61192 WITH SCORE 61394.076
AT ITER 638 NEW BEST:: SOT 350847 SOS 204522 HAS SOPS 196837 HAS SOUS 60663 HAS SOUPS 60413 WITH SCORE 60617.522
AT ITER 639 NEW BEST:: SOT 350627 SOS 210303 HAS SOPS 200738 HAS SOUS 60665 HAS SOUPS 60371 WITH SCORE 60581.303
AT ITER 643 NEW BEST:: SOT 350601 SOS 207618 HAS SOPS 199012 HAS SOUS 60510 HAS SOUPS 60239 WITH SCORE 60446.618
AT ITER 650 NEW BEST:: SOT 350592 SOS 207608 HAS SOPS 199002 HAS SOUS 60500 HAS SOUPS 60229 WITH SCORE 60436.608
AT ITER 657 NEW BEST:: SOT 350086 SOS 207102 HAS SOPS 198496 HAS SOUS 59834 HAS SOUPS 59563 WITH SCORE 59770.102
AT ITER 664 NEW BEST:: SOT 350101 SOS 207117 HAS SOPS 198511 HAS SOUS 59051 HAS SOUPS 58780 WITH SCORE 58987.117
AT ITER 671 NEW BEST:: SOT 350464 SOS 207480 HAS SOPS 198874 HAS SOUS 58866 HAS SOUPS 58595 WITH SCORE 58802.48
AT ITER 679 NEW BEST:: SOT 349993 SOS 206948 HAS SOPS 198342 HAS SOUS 58334 HAS SOUPS 58063 WITH SCORE 58269.948
AT ITER 686 NEW BEST:: SOT 350000 SOS 206439 HAS SOPS 197833 HAS SOUS 58332 HAS SOUPS 58061 WITH SCORE 58267.439
AT ITER 687 NEW BEST:: SOT 350073 SOS 206512 HAS SOPS 197906 HAS SOUS 57946 HAS SOUPS 57675 WITH SCORE 57881.512
AT ITER 691 NEW BEST:: SOT 348208 SOS 212324 HAS SOPS 204264 HAS SOUS 56773 HAS SOUPS 56404 WITH SCORE 56616.324
AT ITER 694 NEW BEST:: SOT 347727 SOS 211843 HAS SOPS 203783 HAS SOUS 55534 HAS SOUPS 55165 WITH SCORE 55376.843
AT ITER 703 NEW BEST:: SOT 347121 SOS 211237 HAS SOPS 203177 HAS SOUS 54223 HAS SOUPS 53854 WITH SCORE 54065.237
AT ITER 715 NEW BEST:: SOT 347123 SOS 211646 HAS SOPS 203399 HAS SOUS 54127 HAS SOUPS 53783 WITH SCORE 53994.646
AT ITER 720 NEW BEST:: SOT 347023 SOS 211546 HAS SOPS 203299 HAS SOUS 53891 HAS SOUPS 53547 WITH SCORE 53758.546
AT ITER 730 NEW BEST:: SOT 347033 SOS 211524 HAS SOPS 203277 HAS SOUS 53869 HAS SOUPS 53525 WITH SCORE 53736.524
AT ITER 731 NEW BEST:: SOT 346295 SOS 210786 HAS SOPS 202539 HAS SOUS 52391 HAS SOUPS 52047 WITH SCORE 52257.786
AT ITER 741 NEW BEST:: SOT 345788 SOS 210279 HAS SOPS 202032 HAS SOUS 50684 HAS SOUPS 50340 WITH SCORE 50550.279
AT ITER 743 NEW BEST:: SOT 345733 SOS 210199 HAS SOPS 201952 HAS SOUS 50616 HAS SOUPS 50272 WITH SCORE 50482.199
AT ITER 757 NEW BEST:: SOT 345916 SOS 209822 HAS SOPS 201815 HAS SOUS 50578 HAS SOUPS 50242 WITH SCORE 50451.822
AT ITER 763 NEW BEST:: SOT 345916 SOS 209060 HAS SOPS 201053 HAS SOUS 50576 HAS SOUPS 50240 WITH SCORE 50449.06
AT ITER 769 NEW BEST:: SOT 345876 SOS 209008 HAS SOPS 201001 HAS SOUS 50544 HAS SOUPS 50208 WITH SCORE 50417.008
AT ITER 771 NEW BEST:: SOT 345863 SOS 208995 HAS SOPS 200988 HAS SOUS 50511 HAS SOUPS 50175 WITH SCORE 50383.995
AT ITER 772 NEW BEST:: SOT 345337 SOS 220572 HAS SOPS 210617 HAS SOUS 50400 HAS SOUPS 49978 WITH SCORE 50198.572
AT ITER 775 NEW BEST:: SOT 345177 SOS 220412 HAS SOPS 210457 HAS SOUS 50000 HAS SOUPS 49578 WITH SCORE 49798.412
AT ITER 777 NEW BEST:: SOT 345310 SOS 220545 HAS SOPS 210590 HAS SOUS 49033 HAS SOUPS 48611 WITH SCORE 48831.545
AT ITER 793 NEW BEST:: SOT 344062 SOS 219297 HAS SOPS 209342 HAS SOUS 45941 HAS SOUPS 45519 WITH SCORE 45738.297
AT ITER 797 NEW BEST:: SOT 344039 SOS 218223 HAS SOPS 208314 HAS SOUS 45872 HAS SOUPS 45473 WITH SCORE 45691.223
AT ITER 805 NEW BEST:: SOT 344029 SOS 218213 HAS SOPS 208304 HAS SOUS 45858 HAS SOUPS 45459 WITH SCORE 45677.213
AT ITER 812 NEW BEST:: SOT 344022 SOS 218205 HAS SOPS 208296 HAS SOUS 45850 HAS SOUPS 45451 WITH SCORE 45669.205
AT ITER 813 NEW BEST:: SOT 344074 SOS 218097 HAS SOPS 208188 HAS SOUS 45812 HAS SOUPS 45413 WITH SCORE 45631.097
AT ITER 819 NEW BEST:: SOT 344034 SOS 218015 HAS SOPS 208106 HAS SOUS 45810 HAS SOUPS 45411 WITH SCORE 45629.015
AT ITER 821 NEW BEST:: SOT 343474 SOS 217455 HAS SOPS 207546 HAS SOUS 45198 HAS SOUPS 44799 WITH SCORE 45016.455
AT ITER 826 NEW BEST:: SOT 343455 SOS 217436 HAS SOPS 207527 HAS SOUS 45157 HAS SOUPS 44758 WITH SCORE 44975.436
AT ITER 831 NEW BEST:: SOT 343455 SOS 218176 HAS SOPS 208267 HAS SOUS 45132 HAS SOUPS 44733 WITH SCORE 44951.176
AT ITER 837 NEW BEST:: SOT 343559 SOS 206241 HAS SOPS 198280 HAS SOUS 44923 HAS SOUPS 44610 WITH SCORE 44816.241
AT ITER 849 NEW BEST:: SOT 343576 SOS 206258 HAS SOPS 198297 HAS SOUS 44748 HAS SOUPS 44435 WITH SCORE 44641.258
AT ITER 852 NEW BEST:: SOT 343576 SOS 206790 HAS SOPS 198829 HAS SOUS 44746 HAS SOUPS 44433 WITH SCORE 44639.79
AT ITER 854 NEW BEST:: SOT 342860 SOS 206074 HAS SOPS 198113 HAS SOUS 44270 HAS SOUPS 43957 WITH SCORE 44163.074
AT ITER 858 NEW BEST:: SOT 342872 SOS 204722 HAS SOPS 196909 HAS SOUS 44117 HAS SOUPS 43810 WITH SCORE 44014.722
AT ITER 865 NEW BEST:: SOT 342872 SOS 204532 HAS SOPS 196719 HAS SOUS 44114 HAS SOUPS 43807 WITH SCORE 44011.532
AT ITER 874 NEW BEST:: SOT 342876 SOS 203844 HAS SOPS 196474 HAS SOUS 43996 HAS SOUPS 43700 WITH SCORE 43903.844
AT ITER 875 NEW BEST:: SOT 342867 SOS 203800 HAS SOPS 196430 HAS SOUS 43918 HAS SOUPS 43622 WITH SCORE 43825.8
AT ITER 879 NEW BEST:: SOT 342364 SOS 203297 HAS SOPS 195927 HAS SOUS 43602 HAS SOUPS 43306 WITH SCORE 43509.297
AT ITER 883 NEW BEST:: SOT 342344 SOS 203277 HAS SOPS 195907 HAS SOUS 43553 HAS SOUPS 43257 WITH SCORE 43460.277
AT ITER 888 NEW BEST:: SOT 342373 SOS 201868 HAS SOPS 195070 HAS SOUS 43366 HAS SOUPS 43084 WITH SCORE 43285.868
AT ITER 897 NEW BEST:: SOT 342343 SOS 201838 HAS SOPS 195040 HAS SOUS 43313 HAS SOUPS 43031 WITH SCORE 43232.838
AT ITER 910 NEW BEST:: SOT 342342 SOS 201837 HAS SOPS 195039 HAS SOUS 43252 HAS SOUPS 42970 WITH SCORE 43171.837
AT ITER 915 NEW BEST:: SOT 342128 SOS 201623 HAS SOPS 194825 HAS SOUS 42796 HAS SOUPS 42514 WITH SCORE 42715.623
AT ITER 916 NEW BEST:: SOT 340874 SOS 200369 HAS SOPS 193571 HAS SOUS 41656 HAS SOUPS 41374 WITH SCORE 41574.369
AT ITER 922 NEW BEST:: SOT 340849 SOS 200344 HAS SOPS 193546 HAS SOUS 41597 HAS SOUPS 41315 WITH SCORE 41515.344
AT ITER 930 NEW BEST:: SOT 340848 SOS 199983 HAS SOPS 193365 HAS SOUS 41447 HAS SOUPS 41174 WITH SCORE 41373.983
AT ITER 937 NEW BEST:: SOT 340842 SOS 199971 HAS SOPS 193353 HAS SOUS 41435 HAS SOUPS 41162 WITH SCORE 41361.971
AT ITER 954 NEW BEST:: SOT 340593 SOS 199719 HAS SOPS 193101 HAS SOUS 41256 HAS SOUPS 40983 WITH SCORE 41182.719
AT ITER 963 NEW BEST:: SOT 340536 SOS 199662 HAS SOPS 193044 HAS SOUS 41199 HAS SOUPS 40926 WITH SCORE 41125.662
AT ITER 994 NEW BEST:: SOT 341051 SOS 200177 HAS SOPS 193559 HAS SOUS 40742 HAS SOUPS 40469 WITH SCORE 40669.177
AT ITER 1005 NEW BEST:: SOT 341042 SOS 200168 HAS SOPS 193550 HAS SOUS 40718 HAS SOUPS 40445 WITH SCORE 40645.168
AT ITER 1007 NEW BEST:: SOT 341099 SOS 200225 HAS SOPS 193607 HAS SOUS 40661 HAS SOUPS 40388 WITH SCORE 40588.225
AT ITER 1011 NEW BEST:: SOT 341073 SOS 200190 HAS SOPS 193572 HAS SOUS 40626 HAS SOUPS 40353 WITH SCORE 40553.19
AT ITER 1025 NEW BEST:: SOT 340955 SOS 200030 HAS SOPS 193412 HAS SOUS 40466 HAS SOUPS 40193 WITH SCORE 40393.03
AT ITER 1067 NEW BEST:: SOT 340954 SOS 200029 HAS SOPS 193411 HAS SOUS 40465 HAS SOUPS 40192 WITH SCORE 40392.029
AT ITER 1080 NEW BEST:: SOT 340954 SOS 200029 HAS SOPS 193411 HAS SOUS 39220 HAS SOUPS 38947 WITH SCORE 39147.029
AT ITER 1095 NEW BEST:: SOT 340989 SOS 198367 HAS SOPS 192001 HAS SOUS 39137 HAS SOUPS 38815 WITH SCORE 39013.367
AT ITER 1110 NEW BEST:: SOT 340984 SOS 198362 HAS SOPS 191996 HAS SOUS 38357 HAS SOUPS 38035 WITH SCORE 38233.362
AT ITER 1111 NEW BEST:: SOT 340937 SOS 189734 HAS SOPS 183489 HAS SOUS 37939 HAS SOUPS 37701 WITH SCORE 37890.734
AT ITER 1121 NEW BEST:: SOT 340932 SOS 189719 HAS SOPS 183474 HAS SOUS 37934 HAS SOUPS 37696 WITH SCORE 37885.719
AT ITER 1127 NEW BEST:: SOT 340932 SOS 189668 HAS SOPS 183423 HAS SOUS 37928 HAS SOUPS 37690 WITH SCORE 37879.668
AT ITER 1135 NEW BEST:: SOT 340505 SOS 189241 HAS SOPS 182996 HAS SOUS 37601 HAS SOUPS 37363 WITH SCORE 37552.241
AT ITER 1178 NEW BEST:: SOT 340494 SOS 189226 HAS SOPS 182981 HAS SOUS 37586 HAS SOUPS 37348 WITH SCORE 37537.226
AT ITER 1200 NEW BEST:: SOT 340494 SOS 189223 HAS SOPS 182978 HAS SOUS 37583 HAS SOUPS 37345 WITH SCORE 37534.223
AT ITER 1211 NEW BEST:: SOT 340492 SOS 189221 HAS SOPS 182976 HAS SOUS 37545 HAS SOUPS 37307 WITH SCORE 37496.221
AT ITER 1216 NEW BEST:: SOT 340468 SOS 189197 HAS SOPS 182952 HAS SOUS 37479 HAS SOUPS 37241 WITH SCORE 37430.197
AT ITER 1224 NEW BEST:: SOT 340161 SOS 188926 HAS SOPS 182681 HAS SOUS 37174 HAS SOUPS 36936 WITH SCORE 37124.926
AT ITER 1226 NEW BEST:: SOT 340144 SOS 185323 HAS SOPS 180024 HAS SOUS 37091 HAS SOUPS 36875 WITH SCORE 37060.323
AT ITER 1264 NEW BEST:: SOT 339928 SOS 185107 HAS SOPS 179808 HAS SOUS 37055 HAS SOUPS 36839 WITH SCORE 37024.107
AT ITER 1273 NEW BEST:: SOT 339945 SOS 185124 HAS SOPS 179825 HAS SOUS 37038 HAS SOUPS 36822 WITH SCORE 37007.124
AT ITER 1294 NEW BEST:: SOT 339945 SOS 185135 HAS SOPS 179836 HAS SOUS 37037 HAS SOUPS 36821 WITH SCORE 37006.135
AT ITER 1341 NEW BEST:: SOT 339882 SOS 185047 HAS SOPS 179748 HAS SOUS 36949 HAS SOUPS 36733 WITH SCORE 36918.047
AT ITER 1356 NEW BEST:: SOT 339882 SOS 185047 HAS SOPS 179748 HAS SOUS 36923 HAS SOUPS 36707 WITH SCORE 36892.047
AT ITER 1361 NEW BEST:: SOT 339939 SOS 185120 HAS SOPS 179821 HAS SOUS 36706 HAS SOUPS 36490 WITH SCORE 36675.12
AT ITER 1375 NEW BEST:: SOT 339903 SOS 184992 HAS SOPS 179693 HAS SOUS 36566 HAS SOUPS 36350 WITH SCORE 36534.992
AT ITER 1376 NEW BEST:: SOT 339863 SOS 184982 HAS SOPS 179683 HAS SOUS 36556 HAS SOUPS 36340 WITH SCORE 36524.982
AT ITER 1388 NEW BEST:: SOT 339938 SOS 185112 HAS SOPS 179813 HAS SOUS 36528 HAS SOUPS 36312 WITH SCORE 36497.112
AT ITER 1391 NEW BEST:: SOT 339858 SOS 185032 HAS SOPS 179733 HAS SOUS 36446 HAS SOUPS 36230 WITH SCORE 36415.032
AT ITER 1422 NEW BEST:: SOT 339760 SOS 184934 HAS SOPS 179635 HAS SOUS 36376 HAS SOUPS 36160 WITH SCORE 36344.934
AT ITER 1447 NEW BEST:: SOT 339652 SOS 184826 HAS SOPS 179527 HAS SOUS 36250 HAS SOUPS 36034 WITH SCORE 36218.826
AT ITER 1501 NEW BEST:: SOT 339561 SOS 184581 HAS SOPS 179282 HAS SOUS 36055 HAS SOUPS 35839 WITH SCORE 36023.581
AT ITER 1527 NEW BEST:: SOT 338975 SOS 183995 HAS SOPS 178696 HAS SOUS 35063 HAS SOUPS 34847 WITH SCORE 35030.995
AT ITER 1561 NEW BEST:: SOT 338963 SOS 183948 HAS SOPS 178649 HAS SOUS 35062 HAS SOUPS 34846 WITH SCORE 35029.948
AT ITER 1609 NEW BEST:: SOT 338960 SOS 183945 HAS SOPS 178646 HAS SOUS 35059 HAS SOUPS 34843 WITH SCORE 35026.945
AT ITER 1615 NEW BEST:: SOT 338942 SOS 183927 HAS SOPS 178628 HAS SOUS 35021 HAS SOUPS 34805 WITH SCORE 34988.927
AT ITER 1617 NEW BEST:: SOT 338938 SOS 183913 HAS SOPS 178614 HAS SOUS 35017 HAS SOUPS 34801 WITH SCORE 34984.913
AT ITER 1679 NEW BEST:: SOT 338923 SOS 183898 HAS SOPS 178599 HAS SOUS 35005 HAS SOUPS 34789 WITH SCORE 34972.898
AT ITER 1701 NEW BEST:: SOT 338918 SOS 183888 HAS SOPS 178589 HAS SOUS 34995 HAS SOUPS 34779 WITH SCORE 34962.888
AT ITER 1704 NEW BEST:: SOT 338929 SOS 183899 HAS SOPS 178600 HAS SOUS 34972 HAS SOUPS 34756 WITH SCORE 34939.899
AT ITER 1714 NEW BEST:: SOT 338965 SOS 184032 HAS SOPS 178733 HAS SOUS 34930 HAS SOUPS 34714 WITH SCORE 34898.032
AT ITER 1716 NEW BEST:: SOT 339016 SOS 183908 HAS SOPS 178611 HAS SOUS 34914 HAS SOUPS 34702 WITH SCORE 34885.908
AT ITER 1735 NEW BEST:: SOT 339016 SOS 183892 HAS SOPS 178595 HAS SOUS 34914 HAS SOUPS 34702 WITH SCORE 34885.892
AT ITER 1746 NEW BEST:: SOT 339016 SOS 183924 HAS SOPS 178627 HAS SOUS 34860 HAS SOUPS 34648 WITH SCORE 34831.924
AT ITER 1753 NEW BEST:: SOT 339001 SOS 182064 HAS SOPS 177412 HAS SOUS 34816 HAS SOUPS 34619 WITH SCORE 34801.064
AT ITER 1793 NEW BEST:: SOT 338999 SOS 182063 HAS SOPS 177411 HAS SOUS 34815 HAS SOUPS 34618 WITH SCORE 34800.063
AT ITER 1802 NEW BEST:: SOT 338994 SOS 181937 HAS SOPS 177146 HAS SOUS 34784 HAS SOUPS 34583 WITH SCORE 34764.937
AT ITER 1803 NEW BEST:: SOT 338958 SOS 181935 HAS SOPS 177144 HAS SOUS 34665 HAS SOUPS 34464 WITH SCORE 34645.935
AT ITER 1806 NEW BEST:: SOT 338822 SOS 181799 HAS SOPS 177008 HAS SOUS 34389 HAS SOUPS 34188 WITH SCORE 34369.799
AT ITER 1807 NEW BEST:: SOT 338820 SOS 181673 HAS SOPS 176886 HAS SOUS 34381 HAS SOUPS 34182 WITH SCORE 34363.673
AT ITER 1832 NEW BEST:: SOT 338763 SOS 181616 HAS SOPS 176829 HAS SOUS 34318 HAS SOUPS 34119 WITH SCORE 34300.616
AT ITER 1835 NEW BEST:: SOT 338761 SOS 181614 HAS SOPS 176827 HAS SOUS 34200 HAS SOUPS 34001 WITH SCORE 34182.614
AT ITER 1846 NEW BEST:: SOT 338750 SOS 181603 HAS SOPS 176816 HAS SOUS 34189 HAS SOUPS 33990 WITH SCORE 34171.603
AT ITER 1884 NEW BEST:: SOT 338805 SOS 181645 HAS SOPS 176858 HAS SOUS 34188 HAS SOUPS 33989 WITH SCORE 34170.645
AT ITER 1886 NEW BEST:: SOT 338198 SOS 181038 HAS SOPS 176251 HAS SOUS 33258 HAS SOUPS 33059 WITH SCORE 33240.038
AT ITER 1899 NEW BEST:: SOT 338058 SOS 180898 HAS SOPS 176111 HAS SOUS 32978 HAS SOUPS 32779 WITH SCORE 32959.898
AT ITER 1910 NEW BEST:: SOT 338048 SOS 180888 HAS SOPS 176101 HAS SOUS 32948 HAS SOUPS 32749 WITH SCORE 32929.888
AT ITER 1919 NEW BEST:: SOT 338047 SOS 180887 HAS SOPS 176100 HAS SOUS 32947 HAS SOUPS 32748 WITH SCORE 32928.887
AT ITER 1953 NEW BEST:: SOT 338047 SOS 180887 HAS SOPS 176100 HAS SOUS 32919 HAS SOUPS 32720 WITH SCORE 32900.887
AT ITER 1960 NEW BEST:: SOT 338064 SOS 180904 HAS SOPS 176117 HAS SOUS 32842 HAS SOUPS 32643 WITH SCORE 32823.904
AT ITER 1976 NEW BEST:: SOT 338059 SOS 180961 HAS SOPS 176174 HAS SOUS 32833 HAS SOUPS 32634 WITH SCORE 32814.961
AT ITER 1991 NEW BEST:: SOT 338059 SOS 180949 HAS SOPS 176162 HAS SOUS 32821 HAS SOUPS 32622 WITH SCORE 32802.949
AT ITER 1997 NEW BEST:: SOT 338057 SOS 180947 HAS SOPS 176160 HAS SOUS 32799 HAS SOUPS 32600 WITH SCORE 32780.947
AT ITER 2002 NEW BEST:: SOT 338052 SOS 180942 HAS SOPS 176155 HAS SOUS 32787 HAS SOUPS 32588 WITH SCORE 32768.942
AT ITER 2006 NEW BEST:: SOT 338052 SOS 180956 HAS SOPS 176169 HAS SOUS 32745 HAS SOUPS 32546 WITH SCORE 32726.956
AT ITER 2007 NEW BEST:: SOT 338046 SOS 180392 HAS SOPS 175863 HAS SOUS 32715 HAS SOUPS 32522 WITH SCORE 32702.392
AT ITER 2033 NEW BEST:: SOT 338041 SOS 180387 HAS SOPS 175458 HAS SOUS 32665 HAS SOUPS 32486 WITH SCORE 32666.387
AT ITER 2089 NEW BEST:: SOT 337957 SOS 180303 HAS SOPS 175374 HAS SOUS 32389 HAS SOUPS 32210 WITH SCORE 32390.303
AT ITER 2145 NEW BEST:: SOT 337783 SOS 180129 HAS SOPS 175200 HAS SOUS 32212 HAS SOUPS 32033 WITH SCORE 32213.129
AT ITER 2178 NEW BEST:: SOT 337774 SOS 179082 HAS SOPS 174540 HAS SOUS 32166 HAS SOUPS 31996 WITH SCORE 32175.082
AT ITER 2219 NEW BEST:: SOT 337768 SOS 178508 HAS SOPS 173966 HAS SOUS 32138 HAS SOUPS 31968 WITH SCORE 32146.508
AT ITER 2243 NEW BEST:: SOT 337762 SOS 178502 HAS SOPS 173960 HAS SOUS 32138 HAS SOUPS 31968 WITH SCORE 32146.502
AT ITER 2247 NEW BEST:: SOT 337763 SOS 178503 HAS SOPS 173961 HAS SOUS 32136 HAS SOUPS 31966 WITH SCORE 32144.503
AT ITER 2250 NEW BEST:: SOT 337763 SOS 178386 HAS SOPS 173844 HAS SOUS 32136 HAS SOUPS 31966 WITH SCORE 32144.386
AT ITER 2269 NEW BEST:: SOT 337677 SOS 178300 HAS SOPS 173758 HAS SOUS 31974 HAS SOUPS 31804 WITH SCORE 31982.3
AT ITER 2283 NEW BEST:: SOT 337682 SOS 178305 HAS SOPS 173703 HAS SOUS 31957 HAS SOUPS 31785 WITH SCORE 31963.305
AT ITER 2290 NEW BEST:: SOT 337679 SOS 178304 HAS SOPS 173702 HAS SOUS 31956 HAS SOUPS 31784 WITH SCORE 31962.304
AT ITER 2301 NEW BEST:: SOT 337657 SOS 178282 HAS SOPS 173680 HAS SOUS 30969 HAS SOUPS 30797 WITH SCORE 30975.282
AT ITER 2334 NEW BEST:: SOT 337459 SOS 178084 HAS SOPS 173482 HAS SOUS 30953 HAS SOUPS 30781 WITH SCORE 30959.084
AT ITER 2356 NEW BEST:: SOT 337452 SOS 178066 HAS SOPS 173464 HAS SOUS 30935 HAS SOUPS 30763 WITH SCORE 30941.066
AT ITER 2376 NEW BEST:: SOT 337453 SOS 178067 HAS SOPS 173465 HAS SOUS 30922 HAS SOUPS 30750 WITH SCORE 30928.067
AT ITER 2419 NEW BEST:: SOT 337454 SOS 178068 HAS SOPS 173466 HAS SOUS 30917 HAS SOUPS 30745 WITH SCORE 30923.068
AT ITER 2449 NEW BEST:: SOT 337454 SOS 178068 HAS SOPS 173466 HAS SOUS 30899 HAS SOUPS 30727 WITH SCORE 30905.068
AT ITER 2481 NEW BEST:: SOT 337423 SOS 178037 HAS SOPS 173435 HAS SOUS 30820 HAS SOUPS 30648 WITH SCORE 30826.037
AT ITER 2533 NEW BEST:: SOT 337423 SOS 178037 HAS SOPS 173435 HAS SOUS 30780 HAS SOUPS 30608 WITH SCORE 30786.037
AT ITER 2569 NEW BEST:: SOT 337423 SOS 178038 HAS SOPS 173436 HAS SOUS 30779 HAS SOUPS 30607 WITH SCORE 30785.038
AT ITER 2573 NEW BEST:: SOT 337423 SOS 178034 HAS SOPS 173432 HAS SOUS 30775 HAS SOUPS 30603 WITH SCORE 30781.034
AT ITER 2585 NEW BEST:: SOT 337410 SOS 178021 HAS SOPS 173419 HAS SOUS 30689 HAS SOUPS 30517 WITH SCORE 30695.021
AT ITER 2599 NEW BEST:: SOT 337442 SOS 178053 HAS SOPS 173451 HAS SOUS 30633 HAS SOUPS 30461 WITH SCORE 30639.053
AT ITER 2613 NEW BEST:: SOT 337232 SOS 177843 HAS SOPS 173241 HAS SOUS 30503 HAS SOUPS 30331 WITH SCORE 30508.843
AT ITER 2651 NEW BEST:: SOT 337432 SOS 178043 HAS SOPS 173441 HAS SOUS 30119 HAS SOUPS 29947 WITH SCORE 30125.043
AT ITER 2688 NEW BEST:: SOT 337429 SOS 178037 HAS SOPS 173435 HAS SOUS 30119 HAS SOUPS 29947 WITH SCORE 30125.037
AT ITER 2696 NEW BEST:: SOT 337436 SOS 178069 HAS SOPS 173467 HAS SOUS 30107 HAS SOUPS 29935 WITH SCORE 30113.069
AT ITER 2725 NEW BEST:: SOT 337436 SOS 178069 HAS SOPS 173467 HAS SOUS 30089 HAS SOUPS 29917 WITH SCORE 30095.069
AT ITER 2734 NEW BEST:: SOT 337416 SOS 178049 HAS SOPS 173447 HAS SOUS 29778 HAS SOUPS 29606 WITH SCORE 29784.049
AT ITER 2761 NEW BEST:: SOT 337470 SOS 178103 HAS SOPS 173501 HAS SOUS 29724 HAS SOUPS 29552 WITH SCORE 29730.103
AT ITER 2764 NEW BEST:: SOT 337452 SOS 178085 HAS SOPS 173483 HAS SOUS 29668 HAS SOUPS 29496 WITH SCORE 29674.085
AT ITER 2773 NEW BEST:: SOT 337444 SOS 178077 HAS SOPS 173475 HAS SOUS 29666 HAS SOUPS 29494 WITH SCORE 29672.077
AT ITER 2775 NEW BEST:: SOT 337435 SOS 178068 HAS SOPS 173466 HAS SOUS 29664 HAS SOUPS 29492 WITH SCORE 29670.068
AT ITER 2781 NEW BEST:: SOT 337435 SOS 178056 HAS SOPS 173454 HAS SOUS 29652 HAS SOUPS 29480 WITH SCORE 29658.056
AT ITER 2794 NEW BEST:: SOT 337418 SOS 178026 HAS SOPS 173424 HAS SOUS 29622 HAS SOUPS 29450 WITH SCORE 29628.026
AT ITER 2817 NEW BEST:: SOT 337387 SOS 177995 HAS SOPS 173393 HAS SOUS 29549 HAS SOUPS 29377 WITH SCORE 29554.995
AT ITER 2840 NEW BEST:: SOT 337391 SOS 177999 HAS SOPS 173397 HAS SOUS 29543 HAS SOUPS 29371 WITH SCORE 29548.999
AT ITER 2924 NEW BEST:: SOT 337391 SOS 177998 HAS SOPS 173396 HAS SOUS 29542 HAS SOUPS 29370 WITH SCORE 29547.998
AT ITER 2925 NEW BEST:: SOT 337391 SOS 177998 HAS SOPS 173396 HAS SOUS 29452 HAS SOUPS 29280 WITH SCORE 29457.998
AT ITER 2966 NEW BEST:: SOT 336753 SOS 177349 HAS SOPS 172747 HAS SOUS 28803 HAS SOUPS 28631 WITH SCORE 28808.349
AT ITER 2978 NEW BEST:: SOT 336746 SOS 177335 HAS SOPS 172733 HAS SOUS 28789 HAS SOUPS 28617 WITH SCORE 28794.335
AT ITER 2997 NEW BEST:: SOT 336753 SOS 177390 HAS SOPS 172788 HAS SOUS 28748 HAS SOUPS 28576 WITH SCORE 28753.39
AT ITER 2999 NEW BEST:: SOT 336751 SOS 177388 HAS SOPS 172786 HAS SOUS 28737 HAS SOUPS 28565 WITH SCORE 28742.388
AT ITER 3014 NEW BEST:: SOT 336751 SOS 177182 HAS SOPS 172666 HAS SOUS 28729 HAS SOUPS 28559 WITH SCORE 28736.182
AT ITER 3056 NEW BEST:: SOT 336748 SOS 177173 HAS SOPS 172657 HAS SOUS 28720 HAS SOUPS 28550 WITH SCORE 28727.173
AT ITER 3086 NEW BEST:: SOT 336737 SOS 175246 HAS SOPS 170792 HAS SOUS 28684 HAS SOUPS 28545 WITH SCORE 28720.246
AT ITER 3103 NEW BEST:: SOT 336733 SOS 175232 HAS SOPS 170778 HAS SOUS 28670 HAS SOUPS 28531 WITH SCORE 28706.232
AT ITER 3112 NEW BEST:: SOT 336723 SOS 175216 HAS SOPS 170762 HAS SOUS 28654 HAS SOUPS 28515 WITH SCORE 28690.216
AT ITER 3173 NEW BEST:: SOT 336721 SOS 175214 HAS SOPS 170760 HAS SOUS 28650 HAS SOUPS 28511 WITH SCORE 28686.214
AT ITER 3185 NEW BEST:: SOT 336721 SOS 175178 HAS SOPS 170724 HAS SOUS 28649 HAS SOUPS 28510 WITH SCORE 28685.178
AT ITER 3204 NEW BEST:: SOT 336717 SOS 174605 HAS SOPS 170151 HAS SOUS 28646 HAS SOUPS 28507 WITH SCORE 28681.605
AT ITER 3237 NEW BEST:: SOT 336710 SOS 174590 HAS SOPS 170136 HAS SOUS 28631 HAS SOUPS 28492 WITH SCORE 28666.59
AT ITER 3269 NEW BEST:: SOT 336594 SOS 174474 HAS SOPS 170020 HAS SOUS 28511 HAS SOUPS 28372 WITH SCORE 28546.474
AT ITER 3317 NEW BEST:: SOT 336591 SOS 174471 HAS SOPS 170017 HAS SOUS 28506 HAS SOUPS 28367 WITH SCORE 28541.471
AT ITER 3328 NEW BEST:: SOT 336571 SOS 174451 HAS SOPS 169997 HAS SOUS 28486 HAS SOUPS 28347 WITH SCORE 28521.451
AT ITER 3357 NEW BEST:: SOT 336419 SOS 174299 HAS SOPS 169845 HAS SOUS 28175 HAS SOUPS 28036 WITH SCORE 28210.299
AT ITER 3367 NEW BEST:: SOT 336419 SOS 174298 HAS SOPS 169844 HAS SOUS 28174 HAS SOUPS 28035 WITH SCORE 28209.298
AT ITER 3411 NEW BEST:: SOT 336413 SOS 174287 HAS SOPS 169833 HAS SOUS 28163 HAS SOUPS 28024 WITH SCORE 28198.287
AT ITER 3456 NEW BEST:: SOT 336151 SOS 174025 HAS SOPS 169571 HAS SOUS 28152 HAS SOUPS 28013 WITH SCORE 28187.025
AT ITER 3547 NEW BEST:: SOT 336134 SOS 174008 HAS SOPS 169554 HAS SOUS 28098 HAS SOUPS 27959 WITH SCORE 28133.008
AT ITER 3569 NEW BEST:: SOT 336134 SOS 174007 HAS SOPS 169553 HAS SOUS 28097 HAS SOUPS 27958 WITH SCORE 28132.007
AT ITER 3607 NEW BEST:: SOT 336096 SOS 173969 HAS SOPS 169515 HAS SOUS 28081 HAS SOUPS 27942 WITH SCORE 28115.969
AT ITER 3621 NEW BEST:: SOT 336081 SOS 172413 HAS SOPS 169060 HAS SOUS 28059 HAS SOUPS 27916 WITH SCORE 28088.413
AT ITER 3628 NEW BEST:: SOT 336001 SOS 172333 HAS SOPS 168980 HAS SOUS 27979 HAS SOUPS 27836 WITH SCORE 28008.333
AT ITER 3684 NEW BEST:: SOT 336001 SOS 172331 HAS SOPS 168978 HAS SOUS 27977 HAS SOUPS 27834 WITH SCORE 28006.331
AT ITER 3724 NEW BEST:: SOT 335507 SOS 171837 HAS SOPS 168484 HAS SOUS 27678 HAS SOUPS 27535 WITH SCORE 27706.837
AT ITER 3732 NEW BEST:: SOT 335509 SOS 171834 HAS SOPS 168481 HAS SOUS 27675 HAS SOUPS 27532 WITH SCORE 27703.834
AT ITER 3759 NEW BEST:: SOT 335506 SOS 171831 HAS SOPS 168478 HAS SOUS 27672 HAS SOUPS 27529 WITH SCORE 27700.831
AT ITER 3790 NEW BEST:: SOT 335506 SOS 171868 HAS SOPS 168515 HAS SOUS 27670 HAS SOUPS 27527 WITH SCORE 27698.868
AT ITER 3792 NEW BEST:: SOT 335384 SOS 171746 HAS SOPS 168393 HAS SOUS 27432 HAS SOUPS 27289 WITH SCORE 27460.746
AT ITER 3793 NEW BEST:: SOT 335464 SOS 171826 HAS SOPS 168473 HAS SOUS 27356 HAS SOUPS 27213 WITH SCORE 27384.826
AT ITER 3796 NEW BEST:: SOT 335463 SOS 171824 HAS SOPS 168471 HAS SOUS 27354 HAS SOUPS 27211 WITH SCORE 27382.824
AT ITER 3865 NEW BEST:: SOT 335449 SOS 171810 HAS SOPS 168457 HAS SOUS 27326 HAS SOUPS 27183 WITH SCORE 27354.81
AT ITER 4041 NEW BEST:: SOT 335449 SOS 171870 HAS SOPS 168517 HAS SOUS 27325 HAS SOUPS 27182 WITH SCORE 27353.87
AT ITER 4091 NEW BEST:: SOT 335437 SOS 171858 HAS SOPS 168505 HAS SOUS 27307 HAS SOUPS 27164 WITH SCORE 27335.858
AT ITER 4183 NEW BEST:: SOT 335426 SOS 171833 HAS SOPS 168480 HAS SOUS 27282 HAS SOUPS 27139 WITH SCORE 27310.833
AT ITER 4193 NEW BEST:: SOT 335434 SOS 171854 HAS SOPS 168501 HAS SOUS 27279 HAS SOUPS 27136 WITH SCORE 27307.854
AT ITER 4258 NEW BEST:: SOT 335184 SOS 171604 HAS SOPS 168251 HAS SOUS 26769 HAS SOUPS 26626 WITH SCORE 26797.604
AT ITER 4309 NEW BEST:: SOT 335146 SOS 171566 HAS SOPS 168213 HAS SOUS 26765 HAS SOUPS 26622 WITH SCORE 26793.566
AT ITER 4343 NEW BEST:: SOT 335140 SOS 170948 HAS SOPS 167853 HAS SOUS 26741 HAS SOUPS 26604 WITH SCORE 26774.948
AT ITER 4401 NEW BEST:: SOT 335133 SOS 170941 HAS SOPS 167846 HAS SOUS 26734 HAS SOUPS 26597 WITH SCORE 26767.941
AT ITER 4404 NEW BEST:: SOT 335128 SOS 170931 HAS SOPS 167836 HAS SOUS 26734 HAS SOUPS 26597 WITH SCORE 26767.931
AT ITER 4441 NEW BEST:: SOT 335069 SOS 170872 HAS SOPS 167777 HAS SOUS 26675 HAS SOUPS 26538 WITH SCORE 26708.872
AT ITER 4464 NEW BEST:: SOT 335029 SOS 170832 HAS SOPS 167737 HAS SOUS 26649 HAS SOUPS 26512 WITH SCORE 26682.832
AT ITER 4513 NEW BEST:: SOT 335024 SOS 170822 HAS SOPS 167727 HAS SOUS 26639 HAS SOUPS 26502 WITH SCORE 26672.822
AT ITER 4547 NEW BEST:: SOT 335024 SOS 170820 HAS SOPS 167725 HAS SOUS 26637 HAS SOUPS 26500 WITH SCORE 26670.82
AT ITER 4548 NEW BEST:: SOT 335024 SOS 170690 HAS SOPS 167595 HAS SOUS 26633 HAS SOUPS 26496 WITH SCORE 26666.69
AT ITER 4567 NEW BEST:: SOT 334901 SOS 177247 HAS SOPS 175027 HAS SOUS 26539 HAS SOUPS 26464 WITH SCORE 26641.247
AT ITER 4577 NEW BEST:: SOT 334910 SOS 177707 HAS SOPS 175487 HAS SOUS 26531 HAS SOUPS 26456 WITH SCORE 26633.707
AT ITER 4594 NEW BEST:: SOT 334908 SOS 177705 HAS SOPS 175325 HAS SOUS 26511 HAS SOUPS 26442 WITH SCORE 26619.705
AT ITER 4653 NEW BEST:: SOT 334884 SOS 177681 HAS SOPS 175301 HAS SOUS 26479 HAS SOUPS 26410 WITH SCORE 26587.681
AT ITER 4655 NEW BEST:: SOT 334869 SOS 177666 HAS SOPS 175286 HAS SOUS 26449 HAS SOUPS 26380 WITH SCORE 26557.666
AT ITER 4737 NEW BEST:: SOT 334891 SOS 177688 HAS SOPS 175308 HAS SOUS 26190 HAS SOUPS 26121 WITH SCORE 26298.688
AT ITER 4814 NEW BEST:: SOT 334889 SOS 177686 HAS SOPS 175306 HAS SOUS 25996 HAS SOUPS 25927 WITH SCORE 26104.686
AT ITER 4850 NEW BEST:: SOT 334888 SOS 177682 HAS SOPS 175302 HAS SOUS 25992 HAS SOUPS 25923 WITH SCORE 26100.682
AT ITER 4913 NEW BEST:: SOT 334844 SOS 178639 HAS SOPS 175958 HAS SOUS 25983 HAS SOUPS 25907 WITH SCORE 26085.639
AT ITER 4929 NEW BEST:: SOT 334846 SOS 178636 HAS SOPS 175955 HAS SOUS 25980 HAS SOUPS 25904 WITH SCORE 26082.636
AT ITER 5025 NEW BEST:: SOT 334801 SOS 178591 HAS SOPS 175910 HAS SOUS 25890 HAS SOUPS 25814 WITH SCORE 25992.591
AT ITER 5028 NEW BEST:: SOT 334794 SOS 177983 HAS SOPS 175603 HAS SOUS 25863 HAS SOUPS 25794 WITH SCORE 25971.983
AT ITER 5035 NEW BEST:: SOT 334734 SOS 177923 HAS SOPS 175543 HAS SOUS 25803 HAS SOUPS 25734 WITH SCORE 25911.923
AT ITER 5065 NEW BEST:: SOT 334734 SOS 177923 HAS SOPS 175543 HAS SOUS 25727 HAS SOUPS 25658 WITH SCORE 25835.923
AT ITER 5187 NEW BEST:: SOT 334726 SOS 177907 HAS SOPS 175527 HAS SOUS 25711 HAS SOUPS 25642 WITH SCORE 25819.907
AT ITER 5262 NEW BEST:: SOT 334799 SOS 177980 HAS SOPS 175600 HAS SOUS 25672 HAS SOUPS 25603 WITH SCORE 25780.98
AT ITER 5359 NEW BEST:: SOT 334807 SOS 177996 HAS SOPS 175616 HAS SOUS 25668 HAS SOUPS 25599 WITH SCORE 25776.996
AT ITER 5378 NEW BEST:: SOT 334807 SOS 177696 HAS SOPS 175316 HAS SOUS 25667 HAS SOUPS 25598 WITH SCORE 25775.696
AT ITER 5395 NEW BEST:: SOT 334802 SOS 177677 HAS SOPS 175297 HAS SOUS 25648 HAS SOUPS 25579 WITH SCORE 25756.677
AT ITER 5417 NEW BEST:: SOT 334764 SOS 177639 HAS SOPS 175259 HAS SOUS 25590 HAS SOUPS 25521 WITH SCORE 25698.639
AT ITER 5440 NEW BEST:: SOT 334769 SOS 177644 HAS SOPS 175264 HAS SOUS 25572 HAS SOUPS 25503 WITH SCORE 25680.644
AT ITER 5514 NEW BEST:: SOT 334766 SOS 177637 HAS SOPS 175257 HAS SOUS 25565 HAS SOUPS 25496 WITH SCORE 25673.637
AT ITER 5707 NEW BEST:: SOT 334763 SOS 177634 HAS SOPS 175254 HAS SOUS 25562 HAS SOUPS 25493 WITH SCORE 25670.634
AT ITER 5785 NEW BEST:: SOT 334761 SOS 177632 HAS SOPS 175252 HAS SOUS 25560 HAS SOUPS 25491 WITH SCORE 25668.632
AT ITER 5820 NEW BEST:: SOT 334797 SOS 177668 HAS SOPS 175288 HAS SOUS 25524 HAS SOUPS 25455 WITH SCORE 25632.668
AT ITER 5868 NEW BEST:: SOT 334794 SOS 177665 HAS SOPS 175285 HAS SOUS 25517 HAS SOUPS 25448 WITH SCORE 25625.665
AT ITER 5913 NEW BEST:: SOT 334792 SOS 177663 HAS SOPS 175283 HAS SOUS 25513 HAS SOUPS 25444 WITH SCORE 25621.663
AT ITER 5973 NEW BEST:: SOT 334789 SOS 177661 HAS SOPS 175281 HAS SOUS 25511 HAS SOUPS 25442 WITH SCORE 25619.661
AT ITER 6001 NEW BEST:: SOT 334785 SOS 177657 HAS SOPS 175277 HAS SOUS 25462 HAS SOUPS 25393 WITH SCORE 25570.657
AT ITER 6009 NEW BEST:: SOT 334781 SOS 177649 HAS SOPS 175269 HAS SOUS 25454 HAS SOUPS 25385 WITH SCORE 25562.649
AT ITER 6108 NEW BEST:: SOT 334781 SOS 177664 HAS SOPS 175284 HAS SOUS 25452 HAS SOUPS 25383 WITH SCORE 25560.664
AT ITER 6117 NEW BEST:: SOT 334678 SOS 177561 HAS SOPS 175181 HAS SOUS 25338 HAS SOUPS 25269 WITH SCORE 25446.561
AT ITER 6143 NEW BEST:: SOT 334648 SOS 177531 HAS SOPS 175151 HAS SOUS 25262 HAS SOUPS 25193 WITH SCORE 25370.531
AT ITER 6210 NEW BEST:: SOT 334651 SOS 177539 HAS SOPS 175159 HAS SOUS 25250 HAS SOUPS 25181 WITH SCORE 25358.539
AT ITER 6270 NEW BEST:: SOT 334533 SOS 177421 HAS SOPS 175041 HAS SOUS 25014 HAS SOUPS 24945 WITH SCORE 25122.421
AT ITER 6281 NEW BEST:: SOT 334530 SOS 177417 HAS SOPS 175037 HAS SOUS 25010 HAS SOUPS 24941 WITH SCORE 25118.417
AT ITER 6338 NEW BEST:: SOT 334530 SOS 177411 HAS SOPS 175031 HAS SOUS 25004 HAS SOUPS 24935 WITH SCORE 25112.411
AT ITER 6433 NEW BEST:: SOT 334530 SOS 177411 HAS SOPS 175031 HAS SOUS 24968 HAS SOUPS 24899 WITH SCORE 25076.411
AT ITER 6455 NEW BEST:: SOT 334529 SOS 177410 HAS SOPS 175030 HAS SOUS 24967 HAS SOUPS 24898 WITH SCORE 25075.41
AT ITER 6596 NEW BEST:: SOT 334528 SOS 177409 HAS SOPS 175029 HAS SOUS 24908 HAS SOUPS 24839 WITH SCORE 25016.409
AT ITER 6602 NEW BEST:: SOT 334528 SOS 177432 HAS SOPS 175052 HAS SOUS 24829 HAS SOUPS 24760 WITH SCORE 24937.432
AT ITER 6616 NEW BEST:: SOT 334334 SOS 177238 HAS SOPS 174858 HAS SOUS 24495 HAS SOUPS 24426 WITH SCORE 24603.238
AT ITER 6675 NEW BEST:: SOT 334351 SOS 173419 HAS SOPS 170420 HAS SOUS 24492 HAS SOUPS 24362 WITH SCORE 24535.419
AT ITER 6676 NEW BEST:: SOT 334349 SOS 173414 HAS SOPS 170415 HAS SOUS 24487 HAS SOUPS 24357 WITH SCORE 24530.414
AT ITER 6793 NEW BEST:: SOT 334351 SOS 173416 HAS SOPS 170417 HAS SOUS 24485 HAS SOUPS 24355 WITH SCORE 24528.416
AT ITER 6854 NEW BEST:: SOT 334352 SOS 173411 HAS SOPS 170412 HAS SOUS 24480 HAS SOUPS 24350 WITH SCORE 24523.411
AT ITER 6938 NEW BEST:: SOT 334365 SOS 173435 HAS SOPS 170436 HAS SOUS 24474 HAS SOUPS 24344 WITH SCORE 24517.435
AT ITER 7037 NEW BEST:: SOT 334361 SOS 173431 HAS SOPS 170432 HAS SOUS 24462 HAS SOUPS 24332 WITH SCORE 24505.431
AT ITER 7176 NEW BEST:: SOT 334361 SOS 173663 HAS SOPS 170664 HAS SOUS 24460 HAS SOUPS 24330 WITH SCORE 24503.663
AT ITER 7199 NEW BEST:: SOT 334357 SOS 173367 HAS SOPS 170540 HAS SOUS 24450 HAS SOUPS 24324 WITH SCORE 24497.367
AT ITER 7211 NEW BEST:: SOT 334357 SOS 173367 HAS SOPS 170540 HAS SOUS 24444 HAS SOUPS 24318 WITH SCORE 24491.367
AT ITER 7228 NEW BEST:: SOT 334355 SOS 173365 HAS SOPS 170538 HAS SOUS 24442 HAS SOUPS 24316 WITH SCORE 24489.365
AT ITER 7290 NEW BEST:: SOT 334358 SOS 173368 HAS SOPS 170541 HAS SOUS 24427 HAS SOUPS 24301 WITH SCORE 24474.368
AT ITER 7310 NEW BEST:: SOT 334355 SOS 173365 HAS SOPS 170538 HAS SOUS 24424 HAS SOUPS 24298 WITH SCORE 24471.365
AT ITER 7342 NEW BEST:: SOT 334107 SOS 173117 HAS SOPS 170290 HAS SOUS 24214 HAS SOUPS 24088 WITH SCORE 24261.117
AT ITER 7348 NEW BEST:: SOT 334104 SOS 173114 HAS SOPS 170287 HAS SOUS 24205 HAS SOUPS 24079 WITH SCORE 24252.114
AT ITER 7364 NEW BEST:: SOT 333933 SOS 172938 HAS SOPS 170111 HAS SOUS 24067 HAS SOUPS 23941 WITH SCORE 24113.938
AT ITER 7382 NEW BEST:: SOT 333933 SOS 172937 HAS SOPS 170110 HAS SOUS 24066 HAS SOUPS 23940 WITH SCORE 24112.937
AT ITER 7421 NEW BEST:: SOT 333920 SOS 172931 HAS SOPS 170104 HAS SOUS 24060 HAS SOUPS 23934 WITH SCORE 24106.931
AT ITER 7423 NEW BEST:: SOT 333919 SOS 172827 HAS SOPS 170043 HAS SOUS 24057 HAS SOUPS 23932 WITH SCORE 24104.827
AT ITER 7492 NEW BEST:: SOT 333928 SOS 172836 HAS SOPS 170052 HAS SOUS 24054 HAS SOUPS 23929 WITH SCORE 24101.836
AT ITER 7627 NEW BEST:: SOT 333936 SOS 172844 HAS SOPS 170060 HAS SOUS 24053 HAS SOUPS 23928 WITH SCORE 24100.844
AT ITER 7657 NEW BEST:: SOT 333934 SOS 172842 HAS SOPS 170058 HAS SOUS 24053 HAS SOUPS 23928 WITH SCORE 24100.842
AT ITER 7662 NEW BEST:: SOT 333934 SOS 172840 HAS SOPS 170056 HAS SOUS 24051 HAS SOUPS 23926 WITH SCORE 24098.84
AT ITER 7683 NEW BEST:: SOT 333933 SOS 172835 HAS SOPS 170051 HAS SOUS 24046 HAS SOUPS 23921 WITH SCORE 24093.835
AT ITER 7815 NEW BEST:: SOT 333924 SOS 172831 HAS SOPS 170047 HAS SOUS 24042 HAS SOUPS 23917 WITH SCORE 24089.831
AT ITER 7927 NEW BEST:: SOT 333924 SOS 172837 HAS SOPS 170053 HAS SOUS 24036 HAS SOUPS 23911 WITH SCORE 24083.837
AT ITER 8242 NEW BEST:: SOT 333898 SOS 172811 HAS SOPS 170027 HAS SOUS 24010 HAS SOUPS 23885 WITH SCORE 24057.811
AT ITER 8382 NEW BEST:: SOT 333897 SOS 172810 HAS SOPS 170026 HAS SOUS 24009 HAS SOUPS 23884 WITH SCORE 24056.81
AT ITER 8497 NEW BEST:: SOT 333894 SOS 172378 HAS SOPS 169723 HAS SOUS 23996 HAS SOUPS 23874 WITH SCORE 24046.378
AT ITER 8566 NEW BEST:: SOT 333818 SOS 172302 HAS SOPS 169647 HAS SOUS 23880 HAS SOUPS 23758 WITH SCORE 23930.302
AT ITER 8726 NEW BEST:: SOT 333815 SOS 172299 HAS SOPS 169644 HAS SOUS 23874 HAS SOUPS 23752 WITH SCORE 23924.299
AT ITER 8762 NEW BEST:: SOT 333735 SOS 172219 HAS SOPS 169564 HAS SOUS 23794 HAS SOUPS 23672 WITH SCORE 23844.219
AT ITER 8821 NEW BEST:: SOT 333736 SOS 172308 HAS SOPS 169653 HAS SOUS 23793 HAS SOUPS 23671 WITH SCORE 23843.308
AT ITER 8972 NEW BEST:: SOT 333735 SOS 172307 HAS SOPS 169652 HAS SOUS 23789 HAS SOUPS 23667 WITH SCORE 23839.307
AT ITER 8974 NEW BEST:: SOT 333731 SOS 172301 HAS SOPS 169646 HAS SOUS 23783 HAS SOUPS 23661 WITH SCORE 23833.301
AT ITER 9053 NEW BEST:: SOT 333729 SOS 172299 HAS SOPS 169644 HAS SOUS 23780 HAS SOUPS 23658 WITH SCORE 23830.299
AT ITER 9080 NEW BEST:: SOT 333651 SOS 172221 HAS SOPS 169566 HAS SOUS 23740 HAS SOUPS 23618 WITH SCORE 23790.221
AT ITER 9100 NEW BEST:: SOT 333627 SOS 172197 HAS SOPS 169542 HAS SOUS 23696 HAS SOUPS 23574 WITH SCORE 23746.197
AT ITER 9169 NEW BEST:: SOT 333626 SOS 172193 HAS SOPS 169538 HAS SOUS 23693 HAS SOUPS 23571 WITH SCORE 23743.193
AT ITER 9173 NEW BEST:: SOT 333609 SOS 172176 HAS SOPS 169521 HAS SOUS 23648 HAS SOUPS 23526 WITH SCORE 23698.176
AT ITER 9194 NEW BEST:: SOT 333608 SOS 172173 HAS SOPS 169518 HAS SOUS 23645 HAS SOUPS 23523 WITH SCORE 23695.173
AT ITER 9226 NEW BEST:: SOT 333608 SOS 172172 HAS SOPS 169517 HAS SOUS 23645 HAS SOUPS 23523 WITH SCORE 23695.172
AT ITER 9295 NEW BEST:: SOT 333608 SOS 172112 HAS SOPS 169457 HAS SOUS 23644 HAS SOUPS 23522 WITH SCORE 23694.112
AT ITER 9369 NEW BEST:: SOT 333608 SOS 172112 HAS SOPS 169457 HAS SOUS 23642 HAS SOUPS 23520 WITH SCORE 23692.112
AT ITER 9503 NEW BEST:: SOT 333396 SOS 171900 HAS SOPS 169245 HAS SOUS 23554 HAS SOUPS 23432 WITH SCORE 23603.9
AT ITER 9506 NEW BEST:: SOT 333395 SOS 171877 HAS SOPS 169222 HAS SOUS 23553 HAS SOUPS 23431 WITH SCORE 23602.877
AT ITER 9669 NEW BEST:: SOT 333395 SOS 171858 HAS SOPS 169203 HAS SOUS 23552 HAS SOUPS 23430 WITH SCORE 23601.858
AT ITER 9719 NEW BEST:: SOT 333393 SOS 171856 HAS SOPS 169201 HAS SOUS 23550 HAS SOUPS 23428 WITH SCORE 23599.856
AT ITER 9797 NEW BEST:: SOT 333393 SOS 171855 HAS SOPS 169200 HAS SOUS 23549 HAS SOUPS 23427 WITH SCORE 23598.855
AT ITER 9971 NEW BEST:: SOT 333388 SOS 171990 HAS SOPS 169335 HAS SOUS 23548 HAS SOUPS 23426 WITH SCORE 23597.99
AT ITER 9981 NEW BEST:: SOT 333330 SOS 171932 HAS SOPS 169277 HAS SOUS 23430 HAS SOUPS 23308 WITH SCORE 23479.932

BK_STOP 1589750171774

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 465 Aborted ${SMART} ${INPUT_SM}

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="SimpleLoadBal-PT-20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SimpleLoadBal-PT-20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r153-oct2-158972910500632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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