Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542100392.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCflexbar-PT-5a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 3.6K Mar 30 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 19:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 19:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 10:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 10:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.8M Mar 24 05:37 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 1589116682358

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

Filename model.pnml
Petri model created: 1415 places, 10593 transitions, 41484 arcs.
AT ITER 0 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567692 HAS SOUPS 243619 WITH SCORE 251147.787
AT ITER 4 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567674 HAS SOUPS 243601 WITH SCORE 251129.787
AT ITER 21 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567642 HAS SOUPS 243569 WITH SCORE 251097.787
AT ITER 22 NEW BEST:: SOT 8913446 SOS 7528787 HAS SOPS 3709854 HAS SOUS 567518 HAS SOUPS 243445 WITH SCORE 250973.787
AT ITER 54 NEW BEST:: SOT 8911810 SOS 7532903 HAS SOPS 3710162 HAS SOUS 566162 HAS SOUPS 242089 WITH SCORE 249621.903
AT ITER 66 NEW BEST:: SOT 8911810 SOS 7532903 HAS SOPS 3710162 HAS SOUS 566072 HAS SOUPS 241999 WITH SCORE 249531.903
AT ITER 78 NEW BEST:: SOT 8910909 SOS 7536712 HAS SOPS 3709624 HAS SOUS 565909 HAS SOUPS 241629 WITH SCORE 249165.712
AT ITER 85 NEW BEST:: SOT 8910909 SOS 7536712 HAS SOPS 3709624 HAS SOUS 565791 HAS SOUPS 241511 WITH SCORE 249047.712
AT ITER 87 NEW BEST:: SOT 8910602 SOS 7536098 HAS SOPS 3710627 HAS SOUS 565100 HAS SOUPS 241051 WITH SCORE 248587.098
AT ITER 88 NEW BEST:: SOT 8908961 SOS 7546760 HAS SOPS 3715171 HAS SOUS 564140 HAS SOUPS 240091 WITH SCORE 247637.76
AT ITER 96 NEW BEST:: SOT 8908823 SOS 7545659 HAS SOPS 3715995 HAS SOUS 563727 HAS SOUPS 239953 WITH SCORE 247498.659
AT ITER 99 NEW BEST:: SOT 8907012 SOS 7550758 HAS SOPS 3716796 HAS SOUS 562204 HAS SOUPS 238430 WITH SCORE 245980.758
AT ITER 101 NEW BEST:: SOT 8907389 SOS 7552928 HAS SOPS 3718966 HAS SOUS 562180 HAS SOUPS 238406 WITH SCORE 245958.928
AT ITER 108 NEW BEST:: SOT 8906806 SOS 7550928 HAS SOPS 3718912 HAS SOUS 561712 HAS SOUPS 238216 WITH SCORE 245766.928
AT ITER 144 NEW BEST:: SOT 8906608 SOS 7549932 HAS SOPS 3719316 HAS SOUS 561364 HAS SOUPS 238068 WITH SCORE 245617.932
AT ITER 155 NEW BEST:: SOT 8905963 SOS 7551348 HAS SOPS 3718149 HAS SOUS 561103 HAS SOUPS 237684 WITH SCORE 245235.348
AT ITER 163 NEW BEST:: SOT 8904367 SOS 7557253 HAS SOPS 3719784 HAS SOUS 559846 HAS SOUPS 236427 WITH SCORE 243984.253
AT ITER 171 NEW BEST:: SOT 8904225 SOS 7556969 HAS SOPS 3720606 HAS SOUS 559553 HAS SOUPS 236292 WITH SCORE 243848.969
AT ITER 173 NEW BEST:: SOT 8904093 SOS 7556117 HAS SOPS 3721126 HAS SOUS 559283 HAS SOUPS 236218 WITH SCORE 243774.117
AT ITER 186 NEW BEST:: SOT 8902358 SOS 7561210 HAS SOPS 3722075 HAS SOUS 557835 HAS SOUPS 234770 WITH SCORE 242331.21
AT ITER 190 NEW BEST:: SOT 8902171 SOS 7560836 HAS SOPS 3721701 HAS SOUS 557461 HAS SOUPS 234396 WITH SCORE 241956.836
AT ITER 196 NEW BEST:: SOT 8897256 SOS 7552537 HAS SOPS 3718496 HAS SOUS 557108 HAS SOUPS 234388 WITH SCORE 241940.537
AT ITER 236 NEW BEST:: SOT 8895760 SOS 7560877 HAS SOPS 3721656 HAS SOUS 556208 HAS SOUPS 233488 WITH SCORE 241048.877
AT ITER 262 NEW BEST:: SOT 8894575 SOS 7565140 HAS SOPS 3722335 HAS SOUS 555383 HAS SOUPS 232663 WITH SCORE 240228.14
AT ITER 265 NEW BEST:: SOT 8892609 SOS 7570877 HAS SOPS 3723340 HAS SOUS 553715 HAS SOUPS 230995 WITH SCORE 238565.877
AT ITER 266 NEW BEST:: SOT 8892541 SOS 7570741 HAS SOPS 3723204 HAS SOUS 553647 HAS SOUPS 230927 WITH SCORE 238497.741
AT ITER 271 NEW BEST:: SOT 8892541 SOS 7570741 HAS SOPS 3723204 HAS SOUS 553523 HAS SOUPS 230803 WITH SCORE 238373.741
AT ITER 290 NEW BEST:: SOT 8892434 SOS 7570527 HAS SOPS 3724033 HAS SOUS 553284 HAS SOUPS 230713 WITH SCORE 238283.527
AT ITER 305 NEW BEST:: SOT 8892257 SOS 7568976 HAS SOPS 3724155 HAS SOUS 552817 HAS SOUPS 230485 WITH SCORE 238053.976
AT ITER 309 NEW BEST:: SOT 8892065 SOS 7568304 HAS SOPS 3723483 HAS SOUS 552625 HAS SOUPS 230293 WITH SCORE 237861.304
AT ITER 311 NEW BEST:: SOT 8892065 SOS 7568304 HAS SOPS 3723483 HAS SOUS 552541 HAS SOUPS 230209 WITH SCORE 237777.304
AT ITER 312 NEW BEST:: SOT 8891729 SOS 7566960 HAS SOPS 3722923 HAS SOUS 552205 HAS SOUPS 229985 WITH SCORE 237551.96
AT ITER 314 NEW BEST:: SOT 8890676 SOS 7568836 HAS SOPS 3720998 HAS SOUS 551471 HAS SOUPS 229070 WITH SCORE 236638.836
AT ITER 329 NEW BEST:: SOT 8890676 SOS 7568836 HAS SOPS 3720998 HAS SOUS 551347 HAS SOUPS 228946 WITH SCORE 236514.836
AT ITER 376 NEW BEST:: SOT 8889379 SOS 7574828 HAS SOPS 3722524 HAS SOUS 550511 HAS SOUPS 228110 WITH SCORE 235684.828
AT ITER 385 NEW BEST:: SOT 8889379 SOS 7574663 HAS SOPS 3722359 HAS SOUS 550511 HAS SOUPS 228110 WITH SCORE 235684.663
AT ITER 407 NEW BEST:: SOT 8888168 SOS 7577632 HAS SOPS 3722178 HAS SOUS 549691 HAS SOUPS 227290 WITH SCORE 234867.632
AT ITER 430 NEW BEST:: SOT 8888071 SOS 7577147 HAS SOPS 3721693 HAS SOUS 549594 HAS SOUPS 227193 WITH SCORE 234770.147
AT ITER 447 NEW BEST:: SOT 8888016 SOS 7577037 HAS SOPS 3723193 HAS SOUS 549210 HAS SOUPS 227039 WITH SCORE 234616.037
AT ITER 448 NEW BEST:: SOT 8887759 SOS 7576523 HAS SOPS 3724359 HAS SOUS 548585 HAS SOUPS 226654 WITH SCORE 234230.523
AT ITER 455 NEW BEST:: SOT 8887759 SOS 7576082 HAS SOPS 3725115 HAS SOUS 548351 HAS SOUPS 226591 WITH SCORE 234167.082
AT ITER 487 NEW BEST:: SOT 8887759 SOS 7576082 HAS SOPS 3725115 HAS SOUS 548241 HAS SOUPS 226481 WITH SCORE 234057.082
AT ITER 529 NEW BEST:: SOT 8887692 SOS 7571392 HAS SOPS 3723621 HAS SOUS 548194 HAS SOUPS 226481 WITH SCORE 234052.392
AT ITER 537 NEW BEST:: SOT 8887229 SOS 7572691 HAS SOPS 3723051 HAS SOUS 547898 HAS SOUPS 226096 WITH SCORE 233668.691
AT ITER 543 NEW BEST:: SOT 8886421 SOS 7556782 HAS SOPS 3728386 HAS SOUS 547375 HAS SOUPS 225573 WITH SCORE 233129.782
AT ITER 568 NEW BEST:: SOT 8886379 SOS 7556698 HAS SOPS 3728596 HAS SOUS 547291 HAS SOUPS 225531 WITH SCORE 233087.698
AT ITER 601 NEW BEST:: SOT 8886379 SOS 7556698 HAS SOPS 3728596 HAS SOUS 547167 HAS SOUPS 225407 WITH SCORE 232963.698
AT ITER 603 NEW BEST:: SOT 8886223 SOS 7557136 HAS SOPS 3728404 HAS SOUS 547155 HAS SOUPS 225365 WITH SCORE 232922.136
AT ITER 608 NEW BEST:: SOT 8885898 SOS 7554946 HAS SOPS 3727754 HAS SOUS 546469 HAS SOUPS 224899 WITH SCORE 232453.946
AT ITER 609 NEW BEST:: SOT 8885748 SOS 7554136 HAS SOPS 3728134 HAS SOUS 546191 HAS SOUPS 224791 WITH SCORE 232345.136
AT ITER 612 NEW BEST:: SOT 8885712 SOS 7553992 HAS SOPS 3727990 HAS SOUS 546119 HAS SOUPS 224719 WITH SCORE 232272.992
AT ITER 617 NEW BEST:: SOT 8884280 SOS 7560850 HAS SOPS 3730354 HAS SOUS 545147 HAS SOUPS 223747 WITH SCORE 231307.85
AT ITER 627 NEW BEST:: SOT 8884280 SOS 7560850 HAS SOPS 3730354 HAS SOUS 545135 HAS SOUPS 223735 WITH SCORE 231295.85
AT ITER 651 NEW BEST:: SOT 8884264 SOS 7560818 HAS SOPS 3730322 HAS SOUS 545111 HAS SOUPS 223711 WITH SCORE 231271.818
AT ITER 699 NEW BEST:: SOT 8884255 SOS 7557141 HAS SOPS 3726645 HAS SOUS 545113 HAS SOUPS 223713 WITH SCORE 231270.141
AT ITER 706 NEW BEST:: SOT 8884255 SOS 7557141 HAS SOPS 3726645 HAS SOUS 544989 HAS SOUPS 223589 WITH SCORE 231146.141
AT ITER 717 NEW BEST:: SOT 8883317 SOS 7558213 HAS SOPS 3724903 HAS SOUS 544453 HAS SOUPS 222919 WITH SCORE 230477.213
AT ITER 725 NEW BEST:: SOT 8882876 SOS 7558906 HAS SOPS 3724273 HAS SOUS 544201 HAS SOUPS 222604 WITH SCORE 230162.906
AT ITER 732 NEW BEST:: SOT 8882800 SOS 7558754 HAS SOPS 3724121 HAS SOUS 544125 HAS SOUPS 222528 WITH SCORE 230086.754
AT ITER 744 NEW BEST:: SOT 8881203 SOS 7566304 HAS SOPS 3726001 HAS SOUS 543034 HAS SOUPS 221437 WITH SCORE 229003.304
AT ITER 761 NEW BEST:: SOT 8880936 SOS 7565770 HAS SOPS 3726433 HAS SOUS 542497 HAS SOUPS 221038 WITH SCORE 228603.77
AT ITER 792 NEW BEST:: SOT 8880936 SOS 7565770 HAS SOPS 3726433 HAS SOUS 542381 HAS SOUPS 220922 WITH SCORE 228487.77
AT ITER 794 NEW BEST:: SOT 8879450 SOS 7568941 HAS SOPS 3726216 HAS SOUS 541092 HAS SOUPS 219633 WITH SCORE 227201.941
AT ITER 810 NEW BEST:: SOT 8879450 SOS 7568941 HAS SOPS 3726216 HAS SOUS 541086 HAS SOUPS 219627 WITH SCORE 227195.941
AT ITER 817 NEW BEST:: SOT 8879450 SOS 7568941 HAS SOPS 3726216 HAS SOUS 541034 HAS SOUPS 219575 WITH SCORE 227143.941
AT ITER 818 NEW BEST:: SOT 8878863 SOS 7570719 HAS SOPS 3725831 HAS SOUS 540887 HAS SOUPS 219325 WITH SCORE 226895.719
AT ITER 822 NEW BEST:: SOT 8878209 SOS 7575114 HAS SOPS 3727510 HAS SOUS 540532 HAS SOUPS 218970 WITH SCORE 226545.114
AT ITER 825 NEW BEST:: SOT 8878086 SOS 7574253 HAS SOPS 3726649 HAS SOUS 540409 HAS SOUPS 218847 WITH SCORE 226421.253
AT ITER 849 NEW BEST:: SOT 8878086 SOS 7574253 HAS SOPS 3726649 HAS SOUS 540323 HAS SOUPS 218761 WITH SCORE 226335.253
AT ITER 867 NEW BEST:: SOT 8877612 SOS 7591323 HAS SOPS 3726273 HAS SOUS 540186 HAS SOUPS 218624 WITH SCORE 226215.323
AT ITER 868 NEW BEST:: SOT 8877612 SOS 7591323 HAS SOPS 3726273 HAS SOUS 540062 HAS SOUPS 218500 WITH SCORE 226091.323
AT ITER 883 NEW BEST:: SOT 8877359 SOS 7593242 HAS SOPS 3726155 HAS SOUS 540150 HAS SOUPS 218491 WITH SCORE 226084.242
AT ITER 898 NEW BEST:: SOT 8877359 SOS 7593242 HAS SOPS 3726155 HAS SOUS 540058 HAS SOUPS 218399 WITH SCORE 225992.242
AT ITER 908 NEW BEST:: SOT 8877189 SOS 7594126 HAS SOPS 3726563 HAS SOUS 539922 HAS SOUPS 218263 WITH SCORE 225857.126
AT ITER 943 NEW BEST:: SOT 8876672 SOS 7603582 HAS SOPS 3728501 HAS SOUS 539689 HAS SOUPS 217672 WITH SCORE 225275.582
AT ITER 947 NEW BEST:: SOT 8876669 SOS 7603576 HAS SOPS 3728474 HAS SOUS 539689 HAS SOUPS 217669 WITH SCORE 225272.576
AT ITER 954 NEW BEST:: SOT 8876669 SOS 7603576 HAS SOPS 3728474 HAS SOUS 539565 HAS SOUPS 217545 WITH SCORE 225148.576
AT ITER 961 NEW BEST:: SOT 8876669 SOS 7603576 HAS SOPS 3728474 HAS SOUS 539543 HAS SOUPS 217523 WITH SCORE 225126.576
AT ITER 983 NEW BEST:: SOT 8876576 SOS 7604165 HAS SOPS 3728412 HAS SOUS 539481 HAS SOUPS 217430 WITH SCORE 225034.165
AT ITER 998 NEW BEST:: SOT 8876286 SOS 7602570 HAS SOPS 3727832 HAS SOUS 538900 HAS SOUPS 216994 WITH SCORE 224596.57
AT ITER 1012 NEW BEST:: SOT 8876118 SOS 7603634 HAS SOPS 3727720 HAS SOUS 538788 HAS SOUPS 216826 WITH SCORE 224429.634
AT ITER 1023 NEW BEST:: SOT 8870955 SOS 7595379 HAS SOPS 3724221 HAS SOUS 538558 HAS SOUPS 216794 WITH SCORE 224389.379
AT ITER 1048 NEW BEST:: SOT 8870799 SOS 7594740 HAS SOPS 3723582 HAS SOUS 538402 HAS SOUPS 216638 WITH SCORE 224232.74
AT ITER 1080 NEW BEST:: SOT 8870713 SOS 7594310 HAS SOPS 3723754 HAS SOUS 538316 HAS SOUPS 216638 WITH SCORE 224232.31
AT ITER 1114 NEW BEST:: SOT 8870713 SOS 7594310 HAS SOPS 3723754 HAS SOUS 538232 HAS SOUPS 216554 WITH SCORE 224148.31
AT ITER 1116 NEW BEST:: SOT 8870713 SOS 7594310 HAS SOPS 3723754 HAS SOUS 538108 HAS SOUPS 216430 WITH SCORE 224024.31
AT ITER 1122 NEW BEST:: SOT 8865276 SOS 7585283 HAS SOPS 3720209 HAS SOUS 537658 HAS SOUPS 216350 WITH SCORE 223935.283
AT ITER 1131 NEW BEST:: SOT 8865259 SOS 7585249 HAS SOPS 3720175 HAS SOUS 537624 HAS SOUPS 216316 WITH SCORE 223901.249
AT ITER 1140 NEW BEST:: SOT 8865196 SOS 7585123 HAS SOPS 3720049 HAS SOUS 537560 HAS SOUPS 216252 WITH SCORE 223837.123
AT ITER 1151 NEW BEST:: SOT 8865170 SOS 7585123 HAS SOPS 3720049 HAS SOUS 537546 HAS SOUPS 216238 WITH SCORE 223823.123
AT ITER 1165 NEW BEST:: SOT 8865170 SOS 7585357 HAS SOPS 3719737 HAS SOUS 537569 HAS SOUPS 216183 WITH SCORE 223768.357
AT ITER 1178 NEW BEST:: SOT 8864304 SOS 7583052 HAS SOPS 3718769 HAS SOUS 537145 HAS SOUPS 215950 WITH SCORE 223533.052
AT ITER 1213 NEW BEST:: SOT 8864153 SOS 7581931 HAS SOPS 3719559 HAS SOUS 536842 HAS SOUPS 215920 WITH SCORE 223501.931
AT ITER 1230 NEW BEST:: SOT 8864053 SOS 7582578 HAS SOPS 3719359 HAS SOUS 536836 HAS SOUPS 215793 WITH SCORE 223375.578
AT ITER 1279 NEW BEST:: SOT 8864013 SOS 7582498 HAS SOPS 3719279 HAS SOUS 536816 HAS SOUPS 215773 WITH SCORE 223355.498
AT ITER 1281 NEW BEST:: SOT 8862853 SOS 7584439 HAS SOPS 3717881 HAS SOUS 536352 HAS SOUPS 215150 WITH SCORE 222734.439
AT ITER 1316 NEW BEST:: SOT 8862853 SOS 7584439 HAS SOPS 3717881 HAS SOUS 536228 HAS SOUPS 215026 WITH SCORE 222610.439
AT ITER 1325 NEW BEST:: SOT 8862894 SOS 7575260 HAS SOPS 3718698 HAS SOUS 535849 HAS SOUPS 214794 WITH SCORE 222369.26
AT ITER 1327 NEW BEST:: SOT 8862894 SOS 7575260 HAS SOPS 3718698 HAS SOUS 535725 HAS SOUPS 214670 WITH SCORE 222245.26
AT ITER 1342 NEW BEST:: SOT 8862894 SOS 7575260 HAS SOPS 3718698 HAS SOUS 535601 HAS SOUPS 214546 WITH SCORE 222121.26
AT ITER 1346 NEW BEST:: SOT 8862894 SOS 7575260 HAS SOPS 3718698 HAS SOUS 535513 HAS SOUPS 214458 WITH SCORE 222033.26
AT ITER 1348 NEW BEST:: SOT 8862894 SOS 7575260 HAS SOPS 3718929 HAS SOUS 535447 HAS SOUPS 214425 WITH SCORE 222000.26
AT ITER 1384 NEW BEST:: SOT 8862509 SOS 7548695 HAS SOPS 3718544 HAS SOUS 534464 HAS SOUPS 213827 WITH SCORE 221375.695
AT ITER 1385 NEW BEST:: SOT 8862165 SOS 7548953 HAS SOPS 3718200 HAS SOUS 534249 HAS SOUPS 213612 WITH SCORE 221160.953
AT ITER 1395 NEW BEST:: SOT 8862155 SOS 7548933 HAS SOPS 3718180 HAS SOUS 534239 HAS SOUPS 213602 WITH SCORE 221150.933
AT ITER 1406 NEW BEST:: SOT 8861481 SOS 7548193 HAS SOPS 3717440 HAS SOUS 534020 HAS SOUPS 213383 WITH SCORE 220931.193
AT ITER 1419 NEW BEST:: SOT 8860013 SOS 7555156 HAS SOPS 3719783 HAS SOUS 532939 HAS SOUPS 212302 WITH SCORE 219857.156
AT ITER 1432 NEW BEST:: SOT 8859683 SOS 7554298 HAS SOPS 3718925 HAS SOUS 532744 HAS SOUPS 212107 WITH SCORE 219661.298
AT ITER 1435 NEW BEST:: SOT 8859683 SOS 7554298 HAS SOPS 3718925 HAS SOUS 532642 HAS SOUPS 212005 WITH SCORE 219559.298
AT ITER 1440 NEW BEST:: SOT 8859657 SOS 7554246 HAS SOPS 3719055 HAS SOUS 532616 HAS SOUPS 212005 WITH SCORE 219559.246
AT ITER 1441 NEW BEST:: SOT 8858812 SOS 7551296 HAS SOPS 3719045 HAS SOUS 532122 HAS SOUPS 211931 WITH SCORE 219482.296
AT ITER 1456 NEW BEST:: SOT 8859095 SOS 7547172 HAS SOPS 3718008 HAS SOUS 531972 HAS SOUPS 211928 WITH SCORE 219475.172
AT ITER 1473 NEW BEST:: SOT 8858904 SOS 7546370 HAS SOPS 3718340 HAS SOUS 531574 HAS SOUPS 211692 WITH SCORE 219238.37
AT ITER 1485 NEW BEST:: SOT 8858904 SOS 7546370 HAS SOPS 3718340 HAS SOUS 531458 HAS SOUPS 211576 WITH SCORE 219122.37
AT ITER 1489 NEW BEST:: SOT 8858904 SOS 7546370 HAS SOPS 3718340 HAS SOUS 531338 HAS SOUPS 211456 WITH SCORE 219002.37
AT ITER 1529 NEW BEST:: SOT 8857259 SOS 7549237 HAS SOPS 3717917 HAS SOUS 530369 HAS SOUPS 210487 WITH SCORE 218036.237
AT ITER 1535 NEW BEST:: SOT 8857081 SOS 7548881 HAS SOPS 3719829 HAS SOUS 529927 HAS SOUPS 210369 WITH SCORE 217917.881
AT ITER 1548 NEW BEST:: SOT 8856993 SOS 7548573 HAS SOPS 3719829 HAS SOUS 529795 HAS SOUPS 210281 WITH SCORE 217829.573
AT ITER 1562 NEW BEST:: SOT 8855985 SOS 7545603 HAS SOPS 3719085 HAS SOUS 529085 HAS SOUPS 209889 WITH SCORE 217434.603
AT ITER 1575 NEW BEST:: SOT 8855196 SOS 7553654 HAS SOPS 3721613 HAS SOUS 529089 HAS SOUPS 209630 WITH SCORE 217183.654
AT ITER 1587 NEW BEST:: SOT 8855140 SOS 7553542 HAS SOPS 3721697 HAS SOUS 529005 HAS SOUPS 209574 WITH SCORE 217127.542
AT ITER 1600 NEW BEST:: SOT 8853821 SOS 7562977 HAS SOPS 3725672 HAS SOUS 528283 HAS SOUPS 208852 WITH SCORE 216414.977
AT ITER 1606 NEW BEST:: SOT 8852697 SOS 7566101 HAS SOPS 3724470 HAS SOUS 527554 HAS SOUPS 207917 WITH SCORE 215483.101
AT ITER 1652 NEW BEST:: SOT 8852487 SOS 7566341 HAS SOPS 3724290 HAS SOUS 527464 HAS SOUPS 207827 WITH SCORE 215393.34100000001
AT ITER 1658 NEW BEST:: SOT 8845413 SOS 7555083 HAS SOPS 3719628 HAS SOUS 526956 HAS SOUPS 207686 WITH SCORE 215241.083
AT ITER 1666 NEW BEST:: SOT 8845413 SOS 7554996 HAS SOPS 3719744 HAS SOUS 526927 HAS SOUPS 207686 WITH SCORE 215240.996
AT ITER 1675 NEW BEST:: SOT 8845260 SOS 7554690 HAS SOPS 3718374 HAS SOUS 526800 HAS SOUPS 207407 WITH SCORE 214961.69
AT ITER 1678 NEW BEST:: SOT 8845179 SOS 7555669 HAS SOPS 3719353 HAS SOUS 526640 HAS SOUPS 207247 WITH SCORE 214802.669
AT ITER 1681 NEW BEST:: SOT 8845179 SOS 7555669 HAS SOPS 3719353 HAS SOUS 526534 HAS SOUPS 207141 WITH SCORE 214696.669
AT ITER 1712 NEW BEST:: SOT 8844497 SOS 7554433 HAS SOPS 3718117 HAS SOUS 526203 HAS SOUPS 206810 WITH SCORE 214364.433
AT ITER 1713 NEW BEST:: SOT 8844873 SOS 7555547 HAS SOPS 3719231 HAS SOUS 526177 HAS SOUPS 206784 WITH SCORE 214339.547
AT ITER 1714 NEW BEST:: SOT 8844673 SOS 7555147 HAS SOPS 3719531 HAS SOUS 525777 HAS SOUPS 206484 WITH SCORE 214039.147
AT ITER 1768 NEW BEST:: SOT 8844907 SOS 7555843 HAS SOPS 3719695 HAS SOUS 525807 HAS SOUPS 206438 WITH SCORE 213993.843
AT ITER 1776 NEW BEST:: SOT 8844253 SOS 7562476 HAS SOPS 3722366 HAS SOUS 525783 HAS SOUPS 206414 WITH SCORE 213976.476
AT ITER 1798 NEW BEST:: SOT 8844038 SOS 7562046 HAS SOPS 3723266 HAS SOUS 525273 HAS SOUPS 206094 WITH SCORE 213656.046
AT ITER 1803 NEW BEST:: SOT 8843783 SOS 7561740 HAS SOPS 3722960 HAS SOUS 525222 HAS SOUPS 206043 WITH SCORE 213604.74
AT ITER 1808 NEW BEST:: SOT 8843783 SOS 7561740 HAS SOPS 3722960 HAS SOUS 525152 HAS SOUPS 205973 WITH SCORE 213534.74
AT ITER 1839 NEW BEST:: SOT 8843783 SOS 7561740 HAS SOPS 3722960 HAS SOUS 525060 HAS SOUPS 205881 WITH SCORE 213442.74
AT ITER 1846 NEW BEST:: SOT 8842812 SOS 7558414 HAS SOPS 3722042 HAS SOUS 523570 HAS SOUPS 204735 WITH SCORE 212293.414
AT ITER 1855 NEW BEST:: SOT 8842544 SOS 7557074 HAS SOPS 3721640 HAS SOUS 523300 HAS SOUPS 204599 WITH SCORE 212156.074
AT ITER 1860 NEW BEST:: SOT 8842544 SOS 7557074 HAS SOPS 3721640 HAS SOUS 523176 HAS SOUPS 204475 WITH SCORE 212032.074
AT ITER 1875 NEW BEST:: SOT 8842544 SOS 7557074 HAS SOPS 3721640 HAS SOUS 523052 HAS SOUPS 204351 WITH SCORE 211908.074
AT ITER 1920 NEW BEST:: SOT 8837878 SOS 7549651 HAS SOPS 3718476 HAS SOUS 522850 HAS SOUPS 204323 WITH SCORE 211872.651
AT ITER 1923 NEW BEST:: SOT 8837075 SOS 7550663 HAS SOPS 3716989 HAS SOUS 522329 HAS SOUPS 203683 WITH SCORE 211233.663
AT ITER 1928 NEW BEST:: SOT 8836817 SOS 7549804 HAS SOPS 3717033 HAS SOUS 521812 HAS SOUPS 203295 WITH SCORE 210844.804
AT ITER 1953 NEW BEST:: SOT 8836817 SOS 7549804 HAS SOPS 3717033 HAS SOUS 521770 HAS SOUPS 203253 WITH SCORE 210802.804
AT ITER 1955 NEW BEST:: SOT 8836891 SOS 7553450 HAS SOPS 3718558 HAS SOUS 521815 HAS SOUPS 203197 WITH SCORE 210750.45
AT ITER 1961 NEW BEST:: SOT 8836891 SOS 7553450 HAS SOPS 3718558 HAS SOUS 521711 HAS SOUPS 203093 WITH SCORE 210646.45
AT ITER 1977 NEW BEST:: SOT 8836359 SOS 7557282 HAS SOPS 3720486 HAS SOUS 521327 HAS SOUPS 202709 WITH SCORE 210266.282
AT ITER 2014 NEW BEST:: SOT 8835777 SOS 7555866 HAS SOPS 3719070 HAS SOUS 521056 HAS SOUPS 202438 WITH SCORE 209993.866
AT ITER 2019 NEW BEST:: SOT 8835027 SOS 7553700 HAS SOPS 3718458 HAS SOUS 520552 HAS SOUPS 202156 WITH SCORE 209709.7
AT ITER 2033 NEW BEST:: SOT 8835027 SOS 7553760 HAS SOPS 3718518 HAS SOUS 520532 HAS SOUPS 202136 WITH SCORE 209689.76
AT ITER 2036 NEW BEST:: SOT 8834452 SOS 7558026 HAS SOPS 3720460 HAS SOUS 520123 HAS SOUPS 201727 WITH SCORE 209285.026
AT ITER 2081 NEW BEST:: SOT 8834275 SOS 7557056 HAS SOPS 3719490 HAS SOUS 520078 HAS SOUPS 201682 WITH SCORE 209239.056
AT ITER 2083 NEW BEST:: SOT 8833811 SOS 7557404 HAS SOPS 3719026 HAS SOUS 519788 HAS SOUPS 201392 WITH SCORE 208949.404
AT ITER 2108 NEW BEST:: SOT 8833811 SOS 7557404 HAS SOPS 3719026 HAS SOUS 519666 HAS SOUPS 201270 WITH SCORE 208827.404
AT ITER 2114 NEW BEST:: SOT 8833811 SOS 7557404 HAS SOPS 3719026 HAS SOUS 519654 HAS SOUPS 201258 WITH SCORE 208815.404
AT ITER 2171 NEW BEST:: SOT 8833811 SOS 7557404 HAS SOPS 3719026 HAS SOUS 519613 HAS SOUPS 201217 WITH SCORE 208774.404
AT ITER 2192 NEW BEST:: SOT 8833811 SOS 7556690 HAS SOPS 3720048 HAS SOUS 519365 HAS SOUPS 201217 WITH SCORE 208773.69
AT ITER 2202 NEW BEST:: SOT 8831547 SOS 7564710 HAS SOPS 3723844 HAS SOUS 518319 HAS SOUPS 200424 WITH SCORE 207988.71
AT ITER 2206 NEW BEST:: SOT 8831387 SOS 7564390 HAS SOPS 3723524 HAS SOUS 518158 HAS SOUPS 200263 WITH SCORE 207827.39
AT ITER 2209 NEW BEST:: SOT 8831318 SOS 7563846 HAS SOPS 3724730 HAS SOUS 517856 HAS SOUPS 200211 WITH SCORE 207774.846
AT ITER 2211 NEW BEST:: SOT 8830594 SOS 7563122 HAS SOPS 3724006 HAS SOUS 517674 HAS SOUPS 200029 WITH SCORE 207592.122
AT ITER 2217 NEW BEST:: SOT 8829988 SOS 7561265 HAS SOPS 3723654 HAS SOUS 517356 HAS SOUPS 199926 WITH SCORE 207487.265
AT ITER 2233 NEW BEST:: SOT 8829988 SOS 7561265 HAS SOPS 3723654 HAS SOUS 517320 HAS SOUPS 199890 WITH SCORE 207451.265
AT ITER 2244 NEW BEST:: SOT 8829988 SOS 7561265 HAS SOPS 3723654 HAS SOUS 517230 HAS SOUPS 199800 WITH SCORE 207361.265
AT ITER 2262 NEW BEST:: SOT 8829988 SOS 7561265 HAS SOPS 3723654 HAS SOUS 517212 HAS SOUPS 199782 WITH SCORE 207343.265
AT ITER 2270 NEW BEST:: SOT 8829988 SOS 7561265 HAS SOPS 3723654 HAS SOUS 517174 HAS SOUPS 199744 WITH SCORE 207305.265
AT ITER 2272 NEW BEST:: SOT 8829988 SOS 7561265 HAS SOPS 3723654 HAS SOUS 517166 HAS SOUPS 199736 WITH SCORE 207297.265
AT ITER 2279 NEW BEST:: SOT 8829820 SOS 7562553 HAS SOPS 3723766 HAS SOUS 517166 HAS SOUPS 199680 WITH SCORE 207242.553
AT ITER 2335 NEW BEST:: SOT 8829820 SOS 7562553 HAS SOPS 3723766 HAS SOUS 517118 HAS SOUPS 199632 WITH SCORE 207194.553
AT ITER 2380 NEW BEST:: SOT 8829797 SOS 7562535 HAS SOPS 3723167 HAS SOUS 517095 HAS SOUPS 199526 WITH SCORE 207088.535
AT ITER 2424 NEW BEST:: SOT 8829786 SOS 7558718 HAS SOPS 3719350 HAS SOUS 517095 HAS SOUPS 199526 WITH SCORE 207084.718
AT ITER 2437 NEW BEST:: SOT 8828228 SOS 7567720 HAS SOPS 3723046 HAS SOUS 516698 HAS SOUPS 199129 WITH SCORE 206696.72
AT ITER 2442 NEW BEST:: SOT 8827527 SOS 7569881 HAS SOPS 3721973 HAS SOUS 516499 HAS SOUPS 198776 WITH SCORE 206345.881
AT ITER 2444 NEW BEST:: SOT 8827513 SOS 7569951 HAS SOPS 3722043 HAS SOUS 516485 HAS SOUPS 198762 WITH SCORE 206331.951
AT ITER 2456 NEW BEST:: SOT 8826782 SOS 7575682 HAS SOPS 3724288 HAS SOUS 516233 HAS SOUPS 198510 WITH SCORE 206085.682
AT ITER 2469 NEW BEST:: SOT 8829796 SOS 7590259 HAS SOPS 3729208 HAS SOUS 516215 HAS SOUPS 198202 WITH SCORE 205792.259
AT ITER 2479 NEW BEST:: SOT 8828769 SOS 7596900 HAS SOPS 3731621 HAS SOUS 515542 HAS SOUPS 197529 WITH SCORE 205125.9
AT ITER 2491 NEW BEST:: SOT 8828769 SOS 7596900 HAS SOPS 3731621 HAS SOUS 515534 HAS SOUPS 197521 WITH SCORE 205117.9
AT ITER 2496 NEW BEST:: SOT 8828521 SOS 7598204 HAS SOPS 3731413 HAS SOUS 515374 HAS SOUPS 197289 WITH SCORE 204887.204
AT ITER 2501 NEW BEST:: SOT 8832917 SOS 7605479 HAS SOPS 3734064 HAS SOUS 515392 HAS SOUPS 197003 WITH SCORE 204608.479
AT ITER 2504 NEW BEST:: SOT 8831608 SOS 7613712 HAS SOPS 3734632 HAS SOUS 515136 HAS SOUPS 196382 WITH SCORE 203995.712
AT ITER 2512 NEW BEST:: SOT 8830274 SOS 7615459 HAS SOPS 3732452 HAS SOUS 514364 HAS SOUPS 195423 WITH SCORE 203038.459
AT ITER 2517 NEW BEST:: SOT 8829697 SOS 7602055 HAS SOPS 3737519 HAS SOUS 514210 HAS SOUPS 195269 WITH SCORE 202871.055
AT ITER 2518 NEW BEST:: SOT 8828287 SOS 7606401 HAS SOPS 3738561 HAS SOUS 513156 HAS SOUPS 194215 WITH SCORE 201821.401
AT ITER 2521 NEW BEST:: SOT 8828065 SOS 7606048 HAS SOPS 3736857 HAS SOUS 512991 HAS SOUPS 193857 WITH SCORE 201463.048
AT ITER 2528 NEW BEST:: SOT 8827974 SOS 7606707 HAS SOPS 3736907 HAS SOUS 512958 HAS SOUPS 193795 WITH SCORE 201401.707
AT ITER 2530 NEW BEST:: SOT 8827216 SOS 7606328 HAS SOPS 3736528 HAS SOUS 512579 HAS SOUPS 193416 WITH SCORE 201022.328
AT ITER 2533 NEW BEST:: SOT 8826876 SOS 7605648 HAS SOPS 3735848 HAS SOUS 512120 HAS SOUPS 192957 WITH SCORE 200562.648
AT ITER 2555 NEW BEST:: SOT 8822632 SOS 7567141 HAS SOPS 3732918 HAS SOUS 512032 HAS SOUPS 192956 WITH SCORE 200523.141
AT ITER 2566 NEW BEST:: SOT 8822089 SOS 7569825 HAS SOPS 3733782 HAS SOUS 511619 HAS SOUPS 192543 WITH SCORE 200112.825
AT ITER 2572 NEW BEST:: SOT 8822089 SOS 7569825 HAS SOPS 3733782 HAS SOUS 511587 HAS SOUPS 192511 WITH SCORE 200080.825
AT ITER 2604 NEW BEST:: SOT 8819868 SOS 7566426 HAS SOPS 3731391 HAS SOUS 511460 HAS SOUPS 192384 WITH SCORE 199950.426
AT ITER 2607 NEW BEST:: SOT 8819793 SOS 7566276 HAS SOPS 3731241 HAS SOUS 511386 HAS SOUPS 192310 WITH SCORE 199876.276
AT ITER 2621 NEW BEST:: SOT 8820433 SOS 7581531 HAS SOPS 3731876 HAS SOUS 511464 HAS SOUPS 192173 WITH SCORE 199754.531
AT ITER 2658 NEW BEST:: SOT 8822529 SOS 7585013 HAS SOPS 3734170 HAS SOUS 511270 HAS SOUPS 191979 WITH SCORE 199564.013
AT ITER 2721 NEW BEST:: SOT 8822661 SOS 7585277 HAS SOPS 3734434 HAS SOUS 511198 HAS SOUPS 191907 WITH SCORE 199492.277
AT ITER 2727 NEW BEST:: SOT 8822661 SOS 7585277 HAS SOPS 3734434 HAS SOUS 511162 HAS SOUPS 191871 WITH SCORE 199456.277
AT ITER 2733 NEW BEST:: SOT 8822506 SOS 7585541 HAS SOPS 3734698 HAS SOUS 511025 HAS SOUPS 191734 WITH SCORE 199319.541
AT ITER 2734 NEW BEST:: SOT 8822387 SOS 7584932 HAS SOPS 3734089 HAS SOUS 510904 HAS SOUPS 191613 WITH SCORE 199197.932
AT ITER 2735 NEW BEST:: SOT 8822256 SOS 7588306 HAS SOPS 3735342 HAS SOUS 510975 HAS SOUPS 191583 WITH SCORE 199171.306
AT ITER 2797 NEW BEST:: SOT 8822078 SOS 7587488 HAS SOPS 3736148 HAS SOUS 510549 HAS SOUPS 191389 WITH SCORE 198976.488
AT ITER 2812 NEW BEST:: SOT 8822237 SOS 7580743 HAS SOPS 3734401 HAS SOUS 510251 HAS SOUPS 191329 WITH SCORE 198909.743
AT ITER 2816 NEW BEST:: SOT 8822346 SOS 7580944 HAS SOPS 3734602 HAS SOUS 510243 HAS SOUPS 191321 WITH SCORE 198901.944
AT ITER 2822 NEW BEST:: SOT 8822342 SOS 7580922 HAS SOPS 3734594 HAS SOUS 510235 HAS SOUPS 191315 WITH SCORE 198895.922
AT ITER 2827 NEW BEST:: SOT 8822342 SOS 7580922 HAS SOPS 3734594 HAS SOUS 510193 HAS SOUPS 191273 WITH SCORE 198853.922
AT ITER 2829 NEW BEST:: SOT 8822235 SOS 7580946 HAS SOPS 3734618 HAS SOUS 510078 HAS SOUPS 191158 WITH SCORE 198738.946
AT ITER 2836 NEW BEST:: SOT 8822236 SOS 7571128 HAS SOPS 3726432 HAS SOUS 510039 HAS SOUPS 191143 WITH SCORE 198714.128
AT ITER 2859 NEW BEST:: SOT 8818138 SOS 7564986 HAS SOPS 3722252 HAS SOUS 509905 HAS SOUPS 191009 WITH SCORE 198573.986
AT ITER 2868 NEW BEST:: SOT 8817813 SOS 7564661 HAS SOPS 3721927 HAS SOUS 509580 HAS SOUPS 190684 WITH SCORE 198248.661
AT ITER 2873 NEW BEST:: SOT 8817755 SOS 7564545 HAS SOPS 3721608 HAS SOUS 509522 HAS SOUPS 190597 WITH SCORE 198161.545
AT ITER 2891 NEW BEST:: SOT 8817434 SOS 7563903 HAS SOPS 3720966 HAS SOUS 509110 HAS SOUPS 190185 WITH SCORE 197748.903
AT ITER 2895 NEW BEST:: SOT 8817430 SOS 7563895 HAS SOPS 3720966 HAS SOUS 509106 HAS SOUPS 190185 WITH SCORE 197748.895
AT ITER 2908 NEW BEST:: SOT 8817405 SOS 7550373 HAS SOPS 3707444 HAS SOUS 509114 HAS SOUPS 190193 WITH SCORE 197743.373
AT ITER 2913 NEW BEST:: SOT 8817354 SOS 7548941 HAS SOPS 3707342 HAS SOUS 508895 HAS SOUPS 190164 WITH SCORE 197712.941
AT ITER 2915 NEW BEST:: SOT 8817354 SOS 7548941 HAS SOPS 3707342 HAS SOUS 508771 HAS SOUPS 190040 WITH SCORE 197588.941
AT ITER 2928 NEW BEST:: SOT 8817320 SOS 7545010 HAS SOPS 3705063 HAS SOUS 508619 HAS SOUPS 189888 WITH SCORE 197433.01
AT ITER 2940 NEW BEST:: SOT 8816464 SOS 7543298 HAS SOPS 3703351 HAS SOUS 508089 HAS SOUPS 189358 WITH SCORE 196901.298
AT ITER 2977 NEW BEST:: SOT 8816389 SOS 7543148 HAS SOPS 3703866 HAS SOUS 507939 HAS SOUPS 189303 WITH SCORE 196846.148
AT ITER 2992 NEW BEST:: SOT 8816422 SOS 7541342 HAS SOPS 3702788 HAS SOUS 507915 HAS SOUPS 189279 WITH SCORE 196820.342
AT ITER 3021 NEW BEST:: SOT 8816565 SOS 7534698 HAS SOPS 3702876 HAS SOUS 507775 HAS SOUPS 189238 WITH SCORE 196772.698
AT ITER 3040 NEW BEST:: SOT 8816541 SOS 7534237 HAS SOPS 3702415 HAS SOUS 507727 HAS SOUPS 189190 WITH SCORE 196724.237
AT ITER 3053 NEW BEST:: SOT 8815100 SOS 7543852 HAS SOPS 3706416 HAS SOUS 506867 HAS SOUPS 188330 WITH SCORE 195873.852
AT ITER 3091 NEW BEST:: SOT 8815100 SOS 7543852 HAS SOPS 3706416 HAS SOUS 506743 HAS SOUPS 188206 WITH SCORE 195749.852
AT ITER 3119 NEW BEST:: SOT 8814688 SOS 7543419 HAS SOPS 3705983 HAS SOUS 506743 HAS SOUPS 188206 WITH SCORE 195749.419
AT ITER 3132 NEW BEST:: SOT 8814688 SOS 7543342 HAS SOPS 3705983 HAS SOUS 506732 HAS SOUPS 188206 WITH SCORE 195749.342
AT ITER 3137 NEW BEST:: SOT 8814536 SOS 7543038 HAS SOPS 3705679 HAS SOUS 506318 HAS SOUPS 187792 WITH SCORE 195335.038
AT ITER 3150 NEW BEST:: SOT 8814536 SOS 7543038 HAS SOPS 3705679 HAS SOUS 506282 HAS SOUPS 187756 WITH SCORE 195299.038
AT ITER 3164 NEW BEST:: SOT 8814560 SOS 7543104 HAS SOPS 3705703 HAS SOUS 506282 HAS SOUPS 187750 WITH SCORE 195293.104
AT ITER 3172 NEW BEST:: SOT 8814505 SOS 7542994 HAS SOPS 3705593 HAS SOUS 506227 HAS SOUPS 187695 WITH SCORE 195237.994
AT ITER 3175 NEW BEST:: SOT 8814406 SOS 7542047 HAS SOPS 3705395 HAS SOUS 505969 HAS SOUPS 187544 WITH SCORE 195086.047
AT ITER 3178 NEW BEST:: SOT 8814406 SOS 7542047 HAS SOPS 3705395 HAS SOUS 505875 HAS SOUPS 187450 WITH SCORE 194992.047
AT ITER 3225 NEW BEST:: SOT 8808351 SOS 7531935 HAS SOPS 3701666 HAS SOUS 505268 HAS SOUPS 187334 WITH SCORE 194865.935
AT ITER 3228 NEW BEST:: SOT 8808216 SOS 7532701 HAS SOPS 3700906 HAS SOUS 505368 HAS SOUPS 187216 WITH SCORE 194748.701
AT ITER 3262 NEW BEST:: SOT 8807356 SOS 7534606 HAS SOPS 3700186 HAS SOUS 505196 HAS SOUPS 186919 WITH SCORE 194453.606
AT ITER 3337 NEW BEST:: SOT 8807313 SOS 7534520 HAS SOPS 3700100 HAS SOUS 505196 HAS SOUPS 186919 WITH SCORE 194453.52
AT ITER 3354 NEW BEST:: SOT 8807313 SOS 7534520 HAS SOPS 3700100 HAS SOUS 505166 HAS SOUPS 186889 WITH SCORE 194423.52
AT ITER 3357 NEW BEST:: SOT 8807223 SOS 7534952 HAS SOPS 3700154 HAS SOUS 505148 HAS SOUPS 186853 WITH SCORE 194387.952
AT ITER 3431 NEW BEST:: SOT 8807223 SOS 7534952 HAS SOPS 3700154 HAS SOUS 505084 HAS SOUPS 186789 WITH SCORE 194323.952
AT ITER 3432 NEW BEST:: SOT 8807223 SOS 7534952 HAS SOPS 3700154 HAS SOUS 504960 HAS SOUPS 186665 WITH SCORE 194199.952
AT ITER 3467 NEW BEST:: SOT 8806339 SOS 7520463 HAS SOPS 3703995 HAS SOUS 504122 HAS SOUPS 185827 WITH SCORE 193347.463
AT ITER 3481 NEW BEST:: SOT 8806339 SOS 7520463 HAS SOPS 3703995 HAS SOUS 504102 HAS SOUPS 185807 WITH SCORE 193327.463
AT ITER 3488 NEW BEST:: SOT 8806339 SOS 7520436 HAS SOPS 3704031 HAS SOUS 504093 HAS SOUPS 185807 WITH SCORE 193327.436
AT ITER 3505 NEW BEST:: SOT 8806298 SOS 7520354 HAS SOPS 3703949 HAS SOUS 504052 HAS SOUPS 185766 WITH SCORE 193286.354
AT ITER 3536 NEW BEST:: SOT 8806305 SOS 7520368 HAS SOPS 3703963 HAS SOUS 504001 HAS SOUPS 185715 WITH SCORE 193235.368
AT ITER 3539 NEW BEST:: SOT 8806305 SOS 7518828 HAS SOPS 3703998 HAS SOUS 503776 HAS SOUPS 185715 WITH SCORE 193233.828
AT ITER 3546 NEW BEST:: SOT 8806277 SOS 7518772 HAS SOPS 3704040 HAS SOUS 503734 HAS SOUPS 185687 WITH SCORE 193205.772
AT ITER 3567 NEW BEST:: SOT 8802611 SOS 7513206 HAS SOPS 3701552 HAS SOUS 503494 HAS SOUPS 185499 WITH SCORE 193012.206
AT ITER 3574 NEW BEST:: SOT 8802611 SOS 7513206 HAS SOPS 3701552 HAS SOUS 503440 HAS SOUPS 185445 WITH SCORE 192958.206
AT ITER 3597 NEW BEST:: SOT 8800841 SOS 7511042 HAS SOPS 3700420 HAS SOUS 503374 HAS SOUPS 185379 WITH SCORE 192890.042
AT ITER 3600 NEW BEST:: SOT 8800841 SOS 7511042 HAS SOPS 3700420 HAS SOUS 503368 HAS SOUPS 185373 WITH SCORE 192884.042
AT ITER 3618 NEW BEST:: SOT 8800841 SOS 7511042 HAS SOPS 3700420 HAS SOUS 503218 HAS SOUPS 185223 WITH SCORE 192734.042
AT ITER 3675 NEW BEST:: SOT 8800841 SOS 7511042 HAS SOPS 3700420 HAS SOUS 503150 HAS SOUPS 185155 WITH SCORE 192666.042
AT ITER 3687 NEW BEST:: SOT 8800840 SOS 7511677 HAS SOPS 3700418 HAS SOUS 503197 HAS SOUPS 185111 WITH SCORE 192622.677
AT ITER 3699 NEW BEST:: SOT 8800628 SOS 7511540 HAS SOPS 3698979 HAS SOUS 503133 HAS SOUPS 184861 WITH SCORE 192372.54
AT ITER 3703 NEW BEST:: SOT 8800995 SOS 7514444 HAS SOPS 3700413 HAS SOUS 503010 HAS SOUPS 184738 WITH SCORE 192252.444
AT ITER 3709 NEW BEST:: SOT 8800090 SOS 7521573 HAS SOPS 3703132 HAS SOUS 502873 HAS SOUPS 184601 WITH SCORE 192122.573
AT ITER 3771 NEW BEST:: SOT 8799755 SOS 7520773 HAS SOPS 3702332 HAS SOUS 502796 HAS SOUPS 184524 WITH SCORE 192044.773
AT ITER 3777 NEW BEST:: SOT 8799754 SOS 7520771 HAS SOPS 3702330 HAS SOUS 502795 HAS SOUPS 184523 WITH SCORE 192043.771
AT ITER 3785 NEW BEST:: SOT 8799754 SOS 7520771 HAS SOPS 3702330 HAS SOUS 502781 HAS SOUPS 184509 WITH SCORE 192029.771
AT ITER 3791 NEW BEST:: SOT 8799754 SOS 7520771 HAS SOPS 3702330 HAS SOUS 502657 HAS SOUPS 184385 WITH SCORE 191905.771
AT ITER 3805 NEW BEST:: SOT 8799754 SOS 7520663 HAS SOPS 3702474 HAS SOUS 502621 HAS SOUPS 184385 WITH SCORE 191905.663
AT ITER 3808 NEW BEST:: SOT 8799316 SOS 7519076 HAS SOPS 3702546 HAS SOUS 502339 HAS SOUPS 184340 WITH SCORE 191859.076
AT ITER 3833 NEW BEST:: SOT 8799034 SOS 7517525 HAS SOPS 3701982 HAS SOUS 501774 HAS SOUPS 183916 WITH SCORE 191433.525
AT ITER 3916 NEW BEST:: SOT 8798633 SOS 7518995 HAS SOPS 3701961 HAS SOUS 501696 HAS SOUPS 183767 WITH SCORE 191285.995
AT ITER 3945 NEW BEST:: SOT 8798899 SOS 7520504 HAS SOPS 3703470 HAS SOUS 501555 HAS SOUPS 183626 WITH SCORE 191146.504
AT ITER 3948 NEW BEST:: SOT 8798899 SOS 7520504 HAS SOPS 3703470 HAS SOUS 501465 HAS SOUPS 183536 WITH SCORE 191056.504
AT ITER 3974 NEW BEST:: SOT 8799012 SOS 7516662 HAS SOPS 3701210 HAS SOUS 501465 HAS SOUPS 183536 WITH SCORE 191052.662
AT ITER 4034 NEW BEST:: SOT 8799012 SOS 7516662 HAS SOPS 3701210 HAS SOUS 501377 HAS SOUPS 183448 WITH SCORE 190964.662
AT ITER 4113 NEW BEST:: SOT 8799012 SOS 7516662 HAS SOPS 3701210 HAS SOUS 501253 HAS SOUPS 183324 WITH SCORE 190840.662
AT ITER 4126 NEW BEST:: SOT 8799091 SOS 7511253 HAS SOPS 3698582 HAS SOUS 501171 HAS SOUPS 183284 WITH SCORE 190795.253
AT ITER 4132 NEW BEST:: SOT 8798979 SOS 7511141 HAS SOPS 3698470 HAS SOUS 501143 HAS SOUPS 183256 WITH SCORE 190767.141
AT ITER 4134 NEW BEST:: SOT 8798594 SOS 7510217 HAS SOPS 3697546 HAS SOUS 500650 HAS SOUPS 182763 WITH SCORE 190273.217
AT ITER 4171 NEW BEST:: SOT 8797466 SOS 7509118 HAS SOPS 3696447 HAS SOUS 500272 HAS SOUPS 182385 WITH SCORE 189894.118
AT ITER 4188 NEW BEST:: SOT 8797358 SOS 7508902 HAS SOPS 3696784 HAS SOUS 500103 HAS SOUPS 182295 WITH SCORE 189803.902
AT ITER 4264 NEW BEST:: SOT 8797333 SOS 7503722 HAS SOPS 3694188 HAS SOUS 500050 HAS SOUPS 182280 WITH SCORE 189783.722
AT ITER 4316 NEW BEST:: SOT 8797333 SOS 7503722 HAS SOPS 3694188 HAS SOUS 499946 HAS SOUPS 182176 WITH SCORE 189679.722
AT ITER 4387 NEW BEST:: SOT 8797333 SOS 7503722 HAS SOPS 3694188 HAS SOUS 499876 HAS SOUPS 182106 WITH SCORE 189609.722
AT ITER 4412 NEW BEST:: SOT 8797333 SOS 7503923 HAS SOPS 3693920 HAS SOUS 499832 HAS SOUPS 181995 WITH SCORE 189498.923
AT ITER 4419 NEW BEST:: SOT 8796523 SOS 7503043 HAS SOPS 3693404 HAS SOUS 499826 HAS SOUPS 181987 WITH SCORE 189490.043
AT ITER 4434 NEW BEST:: SOT 8796327 SOS 7501892 HAS SOPS 3694024 HAS SOUS 499475 HAS SOUPS 181889 WITH SCORE 189390.892
AT ITER 4453 NEW BEST:: SOT 8796327 SOS 7501892 HAS SOPS 3694024 HAS SOUS 499467 HAS SOUPS 181881 WITH SCORE 189382.892
AT ITER 4457 NEW BEST:: SOT 8796324 SOS 7501886 HAS SOPS 3694018 HAS SOUS 499464 HAS SOUPS 181878 WITH SCORE 189379.886
AT ITER 4458 NEW BEST:: SOT 8796345 SOS 7501998 HAS SOPS 3694144 HAS SOUS 499453 HAS SOUPS 181867 WITH SCORE 189368.998
AT ITER 4499 NEW BEST:: SOT 8796201 SOS 7501710 HAS SOPS 3693856 HAS SOUS 499309 HAS SOUPS 181723 WITH SCORE 189224.71
AT ITER 4524 NEW BEST:: SOT 8793130 SOS 7497347 HAS SOPS 3690963 HAS SOUS 499279 HAS SOUPS 181693 WITH SCORE 189190.347
AT ITER 4617 NEW BEST:: SOT 8792988 SOS 7496566 HAS SOPS 3690679 HAS SOUS 498995 HAS SOUPS 181480 WITH SCORE 188976.566
AT ITER 4634 NEW BEST:: SOT 8792953 SOS 7496321 HAS SOPS 3690399 HAS SOUS 498960 HAS SOUPS 181445 WITH SCORE 188941.321
AT ITER 4647 NEW BEST:: SOT 8792920 SOS 7496486 HAS SOPS 3690025 HAS SOUS 498982 HAS SOUPS 181390 WITH SCORE 188886.486
AT ITER 4656 NEW BEST:: SOT 8792870 SOS 7496311 HAS SOPS 3690025 HAS SOUS 498907 HAS SOUPS 181340 WITH SCORE 188836.311
AT ITER 4675 NEW BEST:: SOT 8792694 SOS 7496310 HAS SOPS 3690024 HAS SOUS 498716 HAS SOUPS 181149 WITH SCORE 188645.31
AT ITER 4719 NEW BEST:: SOT 8790660 SOS 7493334 HAS SOPS 3688014 HAS SOUS 498640 HAS SOUPS 181073 WITH SCORE 188566.334
AT ITER 4725 NEW BEST:: SOT 8790016 SOS 7513403 HAS SOPS 3687404 HAS SOUS 498352 HAS SOUPS 180785 WITH SCORE 188298.403
AT ITER 4737 NEW BEST:: SOT 8790273 SOS 7502829 HAS SOPS 3675598 HAS SOUS 498433 HAS SOUPS 180690 WITH SCORE 188192.829
AT ITER 4780 NEW BEST:: SOT 8790147 SOS 7501407 HAS SOPS 3674176 HAS SOUS 498356 HAS SOUPS 180613 WITH SCORE 188114.407
AT ITER 4785 NEW BEST:: SOT 8790335 SOS 7502182 HAS SOPS 3674020 HAS SOUS 498334 HAS SOUPS 180458 WITH SCORE 187960.182
AT ITER 4794 NEW BEST:: SOT 8790335 SOS 7502182 HAS SOPS 3674020 HAS SOUS 498302 HAS SOUPS 180426 WITH SCORE 187928.182
AT ITER 4812 NEW BEST:: SOT 8790282 SOS 7502129 HAS SOPS 3673967 HAS SOUS 498249 HAS SOUPS 180373 WITH SCORE 187875.129
AT ITER 4838 NEW BEST:: SOT 8787922 SOS 7498211 HAS SOPS 3672389 HAS SOUS 497900 HAS SOUPS 180204 WITH SCORE 187702.211
AT ITER 4857 NEW BEST:: SOT 8787442 SOS 7496705 HAS SOPS 3672157 HAS SOUS 497620 HAS SOUPS 180106 WITH SCORE 187602.705
AT ITER 4858 NEW BEST:: SOT 8782994 SOS 7490617 HAS SOPS 3668227 HAS SOUS 497591 HAS SOUPS 180077 WITH SCORE 187567.617
AT ITER 4861 NEW BEST:: SOT 8782979 SOS 7490587 HAS SOPS 3667910 HAS SOUS 497616 HAS SOUPS 180061 WITH SCORE 187551.587
AT ITER 4897 NEW BEST:: SOT 8783063 SOS 7490720 HAS SOPS 3667952 HAS SOUS 497616 HAS SOUPS 180054 WITH SCORE 187544.72
AT ITER 4908 NEW BEST:: SOT 8782479 SOS 7489036 HAS SOPS 3667472 HAS SOUS 497223 HAS SOUPS 179833 WITH SCORE 187322.036
AT ITER 4920 NEW BEST:: SOT 8782483 SOS 7489047 HAS SOPS 3667476 HAS SOUS 497223 HAS SOUPS 179832 WITH SCORE 187321.047
AT ITER 4925 NEW BEST:: SOT 8782287 SOS 7488845 HAS SOPS 3667284 HAS SOUS 497129 HAS SOUPS 179740 WITH SCORE 187228.845
AT ITER 4927 NEW BEST:: SOT 8782153 SOS 7487625 HAS SOPS 3667016 HAS SOUS 496860 HAS SOUPS 179607 WITH SCORE 187094.625
AT ITER 4941 NEW BEST:: SOT 8782153 SOS 7487450 HAS SOPS 3667016 HAS SOUS 496835 HAS SOUPS 179607 WITH SCORE 187094.45
AT ITER 4961 NEW BEST:: SOT 8782153 SOS 7487452 HAS SOPS 3667018 HAS SOUS 496834 HAS SOUPS 179606 WITH SCORE 187093.452
AT ITER 4977 NEW BEST:: SOT 8782153 SOS 7487452 HAS SOPS 3667018 HAS SOUS 496826 HAS SOUPS 179598 WITH SCORE 187085.452
AT ITER 4983 NEW BEST:: SOT 8782152 SOS 7487450 HAS SOPS 3667016 HAS SOUS 496825 HAS SOUPS 179597 WITH SCORE 187084.45
AT ITER 5031 NEW BEST:: SOT 8781867 SOS 7488256 HAS SOPS 3666919 HAS SOUS 496743 HAS SOUPS 179472 WITH SCORE 186960.256
AT ITER 5039 NEW BEST:: SOT 8782065 SOS 7488652 HAS SOPS 3667315 HAS SOUS 496657 HAS SOUPS 179386 WITH SCORE 186874.652
AT ITER 5114 NEW BEST:: SOT 8782065 SOS 7488652 HAS SOPS 3667315 HAS SOUS 496599 HAS SOUPS 179328 WITH SCORE 186816.652
AT ITER 5119 NEW BEST:: SOT 8782108 SOS 7486690 HAS SOPS 3667145 HAS SOUS 495874 HAS SOUPS 178859 WITH SCORE 186345.69
AT ITER 5138 NEW BEST:: SOT 8782108 SOS 7486690 HAS SOPS 3667145 HAS SOUS 495818 HAS SOUPS 178803 WITH SCORE 186289.69
AT ITER 5180 NEW BEST:: SOT 8782108 SOS 7486690 HAS SOPS 3667145 HAS SOUS 495718 HAS SOUPS 178703 WITH SCORE 186189.69
AT ITER 5185 NEW BEST:: SOT 8781654 SOS 7479092 HAS SOPS 3663726 HAS SOUS 495465 HAS SOUPS 178649 WITH SCORE 186128.092
AT ITER 5190 NEW BEST:: SOT 8781654 SOS 7479092 HAS SOPS 3663726 HAS SOUS 495341 HAS SOUPS 178525 WITH SCORE 186004.092
AT ITER 5198 NEW BEST:: SOT 8781588 SOS 7479026 HAS SOPS 3663660 HAS SOUS 495275 HAS SOUPS 178459 WITH SCORE 185938.026
AT ITER 5228 NEW BEST:: SOT 8781527 SOS 7482336 HAS SOPS 3665122 HAS SOUS 495270 HAS SOUPS 178366 WITH SCORE 185848.336
AT ITER 5244 NEW BEST:: SOT 8781447 SOS 7482176 HAS SOPS 3664962 HAS SOUS 495190 HAS SOUPS 178286 WITH SCORE 185768.176
AT ITER 5246 NEW BEST:: SOT 8781447 SOS 7482176 HAS SOPS 3664962 HAS SOUS 495164 HAS SOUPS 178260 WITH SCORE 185742.176
AT ITER 5279 NEW BEST:: SOT 8781303 SOS 7481968 HAS SOPS 3664754 HAS SOUS 495164 HAS SOUPS 178244 WITH SCORE 185725.968
AT ITER 5296 NEW BEST:: SOT 8781239 SOS 7481616 HAS SOPS 3664626 HAS SOUS 495026 HAS SOUPS 178138 WITH SCORE 185619.616
AT ITER 5334 NEW BEST:: SOT 8780961 SOS 7482460 HAS SOPS 3664420 HAS SOUS 494970 HAS SOUPS 178032 WITH SCORE 185514.46
AT ITER 5382 NEW BEST:: SOT 8780947 SOS 7482334 HAS SOPS 3664392 HAS SOUS 494942 HAS SOUPS 178018 WITH SCORE 185500.334
AT ITER 5410 NEW BEST:: SOT 8781012 SOS 7482464 HAS SOPS 3664522 HAS SOUS 494862 HAS SOUPS 177938 WITH SCORE 185420.464
AT ITER 5428 NEW BEST:: SOT 8781070 SOS 7481978 HAS SOPS 3664638 HAS SOUS 494748 HAS SOUPS 177910 WITH SCORE 185391.978
AT ITER 5440 NEW BEST:: SOT 8781042 SOS 7481922 HAS SOPS 3664680 HAS SOUS 494692 HAS SOUPS 177868 WITH SCORE 185349.922
AT ITER 5445 NEW BEST:: SOT 8780303 SOS 7485172 HAS SOPS 3666026 HAS SOUS 494504 HAS SOUPS 177680 WITH SCORE 185165.172
AT ITER 5474 NEW BEST:: SOT 8780299 SOS 7485168 HAS SOPS 3666022 HAS SOUS 494500 HAS SOUPS 177676 WITH SCORE 185161.168
AT ITER 5490 NEW BEST:: SOT 8780299 SOS 7485168 HAS SOPS 3666022 HAS SOUS 494418 HAS SOUPS 177594 WITH SCORE 185079.168
AT ITER 5493 NEW BEST:: SOT 8780278 SOS 7485126 HAS SOPS 3665980 HAS SOUS 494396 HAS SOUPS 177572 WITH SCORE 185057.126
AT ITER 5563 NEW BEST:: SOT 8780278 SOS 7485126 HAS SOPS 3665980 HAS SOUS 494394 HAS SOUPS 177570 WITH SCORE 185055.126
AT ITER 5580 NEW BEST:: SOT 8781790 SOS 7487520 HAS SOPS 3666736 HAS SOUS 494268 HAS SOUPS 177318 WITH SCORE 184805.52
AT ITER 5591 NEW BEST:: SOT 8781790 SOS 7487520 HAS SOPS 3666736 HAS SOUS 494252 HAS SOUPS 177302 WITH SCORE 184789.52
AT ITER 5685 NEW BEST:: SOT 8781712 SOS 7487364 HAS SOPS 3666307 HAS SOUS 494174 HAS SOUPS 177185 WITH SCORE 184672.364
AT ITER 5692 NEW BEST:: SOT 8782246 SOS 7489023 HAS SOPS 3666587 HAS SOUS 494314 HAS SOUPS 177128 WITH SCORE 184617.023
AT ITER 5780 NEW BEST:: SOT 8782238 SOS 7489001 HAS SOPS 3666565 HAS SOUS 494312 HAS SOUPS 177126 WITH SCORE 184615.001
AT ITER 5792 NEW BEST:: SOT 8781623 SOS 7496424 HAS SOPS 3669347 HAS SOUS 494417 HAS SOUPS 177010 WITH SCORE 184506.424
AT ITER 5859 NEW BEST:: SOT 8777915 SOS 7490355 HAS SOPS 3667022 HAS SOUS 494079 HAS SOUPS 176960 WITH SCORE 184450.355
AT ITER 5867 NEW BEST:: SOT 8777915 SOS 7490355 HAS SOPS 3667022 HAS SOUS 494025 HAS SOUPS 176906 WITH SCORE 184396.355
AT ITER 5891 NEW BEST:: SOT 8777915 SOS 7490355 HAS SOPS 3667022 HAS SOUS 494011 HAS SOUPS 176892 WITH SCORE 184382.355
AT ITER 5901 NEW BEST:: SOT 8777915 SOS 7490355 HAS SOPS 3667022 HAS SOUS 494009 HAS SOUPS 176890 WITH SCORE 184380.355
AT ITER 5906 NEW BEST:: SOT 8777915 SOS 7490355 HAS SOPS 3667022 HAS SOUS 494006 HAS SOUPS 176887 WITH SCORE 184377.355
AT ITER 5909 NEW BEST:: SOT 8777915 SOS 7490355 HAS SOPS 3667022 HAS SOUS 493960 HAS SOUPS 176841 WITH SCORE 184331.355
AT ITER 5944 NEW BEST:: SOT 8777915 SOS 7490355 HAS SOPS 3667022 HAS SOUS 493938 HAS SOUPS 176819 WITH SCORE 184309.355
AT ITER 6029 NEW BEST:: SOT 8777368 SOS 7489261 HAS SOPS 3665928 HAS SOUS 493055 HAS SOUPS 175936 WITH SCORE 183425.261
AT ITER 6061 NEW BEST:: SOT 8776803 SOS 7467737 HAS SOPS 3665416 HAS SOUS 492523 HAS SOUPS 175713 WITH SCORE 183180.737
AT ITER 6068 NEW BEST:: SOT 8776911 SOS 7468115 HAS SOPS 3665416 HAS SOUS 492471 HAS SOUPS 175607 WITH SCORE 183075.115
AT ITER 6079 NEW BEST:: SOT 8776873 SOS 7468723 HAS SOPS 3665625 HAS SOUS 492471 HAS SOUPS 175588 WITH SCORE 183056.723
AT ITER 6130 NEW BEST:: SOT 8775202 SOS 7466446 HAS SOPS 3664128 HAS SOUS 492360 HAS SOUPS 175477 WITH SCORE 182943.446
AT ITER 6135 NEW BEST:: SOT 8774938 SOS 7466028 HAS SOPS 3663996 HAS SOUS 492338 HAS SOUPS 175477 WITH SCORE 182943.028
AT ITER 6146 NEW BEST:: SOT 8774989 SOS 7466108 HAS SOPS 3664018 HAS SOUS 492265 HAS SOUPS 175375 WITH SCORE 182841.108
AT ITER 6166 NEW BEST:: SOT 8773482 SOS 7458236 HAS SOPS 3660052 HAS SOUS 492060 HAS SOUPS 175303 WITH SCORE 182761.236
AT ITER 6178 NEW BEST:: SOT 8773484 SOS 7458240 HAS SOPS 3660014 HAS SOUS 492064 HAS SOUPS 175301 WITH SCORE 182759.24
AT ITER 6180 NEW BEST:: SOT 8772412 SOS 7455214 HAS SOPS 3659046 HAS SOUS 491709 HAS SOUPS 175240 WITH SCORE 182695.214
AT ITER 6197 NEW BEST:: SOT 8772382 SOS 7455154 HAS SOPS 3658986 HAS SOUS 491679 HAS SOUPS 175210 WITH SCORE 182665.154
AT ITER 6203 NEW BEST:: SOT 8772404 SOS 7455623 HAS SOPS 3658860 HAS SOUS 491638 HAS SOUPS 175084 WITH SCORE 182539.623
AT ITER 6238 NEW BEST:: SOT 8766236 SOS 7445497 HAS SOPS 3655146 HAS SOUS 490971 HAS SOUPS 174900 WITH SCORE 182345.497
AT ITER 6269 NEW BEST:: SOT 8766236 SOS 7445486 HAS SOPS 3655135 HAS SOUS 490971 HAS SOUPS 174900 WITH SCORE 182345.486
AT ITER 6323 NEW BEST:: SOT 8767208 SOS 7447025 HAS SOPS 3655621 HAS SOUS 490890 HAS SOUPS 174738 WITH SCORE 182185.025
AT ITER 6390 NEW BEST:: SOT 8767204 SOS 7447017 HAS SOPS 3655613 HAS SOUS 490889 HAS SOUPS 174737 WITH SCORE 182184.017
AT ITER 6412 NEW BEST:: SOT 8766709 SOS 7444971 HAS SOPS 3654799 HAS SOUS 490508 HAS SOUPS 174532 WITH SCORE 181976.971
AT ITER 6433 NEW BEST:: SOT 8766709 SOS 7444971 HAS SOPS 3654799 HAS SOUS 490498 HAS SOUPS 174522 WITH SCORE 181966.971
AT ITER 6485 NEW BEST:: SOT 8767441 SOS 7446130 HAS SOPS 3655165 HAS SOUS 490490 HAS SOUPS 174453 WITH SCORE 181899.13
AT ITER 6521 NEW BEST:: SOT 8767569 SOS 7446258 HAS SOPS 3655197 HAS SOUS 490458 HAS SOUPS 174421 WITH SCORE 181867.258
AT ITER 6547 NEW BEST:: SOT 8767569 SOS 7446258 HAS SOPS 3655197 HAS SOUS 490432 HAS SOUPS 174395 WITH SCORE 181841.258
AT ITER 6549 NEW BEST:: SOT 8768505 SOS 7447740 HAS SOPS 3655665 HAS SOUS 490354 HAS SOUPS 174239 WITH SCORE 181686.74
AT ITER 6585 NEW BEST:: SOT 8768516 SOS 7447842 HAS SOPS 3655655 HAS SOUS 490349 HAS SOUPS 174218 WITH SCORE 181665.842
AT ITER 6589 NEW BEST:: SOT 8768516 SOS 7447653 HAS SOPS 3655655 HAS SOUS 490322 HAS SOUPS 174218 WITH SCORE 181665.653
AT ITER 6594 NEW BEST:: SOT 8768410 SOS 7446657 HAS SOPS 3655639 HAS SOUS 490076 HAS SOUPS 174112 WITH SCORE 181558.657
AT ITER 6626 NEW BEST:: SOT 8768410 SOS 7446657 HAS SOPS 3655639 HAS SOUS 489956 HAS SOUPS 173992 WITH SCORE 181438.657
AT ITER 6664 NEW BEST:: SOT 8769335 SOS 7448720 HAS SOPS 3655920 HAS SOUS 490212 HAS SOUPS 173926 WITH SCORE 181374.72
AT ITER 6674 NEW BEST:: SOT 8769296 SOS 7445378 HAS SOPS 3654210 HAS SOUS 490182 HAS SOUPS 173920 WITH SCORE 181365.378
AT ITER 6698 NEW BEST:: SOT 8768933 SOS 7450579 HAS SOPS 3656695 HAS SOUS 490077 HAS SOUPS 173815 WITH SCORE 181265.579
AT ITER 6712 NEW BEST:: SOT 8768412 SOS 7447764 HAS SOPS 3655672 HAS SOUS 488930 HAS SOUPS 172924 WITH SCORE 180371.764
AT ITER 6738 NEW BEST:: SOT 8768248 SOS 7447975 HAS SOPS 3654966 HAS SOUS 488635 HAS SOUPS 172498 WITH SCORE 179945.975
AT ITER 6781 NEW BEST:: SOT 8768248 SOS 7447975 HAS SOPS 3654966 HAS SOUS 488511 HAS SOUPS 172374 WITH SCORE 179821.975
AT ITER 6819 NEW BEST:: SOT 8768248 SOS 7447975 HAS SOPS 3654966 HAS SOUS 488413 HAS SOUPS 172276 WITH SCORE 179723.975
AT ITER 6821 NEW BEST:: SOT 8769643 SOS 7450307 HAS SOPS 3655699 HAS SOUS 488489 HAS SOUPS 172229 WITH SCORE 179679.307
AT ITER 6828 NEW BEST:: SOT 8766650 SOS 7447122 HAS SOPS 3653924 HAS SOUS 488377 HAS SOUPS 172117 WITH SCORE 179564.122
AT ITER 6853 NEW BEST:: SOT 8761989 SOS 7440093 HAS SOPS 3650895 HAS SOUS 488210 HAS SOUPS 172063 WITH SCORE 179503.093
AT ITER 6871 NEW BEST:: SOT 8761927 SOS 7440752 HAS SOPS 3650987 HAS SOUS 488202 HAS SOUPS 172028 WITH SCORE 179468.752
AT ITER 6950 NEW BEST:: SOT 8761976 SOS 7439086 HAS SOPS 3650007 HAS SOUS 488202 HAS SOUPS 172028 WITH SCORE 179467.086
AT ITER 6996 NEW BEST:: SOT 8756957 SOS 7431105 HAS SOPS 3646606 HAS SOUS 487682 HAS SOUPS 171701 WITH SCORE 179132.105
AT ITER 7032 NEW BEST:: SOT 8756957 SOS 7431105 HAS SOPS 3646606 HAS SOUS 487558 HAS SOUPS 171577 WITH SCORE 179008.105
AT ITER 7064 NEW BEST:: SOT 8756929 SOS 7431147 HAS SOPS 3646550 HAS SOUS 487543 HAS SOUPS 171548 WITH SCORE 178979.147
AT ITER 7101 NEW BEST:: SOT 8753305 SOS 7425222 HAS SOPS 3644095 HAS SOUS 487414 HAS SOUPS 171438 WITH SCORE 178863.222
AT ITER 7117 NEW BEST:: SOT 8753305 SOS 7425222 HAS SOPS 3644095 HAS SOUS 487304 HAS SOUPS 171328 WITH SCORE 178753.222
AT ITER 7190 NEW BEST:: SOT 8753293 SOS 7425102 HAS SOPS 3643975 HAS SOUS 487268 HAS SOUPS 171292 WITH SCORE 178717.102
AT ITER 7207 NEW BEST:: SOT 8753303 SOS 7424762 HAS SOPS 3643775 HAS SOUS 487268 HAS SOUPS 171292 WITH SCORE 178716.762
AT ITER 7208 NEW BEST:: SOT 8753303 SOS 7424762 HAS SOPS 3643775 HAS SOUS 487258 HAS SOUPS 171282 WITH SCORE 178706.762
AT ITER 7238 NEW BEST:: SOT 8753255 SOS 7424666 HAS SOPS 3643679 HAS SOUS 487210 HAS SOUPS 171234 WITH SCORE 178658.666
AT ITER 7251 NEW BEST:: SOT 8753767 SOS 7425370 HAS SOPS 3643935 HAS SOUS 487146 HAS SOUPS 171170 WITH SCORE 178595.37
AT ITER 7272 NEW BEST:: SOT 8753671 SOS 7425274 HAS SOPS 3643839 HAS SOUS 487050 HAS SOUPS 171074 WITH SCORE 178499.274
AT ITER 7282 NEW BEST:: SOT 8753671 SOS 7425274 HAS SOPS 3643839 HAS SOUS 486926 HAS SOUPS 170950 WITH SCORE 178375.274
AT ITER 7308 NEW BEST:: SOT 8750191 SOS 7420275 HAS SOPS 3640480 HAS SOUS 486862 HAS SOUPS 170886 WITH SCORE 178306.275
AT ITER 7340 NEW BEST:: SOT 8752062 SOS 7430068 HAS SOPS 3645338 HAS SOUS 487006 HAS SOUPS 170862 WITH SCORE 178292.068
AT ITER 7400 NEW BEST:: SOT 8752136 SOS 7427317 HAS SOPS 3644141 HAS SOUS 486925 HAS SOUPS 170855 WITH SCORE 178282.317
AT ITER 7443 NEW BEST:: SOT 8750620 SOS 7425716 HAS SOPS 3643266 HAS SOUS 486861 HAS SOUPS 170791 WITH SCORE 178216.71600000001
AT ITER 7452 NEW BEST:: SOT 8750620 SOS 7425870 HAS SOPS 3643266 HAS SOUS 486861 HAS SOUPS 170769 WITH SCORE 178194.87
AT ITER 7488 NEW BEST:: SOT 8750602 SOS 7425708 HAS SOPS 3643230 HAS SOUS 486807 HAS SOUPS 170733 WITH SCORE 178158.708
AT ITER 7494 NEW BEST:: SOT 8750420 SOS 7426205 HAS SOPS 3642866 HAS SOUS 486802 HAS SOUPS 170605 WITH SCORE 178031.205
AT ITER 7510 NEW BEST:: SOT 8750616 SOS 7426597 HAS SOPS 3643258 HAS SOUS 486754 HAS SOUPS 170557 WITH SCORE 177983.597
AT ITER 7525 NEW BEST:: SOT 8750510 SOS 7425806 HAS SOPS 3643818 HAS SOUS 486455 HAS SOUPS 170451 WITH SCORE 177876.806
AT ITER 7533 NEW BEST:: SOT 8750678 SOS 7425974 HAS SOPS 3643902 HAS SOUS 486441 HAS SOUPS 170437 WITH SCORE 177862.974
AT ITER 7543 NEW BEST:: SOT 8750366 SOS 7425428 HAS SOPS 3643694 HAS SOUS 486389 HAS SOUPS 170411 WITH SCORE 177836.428
AT ITER 7562 NEW BEST:: SOT 8749909 SOS 7423820 HAS SOPS 3642980 HAS SOUS 486051 HAS SOUPS 170364 WITH SCORE 177787.82
AT ITER 7588 NEW BEST:: SOT 8749570 SOS 7427813 HAS SOPS 3644495 HAS SOUS 485870 HAS SOUPS 170183 WITH SCORE 177610.813
AT ITER 7590 NEW BEST:: SOT 8749570 SOS 7427813 HAS SOPS 3644495 HAS SOUS 485764 HAS SOUPS 170077 WITH SCORE 177504.813
AT ITER 7596 NEW BEST:: SOT 8749330 SOS 7426961 HAS SOPS 3644511 HAS SOUS 485461 HAS SOUPS 169898 WITH SCORE 177324.961
AT ITER 7682 NEW BEST:: SOT 8749294 SOS 7426889 HAS SOPS 3644439 HAS SOUS 485425 HAS SOUPS 169862 WITH SCORE 177288.889
AT ITER 7712 NEW BEST:: SOT 8749103 SOS 7426507 HAS SOPS 3644057 HAS SOUS 485232 HAS SOUPS 169669 WITH SCORE 177095.507
AT ITER 7714 NEW BEST:: SOT 8749278 SOS 7426886 HAS SOPS 3644028 HAS SOUS 485407 HAS SOUPS 169640 WITH SCORE 177066.886
AT ITER 7759 NEW BEST:: SOT 8749278 SOS 7426886 HAS SOPS 3644028 HAS SOUS 485357 HAS SOUPS 169590 WITH SCORE 177016.886
AT ITER 7820 NEW BEST:: SOT 8749129 SOS 7426588 HAS SOPS 3643730 HAS SOUS 485208 HAS SOUPS 169441 WITH SCORE 176867.588
AT ITER 7831 NEW BEST:: SOT 8748849 SOS 7427432 HAS SOPS 3643755 HAS SOUS 485108 HAS SOUPS 169302 WITH SCORE 176729.432
AT ITER 7919 NEW BEST:: SOT 8748827 SOS 7427289 HAS SOPS 3643612 HAS SOUS 484996 HAS SOUPS 169190 WITH SCORE 176617.289
AT ITER 7943 NEW BEST:: SOT 8748827 SOS 7426834 HAS SOPS 3643612 HAS SOUS 484877 HAS SOUPS 169136 WITH SCORE 176562.834
AT ITER 7953 NEW BEST:: SOT 8748827 SOS 7426834 HAS SOPS 3643612 HAS SOUS 484753 HAS SOUPS 169012 WITH SCORE 176438.834
AT ITER 7960 NEW BEST:: SOT 8748827 SOS 7426834 HAS SOPS 3643612 HAS SOUS 484683 HAS SOUPS 168942 WITH SCORE 176368.834
AT ITER 7964 NEW BEST:: SOT 8749603 SOS 7429001 HAS SOPS 3644344 HAS SOUS 484832 HAS SOUPS 168886 WITH SCORE 176315.001
AT ITER 7980 NEW BEST:: SOT 8749603 SOS 7429001 HAS SOPS 3644344 HAS SOUS 484816 HAS SOUPS 168870 WITH SCORE 176299.001
AT ITER 8077 NEW BEST:: SOT 8749585 SOS 7428447 HAS SOPS 3643790 HAS SOUS 484780 HAS SOUPS 168834 WITH SCORE 176262.447
AT ITER 8082 NEW BEST:: SOT 8749585 SOS 7428447 HAS SOPS 3643790 HAS SOUS 484760 HAS SOUPS 168814 WITH SCORE 176242.447
AT ITER 8140 NEW BEST:: SOT 8749205 SOS 7427402 HAS SOPS 3642745 HAS SOUS 484760 HAS SOUPS 168814 WITH SCORE 176241.402
AT ITER 8157 NEW BEST:: SOT 8749196 SOS 7426628 HAS SOPS 3642265 HAS SOUS 484730 HAS SOUPS 168784 WITH SCORE 176210.628
AT ITER 8190 NEW BEST:: SOT 8749107 SOS 7426450 HAS SOPS 3642087 HAS SOUS 484605 HAS SOUPS 168659 WITH SCORE 176085.45
AT ITER 8238 NEW BEST:: SOT 8749025 SOS 7426390 HAS SOPS 3642027 HAS SOUS 484575 HAS SOUPS 168629 WITH SCORE 176055.39
AT ITER 8271 NEW BEST:: SOT 8749025 SOS 7426390 HAS SOPS 3642027 HAS SOUS 484533 HAS SOUPS 168587 WITH SCORE 176013.39
AT ITER 8282 NEW BEST:: SOT 8749036 SOS 7426412 HAS SOPS 3642049 HAS SOUS 484478 HAS SOUPS 168532 WITH SCORE 175958.412
AT ITER 8307 NEW BEST:: SOT 8749036 SOS 7426384 HAS SOPS 3642049 HAS SOUS 484474 HAS SOUPS 168532 WITH SCORE 175958.384
AT ITER 8328 NEW BEST:: SOT 8748572 SOS 7426529 HAS SOPS 3641713 HAS SOUS 484252 HAS SOUPS 168347 WITH SCORE 175773.529
AT ITER 8348 NEW BEST:: SOT 8748572 SOS 7426529 HAS SOPS 3641713 HAS SOUS 484176 HAS SOUPS 168271 WITH SCORE 175697.529
AT ITER 8358 NEW BEST:: SOT 8748551 SOS 7426562 HAS SOPS 3641571 HAS SOUS 484153 HAS SOUPS 168223 WITH SCORE 175649.562
AT ITER 8369 NEW BEST:: SOT 8748327 SOS 7426254 HAS SOPS 3641459 HAS SOUS 484153 HAS SOUPS 168223 WITH SCORE 175649.254
AT ITER 8384 NEW BEST:: SOT 8748327 SOS 7426254 HAS SOPS 3641459 HAS SOUS 484145 HAS SOUPS 168215 WITH SCORE 175641.254
AT ITER 8422 NEW BEST:: SOT 8747366 SOS 7424369 HAS SOPS 3640960 HAS SOUS 483902 HAS SOUPS 168203 WITH SCORE 175627.369
AT ITER 8435 NEW BEST:: SOT 8747314 SOS 7424226 HAS SOPS 3640908 HAS SOUS 483889 HAS SOUPS 168203 WITH SCORE 175627.226
AT ITER 8450 NEW BEST:: SOT 8746818 SOS 7421715 HAS SOPS 3640021 HAS SOUS 483158 HAS SOUPS 167704 WITH SCORE 175125.715
AT ITER 8477 NEW BEST:: SOT 8746815 SOS 7421471 HAS SOPS 3639777 HAS SOUS 483155 HAS SOUPS 167701 WITH SCORE 175122.471
AT ITER 8504 NEW BEST:: SOT 8745896 SOS 7439478 HAS SOPS 3639563 HAS SOUS 482462 HAS SOUPS 167505 WITH SCORE 174944.478
AT ITER 8515 NEW BEST:: SOT 8745896 SOS 7439478 HAS SOPS 3639563 HAS SOUS 482458 HAS SOUPS 167501 WITH SCORE 174940.478
AT ITER 8544 NEW BEST:: SOT 8746040 SOS 7428606 HAS SOPS 3639671 HAS SOUS 482367 HAS SOUPS 167410 WITH SCORE 174838.606
AT ITER 8545 NEW BEST:: SOT 8745876 SOS 7428442 HAS SOPS 3639507 HAS SOUS 482326 HAS SOUPS 167369 WITH SCORE 174797.442
AT ITER 8616 NEW BEST:: SOT 8745876 SOS 7428442 HAS SOPS 3639507 HAS SOUS 482300 HAS SOUPS 167343 WITH SCORE 174771.442
AT ITER 8646 NEW BEST:: SOT 8745873 SOS 7428718 HAS SOPS 3639642 HAS SOUS 482294 HAS SOUPS 167337 WITH SCORE 174765.718
AT ITER 8661 NEW BEST:: SOT 8746886 SOS 7430324 HAS SOPS 3640156 HAS SOUS 482259 HAS SOUPS 167218 WITH SCORE 174648.324
AT ITER 8786 NEW BEST:: SOT 8746764 SOS 7428775 HAS SOPS 3640203 HAS SOUS 481885 HAS SOUPS 167072 WITH SCORE 174500.775
AT ITER 8795 NEW BEST:: SOT 8746244 SOS 7427423 HAS SOPS 3638851 HAS SOUS 481261 HAS SOUPS 166448 WITH SCORE 173875.423
AT ITER 8798 NEW BEST:: SOT 8746207 SOS 7427349 HAS SOPS 3638777 HAS SOUS 481261 HAS SOUPS 166448 WITH SCORE 173875.349
AT ITER 8852 NEW BEST:: SOT 8746079 SOS 7429901 HAS SOPS 3640237 HAS SOUS 481211 HAS SOUPS 166398 WITH SCORE 173827.901
AT ITER 8875 NEW BEST:: SOT 8746086 SOS 7429474 HAS SOPS 3640237 HAS SOUS 481211 HAS SOUPS 166398 WITH SCORE 173827.474
AT ITER 8878 NEW BEST:: SOT 8746031 SOS 7429567 HAS SOPS 3640127 HAS SOUS 481185 HAS SOUPS 166343 WITH SCORE 173772.567
AT ITER 8887 NEW BEST:: SOT 8742080 SOS 7424774 HAS SOPS 3636434 HAS SOUS 481351 HAS SOUPS 166311 WITH SCORE 173735.774
AT ITER 8895 NEW BEST:: SOT 8741925 SOS 7428496 HAS SOPS 3637804 HAS SOUS 481420 HAS SOUPS 166268 WITH SCORE 173696.496
AT ITER 8896 NEW BEST:: SOT 8741925 SOS 7428496 HAS SOPS 3637804 HAS SOUS 481380 HAS SOUPS 166228 WITH SCORE 173656.496
AT ITER 8900 NEW BEST:: SOT 8741925 SOS 7428496 HAS SOPS 3637804 HAS SOUS 481376 HAS SOUPS 166224 WITH SCORE 173652.496
AT ITER 8911 NEW BEST:: SOT 8741941 SOS 7426692 HAS SOPS 3636714 HAS SOUS 481292 HAS SOUPS 166140 WITH SCORE 173566.692
AT ITER 8992 NEW BEST:: SOT 8741844 SOS 7426966 HAS SOPS 3636736 HAS SOUS 481247 HAS SOUPS 166083 WITH SCORE 173509.96600000001
AT ITER 9015 NEW BEST:: SOT 8742306 SOS 7427249 HAS SOPS 3637019 HAS SOUS 481070 HAS SOUPS 165906 WITH SCORE 173333.249
AT ITER 9062 NEW BEST:: SOT 8733031 SOS 7412298 HAS SOPS 3631227 HAS SOUS 480353 HAS SOUPS 165824 WITH SCORE 173236.298
AT ITER 9083 NEW BEST:: SOT 8733031 SOS 7412298 HAS SOPS 3631227 HAS SOUS 480323 HAS SOUPS 165794 WITH SCORE 173206.298
AT ITER 9137 NEW BEST:: SOT 8732165 SOS 7413688 HAS SOPS 3631643 HAS SOUS 480029 HAS SOUPS 165608 WITH SCORE 173021.688
AT ITER 9193 NEW BEST:: SOT 8732108 SOS 7411486 HAS SOPS 3630253 HAS SOUS 479857 HAS SOUPS 165436 WITH SCORE 172847.486
AT ITER 9292 NEW BEST:: SOT 8732108 SOS 7410902 HAS SOPS 3629669 HAS SOUS 479711 HAS SOUPS 165290 WITH SCORE 172700.902
AT ITER 9375 NEW BEST:: SOT 8732108 SOS 7410902 HAS SOPS 3629669 HAS SOUS 479675 HAS SOUPS 165254 WITH SCORE 172664.902
AT ITER 9383 NEW BEST:: SOT 8732234 SOS 7402334 HAS SOPS 3629431 HAS SOUS 479436 HAS SOUPS 165022 WITH SCORE 172424.334
AT ITER 9408 NEW BEST:: SOT 8732234 SOS 7402334 HAS SOPS 3629431 HAS SOUS 479414 HAS SOUPS 165000 WITH SCORE 172402.334
AT ITER 9427 NEW BEST:: SOT 8731980 SOS 7402042 HAS SOPS 3629253 HAS SOUS 479388 HAS SOUPS 164974 WITH SCORE 172376.042
AT ITER 9453 NEW BEST:: SOT 8731147 SOS 7400479 HAS SOPS 3628816 HAS SOUS 479003 HAS SOUPS 164787 WITH SCORE 172187.479
AT ITER 9530 NEW BEST:: SOT 8731111 SOS 7400443 HAS SOPS 3628780 HAS SOUS 478967 HAS SOUPS 164751 WITH SCORE 172151.443
AT ITER 9551 NEW BEST:: SOT 8731111 SOS 7399652 HAS SOPS 3628808 HAS SOUS 478850 HAS SOUPS 164751 WITH SCORE 172150.652
AT ITER 9588 NEW BEST:: SOT 8730901 SOS 7398992 HAS SOPS 3628708 HAS SOUS 478720 HAS SOUPS 164701 WITH SCORE 172099.992
AT ITER 9598 NEW BEST:: SOT 8730901 SOS 7398992 HAS SOPS 3628708 HAS SOUS 478718 HAS SOUPS 164699 WITH SCORE 172097.992
AT ITER 9607 NEW BEST:: SOT 8731213 SOS 7399486 HAS SOPS 3628864 HAS SOUS 478692 HAS SOUPS 164647 WITH SCORE 172046.486
AT ITER 9639 NEW BEST:: SOT 8731245 SOS 7399493 HAS SOPS 3628871 HAS SOUS 478642 HAS SOUPS 164597 WITH SCORE 171996.493
AT ITER 9652 NEW BEST:: SOT 8731176 SOS 7399135 HAS SOPS 3628912 HAS SOUS 478573 HAS SOUPS 164585 WITH SCORE 171984.135
AT ITER 9718 NEW BEST:: SOT 8731116 SOS 7399015 HAS SOPS 3628792 HAS SOUS 478558 HAS SOUPS 164570 WITH SCORE 171969.015
AT ITER 9724 NEW BEST:: SOT 8731116 SOS 7399015 HAS SOPS 3628792 HAS SOUS 478518 HAS SOUPS 164530 WITH SCORE 171929.015
AT ITER 9761 NEW BEST:: SOT 8731046 SOS 7398294 HAS SOPS 3628652 HAS SOUS 478365 HAS SOUPS 164460 WITH SCORE 171858.294
AT ITER 9800 NEW BEST:: SOT 8727221 SOS 7392931 HAS SOPS 3625149 HAS SOUS 478230 HAS SOUPS 164325 WITH SCORE 171717.931
AT ITER 9806 NEW BEST:: SOT 8727221 SOS 7392931 HAS SOPS 3625149 HAS SOUS 478116 HAS SOUPS 164211 WITH SCORE 171603.931
AT ITER 9825 NEW BEST:: SOT 8726927 SOS 7364753 HAS SOPS 3603072 HAS SOUS 478137 HAS SOUPS 164232 WITH SCORE 171596.753
AT ITER 9846 NEW BEST:: SOT 8726910 SOS 7364404 HAS SOPS 3602723 HAS SOUS 478120 HAS SOUPS 164215 WITH SCORE 171579.404
AT ITER 9867 NEW BEST:: SOT 8727162 SOS 7365208 HAS SOPS 3602827 HAS SOUS 478017 HAS SOUPS 164012 WITH SCORE 171377.208
AT ITER 9883 NEW BEST:: SOT 8727118 SOS 7365440 HAS SOPS 3603059 HAS SOUS 478000 HAS SOUPS 163995 WITH SCORE 171360.44
AT ITER 9890 NEW BEST:: SOT 8725550 SOS 7363456 HAS SOPS 3601939 HAS SOUS 477824 HAS SOUPS 163819 WITH SCORE 171182.456
AT ITER 9894 NEW BEST:: SOT 8726048 SOS 7364566 HAS SOPS 3602105 HAS SOUS 477903 HAS SOUPS 163732 WITH SCORE 171096.566
AT ITER 9910 NEW BEST:: SOT 8728082 SOS 7379917 HAS SOPS 3603174 HAS SOUS 477890 HAS SOUPS 163526 WITH SCORE 170905.917
AT ITER 9967 NEW BEST:: SOT 8725272 SOS 7376863 HAS SOPS 3601416 HAS SOUS 477888 HAS SOUPS 163524 WITH SCORE 170900.863
AT ITER 9978 NEW BEST:: SOT 8725073 SOS 7377770 HAS SOPS 3601693 HAS SOUS 477782 HAS SOUPS 163418 WITH SCORE 170795.77

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-5a"
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 DLCflexbar-PT-5a, 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 r048-ebro-158902542100392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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