Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873942800352.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBLF-COL-S02J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942800352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 7.0K Feb 26 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 14:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 14:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 14:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678788168539

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S02J04T06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 10:02:51] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 10:02:51] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 10:02:51] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 10:02:52] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 10:02:52] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1039 ms
[2023-03-14 10:02:52] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 476 PT places and 952.0 transition bindings in 67 ms.
[2023-03-14 10:02:52] [INFO ] Unfolded HLPN to a Petri net with 476 places and 920 transitions 4242 arcs in 80 ms.
[2023-03-14 10:02:52] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 96 transitions
Reduce isomorphic transitions removed 96 transitions.
[2023-03-14 10:02:53] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 476 places, 824 transitions and 3570 arcs took 31 ms.
Total runtime 1490 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S02J04T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 476 places, 824 transitions, 3570 arcs.
AT ITER 0 NEW BEST:: SOT 264689 SOS 141071 HAS SOPS 137008 HAS SOUS 97611 HAS SOUPS 96848 WITH SCORE 96989.071
AT ITER 12 NEW BEST:: SOT 264689 SOS 141027 HAS SOPS 136964 HAS SOUS 97567 HAS SOUPS 96804 WITH SCORE 96945.027
AT ITER 41 NEW BEST:: SOT 264646 SOS 140935 HAS SOPS 136872 HAS SOUS 97475 HAS SOUPS 96712 WITH SCORE 96852.935
AT ITER 64 NEW BEST:: SOT 263237 SOS 139595 HAS SOPS 135463 HAS SOUS 96129 HAS SOUPS 95297 WITH SCORE 95436.595
AT ITER 76 NEW BEST:: SOT 263181 SOS 139549 HAS SOPS 135417 HAS SOUS 96115 HAS SOUPS 95283 WITH SCORE 95422.549
AT ITER 80 NEW BEST:: SOT 263028 SOS 139453 HAS SOPS 135321 HAS SOUS 95963 HAS SOUPS 95131 WITH SCORE 95270.453
AT ITER 84 NEW BEST:: SOT 262971 SOS 139437 HAS SOPS 135305 HAS SOUS 95958 HAS SOUPS 95126 WITH SCORE 95265.437
AT ITER 93 NEW BEST:: SOT 262807 SOS 139431 HAS SOPS 135299 HAS SOUS 95864 HAS SOUPS 95032 WITH SCORE 95171.431
AT ITER 112 NEW BEST:: SOT 262807 SOS 139431 HAS SOPS 135299 HAS SOUS 95862 HAS SOUPS 95030 WITH SCORE 95169.431
AT ITER 116 NEW BEST:: SOT 262687 SOS 139227 HAS SOPS 135068 HAS SOUS 95750 HAS SOUPS 94918 WITH SCORE 95057.227
AT ITER 117 NEW BEST:: SOT 262653 SOS 139847 HAS SOPS 135688 HAS SOUS 95746 HAS SOUPS 94914 WITH SCORE 95053.847
AT ITER 134 NEW BEST:: SOT 262617 SOS 139829 HAS SOPS 135670 HAS SOUS 95736 HAS SOUPS 94904 WITH SCORE 95043.829
AT ITER 159 NEW BEST:: SOT 262617 SOS 140042 HAS SOPS 135883 HAS SOUS 95696 HAS SOUPS 94864 WITH SCORE 95004.042
AT ITER 169 NEW BEST:: SOT 262441 SOS 139961 HAS SOPS 135802 HAS SOUS 95642 HAS SOUPS 94810 WITH SCORE 94949.961
AT ITER 176 NEW BEST:: SOT 262361 SOS 139924 HAS SOPS 135765 HAS SOUS 95602 HAS SOUPS 94770 WITH SCORE 94909.924
AT ITER 185 NEW BEST:: SOT 262263 SOS 139630 HAS SOPS 135471 HAS SOUS 95455 HAS SOUPS 94623 WITH SCORE 94762.63
AT ITER 202 NEW BEST:: SOT 262275 SOS 139642 HAS SOPS 135483 HAS SOUS 95451 HAS SOUPS 94619 WITH SCORE 94758.642
AT ITER 205 NEW BEST:: SOT 262231 SOS 139598 HAS SOPS 135461 HAS SOUS 95428 HAS SOUPS 94596 WITH SCORE 94735.598
AT ITER 207 NEW BEST:: SOT 262082 SOS 138727 HAS SOPS 134590 HAS SOUS 95279 HAS SOUPS 94447 WITH SCORE 94585.727
AT ITER 217 NEW BEST:: SOT 262078 SOS 138723 HAS SOPS 134586 HAS SOUS 95275 HAS SOUPS 94443 WITH SCORE 94581.723
AT ITER 245 NEW BEST:: SOT 262007 SOS 138652 HAS SOPS 134575 HAS SOUS 95275 HAS SOUPS 94443 WITH SCORE 94581.652
AT ITER 263 NEW BEST:: SOT 262007 SOS 138646 HAS SOPS 134569 HAS SOUS 95269 HAS SOUPS 94437 WITH SCORE 94575.646
AT ITER 267 NEW BEST:: SOT 261976 SOS 138584 HAS SOPS 134507 HAS SOUS 95269 HAS SOUPS 94437 WITH SCORE 94575.584
AT ITER 276 NEW BEST:: SOT 261985 SOS 138593 HAS SOPS 134516 HAS SOUS 95266 HAS SOUPS 94434 WITH SCORE 94572.593
AT ITER 299 NEW BEST:: SOT 261906 SOS 138451 HAS SOPS 134374 HAS SOUS 95158 HAS SOUPS 94326 WITH SCORE 94464.451
AT ITER 300 NEW BEST:: SOT 261906 SOS 138451 HAS SOPS 134374 HAS SOUS 95108 HAS SOUPS 94276 WITH SCORE 94414.451
AT ITER 321 NEW BEST:: SOT 261909 SOS 138454 HAS SOPS 134377 HAS SOUS 95078 HAS SOUPS 94246 WITH SCORE 94384.454
AT ITER 326 NEW BEST:: SOT 261903 SOS 138448 HAS SOPS 134371 HAS SOUS 95072 HAS SOUPS 94240 WITH SCORE 94378.448
AT ITER 331 NEW BEST:: SOT 261860 SOS 138370 HAS SOPS 134293 HAS SOUS 95039 HAS SOUPS 94207 WITH SCORE 94345.37
AT ITER 351 NEW BEST:: SOT 258763 SOS 135469 HAS SOPS 131392 HAS SOUS 92459 HAS SOUPS 91627 WITH SCORE 91762.469
AT ITER 359 NEW BEST:: SOT 258757 SOS 135224 HAS SOPS 131147 HAS SOUS 92316 HAS SOUPS 91484 WITH SCORE 91619.224
AT ITER 371 NEW BEST:: SOT 258623 SOS 135093 HAS SOPS 131016 HAS SOUS 92217 HAS SOUPS 91385 WITH SCORE 91520.093
AT ITER 378 NEW BEST:: SOT 258582 SOS 135109 HAS SOPS 131032 HAS SOUS 92206 HAS SOUPS 91374 WITH SCORE 91509.109
AT ITER 381 NEW BEST:: SOT 258101 SOS 134697 HAS SOPS 130620 HAS SOUS 92155 HAS SOUPS 91323 WITH SCORE 91457.697
AT ITER 393 NEW BEST:: SOT 258101 SOS 134574 HAS SOPS 130497 HAS SOUS 92110 HAS SOUPS 91278 WITH SCORE 91412.574
AT ITER 399 NEW BEST:: SOT 258055 SOS 134543 HAS SOPS 130466 HAS SOUS 92110 HAS SOUPS 91278 WITH SCORE 91412.543
AT ITER 405 NEW BEST:: SOT 258007 SOS 134495 HAS SOPS 130418 HAS SOUS 92060 HAS SOUPS 91228 WITH SCORE 91362.495
AT ITER 410 NEW BEST:: SOT 257995 SOS 134567 HAS SOPS 130490 HAS SOUS 92040 HAS SOUPS 91208 WITH SCORE 91342.567
AT ITER 428 NEW BEST:: SOT 257957 SOS 134580 HAS SOPS 130503 HAS SOUS 92030 HAS SOUPS 91198 WITH SCORE 91332.58
AT ITER 432 NEW BEST:: SOT 257976 SOS 134599 HAS SOPS 130522 HAS SOUS 91977 HAS SOUPS 91145 WITH SCORE 91279.599
AT ITER 450 NEW BEST:: SOT 258015 SOS 134638 HAS SOPS 130561 HAS SOUS 91938 HAS SOUPS 91106 WITH SCORE 91240.638
AT ITER 477 NEW BEST:: SOT 256648 SOS 135108 HAS SOPS 131415 HAS SOUS 90635 HAS SOUPS 89867 WITH SCORE 90002.108
AT ITER 482 NEW BEST:: SOT 256565 SOS 134942 HAS SOPS 131249 HAS SOUS 90516 HAS SOUPS 89748 WITH SCORE 89882.942
AT ITER 484 NEW BEST:: SOT 256515 SOS 134851 HAS SOPS 131158 HAS SOUS 90466 HAS SOUPS 89698 WITH SCORE 89832.851
AT ITER 488 NEW BEST:: SOT 256529 SOS 134865 HAS SOPS 131172 HAS SOUS 90457 HAS SOUPS 89689 WITH SCORE 89823.865
AT ITER 492 NEW BEST:: SOT 256529 SOS 134865 HAS SOPS 131172 HAS SOUS 90250 HAS SOUPS 89482 WITH SCORE 89616.865
AT ITER 513 NEW BEST:: SOT 256177 SOS 134651 HAS SOPS 131088 HAS SOUS 89864 HAS SOUPS 89096 WITH SCORE 89230.651
AT ITER 515 NEW BEST:: SOT 256205 SOS 134390 HAS SOPS 131025 HAS SOUS 89809 HAS SOUPS 89094 WITH SCORE 89228.39
AT ITER 519 NEW BEST:: SOT 256244 SOS 134429 HAS SOPS 131064 HAS SOUS 89770 HAS SOUPS 89055 WITH SCORE 89189.429
AT ITER 521 NEW BEST:: SOT 256244 SOS 134429 HAS SOPS 131064 HAS SOUS 89696 HAS SOUPS 88981 WITH SCORE 89115.429
AT ITER 525 NEW BEST:: SOT 256178 SOS 134452 HAS SOPS 131087 HAS SOUS 89564 HAS SOUPS 88849 WITH SCORE 88983.452
AT ITER 537 NEW BEST:: SOT 256176 SOS 134546 HAS SOPS 131181 HAS SOUS 89542 HAS SOUPS 88827 WITH SCORE 88961.546
AT ITER 542 NEW BEST:: SOT 256169 SOS 134490 HAS SOPS 131132 HAS SOUS 89493 HAS SOUPS 88785 WITH SCORE 88919.49
AT ITER 551 NEW BEST:: SOT 256111 SOS 134519 HAS SOPS 131161 HAS SOUS 89450 HAS SOUPS 88742 WITH SCORE 88876.519
AT ITER 554 NEW BEST:: SOT 256247 SOS 134512 HAS SOPS 131154 HAS SOUS 89446 HAS SOUPS 88738 WITH SCORE 88872.512
AT ITER 556 NEW BEST:: SOT 256237 SOS 134502 HAS SOPS 131084 HAS SOUS 89426 HAS SOUPS 88708 WITH SCORE 88842.502
AT ITER 557 NEW BEST:: SOT 256232 SOS 134492 HAS SOPS 131074 HAS SOUS 89416 HAS SOUPS 88698 WITH SCORE 88832.492
AT ITER 580 NEW BEST:: SOT 256226 SOS 134486 HAS SOPS 131083 HAS SOUS 89391 HAS SOUPS 88673 WITH SCORE 88807.486
AT ITER 595 NEW BEST:: SOT 256142 SOS 134441 HAS SOPS 131038 HAS SOUS 89222 HAS SOUPS 88504 WITH SCORE 88638.441
AT ITER 596 NEW BEST:: SOT 256122 SOS 134421 HAS SOPS 131018 HAS SOUS 89202 HAS SOUPS 88484 WITH SCORE 88618.421
AT ITER 598 NEW BEST:: SOT 256112 SOS 134604 HAS SOPS 131201 HAS SOUS 89129 HAS SOUPS 88411 WITH SCORE 88545.604
AT ITER 613 NEW BEST:: SOT 256070 SOS 134520 HAS SOPS 131117 HAS SOUS 89045 HAS SOUPS 88327 WITH SCORE 88461.52
AT ITER 626 NEW BEST:: SOT 256079 SOS 134529 HAS SOPS 131126 HAS SOUS 89032 HAS SOUPS 88314 WITH SCORE 88448.529
AT ITER 630 NEW BEST:: SOT 256021 SOS 134484 HAS SOPS 131081 HAS SOUS 89000 HAS SOUPS 88282 WITH SCORE 88416.484
AT ITER 642 NEW BEST:: SOT 255986 SOS 134404 HAS SOPS 131001 HAS SOUS 88930 HAS SOUPS 88212 WITH SCORE 88346.404
AT ITER 647 NEW BEST:: SOT 255974 SOS 134392 HAS SOPS 130989 HAS SOUS 88918 HAS SOUPS 88200 WITH SCORE 88334.392
AT ITER 649 NEW BEST:: SOT 255998 SOS 134273 HAS SOPS 130870 HAS SOUS 88841 HAS SOUPS 88123 WITH SCORE 88257.273
AT ITER 657 NEW BEST:: SOT 255992 SOS 134267 HAS SOPS 130864 HAS SOUS 88835 HAS SOUPS 88117 WITH SCORE 88251.267
AT ITER 668 NEW BEST:: SOT 255953 SOS 134228 HAS SOPS 130825 HAS SOUS 88796 HAS SOUPS 88078 WITH SCORE 88212.228
AT ITER 674 NEW BEST:: SOT 255913 SOS 134188 HAS SOPS 130785 HAS SOUS 88720 HAS SOUPS 88002 WITH SCORE 88136.188
AT ITER 678 NEW BEST:: SOT 255647 SOS 133931 HAS SOPS 130528 HAS SOUS 88353 HAS SOUPS 87635 WITH SCORE 87768.931
AT ITER 679 NEW BEST:: SOT 255549 SOS 134851 HAS SOPS 131475 HAS SOUS 88167 HAS SOUPS 87449 WITH SCORE 87583.851
AT ITER 688 NEW BEST:: SOT 255439 SOS 134830 HAS SOPS 131454 HAS SOUS 88070 HAS SOUPS 87352 WITH SCORE 87486.83
AT ITER 718 NEW BEST:: SOT 255365 SOS 134831 HAS SOPS 131455 HAS SOUS 87801 HAS SOUPS 87083 WITH SCORE 87217.831
AT ITER 743 NEW BEST:: SOT 252737 SOS 133114 HAS SOPS 129738 HAS SOUS 85640 HAS SOUPS 84922 WITH SCORE 85055.114
AT ITER 755 NEW BEST:: SOT 252639 SOS 133013 HAS SOPS 129637 HAS SOUS 85542 HAS SOUPS 84824 WITH SCORE 84957.013
AT ITER 765 NEW BEST:: SOT 252597 SOS 132971 HAS SOPS 129628 HAS SOUS 85447 HAS SOUPS 84729 WITH SCORE 84861.971
AT ITER 769 NEW BEST:: SOT 252616 SOS 132980 HAS SOPS 129637 HAS SOUS 85446 HAS SOUPS 84728 WITH SCORE 84860.98
AT ITER 776 NEW BEST:: SOT 252580 SOS 132912 HAS SOPS 129569 HAS SOUS 85328 HAS SOUPS 84610 WITH SCORE 84742.912
AT ITER 783 NEW BEST:: SOT 252573 SOS 132905 HAS SOPS 129562 HAS SOUS 85321 HAS SOUPS 84603 WITH SCORE 84735.905
AT ITER 786 NEW BEST:: SOT 252583 SOS 132871 HAS SOPS 129528 HAS SOUS 85287 HAS SOUPS 84569 WITH SCORE 84701.871
AT ITER 788 NEW BEST:: SOT 252528 SOS 132431 HAS SOPS 129088 HAS SOUS 85232 HAS SOUPS 84514 WITH SCORE 84646.431
AT ITER 795 NEW BEST:: SOT 247769 SOS 128191 HAS SOPS 124848 HAS SOUS 80594 HAS SOUPS 79876 WITH SCORE 80004.191
AT ITER 798 NEW BEST:: SOT 247696 SOS 127789 HAS SOPS 124446 HAS SOUS 80325 HAS SOUPS 79607 WITH SCORE 79734.789
AT ITER 802 NEW BEST:: SOT 247563 SOS 127739 HAS SOPS 124536 HAS SOUS 80290 HAS SOUPS 79572 WITH SCORE 79699.739
AT ITER 804 NEW BEST:: SOT 247524 SOS 127700 HAS SOPS 124497 HAS SOUS 80251 HAS SOUPS 79533 WITH SCORE 79660.7
AT ITER 811 NEW BEST:: SOT 247486 SOS 127667 HAS SOPS 124464 HAS SOUS 80175 HAS SOUPS 79457 WITH SCORE 79584.667
AT ITER 830 NEW BEST:: SOT 247475 SOS 127656 HAS SOPS 124453 HAS SOUS 80153 HAS SOUPS 79435 WITH SCORE 79562.656
AT ITER 841 NEW BEST:: SOT 247463 SOS 127644 HAS SOPS 124476 HAS SOUS 80104 HAS SOUPS 79386 WITH SCORE 79513.644
AT ITER 879 NEW BEST:: SOT 247463 SOS 127512 HAS SOPS 124344 HAS SOUS 80104 HAS SOUPS 79386 WITH SCORE 79513.512
AT ITER 889 NEW BEST:: SOT 245671 SOS 125669 HAS SOPS 122501 HAS SOUS 78361 HAS SOUPS 77643 WITH SCORE 77768.669
AT ITER 899 NEW BEST:: SOT 245642 SOS 125640 HAS SOPS 122472 HAS SOUS 78245 HAS SOUPS 77527 WITH SCORE 77652.64
AT ITER 920 NEW BEST:: SOT 245598 SOS 125618 HAS SOPS 122472 HAS SOUS 78179 HAS SOUPS 77461 WITH SCORE 77586.618
AT ITER 943 NEW BEST:: SOT 245387 SOS 125573 HAS SOPS 122427 HAS SOUS 77874 HAS SOUPS 77156 WITH SCORE 77281.573
AT ITER 953 NEW BEST:: SOT 245381 SOS 125540 HAS SOPS 122394 HAS SOUS 77841 HAS SOUPS 77123 WITH SCORE 77248.54
AT ITER 960 NEW BEST:: SOT 245427 SOS 125586 HAS SOPS 122440 HAS SOUS 77743 HAS SOUPS 77025 WITH SCORE 77150.586
AT ITER 970 NEW BEST:: SOT 245227 SOS 125776 HAS SOPS 122595 HAS SOUS 77728 HAS SOUPS 76919 WITH SCORE 77044.776
AT ITER 975 NEW BEST:: SOT 245226 SOS 125774 HAS SOPS 122593 HAS SOUS 77726 HAS SOUPS 76917 WITH SCORE 77042.774
AT ITER 981 NEW BEST:: SOT 245229 SOS 125728 HAS SOPS 122547 HAS SOUS 77725 HAS SOUPS 76916 WITH SCORE 77041.728
AT ITER 992 NEW BEST:: SOT 245213 SOS 125686 HAS SOPS 122505 HAS SOUS 77693 HAS SOUPS 76884 WITH SCORE 77009.686
AT ITER 997 NEW BEST:: SOT 245257 SOS 125680 HAS SOPS 122499 HAS SOUS 77680 HAS SOUPS 76871 WITH SCORE 76996.68
AT ITER 1004 NEW BEST:: SOT 245257 SOS 126406 HAS SOPS 123225 HAS SOUS 77550 HAS SOUPS 76741 WITH SCORE 76867.406
AT ITER 1015 NEW BEST:: SOT 245244 SOS 126393 HAS SOPS 123212 HAS SOUS 77537 HAS SOUPS 76728 WITH SCORE 76854.393
AT ITER 1031 NEW BEST:: SOT 245244 SOS 125838 HAS SOPS 122655 HAS SOUS 77531 HAS SOUPS 76722 WITH SCORE 76847.838
AT ITER 1050 NEW BEST:: SOT 244371 SOS 124984 HAS SOPS 121801 HAS SOUS 76651 HAS SOUPS 75842 WITH SCORE 75966.984
AT ITER 1061 NEW BEST:: SOT 244360 SOS 124973 HAS SOPS 121790 HAS SOUS 76629 HAS SOUPS 75820 WITH SCORE 75944.973
AT ITER 1063 NEW BEST:: SOT 244336 SOS 124949 HAS SOPS 121766 HAS SOUS 76590 HAS SOUPS 75781 WITH SCORE 75905.949
AT ITER 1084 NEW BEST:: SOT 244132 SOS 124619 HAS SOPS 121436 HAS SOUS 76260 HAS SOUPS 75451 WITH SCORE 75575.619
AT ITER 1095 NEW BEST:: SOT 244107 SOS 124594 HAS SOPS 121411 HAS SOUS 76235 HAS SOUPS 75426 WITH SCORE 75550.594
AT ITER 1101 NEW BEST:: SOT 244084 SOS 124571 HAS SOPS 121388 HAS SOUS 76174 HAS SOUPS 75365 WITH SCORE 75489.571
AT ITER 1121 NEW BEST:: SOT 243998 SOS 124485 HAS SOPS 121358 HAS SOUS 76157 HAS SOUPS 75348 WITH SCORE 75472.485
AT ITER 1125 NEW BEST:: SOT 243990 SOS 124477 HAS SOPS 121350 HAS SOUS 76065 HAS SOUPS 75256 WITH SCORE 75380.477
AT ITER 1126 NEW BEST:: SOT 243961 SOS 124448 HAS SOPS 121321 HAS SOUS 76030 HAS SOUPS 75221 WITH SCORE 75345.448
AT ITER 1129 NEW BEST:: SOT 243928 SOS 124415 HAS SOPS 121288 HAS SOUS 75907 HAS SOUPS 75098 WITH SCORE 75222.415
AT ITER 1138 NEW BEST:: SOT 243774 SOS 124103 HAS SOPS 120976 HAS SOUS 75599 HAS SOUPS 74790 WITH SCORE 74914.103
AT ITER 1144 NEW BEST:: SOT 243724 SOS 124053 HAS SOPS 120926 HAS SOUS 75482 HAS SOUPS 74673 WITH SCORE 74797.053
AT ITER 1149 NEW BEST:: SOT 243716 SOS 124045 HAS SOPS 120918 HAS SOUS 75474 HAS SOUPS 74665 WITH SCORE 74789.045
AT ITER 1153 NEW BEST:: SOT 243708 SOS 124033 HAS SOPS 120906 HAS SOUS 75450 HAS SOUPS 74641 WITH SCORE 74765.033
AT ITER 1157 NEW BEST:: SOT 243767 SOS 124092 HAS SOPS 120965 HAS SOUS 75415 HAS SOUPS 74606 WITH SCORE 74730.092
AT ITER 1207 NEW BEST:: SOT 243789 SOS 124114 HAS SOPS 120987 HAS SOUS 75399 HAS SOUPS 74590 WITH SCORE 74714.114
AT ITER 1208 NEW BEST:: SOT 243777 SOS 124102 HAS SOPS 120975 HAS SOUS 75391 HAS SOUPS 74582 WITH SCORE 74706.102
AT ITER 1216 NEW BEST:: SOT 243742 SOS 124067 HAS SOPS 120940 HAS SOUS 75321 HAS SOUPS 74512 WITH SCORE 74636.067
AT ITER 1229 NEW BEST:: SOT 243786 SOS 124111 HAS SOPS 120984 HAS SOUS 75277 HAS SOUPS 74468 WITH SCORE 74592.111
AT ITER 1234 NEW BEST:: SOT 243725 SOS 124050 HAS SOPS 120923 HAS SOUS 75155 HAS SOUPS 74346 WITH SCORE 74470.05
AT ITER 1244 NEW BEST:: SOT 243713 SOS 124038 HAS SOPS 120911 HAS SOUS 75120 HAS SOUPS 74311 WITH SCORE 74435.038
AT ITER 1269 NEW BEST:: SOT 243698 SOS 124023 HAS SOPS 120896 HAS SOUS 75105 HAS SOUPS 74296 WITH SCORE 74420.023
AT ITER 1273 NEW BEST:: SOT 243623 SOS 124023 HAS SOPS 120896 HAS SOUS 74955 HAS SOUPS 74146 WITH SCORE 74270.023
AT ITER 1282 NEW BEST:: SOT 243678 SOS 124078 HAS SOPS 120951 HAS SOUS 74771 HAS SOUPS 73962 WITH SCORE 74086.078
AT ITER 1289 NEW BEST:: SOT 243633 SOS 124033 HAS SOPS 120906 HAS SOUS 74672 HAS SOUPS 73863 WITH SCORE 73987.033
AT ITER 1294 NEW BEST:: SOT 243540 SOS 123847 HAS SOPS 120720 HAS SOUS 74579 HAS SOUPS 73770 WITH SCORE 73893.847
AT ITER 1304 NEW BEST:: SOT 243547 SOS 123805 HAS SOPS 120678 HAS SOUS 74537 HAS SOUPS 73728 WITH SCORE 73851.805
AT ITER 1310 NEW BEST:: SOT 243513 SOS 123771 HAS SOPS 120644 HAS SOUS 74365 HAS SOUPS 73556 WITH SCORE 73679.771
AT ITER 1313 NEW BEST:: SOT 243493 SOS 123751 HAS SOPS 120624 HAS SOUS 74310 HAS SOUPS 73501 WITH SCORE 73624.751
AT ITER 1328 NEW BEST:: SOT 243449 SOS 123707 HAS SOPS 120580 HAS SOUS 74222 HAS SOUPS 73413 WITH SCORE 73536.707
AT ITER 1330 NEW BEST:: SOT 243449 SOS 123680 HAS SOPS 120553 HAS SOUS 74222 HAS SOUPS 73413 WITH SCORE 73536.68
AT ITER 1334 NEW BEST:: SOT 242684 SOS 122839 HAS SOPS 119712 HAS SOUS 73378 HAS SOUPS 72569 WITH SCORE 72691.839
AT ITER 1336 NEW BEST:: SOT 242634 SOS 123048 HAS SOPS 119921 HAS SOUS 73186 HAS SOUPS 72377 WITH SCORE 72500.048
AT ITER 1343 NEW BEST:: SOT 242372 SOS 122786 HAS SOPS 119659 HAS SOUS 72785 HAS SOUPS 71976 WITH SCORE 72098.786
AT ITER 1347 NEW BEST:: SOT 242372 SOS 122776 HAS SOPS 119649 HAS SOUS 72775 HAS SOUPS 71966 WITH SCORE 72088.776
AT ITER 1365 NEW BEST:: SOT 242293 SOS 122533 HAS SOPS 119392 HAS SOUS 72742 HAS SOUPS 71933 WITH SCORE 72055.533
AT ITER 1380 NEW BEST:: SOT 242398 SOS 122638 HAS SOPS 119497 HAS SOUS 72727 HAS SOUPS 71918 WITH SCORE 72040.638
AT ITER 1396 NEW BEST:: SOT 242369 SOS 122609 HAS SOPS 119468 HAS SOUS 72636 HAS SOUPS 71827 WITH SCORE 71949.609
AT ITER 1433 NEW BEST:: SOT 242365 SOS 122605 HAS SOPS 119464 HAS SOUS 72628 HAS SOUPS 71819 WITH SCORE 71941.605
AT ITER 1440 NEW BEST:: SOT 242353 SOS 122593 HAS SOPS 119452 HAS SOUS 72621 HAS SOUPS 71812 WITH SCORE 71934.593
AT ITER 1468 NEW BEST:: SOT 242101 SOS 122260 HAS SOPS 119119 HAS SOUS 72463 HAS SOUPS 71654 WITH SCORE 71776.26
AT ITER 1488 NEW BEST:: SOT 242053 SOS 122212 HAS SOPS 119071 HAS SOUS 72403 HAS SOUPS 71594 WITH SCORE 71716.212
AT ITER 1515 NEW BEST:: SOT 242008 SOS 122015 HAS SOPS 118874 HAS SOUS 72272 HAS SOUPS 71463 WITH SCORE 71585.015
AT ITER 1516 NEW BEST:: SOT 241978 SOS 121985 HAS SOPS 118851 HAS SOUS 72212 HAS SOUPS 71403 WITH SCORE 71524.985
AT ITER 1520 NEW BEST:: SOT 241902 SOS 121909 HAS SOPS 118775 HAS SOUS 72058 HAS SOUPS 71249 WITH SCORE 71370.909
AT ITER 1537 NEW BEST:: SOT 241833 SOS 121846 HAS SOPS 118712 HAS SOUS 72003 HAS SOUPS 71194 WITH SCORE 71315.846
AT ITER 1547 NEW BEST:: SOT 241814 SOS 121827 HAS SOPS 118693 HAS SOUS 71965 HAS SOUPS 71156 WITH SCORE 71277.827
AT ITER 1560 NEW BEST:: SOT 241814 SOS 121945 HAS SOPS 118873 HAS SOUS 71851 HAS SOUPS 71043 WITH SCORE 71164.945
AT ITER 1577 NEW BEST:: SOT 241790 SOS 121921 HAS SOPS 118861 HAS SOUS 71803 HAS SOUPS 70995 WITH SCORE 71116.921
AT ITER 1579 NEW BEST:: SOT 241790 SOS 121921 HAS SOPS 118861 HAS SOUS 71767 HAS SOUPS 70959 WITH SCORE 71080.921
AT ITER 1582 NEW BEST:: SOT 241784 SOS 121909 HAS SOPS 118849 HAS SOUS 71755 HAS SOUPS 70947 WITH SCORE 71068.909
AT ITER 1584 NEW BEST:: SOT 241784 SOS 121896 HAS SOPS 118836 HAS SOUS 71755 HAS SOUPS 70947 WITH SCORE 71068.896
AT ITER 1590 NEW BEST:: SOT 241833 SOS 122072 HAS SOPS 119012 HAS SOUS 71749 HAS SOUPS 70941 WITH SCORE 71063.072
AT ITER 1591 NEW BEST:: SOT 241807 SOS 122020 HAS SOPS 118960 HAS SOUS 71708 HAS SOUPS 70900 WITH SCORE 71022.02
AT ITER 1611 NEW BEST:: SOT 241803 SOS 122062 HAS SOPS 119002 HAS SOUS 71704 HAS SOUPS 70896 WITH SCORE 71018.062
AT ITER 1615 NEW BEST:: SOT 241803 SOS 122062 HAS SOPS 119002 HAS SOUS 71679 HAS SOUPS 70871 WITH SCORE 70993.062
AT ITER 1624 NEW BEST:: SOT 241761 SOS 121993 HAS SOPS 118933 HAS SOUS 71637 HAS SOUPS 70829 WITH SCORE 70950.993
AT ITER 1659 NEW BEST:: SOT 241756 SOS 121989 HAS SOPS 118927 HAS SOUS 71633 HAS SOUPS 70824 WITH SCORE 70945.989
AT ITER 1680 NEW BEST:: SOT 241725 SOS 122172 HAS SOPS 119110 HAS SOUS 71628 HAS SOUPS 70819 WITH SCORE 70941.172
AT ITER 1682 NEW BEST:: SOT 241678 SOS 122081 HAS SOPS 119019 HAS SOUS 71537 HAS SOUPS 70728 WITH SCORE 70850.081
AT ITER 1711 NEW BEST:: SOT 241657 SOS 121820 HAS SOPS 118758 HAS SOUS 71516 HAS SOUPS 70707 WITH SCORE 70828.82
AT ITER 1713 NEW BEST:: SOT 241641 SOS 121804 HAS SOPS 118742 HAS SOUS 71491 HAS SOUPS 70682 WITH SCORE 70803.804
AT ITER 1717 NEW BEST:: SOT 241590 SOS 122086 HAS SOPS 119077 HAS SOUS 71442 HAS SOUPS 70633 WITH SCORE 70755.086
AT ITER 1718 NEW BEST:: SOT 241589 SOS 122085 HAS SOPS 119076 HAS SOUS 71440 HAS SOUPS 70631 WITH SCORE 70753.085
AT ITER 1730 NEW BEST:: SOT 241765 SOS 122636 HAS SOPS 119627 HAS SOUS 71376 HAS SOUPS 70567 WITH SCORE 70689.636
AT ITER 1786 NEW BEST:: SOT 241443 SOS 123687 HAS SOPS 120846 HAS SOUS 71107 HAS SOUPS 70326 WITH SCORE 70449.687
AT ITER 1803 NEW BEST:: SOT 241426 SOS 123415 HAS SOPS 120574 HAS SOUS 71090 HAS SOUPS 70309 WITH SCORE 70432.415
AT ITER 1805 NEW BEST:: SOT 239926 SOS 122802 HAS SOPS 119961 HAS SOUS 69625 HAS SOUPS 68844 WITH SCORE 68966.802
AT ITER 1814 NEW BEST:: SOT 239926 SOS 122280 HAS SOPS 119613 HAS SOUS 69538 HAS SOUPS 68786 WITH SCORE 68908.28
AT ITER 1815 NEW BEST:: SOT 239908 SOS 122262 HAS SOPS 119613 HAS SOUS 69520 HAS SOUPS 68768 WITH SCORE 68890.262
AT ITER 1829 NEW BEST:: SOT 239908 SOS 122312 HAS SOPS 119663 HAS SOUS 69495 HAS SOUPS 68743 WITH SCORE 68865.312
AT ITER 1834 NEW BEST:: SOT 239884 SOS 122441 HAS SOPS 119759 HAS SOUS 69431 HAS SOUPS 68679 WITH SCORE 68801.441
AT ITER 1836 NEW BEST:: SOT 239810 SOS 122367 HAS SOPS 119685 HAS SOUS 69320 HAS SOUPS 68568 WITH SCORE 68690.367
AT ITER 1841 NEW BEST:: SOT 239715 SOS 121695 HAS SOPS 119013 HAS SOUS 69201 HAS SOUPS 68449 WITH SCORE 68570.695
AT ITER 1848 NEW BEST:: SOT 239570 SOS 120803 HAS SOPS 118121 HAS SOUS 69063 HAS SOUPS 68311 WITH SCORE 68431.803
AT ITER 1853 NEW BEST:: SOT 239467 SOS 120690 HAS SOPS 118008 HAS SOUS 68970 HAS SOUPS 68218 WITH SCORE 68338.69
AT ITER 1881 NEW BEST:: SOT 239400 SOS 120623 HAS SOPS 117941 HAS SOUS 68879 HAS SOUPS 68127 WITH SCORE 68247.623
AT ITER 1885 NEW BEST:: SOT 239386 SOS 120609 HAS SOPS 117927 HAS SOUS 68865 HAS SOUPS 68113 WITH SCORE 68233.609
AT ITER 1894 NEW BEST:: SOT 239378 SOS 120229 HAS SOPS 117573 HAS SOUS 68864 HAS SOUPS 68112 WITH SCORE 68232.229
AT ITER 1896 NEW BEST:: SOT 239050 SOS 119945 HAS SOPS 117289 HAS SOUS 68734 HAS SOUPS 67982 WITH SCORE 68101.945
AT ITER 1899 NEW BEST:: SOT 239080 SOS 119912 HAS SOPS 117186 HAS SOUS 68709 HAS SOUPS 67957 WITH SCORE 68076.912
AT ITER 1918 NEW BEST:: SOT 238880 SOS 119703 HAS SOPS 116977 HAS SOUS 68511 HAS SOUPS 67759 WITH SCORE 67878.703
AT ITER 1923 NEW BEST:: SOT 238826 SOS 119534 HAS SOPS 116807 HAS SOUS 68380 HAS SOUPS 67628 WITH SCORE 67747.534
AT ITER 1940 NEW BEST:: SOT 238922 SOS 119669 HAS SOPS 116942 HAS SOUS 68371 HAS SOUPS 67619 WITH SCORE 67738.669
AT ITER 1942 NEW BEST:: SOT 238920 SOS 119665 HAS SOPS 116938 HAS SOUS 68369 HAS SOUPS 67617 WITH SCORE 67736.665
AT ITER 1951 NEW BEST:: SOT 238881 SOS 119626 HAS SOPS 116899 HAS SOUS 68291 HAS SOUPS 67539 WITH SCORE 67658.626
AT ITER 1958 NEW BEST:: SOT 238867 SOS 119612 HAS SOPS 116885 HAS SOUS 68277 HAS SOUPS 67525 WITH SCORE 67644.612
AT ITER 1959 NEW BEST:: SOT 238811 SOS 119612 HAS SOPS 116885 HAS SOUS 68228 HAS SOUPS 67476 WITH SCORE 67595.612
AT ITER 1967 NEW BEST:: SOT 238774 SOS 119580 HAS SOPS 116853 HAS SOUS 68196 HAS SOUPS 67444 WITH SCORE 67563.58
AT ITER 1981 NEW BEST:: SOT 238762 SOS 119568 HAS SOPS 116841 HAS SOUS 68163 HAS SOUPS 67411 WITH SCORE 67530.568
AT ITER 2000 NEW BEST:: SOT 238762 SOS 119565 HAS SOPS 116838 HAS SOUS 68163 HAS SOUPS 67411 WITH SCORE 67530.565
AT ITER 2004 NEW BEST:: SOT 238762 SOS 119587 HAS SOPS 116860 HAS SOUS 68159 HAS SOUPS 67407 WITH SCORE 67526.587
AT ITER 2015 NEW BEST:: SOT 238573 SOS 119206 HAS SOPS 116479 HAS SOUS 67970 HAS SOUPS 67218 WITH SCORE 67337.206
AT ITER 2019 NEW BEST:: SOT 238358 SOS 118978 HAS SOPS 116251 HAS SOUS 67938 HAS SOUPS 67186 WITH SCORE 67304.978
AT ITER 2024 NEW BEST:: SOT 238340 SOS 118891 HAS SOPS 116164 HAS SOUS 67931 HAS SOUPS 67179 WITH SCORE 67297.891
AT ITER 2057 NEW BEST:: SOT 238340 SOS 118891 HAS SOPS 116164 HAS SOUS 67929 HAS SOUPS 67177 WITH SCORE 67295.891
AT ITER 2068 NEW BEST:: SOT 238332 SOS 118875 HAS SOPS 116148 HAS SOUS 67913 HAS SOUPS 67161 WITH SCORE 67279.875
AT ITER 2073 NEW BEST:: SOT 238267 SOS 118861 HAS SOPS 116134 HAS SOUS 67899 HAS SOUPS 67147 WITH SCORE 67265.861
AT ITER 2074 NEW BEST:: SOT 238267 SOS 118893 HAS SOPS 116166 HAS SOUS 67883 HAS SOUPS 67131 WITH SCORE 67249.893
AT ITER 2121 NEW BEST:: SOT 238267 SOS 118892 HAS SOPS 116165 HAS SOUS 67882 HAS SOUPS 67130 WITH SCORE 67248.892
AT ITER 2145 NEW BEST:: SOT 238197 SOS 118752 HAS SOPS 116025 HAS SOUS 67742 HAS SOUPS 66990 WITH SCORE 67108.752
AT ITER 2163 NEW BEST:: SOT 238173 SOS 118728 HAS SOPS 116001 HAS SOUS 67698 HAS SOUPS 66946 WITH SCORE 67064.728
AT ITER 2198 NEW BEST:: SOT 238148 SOS 118703 HAS SOPS 115976 HAS SOUS 67688 HAS SOUPS 66936 WITH SCORE 67054.703
AT ITER 2199 NEW BEST:: SOT 238141 SOS 118696 HAS SOPS 115969 HAS SOUS 67683 HAS SOUPS 66931 WITH SCORE 67049.696
AT ITER 2203 NEW BEST:: SOT 238040 SOS 118595 HAS SOPS 115868 HAS SOUS 67481 HAS SOUPS 66729 WITH SCORE 66847.595
AT ITER 2205 NEW BEST:: SOT 237814 SOS 118398 HAS SOPS 115671 HAS SOUS 67339 HAS SOUPS 66587 WITH SCORE 66705.398
AT ITER 2213 NEW BEST:: SOT 237810 SOS 118394 HAS SOPS 115667 HAS SOUS 67331 HAS SOUPS 66579 WITH SCORE 66697.394
AT ITER 2224 NEW BEST:: SOT 237810 SOS 118394 HAS SOPS 115678 HAS SOUS 67328 HAS SOUPS 66576 WITH SCORE 66694.394
AT ITER 2265 NEW BEST:: SOT 237759 SOS 118343 HAS SOPS 115627 HAS SOUS 67257 HAS SOUPS 66505 WITH SCORE 66623.343
AT ITER 2270 NEW BEST:: SOT 237719 SOS 118278 HAS SOPS 115562 HAS SOUS 67212 HAS SOUPS 66460 WITH SCORE 66578.278
AT ITER 2283 NEW BEST:: SOT 237704 SOS 118269 HAS SOPS 115553 HAS SOUS 67182 HAS SOUPS 66430 WITH SCORE 66548.269
AT ITER 2291 NEW BEST:: SOT 237587 SOS 118152 HAS SOPS 115453 HAS SOUS 67121 HAS SOUPS 66369 WITH SCORE 66487.152
AT ITER 2322 NEW BEST:: SOT 237570 SOS 118118 HAS SOPS 115419 HAS SOUS 67099 HAS SOUPS 66347 WITH SCORE 66465.118
AT ITER 2325 NEW BEST:: SOT 237570 SOS 118118 HAS SOPS 115419 HAS SOUS 67097 HAS SOUPS 66345 WITH SCORE 66463.118
AT ITER 2333 NEW BEST:: SOT 237646 SOS 118471 HAS SOPS 115772 HAS SOUS 67007 HAS SOUPS 66255 WITH SCORE 66373.471
AT ITER 2341 NEW BEST:: SOT 237646 SOS 118237 HAS SOPS 115538 HAS SOUS 67007 HAS SOUPS 66255 WITH SCORE 66373.237
AT ITER 2351 NEW BEST:: SOT 237634 SOS 118339 HAS SOPS 115640 HAS SOUS 67002 HAS SOUPS 66250 WITH SCORE 66368.339
AT ITER 2367 NEW BEST:: SOT 237606 SOS 118311 HAS SOPS 115612 HAS SOUS 66974 HAS SOUPS 66222 WITH SCORE 66340.311
AT ITER 2371 NEW BEST:: SOT 237544 SOS 118249 HAS SOPS 115550 HAS SOUS 66850 HAS SOUPS 66098 WITH SCORE 66216.249
AT ITER 2382 NEW BEST:: SOT 237530 SOS 118325 HAS SOPS 115626 HAS SOUS 66762 HAS SOUPS 66010 WITH SCORE 66128.325
AT ITER 2393 NEW BEST:: SOT 237530 SOS 118379 HAS SOPS 115680 HAS SOUS 66759 HAS SOUPS 66007 WITH SCORE 66125.379
AT ITER 2394 NEW BEST:: SOT 237464 SOS 118313 HAS SOPS 115614 HAS SOUS 66693 HAS SOUPS 65941 WITH SCORE 66059.313
AT ITER 2415 NEW BEST:: SOT 237448 SOS 118281 HAS SOPS 115582 HAS SOUS 66661 HAS SOUPS 65909 WITH SCORE 66027.281
AT ITER 2433 NEW BEST:: SOT 237369 SOS 118202 HAS SOPS 115439 HAS SOUS 66527 HAS SOUPS 65775 WITH SCORE 65893.202
AT ITER 2439 NEW BEST:: SOT 237376 SOS 118209 HAS SOPS 115446 HAS SOUS 66517 HAS SOUPS 65765 WITH SCORE 65883.209
AT ITER 2452 NEW BEST:: SOT 237273 SOS 117740 HAS SOPS 114977 HAS SOUS 66444 HAS SOUPS 65692 WITH SCORE 65809.74
AT ITER 2472 NEW BEST:: SOT 237097 SOS 117564 HAS SOPS 114801 HAS SOUS 66339 HAS SOUPS 65587 WITH SCORE 65704.564
AT ITER 2483 NEW BEST:: SOT 237079 SOS 117546 HAS SOPS 114795 HAS SOUS 66321 HAS SOUPS 65576 WITH SCORE 65693.546
AT ITER 2520 NEW BEST:: SOT 237004 SOS 117471 HAS SOPS 114784 HAS SOUS 66311 HAS SOUPS 65566 WITH SCORE 65683.471
AT ITER 2542 NEW BEST:: SOT 236995 SOS 117477 HAS SOPS 114790 HAS SOUS 66279 HAS SOUPS 65534 WITH SCORE 65651.477
AT ITER 2551 NEW BEST:: SOT 237000 SOS 117476 HAS SOPS 114789 HAS SOUS 66278 HAS SOUPS 65533 WITH SCORE 65650.476
AT ITER 2570 NEW BEST:: SOT 236998 SOS 117474 HAS SOPS 114788 HAS SOUS 66276 HAS SOUPS 65531 WITH SCORE 65648.474
AT ITER 2575 NEW BEST:: SOT 236910 SOS 117390 HAS SOPS 114704 HAS SOUS 66227 HAS SOUPS 65482 WITH SCORE 65599.39
AT ITER 2598 NEW BEST:: SOT 236908 SOS 117391 HAS SOPS 114782 HAS SOUS 66181 HAS SOUPS 65436 WITH SCORE 65553.391
AT ITER 2633 NEW BEST:: SOT 236908 SOS 117265 HAS SOPS 114656 HAS SOUS 66160 HAS SOUPS 65415 WITH SCORE 65532.265
AT ITER 2634 NEW BEST:: SOT 236815 SOS 117231 HAS SOPS 114622 HAS SOUS 66033 HAS SOUPS 65288 WITH SCORE 65405.231
AT ITER 2636 NEW BEST:: SOT 236812 SOS 117228 HAS SOPS 114619 HAS SOUS 66030 HAS SOUPS 65285 WITH SCORE 65402.228
AT ITER 2637 NEW BEST:: SOT 236793 SOS 117209 HAS SOPS 114588 HAS SOUS 66024 HAS SOUPS 65270 WITH SCORE 65387.209
AT ITER 2645 NEW BEST:: SOT 236757 SOS 117077 HAS SOPS 114456 HAS SOUS 66012 HAS SOUPS 65258 WITH SCORE 65375.077
AT ITER 2650 NEW BEST:: SOT 236724 SOS 117044 HAS SOPS 114423 HAS SOUS 65979 HAS SOUPS 65225 WITH SCORE 65342.044
AT ITER 2652 NEW BEST:: SOT 236724 SOS 117044 HAS SOPS 114423 HAS SOUS 65977 HAS SOUPS 65223 WITH SCORE 65340.044
AT ITER 2654 NEW BEST:: SOT 236721 SOS 117041 HAS SOPS 114420 HAS SOUS 65974 HAS SOUPS 65220 WITH SCORE 65337.041
AT ITER 2663 NEW BEST:: SOT 236672 SOS 116061 HAS SOPS 113806 HAS SOUS 65847 HAS SOUPS 65154 WITH SCORE 65270.061
AT ITER 2677 NEW BEST:: SOT 236672 SOS 116369 HAS SOPS 114114 HAS SOUS 65802 HAS SOUPS 65109 WITH SCORE 65225.369
AT ITER 2678 NEW BEST:: SOT 236643 SOS 116340 HAS SOPS 114085 HAS SOUS 65773 HAS SOUPS 65080 WITH SCORE 65196.34
AT ITER 2716 NEW BEST:: SOT 236635 SOS 116362 HAS SOPS 114104 HAS SOUS 65762 HAS SOUPS 65069 WITH SCORE 65185.362
AT ITER 2735 NEW BEST:: SOT 236651 SOS 116470 HAS SOPS 114193 HAS SOUS 65759 HAS SOUPS 65066 WITH SCORE 65182.47
AT ITER 2753 NEW BEST:: SOT 236627 SOS 116434 HAS SOPS 114157 HAS SOUS 65723 HAS SOUPS 65030 WITH SCORE 65146.434
AT ITER 2755 NEW BEST:: SOT 236618 SOS 116416 HAS SOPS 114139 HAS SOUS 65705 HAS SOUPS 65012 WITH SCORE 65128.416
AT ITER 2773 NEW BEST:: SOT 236616 SOS 116402 HAS SOPS 114125 HAS SOUS 65701 HAS SOUPS 65008 WITH SCORE 65124.402
AT ITER 2779 NEW BEST:: SOT 236524 SOS 116315 HAS SOPS 114038 HAS SOUS 65609 HAS SOUPS 64916 WITH SCORE 65032.315
AT ITER 2780 NEW BEST:: SOT 236524 SOS 116282 HAS SOPS 114005 HAS SOUS 65576 HAS SOUPS 64883 WITH SCORE 64999.282
AT ITER 2787 NEW BEST:: SOT 236503 SOS 116261 HAS SOPS 114005 HAS SOUS 65534 HAS SOUPS 64841 WITH SCORE 64957.261
AT ITER 2824 NEW BEST:: SOT 236499 SOS 116139 HAS SOPS 113883 HAS SOUS 65530 HAS SOUPS 64837 WITH SCORE 64953.139
AT ITER 2826 NEW BEST:: SOT 236408 SOS 116048 HAS SOPS 113792 HAS SOUS 65526 HAS SOUPS 64833 WITH SCORE 64949.048
AT ITER 2836 NEW BEST:: SOT 236585 SOS 116170 HAS SOPS 113914 HAS SOUS 65495 HAS SOUPS 64802 WITH SCORE 64918.17
AT ITER 2844 NEW BEST:: SOT 236494 SOS 116079 HAS SOPS 113867 HAS SOUS 65468 HAS SOUPS 64775 WITH SCORE 64891.079
AT ITER 2845 NEW BEST:: SOT 236461 SOS 116046 HAS SOPS 113834 HAS SOUS 65450 HAS SOUPS 64757 WITH SCORE 64873.046
AT ITER 2860 NEW BEST:: SOT 236455 SOS 116040 HAS SOPS 113828 HAS SOUS 65446 HAS SOUPS 64753 WITH SCORE 64869.04
AT ITER 2866 NEW BEST:: SOT 236441 SOS 116033 HAS SOPS 113821 HAS SOUS 65439 HAS SOUPS 64746 WITH SCORE 64862.033
AT ITER 2869 NEW BEST:: SOT 236518 SOS 116110 HAS SOPS 113898 HAS SOUS 65421 HAS SOUPS 64728 WITH SCORE 64844.11
AT ITER 2871 NEW BEST:: SOT 236515 SOS 116104 HAS SOPS 113892 HAS SOUS 65415 HAS SOUPS 64722 WITH SCORE 64838.104
AT ITER 2882 NEW BEST:: SOT 236516 SOS 116074 HAS SOPS 113862 HAS SOUS 65383 HAS SOUPS 64690 WITH SCORE 64806.074
AT ITER 2889 NEW BEST:: SOT 236531 SOS 116283 HAS SOPS 114071 HAS SOUS 65367 HAS SOUPS 64674 WITH SCORE 64790.283
AT ITER 2897 NEW BEST:: SOT 236481 SOS 116246 HAS SOPS 114034 HAS SOUS 65330 HAS SOUPS 64637 WITH SCORE 64753.246
AT ITER 2902 NEW BEST:: SOT 236478 SOS 116244 HAS SOPS 114032 HAS SOUS 65330 HAS SOUPS 64637 WITH SCORE 64753.244
AT ITER 2903 NEW BEST:: SOT 236478 SOS 116244 HAS SOPS 114032 HAS SOUS 65319 HAS SOUPS 64626 WITH SCORE 64742.244
AT ITER 2904 NEW BEST:: SOT 236449 SOS 116215 HAS SOPS 114003 HAS SOUS 65290 HAS SOUPS 64597 WITH SCORE 64713.215
AT ITER 2905 NEW BEST:: SOT 236249 SOS 116151 HAS SOPS 114049 HAS SOUS 65177 HAS SOUPS 64484 WITH SCORE 64600.151
AT ITER 2911 NEW BEST:: SOT 236249 SOS 117157 HAS SOPS 115055 HAS SOUS 65149 HAS SOUPS 64456 WITH SCORE 64573.157
AT ITER 2919 NEW BEST:: SOT 236103 SOS 117165 HAS SOPS 115041 HAS SOUS 65157 HAS SOUPS 64442 WITH SCORE 64559.165
AT ITER 2922 NEW BEST:: SOT 235925 SOS 117001 HAS SOPS 114877 HAS SOUS 65070 HAS SOUPS 64355 WITH SCORE 64472.001
AT ITER 2960 NEW BEST:: SOT 235899 SOS 117011 HAS SOPS 114887 HAS SOUS 65069 HAS SOUPS 64354 WITH SCORE 64471.011
AT ITER 2971 NEW BEST:: SOT 235898 SOS 117010 HAS SOPS 114886 HAS SOUS 65068 HAS SOUPS 64353 WITH SCORE 64470.01
AT ITER 2981 NEW BEST:: SOT 235892 SOS 117004 HAS SOPS 114880 HAS SOUS 65056 HAS SOUPS 64341 WITH SCORE 64458.004
AT ITER 2988 NEW BEST:: SOT 235907 SOS 117048 HAS SOPS 114825 HAS SOUS 64987 HAS SOUPS 64272 WITH SCORE 64389.048
AT ITER 3009 NEW BEST:: SOT 235877 SOS 117048 HAS SOPS 114825 HAS SOUS 64927 HAS SOUPS 64212 WITH SCORE 64329.048
AT ITER 3021 NEW BEST:: SOT 235863 SOS 117022 HAS SOPS 114799 HAS SOUS 64840 HAS SOUPS 64125 WITH SCORE 64242.022
AT ITER 3031 NEW BEST:: SOT 235903 SOS 117147 HAS SOPS 114924 HAS SOUS 64825 HAS SOUPS 64110 WITH SCORE 64227.147
AT ITER 3039 NEW BEST:: SOT 235893 SOS 117119 HAS SOPS 114896 HAS SOUS 64823 HAS SOUPS 64108 WITH SCORE 64225.119
AT ITER 3055 NEW BEST:: SOT 235893 SOS 117119 HAS SOPS 114896 HAS SOUS 64821 HAS SOUPS 64106 WITH SCORE 64223.119
AT ITER 3072 NEW BEST:: SOT 235855 SOS 117081 HAS SOPS 114858 HAS SOUS 64751 HAS SOUPS 64036 WITH SCORE 64153.081
AT ITER 3089 NEW BEST:: SOT 235912 SOS 117035 HAS SOPS 114812 HAS SOUS 64743 HAS SOUPS 64028 WITH SCORE 64145.035
AT ITER 3109 NEW BEST:: SOT 235940 SOS 117063 HAS SOPS 114840 HAS SOUS 64742 HAS SOUPS 64027 WITH SCORE 64144.063
AT ITER 3111 NEW BEST:: SOT 235916 SOS 117039 HAS SOPS 114816 HAS SOUS 64714 HAS SOUPS 63999 WITH SCORE 64116.039
AT ITER 3125 NEW BEST:: SOT 235914 SOS 117035 HAS SOPS 114812 HAS SOUS 64710 HAS SOUPS 63995 WITH SCORE 64112.035
AT ITER 3132 NEW BEST:: SOT 235912 SOS 117033 HAS SOPS 114810 HAS SOUS 64708 HAS SOUPS 63993 WITH SCORE 64110.033
AT ITER 3143 NEW BEST:: SOT 235873 SOS 117008 HAS SOPS 114785 HAS SOUS 64683 HAS SOUPS 63968 WITH SCORE 64085.008
AT ITER 3148 NEW BEST:: SOT 235889 SOS 117393 HAS SOPS 115170 HAS SOUS 64665 HAS SOUPS 63950 WITH SCORE 64067.393
AT ITER 3153 NEW BEST:: SOT 235829 SOS 117262 HAS SOPS 115039 HAS SOUS 64580 HAS SOUPS 63865 WITH SCORE 63982.262
AT ITER 3160 NEW BEST:: SOT 235776 SOS 117156 HAS SOPS 114933 HAS SOUS 64527 HAS SOUPS 63812 WITH SCORE 63929.156
AT ITER 3164 NEW BEST:: SOT 235772 SOS 117152 HAS SOPS 114929 HAS SOUS 64515 HAS SOUPS 63800 WITH SCORE 63917.152
AT ITER 3197 NEW BEST:: SOT 235744 SOS 117091 HAS SOPS 114868 HAS SOUS 64459 HAS SOUPS 63744 WITH SCORE 63861.091
AT ITER 3202 NEW BEST:: SOT 235636 SOS 116973 HAS SOPS 114750 HAS SOUS 64341 HAS SOUPS 63626 WITH SCORE 63742.973
AT ITER 3211 NEW BEST:: SOT 235611 SOS 116948 HAS SOPS 114725 HAS SOUS 64287 HAS SOUPS 63572 WITH SCORE 63688.948
AT ITER 3215 NEW BEST:: SOT 235609 SOS 116944 HAS SOPS 114721 HAS SOUS 64283 HAS SOUPS 63568 WITH SCORE 63684.944
AT ITER 3218 NEW BEST:: SOT 235593 SOS 116698 HAS SOPS 114449 HAS SOUS 64206 HAS SOUPS 63500 WITH SCORE 63616.698
AT ITER 3232 NEW BEST:: SOT 235593 SOS 116668 HAS SOPS 114419 HAS SOUS 64206 HAS SOUPS 63500 WITH SCORE 63616.668
AT ITER 3249 NEW BEST:: SOT 235587 SOS 116662 HAS SOPS 114413 HAS SOUS 64194 HAS SOUPS 63488 WITH SCORE 63604.662
AT ITER 3257 NEW BEST:: SOT 235550 SOS 116625 HAS SOPS 114376 HAS SOUS 64164 HAS SOUPS 63458 WITH SCORE 63574.625
AT ITER 3275 NEW BEST:: SOT 235541 SOS 116616 HAS SOPS 114367 HAS SOUS 64047 HAS SOUPS 63341 WITH SCORE 63457.616
AT ITER 3287 NEW BEST:: SOT 235505 SOS 116580 HAS SOPS 114331 HAS SOUS 63991 HAS SOUPS 63285 WITH SCORE 63401.58
AT ITER 3288 NEW BEST:: SOT 235502 SOS 116577 HAS SOPS 114331 HAS SOUS 63988 HAS SOUPS 63282 WITH SCORE 63398.577
AT ITER 3299 NEW BEST:: SOT 235497 SOS 116572 HAS SOPS 114326 HAS SOUS 63953 HAS SOUPS 63247 WITH SCORE 63363.572
AT ITER 3315 NEW BEST:: SOT 235467 SOS 116542 HAS SOPS 114312 HAS SOUS 63893 HAS SOUPS 63187 WITH SCORE 63303.542
AT ITER 3323 NEW BEST:: SOT 235415 SOS 114793 HAS SOPS 112563 HAS SOUS 63850 HAS SOUPS 63144 WITH SCORE 63258.793
AT ITER 3329 NEW BEST:: SOT 235418 SOS 114796 HAS SOPS 112566 HAS SOUS 63842 HAS SOUPS 63136 WITH SCORE 63250.796
AT ITER 3343 NEW BEST:: SOT 235364 SOS 114742 HAS SOPS 112512 HAS SOUS 63734 HAS SOUPS 63028 WITH SCORE 63142.742
AT ITER 3357 NEW BEST:: SOT 235307 SOS 114707 HAS SOPS 112444 HAS SOUS 63668 HAS SOUPS 62951 WITH SCORE 63065.707
AT ITER 3361 NEW BEST:: SOT 235125 SOS 114548 HAS SOPS 112285 HAS SOUS 63632 HAS SOUPS 62915 WITH SCORE 63029.548
AT ITER 3374 NEW BEST:: SOT 235120 SOS 114543 HAS SOPS 112280 HAS SOUS 63627 HAS SOUPS 62910 WITH SCORE 63024.543
AT ITER 3385 NEW BEST:: SOT 235088 SOS 114351 HAS SOPS 112088 HAS SOUS 63578 HAS SOUPS 62861 WITH SCORE 62975.351
AT ITER 3394 NEW BEST:: SOT 235143 SOS 114406 HAS SOPS 112143 HAS SOUS 63517 HAS SOUPS 62800 WITH SCORE 62914.406
AT ITER 3417 NEW BEST:: SOT 235143 SOS 114368 HAS SOPS 112103 HAS SOUS 63516 HAS SOUPS 62798 WITH SCORE 62912.368
AT ITER 3419 NEW BEST:: SOT 235149 SOS 114374 HAS SOPS 112109 HAS SOUS 63510 HAS SOUPS 62792 WITH SCORE 62906.374
AT ITER 3443 NEW BEST:: SOT 235133 SOS 113839 HAS SOPS 111574 HAS SOUS 63494 HAS SOUPS 62776 WITH SCORE 62889.839
AT ITER 3454 NEW BEST:: SOT 235133 SOS 113841 HAS SOPS 111576 HAS SOUS 63469 HAS SOUPS 62751 WITH SCORE 62864.841
AT ITER 3464 NEW BEST:: SOT 235126 SOS 113834 HAS SOPS 111569 HAS SOUS 63462 HAS SOUPS 62744 WITH SCORE 62857.834
AT ITER 3482 NEW BEST:: SOT 235157 SOS 114278 HAS SOPS 112013 HAS SOUS 63437 HAS SOUPS 62719 WITH SCORE 62833.278
AT ITER 3491 NEW BEST:: SOT 235229 SOS 114350 HAS SOPS 112068 HAS SOUS 63421 HAS SOUPS 62703 WITH SCORE 62817.35
AT ITER 3500 NEW BEST:: SOT 235196 SOS 114317 HAS SOPS 112035 HAS SOUS 63407 HAS SOUPS 62689 WITH SCORE 62803.317
AT ITER 3505 NEW BEST:: SOT 235191 SOS 114312 HAS SOPS 112030 HAS SOUS 63402 HAS SOUPS 62684 WITH SCORE 62798.312
AT ITER 3529 NEW BEST:: SOT 234876 SOS 117313 HAS SOPS 115247 HAS SOUS 63106 HAS SOUPS 62424 WITH SCORE 62541.313
AT ITER 3531 NEW BEST:: SOT 234877 SOS 117293 HAS SOPS 115216 HAS SOUS 63080 HAS SOUPS 62390 WITH SCORE 62507.293
AT ITER 3539 NEW BEST:: SOT 234844 SOS 117271 HAS SOPS 115194 HAS SOUS 63058 HAS SOUPS 62368 WITH SCORE 62485.271
AT ITER 3559 NEW BEST:: SOT 234837 SOS 117264 HAS SOPS 115187 HAS SOUS 63032 HAS SOUPS 62342 WITH SCORE 62459.264
AT ITER 3593 NEW BEST:: SOT 234900 SOS 117012 HAS SOPS 114935 HAS SOUS 63032 HAS SOUPS 62342 WITH SCORE 62459.012
AT ITER 3602 NEW BEST:: SOT 234920 SOS 117010 HAS SOPS 114933 HAS SOUS 63006 HAS SOUPS 62316 WITH SCORE 62433.01
AT ITER 3622 NEW BEST:: SOT 234920 SOS 116992 HAS SOPS 114915 HAS SOUS 63006 HAS SOUPS 62316 WITH SCORE 62432.992
AT ITER 3633 NEW BEST:: SOT 234905 SOS 116977 HAS SOPS 114900 HAS SOUS 62976 HAS SOUPS 62286 WITH SCORE 62402.977
AT ITER 3643 NEW BEST:: SOT 234905 SOS 116973 HAS SOPS 114896 HAS SOUS 62972 HAS SOUPS 62282 WITH SCORE 62398.973
AT ITER 3650 NEW BEST:: SOT 234881 SOS 116913 HAS SOPS 114836 HAS SOUS 62897 HAS SOUPS 62207 WITH SCORE 62323.913
AT ITER 3654 NEW BEST:: SOT 234858 SOS 116867 HAS SOPS 114790 HAS SOUS 62865 HAS SOUPS 62175 WITH SCORE 62291.867
AT ITER 3683 NEW BEST:: SOT 234858 SOS 116843 HAS SOPS 114766 HAS SOUS 62865 HAS SOUPS 62175 WITH SCORE 62291.843
AT ITER 3690 NEW BEST:: SOT 234840 SOS 115873 HAS SOPS 113680 HAS SOUS 62590 HAS SOUPS 61900 WITH SCORE 62015.873
AT ITER 3699 NEW BEST:: SOT 234840 SOS 115863 HAS SOPS 113670 HAS SOUS 62590 HAS SOUPS 61900 WITH SCORE 62015.863
AT ITER 3702 NEW BEST:: SOT 234831 SOS 115863 HAS SOPS 113670 HAS SOUS 62572 HAS SOUPS 61882 WITH SCORE 61997.863
AT ITER 3704 NEW BEST:: SOT 234942 SOS 115926 HAS SOPS 113733 HAS SOUS 62482 HAS SOUPS 61792 WITH SCORE 61907.926
AT ITER 3743 NEW BEST:: SOT 234887 SOS 115816 HAS SOPS 113623 HAS SOUS 62427 HAS SOUPS 61737 WITH SCORE 61852.816
AT ITER 3747 NEW BEST:: SOT 234832 SOS 116109 HAS SOPS 113568 HAS SOUS 62382 HAS SOUPS 61634 WITH SCORE 61750.109
AT ITER 3766 NEW BEST:: SOT 234840 SOS 116105 HAS SOPS 113558 HAS SOUS 62388 HAS SOUPS 61624 WITH SCORE 61740.105
AT ITER 3786 NEW BEST:: SOT 234819 SOS 116056 HAS SOPS 113516 HAS SOUS 62360 HAS SOUPS 61596 WITH SCORE 61712.056
AT ITER 3806 NEW BEST:: SOT 234762 SOS 113152 HAS SOPS 110612 HAS SOUS 62136 HAS SOUPS 61372 WITH SCORE 61485.152
AT ITER 3818 NEW BEST:: SOT 234609 SOS 113199 HAS SOPS 110548 HAS SOUS 62082 HAS SOUPS 61282 WITH SCORE 61395.199
AT ITER 3828 NEW BEST:: SOT 234609 SOS 113192 HAS SOPS 110541 HAS SOUS 62082 HAS SOUPS 61282 WITH SCORE 61395.192
AT ITER 3838 NEW BEST:: SOT 234605 SOS 113026 HAS SOPS 110375 HAS SOUS 62082 HAS SOUPS 61282 WITH SCORE 61395.026
AT ITER 3863 NEW BEST:: SOT 234599 SOS 113017 HAS SOPS 110366 HAS SOUS 62079 HAS SOUPS 61279 WITH SCORE 61392.017
AT ITER 3880 NEW BEST:: SOT 234563 SOS 112936 HAS SOPS 110285 HAS SOUS 62007 HAS SOUPS 61207 WITH SCORE 61319.936
AT ITER 3887 NEW BEST:: SOT 234522 SOS 112895 HAS SOPS 110244 HAS SOUS 61925 HAS SOUPS 61125 WITH SCORE 61237.895
AT ITER 3903 NEW BEST:: SOT 234522 SOS 112835 HAS SOPS 110184 HAS SOUS 61908 HAS SOUPS 61108 WITH SCORE 61220.835
AT ITER 3914 NEW BEST:: SOT 234510 SOS 112859 HAS SOPS 110208 HAS SOUS 61884 HAS SOUPS 61084 WITH SCORE 61196.859
AT ITER 3916 NEW BEST:: SOT 234509 SOS 112858 HAS SOPS 110207 HAS SOUS 61883 HAS SOUPS 61083 WITH SCORE 61195.858
AT ITER 3934 NEW BEST:: SOT 234395 SOS 112744 HAS SOPS 110093 HAS SOUS 61788 HAS SOUPS 60988 WITH SCORE 61100.744
AT ITER 3970 NEW BEST:: SOT 234390 SOS 112722 HAS SOPS 110071 HAS SOUS 61732 HAS SOUPS 60932 WITH SCORE 61044.722
AT ITER 4000 NEW BEST:: SOT 234365 SOS 112749 HAS SOPS 110098 HAS SOUS 61700 HAS SOUPS 60900 WITH SCORE 61012.749
AT ITER 4013 NEW BEST:: SOT 234365 SOS 112668 HAS SOPS 110017 HAS SOUS 61700 HAS SOUPS 60900 WITH SCORE 61012.668
AT ITER 4017 NEW BEST:: SOT 234365 SOS 112671 HAS SOPS 110020 HAS SOUS 61697 HAS SOUPS 60897 WITH SCORE 61009.671
AT ITER 4035 NEW BEST:: SOT 234348 SOS 112620 HAS SOPS 109969 HAS SOUS 61646 HAS SOUPS 60846 WITH SCORE 60958.62
AT ITER 4039 NEW BEST:: SOT 234334 SOS 112648 HAS SOPS 109997 HAS SOUS 61636 HAS SOUPS 60836 WITH SCORE 60948.648
AT ITER 4068 NEW BEST:: SOT 234263 SOS 112577 HAS SOPS 109926 HAS SOUS 61591 HAS SOUPS 60791 WITH SCORE 60903.577
AT ITER 4084 NEW BEST:: SOT 234278 SOS 112589 HAS SOPS 109938 HAS SOUS 61588 HAS SOUPS 60788 WITH SCORE 60900.589
AT ITER 4088 NEW BEST:: SOT 234247 SOS 111928 HAS SOPS 108455 HAS SOUS 61572 HAS SOUPS 60637 WITH SCORE 60748.928
AT ITER 4092 NEW BEST:: SOT 234235 SOS 111916 HAS SOPS 108443 HAS SOUS 61572 HAS SOUPS 60637 WITH SCORE 60748.916
AT ITER 4098 NEW BEST:: SOT 234184 SOS 111854 HAS SOPS 108381 HAS SOUS 61510 HAS SOUPS 60575 WITH SCORE 60686.854
AT ITER 4108 NEW BEST:: SOT 234176 SOS 111852 HAS SOPS 108379 HAS SOUS 61506 HAS SOUPS 60571 WITH SCORE 60682.852
AT ITER 4109 NEW BEST:: SOT 234176 SOS 111833 HAS SOPS 108360 HAS SOUS 61487 HAS SOUPS 60552 WITH SCORE 60663.833
AT ITER 4119 NEW BEST:: SOT 234176 SOS 111833 HAS SOPS 108360 HAS SOUS 61486 HAS SOUPS 60551 WITH SCORE 60662.833
AT ITER 4126 NEW BEST:: SOT 234178 SOS 111793 HAS SOPS 108320 HAS SOUS 61469 HAS SOUPS 60534 WITH SCORE 60645.793
AT ITER 4138 NEW BEST:: SOT 234192 SOS 111840 HAS SOPS 108367 HAS SOUS 61449 HAS SOUPS 60514 WITH SCORE 60625.84
AT ITER 4146 NEW BEST:: SOT 234215 SOS 111863 HAS SOPS 108390 HAS SOUS 61442 HAS SOUPS 60507 WITH SCORE 60618.863
AT ITER 4152 NEW BEST:: SOT 234199 SOS 111847 HAS SOPS 108374 HAS SOUS 61442 HAS SOUPS 60507 WITH SCORE 60618.847
AT ITER 4178 NEW BEST:: SOT 234174 SOS 111825 HAS SOPS 108352 HAS SOUS 61420 HAS SOUPS 60485 WITH SCORE 60596.825
AT ITER 4193 NEW BEST:: SOT 234164 SOS 111763 HAS SOPS 108290 HAS SOUS 61417 HAS SOUPS 60482 WITH SCORE 60593.763
AT ITER 4201 NEW BEST:: SOT 234166 SOS 111835 HAS SOPS 108362 HAS SOUS 61404 HAS SOUPS 60469 WITH SCORE 60580.835
AT ITER 4207 NEW BEST:: SOT 234133 SOS 111602 HAS SOPS 108129 HAS SOUS 61358 HAS SOUPS 60423 WITH SCORE 60534.602
AT ITER 4223 NEW BEST:: SOT 234167 SOS 111636 HAS SOPS 108163 HAS SOUS 61291 HAS SOUPS 60356 WITH SCORE 60467.636
AT ITER 4226 NEW BEST:: SOT 234167 SOS 111668 HAS SOPS 108207 HAS SOUS 61271 HAS SOUPS 60338 WITH SCORE 60449.668
AT ITER 4238 NEW BEST:: SOT 234167 SOS 111668 HAS SOPS 108207 HAS SOUS 61261 HAS SOUPS 60328 WITH SCORE 60439.668
AT ITER 4240 NEW BEST:: SOT 234167 SOS 111661 HAS SOPS 108200 HAS SOUS 61261 HAS SOUPS 60328 WITH SCORE 60439.661
AT ITER 4262 NEW BEST:: SOT 234156 SOS 111595 HAS SOPS 108134 HAS SOUS 61250 HAS SOUPS 60317 WITH SCORE 60428.595
AT ITER 4288 NEW BEST:: SOT 234122 SOS 111688 HAS SOPS 108227 HAS SOUS 61238 HAS SOUPS 60305 WITH SCORE 60416.688
AT ITER 4295 NEW BEST:: SOT 234100 SOS 111682 HAS SOPS 108221 HAS SOUS 61209 HAS SOUPS 60276 WITH SCORE 60387.682
AT ITER 4296 NEW BEST:: SOT 234046 SOS 111628 HAS SOPS 108191 HAS SOUS 61055 HAS SOUPS 60136 WITH SCORE 60247.628
AT ITER 4313 NEW BEST:: SOT 234026 SOS 111608 HAS SOPS 108171 HAS SOUS 61015 HAS SOUPS 60096 WITH SCORE 60207.608
AT ITER 4319 NEW BEST:: SOT 234031 SOS 111613 HAS SOPS 108176 HAS SOUS 61005 HAS SOUPS 60086 WITH SCORE 60197.613
AT ITER 4371 NEW BEST:: SOT 233953 SOS 111417 HAS SOPS 108026 HAS SOUS 60957 HAS SOUPS 60041 WITH SCORE 60152.417
AT ITER 4373 NEW BEST:: SOT 233915 SOS 111404 HAS SOPS 108013 HAS SOUS 60894 HAS SOUPS 59978 WITH SCORE 60089.404
AT ITER 4421 NEW BEST:: SOT 233913 SOS 111390 HAS SOPS 107999 HAS SOUS 60890 HAS SOUPS 59974 WITH SCORE 60085.39
AT ITER 4428 NEW BEST:: SOT 233732 SOS 110966 HAS SOPS 107575 HAS SOUS 60737 HAS SOUPS 59821 WITH SCORE 59931.966
AT ITER 4435 NEW BEST:: SOT 233736 SOS 111017 HAS SOPS 107626 HAS SOUS 60698 HAS SOUPS 59782 WITH SCORE 59893.017
AT ITER 4467 NEW BEST:: SOT 233681 SOS 110820 HAS SOPS 107429 HAS SOUS 60643 HAS SOUPS 59727 WITH SCORE 59837.82
AT ITER 4470 NEW BEST:: SOT 233642 SOS 110730 HAS SOPS 107339 HAS SOUS 60565 HAS SOUPS 59649 WITH SCORE 59759.73
AT ITER 4483 NEW BEST:: SOT 233633 SOS 110694 HAS SOPS 107303 HAS SOUS 60466 HAS SOUPS 59550 WITH SCORE 59660.694
AT ITER 4524 NEW BEST:: SOT 233632 SOS 110693 HAS SOPS 107302 HAS SOUS 60465 HAS SOUPS 59549 WITH SCORE 59659.693
AT ITER 4525 NEW BEST:: SOT 233625 SOS 110679 HAS SOPS 107288 HAS SOUS 60458 HAS SOUPS 59542 WITH SCORE 59652.679
AT ITER 4542 NEW BEST:: SOT 233664 SOS 110707 HAS SOPS 107261 HAS SOUS 60393 HAS SOUPS 59477 WITH SCORE 59587.707
AT ITER 4548 NEW BEST:: SOT 233664 SOS 110707 HAS SOPS 107261 HAS SOUS 60386 HAS SOUPS 59470 WITH SCORE 59580.707
AT ITER 4582 NEW BEST:: SOT 233662 SOS 110688 HAS SOPS 107241 HAS SOUS 60381 HAS SOUPS 59465 WITH SCORE 59575.688
AT ITER 4585 NEW BEST:: SOT 233664 SOS 110698 HAS SOPS 107239 HAS SOUS 60381 HAS SOUPS 59463 WITH SCORE 59573.698
AT ITER 4633 NEW BEST:: SOT 233674 SOS 110669 HAS SOPS 107210 HAS SOUS 60381 HAS SOUPS 59463 WITH SCORE 59573.669
AT ITER 4656 NEW BEST:: SOT 233667 SOS 110662 HAS SOPS 107237 HAS SOUS 60368 HAS SOUPS 59450 WITH SCORE 59560.662
AT ITER 4687 NEW BEST:: SOT 233669 SOS 110664 HAS SOPS 107239 HAS SOUS 60365 HAS SOUPS 59447 WITH SCORE 59557.664
AT ITER 4693 NEW BEST:: SOT 233665 SOS 110660 HAS SOPS 107235 HAS SOUS 60357 HAS SOUPS 59439 WITH SCORE 59549.66
AT ITER 4703 NEW BEST:: SOT 233665 SOS 110657 HAS SOPS 107229 HAS SOUS 60351 HAS SOUPS 59433 WITH SCORE 59543.657
AT ITER 4713 NEW BEST:: SOT 233642 SOS 110624 HAS SOPS 107196 HAS SOUS 60331 HAS SOUPS 59413 WITH SCORE 59523.624
AT ITER 4725 NEW BEST:: SOT 233625 SOS 110575 HAS SOPS 107147 HAS SOUS 60327 HAS SOUPS 59409 WITH SCORE 59519.575
AT ITER 4756 NEW BEST:: SOT 233573 SOS 110523 HAS SOPS 107095 HAS SOUS 60305 HAS SOUPS 59387 WITH SCORE 59497.523
AT ITER 4777 NEW BEST:: SOT 233576 SOS 110529 HAS SOPS 107101 HAS SOUS 60302 HAS SOUPS 59384 WITH SCORE 59494.529
AT ITER 4779 NEW BEST:: SOT 233569 SOS 110532 HAS SOPS 107104 HAS SOUS 60288 HAS SOUPS 59370 WITH SCORE 59480.532
AT ITER 4800 NEW BEST:: SOT 233577 SOS 110552 HAS SOPS 107124 HAS SOUS 60266 HAS SOUPS 59348 WITH SCORE 59458.552
AT ITER 4806 NEW BEST:: SOT 233628 SOS 110750 HAS SOPS 107322 HAS SOUS 60263 HAS SOUPS 59345 WITH SCORE 59455.75
AT ITER 4809 NEW BEST:: SOT 233620 SOS 110742 HAS SOPS 107330 HAS SOUS 60247 HAS SOUPS 59329 WITH SCORE 59439.742
AT ITER 4835 NEW BEST:: SOT 233546 SOS 109868 HAS SOPS 106456 HAS SOUS 59968 HAS SOUPS 59050 WITH SCORE 59159.868
AT ITER 4845 NEW BEST:: SOT 233546 SOS 109862 HAS SOPS 106450 HAS SOUS 59968 HAS SOUPS 59050 WITH SCORE 59159.862
AT ITER 4853 NEW BEST:: SOT 233517 SOS 109833 HAS SOPS 106450 HAS SOUS 59968 HAS SOUPS 59050 WITH SCORE 59159.833
AT ITER 4905 NEW BEST:: SOT 233517 SOS 109818 HAS SOPS 106435 HAS SOUS 59968 HAS SOUPS 59050 WITH SCORE 59159.818
AT ITER 4925 NEW BEST:: SOT 233409 SOS 109754 HAS SOPS 106371 HAS SOUS 59806 HAS SOUPS 58888 WITH SCORE 58997.754
AT ITER 4948 NEW BEST:: SOT 233394 SOS 109757 HAS SOPS 106374 HAS SOUS 59777 HAS SOUPS 58859 WITH SCORE 58968.757
AT ITER 4950 NEW BEST:: SOT 233395 SOS 109761 HAS SOPS 106378 HAS SOUS 59775 HAS SOUPS 58857 WITH SCORE 58966.761
AT ITER 4955 NEW BEST:: SOT 233379 SOS 109761 HAS SOPS 106378 HAS SOUS 59743 HAS SOUPS 58825 WITH SCORE 58934.761
AT ITER 4965 NEW BEST:: SOT 233335 SOS 109721 HAS SOPS 106338 HAS SOUS 59703 HAS SOUPS 58785 WITH SCORE 58894.721
AT ITER 4966 NEW BEST:: SOT 233308 SOS 109667 HAS SOPS 106284 HAS SOUS 59649 HAS SOUPS 58731 WITH SCORE 58840.667
AT ITER 4979 NEW BEST:: SOT 233308 SOS 109691 HAS SOPS 106308 HAS SOUS 59601 HAS SOUPS 58683 WITH SCORE 58792.691
AT ITER 4983 NEW BEST:: SOT 233303 SOS 109686 HAS SOPS 106303 HAS SOUS 59539 HAS SOUPS 58621 WITH SCORE 58730.686
AT ITER 5000 NEW BEST:: SOT 233303 SOS 109686 HAS SOPS 106303 HAS SOUS 59534 HAS SOUPS 58616 WITH SCORE 58725.686
AT ITER 5004 NEW BEST:: SOT 233273 SOS 109087 HAS SOPS 105704 HAS SOUS 59448 HAS SOUPS 58530 WITH SCORE 58639.087
AT ITER 5013 NEW BEST:: SOT 233317 SOS 109359 HAS SOPS 105920 HAS SOUS 59445 HAS SOUPS 58527 WITH SCORE 58636.359
AT ITER 5014 NEW BEST:: SOT 233317 SOS 109221 HAS SOPS 105782 HAS SOUS 59445 HAS SOUPS 58527 WITH SCORE 58636.221
AT ITER 5044 NEW BEST:: SOT 233317 SOS 109222 HAS SOPS 105783 HAS SOUS 59444 HAS SOUPS 58526 WITH SCORE 58635.222
AT ITER 5049 NEW BEST:: SOT 233304 SOS 109209 HAS SOPS 105770 HAS SOUS 59431 HAS SOUPS 58513 WITH SCORE 58622.209
AT ITER 5060 NEW BEST:: SOT 233303 SOS 109177 HAS SOPS 105738 HAS SOUS 59399 HAS SOUPS 58481 WITH SCORE 58590.177
AT ITER 5062 NEW BEST:: SOT 233279 SOS 109153 HAS SOPS 105714 HAS SOUS 59351 HAS SOUPS 58433 WITH SCORE 58542.153
AT ITER 5093 NEW BEST:: SOT 233279 SOS 109152 HAS SOPS 105713 HAS SOUS 59351 HAS SOUPS 58433 WITH SCORE 58542.152
AT ITER 5133 NEW BEST:: SOT 233279 SOS 109104 HAS SOPS 105665 HAS SOUS 59351 HAS SOUPS 58433 WITH SCORE 58542.104
AT ITER 5137 NEW BEST:: SOT 233303 SOS 109237 HAS SOPS 105759 HAS SOUS 59324 HAS SOUPS 58406 WITH SCORE 58515.237
AT ITER 5162 NEW BEST:: SOT 233307 SOS 109273 HAS SOPS 105795 HAS SOUS 59312 HAS SOUPS 58394 WITH SCORE 58503.273
AT ITER 5173 NEW BEST:: SOT 233292 SOS 109258 HAS SOPS 105780 HAS SOUS 59279 HAS SOUPS 58361 WITH SCORE 58470.258
AT ITER 5181 NEW BEST:: SOT 233345 SOS 109298 HAS SOPS 105820 HAS SOUS 59242 HAS SOUPS 58324 WITH SCORE 58433.298
AT ITER 5184 NEW BEST:: SOT 233228 SOS 108722 HAS SOPS 105322 HAS SOUS 59153 HAS SOUPS 58260 WITH SCORE 58368.722
AT ITER 5209 NEW BEST:: SOT 233203 SOS 108672 HAS SOPS 105272 HAS SOUS 59103 HAS SOUPS 58210 WITH SCORE 58318.672
AT ITER 5211 NEW BEST:: SOT 233190 SOS 108659 HAS SOPS 105259 HAS SOUS 59103 HAS SOUPS 58210 WITH SCORE 58318.659
AT ITER 5246 NEW BEST:: SOT 233171 SOS 108601 HAS SOPS 105201 HAS SOUS 59045 HAS SOUPS 58152 WITH SCORE 58260.601
AT ITER 5264 NEW BEST:: SOT 233096 SOS 108439 HAS SOPS 105051 HAS SOUS 58953 HAS SOUPS 58060 WITH SCORE 58168.439
AT ITER 5312 NEW BEST:: SOT 233087 SOS 108445 HAS SOPS 105057 HAS SOUS 58929 HAS SOUPS 58036 WITH SCORE 58144.445
AT ITER 5318 NEW BEST:: SOT 233123 SOS 108481 HAS SOPS 105093 HAS SOUS 58924 HAS SOUPS 58031 WITH SCORE 58139.481
AT ITER 5377 NEW BEST:: SOT 233150 SOS 108461 HAS SOPS 105073 HAS SOUS 58892 HAS SOUPS 57999 WITH SCORE 58107.461
AT ITER 5389 NEW BEST:: SOT 233142 SOS 108450 HAS SOPS 105062 HAS SOUS 58839 HAS SOUPS 57946 WITH SCORE 58054.45
AT ITER 5392 NEW BEST:: SOT 233107 SOS 107365 HAS SOPS 103977 HAS SOUS 58769 HAS SOUPS 57876 WITH SCORE 57983.365
AT ITER 5402 NEW BEST:: SOT 233075 SOS 107333 HAS SOPS 103970 HAS SOUS 58705 HAS SOUPS 57812 WITH SCORE 57919.333
AT ITER 5426 NEW BEST:: SOT 233055 SOS 110029 HAS SOPS 106666 HAS SOUS 58645 HAS SOUPS 57752 WITH SCORE 57862.029
AT ITER 5471 NEW BEST:: SOT 233073 SOS 110047 HAS SOPS 106684 HAS SOUS 58627 HAS SOUPS 57734 WITH SCORE 57844.047
AT ITER 5482 NEW BEST:: SOT 233036 SOS 109430 HAS SOPS 106111 HAS SOUS 58623 HAS SOUPS 57730 WITH SCORE 57839.43
AT ITER 5487 NEW BEST:: SOT 233034 SOS 109428 HAS SOPS 106109 HAS SOUS 58621 HAS SOUPS 57728 WITH SCORE 57837.428
AT ITER 5489 NEW BEST:: SOT 233022 SOS 109413 HAS SOPS 106094 HAS SOUS 58606 HAS SOUPS 57713 WITH SCORE 57822.413
AT ITER 5544 NEW BEST:: SOT 233001 SOS 109554 HAS SOPS 106235 HAS SOUS 58585 HAS SOUPS 57692 WITH SCORE 57801.554
AT ITER 5560 NEW BEST:: SOT 232907 SOS 109390 HAS SOPS 106071 HAS SOUS 58491 HAS SOUPS 57598 WITH SCORE 57707.39
AT ITER 5574 NEW BEST:: SOT 232903 SOS 109382 HAS SOPS 106063 HAS SOUS 58483 HAS SOUPS 57590 WITH SCORE 57699.382
AT ITER 5641 NEW BEST:: SOT 232922 SOS 111526 HAS SOPS 108207 HAS SOUS 58458 HAS SOUPS 57565 WITH SCORE 57676.526
AT ITER 5654 NEW BEST:: SOT 232916 SOS 111502 HAS SOPS 108183 HAS SOUS 58446 HAS SOUPS 57553 WITH SCORE 57664.502
AT ITER 5670 NEW BEST:: SOT 232914 SOS 111499 HAS SOPS 108180 HAS SOUS 58443 HAS SOUPS 57550 WITH SCORE 57661.499
AT ITER 5690 NEW BEST:: SOT 232912 SOS 111497 HAS SOPS 108178 HAS SOUS 58441 HAS SOUPS 57548 WITH SCORE 57659.497
AT ITER 5693 NEW BEST:: SOT 232882 SOS 111371 HAS SOPS 108052 HAS SOUS 58381 HAS SOUPS 57488 WITH SCORE 57599.371
AT ITER 5694 NEW BEST:: SOT 232882 SOS 111390 HAS SOPS 108071 HAS SOUS 58347 HAS SOUPS 57454 WITH SCORE 57565.39
AT ITER 5735 NEW BEST:: SOT 232849 SOS 111421 HAS SOPS 108102 HAS SOUS 58345 HAS SOUPS 57452 WITH SCORE 57563.421
AT ITER 5759 NEW BEST:: SOT 232803 SOS 111505 HAS SOPS 108186 HAS SOUS 58334 HAS SOUPS 57441 WITH SCORE 57552.505
AT ITER 5763 NEW BEST:: SOT 232821 SOS 111524 HAS SOPS 108191 HAS SOUS 58325 HAS SOUPS 57432 WITH SCORE 57543.524
AT ITER 5772 NEW BEST:: SOT 232811 SOS 111519 HAS SOPS 108186 HAS SOUS 58300 HAS SOUPS 57407 WITH SCORE 57518.519
AT ITER 5794 NEW BEST:: SOT 232799 SOS 111495 HAS SOPS 108162 HAS SOUS 58300 HAS SOUPS 57407 WITH SCORE 57518.495
AT ITER 5841 NEW BEST:: SOT 232799 SOS 111485 HAS SOPS 108152 HAS SOUS 58290 HAS SOUPS 57397 WITH SCORE 57508.485
AT ITER 5894 NEW BEST:: SOT 232798 SOS 111484 HAS SOPS 108151 HAS SOUS 58290 HAS SOUPS 57397 WITH SCORE 57508.484
AT ITER 5904 NEW BEST:: SOT 232805 SOS 111491 HAS SOPS 108158 HAS SOUS 58251 HAS SOUPS 57358 WITH SCORE 57469.491
AT ITER 6001 NEW BEST:: SOT 232803 SOS 111492 HAS SOPS 108159 HAS SOUS 58211 HAS SOUPS 57318 WITH SCORE 57429.492
AT ITER 6019 NEW BEST:: SOT 232803 SOS 111450 HAS SOPS 108117 HAS SOUS 58204 HAS SOUPS 57311 WITH SCORE 57422.45
AT ITER 6072 NEW BEST:: SOT 232754 SOS 111482 HAS SOPS 108149 HAS SOUS 58187 HAS SOUPS 57294 WITH SCORE 57405.482
AT ITER 6150 NEW BEST:: SOT 232744 SOS 111465 HAS SOPS 108132 HAS SOUS 58181 HAS SOUPS 57288 WITH SCORE 57399.465
AT ITER 6207 NEW BEST:: SOT 232752 SOS 111478 HAS SOPS 108145 HAS SOUS 58170 HAS SOUPS 57277 WITH SCORE 57388.478
AT ITER 6241 NEW BEST:: SOT 232727 SOS 111453 HAS SOPS 108120 HAS SOUS 58120 HAS SOUPS 57227 WITH SCORE 57338.453
AT ITER 6244 NEW BEST:: SOT 232708 SOS 111476 HAS SOPS 108137 HAS SOUS 58113 HAS SOUPS 57217 WITH SCORE 57328.476
AT ITER 6255 NEW BEST:: SOT 232819 SOS 111478 HAS SOPS 108114 HAS SOUS 58106 HAS SOUPS 57210 WITH SCORE 57321.478
AT ITER 6267 NEW BEST:: SOT 232806 SOS 111483 HAS SOPS 108119 HAS SOUS 58098 HAS SOUPS 57202 WITH SCORE 57313.483
AT ITER 6270 NEW BEST:: SOT 232797 SOS 111463 HAS SOPS 108099 HAS SOUS 58078 HAS SOUPS 57182 WITH SCORE 57293.463
AT ITER 6348 NEW BEST:: SOT 232767 SOS 111422 HAS SOPS 108058 HAS SOUS 58018 HAS SOUPS 57122 WITH SCORE 57233.422
AT ITER 6386 NEW BEST:: SOT 232767 SOS 111392 HAS SOPS 108028 HAS SOUS 58018 HAS SOUPS 57122 WITH SCORE 57233.392
AT ITER 6403 NEW BEST:: SOT 232741 SOS 111366 HAS SOPS 108002 HAS SOUS 57998 HAS SOUPS 57102 WITH SCORE 57213.366
AT ITER 6416 NEW BEST:: SOT 232701 SOS 111298 HAS SOPS 107934 HAS SOUS 57974 HAS SOUPS 57078 WITH SCORE 57189.298
AT ITER 6444 NEW BEST:: SOT 232689 SOS 111371 HAS SOPS 108007 HAS SOUS 57950 HAS SOUPS 57054 WITH SCORE 57165.371
AT ITER 6446 NEW BEST:: SOT 232675 SOS 111357 HAS SOPS 107993 HAS SOUS 57922 HAS SOUPS 57026 WITH SCORE 57137.357
AT ITER 6475 NEW BEST:: SOT 232341 SOS 110975 HAS SOPS 107611 HAS SOUS 57655 HAS SOUPS 56759 WITH SCORE 56869.975
AT ITER 6495 NEW BEST:: SOT 232338 SOS 110972 HAS SOPS 107608 HAS SOUS 57653 HAS SOUPS 56757 WITH SCORE 56867.972
AT ITER 6519 NEW BEST:: SOT 232305 SOS 111005 HAS SOPS 107641 HAS SOUS 57620 HAS SOUPS 56724 WITH SCORE 56835.005
AT ITER 6530 NEW BEST:: SOT 232293 SOS 110993 HAS SOPS 107629 HAS SOUS 57612 HAS SOUPS 56716 WITH SCORE 56826.993
AT ITER 6555 NEW BEST:: SOT 232293 SOS 110955 HAS SOPS 107591 HAS SOUS 57612 HAS SOUPS 56716 WITH SCORE 56826.955
AT ITER 6577 NEW BEST:: SOT 232285 SOS 110947 HAS SOPS 107583 HAS SOUS 57596 HAS SOUPS 56700 WITH SCORE 56810.947
AT ITER 6626 NEW BEST:: SOT 232274 SOS 110945 HAS SOPS 107573 HAS SOUS 57575 HAS SOUPS 56679 WITH SCORE 56789.945
AT ITER 6679 NEW BEST:: SOT 232233 SOS 110904 HAS SOPS 107532 HAS SOUS 57493 HAS SOUPS 56597 WITH SCORE 56707.904
AT ITER 6718 NEW BEST:: SOT 232189 SOS 110860 HAS SOPS 107488 HAS SOUS 57392 HAS SOUPS 56496 WITH SCORE 56606.86
AT ITER 6724 NEW BEST:: SOT 232178 SOS 110838 HAS SOPS 107466 HAS SOUS 57392 HAS SOUPS 56496 WITH SCORE 56606.838
AT ITER 6750 NEW BEST:: SOT 232168 SOS 110828 HAS SOPS 107456 HAS SOUS 57377 HAS SOUPS 56481 WITH SCORE 56591.828
AT ITER 6759 NEW BEST:: SOT 232173 SOS 110833 HAS SOPS 107461 HAS SOUS 57367 HAS SOUPS 56471 WITH SCORE 56581.833
AT ITER 6773 NEW BEST:: SOT 232167 SOS 110821 HAS SOPS 107449 HAS SOUS 57355 HAS SOUPS 56459 WITH SCORE 56569.821
AT ITER 6785 NEW BEST:: SOT 232166 SOS 110820 HAS SOPS 107448 HAS SOUS 57353 HAS SOUPS 56457 WITH SCORE 56567.82
AT ITER 6787 NEW BEST:: SOT 232167 SOS 110816 HAS SOPS 107444 HAS SOUS 57349 HAS SOUPS 56453 WITH SCORE 56563.816
AT ITER 6800 NEW BEST:: SOT 232167 SOS 110812 HAS SOPS 107440 HAS SOUS 57349 HAS SOUPS 56453 WITH SCORE 56563.812
AT ITER 6809 NEW BEST:: SOT 232169 SOS 110797 HAS SOPS 107425 HAS SOUS 57302 HAS SOUPS 56406 WITH SCORE 56516.797
AT ITER 6824 NEW BEST:: SOT 232167 SOS 110909 HAS SOPS 107537 HAS SOUS 57300 HAS SOUPS 56404 WITH SCORE 56514.909
AT ITER 6883 NEW BEST:: SOT 232161 SOS 110900 HAS SOPS 107528 HAS SOUS 57294 HAS SOUPS 56398 WITH SCORE 56508.9
AT ITER 6885 NEW BEST:: SOT 232160 SOS 110899 HAS SOPS 107527 HAS SOUS 57293 HAS SOUPS 56397 WITH SCORE 56507.899
AT ITER 6911 NEW BEST:: SOT 232115 SOS 109375 HAS SOPS 106003 HAS SOUS 57148 HAS SOUPS 56252 WITH SCORE 56361.375
AT ITER 6942 NEW BEST:: SOT 232107 SOS 109367 HAS SOPS 105995 HAS SOUS 57142 HAS SOUPS 56246 WITH SCORE 56355.367
AT ITER 6955 NEW BEST:: SOT 232107 SOS 109355 HAS SOPS 105983 HAS SOUS 57138 HAS SOUPS 56242 WITH SCORE 56351.355
AT ITER 6985 NEW BEST:: SOT 232093 SOS 109341 HAS SOPS 105969 HAS SOUS 57124 HAS SOUPS 56228 WITH SCORE 56337.341
AT ITER 7003 NEW BEST:: SOT 232050 SOS 109311 HAS SOPS 105939 HAS SOUS 57080 HAS SOUPS 56184 WITH SCORE 56293.311
AT ITER 7043 NEW BEST:: SOT 232049 SOS 109307 HAS SOPS 105936 HAS SOUS 57080 HAS SOUPS 56184 WITH SCORE 56293.307
AT ITER 7061 NEW BEST:: SOT 232086 SOS 109344 HAS SOPS 105973 HAS SOUS 57058 HAS SOUPS 56162 WITH SCORE 56271.344
AT ITER 7064 NEW BEST:: SOT 232088 SOS 109346 HAS SOPS 105957 HAS SOUS 57056 HAS SOUPS 56145 WITH SCORE 56254.346
AT ITER 7073 NEW BEST:: SOT 232088 SOS 109346 HAS SOPS 105957 HAS SOUS 57042 HAS SOUPS 56131 WITH SCORE 56240.346
AT ITER 7095 NEW BEST:: SOT 232119 SOS 109574 HAS SOPS 106185 HAS SOUS 57035 HAS SOUPS 56124 WITH SCORE 56233.574
AT ITER 7106 NEW BEST:: SOT 232106 SOS 109548 HAS SOPS 106159 HAS SOUS 57009 HAS SOUPS 56098 WITH SCORE 56207.548
AT ITER 7107 NEW BEST:: SOT 232062 SOS 109504 HAS SOPS 106115 HAS SOUS 56965 HAS SOUPS 56054 WITH SCORE 56163.504
AT ITER 7128 NEW BEST:: SOT 232031 SOS 109398 HAS SOPS 106028 HAS SOUS 56940 HAS SOUPS 56042 WITH SCORE 56151.398
AT ITER 7173 NEW BEST:: SOT 232031 SOS 109197 HAS SOPS 105827 HAS SOUS 56940 HAS SOUPS 56042 WITH SCORE 56151.197
AT ITER 7201 NEW BEST:: SOT 232019 SOS 109185 HAS SOPS 105815 HAS SOUS 56905 HAS SOUPS 56007 WITH SCORE 56116.185
AT ITER 7247 NEW BEST:: SOT 232001 SOS 109185 HAS SOPS 105815 HAS SOUS 56869 HAS SOUPS 55971 WITH SCORE 56080.185
AT ITER 7249 NEW BEST:: SOT 231991 SOS 109145 HAS SOPS 105775 HAS SOUS 56849 HAS SOUPS 55951 WITH SCORE 56060.145
AT ITER 7275 NEW BEST:: SOT 231978 SOS 109025 HAS SOPS 105645 HAS SOUS 56813 HAS SOUPS 55915 WITH SCORE 56024.025
AT ITER 7293 NEW BEST:: SOT 231966 SOS 109025 HAS SOPS 105645 HAS SOUS 56789 HAS SOUPS 55891 WITH SCORE 56000.025
AT ITER 7333 NEW BEST:: SOT 231958 SOS 109034 HAS SOPS 105654 HAS SOUS 56756 HAS SOUPS 55858 WITH SCORE 55967.034
AT ITER 7353 NEW BEST:: SOT 231991 SOS 109067 HAS SOPS 105687 HAS SOUS 56753 HAS SOUPS 55855 WITH SCORE 55964.067
AT ITER 7373 NEW BEST:: SOT 232018 SOS 109094 HAS SOPS 105714 HAS SOUS 56749 HAS SOUPS 55851 WITH SCORE 55960.094
AT ITER 7430 NEW BEST:: SOT 232014 SOS 109090 HAS SOPS 105710 HAS SOUS 56749 HAS SOUPS 55851 WITH SCORE 55960.09
AT ITER 7449 NEW BEST:: SOT 232000 SOS 109076 HAS SOPS 105696 HAS SOUS 56735 HAS SOUPS 55837 WITH SCORE 55946.076
AT ITER 7456 NEW BEST:: SOT 232003 SOS 109079 HAS SOPS 105699 HAS SOUS 56714 HAS SOUPS 55816 WITH SCORE 55925.079
AT ITER 7466 NEW BEST:: SOT 232039 SOS 109115 HAS SOPS 105735 HAS SOUS 56704 HAS SOUPS 55806 WITH SCORE 55915.115
AT ITER 7479 NEW BEST:: SOT 232027 SOS 109039 HAS SOPS 105659 HAS SOUS 56696 HAS SOUPS 55798 WITH SCORE 55907.039
AT ITER 7496 NEW BEST:: SOT 232035 SOS 109054 HAS SOPS 105674 HAS SOUS 56694 HAS SOUPS 55796 WITH SCORE 55905.054
AT ITER 7509 NEW BEST:: SOT 232046 SOS 109251 HAS SOPS 105812 HAS SOUS 56580 HAS SOUPS 55682 WITH SCORE 55791.251
AT ITER 7523 NEW BEST:: SOT 232048 SOS 109193 HAS SOPS 105754 HAS SOUS 56553 HAS SOUPS 55655 WITH SCORE 55764.193
AT ITER 7529 NEW BEST:: SOT 232047 SOS 109192 HAS SOPS 105754 HAS SOUS 56551 HAS SOUPS 55653 WITH SCORE 55762.192
AT ITER 7541 NEW BEST:: SOT 232034 SOS 109179 HAS SOPS 105728 HAS SOUS 56538 HAS SOUPS 55627 WITH SCORE 55736.179
AT ITER 7549 NEW BEST:: SOT 232034 SOS 109320 HAS SOPS 105869 HAS SOUS 56508 HAS SOUPS 55597 WITH SCORE 55706.32
AT ITER 7575 NEW BEST:: SOT 232029 SOS 109313 HAS SOPS 105862 HAS SOUS 56501 HAS SOUPS 55590 WITH SCORE 55699.313
AT ITER 7598 NEW BEST:: SOT 231981 SOS 109188 HAS SOPS 105737 HAS SOUS 56459 HAS SOUPS 55548 WITH SCORE 55657.188
AT ITER 7626 NEW BEST:: SOT 231981 SOS 109077 HAS SOPS 105626 HAS SOUS 56459 HAS SOUPS 55548 WITH SCORE 55657.077
AT ITER 7657 NEW BEST:: SOT 231979 SOS 109074 HAS SOPS 105623 HAS SOUS 56455 HAS SOUPS 55544 WITH SCORE 55653.074
AT ITER 7659 NEW BEST:: SOT 231939 SOS 109040 HAS SOPS 105589 HAS SOUS 56415 HAS SOUPS 55504 WITH SCORE 55613.04
AT ITER 7663 NEW BEST:: SOT 231881 SOS 108892 HAS SOPS 105444 HAS SOUS 56412 HAS SOUPS 55501 WITH SCORE 55609.892
AT ITER 7669 NEW BEST:: SOT 231922 SOS 108868 HAS SOPS 105420 HAS SOUS 56398 HAS SOUPS 55487 WITH SCORE 55595.868
AT ITER 7679 NEW BEST:: SOT 231922 SOS 108850 HAS SOPS 105402 HAS SOUS 56398 HAS SOUPS 55487 WITH SCORE 55595.85
AT ITER 7710 NEW BEST:: SOT 231879 SOS 107877 HAS SOPS 104429 HAS SOUS 56097 HAS SOUPS 55186 WITH SCORE 55293.877
AT ITER 7723 NEW BEST:: SOT 231872 SOS 107870 HAS SOPS 104422 HAS SOUS 56065 HAS SOUPS 55154 WITH SCORE 55261.87
AT ITER 7742 NEW BEST:: SOT 231872 SOS 107905 HAS SOPS 104457 HAS SOUS 56030 HAS SOUPS 55119 WITH SCORE 55226.905
AT ITER 7752 NEW BEST:: SOT 231872 SOS 107797 HAS SOPS 104349 HAS SOUS 56030 HAS SOUPS 55119 WITH SCORE 55226.797
AT ITER 7800 NEW BEST:: SOT 231872 SOS 107755 HAS SOPS 104307 HAS SOUS 55988 HAS SOUPS 55077 WITH SCORE 55184.755
AT ITER 7853 NEW BEST:: SOT 231852 SOS 107728 HAS SOPS 104280 HAS SOUS 55985 HAS SOUPS 55074 WITH SCORE 55181.728
AT ITER 7876 NEW BEST:: SOT 231848 SOS 107720 HAS SOPS 104272 HAS SOUS 55977 HAS SOUPS 55066 WITH SCORE 55173.72
AT ITER 7885 NEW BEST:: SOT 231832 SOS 107704 HAS SOPS 104256 HAS SOUS 55961 HAS SOUPS 55050 WITH SCORE 55157.704
AT ITER 7886 NEW BEST:: SOT 231826 SOS 107698 HAS SOPS 104244 HAS SOUS 55949 HAS SOUPS 55038 WITH SCORE 55145.698
AT ITER 7898 NEW BEST:: SOT 231868 SOS 107740 HAS SOPS 104286 HAS SOUS 55943 HAS SOUPS 55032 WITH SCORE 55139.74
AT ITER 7909 NEW BEST:: SOT 231859 SOS 107728 HAS SOPS 104274 HAS SOUS 55928 HAS SOUPS 55017 WITH SCORE 55124.728
AT ITER 7925 NEW BEST:: SOT 231858 SOS 107727 HAS SOPS 104273 HAS SOUS 55919 HAS SOUPS 55008 WITH SCORE 55115.727
AT ITER 7940 NEW BEST:: SOT 231783 SOS 107652 HAS SOPS 104198 HAS SOUS 55827 HAS SOUPS 54916 WITH SCORE 55023.652
AT ITER 7978 NEW BEST:: SOT 231767 SOS 107404 HAS SOPS 103950 HAS SOUS 55621 HAS SOUPS 54710 WITH SCORE 54817.404
AT ITER 8003 NEW BEST:: SOT 231754 SOS 107358 HAS SOPS 103888 HAS SOUS 55589 HAS SOUPS 54679 WITH SCORE 54786.358
AT ITER 8018 NEW BEST:: SOT 231734 SOS 107330 HAS SOPS 103860 HAS SOUS 55542 HAS SOUPS 54632 WITH SCORE 54739.33
AT ITER 8040 NEW BEST:: SOT 231730 SOS 107329 HAS SOPS 103859 HAS SOUS 55541 HAS SOUPS 54631 WITH SCORE 54738.329
AT ITER 8050 NEW BEST:: SOT 231745 SOS 107319 HAS SOPS 103849 HAS SOUS 55536 HAS SOUPS 54626 WITH SCORE 54733.319
AT ITER 8069 NEW BEST:: SOT 231740 SOS 107314 HAS SOPS 103844 HAS SOUS 55533 HAS SOUPS 54623 WITH SCORE 54730.314
AT ITER 8112 NEW BEST:: SOT 231737 SOS 107311 HAS SOPS 103841 HAS SOUS 55530 HAS SOUPS 54620 WITH SCORE 54727.311
AT ITER 8146 NEW BEST:: SOT 231735 SOS 107309 HAS SOPS 103839 HAS SOUS 55528 HAS SOUPS 54618 WITH SCORE 54725.309
AT ITER 8170 NEW BEST:: SOT 231730 SOS 107304 HAS SOPS 103809 HAS SOUS 55518 HAS SOUPS 54608 WITH SCORE 54715.304
AT ITER 8171 NEW BEST:: SOT 231730 SOS 107143 HAS SOPS 103648 HAS SOUS 55502 HAS SOUPS 54592 WITH SCORE 54699.143
AT ITER 8175 NEW BEST:: SOT 231705 SOS 107064 HAS SOPS 103603 HAS SOUS 55479 HAS SOUPS 54588 WITH SCORE 54695.064
AT ITER 8233 NEW BEST:: SOT 231705 SOS 107063 HAS SOPS 103602 HAS SOUS 55478 HAS SOUPS 54587 WITH SCORE 54694.063
AT ITER 8264 NEW BEST:: SOT 231694 SOS 107052 HAS SOPS 103591 HAS SOUS 55456 HAS SOUPS 54565 WITH SCORE 54672.052
AT ITER 8270 NEW BEST:: SOT 231659 SOS 107017 HAS SOPS 103556 HAS SOUS 55421 HAS SOUPS 54530 WITH SCORE 54637.017
AT ITER 8342 NEW BEST:: SOT 231543 SOS 106901 HAS SOPS 103440 HAS SOUS 55421 HAS SOUPS 54530 WITH SCORE 54636.901
AT ITER 8402 NEW BEST:: SOT 231386 SOS 107068 HAS SOPS 103545 HAS SOUS 55439 HAS SOUPS 54517 WITH SCORE 54624.068
AT ITER 8436 NEW BEST:: SOT 231344 SOS 107110 HAS SOPS 103587 HAS SOUS 55397 HAS SOUPS 54475 WITH SCORE 54582.11
AT ITER 8442 NEW BEST:: SOT 231344 SOS 107056 HAS SOPS 103533 HAS SOUS 55395 HAS SOUPS 54473 WITH SCORE 54580.056
AT ITER 8503 NEW BEST:: SOT 231318 SOS 107030 HAS SOPS 103507 HAS SOUS 55343 HAS SOUPS 54421 WITH SCORE 54528.03
AT ITER 8509 NEW BEST:: SOT 231307 SOS 107008 HAS SOPS 103485 HAS SOUS 55321 HAS SOUPS 54399 WITH SCORE 54506.008
AT ITER 8536 NEW BEST:: SOT 231297 SOS 106968 HAS SOPS 103445 HAS SOUS 55319 HAS SOUPS 54397 WITH SCORE 54503.968
AT ITER 8556 NEW BEST:: SOT 231216 SOS 106887 HAS SOPS 103364 HAS SOUS 55319 HAS SOUPS 54397 WITH SCORE 54503.887
AT ITER 8594 NEW BEST:: SOT 231204 SOS 106875 HAS SOPS 103352 HAS SOUS 55307 HAS SOUPS 54385 WITH SCORE 54491.875
AT ITER 8596 NEW BEST:: SOT 231211 SOS 106882 HAS SOPS 103359 HAS SOUS 55303 HAS SOUPS 54381 WITH SCORE 54487.882
AT ITER 8614 NEW BEST:: SOT 231229 SOS 106841 HAS SOPS 103318 HAS SOUS 55303 HAS SOUPS 54381 WITH SCORE 54487.841
AT ITER 8676 NEW BEST:: SOT 231260 SOS 106872 HAS SOPS 103349 HAS SOUS 55266 HAS SOUPS 54344 WITH SCORE 54450.872
AT ITER 8682 NEW BEST:: SOT 231250 SOS 106862 HAS SOPS 103339 HAS SOUS 55256 HAS SOUPS 54334 WITH SCORE 54440.862
AT ITER 8693 NEW BEST:: SOT 231249 SOS 106759 HAS SOPS 103236 HAS SOUS 55255 HAS SOUPS 54333 WITH SCORE 54439.759
AT ITER 8694 NEW BEST:: SOT 231249 SOS 106759 HAS SOPS 103236 HAS SOUS 55252 HAS SOUPS 54330 WITH SCORE 54436.759
AT ITER 8701 NEW BEST:: SOT 231268 SOS 106714 HAS SOPS 103191 HAS SOUS 55218 HAS SOUPS 54296 WITH SCORE 54402.714
AT ITER 8730 NEW BEST:: SOT 231268 SOS 106843 HAS SOPS 103320 HAS SOUS 55165 HAS SOUPS 54243 WITH SCORE 54349.843
AT ITER 8746 NEW BEST:: SOT 231252 SOS 106827 HAS SOPS 103281 HAS SOUS 55133 HAS SOUPS 54211 WITH SCORE 54317.827
AT ITER 8748 NEW BEST:: SOT 231252 SOS 106865 HAS SOPS 103319 HAS SOUS 55073 HAS SOUPS 54151 WITH SCORE 54257.865
AT ITER 8755 NEW BEST:: SOT 231238 SOS 106851 HAS SOPS 103305 HAS SOUS 55033 HAS SOUPS 54111 WITH SCORE 54217.851
AT ITER 8768 NEW BEST:: SOT 231266 SOS 106879 HAS SOPS 103333 HAS SOUS 54969 HAS SOUPS 54047 WITH SCORE 54153.879
AT ITER 8773 NEW BEST:: SOT 231296 SOS 106819 HAS SOPS 103273 HAS SOUS 54969 HAS SOUPS 54047 WITH SCORE 54153.819
AT ITER 8852 NEW BEST:: SOT 231298 SOS 106817 HAS SOPS 103271 HAS SOUS 54967 HAS SOUPS 54045 WITH SCORE 54151.817
AT ITER 8881 NEW BEST:: SOT 231296 SOS 106808 HAS SOPS 103262 HAS SOUS 54965 HAS SOUPS 54043 WITH SCORE 54149.808
AT ITER 8942 NEW BEST:: SOT 231296 SOS 106808 HAS SOPS 103262 HAS SOUS 54961 HAS SOUPS 54039 WITH SCORE 54145.808
AT ITER 8949 NEW BEST:: SOT 231216 SOS 106687 HAS SOPS 103141 HAS SOUS 54822 HAS SOUPS 53900 WITH SCORE 54006.687
AT ITER 8966 NEW BEST:: SOT 231212 SOS 106679 HAS SOPS 103133 HAS SOUS 54814 HAS SOUPS 53892 WITH SCORE 53998.679
AT ITER 9007 NEW BEST:: SOT 231198 SOS 106741 HAS SOPS 103195 HAS SOUS 54763 HAS SOUPS 53841 WITH SCORE 53947.741
AT ITER 9059 NEW BEST:: SOT 231194 SOS 106741 HAS SOPS 103195 HAS SOUS 54755 HAS SOUPS 53833 WITH SCORE 53939.741
AT ITER 9080 NEW BEST:: SOT 231167 SOS 106669 HAS SOPS 103123 HAS SOUS 54730 HAS SOUPS 53808 WITH SCORE 53914.669
AT ITER 9096 NEW BEST:: SOT 231108 SOS 106610 HAS SOPS 103064 HAS SOUS 54657 HAS SOUPS 53735 WITH SCORE 53841.61
AT ITER 9117 NEW BEST:: SOT 231097 SOS 106599 HAS SOPS 103053 HAS SOUS 54649 HAS SOUPS 53727 WITH SCORE 53833.599
AT ITER 9138 NEW BEST:: SOT 231110 SOS 106612 HAS SOPS 103056 HAS SOUS 54643 HAS SOUPS 53721 WITH SCORE 53827.612
AT ITER 9145 NEW BEST:: SOT 231085 SOS 106791 HAS SOPS 103235 HAS SOUS 54629 HAS SOUPS 53707 WITH SCORE 53813.791
AT ITER 9146 NEW BEST:: SOT 231081 SOS 107006 HAS SOPS 103450 HAS SOUS 54625 HAS SOUPS 53703 WITH SCORE 53810.006
AT ITER 9154 NEW BEST:: SOT 231030 SOS 106955 HAS SOPS 103399 HAS SOUS 54575 HAS SOUPS 53653 WITH SCORE 53759.955
AT ITER 9155 NEW BEST:: SOT 231028 SOS 106953 HAS SOPS 103397 HAS SOUS 54573 HAS SOUPS 53651 WITH SCORE 53757.953
AT ITER 9205 NEW BEST:: SOT 231021 SOS 106892 HAS SOPS 103336 HAS SOUS 54559 HAS SOUPS 53637 WITH SCORE 53743.892
AT ITER 9218 NEW BEST:: SOT 230981 SOS 106856 HAS SOPS 103300 HAS SOUS 54523 HAS SOUPS 53601 WITH SCORE 53707.856
AT ITER 9219 NEW BEST:: SOT 230958 SOS 106833 HAS SOPS 103277 HAS SOUS 54477 HAS SOUPS 53555 WITH SCORE 53661.833
AT ITER 9247 NEW BEST:: SOT 230973 SOS 106833 HAS SOPS 103277 HAS SOUS 54468 HAS SOUPS 53546 WITH SCORE 53652.833
AT ITER 9250 NEW BEST:: SOT 230971 SOS 106829 HAS SOPS 103273 HAS SOUS 54468 HAS SOUPS 53546 WITH SCORE 53652.829
AT ITER 9259 NEW BEST:: SOT 230971 SOS 106767 HAS SOPS 103211 HAS SOUS 54468 HAS SOUPS 53546 WITH SCORE 53652.767
AT ITER 9267 NEW BEST:: SOT 230971 SOS 106767 HAS SOPS 103211 HAS SOUS 54467 HAS SOUPS 53545 WITH SCORE 53651.767
AT ITER 9268 NEW BEST:: SOT 230866 SOS 106725 HAS SOPS 103169 HAS SOUS 54428 HAS SOUPS 53506 WITH SCORE 53612.725
AT ITER 9275 NEW BEST:: SOT 230865 SOS 106727 HAS SOPS 103171 HAS SOUS 54427 HAS SOUPS 53505 WITH SCORE 53611.727
AT ITER 9310 NEW BEST:: SOT 230854 SOS 106736 HAS SOPS 103222 HAS SOUS 54416 HAS SOUPS 53504 WITH SCORE 53610.736
AT ITER 9317 NEW BEST:: SOT 230834 SOS 106656 HAS SOPS 103162 HAS SOUS 54386 HAS SOUPS 53489 WITH SCORE 53595.656
AT ITER 9329 NEW BEST:: SOT 230826 SOS 106644 HAS SOPS 103154 HAS SOUS 54382 HAS SOUPS 53485 WITH SCORE 53591.644
AT ITER 9339 NEW BEST:: SOT 230946 SOS 107116 HAS SOPS 103493 HAS SOUS 54363 HAS SOUPS 53451 WITH SCORE 53558.116
AT ITER 9354 NEW BEST:: SOT 230897 SOS 107010 HAS SOPS 103433 HAS SOUS 54322 HAS SOUPS 53410 WITH SCORE 53517.01
AT ITER 9379 NEW BEST:: SOT 230867 SOS 106967 HAS SOPS 103390 HAS SOUS 54266 HAS SOUPS 53354 WITH SCORE 53460.967
AT ITER 9400 NEW BEST:: SOT 230744 SOS 106855 HAS SOPS 103278 HAS SOUS 54261 HAS SOUPS 53349 WITH SCORE 53455.855
AT ITER 9420 NEW BEST:: SOT 230736 SOS 106841 HAS SOPS 103264 HAS SOUS 54257 HAS SOUPS 53345 WITH SCORE 53451.841
AT ITER 9502 NEW BEST:: SOT 230679 SOS 106784 HAS SOPS 103207 HAS SOUS 54182 HAS SOUPS 53270 WITH SCORE 53376.784
AT ITER 9539 NEW BEST:: SOT 230669 SOS 106704 HAS SOPS 103127 HAS SOUS 54162 HAS SOUPS 53250 WITH SCORE 53356.704
AT ITER 9540 NEW BEST:: SOT 230702 SOS 106737 HAS SOPS 103160 HAS SOUS 54135 HAS SOUPS 53223 WITH SCORE 53329.737
AT ITER 9577 NEW BEST:: SOT 230698 SOS 106726 HAS SOPS 103149 HAS SOUS 54132 HAS SOUPS 53220 WITH SCORE 53326.726
AT ITER 9603 NEW BEST:: SOT 230693 SOS 106717 HAS SOPS 103140 HAS SOUS 54128 HAS SOUPS 53216 WITH SCORE 53322.717
AT ITER 9615 NEW BEST:: SOT 230701 SOS 106830 HAS SOPS 103253 HAS SOUS 54084 HAS SOUPS 53172 WITH SCORE 53278.83
AT ITER 9638 NEW BEST:: SOT 230685 SOS 106814 HAS SOPS 103237 HAS SOUS 54052 HAS SOUPS 53140 WITH SCORE 53246.814
AT ITER 9733 NEW BEST:: SOT 230640 SOS 106762 HAS SOPS 103185 HAS SOUS 53996 HAS SOUPS 53084 WITH SCORE 53190.762
AT ITER 9799 NEW BEST:: SOT 230637 SOS 106768 HAS SOPS 103191 HAS SOUS 53990 HAS SOUPS 53078 WITH SCORE 53184.768
AT ITER 9811 NEW BEST:: SOT 230626 SOS 106740 HAS SOPS 103163 HAS SOUS 53969 HAS SOUPS 53057 WITH SCORE 53163.74
AT ITER 9867 NEW BEST:: SOT 230589 SOS 106508 HAS SOPS 102931 HAS SOUS 53921 HAS SOUPS 53009 WITH SCORE 53115.508
AT ITER 9884 NEW BEST:: SOT 230550 SOS 106469 HAS SOPS 102875 HAS SOUS 53880 HAS SOUPS 52951 WITH SCORE 53057.469
AT ITER 9898 NEW BEST:: SOT 230533 SOS 106452 HAS SOPS 102858 HAS SOUS 53874 HAS SOUPS 52945 WITH SCORE 53051.452
AT ITER 9909 NEW BEST:: SOT 230497 SOS 106401 HAS SOPS 102807 HAS SOUS 53833 HAS SOUPS 52904 WITH SCORE 53010.401
AT ITER 9936 NEW BEST:: SOT 230505 SOS 106456 HAS SOPS 102862 HAS SOUS 53826 HAS SOUPS 52897 WITH SCORE 53003.456
AT ITER 9952 NEW BEST:: SOT 230505 SOS 106392 HAS SOPS 102798 HAS SOUS 53826 HAS SOUPS 52897 WITH SCORE 53003.392
AT ITER 9965 NEW BEST:: SOT 230491 SOS 106371 HAS SOPS 102777 HAS SOUS 53812 HAS SOUPS 52883 WITH SCORE 52989.371
STATE_SPACE STATES 10053 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 58 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 18734 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678788221166

--------------------
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="PolyORBLF-COL-S02J04T06"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-COL-S02J04T06, 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 r291-tall-167873942800352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S02J04T06.tgz
mv PolyORBLF-COL-S02J04T06 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 ;