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.r523-tall-167987247800248.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is EisenbergMcGuire-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247800248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Mar 23 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Mar 23 15:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 13K Mar 23 15:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Mar 23 15:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Mar 23 15:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Mar 23 15:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 753K Mar 31 16:48 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 1680811518951

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=EisenbergMcGuire-PT-06
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 20:05:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 20:05:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 20:05:21] [INFO ] Load time of PNML (sax parser for PT used): 258 ms
[2023-04-06 20:05:21] [INFO ] Transformed 414 places.
[2023-04-06 20:05:21] [INFO ] Transformed 1296 transitions.
[2023-04-06 20:05:21] [INFO ] Found NUPN structural information;
[2023-04-06 20:05:21] [INFO ] Parsed PT model containing 414 places and 1296 transitions and 5976 arcs in 340 ms.
[2023-04-06 20:05:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 414 places, 1296 transitions and 5976 arcs took 15 ms.
Total runtime 392 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 414 places, 1296 transitions, 5976 arcs.
AT ITER 0 NEW BEST:: SOT 401137 SOS 200051 HAS SOPS 137638 HAS SOUS 97577 HAS SOUPS 93568 WITH SCORE 93768.051
AT ITER 1 NEW BEST:: SOT 401114 SOS 199999 HAS SOPS 137534 HAS SOUS 97502 HAS SOUPS 93493 WITH SCORE 93692.999
AT ITER 3 NEW BEST:: SOT 401114 SOS 199651 HAS SOPS 137186 HAS SOUS 97502 HAS SOUPS 93493 WITH SCORE 93692.651
AT ITER 4 NEW BEST:: SOT 400914 SOS 199155 HAS SOPS 136487 HAS SOUS 97021 HAS SOUPS 93012 WITH SCORE 93211.155
AT ITER 6 NEW BEST:: SOT 400903 SOS 199143 HAS SOPS 136441 HAS SOUS 96887 HAS SOUPS 92882 WITH SCORE 93081.143
AT ITER 10 NEW BEST:: SOT 400839 SOS 199749 HAS SOPS 137047 HAS SOUS 96778 HAS SOUPS 92773 WITH SCORE 92972.749
AT ITER 11 NEW BEST:: SOT 400736 SOS 197996 HAS SOPS 136602 HAS SOUS 96317 HAS SOUPS 92473 WITH SCORE 92670.996
AT ITER 12 NEW BEST:: SOT 400574 SOS 197879 HAS SOPS 136586 HAS SOUS 96080 HAS SOUPS 92236 WITH SCORE 92433.879
AT ITER 15 NEW BEST:: SOT 400558 SOS 198611 HAS SOPS 137299 HAS SOUS 95925 HAS SOUPS 92081 WITH SCORE 92279.611
AT ITER 31 NEW BEST:: SOT 400178 SOS 198193 HAS SOPS 137179 HAS SOUS 95795 HAS SOUPS 91961 WITH SCORE 92159.193
AT ITER 39 NEW BEST:: SOT 400112 SOS 198084 HAS SOPS 137070 HAS SOUS 95768 HAS SOUPS 91934 WITH SCORE 92132.084
AT ITER 47 NEW BEST:: SOT 400098 SOS 198056 HAS SOPS 137042 HAS SOUS 95754 HAS SOUPS 91920 WITH SCORE 92118.056
AT ITER 58 NEW BEST:: SOT 399857 SOS 197822 HAS SOPS 136808 HAS SOUS 95506 HAS SOUPS 91672 WITH SCORE 91869.822
AT ITER 62 NEW BEST:: SOT 399875 SOS 197840 HAS SOPS 136826 HAS SOUS 95476 HAS SOUPS 91642 WITH SCORE 91839.84
AT ITER 64 NEW BEST:: SOT 399785 SOS 197361 HAS SOPS 136347 HAS SOUS 95233 HAS SOUPS 91399 WITH SCORE 91596.361
AT ITER 65 NEW BEST:: SOT 399752 SOS 197256 HAS SOPS 136242 HAS SOUS 95163 HAS SOUPS 91329 WITH SCORE 91526.256
AT ITER 68 NEW BEST:: SOT 399711 SOS 197170 HAS SOPS 136156 HAS SOUS 95118 HAS SOUPS 91284 WITH SCORE 91481.17
AT ITER 72 NEW BEST:: SOT 399684 SOS 197082 HAS SOPS 135865 HAS SOUS 95040 HAS SOUPS 91082 WITH SCORE 91279.082
AT ITER 73 NEW BEST:: SOT 400084 SOS 197482 HAS SOPS 136265 HAS SOUS 94996 HAS SOUPS 91038 WITH SCORE 91235.482
AT ITER 99 NEW BEST:: SOT 399284 SOS 197003 HAS SOPS 137634 HAS SOUS 94723 HAS SOUPS 90780 WITH SCORE 90977.003
AT ITER 106 NEW BEST:: SOT 399191 SOS 196910 HAS SOPS 137541 HAS SOUS 94630 HAS SOUPS 90687 WITH SCORE 90883.91
AT ITER 119 NEW BEST:: SOT 399109 SOS 196787 HAS SOPS 137623 HAS SOUS 94530 HAS SOUPS 90564 WITH SCORE 90760.787
AT ITER 120 NEW BEST:: SOT 398991 SOS 196551 HAS SOPS 137387 HAS SOUS 94412 HAS SOUPS 90446 WITH SCORE 90642.551
AT ITER 121 NEW BEST:: SOT 398983 SOS 196539 HAS SOPS 137375 HAS SOUS 94404 HAS SOUPS 90438 WITH SCORE 90634.539
AT ITER 123 NEW BEST:: SOT 398983 SOS 196501 HAS SOPS 137337 HAS SOUS 94404 HAS SOUPS 90438 WITH SCORE 90634.501
AT ITER 127 NEW BEST:: SOT 398826 SOS 196147 HAS SOPS 136983 HAS SOUS 94225 HAS SOUPS 90259 WITH SCORE 90455.147
AT ITER 130 NEW BEST:: SOT 395445 SOS 217142 HAS SOPS 135221 HAS SOUS 92524 HAS SOUPS 88330 WITH SCORE 88547.142
AT ITER 134 NEW BEST:: SOT 395443 SOS 217138 HAS SOPS 135217 HAS SOUS 92520 HAS SOUPS 88326 WITH SCORE 88543.138
AT ITER 137 NEW BEST:: SOT 395274 SOS 216973 HAS SOPS 135052 HAS SOUS 92351 HAS SOUPS 88157 WITH SCORE 88373.973
AT ITER 142 NEW BEST:: SOT 395195 SOS 217439 HAS SOPS 135518 HAS SOUS 92299 HAS SOUPS 88105 WITH SCORE 88322.439
AT ITER 143 NEW BEST:: SOT 395195 SOS 217417 HAS SOPS 135496 HAS SOUS 92277 HAS SOUPS 88083 WITH SCORE 88300.417
AT ITER 147 NEW BEST:: SOT 395111 SOS 217333 HAS SOPS 135307 HAS SOUS 92259 HAS SOUPS 87963 WITH SCORE 88180.333
AT ITER 148 NEW BEST:: SOT 395020 SOS 217023 HAS SOPS 134997 HAS SOUS 92195 HAS SOUPS 87899 WITH SCORE 88116.023
AT ITER 154 NEW BEST:: SOT 394944 SOS 216598 HAS SOPS 134572 HAS SOUS 92141 HAS SOUPS 87845 WITH SCORE 88061.598
AT ITER 176 NEW BEST:: SOT 394939 SOS 216594 HAS SOPS 134598 HAS SOUS 92143 HAS SOUPS 87841 WITH SCORE 88057.594
AT ITER 179 NEW BEST:: SOT 394939 SOS 216549 HAS SOPS 134553 HAS SOUS 92143 HAS SOUPS 87841 WITH SCORE 88057.549
AT ITER 180 NEW BEST:: SOT 394872 SOS 216348 HAS SOPS 134352 HAS SOUS 92009 HAS SOUPS 87707 WITH SCORE 87923.348
AT ITER 186 NEW BEST:: SOT 394820 SOS 216199 HAS SOPS 132890 HAS SOUS 90698 HAS SOUPS 86396 WITH SCORE 86612.199
AT ITER 198 NEW BEST:: SOT 394764 SOS 216143 HAS SOPS 132834 HAS SOUS 90634 HAS SOUPS 86304 WITH SCORE 86520.143
AT ITER 204 NEW BEST:: SOT 394659 SOS 216038 HAS SOPS 131970 HAS SOUS 89995 HAS SOUPS 85665 WITH SCORE 85881.038
AT ITER 206 NEW BEST:: SOT 394881 SOS 216314 HAS SOPS 131814 HAS SOUS 89561 HAS SOUPS 85227 WITH SCORE 85443.314
AT ITER 214 NEW BEST:: SOT 394699 SOS 216528 HAS SOPS 132166 HAS SOUS 89178 HAS SOUPS 84844 WITH SCORE 85060.528
AT ITER 223 NEW BEST:: SOT 394743 SOS 216574 HAS SOPS 132109 HAS SOUS 89175 HAS SOUPS 84833 WITH SCORE 85049.574
AT ITER 235 NEW BEST:: SOT 394694 SOS 216516 HAS SOPS 132051 HAS SOUS 89117 HAS SOUPS 84775 WITH SCORE 84991.516
AT ITER 245 NEW BEST:: SOT 394754 SOS 216798 HAS SOPS 130668 HAS SOUS 87625 HAS SOUPS 83283 WITH SCORE 83499.798
AT ITER 253 NEW BEST:: SOT 394482 SOS 216273 HAS SOPS 130089 HAS SOUS 87146 HAS SOUPS 82804 WITH SCORE 83020.273
AT ITER 254 NEW BEST:: SOT 391855 SOS 216493 HAS SOPS 127633 HAS SOUS 85542 HAS SOUPS 80591 WITH SCORE 80807.493
AT ITER 257 NEW BEST:: SOT 391831 SOS 216192 HAS SOPS 127594 HAS SOUS 85460 HAS SOUPS 80555 WITH SCORE 80771.192
AT ITER 268 NEW BEST:: SOT 391831 SOS 216140 HAS SOPS 127542 HAS SOUS 85460 HAS SOUPS 80555 WITH SCORE 80771.14
AT ITER 272 NEW BEST:: SOT 391831 SOS 215606 HAS SOPS 127008 HAS SOUS 85460 HAS SOUPS 80555 WITH SCORE 80770.606
AT ITER 280 NEW BEST:: SOT 391831 SOS 215426 HAS SOPS 126828 HAS SOUS 85460 HAS SOUPS 80555 WITH SCORE 80770.426
AT ITER 283 NEW BEST:: SOT 391752 SOS 215347 HAS SOPS 126395 HAS SOUS 85156 HAS SOUPS 80251 WITH SCORE 80466.347
AT ITER 293 NEW BEST:: SOT 391742 SOS 215200 HAS SOPS 126045 HAS SOUS 84990 HAS SOUPS 79990 WITH SCORE 80205.2
AT ITER 298 NEW BEST:: SOT 391666 SOS 215048 HAS SOPS 125893 HAS SOUS 84919 HAS SOUPS 79919 WITH SCORE 80134.048
AT ITER 302 NEW BEST:: SOT 391634 SOS 215025 HAS SOPS 125870 HAS SOUS 84896 HAS SOUPS 79896 WITH SCORE 80111.025
AT ITER 312 NEW BEST:: SOT 391532 SOS 217503 HAS SOPS 125896 HAS SOUS 85024 HAS SOUPS 79849 WITH SCORE 80066.503
AT ITER 314 NEW BEST:: SOT 391506 SOS 217477 HAS SOPS 125870 HAS SOUS 84998 HAS SOUPS 79823 WITH SCORE 80040.477
AT ITER 324 NEW BEST:: SOT 391506 SOS 217538 HAS SOPS 125565 HAS SOUS 84693 HAS SOUPS 79518 WITH SCORE 79735.538
AT ITER 327 NEW BEST:: SOT 391542 SOS 217574 HAS SOPS 125527 HAS SOUS 84655 HAS SOUPS 79480 WITH SCORE 79697.574
AT ITER 340 NEW BEST:: SOT 391542 SOS 217574 HAS SOPS 124771 HAS SOUS 83919 HAS SOUPS 78778 WITH SCORE 78995.574
AT ITER 344 NEW BEST:: SOT 391502 SOS 217527 HAS SOPS 124604 HAS SOUS 83872 HAS SOUPS 78611 WITH SCORE 78828.527
AT ITER 345 NEW BEST:: SOT 390741 SOS 216539 HAS SOPS 123651 HAS SOUS 83579 HAS SOUPS 78318 WITH SCORE 78534.539
AT ITER 351 NEW BEST:: SOT 390651 SOS 216449 HAS SOPS 123471 HAS SOUS 83564 HAS SOUPS 78303 WITH SCORE 78519.449
AT ITER 354 NEW BEST:: SOT 390651 SOS 216415 HAS SOPS 123437 HAS SOUS 83564 HAS SOUPS 78303 WITH SCORE 78519.415
AT ITER 368 NEW BEST:: SOT 390671 SOS 216444 HAS SOPS 123360 HAS SOUS 83569 HAS SOUPS 78226 WITH SCORE 78442.444
AT ITER 375 NEW BEST:: SOT 390633 SOS 216503 HAS SOPS 123322 HAS SOUS 83571 HAS SOUPS 78188 WITH SCORE 78404.503
AT ITER 378 NEW BEST:: SOT 390570 SOS 216377 HAS SOPS 123196 HAS SOUS 83299 HAS SOUPS 77981 WITH SCORE 78197.377
AT ITER 379 NEW BEST:: SOT 390304 SOS 216043 HAS SOPS 122908 HAS SOUS 83011 HAS SOUPS 77693 WITH SCORE 77909.043
AT ITER 398 NEW BEST:: SOT 390376 SOS 216070 HAS SOPS 122758 HAS SOUS 82962 HAS SOUPS 77644 WITH SCORE 77860.07
AT ITER 401 NEW BEST:: SOT 390289 SOS 215700 HAS SOPS 122388 HAS SOUS 82896 HAS SOUPS 77578 WITH SCORE 77793.7
AT ITER 420 NEW BEST:: SOT 390209 SOS 216108 HAS SOPS 123012 HAS SOUS 82855 HAS SOUPS 77537 WITH SCORE 77753.108
AT ITER 434 NEW BEST:: SOT 390187 SOS 216155 HAS SOPS 122990 HAS SOUS 82834 HAS SOUPS 77515 WITH SCORE 77731.155
AT ITER 454 NEW BEST:: SOT 390035 SOS 215881 HAS SOPS 122808 HAS SOUS 82670 HAS SOUPS 77351 WITH SCORE 77566.881
AT ITER 460 NEW BEST:: SOT 390005 SOS 215821 HAS SOPS 122772 HAS SOUS 82622 HAS SOUPS 77303 WITH SCORE 77518.821
AT ITER 463 NEW BEST:: SOT 390003 SOS 215813 HAS SOPS 122748 HAS SOUS 82614 HAS SOUPS 77279 WITH SCORE 77494.813
AT ITER 467 NEW BEST:: SOT 389189 SOS 214999 HAS SOPS 125639 HAS SOUS 82571 HAS SOUPS 77099 WITH SCORE 77313.999
AT ITER 484 NEW BEST:: SOT 389140 SOS 214951 HAS SOPS 125591 HAS SOUS 82514 HAS SOUPS 77017 WITH SCORE 77231.951
AT ITER 490 NEW BEST:: SOT 389149 SOS 214890 HAS SOPS 125530 HAS SOUS 82505 HAS SOUPS 77008 WITH SCORE 77222.89
AT ITER 491 NEW BEST:: SOT 389132 SOS 214805 HAS SOPS 125445 HAS SOUS 82488 HAS SOUPS 76991 WITH SCORE 77205.805
AT ITER 494 NEW BEST:: SOT 388723 SOS 214344 HAS SOPS 124832 HAS SOUS 82015 HAS SOUPS 76518 WITH SCORE 76732.344
AT ITER 501 NEW BEST:: SOT 388723 SOS 214261 HAS SOPS 124749 HAS SOUS 81954 HAS SOUPS 76457 WITH SCORE 76671.261
AT ITER 504 NEW BEST:: SOT 388647 SOS 214082 HAS SOPS 124570 HAS SOUS 81883 HAS SOUPS 76386 WITH SCORE 76600.082
AT ITER 505 NEW BEST:: SOT 389169 SOS 214885 HAS SOPS 123167 HAS SOUS 80409 HAS SOUPS 74897 WITH SCORE 75111.885
AT ITER 509 NEW BEST:: SOT 389153 SOS 214869 HAS SOPS 123151 HAS SOUS 80393 HAS SOUPS 74881 WITH SCORE 75095.869
AT ITER 512 NEW BEST:: SOT 389153 SOS 214773 HAS SOPS 123055 HAS SOUS 80393 HAS SOUPS 74881 WITH SCORE 75095.773
AT ITER 514 NEW BEST:: SOT 389523 SOS 215143 HAS SOPS 122679 HAS SOUS 80017 HAS SOUPS 74505 WITH SCORE 74720.143
AT ITER 516 NEW BEST:: SOT 389433 SOS 214979 HAS SOPS 122515 HAS SOUS 79853 HAS SOUPS 74341 WITH SCORE 74555.979
AT ITER 519 NEW BEST:: SOT 389611 SOS 215021 HAS SOPS 121522 HAS SOUS 78656 HAS SOUPS 73144 WITH SCORE 73359.021
AT ITER 523 NEW BEST:: SOT 389560 SOS 214919 HAS SOPS 121420 HAS SOUS 78554 HAS SOUPS 73042 WITH SCORE 73256.919
AT ITER 525 NEW BEST:: SOT 389522 SOS 214890 HAS SOPS 121391 HAS SOUS 78478 HAS SOUPS 72966 WITH SCORE 73180.89
AT ITER 538 NEW BEST:: SOT 389594 SOS 214994 HAS SOPS 121110 HAS SOUS 78465 HAS SOUPS 72916 WITH SCORE 73130.994
AT ITER 545 NEW BEST:: SOT 388762 SOS 214162 HAS SOPS 129608 HAS SOUS 77494 HAS SOUPS 71945 WITH SCORE 72159.162
AT ITER 553 NEW BEST:: SOT 388686 SOS 214086 HAS SOPS 129520 HAS SOUS 77405 HAS SOUPS 71849 WITH SCORE 72063.086
AT ITER 561 NEW BEST:: SOT 388671 SOS 214071 HAS SOPS 129490 HAS SOUS 77375 HAS SOUPS 71819 WITH SCORE 72033.071
AT ITER 562 NEW BEST:: SOT 388618 SOS 213989 HAS SOPS 129408 HAS SOUS 77266 HAS SOUPS 71710 WITH SCORE 71923.989
AT ITER 568 NEW BEST:: SOT 389190 SOS 214688 HAS SOPS 119807 HAS SOUS 76187 HAS SOUPS 70631 WITH SCORE 70845.688
AT ITER 569 NEW BEST:: SOT 389190 SOS 214574 HAS SOPS 119693 HAS SOUS 76142 HAS SOUPS 70586 WITH SCORE 70800.574
AT ITER 574 NEW BEST:: SOT 389190 SOS 214570 HAS SOPS 119689 HAS SOUS 76142 HAS SOUPS 70586 WITH SCORE 70800.57
AT ITER 592 NEW BEST:: SOT 389100 SOS 214071 HAS SOPS 119190 HAS SOUS 76077 HAS SOUPS 70521 WITH SCORE 70735.071
AT ITER 605 NEW BEST:: SOT 389052 SOS 213951 HAS SOPS 118914 HAS SOUS 75886 HAS SOUPS 70330 WITH SCORE 70543.951
AT ITER 612 NEW BEST:: SOT 388760 SOS 213596 HAS SOPS 118893 HAS SOUS 75778 HAS SOUPS 70309 WITH SCORE 70522.596
AT ITER 613 NEW BEST:: SOT 388760 SOS 213582 HAS SOPS 118879 HAS SOUS 75778 HAS SOUPS 70309 WITH SCORE 70522.582
AT ITER 617 NEW BEST:: SOT 388768 SOS 213590 HAS SOPS 118867 HAS SOUS 75766 HAS SOUPS 70297 WITH SCORE 70510.59
AT ITER 631 NEW BEST:: SOT 388758 SOS 213590 HAS SOPS 118867 HAS SOUS 75746 HAS SOUPS 70277 WITH SCORE 70490.59
AT ITER 643 NEW BEST:: SOT 389048 SOS 213656 HAS SOPS 119199 HAS SOUS 75690 HAS SOUPS 70258 WITH SCORE 70471.656
AT ITER 647 NEW BEST:: SOT 388915 SOS 213426 HAS SOPS 119066 HAS SOUS 75520 HAS SOUPS 70088 WITH SCORE 70301.426
AT ITER 650 NEW BEST:: SOT 388801 SOS 213206 HAS SOPS 118846 HAS SOUS 75458 HAS SOUPS 70026 WITH SCORE 70239.206
AT ITER 652 NEW BEST:: SOT 388801 SOS 213116 HAS SOPS 118756 HAS SOUS 75456 HAS SOUPS 70024 WITH SCORE 70237.116
AT ITER 657 NEW BEST:: SOT 388525 SOS 212840 HAS SOPS 118126 HAS SOUS 75056 HAS SOUPS 69628 WITH SCORE 69840.84
AT ITER 658 NEW BEST:: SOT 388522 SOS 212679 HAS SOPS 117965 HAS SOUS 74981 HAS SOUPS 69553 WITH SCORE 69765.679
AT ITER 671 NEW BEST:: SOT 388505 SOS 212664 HAS SOPS 117950 HAS SOUS 74981 HAS SOUPS 69553 WITH SCORE 69765.664
AT ITER 684 NEW BEST:: SOT 388151 SOS 212256 HAS SOPS 117567 HAS SOUS 74917 HAS SOUPS 69449 WITH SCORE 69661.256
AT ITER 698 NEW BEST:: SOT 389054 SOS 213696 HAS SOPS 117261 HAS SOUS 73843 HAS SOUPS 68376 WITH SCORE 68589.696
AT ITER 699 NEW BEST:: SOT 389054 SOS 213666 HAS SOPS 117231 HAS SOUS 73843 HAS SOUPS 68376 WITH SCORE 68589.666
AT ITER 718 NEW BEST:: SOT 388722 SOS 213182 HAS SOPS 116854 HAS SOUS 73803 HAS SOUPS 68336 WITH SCORE 68549.182
AT ITER 742 NEW BEST:: SOT 388666 SOS 213098 HAS SOPS 116770 HAS SOUS 73719 HAS SOUPS 68252 WITH SCORE 68465.098
AT ITER 743 NEW BEST:: SOT 388087 SOS 214090 HAS SOPS 116238 HAS SOUS 73577 HAS SOUPS 68029 WITH SCORE 68243.09
AT ITER 747 NEW BEST:: SOT 388082 SOS 214091 HAS SOPS 116239 HAS SOUS 73568 HAS SOUPS 68020 WITH SCORE 68234.091
AT ITER 748 NEW BEST:: SOT 388650 SOS 214659 HAS SOPS 116612 HAS SOUS 73331 HAS SOUPS 67783 WITH SCORE 67997.659
AT ITER 772 NEW BEST:: SOT 387766 SOS 220416 HAS SOPS 115601 HAS SOUS 73920 HAS SOUPS 67755 WITH SCORE 67975.416
AT ITER 792 NEW BEST:: SOT 387662 SOS 220171 HAS SOPS 115309 HAS SOUS 73712 HAS SOUPS 67547 WITH SCORE 67767.171
AT ITER 795 NEW BEST:: SOT 387679 SOS 220188 HAS SOPS 115326 HAS SOUS 73692 HAS SOUPS 67527 WITH SCORE 67747.188
AT ITER 804 NEW BEST:: SOT 387683 SOS 220558 HAS SOPS 115643 HAS SOUS 73446 HAS SOUPS 67281 WITH SCORE 67501.558
AT ITER 806 NEW BEST:: SOT 387683 SOS 220530 HAS SOPS 115615 HAS SOUS 73446 HAS SOUPS 67281 WITH SCORE 67501.53
AT ITER 813 NEW BEST:: SOT 387603 SOS 220450 HAS SOPS 115535 HAS SOUS 73348 HAS SOUPS 67183 WITH SCORE 67403.45
AT ITER 815 NEW BEST:: SOT 387598 SOS 220440 HAS SOPS 115525 HAS SOUS 73325 HAS SOUPS 67173 WITH SCORE 67393.44
AT ITER 816 NEW BEST:: SOT 387082 SOS 220120 HAS SOPS 114984 HAS SOUS 72837 HAS SOUPS 66632 WITH SCORE 66852.12
AT ITER 824 NEW BEST:: SOT 387078 SOS 220104 HAS SOPS 114968 HAS SOUS 72829 HAS SOUPS 66624 WITH SCORE 66844.104
AT ITER 830 NEW BEST:: SOT 387798 SOS 220777 HAS SOPS 115097 HAS SOUS 72496 HAS SOUPS 66291 WITH SCORE 66511.777
AT ITER 832 NEW BEST:: SOT 387754 SOS 220702 HAS SOPS 115022 HAS SOUS 72401 HAS SOUPS 66196 WITH SCORE 66416.702
AT ITER 837 NEW BEST:: SOT 387754 SOS 220660 HAS SOPS 114980 HAS SOUS 72401 HAS SOUPS 66196 WITH SCORE 66416.66
AT ITER 855 NEW BEST:: SOT 387811 SOS 220717 HAS SOPS 114937 HAS SOUS 72447 HAS SOUPS 66153 WITH SCORE 66373.717
AT ITER 870 NEW BEST:: SOT 387758 SOS 220718 HAS SOPS 114875 HAS SOUS 72458 HAS SOUPS 66147 WITH SCORE 66367.718
AT ITER 875 NEW BEST:: SOT 387881 SOS 220065 HAS SOPS 113681 HAS SOUS 72255 HAS SOUPS 65944 WITH SCORE 66164.065
AT ITER 883 NEW BEST:: SOT 387539 SOS 219723 HAS SOPS 113316 HAS SOUS 72257 HAS SOUPS 65923 WITH SCORE 66142.723
AT ITER 884 NEW BEST:: SOT 387529 SOS 219713 HAS SOPS 113316 HAS SOUS 72259 HAS SOUPS 65923 WITH SCORE 66142.713
AT ITER 886 NEW BEST:: SOT 387360 SOS 219507 HAS SOPS 112978 HAS SOUS 72241 HAS SOUPS 65905 WITH SCORE 66124.507
AT ITER 892 NEW BEST:: SOT 387152 SOS 219299 HAS SOPS 112770 HAS SOUS 72173 HAS SOUPS 65837 WITH SCORE 66056.299
AT ITER 901 NEW BEST:: SOT 386469 SOS 221648 HAS SOPS 112117 HAS SOUS 72312 HAS SOUPS 65817 WITH SCORE 66038.648
AT ITER 902 NEW BEST:: SOT 386400 SOS 221508 HAS SOPS 111627 HAS SOUS 72115 HAS SOUPS 65609 WITH SCORE 65830.508
AT ITER 914 NEW BEST:: SOT 386231 SOS 221760 HAS SOPS 112044 HAS SOUS 71759 HAS SOUPS 65236 WITH SCORE 65457.76
AT ITER 923 NEW BEST:: SOT 386206 SOS 221730 HAS SOPS 111994 HAS SOUS 71754 HAS SOUPS 65231 WITH SCORE 65452.73
AT ITER 959 NEW BEST:: SOT 386198 SOS 221691 HAS SOPS 111955 HAS SOUS 71730 HAS SOUPS 65207 WITH SCORE 65428.691
AT ITER 964 NEW BEST:: SOT 386198 SOS 221644 HAS SOPS 111908 HAS SOUS 71730 HAS SOUPS 65207 WITH SCORE 65428.644
AT ITER 971 NEW BEST:: SOT 386192 SOS 220818 HAS SOPS 111082 HAS SOUS 71585 HAS SOUPS 65062 WITH SCORE 65282.818
AT ITER 979 NEW BEST:: SOT 386192 SOS 220818 HAS SOPS 111080 HAS SOUS 71584 HAS SOUPS 65060 WITH SCORE 65280.818
AT ITER 998 NEW BEST:: SOT 386160 SOS 220488 HAS SOPS 110750 HAS SOUS 71558 HAS SOUPS 65034 WITH SCORE 65254.488
AT ITER 1004 NEW BEST:: SOT 386128 SOS 220456 HAS SOPS 110718 HAS SOUS 71494 HAS SOUPS 64970 WITH SCORE 65190.456
AT ITER 1010 NEW BEST:: SOT 386108 SOS 220436 HAS SOPS 110718 HAS SOUS 71494 HAS SOUPS 64970 WITH SCORE 65190.436
AT ITER 1015 NEW BEST:: SOT 386109 SOS 220378 HAS SOPS 110641 HAS SOUS 71457 HAS SOUPS 64933 WITH SCORE 65153.378
AT ITER 1018 NEW BEST:: SOT 386079 SOS 220343 HAS SOPS 110611 HAS SOUS 71447 HAS SOUPS 64923 WITH SCORE 65143.343
AT ITER 1031 NEW BEST:: SOT 386079 SOS 220303 HAS SOPS 110571 HAS SOUS 71447 HAS SOUPS 64923 WITH SCORE 65143.303
AT ITER 1077 NEW BEST:: SOT 386079 SOS 220197 HAS SOPS 110465 HAS SOUS 71447 HAS SOUPS 64923 WITH SCORE 65143.197
AT ITER 1079 NEW BEST:: SOT 386066 SOS 220153 HAS SOPS 110421 HAS SOUS 71439 HAS SOUPS 64915 WITH SCORE 65135.153
AT ITER 1085 NEW BEST:: SOT 385935 SOS 220227 HAS SOPS 110803 HAS SOUS 71185 HAS SOUPS 64661 WITH SCORE 64881.227
AT ITER 1098 NEW BEST:: SOT 385923 SOS 220203 HAS SOPS 110779 HAS SOUS 71161 HAS SOUPS 64637 WITH SCORE 64857.203
AT ITER 1112 NEW BEST:: SOT 385917 SOS 220197 HAS SOPS 110699 HAS SOUS 71084 HAS SOUPS 64560 WITH SCORE 64780.197
AT ITER 1128 NEW BEST:: SOT 385892 SOS 220116 HAS SOPS 110614 HAS SOUS 71030 HAS SOUPS 64506 WITH SCORE 64726.116
AT ITER 1129 NEW BEST:: SOT 385724 SOS 219915 HAS SOPS 110278 HAS SOUS 70989 HAS SOUPS 64465 WITH SCORE 64684.915
AT ITER 1141 NEW BEST:: SOT 385855 SOS 220019 HAS SOPS 110288 HAS SOUS 71091 HAS SOUPS 64417 WITH SCORE 64637.019
AT ITER 1145 NEW BEST:: SOT 385855 SOS 220017 HAS SOPS 110288 HAS SOUS 71091 HAS SOUPS 64417 WITH SCORE 64637.017
AT ITER 1146 NEW BEST:: SOT 386077 SOS 218160 HAS SOPS 110380 HAS SOUS 70871 HAS SOUPS 64262 WITH SCORE 64480.16
AT ITER 1152 NEW BEST:: SOT 386077 SOS 218151 HAS SOPS 110380 HAS SOUS 70862 HAS SOUPS 64253 WITH SCORE 64471.151
AT ITER 1158 NEW BEST:: SOT 386140 SOS 218210 HAS SOPS 110218 HAS SOUS 70754 HAS SOUPS 64127 WITH SCORE 64345.21
AT ITER 1165 NEW BEST:: SOT 386134 SOS 218204 HAS SOPS 110210 HAS SOUS 70750 HAS SOUPS 64121 WITH SCORE 64339.204
AT ITER 1175 NEW BEST:: SOT 386143 SOS 218256 HAS SOPS 110185 HAS SOUS 70783 HAS SOUPS 64096 WITH SCORE 64314.256
AT ITER 1185 NEW BEST:: SOT 386294 SOS 218502 HAS SOPS 110115 HAS SOUS 70529 HAS SOUPS 63842 WITH SCORE 64060.502
AT ITER 1201 NEW BEST:: SOT 386426 SOS 218632 HAS SOPS 110097 HAS SOUS 70511 HAS SOUPS 63824 WITH SCORE 64042.632
AT ITER 1209 NEW BEST:: SOT 386425 SOS 218608 HAS SOPS 110072 HAS SOUS 70509 HAS SOUPS 63822 WITH SCORE 64040.608
AT ITER 1224 NEW BEST:: SOT 386319 SOS 218499 HAS SOPS 109974 HAS SOUS 70347 HAS SOUPS 63660 WITH SCORE 63878.499
AT ITER 1238 NEW BEST:: SOT 386304 SOS 218499 HAS SOPS 109974 HAS SOUS 70317 HAS SOUPS 63630 WITH SCORE 63848.499
AT ITER 1243 NEW BEST:: SOT 386374 SOS 218604 HAS SOPS 110079 HAS SOUS 70308 HAS SOUPS 63621 WITH SCORE 63839.604
AT ITER 1258 NEW BEST:: SOT 386336 SOS 218566 HAS SOPS 109799 HAS SOUS 70270 HAS SOUPS 63405 WITH SCORE 63623.566
AT ITER 1262 NEW BEST:: SOT 385990 SOS 218169 HAS SOPS 109413 HAS SOUS 70128 HAS SOUPS 63263 WITH SCORE 63481.169
AT ITER 1263 NEW BEST:: SOT 385940 SOS 218119 HAS SOPS 109664 HAS SOUS 70079 HAS SOUPS 63214 WITH SCORE 63432.119
AT ITER 1270 NEW BEST:: SOT 385900 SOS 218099 HAS SOPS 109584 HAS SOUS 69999 HAS SOUPS 63134 WITH SCORE 63352.099
AT ITER 1273 NEW BEST:: SOT 385866 SOS 218009 HAS SOPS 109494 HAS SOUS 69944 HAS SOUPS 63079 WITH SCORE 63297.009
AT ITER 1274 NEW BEST:: SOT 385853 SOS 217450 HAS SOPS 109455 HAS SOUS 69918 HAS SOUPS 63066 WITH SCORE 63283.45
AT ITER 1278 NEW BEST:: SOT 385783 SOS 217380 HAS SOPS 109375 HAS SOUS 69898 HAS SOUPS 63046 WITH SCORE 63263.38
AT ITER 1285 NEW BEST:: SOT 385761 SOS 217351 HAS SOPS 109331 HAS SOUS 69854 HAS SOUPS 63002 WITH SCORE 63219.351
AT ITER 1289 NEW BEST:: SOT 385754 SOS 217353 HAS SOPS 109333 HAS SOUS 69840 HAS SOUPS 62988 WITH SCORE 63205.353
AT ITER 1298 NEW BEST:: SOT 385483 SOS 217040 HAS SOPS 109043 HAS SOUS 69779 HAS SOUPS 62927 WITH SCORE 63144.04
AT ITER 1302 NEW BEST:: SOT 385480 SOS 216686 HAS SOPS 109004 HAS SOUS 69764 HAS SOUPS 62918 WITH SCORE 63134.686
AT ITER 1311 NEW BEST:: SOT 385475 SOS 216642 HAS SOPS 108960 HAS SOUS 69720 HAS SOUPS 62874 WITH SCORE 63090.642
AT ITER 1312 NEW BEST:: SOT 385460 SOS 216627 HAS SOPS 108888 HAS SOUS 69682 HAS SOUPS 62802 WITH SCORE 63018.627
AT ITER 1315 NEW BEST:: SOT 385448 SOS 216601 HAS SOPS 108862 HAS SOUS 69658 HAS SOUPS 62778 WITH SCORE 62994.601
AT ITER 1321 NEW BEST:: SOT 385439 SOS 216583 HAS SOPS 108844 HAS SOUS 69649 HAS SOUPS 62769 WITH SCORE 62985.583
AT ITER 1342 NEW BEST:: SOT 385435 SOS 216579 HAS SOPS 108832 HAS SOUS 69637 HAS SOUPS 62757 WITH SCORE 62973.579
AT ITER 1343 NEW BEST:: SOT 385361 SOS 216479 HAS SOPS 108978 HAS SOUS 69575 HAS SOUPS 62695 WITH SCORE 62911.479
AT ITER 1348 NEW BEST:: SOT 385125 SOS 216202 HAS SOPS 108753 HAS SOUS 69396 HAS SOUPS 62516 WITH SCORE 62732.202
AT ITER 1356 NEW BEST:: SOT 384969 SOS 216046 HAS SOPS 108601 HAS SOUS 69396 HAS SOUPS 62516 WITH SCORE 62732.046
AT ITER 1357 NEW BEST:: SOT 384834 SOS 215949 HAS SOPS 108491 HAS SOUS 69281 HAS SOUPS 62406 WITH SCORE 62621.949
AT ITER 1368 NEW BEST:: SOT 384834 SOS 215877 HAS SOPS 108419 HAS SOUS 69281 HAS SOUPS 62406 WITH SCORE 62621.877
AT ITER 1381 NEW BEST:: SOT 384837 SOS 215880 HAS SOPS 108167 HAS SOUS 69239 HAS SOUPS 62364 WITH SCORE 62579.88
AT ITER 1396 NEW BEST:: SOT 384832 SOS 215846 HAS SOPS 108133 HAS SOUS 69229 HAS SOUPS 62354 WITH SCORE 62569.846
AT ITER 1415 NEW BEST:: SOT 384761 SOS 215791 HAS SOPS 108237 HAS SOUS 69199 HAS SOUPS 62324 WITH SCORE 62539.791
AT ITER 1417 NEW BEST:: SOT 384761 SOS 215700 HAS SOPS 108237 HAS SOUS 69199 HAS SOUPS 62324 WITH SCORE 62539.7
AT ITER 1418 NEW BEST:: SOT 384816 SOS 215833 HAS SOPS 108286 HAS SOUS 69194 HAS SOUPS 62319 WITH SCORE 62534.833
AT ITER 1443 NEW BEST:: SOT 384726 SOS 216202 HAS SOPS 108655 HAS SOUS 69168 HAS SOUPS 62293 WITH SCORE 62509.202
AT ITER 1444 NEW BEST:: SOT 384726 SOS 216202 HAS SOPS 108635 HAS SOUS 69148 HAS SOUPS 62273 WITH SCORE 62489.202
AT ITER 1458 NEW BEST:: SOT 384806 SOS 216282 HAS SOPS 108715 HAS SOUS 69134 HAS SOUPS 62259 WITH SCORE 62475.282
AT ITER 1463 NEW BEST:: SOT 384790 SOS 216266 HAS SOPS 108699 HAS SOUS 69102 HAS SOUPS 62227 WITH SCORE 62443.266
AT ITER 1472 NEW BEST:: SOT 384736 SOS 216205 HAS SOPS 108638 HAS SOUS 69013 HAS SOUPS 62138 WITH SCORE 62354.205
AT ITER 1478 NEW BEST:: SOT 384624 SOS 216093 HAS SOPS 108529 HAS SOUS 68984 HAS SOUPS 62029 WITH SCORE 62245.093
AT ITER 1483 NEW BEST:: SOT 384580 SOS 216000 HAS SOPS 108436 HAS SOUS 68883 HAS SOUPS 61928 WITH SCORE 62144.0
AT ITER 1520 NEW BEST:: SOT 384481 SOS 216325 HAS SOPS 108942 HAS SOUS 68820 HAS SOUPS 61865 WITH SCORE 62081.325
AT ITER 1530 NEW BEST:: SOT 384404 SOS 216199 HAS SOPS 108807 HAS SOUS 68760 HAS SOUPS 61805 WITH SCORE 62021.199
AT ITER 1534 NEW BEST:: SOT 384400 SOS 216191 HAS SOPS 108787 HAS SOUS 68752 HAS SOUPS 61785 WITH SCORE 62001.191
AT ITER 1537 NEW BEST:: SOT 384396 SOS 216181 HAS SOPS 108777 HAS SOUS 68744 HAS SOUPS 61777 WITH SCORE 61993.181
AT ITER 1560 NEW BEST:: SOT 384396 SOS 216096 HAS SOPS 108692 HAS SOUS 68718 HAS SOUPS 61751 WITH SCORE 61967.096
AT ITER 1567 NEW BEST:: SOT 384162 SOS 215784 HAS SOPS 108419 HAS SOUS 68679 HAS SOUPS 61712 WITH SCORE 61927.784
AT ITER 1621 NEW BEST:: SOT 383769 SOS 215391 HAS SOPS 108290 HAS SOUS 68544 HAS SOUPS 61583 WITH SCORE 61798.391
AT ITER 1625 NEW BEST:: SOT 383766 SOS 215388 HAS SOPS 108290 HAS SOUS 68544 HAS SOUPS 61583 WITH SCORE 61798.388
AT ITER 1631 NEW BEST:: SOT 383756 SOS 215343 HAS SOPS 107994 HAS SOUS 68359 HAS SOUPS 61398 WITH SCORE 61613.343
AT ITER 1635 NEW BEST:: SOT 383682 SOS 215279 HAS SOPS 107931 HAS SOUS 68299 HAS SOUPS 61338 WITH SCORE 61553.279
AT ITER 1637 NEW BEST:: SOT 383294 SOS 214881 HAS SOPS 107460 HAS SOUS 68165 HAS SOUPS 61204 WITH SCORE 61418.881
AT ITER 1641 NEW BEST:: SOT 383284 SOS 214871 HAS SOPS 107440 HAS SOUS 68145 HAS SOUPS 61184 WITH SCORE 61398.871
AT ITER 1659 NEW BEST:: SOT 383284 SOS 214888 HAS SOPS 107304 HAS SOUS 67941 HAS SOUPS 60980 WITH SCORE 61194.888
AT ITER 1667 NEW BEST:: SOT 383284 SOS 214919 HAS SOPS 107309 HAS SOUS 67931 HAS SOUPS 60970 WITH SCORE 61184.919
AT ITER 1675 NEW BEST:: SOT 383164 SOS 214784 HAS SOPS 106949 HAS SOUS 67676 HAS SOUPS 60715 WITH SCORE 60929.784
AT ITER 1676 NEW BEST:: SOT 383162 SOS 214546 HAS SOPS 106951 HAS SOUS 67666 HAS SOUPS 60711 WITH SCORE 60925.546
AT ITER 1681 NEW BEST:: SOT 383161 SOS 214545 HAS SOPS 106950 HAS SOUS 67664 HAS SOUPS 60709 WITH SCORE 60923.545
AT ITER 1686 NEW BEST:: SOT 383137 SOS 214521 HAS SOPS 106944 HAS SOUS 67640 HAS SOUPS 60703 WITH SCORE 60917.521
AT ITER 1718 NEW BEST:: SOT 382891 SOS 214275 HAS SOPS 106624 HAS SOUS 67470 HAS SOUPS 60533 WITH SCORE 60747.275
AT ITER 1728 NEW BEST:: SOT 382869 SOS 214253 HAS SOPS 106600 HAS SOUS 67446 HAS SOUPS 60509 WITH SCORE 60723.253
AT ITER 1743 NEW BEST:: SOT 382807 SOS 214157 HAS SOPS 106476 HAS SOUS 67322 HAS SOUPS 60385 WITH SCORE 60599.157
AT ITER 1768 NEW BEST:: SOT 382255 SOS 215264 HAS SOPS 105982 HAS SOUS 67195 HAS SOUPS 60180 WITH SCORE 60395.264
AT ITER 1770 NEW BEST:: SOT 382188 SOS 215197 HAS SOPS 105915 HAS SOUS 67010 HAS SOUPS 59995 WITH SCORE 60210.197
AT ITER 1771 NEW BEST:: SOT 382489 SOS 215578 HAS SOPS 106197 HAS SOUS 66973 HAS SOUPS 59958 WITH SCORE 60173.578
AT ITER 1790 NEW BEST:: SOT 382459 SOS 215548 HAS SOPS 106167 HAS SOUS 66943 HAS SOUPS 59928 WITH SCORE 60143.548
AT ITER 1792 NEW BEST:: SOT 382084 SOS 215101 HAS SOPS 105792 HAS SOUS 66902 HAS SOUPS 59887 WITH SCORE 60102.101
AT ITER 1809 NEW BEST:: SOT 381647 SOS 214664 HAS SOPS 105595 HAS SOUS 66874 HAS SOUPS 59859 WITH SCORE 60073.664
AT ITER 1814 NEW BEST:: SOT 381647 SOS 214660 HAS SOPS 105591 HAS SOUS 66874 HAS SOUPS 59859 WITH SCORE 60073.66
AT ITER 1828 NEW BEST:: SOT 381542 SOS 214541 HAS SOPS 103897 HAS SOUS 65285 HAS SOUPS 58270 WITH SCORE 58484.541
AT ITER 1832 NEW BEST:: SOT 381573 SOS 214671 HAS SOPS 104027 HAS SOUS 65279 HAS SOUPS 58264 WITH SCORE 58478.671
AT ITER 1837 NEW BEST:: SOT 381573 SOS 214384 HAS SOPS 104020 HAS SOUS 65265 HAS SOUPS 58257 WITH SCORE 58471.384
AT ITER 1844 NEW BEST:: SOT 381284 SOS 214333 HAS SOPS 104090 HAS SOUS 65200 HAS SOUPS 58192 WITH SCORE 58406.333
AT ITER 1853 NEW BEST:: SOT 381282 SOS 214341 HAS SOPS 104086 HAS SOUS 65196 HAS SOUPS 58188 WITH SCORE 58402.341
AT ITER 1858 NEW BEST:: SOT 381265 SOS 214325 HAS SOPS 104070 HAS SOUS 65162 HAS SOUPS 58154 WITH SCORE 58368.325
AT ITER 1864 NEW BEST:: SOT 380342 SOS 213272 HAS SOPS 102688 HAS SOUS 65091 HAS SOUPS 58015 WITH SCORE 58228.272
AT ITER 1867 NEW BEST:: SOT 380342 SOS 213263 HAS SOPS 102679 HAS SOUS 65091 HAS SOUPS 58015 WITH SCORE 58228.263
AT ITER 1872 NEW BEST:: SOT 380325 SOS 213133 HAS SOPS 102549 HAS SOUS 65057 HAS SOUPS 57981 WITH SCORE 58194.133
AT ITER 1886 NEW BEST:: SOT 380325 SOS 213133 HAS SOPS 102540 HAS SOUS 65039 HAS SOUPS 57972 WITH SCORE 58185.133
AT ITER 1920 NEW BEST:: SOT 380324 SOS 213132 HAS SOPS 102540 HAS SOUS 65038 HAS SOUPS 57971 WITH SCORE 58184.132
AT ITER 1923 NEW BEST:: SOT 380054 SOS 212874 HAS SOPS 102282 HAS SOUS 64962 HAS SOUPS 57895 WITH SCORE 58107.874
AT ITER 1965 NEW BEST:: SOT 379143 SOS 211824 HAS SOPS 101232 HAS SOUS 64856 HAS SOUPS 57789 WITH SCORE 58000.824
AT ITER 1981 NEW BEST:: SOT 379143 SOS 211798 HAS SOPS 101206 HAS SOUS 64830 HAS SOUPS 57763 WITH SCORE 57974.798
AT ITER 2019 NEW BEST:: SOT 379153 SOS 211783 HAS SOPS 101076 HAS SOUS 64815 HAS SOUPS 57748 WITH SCORE 57959.783
AT ITER 2023 NEW BEST:: SOT 379158 SOS 211827 HAS SOPS 101120 HAS SOUS 64802 HAS SOUPS 57735 WITH SCORE 57946.827
AT ITER 2043 NEW BEST:: SOT 379158 SOS 211817 HAS SOPS 101110 HAS SOUS 64792 HAS SOUPS 57725 WITH SCORE 57936.817
AT ITER 2072 NEW BEST:: SOT 379055 SOS 211714 HAS SOPS 101007 HAS SOUS 64689 HAS SOUPS 57622 WITH SCORE 57833.714
AT ITER 2104 NEW BEST:: SOT 379044 SOS 211703 HAS SOPS 100996 HAS SOUS 64655 HAS SOUPS 57588 WITH SCORE 57799.703
AT ITER 2112 NEW BEST:: SOT 379214 SOS 211058 HAS SOPS 101135 HAS SOUS 64603 HAS SOUPS 57564 WITH SCORE 57775.058
AT ITER 2119 NEW BEST:: SOT 379214 SOS 211014 HAS SOPS 101091 HAS SOUS 64581 HAS SOUPS 57542 WITH SCORE 57753.014
AT ITER 2120 NEW BEST:: SOT 379214 SOS 210951 HAS SOPS 100977 HAS SOUS 64521 HAS SOUPS 57482 WITH SCORE 57692.951
AT ITER 2136 NEW BEST:: SOT 379211 SOS 210966 HAS SOPS 100992 HAS SOUS 64518 HAS SOUPS 57479 WITH SCORE 57689.966
AT ITER 2166 NEW BEST:: SOT 379197 SOS 211074 HAS SOPS 101100 HAS SOUS 64506 HAS SOUPS 57467 WITH SCORE 57678.074
AT ITER 2178 NEW BEST:: SOT 379156 SOS 211032 HAS SOPS 100998 HAS SOUS 64404 HAS SOUPS 57365 WITH SCORE 57576.032
AT ITER 2187 NEW BEST:: SOT 379156 SOS 211030 HAS SOPS 100914 HAS SOUS 64324 HAS SOUPS 57281 WITH SCORE 57492.03
AT ITER 2189 NEW BEST:: SOT 378751 SOS 210554 HAS SOPS 100438 HAS SOUS 64279 HAS SOUPS 57236 WITH SCORE 57446.554
AT ITER 2235 NEW BEST:: SOT 378799 SOS 210602 HAS SOPS 100416 HAS SOUS 64218 HAS SOUPS 57214 WITH SCORE 57424.602
AT ITER 2241 NEW BEST:: SOT 378799 SOS 210601 HAS SOPS 100415 HAS SOUS 64217 HAS SOUPS 57213 WITH SCORE 57423.601
AT ITER 2242 NEW BEST:: SOT 378701 SOS 210503 HAS SOPS 100317 HAS SOUS 64119 HAS SOUPS 57115 WITH SCORE 57325.503
AT ITER 2245 NEW BEST:: SOT 378575 SOS 210377 HAS SOPS 100157 HAS SOUS 64079 HAS SOUPS 57075 WITH SCORE 57285.377
AT ITER 2248 NEW BEST:: SOT 378575 SOS 210343 HAS SOPS 100123 HAS SOUS 64061 HAS SOUPS 57057 WITH SCORE 57267.343
AT ITER 2273 NEW BEST:: SOT 378579 SOS 210337 HAS SOPS 100040 HAS SOUS 63978 HAS SOUPS 56974 WITH SCORE 57184.337
AT ITER 2276 NEW BEST:: SOT 378609 SOS 210367 HAS SOPS 100034 HAS SOUS 63972 HAS SOUPS 56968 WITH SCORE 57178.367
AT ITER 2280 NEW BEST:: SOT 378587 SOS 210092 HAS SOPS 99759 HAS SOUS 63927 HAS SOUPS 56923 WITH SCORE 57133.092
AT ITER 2286 NEW BEST:: SOT 378566 SOS 209906 HAS SOPS 99579 HAS SOUS 63879 HAS SOUPS 56875 WITH SCORE 57084.906
AT ITER 2287 NEW BEST:: SOT 378566 SOS 209880 HAS SOPS 99553 HAS SOUS 63879 HAS SOUPS 56875 WITH SCORE 57084.88
AT ITER 2327 NEW BEST:: SOT 378565 SOS 209879 HAS SOPS 99553 HAS SOUS 63879 HAS SOUPS 56875 WITH SCORE 57084.879
AT ITER 2340 NEW BEST:: SOT 378547 SOS 209861 HAS SOPS 99535 HAS SOUS 63861 HAS SOUPS 56857 WITH SCORE 57066.861
AT ITER 2349 NEW BEST:: SOT 378547 SOS 209861 HAS SOPS 99505 HAS SOUS 63831 HAS SOUPS 56827 WITH SCORE 57036.861
AT ITER 2371 NEW BEST:: SOT 378527 SOS 209831 HAS SOPS 99475 HAS SOUS 63801 HAS SOUPS 56797 WITH SCORE 57006.831
AT ITER 2377 NEW BEST:: SOT 378509 SOS 209781 HAS SOPS 99425 HAS SOUS 63785 HAS SOUPS 56781 WITH SCORE 56990.781
AT ITER 2386 NEW BEST:: SOT 378445 SOS 208934 HAS SOPS 99286 HAS SOUS 63709 HAS SOUPS 56740 WITH SCORE 56948.934
AT ITER 2399 NEW BEST:: SOT 378442 SOS 208931 HAS SOPS 99280 HAS SOUS 63703 HAS SOUPS 56734 WITH SCORE 56942.931
AT ITER 2410 NEW BEST:: SOT 378437 SOS 208849 HAS SOPS 99198 HAS SOUS 63693 HAS SOUPS 56724 WITH SCORE 56932.849
AT ITER 2430 NEW BEST:: SOT 378342 SOS 208578 HAS SOPS 99008 HAS SOUS 63503 HAS SOUPS 56534 WITH SCORE 56742.578
AT ITER 2453 NEW BEST:: SOT 378137 SOS 208373 HAS SOPS 98564 HAS SOUS 63312 HAS SOUPS 56343 WITH SCORE 56551.373
AT ITER 2462 NEW BEST:: SOT 378098 SOS 208412 HAS SOPS 98603 HAS SOUS 63273 HAS SOUPS 56304 WITH SCORE 56512.412
AT ITER 2464 NEW BEST:: SOT 378098 SOS 208412 HAS SOPS 98603 HAS SOUS 63267 HAS SOUPS 56298 WITH SCORE 56506.412
AT ITER 2478 NEW BEST:: SOT 378058 SOS 208400 HAS SOPS 98499 HAS SOUS 63231 HAS SOUPS 56254 WITH SCORE 56462.4
AT ITER 2487 NEW BEST:: SOT 378054 SOS 208396 HAS SOPS 98491 HAS SOUS 63227 HAS SOUPS 56250 WITH SCORE 56458.396
AT ITER 2496 NEW BEST:: SOT 379428 SOS 209628 HAS SOPS 98279 HAS SOUS 61872 HAS SOUPS 54895 WITH SCORE 55104.628
AT ITER 2501 NEW BEST:: SOT 379377 SOS 209574 HAS SOPS 98225 HAS SOUS 61818 HAS SOUPS 54841 WITH SCORE 55050.574
AT ITER 2519 NEW BEST:: SOT 379348 SOS 209516 HAS SOPS 98167 HAS SOUS 61789 HAS SOUPS 54812 WITH SCORE 55021.516
AT ITER 2528 NEW BEST:: SOT 378802 SOS 208970 HAS SOPS 97267 HAS SOUS 61817 HAS SOUPS 54790 WITH SCORE 54998.97
AT ITER 2532 NEW BEST:: SOT 378907 SOS 209075 HAS SOPS 97337 HAS SOUS 61748 HAS SOUPS 54721 WITH SCORE 54930.075
AT ITER 2535 NEW BEST:: SOT 378522 SOS 208658 HAS SOPS 96847 HAS SOUS 61641 HAS SOUPS 54590 WITH SCORE 54798.658
AT ITER 2536 NEW BEST:: SOT 378530 SOS 208674 HAS SOPS 96857 HAS SOUS 61617 HAS SOUPS 54566 WITH SCORE 54774.674
AT ITER 2539 NEW BEST:: SOT 378516 SOS 208656 HAS SOPS 96841 HAS SOUS 61611 HAS SOUPS 54560 WITH SCORE 54768.656
AT ITER 2542 NEW BEST:: SOT 378516 SOS 208656 HAS SOPS 96777 HAS SOUS 61547 HAS SOUPS 54496 WITH SCORE 54704.656
AT ITER 2567 NEW BEST:: SOT 378486 SOS 208611 HAS SOPS 96747 HAS SOUS 61517 HAS SOUPS 54466 WITH SCORE 54674.611
AT ITER 2602 NEW BEST:: SOT 378454 SOS 208178 HAS SOPS 96314 HAS SOUS 61506 HAS SOUPS 54455 WITH SCORE 54663.178
AT ITER 2631 NEW BEST:: SOT 378452 SOS 208154 HAS SOPS 96230 HAS SOUS 61422 HAS SOUPS 54371 WITH SCORE 54579.154
AT ITER 2679 NEW BEST:: SOT 378391 SOS 203826 HAS SOPS 96108 HAS SOUS 61257 HAS SOUPS 54310 WITH SCORE 54513.826
AT ITER 2697 NEW BEST:: SOT 378389 SOS 203822 HAS SOPS 96104 HAS SOUS 61254 HAS SOUPS 54307 WITH SCORE 54510.822
AT ITER 2710 NEW BEST:: SOT 377378 SOS 202729 HAS SOPS 95131 HAS SOUS 61199 HAS SOUPS 54252 WITH SCORE 54454.729
AT ITER 2736 NEW BEST:: SOT 377781 SOS 203151 HAS SOPS 95197 HAS SOUS 60830 HAS SOUPS 53905 WITH SCORE 54108.151
AT ITER 2747 NEW BEST:: SOT 377775 SOS 203145 HAS SOPS 95185 HAS SOUS 60824 HAS SOUPS 53899 WITH SCORE 54102.145
AT ITER 2793 NEW BEST:: SOT 377775 SOS 203141 HAS SOPS 95181 HAS SOUS 60824 HAS SOUPS 53899 WITH SCORE 54102.141
AT ITER 2806 NEW BEST:: SOT 377814 SOS 203225 HAS SOPS 95131 HAS SOUS 60790 HAS SOUPS 53849 WITH SCORE 54052.225
AT ITER 2817 NEW BEST:: SOT 377769 SOS 203135 HAS SOPS 95311 HAS SOUS 60734 HAS SOUPS 53804 WITH SCORE 54007.135
AT ITER 2842 NEW BEST:: SOT 377765 SOS 203131 HAS SOPS 95309 HAS SOUS 60732 HAS SOUPS 53802 WITH SCORE 54005.131
AT ITER 2861 NEW BEST:: SOT 377758 SOS 203118 HAS SOPS 95296 HAS SOUS 60718 HAS SOUPS 53788 WITH SCORE 53991.118
AT ITER 2866 NEW BEST:: SOT 377734 SOS 203086 HAS SOPS 95264 HAS SOUS 60686 HAS SOUPS 53756 WITH SCORE 53959.086
AT ITER 2889 NEW BEST:: SOT 377734 SOS 203086 HAS SOPS 95255 HAS SOUS 60677 HAS SOUPS 53747 WITH SCORE 53950.086
AT ITER 2895 NEW BEST:: SOT 377739 SOS 203096 HAS SOPS 95270 HAS SOUS 60672 HAS SOUPS 53742 WITH SCORE 53945.096
AT ITER 2905 NEW BEST:: SOT 377639 SOS 202996 HAS SOPS 95176 HAS SOUS 60578 HAS SOUPS 53648 WITH SCORE 53850.996
AT ITER 2913 NEW BEST:: SOT 377638 SOS 202996 HAS SOPS 95175 HAS SOUS 60577 HAS SOUPS 53647 WITH SCORE 53849.996
AT ITER 2930 NEW BEST:: SOT 377638 SOS 202996 HAS SOPS 95175 HAS SOUS 60573 HAS SOUPS 53643 WITH SCORE 53845.996
AT ITER 2964 NEW BEST:: SOT 377645 SOS 202993 HAS SOPS 95172 HAS SOUS 60570 HAS SOUPS 53640 WITH SCORE 53842.993
AT ITER 2976 NEW BEST:: SOT 377669 SOS 203031 HAS SOPS 95194 HAS SOUS 60556 HAS SOUPS 53626 WITH SCORE 53829.031
AT ITER 2980 NEW BEST:: SOT 377669 SOS 202966 HAS SOPS 95129 HAS SOUS 60521 HAS SOUPS 53591 WITH SCORE 53793.966
AT ITER 2982 NEW BEST:: SOT 377672 SOS 202626 HAS SOPS 95084 HAS SOUS 60515 HAS SOUPS 53588 WITH SCORE 53790.626
AT ITER 2994 NEW BEST:: SOT 377666 SOS 202620 HAS SOPS 95056 HAS SOUS 60487 HAS SOUPS 53560 WITH SCORE 53762.62
AT ITER 3000 NEW BEST:: SOT 377642 SOS 202588 HAS SOPS 95024 HAS SOUS 60455 HAS SOUPS 53528 WITH SCORE 53730.588
AT ITER 3029 NEW BEST:: SOT 377597 SOS 202543 HAS SOPS 94948 HAS SOUS 60352 HAS SOUPS 53425 WITH SCORE 53627.543
AT ITER 3062 NEW BEST:: SOT 377552 SOS 202483 HAS SOPS 94873 HAS SOUS 60277 HAS SOUPS 53350 WITH SCORE 53552.483
AT ITER 3079 NEW BEST:: SOT 377532 SOS 202373 HAS SOPS 94763 HAS SOUS 60237 HAS SOUPS 53310 WITH SCORE 53512.373
AT ITER 3103 NEW BEST:: SOT 377526 SOS 202411 HAS SOPS 94801 HAS SOUS 60231 HAS SOUPS 53304 WITH SCORE 53506.411
AT ITER 3162 NEW BEST:: SOT 377526 SOS 202417 HAS SOPS 94807 HAS SOUS 60207 HAS SOUPS 53280 WITH SCORE 53482.417
AT ITER 3171 NEW BEST:: SOT 377526 SOS 202417 HAS SOPS 94799 HAS SOUS 60203 HAS SOUPS 53272 WITH SCORE 53474.417
AT ITER 3173 NEW BEST:: SOT 377522 SOS 202465 HAS SOPS 94847 HAS SOUS 60199 HAS SOUPS 53268 WITH SCORE 53470.465
AT ITER 3212 NEW BEST:: SOT 377296 SOS 201385 HAS SOPS 94582 HAS SOUS 60071 HAS SOUPS 53210 WITH SCORE 53411.385
AT ITER 3218 NEW BEST:: SOT 377301 SOS 201214 HAS SOPS 94479 HAS SOUS 60023 HAS SOUPS 53162 WITH SCORE 53363.214
AT ITER 3220 NEW BEST:: SOT 377361 SOS 201213 HAS SOPS 94444 HAS SOUS 60015 HAS SOUPS 53154 WITH SCORE 53355.213
AT ITER 3243 NEW BEST:: SOT 377361 SOS 201213 HAS SOPS 94444 HAS SOUS 59952 HAS SOUPS 53091 WITH SCORE 53292.213
AT ITER 3291 NEW BEST:: SOT 377219 SOS 201071 HAS SOPS 94302 HAS SOUS 59881 HAS SOUPS 53020 WITH SCORE 53221.071
AT ITER 3312 NEW BEST:: SOT 377176 SOS 201512 HAS SOPS 94305 HAS SOUS 59890 HAS SOUPS 53017 WITH SCORE 53218.512
AT ITER 3320 NEW BEST:: SOT 376894 SOS 204077 HAS SOPS 93932 HAS SOUS 59955 HAS SOUPS 52992 WITH SCORE 53196.077
AT ITER 3335 NEW BEST:: SOT 376870 SOS 204373 HAS SOPS 93936 HAS SOUS 59959 HAS SOUPS 52988 WITH SCORE 53192.373
AT ITER 3357 NEW BEST:: SOT 376842 SOS 204322 HAS SOPS 93926 HAS SOUS 59949 HAS SOUPS 52978 WITH SCORE 53182.322
AT ITER 3359 NEW BEST:: SOT 376833 SOS 204271 HAS SOPS 93875 HAS SOUS 59931 HAS SOUPS 52960 WITH SCORE 53164.271
AT ITER 3363 NEW BEST:: SOT 376840 SOS 204310 HAS SOPS 93875 HAS SOUS 59917 HAS SOUPS 52946 WITH SCORE 53150.31
AT ITER 3396 NEW BEST:: SOT 376970 SOS 204440 HAS SOPS 93847 HAS SOUS 59673 HAS SOUPS 52702 WITH SCORE 52906.44
AT ITER 3415 NEW BEST:: SOT 376454 SOS 203888 HAS SOPS 93313 HAS SOUS 59644 HAS SOUPS 52691 WITH SCORE 52894.888
AT ITER 3438 NEW BEST:: SOT 376442 SOS 203876 HAS SOPS 93297 HAS SOUS 59640 HAS SOUPS 52687 WITH SCORE 52890.876
AT ITER 3450 NEW BEST:: SOT 376411 SOS 203885 HAS SOPS 93235 HAS SOUS 59618 HAS SOUPS 52625 WITH SCORE 52828.885
AT ITER 3451 NEW BEST:: SOT 376399 SOS 203873 HAS SOPS 93223 HAS SOUS 59606 HAS SOUPS 52613 WITH SCORE 52816.873
AT ITER 3466 NEW BEST:: SOT 376354 SOS 203828 HAS SOPS 93203 HAS SOUS 59606 HAS SOUPS 52578 WITH SCORE 52781.828
AT ITER 3481 NEW BEST:: SOT 376345 SOS 203809 HAS SOPS 93184 HAS SOUS 59587 HAS SOUPS 52559 WITH SCORE 52762.809
AT ITER 3515 NEW BEST:: SOT 376341 SOS 203803 HAS SOPS 93176 HAS SOUS 59579 HAS SOUPS 52551 WITH SCORE 52754.803
AT ITER 3526 NEW BEST:: SOT 376341 SOS 203830 HAS SOPS 93203 HAS SOUS 59570 HAS SOUPS 52542 WITH SCORE 52745.83
AT ITER 3530 NEW BEST:: SOT 376339 SOS 203828 HAS SOPS 93201 HAS SOUS 59568 HAS SOUPS 52540 WITH SCORE 52743.828
AT ITER 3593 NEW BEST:: SOT 376391 SOS 203613 HAS SOPS 92729 HAS SOUS 59512 HAS SOUPS 52484 WITH SCORE 52687.613
AT ITER 3640 NEW BEST:: SOT 376391 SOS 203532 HAS SOPS 92648 HAS SOUS 59470 HAS SOUPS 52442 WITH SCORE 52645.532
AT ITER 3657 NEW BEST:: SOT 376359 SOS 203500 HAS SOPS 92584 HAS SOUS 59360 HAS SOUPS 52332 WITH SCORE 52535.5
AT ITER 3687 NEW BEST:: SOT 376356 SOS 203494 HAS SOPS 92578 HAS SOUS 59354 HAS SOUPS 52326 WITH SCORE 52529.494
AT ITER 3697 NEW BEST:: SOT 376347 SOS 203485 HAS SOPS 92524 HAS SOUS 59345 HAS SOUPS 52317 WITH SCORE 52520.485
AT ITER 3700 NEW BEST:: SOT 376346 SOS 203481 HAS SOPS 92520 HAS SOUS 59345 HAS SOUPS 52317 WITH SCORE 52520.481
AT ITER 3701 NEW BEST:: SOT 376346 SOS 203439 HAS SOPS 92478 HAS SOUS 59345 HAS SOUPS 52317 WITH SCORE 52520.439
AT ITER 3726 NEW BEST:: SOT 376346 SOS 203409 HAS SOPS 92448 HAS SOUS 59330 HAS SOUPS 52302 WITH SCORE 52505.409
AT ITER 3749 NEW BEST:: SOT 376324 SOS 203363 HAS SOPS 92423 HAS SOUS 59305 HAS SOUPS 52277 WITH SCORE 52480.363
AT ITER 3763 NEW BEST:: SOT 376328 SOS 203359 HAS SOPS 92425 HAS SOUS 59299 HAS SOUPS 52275 WITH SCORE 52478.359
AT ITER 3767 NEW BEST:: SOT 376328 SOS 203358 HAS SOPS 92424 HAS SOUS 59298 HAS SOUPS 52274 WITH SCORE 52477.358
AT ITER 3789 NEW BEST:: SOT 376022 SOS 203001 HAS SOPS 92118 HAS SOUS 59247 HAS SOUPS 52223 WITH SCORE 52426.001
AT ITER 3807 NEW BEST:: SOT 376015 SOS 202777 HAS SOPS 91894 HAS SOUS 59206 HAS SOUPS 52182 WITH SCORE 52384.777
AT ITER 3815 NEW BEST:: SOT 375977 SOS 202739 HAS SOPS 91856 HAS SOUS 59159 HAS SOUPS 52144 WITH SCORE 52346.739
AT ITER 3819 NEW BEST:: SOT 375977 SOS 202739 HAS SOPS 91838 HAS SOUS 59141 HAS SOUPS 52126 WITH SCORE 52328.739
AT ITER 3829 NEW BEST:: SOT 375977 SOS 202733 HAS SOPS 91718 HAS SOUS 59116 HAS SOUPS 52101 WITH SCORE 52303.733
AT ITER 3846 NEW BEST:: SOT 375839 SOS 202595 HAS SOPS 91594 HAS SOUS 59101 HAS SOUPS 52086 WITH SCORE 52288.595
AT ITER 3847 NEW BEST:: SOT 375652 SOS 202343 HAS SOPS 91342 HAS SOUS 59027 HAS SOUPS 52012 WITH SCORE 52214.343
AT ITER 3858 NEW BEST:: SOT 375437 SOS 201631 HAS SOPS 91114 HAS SOUS 58898 HAS SOUPS 51951 WITH SCORE 52152.631
AT ITER 3861 NEW BEST:: SOT 375454 SOS 201555 HAS SOPS 91033 HAS SOUS 58889 HAS SOUPS 51942 WITH SCORE 52143.555
AT ITER 3865 NEW BEST:: SOT 375454 SOS 201553 HAS SOPS 91033 HAS SOUS 58889 HAS SOUPS 51942 WITH SCORE 52143.553
AT ITER 3912 NEW BEST:: SOT 375450 SOS 201650 HAS SOPS 91130 HAS SOUS 58861 HAS SOUPS 51914 WITH SCORE 52115.65
AT ITER 3988 NEW BEST:: SOT 375450 SOS 201659 HAS SOPS 91139 HAS SOUS 58858 HAS SOUPS 51911 WITH SCORE 52112.659
AT ITER 3994 NEW BEST:: SOT 375410 SOS 203637 HAS SOPS 91300 HAS SOUS 58855 HAS SOUPS 51862 WITH SCORE 52065.637
AT ITER 4043 NEW BEST:: SOT 375338 SOS 203524 HAS SOPS 91156 HAS SOUS 58742 HAS SOUPS 51718 WITH SCORE 51921.524
AT ITER 4060 NEW BEST:: SOT 375307 SOS 203464 HAS SOPS 91096 HAS SOUS 58682 HAS SOUPS 51658 WITH SCORE 51861.464
AT ITER 4074 NEW BEST:: SOT 375293 SOS 203459 HAS SOPS 91091 HAS SOUS 58677 HAS SOUPS 51653 WITH SCORE 51856.459
AT ITER 4078 NEW BEST:: SOT 375307 SOS 203507 HAS SOPS 91119 HAS SOUS 58671 HAS SOUPS 51647 WITH SCORE 51850.507
AT ITER 4090 NEW BEST:: SOT 374287 SOS 202501 HAS SOPS 90139 HAS SOUS 58460 HAS SOUPS 51398 WITH SCORE 51600.501
AT ITER 4120 NEW BEST:: SOT 374287 SOS 202501 HAS SOPS 90139 HAS SOUS 58407 HAS SOUPS 51345 WITH SCORE 51547.501
AT ITER 4124 NEW BEST:: SOT 374277 SOS 202481 HAS SOPS 90119 HAS SOUS 58387 HAS SOUPS 51325 WITH SCORE 51527.481
AT ITER 4153 NEW BEST:: SOT 374280 SOS 202484 HAS SOPS 90121 HAS SOUS 58386 HAS SOUPS 51324 WITH SCORE 51526.484
AT ITER 4171 NEW BEST:: SOT 374330 SOS 202534 HAS SOPS 90111 HAS SOUS 58376 HAS SOUPS 51314 WITH SCORE 51516.534
AT ITER 4205 NEW BEST:: SOT 374332 SOS 202540 HAS SOPS 90115 HAS SOUS 58374 HAS SOUPS 51312 WITH SCORE 51514.54
AT ITER 4226 NEW BEST:: SOT 374320 SOS 202528 HAS SOPS 90103 HAS SOUS 58362 HAS SOUPS 51300 WITH SCORE 51502.528
AT ITER 4230 NEW BEST:: SOT 373704 SOS 201868 HAS SOPS 89487 HAS SOUS 58347 HAS SOUPS 51285 WITH SCORE 51486.868
AT ITER 4238 NEW BEST:: SOT 373676 SOS 201840 HAS SOPS 89445 HAS SOUS 58305 HAS SOUPS 51243 WITH SCORE 51444.84
AT ITER 4247 NEW BEST:: SOT 373676 SOS 201836 HAS SOPS 89445 HAS SOUS 58305 HAS SOUPS 51243 WITH SCORE 51444.836
AT ITER 4256 NEW BEST:: SOT 373648 SOS 201808 HAS SOPS 89389 HAS SOUS 58249 HAS SOUPS 51187 WITH SCORE 51388.808
AT ITER 4276 NEW BEST:: SOT 373637 SOS 201797 HAS SOPS 89387 HAS SOUS 58238 HAS SOUPS 51180 WITH SCORE 51381.797
AT ITER 4307 NEW BEST:: SOT 373633 SOS 201791 HAS SOPS 89375 HAS SOUS 58226 HAS SOUPS 51168 WITH SCORE 51369.791
AT ITER 4312 NEW BEST:: SOT 373629 SOS 201787 HAS SOPS 89367 HAS SOUS 58214 HAS SOUPS 51156 WITH SCORE 51357.787
AT ITER 4352 NEW BEST:: SOT 373662 SOS 201826 HAS SOPS 89361 HAS SOUS 58163 HAS SOUPS 51105 WITH SCORE 51306.826
AT ITER 4355 NEW BEST:: SOT 373662 SOS 201747 HAS SOPS 89361 HAS SOUS 58104 HAS SOUPS 51105 WITH SCORE 51306.747
AT ITER 4394 NEW BEST:: SOT 373625 SOS 201676 HAS SOPS 89360 HAS SOUS 58103 HAS SOUPS 51104 WITH SCORE 51305.676
AT ITER 4415 NEW BEST:: SOT 373570 SOS 201632 HAS SOPS 89151 HAS SOUS 57894 HAS SOUPS 50895 WITH SCORE 51096.632
AT ITER 4422 NEW BEST:: SOT 373564 SOS 201626 HAS SOPS 89145 HAS SOUS 57888 HAS SOUPS 50889 WITH SCORE 51090.626
AT ITER 4443 NEW BEST:: SOT 373585 SOS 201653 HAS SOPS 89151 HAS SOUS 57879 HAS SOUPS 50868 WITH SCORE 51069.653
AT ITER 4446 NEW BEST:: SOT 373571 SOS 201630 HAS SOPS 89008 HAS SOUS 57730 HAS SOUPS 50719 WITH SCORE 50920.63
AT ITER 4493 NEW BEST:: SOT 373557 SOS 201616 HAS SOPS 88992 HAS SOUS 57724 HAS SOUPS 50713 WITH SCORE 50914.616
AT ITER 4500 NEW BEST:: SOT 373497 SOS 201556 HAS SOPS 88872 HAS SOUS 57657 HAS SOUPS 50646 WITH SCORE 50847.556
AT ITER 4505 NEW BEST:: SOT 373506 SOS 201565 HAS SOPS 88869 HAS SOUS 57654 HAS SOUPS 50643 WITH SCORE 50844.565
AT ITER 4533 NEW BEST:: SOT 373506 SOS 201553 HAS SOPS 88857 HAS SOUS 57645 HAS SOUPS 50634 WITH SCORE 50835.553
AT ITER 4548 NEW BEST:: SOT 373656 SOS 201703 HAS SOPS 88833 HAS SOUS 57621 HAS SOUPS 50610 WITH SCORE 50811.703
AT ITER 4557 NEW BEST:: SOT 373649 SOS 201696 HAS SOPS 88826 HAS SOUS 57614 HAS SOUPS 50603 WITH SCORE 50804.696
AT ITER 4559 NEW BEST:: SOT 373633 SOS 201696 HAS SOPS 88842 HAS SOUS 57598 HAS SOUPS 50587 WITH SCORE 50788.696
AT ITER 4560 NEW BEST:: SOT 373636 SOS 201688 HAS SOPS 88834 HAS SOUS 57575 HAS SOUPS 50564 WITH SCORE 50765.688
AT ITER 4578 NEW BEST:: SOT 373471 SOS 201523 HAS SOPS 88624 HAS SOUS 57434 HAS SOUPS 50423 WITH SCORE 50624.523
AT ITER 4583 NEW BEST:: SOT 373410 SOS 201455 HAS SOPS 88495 HAS SOUS 57305 HAS SOUPS 50294 WITH SCORE 50495.455
AT ITER 4590 NEW BEST:: SOT 373407 SOS 201452 HAS SOPS 88492 HAS SOUS 57302 HAS SOUPS 50291 WITH SCORE 50492.452
AT ITER 4594 NEW BEST:: SOT 373375 SOS 201360 HAS SOPS 88488 HAS SOUS 57298 HAS SOUPS 50287 WITH SCORE 50488.36
AT ITER 4611 NEW BEST:: SOT 373300 SOS 201309 HAS SOPS 88482 HAS SOUS 57270 HAS SOUPS 50259 WITH SCORE 50460.309
AT ITER 4623 NEW BEST:: SOT 373303 SOS 201326 HAS SOPS 88498 HAS SOUS 57265 HAS SOUPS 50254 WITH SCORE 50455.326
AT ITER 4624 NEW BEST:: SOT 373368 SOS 201271 HAS SOPS 87908 HAS SOUS 57285 HAS SOUPS 50197 WITH SCORE 50398.271
AT ITER 4631 NEW BEST:: SOT 373371 SOS 201274 HAS SOPS 87962 HAS SOUS 57265 HAS SOUPS 50177 WITH SCORE 50378.274
AT ITER 4690 NEW BEST:: SOT 373367 SOS 201271 HAS SOPS 87959 HAS SOUS 57262 HAS SOUPS 50174 WITH SCORE 50375.271
AT ITER 4708 NEW BEST:: SOT 373330 SOS 201234 HAS SOPS 87911 HAS SOUS 57214 HAS SOUPS 50126 WITH SCORE 50327.234
AT ITER 4745 NEW BEST:: SOT 373720 SOS 201654 HAS SOPS 88301 HAS SOUS 57171 HAS SOUPS 50083 WITH SCORE 50284.654
AT ITER 4755 NEW BEST:: SOT 373718 SOS 201658 HAS SOPS 88297 HAS SOUS 57167 HAS SOUPS 50079 WITH SCORE 50280.658
AT ITER 4758 NEW BEST:: SOT 373753 SOS 201635 HAS SOPS 88253 HAS SOUS 57167 HAS SOUPS 50079 WITH SCORE 50280.635
AT ITER 4767 NEW BEST:: SOT 373905 SOS 201787 HAS SOPS 88165 HAS SOUS 57079 HAS SOUPS 49991 WITH SCORE 50192.787
AT ITER 4779 NEW BEST:: SOT 373879 SOS 201776 HAS SOPS 88154 HAS SOUS 57027 HAS SOUPS 49939 WITH SCORE 50140.776
AT ITER 4781 NEW BEST:: SOT 373937 SOS 201804 HAS SOPS 88138 HAS SOUS 57011 HAS SOUPS 49923 WITH SCORE 50124.804
AT ITER 4790 NEW BEST:: SOT 373919 SOS 201786 HAS SOPS 88102 HAS SOUS 56993 HAS SOUPS 49887 WITH SCORE 50088.786
AT ITER 4816 NEW BEST:: SOT 373911 SOS 201714 HAS SOPS 88030 HAS SOUS 56985 HAS SOUPS 49879 WITH SCORE 50080.714
AT ITER 4841 NEW BEST:: SOT 373909 SOS 201743 HAS SOPS 88026 HAS SOUS 56944 HAS SOUPS 49842 WITH SCORE 50043.743
AT ITER 4850 NEW BEST:: SOT 373901 SOS 201687 HAS SOPS 87970 HAS SOUS 56928 HAS SOUPS 49826 WITH SCORE 50027.687
AT ITER 4855 NEW BEST:: SOT 373901 SOS 201726 HAS SOPS 87970 HAS SOUS 56889 HAS SOUPS 49787 WITH SCORE 49988.726
AT ITER 4864 NEW BEST:: SOT 373863 SOS 201630 HAS SOPS 87932 HAS SOUS 56871 HAS SOUPS 49769 WITH SCORE 49970.63
AT ITER 4869 NEW BEST:: SOT 373857 SOS 201622 HAS SOPS 87924 HAS SOUS 56867 HAS SOUPS 49765 WITH SCORE 49966.622
AT ITER 4904 NEW BEST:: SOT 373823 SOS 201588 HAS SOPS 87822 HAS SOUS 56765 HAS SOUPS 49663 WITH SCORE 49864.588
AT ITER 4907 NEW BEST:: SOT 373817 SOS 201576 HAS SOPS 87810 HAS SOUS 56747 HAS SOUPS 49645 WITH SCORE 49846.576
AT ITER 4917 NEW BEST:: SOT 373789 SOS 201548 HAS SOPS 87782 HAS SOUS 56719 HAS SOUPS 49617 WITH SCORE 49818.548
AT ITER 4937 NEW BEST:: SOT 373786 SOS 201572 HAS SOPS 87806 HAS SOUS 56713 HAS SOUPS 49611 WITH SCORE 49812.572
AT ITER 4950 NEW BEST:: SOT 373786 SOS 201559 HAS SOPS 87793 HAS SOUS 56712 HAS SOUPS 49610 WITH SCORE 49811.559
AT ITER 4954 NEW BEST:: SOT 373794 SOS 201579 HAS SOPS 87809 HAS SOUS 56660 HAS SOUPS 49546 WITH SCORE 49747.579
AT ITER 4957 NEW BEST:: SOT 373763 SOS 201483 HAS SOPS 87721 HAS SOUS 56632 HAS SOUPS 49518 WITH SCORE 49719.483
AT ITER 4977 NEW BEST:: SOT 373761 SOS 201494 HAS SOPS 87717 HAS SOUS 56628 HAS SOUPS 49514 WITH SCORE 49715.494
AT ITER 5003 NEW BEST:: SOT 373730 SOS 201432 HAS SOPS 87624 HAS SOUS 56567 HAS SOUPS 49421 WITH SCORE 49622.432
AT ITER 5004 NEW BEST:: SOT 373681 SOS 201375 HAS SOPS 87545 HAS SOUS 56488 HAS SOUPS 49342 WITH SCORE 49543.375
AT ITER 5005 NEW BEST:: SOT 373570 SOS 201337 HAS SOPS 87456 HAS SOUS 56517 HAS SOUPS 49337 WITH SCORE 49538.337
AT ITER 5038 NEW BEST:: SOT 373560 SOS 201317 HAS SOPS 87436 HAS SOUS 56487 HAS SOUPS 49307 WITH SCORE 49508.317
AT ITER 5058 NEW BEST:: SOT 373527 SOS 201284 HAS SOPS 87381 HAS SOUS 56432 HAS SOUPS 49252 WITH SCORE 49453.284
AT ITER 5111 NEW BEST:: SOT 373527 SOS 201281 HAS SOPS 87378 HAS SOUS 56426 HAS SOUPS 49246 WITH SCORE 49447.281
AT ITER 5113 NEW BEST:: SOT 373505 SOS 201237 HAS SOPS 87312 HAS SOUS 56404 HAS SOUPS 49224 WITH SCORE 49425.237
AT ITER 5122 NEW BEST:: SOT 373472 SOS 201194 HAS SOPS 87259 HAS SOUS 56351 HAS SOUPS 49171 WITH SCORE 49372.194
AT ITER 5153 NEW BEST:: SOT 372966 SOS 200688 HAS SOPS 87247 HAS SOUS 56289 HAS SOUPS 49159 WITH SCORE 49359.688
AT ITER 5201 NEW BEST:: SOT 372837 SOS 200534 HAS SOPS 87209 HAS SOUS 56174 HAS SOUPS 49121 WITH SCORE 49321.534
AT ITER 5203 NEW BEST:: SOT 372849 SOS 200561 HAS SOPS 87158 HAS SOUS 56123 HAS SOUPS 49070 WITH SCORE 49270.561
AT ITER 5334 NEW BEST:: SOT 372838 SOS 200550 HAS SOPS 87114 HAS SOUS 56079 HAS SOUPS 49026 WITH SCORE 49226.55
AT ITER 5362 NEW BEST:: SOT 372816 SOS 200511 HAS SOPS 87075 HAS SOUS 56057 HAS SOUPS 49004 WITH SCORE 49204.511
AT ITER 5373 NEW BEST:: SOT 372246 SOS 199941 HAS SOPS 86685 HAS SOUS 55926 HAS SOUPS 48873 WITH SCORE 49072.941
AT ITER 5392 NEW BEST:: SOT 372228 SOS 199900 HAS SOPS 86644 HAS SOUS 55903 HAS SOUPS 48850 WITH SCORE 49049.9
AT ITER 5393 NEW BEST:: SOT 372201 SOS 199787 HAS SOPS 86602 HAS SOUS 55880 HAS SOUPS 48827 WITH SCORE 49026.787
AT ITER 5409 NEW BEST:: SOT 372116 SOS 199798 HAS SOPS 86755 HAS SOUS 55843 HAS SOUPS 48790 WITH SCORE 48989.798
AT ITER 5425 NEW BEST:: SOT 372051 SOS 199777 HAS SOPS 86625 HAS SOUS 55713 HAS SOUPS 48660 WITH SCORE 48859.777
AT ITER 5440 NEW BEST:: SOT 371977 SOS 199690 HAS SOPS 86555 HAS SOUS 55704 HAS SOUPS 48651 WITH SCORE 48850.69
AT ITER 5447 NEW BEST:: SOT 371887 SOS 199618 HAS SOPS 86483 HAS SOUS 55698 HAS SOUPS 48645 WITH SCORE 48844.618
AT ITER 5463 NEW BEST:: SOT 371881 SOS 199594 HAS SOPS 86459 HAS SOUS 55680 HAS SOUPS 48627 WITH SCORE 48826.594
AT ITER 5491 NEW BEST:: SOT 371875 SOS 199588 HAS SOPS 86447 HAS SOUS 55668 HAS SOUPS 48615 WITH SCORE 48814.588
AT ITER 5492 NEW BEST:: SOT 371893 SOS 199584 HAS SOPS 86417 HAS SOUS 55686 HAS SOUPS 48613 WITH SCORE 48812.584
AT ITER 5504 NEW BEST:: SOT 371893 SOS 199605 HAS SOPS 86431 HAS SOUS 55679 HAS SOUPS 48606 WITH SCORE 48805.605
AT ITER 5530 NEW BEST:: SOT 371893 SOS 199591 HAS SOPS 86417 HAS SOUS 55661 HAS SOUPS 48588 WITH SCORE 48787.591
AT ITER 5570 NEW BEST:: SOT 371894 SOS 199580 HAS SOPS 86419 HAS SOUS 55650 HAS SOUPS 48577 WITH SCORE 48776.58
AT ITER 5572 NEW BEST:: SOT 371902 SOS 199590 HAS SOPS 86417 HAS SOUS 55648 HAS SOUPS 48575 WITH SCORE 48774.59
AT ITER 5594 NEW BEST:: SOT 371873 SOS 199450 HAS SOPS 86277 HAS SOUS 55631 HAS SOUPS 48558 WITH SCORE 48757.45
AT ITER 5596 NEW BEST:: SOT 371942 SOS 199677 HAS SOPS 86346 HAS SOUS 55647 HAS SOUPS 48530 WITH SCORE 48729.677
AT ITER 5611 NEW BEST:: SOT 371945 SOS 199680 HAS SOPS 85704 HAS SOUS 55718 HAS SOUPS 48522 WITH SCORE 48721.68
AT ITER 5623 NEW BEST:: SOT 371945 SOS 199671 HAS SOPS 85695 HAS SOUS 55709 HAS SOUPS 48513 WITH SCORE 48712.671
AT ITER 5634 NEW BEST:: SOT 371875 SOS 198757 HAS SOPS 85630 HAS SOUS 55505 HAS SOUPS 48429 WITH SCORE 48627.757
AT ITER 5651 NEW BEST:: SOT 371882 SOS 198763 HAS SOPS 85631 HAS SOUS 55497 HAS SOUPS 48421 WITH SCORE 48619.763
AT ITER 5667 NEW BEST:: SOT 371877 SOS 198763 HAS SOPS 85631 HAS SOUS 55492 HAS SOUPS 48416 WITH SCORE 48614.763
AT ITER 5679 NEW BEST:: SOT 371877 SOS 198763 HAS SOPS 85592 HAS SOUS 55453 HAS SOUPS 48377 WITH SCORE 48575.763
AT ITER 5708 NEW BEST:: SOT 371842 SOS 198789 HAS SOPS 85600 HAS SOUS 55416 HAS SOUPS 48340 WITH SCORE 48538.789
AT ITER 5709 NEW BEST:: SOT 371795 SOS 198648 HAS SOPS 85271 HAS SOUS 55369 HAS SOUPS 48246 WITH SCORE 48444.648
AT ITER 5725 NEW BEST:: SOT 371787 SOS 198584 HAS SOPS 85207 HAS SOUS 55353 HAS SOUPS 48230 WITH SCORE 48428.584
AT ITER 5837 NEW BEST:: SOT 371785 SOS 198582 HAS SOPS 85203 HAS SOUS 55309 HAS SOUPS 48186 WITH SCORE 48384.582
AT ITER 5838 NEW BEST:: SOT 371775 SOS 198558 HAS SOPS 85177 HAS SOUS 55297 HAS SOUPS 48174 WITH SCORE 48372.558
AT ITER 5841 NEW BEST:: SOT 371775 SOS 198512 HAS SOPS 85131 HAS SOUS 55297 HAS SOUPS 48174 WITH SCORE 48372.512
AT ITER 5870 NEW BEST:: SOT 371775 SOS 198512 HAS SOPS 85131 HAS SOUS 55283 HAS SOUPS 48160 WITH SCORE 48358.512
AT ITER 5910 NEW BEST:: SOT 371775 SOS 198498 HAS SOPS 85117 HAS SOUS 55281 HAS SOUPS 48158 WITH SCORE 48356.498
AT ITER 5915 NEW BEST:: SOT 371733 SOS 198456 HAS SOPS 85069 HAS SOUS 55269 HAS SOUPS 48146 WITH SCORE 48344.456
AT ITER 5954 NEW BEST:: SOT 371733 SOS 198453 HAS SOPS 85063 HAS SOUS 55266 HAS SOUPS 48143 WITH SCORE 48341.453
AT ITER 5975 NEW BEST:: SOT 371735 SOS 198536 HAS SOPS 85146 HAS SOUS 55189 HAS SOUPS 48066 WITH SCORE 48264.536
AT ITER 5983 NEW BEST:: SOT 371687 SOS 198468 HAS SOPS 85078 HAS SOUS 55140 HAS SOUPS 48017 WITH SCORE 48215.468
AT ITER 6031 NEW BEST:: SOT 371687 SOS 198442 HAS SOPS 85060 HAS SOUS 55140 HAS SOUPS 48017 WITH SCORE 48215.442
AT ITER 6042 NEW BEST:: SOT 371690 SOS 198456 HAS SOPS 85074 HAS SOUS 55135 HAS SOUPS 48012 WITH SCORE 48210.456
AT ITER 6089 NEW BEST:: SOT 371056 SOS 197949 HAS SOPS 84567 HAS SOUS 54951 HAS SOUPS 47828 WITH SCORE 48025.949
AT ITER 6103 NEW BEST:: SOT 371117 SOS 197941 HAS SOPS 84402 HAS SOUS 54925 HAS SOUPS 47802 WITH SCORE 47999.941
AT ITER 6196 NEW BEST:: SOT 371153 SOS 198045 HAS SOPS 84318 HAS SOUS 54920 HAS SOUPS 47797 WITH SCORE 47995.045
AT ITER 6230 NEW BEST:: SOT 371182 SOS 198128 HAS SOPS 84341 HAS SOUS 54865 HAS SOUPS 47730 WITH SCORE 47928.128
AT ITER 6245 NEW BEST:: SOT 371174 SOS 198120 HAS SOPS 84325 HAS SOUS 54849 HAS SOUPS 47714 WITH SCORE 47912.12
AT ITER 6294 NEW BEST:: SOT 371155 SOS 198082 HAS SOPS 84287 HAS SOUS 54811 HAS SOUPS 47676 WITH SCORE 47874.082
AT ITER 6330 NEW BEST:: SOT 371153 SOS 198080 HAS SOPS 84285 HAS SOUS 54795 HAS SOUPS 47660 WITH SCORE 47858.08
AT ITER 6356 NEW BEST:: SOT 371160 SOS 197639 HAS SOPS 84239 HAS SOUS 54777 HAS SOUPS 47652 WITH SCORE 47849.639
AT ITER 6362 NEW BEST:: SOT 371190 SOS 197678 HAS SOPS 84245 HAS SOUS 54762 HAS SOUPS 47637 WITH SCORE 47834.678
AT ITER 6380 NEW BEST:: SOT 371182 SOS 197693 HAS SOPS 84260 HAS SOUS 54754 HAS SOUPS 47629 WITH SCORE 47826.693
AT ITER 6385 NEW BEST:: SOT 371162 SOS 197513 HAS SOPS 84100 HAS SOUS 54734 HAS SOUPS 47609 WITH SCORE 47806.513
AT ITER 6386 NEW BEST:: SOT 370834 SOS 197180 HAS SOPS 83756 HAS SOUS 54726 HAS SOUPS 47601 WITH SCORE 47798.18
AT ITER 6392 NEW BEST:: SOT 370980 SOS 197318 HAS SOPS 83902 HAS SOUS 54705 HAS SOUPS 47580 WITH SCORE 47777.318
AT ITER 6400 NEW BEST:: SOT 370980 SOS 197318 HAS SOPS 83902 HAS SOUS 54670 HAS SOUPS 47545 WITH SCORE 47742.318
AT ITER 6469 NEW BEST:: SOT 370980 SOS 197218 HAS SOPS 83802 HAS SOUS 54670 HAS SOUPS 47545 WITH SCORE 47742.218
AT ITER 6557 NEW BEST:: SOT 370921 SOS 197321 HAS SOPS 83905 HAS SOUS 54630 HAS SOUPS 47505 WITH SCORE 47702.321
AT ITER 6596 NEW BEST:: SOT 370904 SOS 197279 HAS SOPS 83871 HAS SOUS 54596 HAS SOUPS 47471 WITH SCORE 47668.279
AT ITER 6685 NEW BEST:: SOT 370904 SOS 197278 HAS SOPS 83871 HAS SOUS 54596 HAS SOUPS 47471 WITH SCORE 47668.278
AT ITER 6695 NEW BEST:: SOT 370903 SOS 197276 HAS SOPS 83869 HAS SOUS 54594 HAS SOUPS 47469 WITH SCORE 47666.276
AT ITER 6698 NEW BEST:: SOT 370942 SOS 197315 HAS SOPS 83911 HAS SOUS 54591 HAS SOUPS 47466 WITH SCORE 47663.315
AT ITER 6715 NEW BEST:: SOT 370942 SOS 197305 HAS SOPS 83901 HAS SOUS 54591 HAS SOUPS 47466 WITH SCORE 47663.305
AT ITER 6752 NEW BEST:: SOT 370940 SOS 197302 HAS SOPS 83897 HAS SOUS 54588 HAS SOUPS 47463 WITH SCORE 47660.302
AT ITER 6780 NEW BEST:: SOT 370934 SOS 197290 HAS SOPS 83896 HAS SOUS 54587 HAS SOUPS 47462 WITH SCORE 47659.29
AT ITER 6810 NEW BEST:: SOT 370147 SOS 196448 HAS SOPS 83054 HAS SOUS 54457 HAS SOUPS 47332 WITH SCORE 47528.448
AT ITER 6811 NEW BEST:: SOT 370137 SOS 196438 HAS SOPS 83012 HAS SOUS 54453 HAS SOUPS 47328 WITH SCORE 47524.438
AT ITER 6873 NEW BEST:: SOT 370207 SOS 196522 HAS SOPS 82956 HAS SOUS 54397 HAS SOUPS 47272 WITH SCORE 47468.522
AT ITER 6877 NEW BEST:: SOT 370038 SOS 197850 HAS SOPS 82831 HAS SOUS 54420 HAS SOUPS 47250 WITH SCORE 47447.85
AT ITER 6882 NEW BEST:: SOT 369960 SOS 198291 HAS SOPS 82751 HAS SOUS 54432 HAS SOUPS 47219 WITH SCORE 47417.291
AT ITER 6896 NEW BEST:: SOT 369964 SOS 198283 HAS SOPS 82743 HAS SOUS 54426 HAS SOUPS 47213 WITH SCORE 47411.283
AT ITER 6911 NEW BEST:: SOT 369965 SOS 198284 HAS SOPS 82742 HAS SOUS 54425 HAS SOUPS 47212 WITH SCORE 47410.284
AT ITER 6917 NEW BEST:: SOT 369961 SOS 198295 HAS SOPS 82753 HAS SOUS 54417 HAS SOUPS 47204 WITH SCORE 47402.295
AT ITER 6922 NEW BEST:: SOT 369933 SOS 198267 HAS SOPS 82753 HAS SOUS 54417 HAS SOUPS 47204 WITH SCORE 47402.267
AT ITER 6932 NEW BEST:: SOT 369917 SOS 198211 HAS SOPS 82706 HAS SOUS 54409 HAS SOUPS 47196 WITH SCORE 47394.211
AT ITER 6936 NEW BEST:: SOT 369912 SOS 198202 HAS SOPS 82696 HAS SOUS 54399 HAS SOUPS 47186 WITH SCORE 47384.202
AT ITER 6950 NEW BEST:: SOT 369807 SOS 198090 HAS SOPS 82584 HAS SOUS 54392 HAS SOUPS 47179 WITH SCORE 47377.09
AT ITER 6957 NEW BEST:: SOT 369768 SOS 198051 HAS SOPS 82580 HAS SOUS 54388 HAS SOUPS 47175 WITH SCORE 47373.051
AT ITER 6959 NEW BEST:: SOT 369728 SOS 198011 HAS SOPS 82498 HAS SOUS 54343 HAS SOUPS 47130 WITH SCORE 47328.011
AT ITER 7036 NEW BEST:: SOT 369716 SOS 197975 HAS SOPS 82462 HAS SOUS 54319 HAS SOUPS 47106 WITH SCORE 47303.975
AT ITER 7041 NEW BEST:: SOT 369716 SOS 197961 HAS SOPS 82448 HAS SOUS 54319 HAS SOUPS 47106 WITH SCORE 47303.961
AT ITER 7071 NEW BEST:: SOT 370055 SOS 198200 HAS SOPS 82687 HAS SOUS 54197 HAS SOUPS 46984 WITH SCORE 47182.2
AT ITER 7079 NEW BEST:: SOT 370053 SOS 198313 HAS SOPS 82800 HAS SOUS 54195 HAS SOUPS 46982 WITH SCORE 47180.313
AT ITER 7090 NEW BEST:: SOT 370048 SOS 198266 HAS SOPS 82754 HAS SOUS 54194 HAS SOUPS 46981 WITH SCORE 47179.266
AT ITER 7097 NEW BEST:: SOT 370024 SOS 198236 HAS SOPS 82724 HAS SOUS 54182 HAS SOUPS 46969 WITH SCORE 47167.236
AT ITER 7136 NEW BEST:: SOT 370002 SOS 198214 HAS SOPS 82724 HAS SOUS 54182 HAS SOUPS 46969 WITH SCORE 47167.214
AT ITER 7141 NEW BEST:: SOT 369942 SOS 199134 HAS SOPS 82685 HAS SOUS 54197 HAS SOUPS 46957 WITH SCORE 47156.134
AT ITER 7183 NEW BEST:: SOT 369940 SOS 199130 HAS SOPS 82681 HAS SOUS 54193 HAS SOUPS 46953 WITH SCORE 47152.13
AT ITER 7215 NEW BEST:: SOT 369940 SOS 199146 HAS SOPS 82649 HAS SOUS 54161 HAS SOUPS 46921 WITH SCORE 47120.146
AT ITER 7259 NEW BEST:: SOT 369917 SOS 199123 HAS SOPS 82626 HAS SOUS 54161 HAS SOUPS 46921 WITH SCORE 47120.123
AT ITER 7317 NEW BEST:: SOT 369901 SOS 199107 HAS SOPS 82614 HAS SOUS 54149 HAS SOUPS 46909 WITH SCORE 47108.107
AT ITER 7344 NEW BEST:: SOT 369899 SOS 199105 HAS SOPS 82612 HAS SOUS 54145 HAS SOUPS 46905 WITH SCORE 47104.105
AT ITER 7360 NEW BEST:: SOT 369895 SOS 198965 HAS SOPS 82604 HAS SOUS 54138 HAS SOUPS 46898 WITH SCORE 47096.965
AT ITER 7394 NEW BEST:: SOT 370038 SOS 199108 HAS SOPS 82688 HAS SOUS 54129 HAS SOUPS 46889 WITH SCORE 47088.108
AT ITER 7423 NEW BEST:: SOT 370030 SOS 199100 HAS SOPS 82680 HAS SOUS 54121 HAS SOUPS 46881 WITH SCORE 47080.1
AT ITER 7427 NEW BEST:: SOT 370011 SOS 199088 HAS SOPS 82668 HAS SOUS 54109 HAS SOUPS 46869 WITH SCORE 47068.088
AT ITER 7478 NEW BEST:: SOT 369990 SOS 199074 HAS SOPS 82654 HAS SOUS 54108 HAS SOUPS 46868 WITH SCORE 47067.074
AT ITER 7499 NEW BEST:: SOT 369736 SOS 198820 HAS SOPS 82382 HAS SOUS 54092 HAS SOUPS 46852 WITH SCORE 47050.82
AT ITER 7500 NEW BEST:: SOT 369736 SOS 198827 HAS SOPS 82375 HAS SOUS 54085 HAS SOUPS 46845 WITH SCORE 47043.827
AT ITER 7503 NEW BEST:: SOT 369736 SOS 198729 HAS SOPS 82277 HAS SOUS 54085 HAS SOUPS 46845 WITH SCORE 47043.729
AT ITER 7515 NEW BEST:: SOT 369691 SOS 198681 HAS SOPS 82229 HAS SOUS 54082 HAS SOUPS 46842 WITH SCORE 47040.681
AT ITER 7517 NEW BEST:: SOT 369670 SOS 198639 HAS SOPS 82187 HAS SOUS 54040 HAS SOUPS 46800 WITH SCORE 46998.639
AT ITER 7532 NEW BEST:: SOT 369647 SOS 198616 HAS SOPS 82164 HAS SOUS 54017 HAS SOUPS 46777 WITH SCORE 46975.616
AT ITER 7564 NEW BEST:: SOT 369657 SOS 198611 HAS SOPS 82159 HAS SOUS 54012 HAS SOUPS 46772 WITH SCORE 46970.611
AT ITER 7579 NEW BEST:: SOT 369648 SOS 198611 HAS SOPS 82159 HAS SOUS 54003 HAS SOUPS 46763 WITH SCORE 46961.611
AT ITER 7599 NEW BEST:: SOT 369618 SOS 198550 HAS SOPS 82099 HAS SOUS 53974 HAS SOUPS 46734 WITH SCORE 46932.55
AT ITER 7633 NEW BEST:: SOT 369618 SOS 198526 HAS SOPS 82075 HAS SOUS 53974 HAS SOUPS 46734 WITH SCORE 46932.526
AT ITER 7638 NEW BEST:: SOT 369018 SOS 197904 HAS SOPS 81475 HAS SOUS 53956 HAS SOUPS 46716 WITH SCORE 46913.904
AT ITER 7645 NEW BEST:: SOT 369018 SOS 197892 HAS SOPS 81467 HAS SOUS 53956 HAS SOUPS 46716 WITH SCORE 46913.892
AT ITER 7654 NEW BEST:: SOT 369016 SOS 197876 HAS SOPS 81451 HAS SOUS 53951 HAS SOUPS 46711 WITH SCORE 46908.876
AT ITER 7713 NEW BEST:: SOT 369005 SOS 197865 HAS SOPS 81422 HAS SOUS 53949 HAS SOUPS 46682 WITH SCORE 46879.865
AT ITER 7738 NEW BEST:: SOT 368996 SOS 197845 HAS SOPS 81402 HAS SOUS 53945 HAS SOUPS 46678 WITH SCORE 46875.845
AT ITER 7748 NEW BEST:: SOT 368993 SOS 197838 HAS SOPS 81404 HAS SOUS 53943 HAS SOUPS 46676 WITH SCORE 46873.838
AT ITER 7796 NEW BEST:: SOT 368987 SOS 197832 HAS SOPS 81395 HAS SOUS 53937 HAS SOUPS 46667 WITH SCORE 46864.832
AT ITER 7842 NEW BEST:: SOT 368987 SOS 197863 HAS SOPS 81426 HAS SOUS 53935 HAS SOUPS 46665 WITH SCORE 46862.863
AT ITER 7853 NEW BEST:: SOT 368932 SOS 197736 HAS SOPS 81351 HAS SOUS 53870 HAS SOUPS 46600 WITH SCORE 46797.736
AT ITER 7863 NEW BEST:: SOT 368932 SOS 197736 HAS SOPS 81351 HAS SOUS 53868 HAS SOUPS 46598 WITH SCORE 46795.736
AT ITER 7865 NEW BEST:: SOT 368931 SOS 197760 HAS SOPS 81367 HAS SOUS 53866 HAS SOUPS 46596 WITH SCORE 46793.76
AT ITER 7876 NEW BEST:: SOT 368907 SOS 197736 HAS SOPS 81321 HAS SOUS 53820 HAS SOUPS 46550 WITH SCORE 46747.736
AT ITER 7885 NEW BEST:: SOT 368867 SOS 197676 HAS SOPS 81261 HAS SOUS 53820 HAS SOUPS 46550 WITH SCORE 46747.676
AT ITER 7894 NEW BEST:: SOT 368864 SOS 197655 HAS SOPS 81222 HAS SOUS 53817 HAS SOUPS 46547 WITH SCORE 46744.655
AT ITER 7898 NEW BEST:: SOT 368832 SOS 197419 HAS SOPS 81072 HAS SOUS 53803 HAS SOUPS 46533 WITH SCORE 46730.419
AT ITER 7949 NEW BEST:: SOT 368822 SOS 197365 HAS SOPS 81008 HAS SOUS 53744 HAS SOUPS 46469 WITH SCORE 46666.365
AT ITER 7951 NEW BEST:: SOT 368820 SOS 197388 HAS SOPS 81031 HAS SOUS 53740 HAS SOUPS 46465 WITH SCORE 46662.388
AT ITER 7967 NEW BEST:: SOT 368808 SOS 197376 HAS SOPS 81019 HAS SOUS 53728 HAS SOUPS 46453 WITH SCORE 46650.376
AT ITER 8077 NEW BEST:: SOT 368811 SOS 197370 HAS SOPS 81013 HAS SOUS 53728 HAS SOUPS 46453 WITH SCORE 46650.37
AT ITER 8078 NEW BEST:: SOT 368808 SOS 197409 HAS SOPS 81064 HAS SOUS 53717 HAS SOUPS 46442 WITH SCORE 46639.409
AT ITER 8083 NEW BEST:: SOT 368808 SOS 197393 HAS SOPS 81048 HAS SOUS 53717 HAS SOUPS 46442 WITH SCORE 46639.393
AT ITER 8093 NEW BEST:: SOT 368801 SOS 197379 HAS SOPS 81034 HAS SOUS 53703 HAS SOUPS 46428 WITH SCORE 46625.379
AT ITER 8094 NEW BEST:: SOT 368785 SOS 197371 HAS SOPS 81024 HAS SOUS 53687 HAS SOUPS 46412 WITH SCORE 46609.371
AT ITER 8098 NEW BEST:: SOT 368785 SOS 197371 HAS SOPS 81024 HAS SOUS 53676 HAS SOUPS 46401 WITH SCORE 46598.371
AT ITER 8101 NEW BEST:: SOT 368743 SOS 197329 HAS SOPS 80940 HAS SOUS 53592 HAS SOUPS 46317 WITH SCORE 46514.329
AT ITER 8118 NEW BEST:: SOT 368743 SOS 197329 HAS SOPS 80936 HAS SOUS 53588 HAS SOUPS 46313 WITH SCORE 46510.329
AT ITER 8179 NEW BEST:: SOT 368743 SOS 197327 HAS SOPS 80934 HAS SOUS 53588 HAS SOUPS 46313 WITH SCORE 46510.327
AT ITER 8208 NEW BEST:: SOT 368811 SOS 197395 HAS SOPS 80992 HAS SOUS 53578 HAS SOUPS 46303 WITH SCORE 46500.395
AT ITER 8211 NEW BEST:: SOT 368807 SOS 197391 HAS SOPS 80984 HAS SOUS 53570 HAS SOUPS 46295 WITH SCORE 46492.391
AT ITER 8238 NEW BEST:: SOT 368772 SOS 197404 HAS SOPS 80949 HAS SOUS 53578 HAS SOUPS 46287 WITH SCORE 46484.404
AT ITER 8265 NEW BEST:: SOT 368740 SOS 197364 HAS SOPS 80909 HAS SOUS 53544 HAS SOUPS 46253 WITH SCORE 46450.364
AT ITER 8274 NEW BEST:: SOT 368731 SOS 197359 HAS SOPS 80901 HAS SOUS 53542 HAS SOUPS 46249 WITH SCORE 46446.359
AT ITER 8306 NEW BEST:: SOT 368656 SOS 197279 HAS SOPS 80901 HAS SOUS 53542 HAS SOUPS 46249 WITH SCORE 46446.279
AT ITER 8337 NEW BEST:: SOT 368866 SOS 197477 HAS SOPS 81111 HAS SOUS 53517 HAS SOUPS 46224 WITH SCORE 46421.477
AT ITER 8343 NEW BEST:: SOT 368861 SOS 197419 HAS SOPS 81053 HAS SOUS 53515 HAS SOUPS 46222 WITH SCORE 46419.419
AT ITER 8388 NEW BEST:: SOT 368849 SOS 197407 HAS SOPS 81041 HAS SOUS 53503 HAS SOUPS 46210 WITH SCORE 46407.407
AT ITER 8413 NEW BEST:: SOT 368849 SOS 197400 HAS SOPS 81034 HAS SOUS 53503 HAS SOUPS 46210 WITH SCORE 46407.4
AT ITER 8423 NEW BEST:: SOT 368849 SOS 197428 HAS SOPS 80958 HAS SOUS 53427 HAS SOUPS 46134 WITH SCORE 46331.428
AT ITER 8437 NEW BEST:: SOT 368829 SOS 197408 HAS SOPS 80890 HAS SOUS 53359 HAS SOUPS 46066 WITH SCORE 46263.408
AT ITER 8470 NEW BEST:: SOT 368828 SOS 197407 HAS SOPS 80889 HAS SOUS 53358 HAS SOUPS 46065 WITH SCORE 46262.407
AT ITER 8478 NEW BEST:: SOT 368740 SOS 197319 HAS SOPS 80809 HAS SOUS 53278 HAS SOUPS 45985 WITH SCORE 46182.319
AT ITER 8495 NEW BEST:: SOT 368732 SOS 197305 HAS SOPS 80799 HAS SOUS 53268 HAS SOUPS 45975 WITH SCORE 46172.305
AT ITER 8520 NEW BEST:: SOT 368732 SOS 197285 HAS SOPS 80779 HAS SOUS 53268 HAS SOUPS 45975 WITH SCORE 46172.285
AT ITER 8524 NEW BEST:: SOT 368582 SOS 197125 HAS SOPS 80619 HAS SOUS 53108 HAS SOUPS 45815 WITH SCORE 46012.125
AT ITER 8535 NEW BEST:: SOT 368578 SOS 197105 HAS SOPS 80599 HAS SOUS 53106 HAS SOUPS 45813 WITH SCORE 46010.105
AT ITER 8569 NEW BEST:: SOT 368583 SOS 197110 HAS SOPS 80564 HAS SOUS 53071 HAS SOUPS 45778 WITH SCORE 45975.11
AT ITER 8585 NEW BEST:: SOT 368609 SOS 196741 HAS SOPS 80560 HAS SOUS 53057 HAS SOUPS 45774 WITH SCORE 45970.741
AT ITER 8591 NEW BEST:: SOT 368347 SOS 197558 HAS SOPS 80331 HAS SOUS 53151 HAS SOUPS 45773 WITH SCORE 45970.558
AT ITER 8598 NEW BEST:: SOT 368347 SOS 197561 HAS SOPS 80334 HAS SOUS 53148 HAS SOUPS 45770 WITH SCORE 45967.561
AT ITER 8599 NEW BEST:: SOT 368361 SOS 197575 HAS SOPS 80338 HAS SOUS 53126 HAS SOUPS 45744 WITH SCORE 45941.575
AT ITER 8614 NEW BEST:: SOT 368361 SOS 197582 HAS SOPS 80345 HAS SOUS 53119 HAS SOUPS 45737 WITH SCORE 45934.582
AT ITER 8640 NEW BEST:: SOT 368361 SOS 197571 HAS SOPS 80334 HAS SOUS 53119 HAS SOUPS 45737 WITH SCORE 45934.571
AT ITER 8643 NEW BEST:: SOT 368296 SOS 197515 HAS SOPS 80251 HAS SOUS 53119 HAS SOUPS 45719 WITH SCORE 45916.515
AT ITER 8669 NEW BEST:: SOT 368247 SOS 197462 HAS SOPS 80198 HAS SOUS 53119 HAS SOUPS 45719 WITH SCORE 45916.462
AT ITER 8701 NEW BEST:: SOT 368229 SOS 197369 HAS SOPS 80118 HAS SOUS 53118 HAS SOUPS 45718 WITH SCORE 45915.369
AT ITER 8702 NEW BEST:: SOT 368206 SOS 197332 HAS SOPS 80081 HAS SOUS 53066 HAS SOUPS 45666 WITH SCORE 45863.332
AT ITER 8723 NEW BEST:: SOT 368201 SOS 197312 HAS SOPS 80061 HAS SOUS 53056 HAS SOUPS 45656 WITH SCORE 45853.312
AT ITER 8755 NEW BEST:: SOT 368061 SOS 197162 HAS SOPS 79911 HAS SOUS 53036 HAS SOUPS 45636 WITH SCORE 45833.162
AT ITER 8762 NEW BEST:: SOT 368081 SOS 197454 HAS SOPS 80203 HAS SOUS 53019 HAS SOUPS 45619 WITH SCORE 45816.454
AT ITER 8770 NEW BEST:: SOT 368077 SOS 197494 HAS SOPS 80243 HAS SOUS 53011 HAS SOUPS 45611 WITH SCORE 45808.494
AT ITER 8778 NEW BEST:: SOT 368077 SOS 197489 HAS SOPS 80238 HAS SOUS 53011 HAS SOUPS 45611 WITH SCORE 45808.489
AT ITER 8808 NEW BEST:: SOT 368076 SOS 197487 HAS SOPS 80236 HAS SOUS 53009 HAS SOUPS 45609 WITH SCORE 45806.487
AT ITER 8841 NEW BEST:: SOT 367986 SOS 197324 HAS SOPS 80202 HAS SOUS 52975 HAS SOUPS 45575 WITH SCORE 45772.324
AT ITER 8870 NEW BEST:: SOT 367966 SOS 197284 HAS SOPS 80202 HAS SOUS 52975 HAS SOUPS 45575 WITH SCORE 45772.284
AT ITER 8881 NEW BEST:: SOT 367954 SOS 197286 HAS SOPS 80204 HAS SOUS 52970 HAS SOUPS 45570 WITH SCORE 45767.286
AT ITER 9049 NEW BEST:: SOT 367940 SOS 197269 HAS SOPS 80198 HAS SOUS 52959 HAS SOUPS 45564 WITH SCORE 45761.269
AT ITER 9083 NEW BEST:: SOT 367924 SOS 197269 HAS SOPS 80198 HAS SOUS 52943 HAS SOUPS 45548 WITH SCORE 45745.269
AT ITER 9122 NEW BEST:: SOT 367912 SOS 197251 HAS SOPS 80174 HAS SOUS 52940 HAS SOUPS 45545 WITH SCORE 45742.251
AT ITER 9146 NEW BEST:: SOT 367900 SOS 197245 HAS SOPS 80158 HAS SOUS 52941 HAS SOUPS 45544 WITH SCORE 45741.245
AT ITER 9163 NEW BEST:: SOT 367940 SOS 194675 HAS SOPS 79891 HAS SOUS 52874 HAS SOUPS 45532 WITH SCORE 45726.675
AT ITER 9215 NEW BEST:: SOT 367928 SOS 194663 HAS SOPS 79879 HAS SOUS 52862 HAS SOUPS 45520 WITH SCORE 45714.663
AT ITER 9238 NEW BEST:: SOT 367791 SOS 194501 HAS SOPS 79717 HAS SOUS 52843 HAS SOUPS 45501 WITH SCORE 45695.501
AT ITER 9284 NEW BEST:: SOT 367779 SOS 194489 HAS SOPS 79652 HAS SOUS 52819 HAS SOUPS 45477 WITH SCORE 45671.489
AT ITER 9290 NEW BEST:: SOT 367779 SOS 194481 HAS SOPS 79644 HAS SOUS 52811 HAS SOUPS 45469 WITH SCORE 45663.481
AT ITER 9318 NEW BEST:: SOT 367789 SOS 194447 HAS SOPS 79622 HAS SOUS 52810 HAS SOUPS 45468 WITH SCORE 45662.447
AT ITER 9405 NEW BEST:: SOT 367849 SOS 194507 HAS SOPS 79602 HAS SOUS 52800 HAS SOUPS 45458 WITH SCORE 45652.507
AT ITER 9425 NEW BEST:: SOT 367885 SOS 194549 HAS SOPS 79590 HAS SOUS 52790 HAS SOUPS 45448 WITH SCORE 45642.549
AT ITER 9442 NEW BEST:: SOT 367880 SOS 194549 HAS SOPS 79580 HAS SOUS 52780 HAS SOUPS 45438 WITH SCORE 45632.549
AT ITER 9466 NEW BEST:: SOT 368000 SOS 194669 HAS SOPS 79700 HAS SOUS 52760 HAS SOUPS 45418 WITH SCORE 45612.669
AT ITER 9538 NEW BEST:: SOT 367992 SOS 194661 HAS SOPS 79692 HAS SOUS 52758 HAS SOUPS 45416 WITH SCORE 45610.661
AT ITER 9603 NEW BEST:: SOT 367994 SOS 194739 HAS SOPS 79770 HAS SOUS 52721 HAS SOUPS 45379 WITH SCORE 45573.739
AT ITER 9611 NEW BEST:: SOT 367983 SOS 194717 HAS SOPS 79748 HAS SOUS 52699 HAS SOUPS 45357 WITH SCORE 45551.717
AT ITER 9614 NEW BEST:: SOT 367965 SOS 194699 HAS SOPS 79730 HAS SOUS 52697 HAS SOUPS 45355 WITH SCORE 45549.699
AT ITER 9616 NEW BEST:: SOT 367965 SOS 194699 HAS SOPS 79730 HAS SOUS 52682 HAS SOUPS 45340 WITH SCORE 45534.699
AT ITER 9632 NEW BEST:: SOT 367954 SOS 194666 HAS SOPS 79697 HAS SOUS 52671 HAS SOUPS 45329 WITH SCORE 45523.666
AT ITER 9661 NEW BEST:: SOT 367943 SOS 194655 HAS SOPS 79607 HAS SOUS 52660 HAS SOUPS 45318 WITH SCORE 45512.655
AT ITER 9746 NEW BEST:: SOT 367943 SOS 194659 HAS SOPS 79584 HAS SOUS 52637 HAS SOUPS 45295 WITH SCORE 45489.659
AT ITER 9831 NEW BEST:: SOT 367943 SOS 194620 HAS SOPS 79545 HAS SOUS 52598 HAS SOUPS 45256 WITH SCORE 45450.62
AT ITER 9852 NEW BEST:: SOT 367866 SOS 194543 HAS SOPS 79468 HAS SOUS 52581 HAS SOUPS 45239 WITH SCORE 45433.543
AT ITER 9858 NEW BEST:: SOT 367847 SOS 194524 HAS SOPS 79448 HAS SOUS 52556 HAS SOUPS 45218 WITH SCORE 45412.524
AT ITER 9860 NEW BEST:: SOT 367827 SOS 194722 HAS SOPS 79612 HAS SOUS 52516 HAS SOUPS 45178 WITH SCORE 45372.722
AT ITER 9906 NEW BEST:: SOT 367697 SOS 194592 HAS SOPS 79508 HAS SOUS 52516 HAS SOUPS 45178 WITH SCORE 45372.592
AT ITER 9909 NEW BEST:: SOT 367685 SOS 194568 HAS SOPS 79496 HAS SOUS 52516 HAS SOUPS 45178 WITH SCORE 45372.568
AT ITER 9918 NEW BEST:: SOT 367827 SOS 194735 HAS SOPS 79413 HAS SOUS 52433 HAS SOUPS 45095 WITH SCORE 45289.735
AT ITER 9928 NEW BEST:: SOT 367824 SOS 194735 HAS SOPS 79419 HAS SOUS 52430 HAS SOUPS 45092 WITH SCORE 45286.735
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 513636 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125176 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="EisenbergMcGuire-PT-06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is EisenbergMcGuire-PT-06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r523-tall-167987247800248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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