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.r107-tall-167814484600768.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 DLCround-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484600768
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 6.9K Feb 25 19:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 19:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 19:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 19:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 20:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 20:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 20:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 25 20:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 871K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678425094950

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=DLCround-PT-12a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 05:11:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 05:11:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 05:11:36] [INFO ] Load time of PNML (sax parser for PT used): 135 ms
[2023-03-10 05:11:36] [INFO ] Transformed 419 places.
[2023-03-10 05:11:36] [INFO ] Transformed 3407 transitions.
[2023-03-10 05:11:36] [INFO ] Found NUPN structural information;
[2023-03-10 05:11:36] [INFO ] Parsed PT model containing 419 places and 3407 transitions and 13330 arcs in 211 ms.
[2023-03-10 05:11:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 419 places, 3407 transitions and 13330 arcs took 31 ms.
Total runtime 268 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 12a
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: 419 places, 3407 transitions, 13330 arcs.
AT ITER 0 NEW BEST:: SOT 885325 SOS 761883 HAS SOPS 463178 HAS SOUS 84380 HAS SOUPS 60636 WITH SCORE 61397.883
AT ITER 22 NEW BEST:: SOT 885164 SOS 763641 HAS SOPS 463922 HAS SOUS 84270 HAS SOUPS 60526 WITH SCORE 61289.641
AT ITER 33 NEW BEST:: SOT 884830 SOS 763356 HAS SOPS 463392 HAS SOUS 83789 HAS SOUPS 59849 WITH SCORE 60612.356
AT ITER 35 NEW BEST:: SOT 885157 SOS 763683 HAS SOPS 463719 HAS SOUS 83813 HAS SOUPS 59842 WITH SCORE 60605.683
AT ITER 37 NEW BEST:: SOT 885289 SOS 762417 HAS SOPS 463813 HAS SOUS 83665 HAS SOUPS 59779 WITH SCORE 60541.417
AT ITER 52 NEW BEST:: SOT 886150 SOS 759650 HAS SOPS 463313 HAS SOUS 85784 HAS SOUPS 59769 WITH SCORE 60528.65
AT ITER 54 NEW BEST:: SOT 886080 SOS 761181 HAS SOPS 463791 HAS SOUS 85739 HAS SOUPS 59697 WITH SCORE 60458.181
AT ITER 60 NEW BEST:: SOT 887287 SOS 759472 HAS SOPS 463282 HAS SOUS 88114 HAS SOUPS 59631 WITH SCORE 60390.472
AT ITER 61 NEW BEST:: SOT 886677 SOS 759052 HAS SOPS 461722 HAS SOUS 86095 HAS SOUPS 57288 WITH SCORE 58047.052
AT ITER 63 NEW BEST:: SOT 886670 SOS 759040 HAS SOPS 461720 HAS SOUS 86097 HAS SOUPS 57287 WITH SCORE 58046.04
AT ITER 77 NEW BEST:: SOT 886828 SOS 757608 HAS SOPS 461856 HAS SOUS 85938 HAS SOUPS 57226 WITH SCORE 57983.608
AT ITER 89 NEW BEST:: SOT 886878 SOS 757624 HAS SOPS 461872 HAS SOUS 85831 HAS SOUPS 57119 WITH SCORE 57876.624
AT ITER 97 NEW BEST:: SOT 887094 SOS 757966 HAS SOPS 461584 HAS SOUS 85660 HAS SOUPS 56448 WITH SCORE 57205.966
AT ITER 101 NEW BEST:: SOT 887094 SOS 757966 HAS SOPS 461584 HAS SOUS 85651 HAS SOUPS 56443 WITH SCORE 57200.966
AT ITER 111 NEW BEST:: SOT 886976 SOS 757865 HAS SOPS 461398 HAS SOUS 85410 HAS SOUPS 56166 WITH SCORE 56923.865
AT ITER 131 NEW BEST:: SOT 887143 SOS 753830 HAS SOPS 460850 HAS SOUS 86624 HAS SOUPS 56004 WITH SCORE 56757.83
AT ITER 145 NEW BEST:: SOT 887192 SOS 747140 HAS SOPS 454736 HAS SOUS 86589 HAS SOUPS 55969 WITH SCORE 56716.14
AT ITER 154 NEW BEST:: SOT 887325 SOS 747335 HAS SOPS 454621 HAS SOUS 86473 HAS SOUPS 55633 WITH SCORE 56380.335
AT ITER 166 NEW BEST:: SOT 887283 SOS 746600 HAS SOPS 454222 HAS SOUS 86410 HAS SOUPS 55591 WITH SCORE 56337.6
AT ITER 194 NEW BEST:: SOT 887280 SOS 746546 HAS SOPS 454216 HAS SOUS 86404 HAS SOUPS 55588 WITH SCORE 56334.546
AT ITER 199 NEW BEST:: SOT 885864 SOS 741171 HAS SOPS 452323 HAS SOUS 86477 HAS SOUPS 55090 WITH SCORE 55831.171
AT ITER 215 NEW BEST:: SOT 886183 SOS 732037 HAS SOPS 444809 HAS SOUS 86397 HAS SOUPS 55073 WITH SCORE 55805.037
AT ITER 232 NEW BEST:: SOT 886183 SOS 731887 HAS SOPS 444659 HAS SOUS 86397 HAS SOUPS 55073 WITH SCORE 55804.887
AT ITER 247 NEW BEST:: SOT 886195 SOS 731906 HAS SOPS 444664 HAS SOUS 86341 HAS SOUPS 55038 WITH SCORE 55769.906
AT ITER 254 NEW BEST:: SOT 885978 SOS 731720 HAS SOPS 444323 HAS SOUS 85752 HAS SOUPS 54449 WITH SCORE 55180.72
AT ITER 255 NEW BEST:: SOT 887299 SOS 730630 HAS SOPS 444721 HAS SOUS 85255 HAS SOUPS 54159 WITH SCORE 54889.63
AT ITER 258 NEW BEST:: SOT 886784 SOS 729762 HAS SOPS 444559 HAS SOUS 84841 HAS SOUPS 54014 WITH SCORE 54743.762
AT ITER 270 NEW BEST:: SOT 886727 SOS 729667 HAS SOPS 444540 HAS SOUS 84803 HAS SOUPS 53995 WITH SCORE 54724.667
AT ITER 274 NEW BEST:: SOT 886723 SOS 729595 HAS SOPS 444468 HAS SOUS 84799 HAS SOUPS 53991 WITH SCORE 54720.595
AT ITER 289 NEW BEST:: SOT 886885 SOS 729964 HAS SOPS 444549 HAS SOUS 85133 HAS SOUPS 53985 WITH SCORE 54714.964
AT ITER 296 NEW BEST:: SOT 886870 SOS 729949 HAS SOPS 444534 HAS SOUS 85118 HAS SOUPS 53970 WITH SCORE 54699.949
AT ITER 303 NEW BEST:: SOT 888053 SOS 728178 HAS SOPS 443985 HAS SOUS 87272 HAS SOUPS 53766 WITH SCORE 54494.178
AT ITER 304 NEW BEST:: SOT 888140 SOS 726502 HAS SOPS 443541 HAS SOUS 87138 HAS SOUPS 53709 WITH SCORE 54435.502
AT ITER 305 NEW BEST:: SOT 888083 SOS 725476 HAS SOPS 443251 HAS SOUS 87070 HAS SOUPS 53687 WITH SCORE 54412.476
AT ITER 310 NEW BEST:: SOT 889109 SOS 726738 HAS SOPS 444513 HAS SOUS 86650 HAS SOUPS 53267 WITH SCORE 53993.738
AT ITER 313 NEW BEST:: SOT 889076 SOS 726658 HAS SOPS 444449 HAS SOUS 86611 HAS SOUPS 53264 WITH SCORE 53990.658
AT ITER 315 NEW BEST:: SOT 889065 SOS 726460 HAS SOPS 444251 HAS SOUS 86600 HAS SOUPS 53253 WITH SCORE 53979.46
AT ITER 318 NEW BEST:: SOT 889041 SOS 726268 HAS SOPS 444191 HAS SOUS 86552 HAS SOUPS 53217 WITH SCORE 53943.268
AT ITER 327 NEW BEST:: SOT 888858 SOS 726116 HAS SOPS 443946 HAS SOUS 86223 HAS SOUPS 52850 WITH SCORE 53576.116
AT ITER 328 NEW BEST:: SOT 888818 SOS 726036 HAS SOPS 443946 HAS SOUS 86183 HAS SOUPS 52850 WITH SCORE 53576.036
AT ITER 336 NEW BEST:: SOT 888730 SOS 725904 HAS SOPS 443902 HAS SOUS 86180 HAS SOUPS 52849 WITH SCORE 53574.904
AT ITER 341 NEW BEST:: SOT 889240 SOS 726780 HAS SOPS 443680 HAS SOUS 85963 HAS SOUPS 52184 WITH SCORE 52910.78
AT ITER 355 NEW BEST:: SOT 889208 SOS 726223 HAS SOPS 443683 HAS SOUS 85898 HAS SOUPS 52154 WITH SCORE 52880.223
AT ITER 361 NEW BEST:: SOT 889453 SOS 726396 HAS SOPS 443705 HAS SOUS 85767 HAS SOUPS 52043 WITH SCORE 52769.396
AT ITER 369 NEW BEST:: SOT 889409 SOS 725626 HAS SOPS 443287 HAS SOUS 85701 HAS SOUPS 51999 WITH SCORE 52724.626
AT ITER 381 NEW BEST:: SOT 889259 SOS 718870 HAS SOPS 437427 HAS SOUS 85595 HAS SOUPS 51949 WITH SCORE 52667.87
AT ITER 393 NEW BEST:: SOT 889681 SOS 716408 HAS SOPS 436509 HAS SOUS 84175 HAS SOUPS 50796 WITH SCORE 51512.408
AT ITER 394 NEW BEST:: SOT 889557 SOS 716160 HAS SOPS 436447 HAS SOUS 84051 HAS SOUPS 50734 WITH SCORE 51450.16
AT ITER 398 NEW BEST:: SOT 889551 SOS 716176 HAS SOPS 436463 HAS SOUS 83974 HAS SOUPS 50657 WITH SCORE 51373.176
AT ITER 415 NEW BEST:: SOT 889274 SOS 715694 HAS SOPS 436391 HAS SOUS 83793 HAS SOUPS 50605 WITH SCORE 51320.694
AT ITER 422 NEW BEST:: SOT 889208 SOS 715639 HAS SOPS 436281 HAS SOUS 83595 HAS SOUPS 50407 WITH SCORE 51122.639
AT ITER 424 NEW BEST:: SOT 889179 SOS 714595 HAS SOPS 435237 HAS SOUS 83508 HAS SOUPS 50320 WITH SCORE 51034.595
AT ITER 426 NEW BEST:: SOT 889142 SOS 713969 HAS SOPS 434611 HAS SOUS 83474 HAS SOUPS 50286 WITH SCORE 50999.969
AT ITER 430 NEW BEST:: SOT 888935 SOS 717510 HAS SOPS 436122 HAS SOUS 83395 HAS SOUPS 50235 WITH SCORE 50952.51
AT ITER 431 NEW BEST:: SOT 888935 SOS 717493 HAS SOPS 436139 HAS SOUS 83378 HAS SOUPS 50235 WITH SCORE 50952.493
AT ITER 434 NEW BEST:: SOT 889443 SOS 718369 HAS SOPS 435911 HAS SOUS 82704 HAS SOUPS 49265 WITH SCORE 49983.369
AT ITER 440 NEW BEST:: SOT 889407 SOS 718153 HAS SOPS 435851 HAS SOUS 82680 HAS SOUPS 49253 WITH SCORE 49971.153
AT ITER 456 NEW BEST:: SOT 889382 SOS 715978 HAS SOPS 433676 HAS SOUS 82680 HAS SOUPS 49253 WITH SCORE 49968.978
AT ITER 461 NEW BEST:: SOT 889321 SOS 714819 HAS SOPS 433077 HAS SOUS 82593 HAS SOUPS 49201 WITH SCORE 49915.819
AT ITER 469 NEW BEST:: SOT 889359 SOS 714857 HAS SOPS 433115 HAS SOUS 82555 HAS SOUPS 49163 WITH SCORE 49877.857
AT ITER 474 NEW BEST:: SOT 889315 SOS 714649 HAS SOPS 433071 HAS SOUS 82365 HAS SOUPS 49137 WITH SCORE 49851.649
AT ITER 481 NEW BEST:: SOT 889306 SOS 714640 HAS SOPS 433062 HAS SOUS 82356 HAS SOUPS 49128 WITH SCORE 49842.64
AT ITER 488 NEW BEST:: SOT 889306 SOS 714599 HAS SOPS 433062 HAS SOUS 82315 HAS SOUPS 49128 WITH SCORE 49842.599
AT ITER 491 NEW BEST:: SOT 889238 SOS 714531 HAS SOPS 432994 HAS SOUS 82229 HAS SOUPS 49050 WITH SCORE 49764.531
AT ITER 501 NEW BEST:: SOT 889232 SOS 714519 HAS SOPS 432982 HAS SOUS 82221 HAS SOUPS 49042 WITH SCORE 49756.519
AT ITER 509 NEW BEST:: SOT 889227 SOS 714514 HAS SOPS 432973 HAS SOUS 82205 HAS SOUPS 49027 WITH SCORE 49741.514
AT ITER 510 NEW BEST:: SOT 889243 SOS 714802 HAS SOPS 433005 HAS SOUS 82205 HAS SOUPS 49011 WITH SCORE 49725.802
AT ITER 522 NEW BEST:: SOT 889331 SOS 714406 HAS SOPS 433005 HAS SOUS 82230 HAS SOUPS 49010 WITH SCORE 49724.406
AT ITER 535 NEW BEST:: SOT 889866 SOS 714736 HAS SOPS 433745 HAS SOUS 82054 HAS SOUPS 48958 WITH SCORE 49672.736
AT ITER 550 NEW BEST:: SOT 889608 SOS 714478 HAS SOPS 433358 HAS SOUS 81280 HAS SOUPS 48227 WITH SCORE 48941.478
AT ITER 569 NEW BEST:: SOT 888409 SOS 713450 HAS SOPS 432859 HAS SOUS 80576 HAS SOUPS 47435 WITH SCORE 48148.45
AT ITER 573 NEW BEST:: SOT 888370 SOS 713378 HAS SOPS 432853 HAS SOUS 80543 HAS SOUPS 47429 WITH SCORE 48142.378
AT ITER 582 NEW BEST:: SOT 888334 SOS 710246 HAS SOPS 429721 HAS SOUS 80543 HAS SOUPS 47429 WITH SCORE 48139.246
AT ITER 597 NEW BEST:: SOT 888287 SOS 710161 HAS SOPS 429636 HAS SOUS 80458 HAS SOUPS 47344 WITH SCORE 48054.161
AT ITER 600 NEW BEST:: SOT 888296 SOS 709423 HAS SOPS 428898 HAS SOUS 80458 HAS SOUPS 47344 WITH SCORE 48053.423
AT ITER 612 NEW BEST:: SOT 887586 SOS 708757 HAS SOPS 429444 HAS SOUS 78994 HAS SOUPS 47340 WITH SCORE 48048.757
AT ITER 614 NEW BEST:: SOT 887455 SOS 708503 HAS SOPS 429436 HAS SOUS 78790 HAS SOUPS 47287 WITH SCORE 47995.503
AT ITER 632 NEW BEST:: SOT 887600 SOS 705006 HAS SOPS 428673 HAS SOUS 78765 HAS SOUPS 46585 WITH SCORE 47290.006
AT ITER 636 NEW BEST:: SOT 887372 SOS 704661 HAS SOPS 428445 HAS SOUS 78707 HAS SOUPS 46527 WITH SCORE 47231.661
AT ITER 647 NEW BEST:: SOT 887910 SOS 705199 HAS SOPS 428983 HAS SOUS 78690 HAS SOUPS 46506 WITH SCORE 47211.199
AT ITER 651 NEW BEST:: SOT 887949 SOS 705300 HAS SOPS 428960 HAS SOUS 78729 HAS SOUPS 46483 WITH SCORE 47188.3
AT ITER 653 NEW BEST:: SOT 887949 SOS 705260 HAS SOPS 429080 HAS SOUS 78699 HAS SOUPS 46463 WITH SCORE 47168.26
AT ITER 657 NEW BEST:: SOT 887949 SOS 705269 HAS SOPS 429071 HAS SOUS 78699 HAS SOUPS 46454 WITH SCORE 47159.269
AT ITER 665 NEW BEST:: SOT 887889 SOS 705209 HAS SOPS 428981 HAS SOUS 78669 HAS SOUPS 46424 WITH SCORE 47129.209
AT ITER 666 NEW BEST:: SOT 887886 SOS 705155 HAS SOPS 428975 HAS SOUS 78666 HAS SOUPS 46424 WITH SCORE 47129.155
AT ITER 669 NEW BEST:: SOT 887878 SOS 704388 HAS SOPS 428676 HAS SOUS 78652 HAS SOUPS 46410 WITH SCORE 47114.388
AT ITER 675 NEW BEST:: SOT 886910 SOS 703250 HAS SOPS 427353 HAS SOUS 77631 HAS SOUPS 45367 WITH SCORE 46070.25
AT ITER 700 NEW BEST:: SOT 886826 SOS 695761 HAS SOPS 420696 HAS SOUS 77568 HAS SOUPS 45304 WITH SCORE 45999.761
AT ITER 707 NEW BEST:: SOT 886826 SOS 694641 HAS SOPS 419666 HAS SOUS 77558 HAS SOUPS 45294 WITH SCORE 45988.641
AT ITER 713 NEW BEST:: SOT 886826 SOS 694765 HAS SOPS 419726 HAS SOUS 77558 HAS SOUPS 45290 WITH SCORE 45984.765
AT ITER 714 NEW BEST:: SOT 886730 SOS 694621 HAS SOPS 419678 HAS SOUS 77510 HAS SOUPS 45242 WITH SCORE 45936.621
AT ITER 715 NEW BEST:: SOT 886861 SOS 694905 HAS SOPS 419503 HAS SOUS 77697 HAS SOUPS 45232 WITH SCORE 45926.905
AT ITER 717 NEW BEST:: SOT 886867 SOS 694931 HAS SOPS 419489 HAS SOUS 77671 HAS SOUPS 45198 WITH SCORE 45892.931
AT ITER 719 NEW BEST:: SOT 888328 SOS 693820 HAS SOPS 418822 HAS SOUS 80302 HAS SOUPS 45036 WITH SCORE 45729.82
AT ITER 725 NEW BEST:: SOT 888202 SOS 693652 HAS SOPS 418738 HAS SOUS 80218 HAS SOUPS 44952 WITH SCORE 45645.652
AT ITER 729 NEW BEST:: SOT 887415 SOS 693150 HAS SOPS 418433 HAS SOUS 80000 HAS SOUPS 44479 WITH SCORE 45172.15
AT ITER 732 NEW BEST:: SOT 887471 SOS 693125 HAS SOPS 418255 HAS SOUS 80036 HAS SOUPS 44464 WITH SCORE 45157.125
AT ITER 734 NEW BEST:: SOT 887471 SOS 693098 HAS SOPS 418309 HAS SOUS 80009 HAS SOUPS 44464 WITH SCORE 45157.098
AT ITER 740 NEW BEST:: SOT 887523 SOS 693521 HAS SOPS 418380 HAS SOUS 80045 HAS SOUPS 44425 WITH SCORE 45118.521
AT ITER 743 NEW BEST:: SOT 887507 SOS 693538 HAS SOPS 418298 HAS SOUS 80045 HAS SOUPS 44392 WITH SCORE 45085.538
AT ITER 749 NEW BEST:: SOT 887507 SOS 693546 HAS SOPS 418290 HAS SOUS 80045 HAS SOUPS 44384 WITH SCORE 45077.546
AT ITER 754 NEW BEST:: SOT 887425 SOS 693382 HAS SOPS 418208 HAS SOUS 79881 HAS SOUPS 44302 WITH SCORE 44995.382
AT ITER 755 NEW BEST:: SOT 887304 SOS 693019 HAS SOPS 418164 HAS SOUS 79768 HAS SOUPS 44292 WITH SCORE 44985.019
AT ITER 761 NEW BEST:: SOT 887282 SOS 692975 HAS SOPS 418164 HAS SOUS 79737 HAS SOUPS 44287 WITH SCORE 44979.975
AT ITER 766 NEW BEST:: SOT 887282 SOS 692979 HAS SOPS 418160 HAS SOUS 79737 HAS SOUPS 44283 WITH SCORE 44975.979
AT ITER 780 NEW BEST:: SOT 887274 SOS 692963 HAS SOPS 418152 HAS SOUS 79721 HAS SOUPS 44275 WITH SCORE 44967.963
AT ITER 785 NEW BEST:: SOT 885887 SOS 692606 HAS SOPS 417795 HAS SOUS 79024 HAS SOUPS 43578 WITH SCORE 44270.606
AT ITER 786 NEW BEST:: SOT 886385 SOS 693104 HAS SOPS 418293 HAS SOUS 78991 HAS SOUPS 43509 WITH SCORE 44202.104
AT ITER 787 NEW BEST:: SOT 886613 SOS 693505 HAS SOPS 418230 HAS SOUS 79064 HAS SOUPS 43464 WITH SCORE 44157.505
AT ITER 789 NEW BEST:: SOT 886613 SOS 693505 HAS SOPS 418173 HAS SOUS 78999 HAS SOUPS 43402 WITH SCORE 44095.505
AT ITER 792 NEW BEST:: SOT 886576 SOS 693431 HAS SOPS 418136 HAS SOUS 78925 HAS SOUPS 43365 WITH SCORE 44058.431
AT ITER 793 NEW BEST:: SOT 886546 SOS 693371 HAS SOPS 418151 HAS SOUS 78895 HAS SOUPS 43350 WITH SCORE 44043.371
AT ITER 797 NEW BEST:: SOT 886353 SOS 691335 HAS SOPS 416995 HAS SOUS 78716 HAS SOUPS 43226 WITH SCORE 43917.335
AT ITER 798 NEW BEST:: SOT 886207 SOS 691115 HAS SOPS 416923 HAS SOUS 78569 HAS SOUPS 43153 WITH SCORE 43844.115
AT ITER 808 NEW BEST:: SOT 886177 SOS 691070 HAS SOPS 416908 HAS SOUS 78539 HAS SOUPS 43138 WITH SCORE 43829.07
AT ITER 811 NEW BEST:: SOT 886348 SOS 691240 HAS SOPS 416918 HAS SOUS 78063 HAS SOUPS 42716 WITH SCORE 43407.24
AT ITER 857 NEW BEST:: SOT 886272 SOS 691598 HAS SOPS 417364 HAS SOUS 77407 HAS SOUPS 42712 WITH SCORE 43403.598
AT ITER 858 NEW BEST:: SOT 886388 SOS 690728 HAS SOPS 417422 HAS SOUS 77349 HAS SOUPS 42712 WITH SCORE 43402.728
AT ITER 859 NEW BEST:: SOT 886387 SOS 690726 HAS SOPS 417422 HAS SOUS 77348 HAS SOUPS 42712 WITH SCORE 43402.726
AT ITER 863 NEW BEST:: SOT 886494 SOS 690810 HAS SOPS 417437 HAS SOUS 77238 HAS SOUPS 42625 WITH SCORE 43315.81
AT ITER 878 NEW BEST:: SOT 884047 SOS 687346 HAS SOPS 417375 HAS SOUS 74887 HAS SOUPS 42561 WITH SCORE 43248.346
AT ITER 882 NEW BEST:: SOT 883994 SOS 687293 HAS SOPS 417269 HAS SOUS 74781 HAS SOUPS 42455 WITH SCORE 43142.293
AT ITER 891 NEW BEST:: SOT 883935 SOS 685303 HAS SOPS 416447 HAS SOUS 74642 HAS SOUPS 42389 WITH SCORE 43074.303
AT ITER 893 NEW BEST:: SOT 883958 SOS 685326 HAS SOPS 416190 HAS SOUS 74108 HAS SOUPS 41779 WITH SCORE 42464.326
AT ITER 899 NEW BEST:: SOT 883962 SOS 685514 HAS SOPS 416213 HAS SOUS 74082 HAS SOUPS 41753 WITH SCORE 42438.514
AT ITER 906 NEW BEST:: SOT 884085 SOS 684594 HAS SOPS 416429 HAS SOUS 73980 HAS SOUPS 41722 WITH SCORE 42406.594
AT ITER 917 NEW BEST:: SOT 884099 SOS 685811 HAS SOPS 417328 HAS SOUS 72313 HAS SOUPS 41536 WITH SCORE 42221.811
AT ITER 919 NEW BEST:: SOT 884721 SOS 686747 HAS SOPS 417290 HAS SOUS 71379 HAS SOUPS 40630 WITH SCORE 41316.747
AT ITER 924 NEW BEST:: SOT 884308 SOS 686632 HAS SOPS 417788 HAS SOUS 69979 HAS SOUPS 40408 WITH SCORE 41094.632
AT ITER 942 NEW BEST:: SOT 884272 SOS 686596 HAS SOPS 417752 HAS SOUS 69943 HAS SOUPS 40372 WITH SCORE 41058.596
AT ITER 960 NEW BEST:: SOT 884255 SOS 686579 HAS SOPS 417752 HAS SOUS 69943 HAS SOUPS 40372 WITH SCORE 41058.579
AT ITER 966 NEW BEST:: SOT 884921 SOS 687204 HAS SOPS 418459 HAS SOUS 69799 HAS SOUPS 40269 WITH SCORE 40956.204
AT ITER 992 NEW BEST:: SOT 885009 SOS 687292 HAS SOPS 418402 HAS SOUS 69510 HAS SOUPS 39980 WITH SCORE 40667.292
AT ITER 1000 NEW BEST:: SOT 885009 SOS 687297 HAS SOPS 418397 HAS SOUS 69510 HAS SOUPS 39975 WITH SCORE 40662.297
AT ITER 1001 NEW BEST:: SOT 885009 SOS 687297 HAS SOPS 418397 HAS SOUS 69501 HAS SOUPS 39970 WITH SCORE 40657.297
AT ITER 1008 NEW BEST:: SOT 885008 SOS 687300 HAS SOPS 418395 HAS SOUS 69500 HAS SOUPS 39969 WITH SCORE 40656.3
AT ITER 1009 NEW BEST:: SOT 884994 SOS 684588 HAS SOPS 416243 HAS SOUS 69432 HAS SOUPS 39936 WITH SCORE 40620.588
AT ITER 1027 NEW BEST:: SOT 884236 SOS 684099 HAS SOPS 416243 HAS SOUS 68315 HAS SOUPS 39814 WITH SCORE 40498.099
AT ITER 1035 NEW BEST:: SOT 884238 SOS 680288 HAS SOPS 415560 HAS SOUS 68049 HAS SOUPS 39686 WITH SCORE 40366.288
AT ITER 1053 NEW BEST:: SOT 884241 SOS 680201 HAS SOPS 415473 HAS SOUS 68046 HAS SOUPS 39683 WITH SCORE 40363.201
AT ITER 1059 NEW BEST:: SOT 884240 SOS 679130 HAS SOPS 414298 HAS SOUS 67809 HAS SOUPS 39446 WITH SCORE 40125.13
AT ITER 1065 NEW BEST:: SOT 884276 SOS 679202 HAS SOPS 414298 HAS SOUS 67818 HAS SOUPS 39431 WITH SCORE 40110.202
AT ITER 1073 NEW BEST:: SOT 884260 SOS 679215 HAS SOPS 414262 HAS SOUS 67782 HAS SOUPS 39395 WITH SCORE 40074.215
AT ITER 1079 NEW BEST:: SOT 884339 SOS 679295 HAS SOPS 414342 HAS SOUS 67745 HAS SOUPS 39358 WITH SCORE 40037.295
AT ITER 1084 NEW BEST:: SOT 884287 SOS 676634 HAS SOPS 412081 HAS SOUS 67718 HAS SOUPS 39356 WITH SCORE 40032.634
AT ITER 1085 NEW BEST:: SOT 884282 SOS 676629 HAS SOPS 412076 HAS SOUS 67713 HAS SOUPS 39351 WITH SCORE 40027.629
AT ITER 1086 NEW BEST:: SOT 884282 SOS 675969 HAS SOPS 411702 HAS SOUS 67691 HAS SOUPS 39329 WITH SCORE 40004.969
AT ITER 1087 NEW BEST:: SOT 884271 SOS 675947 HAS SOPS 411702 HAS SOUS 67680 HAS SOUPS 39329 WITH SCORE 40004.947
AT ITER 1089 NEW BEST:: SOT 884271 SOS 675947 HAS SOPS 411702 HAS SOUS 67248 HAS SOUPS 39089 WITH SCORE 39764.947
AT ITER 1091 NEW BEST:: SOT 883396 SOS 673425 HAS SOPS 411004 HAS SOUS 67231 HAS SOUPS 39053 WITH SCORE 39726.425
AT ITER 1102 NEW BEST:: SOT 883195 SOS 673178 HAS SOPS 410849 HAS SOUS 67076 HAS SOUPS 38898 WITH SCORE 39571.178
AT ITER 1107 NEW BEST:: SOT 883135 SOS 673088 HAS SOPS 410819 HAS SOUS 67046 HAS SOUPS 38868 WITH SCORE 39541.088
AT ITER 1117 NEW BEST:: SOT 883042 SOS 672908 HAS SOPS 410813 HAS SOUS 66953 HAS SOUPS 38862 WITH SCORE 39534.908
AT ITER 1120 NEW BEST:: SOT 882663 SOS 672882 HAS SOPS 410667 HAS SOUS 66651 HAS SOUPS 38716 WITH SCORE 39388.882
AT ITER 1124 NEW BEST:: SOT 882621 SOS 672798 HAS SOPS 410667 HAS SOUS 66609 HAS SOUPS 38716 WITH SCORE 39388.798
AT ITER 1134 NEW BEST:: SOT 882665 SOS 672864 HAS SOPS 410618 HAS SOUS 66560 HAS SOUPS 38667 WITH SCORE 39339.864
AT ITER 1139 NEW BEST:: SOT 882655 SOS 672339 HAS SOPS 410173 HAS SOUS 66535 HAS SOUPS 38647 WITH SCORE 39319.339
AT ITER 1140 NEW BEST:: SOT 883676 SOS 673360 HAS SOPS 410636 HAS SOUS 66254 HAS SOUPS 38366 WITH SCORE 39039.36
AT ITER 1143 NEW BEST:: SOT 883761 SOS 673456 HAS SOPS 410699 HAS SOUS 66227 HAS SOUPS 38350 WITH SCORE 39023.456
AT ITER 1151 NEW BEST:: SOT 883726 SOS 672906 HAS SOPS 410149 HAS SOUS 66207 HAS SOUPS 38330 WITH SCORE 39002.906
AT ITER 1160 NEW BEST:: SOT 883640 SOS 672734 HAS SOPS 410106 HAS SOUS 66121 HAS SOUPS 38287 WITH SCORE 38959.734
AT ITER 1166 NEW BEST:: SOT 884461 SOS 673629 HAS SOPS 410651 HAS SOUS 65899 HAS SOUPS 38166 WITH SCORE 38839.629
AT ITER 1170 NEW BEST:: SOT 884347 SOS 672831 HAS SOPS 410461 HAS SOUS 65861 HAS SOUPS 38166 WITH SCORE 38838.831
AT ITER 1177 NEW BEST:: SOT 884316 SOS 672773 HAS SOPS 410457 HAS SOUS 65834 HAS SOUPS 38162 WITH SCORE 38834.773
AT ITER 1196 NEW BEST:: SOT 884166 SOS 672627 HAS SOPS 410311 HAS SOUS 65771 HAS SOUPS 38099 WITH SCORE 38771.627
AT ITER 1203 NEW BEST:: SOT 884150 SOS 672611 HAS SOPS 410295 HAS SOUS 65755 HAS SOUPS 38083 WITH SCORE 38755.611
AT ITER 1207 NEW BEST:: SOT 884150 SOS 672611 HAS SOPS 410295 HAS SOUS 65656 HAS SOUPS 38028 WITH SCORE 38700.611
AT ITER 1221 NEW BEST:: SOT 884134 SOS 672579 HAS SOPS 410295 HAS SOUS 65640 HAS SOUPS 38028 WITH SCORE 38700.579
AT ITER 1227 NEW BEST:: SOT 883918 SOS 672197 HAS SOPS 410245 HAS SOUS 65474 HAS SOUPS 37978 WITH SCORE 38650.197
AT ITER 1228 NEW BEST:: SOT 883882 SOS 672125 HAS SOPS 410245 HAS SOUS 65438 HAS SOUPS 37978 WITH SCORE 38650.125
AT ITER 1242 NEW BEST:: SOT 883880 SOS 672089 HAS SOPS 410209 HAS SOUS 65434 HAS SOUPS 37974 WITH SCORE 38646.089
AT ITER 1247 NEW BEST:: SOT 883862 SOS 672359 HAS SOPS 410191 HAS SOUS 65421 HAS SOUPS 37943 WITH SCORE 38615.359
AT ITER 1251 NEW BEST:: SOT 883743 SOS 671974 HAS SOPS 410023 HAS SOUS 65491 HAS SOUPS 37922 WITH SCORE 38593.974
AT ITER 1253 NEW BEST:: SOT 883500 SOS 671822 HAS SOPS 409918 HAS SOUS 65517 HAS SOUPS 37918 WITH SCORE 38589.822
AT ITER 1287 NEW BEST:: SOT 883052 SOS 671310 HAS SOPS 409534 HAS SOUS 65453 HAS SOUPS 37918 WITH SCORE 38589.31
AT ITER 1294 NEW BEST:: SOT 883054 SOS 671316 HAS SOPS 409536 HAS SOUS 65452 HAS SOUPS 37915 WITH SCORE 38586.316
AT ITER 1295 NEW BEST:: SOT 882211 SOS 670307 HAS SOPS 408942 HAS SOUS 65412 HAS SOUPS 37875 WITH SCORE 38545.307
AT ITER 1297 NEW BEST:: SOT 882577 SOS 670707 HAS SOPS 409228 HAS SOUS 65330 HAS SOUPS 37839 WITH SCORE 38509.707
AT ITER 1300 NEW BEST:: SOT 882544 SOS 670659 HAS SOPS 409210 HAS SOUS 65297 HAS SOUPS 37821 WITH SCORE 38491.659
AT ITER 1320 NEW BEST:: SOT 882445 SOS 670472 HAS SOPS 409199 HAS SOUS 65227 HAS SOUPS 37820 WITH SCORE 38490.472
AT ITER 1336 NEW BEST:: SOT 882452 SOS 665203 HAS SOPS 405066 HAS SOUS 65077 HAS SOUPS 37741 WITH SCORE 38406.203
AT ITER 1343 NEW BEST:: SOT 882587 SOS 665282 HAS SOPS 405141 HAS SOUS 65043 HAS SOUPS 37722 WITH SCORE 38387.282
AT ITER 1347 NEW BEST:: SOT 882578 SOS 665273 HAS SOPS 405132 HAS SOUS 65025 HAS SOUPS 37708 WITH SCORE 38373.273
AT ITER 1349 NEW BEST:: SOT 882613 SOS 664911 HAS SOPS 405094 HAS SOUS 64988 HAS SOUPS 37707 WITH SCORE 38371.911
AT ITER 1356 NEW BEST:: SOT 882606 SOS 664904 HAS SOPS 405094 HAS SOUS 64974 HAS SOUPS 37693 WITH SCORE 38357.904
AT ITER 1358 NEW BEST:: SOT 882583 SOS 664867 HAS SOPS 405085 HAS SOUS 64960 HAS SOUPS 37684 WITH SCORE 38348.867
AT ITER 1372 NEW BEST:: SOT 882547 SOS 664819 HAS SOPS 405061 HAS SOUS 64924 HAS SOUPS 37660 WITH SCORE 38324.819
AT ITER 1373 NEW BEST:: SOT 881976 SOS 664342 HAS SOPS 405178 HAS SOUS 64625 HAS SOUPS 37361 WITH SCORE 38025.342
AT ITER 1393 NEW BEST:: SOT 883083 SOS 667426 HAS SOPS 406130 HAS SOUS 64195 HAS SOUPS 37230 WITH SCORE 37897.426
AT ITER 1395 NEW BEST:: SOT 882712 SOS 666623 HAS SOPS 405863 HAS SOUS 64147 HAS SOUPS 37212 WITH SCORE 37878.623
AT ITER 1417 NEW BEST:: SOT 882686 SOS 665389 HAS SOPS 405747 HAS SOUS 63904 HAS SOUPS 37055 WITH SCORE 37720.389
AT ITER 1421 NEW BEST:: SOT 882525 SOS 665228 HAS SOPS 405747 HAS SOUS 63722 HAS SOUPS 36873 WITH SCORE 37538.228
AT ITER 1422 NEW BEST:: SOT 882627 SOS 665482 HAS SOPS 405813 HAS SOUS 63707 HAS SOUPS 36860 WITH SCORE 37525.482
AT ITER 1430 NEW BEST:: SOT 881794 SOS 664649 HAS SOPS 405575 HAS SOUS 63601 HAS SOUPS 36854 WITH SCORE 37518.649
AT ITER 1448 NEW BEST:: SOT 882752 SOS 667170 HAS SOPS 406153 HAS SOUS 63634 HAS SOUPS 36808 WITH SCORE 37475.17
AT ITER 1450 NEW BEST:: SOT 882722 SOS 667145 HAS SOPS 406183 HAS SOUS 63544 HAS SOUPS 36798 WITH SCORE 37465.145
AT ITER 1470 NEW BEST:: SOT 883094 SOS 667920 HAS SOPS 406369 HAS SOUS 63544 HAS SOUPS 36767 WITH SCORE 37434.92
AT ITER 1529 NEW BEST:: SOT 883094 SOS 667872 HAS SOPS 406321 HAS SOUS 63544 HAS SOUPS 36767 WITH SCORE 37434.872
AT ITER 1530 NEW BEST:: SOT 883935 SOS 668954 HAS SOPS 406698 HAS SOUS 63100 HAS SOUPS 36231 WITH SCORE 36899.954
AT ITER 1538 NEW BEST:: SOT 883791 SOS 668834 HAS SOPS 406554 HAS SOUS 63110 HAS SOUPS 36217 WITH SCORE 36885.834
AT ITER 1562 NEW BEST:: SOT 883856 SOS 667877 HAS SOPS 405696 HAS SOUS 63105 HAS SOUPS 36212 WITH SCORE 36879.877
AT ITER 1568 NEW BEST:: SOT 883826 SOS 667847 HAS SOPS 405696 HAS SOUS 63105 HAS SOUPS 36212 WITH SCORE 36879.847
AT ITER 1589 NEW BEST:: SOT 884304 SOS 669531 HAS SOPS 406320 HAS SOUS 62439 HAS SOUPS 36004 WITH SCORE 36673.531
AT ITER 1594 NEW BEST:: SOT 884839 SOS 670123 HAS SOPS 406684 HAS SOUS 62347 HAS SOUPS 35969 WITH SCORE 36639.123
AT ITER 1595 NEW BEST:: SOT 884839 SOS 670080 HAS SOPS 406684 HAS SOUS 62304 HAS SOUPS 35969 WITH SCORE 36639.08
AT ITER 1600 NEW BEST:: SOT 884839 SOS 670017 HAS SOPS 406684 HAS SOUS 62241 HAS SOUPS 35969 WITH SCORE 36639.017
AT ITER 1623 NEW BEST:: SOT 884789 SOS 669216 HAS SOPS 405883 HAS SOUS 62207 HAS SOUPS 35935 WITH SCORE 36604.216
AT ITER 1627 NEW BEST:: SOT 884800 SOS 670278 HAS SOPS 406945 HAS SOUS 62186 HAS SOUPS 35914 WITH SCORE 36584.278
AT ITER 1647 NEW BEST:: SOT 885738 SOS 672378 HAS SOPS 407617 HAS SOUS 61861 HAS SOUPS 35735 WITH SCORE 36407.378
AT ITER 1650 NEW BEST:: SOT 885738 SOS 672378 HAS SOPS 407617 HAS SOUS 61780 HAS SOUPS 35690 WITH SCORE 36362.378
AT ITER 1652 NEW BEST:: SOT 885738 SOS 672323 HAS SOPS 407617 HAS SOUS 61725 HAS SOUPS 35690 WITH SCORE 36362.323
AT ITER 1672 NEW BEST:: SOT 885698 SOS 672232 HAS SOPS 407526 HAS SOUS 61698 HAS SOUPS 35663 WITH SCORE 36335.232
AT ITER 1675 NEW BEST:: SOT 885698 SOS 672232 HAS SOPS 407526 HAS SOUS 61686 HAS SOUPS 35651 WITH SCORE 36323.232
AT ITER 1707 NEW BEST:: SOT 885687 SOS 672210 HAS SOPS 407526 HAS SOUS 61675 HAS SOUPS 35651 WITH SCORE 36323.21
AT ITER 1718 NEW BEST:: SOT 885653 SOS 672428 HAS SOPS 407502 HAS SOUS 61673 HAS SOUPS 35639 WITH SCORE 36311.428
AT ITER 1726 NEW BEST:: SOT 885599 SOS 672320 HAS SOPS 407502 HAS SOUS 61439 HAS SOUPS 35539 WITH SCORE 36211.32
AT ITER 1729 NEW BEST:: SOT 885574 SOS 670007 HAS SOPS 405189 HAS SOUS 61364 HAS SOUPS 35464 WITH SCORE 36134.007
AT ITER 1732 NEW BEST:: SOT 885569 SOS 669997 HAS SOPS 405189 HAS SOUS 61359 HAS SOUPS 35464 WITH SCORE 36133.997
AT ITER 1734 NEW BEST:: SOT 885158 SOS 668838 HAS SOPS 404162 HAS SOUS 61344 HAS SOUPS 35405 WITH SCORE 36073.838
AT ITER 1740 NEW BEST:: SOT 884730 SOS 667204 HAS SOPS 403246 HAS SOUS 60896 HAS SOUPS 35331 WITH SCORE 35998.204
AT ITER 1743 NEW BEST:: SOT 884700 SOS 667159 HAS SOPS 403231 HAS SOUS 60866 HAS SOUPS 35316 WITH SCORE 35983.159
AT ITER 1761 NEW BEST:: SOT 884694 SOS 667153 HAS SOPS 403231 HAS SOUS 60866 HAS SOUPS 35316 WITH SCORE 35983.153
AT ITER 1764 NEW BEST:: SOT 884630 SOS 666267 HAS SOPS 403017 HAS SOUS 60718 HAS SOUPS 35210 WITH SCORE 35876.267
AT ITER 1776 NEW BEST:: SOT 885279 SOS 667683 HAS SOPS 403371 HAS SOUS 60659 HAS SOUPS 35092 WITH SCORE 35759.683
AT ITER 1795 NEW BEST:: SOT 885296 SOS 667744 HAS SOPS 403864 HAS SOUS 60622 HAS SOUPS 35082 WITH SCORE 35749.744
AT ITER 1797 NEW BEST:: SOT 885717 SOS 668167 HAS SOPS 404087 HAS SOUS 60552 HAS SOUPS 35022 WITH SCORE 35690.167
AT ITER 1799 NEW BEST:: SOT 885717 SOS 668167 HAS SOPS 404087 HAS SOUS 60516 HAS SOUPS 34998 WITH SCORE 35666.167
AT ITER 1806 NEW BEST:: SOT 885677 SOS 668063 HAS SOPS 404055 HAS SOUS 60516 HAS SOUPS 34994 WITH SCORE 35662.063
AT ITER 1811 NEW BEST:: SOT 885675 SOS 668059 HAS SOPS 404055 HAS SOUS 60514 HAS SOUPS 34994 WITH SCORE 35662.059
AT ITER 1812 NEW BEST:: SOT 886017 SOS 668401 HAS SOPS 404397 HAS SOUS 60511 HAS SOUPS 34992 WITH SCORE 35660.401
AT ITER 1817 NEW BEST:: SOT 885837 SOS 668221 HAS SOPS 404217 HAS SOUS 60511 HAS SOUPS 34992 WITH SCORE 35660.221
AT ITER 1820 NEW BEST:: SOT 885789 SOS 668125 HAS SOPS 404181 HAS SOUS 60518 HAS SOUPS 34974 WITH SCORE 35642.125
AT ITER 1829 NEW BEST:: SOT 885697 SOS 668033 HAS SOPS 404181 HAS SOUS 60518 HAS SOUPS 34974 WITH SCORE 35642.033
AT ITER 1833 NEW BEST:: SOT 886777 SOS 670301 HAS SOPS 404829 HAS SOUS 60297 HAS SOUPS 34861 WITH SCORE 35531.301
AT ITER 1841 NEW BEST:: SOT 886744 SOS 670268 HAS SOPS 404829 HAS SOUS 60233 HAS SOUPS 34797 WITH SCORE 35467.268
AT ITER 1848 NEW BEST:: SOT 885236 SOS 668644 HAS SOPS 403437 HAS SOUS 60174 HAS SOUPS 34797 WITH SCORE 35465.644
AT ITER 1852 NEW BEST:: SOT 885288 SOS 667812 HAS SOPS 403021 HAS SOUS 60148 HAS SOUPS 34797 WITH SCORE 35464.812
AT ITER 1859 NEW BEST:: SOT 885236 SOS 667760 HAS SOPS 403021 HAS SOUS 60148 HAS SOUPS 34797 WITH SCORE 35464.76
AT ITER 1862 NEW BEST:: SOT 885130 SOS 667207 HAS SOPS 402871 HAS SOUS 60073 HAS SOUPS 34753 WITH SCORE 35420.207
AT ITER 1890 NEW BEST:: SOT 885114 SOS 667191 HAS SOPS 402871 HAS SOUS 60073 HAS SOUPS 34753 WITH SCORE 35420.191
AT ITER 1897 NEW BEST:: SOT 885099 SOS 667161 HAS SOPS 402871 HAS SOUS 59563 HAS SOUPS 34478 WITH SCORE 35145.161
AT ITER 1919 NEW BEST:: SOT 885089 SOS 667141 HAS SOPS 402871 HAS SOUS 59553 HAS SOUPS 34478 WITH SCORE 35145.141
AT ITER 1923 NEW BEST:: SOT 885026 SOS 666046 HAS SOPS 402688 HAS SOUS 59490 HAS SOUPS 34472 WITH SCORE 35138.046
AT ITER 1924 NEW BEST:: SOT 885277 SOS 666321 HAS SOPS 402819 HAS SOUS 59429 HAS SOUPS 34411 WITH SCORE 35077.321
AT ITER 1962 NEW BEST:: SOT 885317 SOS 666409 HAS SOPS 402843 HAS SOUS 59425 HAS SOUPS 34407 WITH SCORE 35073.409
AT ITER 2000 NEW BEST:: SOT 885305 SOS 666391 HAS SOPS 402843 HAS SOUS 59419 HAS SOUPS 34407 WITH SCORE 35073.391
AT ITER 2004 NEW BEST:: SOT 885218 SOS 666275 HAS SOPS 402756 HAS SOUS 59361 HAS SOUPS 34378 WITH SCORE 35044.275
AT ITER 2006 NEW BEST:: SOT 885218 SOS 666275 HAS SOPS 402756 HAS SOUS 59190 HAS SOUPS 34283 WITH SCORE 34949.275
AT ITER 2028 NEW BEST:: SOT 885176 SOS 666230 HAS SOPS 402717 HAS SOUS 59161 HAS SOUPS 34257 WITH SCORE 34923.23
AT ITER 2030 NEW BEST:: SOT 885173 SOS 666496 HAS SOPS 402615 HAS SOUS 59178 HAS SOUPS 34251 WITH SCORE 34917.496
AT ITER 2031 NEW BEST:: SOT 885172 SOS 666495 HAS SOPS 402615 HAS SOUS 59178 HAS SOUPS 34251 WITH SCORE 34917.495
AT ITER 2035 NEW BEST:: SOT 885260 SOS 668079 HAS SOPS 402839 HAS SOUS 59258 HAS SOUPS 34246 WITH SCORE 34914.079
AT ITER 2065 NEW BEST:: SOT 886177 SOS 668996 HAS SOPS 403101 HAS SOUS 59253 HAS SOUPS 34141 WITH SCORE 34809.996
AT ITER 2066 NEW BEST:: SOT 886106 SOS 668925 HAS SOPS 403101 HAS SOUS 59253 HAS SOUPS 34141 WITH SCORE 34809.925
AT ITER 2073 NEW BEST:: SOT 886106 SOS 668925 HAS SOPS 403101 HAS SOUS 59172 HAS SOUPS 34096 WITH SCORE 34764.925
AT ITER 2075 NEW BEST:: SOT 886106 SOS 668925 HAS SOPS 403101 HAS SOUS 59154 HAS SOUPS 34086 WITH SCORE 34754.925
AT ITER 2094 NEW BEST:: SOT 886118 SOS 668733 HAS SOPS 403101 HAS SOUS 59142 HAS SOUPS 34086 WITH SCORE 34754.733
AT ITER 2097 NEW BEST:: SOT 886118 SOS 668733 HAS SOPS 403101 HAS SOUS 59132 HAS SOUPS 34076 WITH SCORE 34744.733
AT ITER 2103 NEW BEST:: SOT 886054 SOS 669881 HAS SOPS 403435 HAS SOUS 59142 HAS SOUPS 34064 WITH SCORE 34733.881
AT ITER 2134 NEW BEST:: SOT 886054 SOS 669863 HAS SOPS 403435 HAS SOUS 59124 HAS SOUPS 34064 WITH SCORE 34733.863
AT ITER 2177 NEW BEST:: SOT 886054 SOS 667483 HAS SOPS 401503 HAS SOUS 59096 HAS SOUPS 34064 WITH SCORE 34731.483
AT ITER 2184 NEW BEST:: SOT 886062 SOS 667495 HAS SOPS 401507 HAS SOUS 59095 HAS SOUPS 34063 WITH SCORE 34730.495
AT ITER 2188 NEW BEST:: SOT 886082 SOS 665883 HAS SOPS 400442 HAS SOUS 59061 HAS SOUPS 34042 WITH SCORE 34707.883
AT ITER 2191 NEW BEST:: SOT 886131 SOS 665932 HAS SOPS 400442 HAS SOUS 59043 HAS SOUPS 34032 WITH SCORE 34697.932
AT ITER 2197 NEW BEST:: SOT 886093 SOS 665940 HAS SOPS 400450 HAS SOUS 59023 HAS SOUPS 34012 WITH SCORE 34677.94
AT ITER 2204 NEW BEST:: SOT 886039 SOS 665886 HAS SOPS 400396 HAS SOUS 59023 HAS SOUPS 34012 WITH SCORE 34677.886
AT ITER 2207 NEW BEST:: SOT 886038 SOS 665884 HAS SOPS 400394 HAS SOUS 59023 HAS SOUPS 34012 WITH SCORE 34677.884
AT ITER 2212 NEW BEST:: SOT 886013 SOS 665834 HAS SOPS 399944 HAS SOUS 59048 HAS SOUPS 34012 WITH SCORE 34677.834
AT ITER 2215 NEW BEST:: SOT 886013 SOS 665758 HAS SOPS 399944 HAS SOUS 58972 HAS SOUPS 34012 WITH SCORE 34677.758
AT ITER 2230 NEW BEST:: SOT 886002 SOS 665991 HAS SOPS 399649 HAS SOUS 58984 HAS SOUPS 33991 WITH SCORE 34656.991
AT ITER 2243 NEW BEST:: SOT 885970 SOS 665959 HAS SOPS 399649 HAS SOUS 58984 HAS SOUPS 33991 WITH SCORE 34656.959
AT ITER 2253 NEW BEST:: SOT 885915 SOS 665912 HAS SOPS 399694 HAS SOUS 58955 HAS SOUPS 33954 WITH SCORE 34619.912
AT ITER 2270 NEW BEST:: SOT 885972 SOS 665157 HAS SOPS 398865 HAS SOUS 58949 HAS SOUPS 33948 WITH SCORE 34613.157
AT ITER 2297 NEW BEST:: SOT 885972 SOS 665141 HAS SOPS 398865 HAS SOUS 58933 HAS SOUPS 33948 WITH SCORE 34613.141
AT ITER 2301 NEW BEST:: SOT 885944 SOS 664889 HAS SOPS 398837 HAS SOUS 58919 HAS SOUPS 33948 WITH SCORE 34612.889
AT ITER 2319 NEW BEST:: SOT 885833 SOS 663137 HAS SOPS 398717 HAS SOUS 58760 HAS SOUPS 33891 WITH SCORE 34554.137
AT ITER 2322 NEW BEST:: SOT 885630 SOS 662614 HAS SOPS 398587 HAS SOUS 58734 HAS SOUPS 33884 WITH SCORE 34546.614
AT ITER 2334 NEW BEST:: SOT 885630 SOS 662614 HAS SOPS 398577 HAS SOUS 58724 HAS SOUPS 33874 WITH SCORE 34536.614
AT ITER 2337 NEW BEST:: SOT 886062 SOS 663514 HAS SOPS 398793 HAS SOUS 58692 HAS SOUPS 33806 WITH SCORE 34469.514
AT ITER 2343 NEW BEST:: SOT 886060 SOS 663357 HAS SOPS 398780 HAS SOUS 58679 HAS SOUPS 33802 WITH SCORE 34465.357
AT ITER 2346 NEW BEST:: SOT 885964 SOS 663261 HAS SOPS 398684 HAS SOUS 58679 HAS SOUPS 33802 WITH SCORE 34465.261
AT ITER 2355 NEW BEST:: SOT 885969 SOS 663227 HAS SOPS 398650 HAS SOUS 58645 HAS SOUPS 33768 WITH SCORE 34431.227
AT ITER 2362 NEW BEST:: SOT 885911 SOS 662884 HAS SOPS 398307 HAS SOUS 58587 HAS SOUPS 33710 WITH SCORE 34372.884
AT ITER 2368 NEW BEST:: SOT 885901 SOS 662724 HAS SOPS 398222 HAS SOUS 58587 HAS SOUPS 33710 WITH SCORE 34372.724
AT ITER 2400 NEW BEST:: SOT 885879 SOS 661320 HAS SOPS 396818 HAS SOUS 58575 HAS SOUPS 33698 WITH SCORE 34359.32
AT ITER 2449 NEW BEST:: SOT 885879 SOS 661246 HAS SOPS 396818 HAS SOUS 58501 HAS SOUPS 33698 WITH SCORE 34359.246
AT ITER 2451 NEW BEST:: SOT 885866 SOS 661233 HAS SOPS 396818 HAS SOUS 58501 HAS SOUPS 33698 WITH SCORE 34359.233
AT ITER 2478 NEW BEST:: SOT 885850 SOS 661201 HAS SOPS 396530 HAS SOUS 58517 HAS SOUPS 33698 WITH SCORE 34359.201
AT ITER 2486 NEW BEST:: SOT 884711 SOS 649566 HAS SOPS 387471 HAS SOUS 58391 HAS SOUPS 33651 WITH SCORE 34300.566
AT ITER 2488 NEW BEST:: SOT 884501 SOS 649356 HAS SOPS 387471 HAS SOUS 58329 HAS SOUPS 33573 WITH SCORE 34222.356
AT ITER 2491 NEW BEST:: SOT 884501 SOS 649341 HAS SOPS 387471 HAS SOUS 58314 HAS SOUPS 33573 WITH SCORE 34222.341
AT ITER 2492 NEW BEST:: SOT 884501 SOS 649341 HAS SOPS 387471 HAS SOUS 58305 HAS SOUPS 33568 WITH SCORE 34217.341
AT ITER 2497 NEW BEST:: SOT 884501 SOS 649338 HAS SOPS 387471 HAS SOUS 58302 HAS SOUPS 33568 WITH SCORE 34217.338
AT ITER 2502 NEW BEST:: SOT 884529 SOS 649366 HAS SOPS 387464 HAS SOUS 58295 HAS SOUPS 33561 WITH SCORE 34210.366
AT ITER 2518 NEW BEST:: SOT 882778 SOS 645188 HAS SOPS 384001 HAS SOUS 58113 HAS SOUPS 33433 WITH SCORE 34078.188
AT ITER 2520 NEW BEST:: SOT 882646 SOS 645056 HAS SOPS 383869 HAS SOUS 58113 HAS SOUPS 33433 WITH SCORE 34078.056
AT ITER 2522 NEW BEST:: SOT 882606 SOS 645158 HAS SOPS 383854 HAS SOUS 58098 HAS SOUPS 33431 WITH SCORE 34076.158
AT ITER 2536 NEW BEST:: SOT 882606 SOS 645147 HAS SOPS 383854 HAS SOUS 58087 HAS SOUPS 33431 WITH SCORE 34076.147
AT ITER 2541 NEW BEST:: SOT 882525 SOS 645016 HAS SOPS 383697 HAS SOUS 58034 HAS SOUPS 33428 WITH SCORE 34073.016
AT ITER 2543 NEW BEST:: SOT 881685 SOS 643498 HAS SOPS 382403 HAS SOUS 58020 HAS SOUPS 33414 WITH SCORE 34057.498
AT ITER 2555 NEW BEST:: SOT 881584 SOS 643296 HAS SOPS 382403 HAS SOUS 57919 HAS SOUPS 33414 WITH SCORE 34057.296
AT ITER 2562 NEW BEST:: SOT 881584 SOS 643296 HAS SOPS 382403 HAS SOUS 57901 HAS SOUPS 33404 WITH SCORE 34047.296
AT ITER 2575 NEW BEST:: SOT 881612 SOS 642953 HAS SOPS 382060 HAS SOUS 57850 HAS SOUPS 33353 WITH SCORE 33995.953
AT ITER 2576 NEW BEST:: SOT 881536 SOS 642847 HAS SOPS 381986 HAS SOUS 57796 HAS SOUPS 33308 WITH SCORE 33950.847
AT ITER 2582 NEW BEST:: SOT 881536 SOS 642824 HAS SOPS 381986 HAS SOUS 57773 HAS SOUPS 33308 WITH SCORE 33950.824
AT ITER 2588 NEW BEST:: SOT 881546 SOS 641726 HAS SOPS 381240 HAS SOUS 57730 HAS SOUPS 33287 WITH SCORE 33928.726
AT ITER 2601 NEW BEST:: SOT 881459 SOS 640989 HAS SOPS 380624 HAS SOUS 57828 HAS SOUPS 33199 WITH SCORE 33839.989
AT ITER 2716 NEW BEST:: SOT 881023 SOS 640553 HAS SOPS 380423 HAS SOUS 57815 HAS SOUPS 33186 WITH SCORE 33826.553
AT ITER 2717 NEW BEST:: SOT 881003 SOS 640669 HAS SOPS 380579 HAS SOUS 57477 HAS SOUPS 33134 WITH SCORE 33774.669
AT ITER 2718 NEW BEST:: SOT 881060 SOS 640726 HAS SOPS 380579 HAS SOUS 57378 HAS SOUPS 33079 WITH SCORE 33719.726
AT ITER 2752 NEW BEST:: SOT 880472 SOS 640138 HAS SOPS 379991 HAS SOUS 57378 HAS SOUPS 33079 WITH SCORE 33719.138
AT ITER 2754 NEW BEST:: SOT 880519 SOS 639316 HAS SOPS 379713 HAS SOUS 57335 HAS SOUPS 33070 WITH SCORE 33709.316
AT ITER 2781 NEW BEST:: SOT 880510 SOS 639186 HAS SOPS 379583 HAS SOUS 57334 HAS SOUPS 33069 WITH SCORE 33708.186
AT ITER 2806 NEW BEST:: SOT 881350 SOS 640026 HAS SOPS 380423 HAS SOUS 57328 HAS SOUPS 33065 WITH SCORE 33705.026
AT ITER 2809 NEW BEST:: SOT 881428 SOS 640220 HAS SOPS 380469 HAS SOUS 57332 HAS SOUPS 33062 WITH SCORE 33702.22
AT ITER 2861 NEW BEST:: SOT 881394 SOS 640186 HAS SOPS 380469 HAS SOUS 57328 HAS SOUPS 33058 WITH SCORE 33698.186
AT ITER 2896 NEW BEST:: SOT 881394 SOS 640133 HAS SOPS 380469 HAS SOUS 57275 HAS SOUPS 33058 WITH SCORE 33698.133
AT ITER 2915 NEW BEST:: SOT 881394 SOS 640133 HAS SOPS 380469 HAS SOUS 57266 HAS SOUPS 33053 WITH SCORE 33693.133
AT ITER 2947 NEW BEST:: SOT 881377 SOS 640116 HAS SOPS 380452 HAS SOUS 57249 HAS SOUPS 33036 WITH SCORE 33676.116
AT ITER 2976 NEW BEST:: SOT 881389 SOS 640128 HAS SOPS 380464 HAS SOUS 57243 HAS SOUPS 33032 WITH SCORE 33672.128
AT ITER 3045 NEW BEST:: SOT 881278 SOS 638582 HAS SOPS 379415 HAS SOUS 57158 HAS SOUPS 32995 WITH SCORE 33633.582
AT ITER 3058 NEW BEST:: SOT 881278 SOS 638565 HAS SOPS 379415 HAS SOUS 57141 HAS SOUPS 32995 WITH SCORE 33633.565
AT ITER 3074 NEW BEST:: SOT 881204 SOS 638721 HAS SOPS 379571 HAS SOUS 57135 HAS SOUPS 32989 WITH SCORE 33627.721
AT ITER 3079 NEW BEST:: SOT 881196 SOS 638713 HAS SOPS 379491 HAS SOUS 57127 HAS SOUPS 32977 WITH SCORE 33615.713
AT ITER 3102 NEW BEST:: SOT 881917 SOS 640813 HAS SOPS 380055 HAS SOUS 56949 HAS SOUPS 32864 WITH SCORE 33504.813
AT ITER 3145 NEW BEST:: SOT 880943 SOS 624428 HAS SOPS 366179 HAS SOUS 56832 HAS SOUPS 32800 WITH SCORE 33424.428
AT ITER 3184 NEW BEST:: SOT 880811 SOS 624296 HAS SOPS 366047 HAS SOUS 56832 HAS SOUPS 32800 WITH SCORE 33424.296
AT ITER 3220 NEW BEST:: SOT 880812 SOS 623754 HAS SOPS 365497 HAS SOUS 56823 HAS SOUPS 32783 WITH SCORE 33406.754
AT ITER 3228 NEW BEST:: SOT 880812 SOS 623529 HAS SOPS 365512 HAS SOUS 56808 HAS SOUPS 32783 WITH SCORE 33406.529
AT ITER 3255 NEW BEST:: SOT 880825 SOS 623763 HAS SOPS 365538 HAS SOUS 56813 HAS SOUPS 32775 WITH SCORE 33398.763
AT ITER 3260 NEW BEST:: SOT 880741 SOS 623679 HAS SOPS 365466 HAS SOUS 56813 HAS SOUPS 32775 WITH SCORE 33398.679
AT ITER 3266 NEW BEST:: SOT 880803 SOS 620608 HAS SOPS 362767 HAS SOUS 56773 HAS SOUPS 32766 WITH SCORE 33386.608
AT ITER 3290 NEW BEST:: SOT 880722 SOS 620527 HAS SOPS 362767 HAS SOUS 56759 HAS SOUPS 32752 WITH SCORE 33372.527
AT ITER 3308 NEW BEST:: SOT 880632 SOS 621547 HAS SOPS 363217 HAS SOUS 56749 HAS SOUPS 32742 WITH SCORE 33363.547
AT ITER 3322 NEW BEST:: SOT 880743 SOS 621658 HAS SOPS 363223 HAS SOUS 56682 HAS SOUPS 32735 WITH SCORE 33356.658
AT ITER 3326 NEW BEST:: SOT 880741 SOS 621686 HAS SOPS 363251 HAS SOUS 56680 HAS SOUPS 32733 WITH SCORE 33354.686
AT ITER 3345 NEW BEST:: SOT 880715 SOS 621660 HAS SOPS 363251 HAS SOUS 56700 HAS SOUPS 32721 WITH SCORE 33342.66
AT ITER 3350 NEW BEST:: SOT 880630 SOS 621730 HAS SOPS 363225 HAS SOUS 56595 HAS SOUPS 32616 WITH SCORE 33237.73
AT ITER 3437 NEW BEST:: SOT 880646 SOS 621370 HAS SOPS 363161 HAS SOUS 56585 HAS SOUPS 32614 WITH SCORE 33235.37
AT ITER 3457 NEW BEST:: SOT 880614 SOS 620618 HAS SOPS 363097 HAS SOUS 56521 HAS SOUPS 32593 WITH SCORE 33213.618
AT ITER 3479 NEW BEST:: SOT 880614 SOS 620618 HAS SOPS 363097 HAS SOUS 56467 HAS SOUPS 32563 WITH SCORE 33183.618
AT ITER 3508 NEW BEST:: SOT 880582 SOS 620320 HAS SOPS 362781 HAS SOUS 56452 HAS SOUPS 32548 WITH SCORE 33168.32
AT ITER 3510 NEW BEST:: SOT 880540 SOS 620236 HAS SOPS 362781 HAS SOUS 56358 HAS SOUPS 32496 WITH SCORE 33116.236
AT ITER 3527 NEW BEST:: SOT 880168 SOS 619864 HAS SOPS 362409 HAS SOUS 56358 HAS SOUPS 32496 WITH SCORE 33115.864
AT ITER 3574 NEW BEST:: SOT 880162 SOS 619852 HAS SOPS 362405 HAS SOUS 56356 HAS SOUPS 32494 WITH SCORE 33113.852
AT ITER 3583 NEW BEST:: SOT 880822 SOS 621802 HAS SOPS 362945 HAS SOUS 56071 HAS SOUPS 32339 WITH SCORE 32960.802
AT ITER 3610 NEW BEST:: SOT 880786 SOS 622442 HAS SOPS 362983 HAS SOUS 55928 HAS SOUPS 32174 WITH SCORE 32796.442
AT ITER 3612 NEW BEST:: SOT 880762 SOS 622010 HAS SOPS 362887 HAS SOUS 55880 HAS SOUPS 32147 WITH SCORE 32769.01
AT ITER 3613 NEW BEST:: SOT 880748 SOS 621989 HAS SOPS 362887 HAS SOUS 55873 HAS SOUPS 32147 WITH SCORE 32768.989
AT ITER 3644 NEW BEST:: SOT 880695 SOS 622481 HAS SOPS 363379 HAS SOUS 55848 HAS SOUPS 32122 WITH SCORE 32744.481
AT ITER 3648 NEW BEST:: SOT 880640 SOS 621321 HAS SOPS 362219 HAS SOUS 55788 HAS SOUPS 32062 WITH SCORE 32683.321
AT ITER 3649 NEW BEST:: SOT 880586 SOS 621267 HAS SOPS 362165 HAS SOUS 55788 HAS SOUPS 32062 WITH SCORE 32683.267
AT ITER 3654 NEW BEST:: SOT 880586 SOS 621267 HAS SOPS 362165 HAS SOUS 55698 HAS SOUPS 32012 WITH SCORE 32633.267
AT ITER 3678 NEW BEST:: SOT 879754 SOS 618138 HAS SOPS 359340 HAS SOUS 55592 HAS SOUPS 31893 WITH SCORE 32511.138
AT ITER 3711 NEW BEST:: SOT 879705 SOS 618089 HAS SOPS 359340 HAS SOUS 55592 HAS SOUPS 31893 WITH SCORE 32511.089
AT ITER 3712 NEW BEST:: SOT 879705 SOS 618089 HAS SOPS 359340 HAS SOUS 55448 HAS SOUPS 31813 WITH SCORE 32431.089
AT ITER 3718 NEW BEST:: SOT 878910 SOS 615869 HAS SOPS 357445 HAS SOUS 55318 HAS SOUPS 31683 WITH SCORE 32298.869
AT ITER 3725 NEW BEST:: SOT 878895 SOS 615846 HAS SOPS 357414 HAS SOUS 55293 HAS SOUPS 31666 WITH SCORE 32281.846
AT ITER 3729 NEW BEST:: SOT 878915 SOS 615568 HAS SOPS 357632 HAS SOUS 55255 HAS SOUPS 31659 WITH SCORE 32274.568
AT ITER 3762 NEW BEST:: SOT 878915 SOS 615568 HAS SOPS 357632 HAS SOUS 55237 HAS SOUPS 31649 WITH SCORE 32264.568
AT ITER 3773 NEW BEST:: SOT 878921 SOS 613118 HAS SOPS 357262 HAS SOUS 55098 HAS SOUPS 31640 WITH SCORE 32253.118
AT ITER 3782 NEW BEST:: SOT 878902 SOS 613275 HAS SOPS 357244 HAS SOUS 55099 HAS SOUPS 31636 WITH SCORE 32249.275
AT ITER 3795 NEW BEST:: SOT 878940 SOS 612623 HAS SOPS 356839 HAS SOUS 55098 HAS SOUPS 31635 WITH SCORE 32247.623
AT ITER 3813 NEW BEST:: SOT 878891 SOS 612580 HAS SOPS 356839 HAS SOUS 55102 HAS SOUPS 31633 WITH SCORE 32245.58
AT ITER 3835 NEW BEST:: SOT 878815 SOS 612562 HAS SOPS 356839 HAS SOUS 55158 HAS SOUPS 31631 WITH SCORE 32243.562
AT ITER 3842 NEW BEST:: SOT 878753 SOS 612500 HAS SOPS 356839 HAS SOUS 55158 HAS SOUPS 31631 WITH SCORE 32243.5
AT ITER 3846 NEW BEST:: SOT 878753 SOS 612483 HAS SOPS 356839 HAS SOUS 55141 HAS SOUPS 31631 WITH SCORE 32243.483
AT ITER 3863 NEW BEST:: SOT 878747 SOS 612477 HAS SOPS 356833 HAS SOUS 55135 HAS SOUPS 31625 WITH SCORE 32237.477
AT ITER 3876 NEW BEST:: SOT 878627 SOS 612357 HAS SOPS 356833 HAS SOUS 55135 HAS SOUPS 31625 WITH SCORE 32237.357
AT ITER 3889 NEW BEST:: SOT 878632 SOS 612387 HAS SOPS 356838 HAS SOUS 55130 HAS SOUPS 31620 WITH SCORE 32232.387
AT ITER 3901 NEW BEST:: SOT 878579 SOS 612253 HAS SOPS 356802 HAS SOUS 55094 HAS SOUPS 31616 WITH SCORE 32228.253
AT ITER 3921 NEW BEST:: SOT 878567 SOS 612241 HAS SOPS 356802 HAS SOUS 55094 HAS SOUPS 31616 WITH SCORE 32228.241
AT ITER 3993 NEW BEST:: SOT 878471 SOS 610957 HAS SOPS 355734 HAS SOUS 55082 HAS SOUPS 31604 WITH SCORE 32214.957
AT ITER 3995 NEW BEST:: SOT 878855 SOS 611959 HAS SOPS 355968 HAS SOUS 54998 HAS SOUPS 31526 WITH SCORE 32137.959
AT ITER 4007 NEW BEST:: SOT 878847 SOS 611935 HAS SOPS 355961 HAS SOUS 54998 HAS SOUPS 31526 WITH SCORE 32137.935
AT ITER 4032 NEW BEST:: SOT 878837 SOS 611755 HAS SOPS 355781 HAS SOUS 54976 HAS SOUPS 31504 WITH SCORE 32115.755
AT ITER 4050 NEW BEST:: SOT 878856 SOS 612421 HAS SOPS 355855 HAS SOUS 54972 HAS SOUPS 31463 WITH SCORE 32075.421
AT ITER 4093 NEW BEST:: SOT 878910 SOS 612491 HAS SOPS 355925 HAS SOUS 54966 HAS SOUPS 31457 WITH SCORE 32069.491
AT ITER 4115 NEW BEST:: SOT 878946 SOS 612578 HAS SOPS 355946 HAS SOUS 54966 HAS SOUPS 31454 WITH SCORE 32066.578
AT ITER 4124 NEW BEST:: SOT 878840 SOS 612472 HAS SOPS 355946 HAS SOUS 54904 HAS SOUPS 31392 WITH SCORE 32004.472
AT ITER 4126 NEW BEST:: SOT 878831 SOS 612463 HAS SOPS 355937 HAS SOUS 54895 HAS SOUPS 31383 WITH SCORE 31995.463
AT ITER 4129 NEW BEST:: SOT 878840 SOS 612472 HAS SOPS 355802 HAS SOUS 54895 HAS SOUPS 31374 WITH SCORE 31986.472
AT ITER 4154 NEW BEST:: SOT 877534 SOS 609767 HAS SOPS 353689 HAS SOUS 54740 HAS SOUPS 31219 WITH SCORE 31828.767
AT ITER 4168 NEW BEST:: SOT 877456 SOS 609689 HAS SOPS 353611 HAS SOUS 54638 HAS SOUPS 31164 WITH SCORE 31773.689
AT ITER 4231 NEW BEST:: SOT 877434 SOS 609623 HAS SOPS 353589 HAS SOUS 54589 HAS SOUPS 31149 WITH SCORE 31758.623
AT ITER 4249 NEW BEST:: SOT 877402 SOS 609591 HAS SOPS 353589 HAS SOUS 54589 HAS SOUPS 31149 WITH SCORE 31758.591
AT ITER 4304 NEW BEST:: SOT 877377 SOS 609584 HAS SOPS 353582 HAS SOUS 54539 HAS SOUPS 31099 WITH SCORE 31708.584
AT ITER 4339 NEW BEST:: SOT 877425 SOS 608048 HAS SOPS 352814 HAS SOUS 54443 HAS SOUPS 31051 WITH SCORE 31659.048
AT ITER 4345 NEW BEST:: SOT 877436 SOS 608094 HAS SOPS 352860 HAS SOUS 54442 HAS SOUPS 31050 WITH SCORE 31658.094
AT ITER 4356 NEW BEST:: SOT 876200 SOS 603669 HAS SOPS 350926 HAS SOUS 54370 HAS SOUPS 31030 WITH SCORE 31633.669
AT ITER 4366 NEW BEST:: SOT 875745 SOS 603189 HAS SOPS 350637 HAS SOUS 54368 HAS SOUPS 31006 WITH SCORE 31609.189
AT ITER 4380 NEW BEST:: SOT 876123 SOS 603636 HAS SOPS 350880 HAS SOUS 54335 HAS SOUPS 30986 WITH SCORE 31589.636
AT ITER 4390 NEW BEST:: SOT 876121 SOS 603634 HAS SOPS 350880 HAS SOUS 54335 HAS SOUPS 30986 WITH SCORE 31589.634
AT ITER 4395 NEW BEST:: SOT 876103 SOS 603676 HAS SOPS 350880 HAS SOUS 54251 HAS SOUPS 30938 WITH SCORE 31541.676
AT ITER 4405 NEW BEST:: SOT 876132 SOS 603714 HAS SOPS 350898 HAS SOUS 54249 HAS SOUPS 30936 WITH SCORE 31539.714
AT ITER 4436 NEW BEST:: SOT 876082 SOS 603642 HAS SOPS 350870 HAS SOUS 54190 HAS SOUPS 30903 WITH SCORE 31506.642
AT ITER 4437 NEW BEST:: SOT 876052 SOS 603612 HAS SOPS 350840 HAS SOUS 54190 HAS SOUPS 30903 WITH SCORE 31506.612
AT ITER 4453 NEW BEST:: SOT 876716 SOS 605421 HAS SOPS 351311 HAS SOUS 54164 HAS SOUPS 30856 WITH SCORE 31461.421
AT ITER 4469 NEW BEST:: SOT 876722 SOS 605352 HAS SOPS 351298 HAS SOUS 54164 HAS SOUPS 30856 WITH SCORE 31461.352
AT ITER 4488 NEW BEST:: SOT 876701 SOS 605331 HAS SOPS 351280 HAS SOUS 54158 HAS SOUPS 30850 WITH SCORE 31455.331
AT ITER 4511 NEW BEST:: SOT 876645 SOS 605243 HAS SOPS 351177 HAS SOUS 54085 HAS SOUPS 30809 WITH SCORE 31414.243
AT ITER 4512 NEW BEST:: SOT 876399 SOS 604997 HAS SOPS 350931 HAS SOUS 54085 HAS SOUPS 30809 WITH SCORE 31413.997
AT ITER 4526 NEW BEST:: SOT 876399 SOS 604997 HAS SOPS 350931 HAS SOUS 54027 HAS SOUPS 30759 WITH SCORE 31363.997
AT ITER 4542 NEW BEST:: SOT 876339 SOS 604937 HAS SOPS 350871 HAS SOUS 54027 HAS SOUPS 30759 WITH SCORE 31363.937
AT ITER 4565 NEW BEST:: SOT 876334 SOS 604932 HAS SOPS 350866 HAS SOUS 54022 HAS SOUPS 30754 WITH SCORE 31358.932
AT ITER 4626 NEW BEST:: SOT 876676 SOS 605274 HAS SOPS 351208 HAS SOUS 54019 HAS SOUPS 30752 WITH SCORE 31357.274
AT ITER 4630 NEW BEST:: SOT 876676 SOS 605274 HAS SOPS 351208 HAS SOUS 54001 HAS SOUPS 30742 WITH SCORE 31347.274
AT ITER 4639 NEW BEST:: SOT 876671 SOS 605269 HAS SOPS 351208 HAS SOUS 54001 HAS SOUPS 30742 WITH SCORE 31347.269
AT ITER 4642 NEW BEST:: SOT 876665 SOS 605233 HAS SOPS 351202 HAS SOUS 53983 HAS SOUPS 30730 WITH SCORE 31335.233
AT ITER 4650 NEW BEST:: SOT 876485 SOS 604837 HAS SOPS 351094 HAS SOUS 53965 HAS SOUPS 30730 WITH SCORE 31334.837
AT ITER 4679 NEW BEST:: SOT 876373 SOS 603479 HAS SOPS 349928 HAS SOUS 53936 HAS SOUPS 30694 WITH SCORE 31297.479
AT ITER 4738 NEW BEST:: SOT 876283 SOS 603389 HAS SOPS 349838 HAS SOUS 53918 HAS SOUPS 30684 WITH SCORE 31287.389
AT ITER 4778 NEW BEST:: SOT 876262 SOS 603092 HAS SOPS 349269 HAS SOUS 53923 HAS SOUPS 30672 WITH SCORE 31275.092
AT ITER 4840 NEW BEST:: SOT 876223 SOS 602951 HAS SOPS 349194 HAS SOUS 53914 HAS SOUPS 30666 WITH SCORE 31268.951
AT ITER 4859 NEW BEST:: SOT 876223 SOS 602951 HAS SOPS 349194 HAS SOUS 53878 HAS SOUPS 30646 WITH SCORE 31248.951
AT ITER 4865 NEW BEST:: SOT 876163 SOS 602806 HAS SOPS 349159 HAS SOUS 53873 HAS SOUPS 30646 WITH SCORE 31248.806
AT ITER 4877 NEW BEST:: SOT 876160 SOS 602696 HAS SOPS 349379 HAS SOUS 53835 HAS SOUPS 30637 WITH SCORE 31239.696
AT ITER 4911 NEW BEST:: SOT 876144 SOS 602680 HAS SOPS 349379 HAS SOUS 53831 HAS SOUPS 30633 WITH SCORE 31235.68
AT ITER 4916 NEW BEST:: SOT 876144 SOS 602680 HAS SOPS 349379 HAS SOUS 53813 HAS SOUPS 30623 WITH SCORE 31225.68
AT ITER 4919 NEW BEST:: SOT 876144 SOS 602680 HAS SOPS 349379 HAS SOUS 53768 HAS SOUPS 30598 WITH SCORE 31200.68
AT ITER 4929 NEW BEST:: SOT 877274 SOS 605025 HAS SOPS 351243 HAS SOUS 53702 HAS SOUPS 30564 WITH SCORE 31169.025
AT ITER 4990 NEW BEST:: SOT 877253 SOS 605004 HAS SOPS 351243 HAS SOUS 53702 HAS SOUPS 30564 WITH SCORE 31169.004
AT ITER 5111 NEW BEST:: SOT 877169 SOS 603396 HAS SOPS 351107 HAS SOUS 53542 HAS SOUPS 30496 WITH SCORE 31099.396
AT ITER 5138 NEW BEST:: SOT 876296 SOS 600431 HAS SOPS 348517 HAS SOUS 53507 HAS SOUPS 30461 WITH SCORE 31061.431
AT ITER 5143 NEW BEST:: SOT 876082 SOS 602112 HAS SOPS 348422 HAS SOUS 53579 HAS SOUPS 30422 WITH SCORE 31024.112
AT ITER 5153 NEW BEST:: SOT 875974 SOS 601897 HAS SOPS 348368 HAS SOUS 53524 HAS SOUPS 30421 WITH SCORE 31022.897
AT ITER 5160 NEW BEST:: SOT 875025 SOS 600395 HAS SOPS 347231 HAS SOUS 53412 HAS SOUPS 30313 WITH SCORE 30913.395
AT ITER 5171 NEW BEST:: SOT 875130 SOS 600744 HAS SOPS 347316 HAS SOUS 53415 HAS SOUPS 30278 WITH SCORE 30878.744
AT ITER 5178 NEW BEST:: SOT 873794 SOS 598139 HAS SOPS 345383 HAS SOUS 53377 HAS SOUPS 30240 WITH SCORE 30838.139
AT ITER 5186 NEW BEST:: SOT 873806 SOS 597779 HAS SOPS 345535 HAS SOUS 53343 HAS SOUPS 30238 WITH SCORE 30835.779
AT ITER 5231 NEW BEST:: SOT 873806 SOS 597677 HAS SOPS 345481 HAS SOUS 53334 HAS SOUPS 30232 WITH SCORE 30829.677
AT ITER 5233 NEW BEST:: SOT 873812 SOS 597699 HAS SOPS 345484 HAS SOUS 53327 HAS SOUPS 30222 WITH SCORE 30819.699
AT ITER 5239 NEW BEST:: SOT 873812 SOS 597474 HAS SOPS 345499 HAS SOUS 53312 HAS SOUPS 30222 WITH SCORE 30819.474
AT ITER 5258 NEW BEST:: SOT 873569 SOS 596989 HAS SOPS 345498 HAS SOUS 53241 HAS SOUPS 30221 WITH SCORE 30817.989
AT ITER 5277 NEW BEST:: SOT 873809 SOS 597595 HAS SOPS 345646 HAS SOUS 53251 HAS SOUPS 30212 WITH SCORE 30809.595
AT ITER 5295 NEW BEST:: SOT 873800 SOS 597533 HAS SOPS 345452 HAS SOUS 53253 HAS SOUPS 30203 WITH SCORE 30800.533
AT ITER 5332 NEW BEST:: SOT 873781 SOS 597514 HAS SOPS 345452 HAS SOUS 53253 HAS SOUPS 30203 WITH SCORE 30800.514
AT ITER 5384 NEW BEST:: SOT 873781 SOS 597546 HAS SOPS 345484 HAS SOUS 53251 HAS SOUPS 30201 WITH SCORE 30798.546
AT ITER 5389 NEW BEST:: SOT 873566 SOS 597236 HAS SOPS 345274 HAS SOUS 53244 HAS SOUPS 30194 WITH SCORE 30791.236
AT ITER 5416 NEW BEST:: SOT 873535 SOS 597205 HAS SOPS 345274 HAS SOUS 53244 HAS SOUPS 30194 WITH SCORE 30791.205
AT ITER 5423 NEW BEST:: SOT 873535 SOS 597205 HAS SOPS 345274 HAS SOUS 53217 HAS SOUPS 30179 WITH SCORE 30776.205
AT ITER 5483 NEW BEST:: SOT 872918 SOS 595069 HAS SOPS 344329 HAS SOUS 53130 HAS SOUPS 30125 WITH SCORE 30720.069
AT ITER 5561 NEW BEST:: SOT 872964 SOS 595115 HAS SOPS 344329 HAS SOUS 53121 HAS SOUPS 30120 WITH SCORE 30715.115
AT ITER 5574 NEW BEST:: SOT 872963 SOS 595114 HAS SOPS 344329 HAS SOUS 53121 HAS SOUPS 30120 WITH SCORE 30715.114
AT ITER 5698 NEW BEST:: SOT 872971 SOS 595046 HAS SOPS 344261 HAS SOUS 53121 HAS SOUPS 30120 WITH SCORE 30715.046
AT ITER 5701 NEW BEST:: SOT 872970 SOS 595044 HAS SOPS 344259 HAS SOUS 53120 HAS SOUPS 30119 WITH SCORE 30714.044
AT ITER 5703 NEW BEST:: SOT 872963 SOS 595037 HAS SOPS 344259 HAS SOUS 53120 HAS SOUPS 30119 WITH SCORE 30714.037
AT ITER 5729 NEW BEST:: SOT 872226 SOS 592473 HAS SOPS 343102 HAS SOUS 53047 HAS SOUPS 30117 WITH SCORE 30709.472999999998
AT ITER 5732 NEW BEST:: SOT 872134 SOS 592381 HAS SOPS 343102 HAS SOUS 53047 HAS SOUPS 30117 WITH SCORE 30709.381
AT ITER 5738 NEW BEST:: SOT 872125 SOS 592264 HAS SOPS 342985 HAS SOUS 53038 HAS SOUPS 30108 WITH SCORE 30700.264
AT ITER 5778 NEW BEST:: SOT 872115 SOS 592254 HAS SOPS 342985 HAS SOUS 53038 HAS SOUPS 30108 WITH SCORE 30700.254
AT ITER 5780 NEW BEST:: SOT 872089 SOS 591930 HAS SOPS 342823 HAS SOUS 53003 HAS SOUPS 30083 WITH SCORE 30674.93
AT ITER 5787 NEW BEST:: SOT 871801 SOS 588115 HAS SOPS 339549 HAS SOUS 52937 HAS SOUPS 30001 WITH SCORE 30589.115
AT ITER 5840 NEW BEST:: SOT 871621 SOS 587680 HAS SOPS 339444 HAS SOUS 52907 HAS SOUPS 29986 WITH SCORE 30573.68
AT ITER 5863 NEW BEST:: SOT 871809 SOS 587869 HAS SOPS 339531 HAS SOUS 52892 HAS SOUPS 29971 WITH SCORE 30558.869
AT ITER 5866 NEW BEST:: SOT 871365 SOS 586217 HAS SOPS 338051 HAS SOUS 52856 HAS SOUPS 29919 WITH SCORE 30505.217
AT ITER 5871 NEW BEST:: SOT 871315 SOS 586422 HAS SOPS 338048 HAS SOUS 52850 HAS SOUPS 29900 WITH SCORE 30486.422
AT ITER 5948 NEW BEST:: SOT 871315 SOS 586485 HAS SOPS 338138 HAS SOUS 52841 HAS SOUPS 29894 WITH SCORE 30480.485
AT ITER 5953 NEW BEST:: SOT 871257 SOS 585934 HAS SOPS 338051 HAS SOUS 52754 HAS SOUPS 29836 WITH SCORE 30421.934
AT ITER 5975 NEW BEST:: SOT 871279 SOS 586178 HAS SOPS 338287 HAS SOUS 52742 HAS SOUPS 29832 WITH SCORE 30418.178
AT ITER 6000 NEW BEST:: SOT 871210 SOS 586109 HAS SOPS 338287 HAS SOUS 52738 HAS SOUPS 29828 WITH SCORE 30414.109
AT ITER 6005 NEW BEST:: SOT 871152 SOS 586076 HAS SOPS 338176 HAS SOUS 52704 HAS SOUPS 29789 WITH SCORE 30375.076
AT ITER 6014 NEW BEST:: SOT 871148 SOS 586072 HAS SOPS 338236 HAS SOUS 52700 HAS SOUPS 29789 WITH SCORE 30375.072
AT ITER 6025 NEW BEST:: SOT 871137 SOS 586061 HAS SOPS 338236 HAS SOUS 52700 HAS SOUPS 29789 WITH SCORE 30375.061
AT ITER 6028 NEW BEST:: SOT 871539 SOS 586463 HAS SOPS 338638 HAS SOUS 52697 HAS SOUPS 29787 WITH SCORE 30373.463
AT ITER 6132 NEW BEST:: SOT 871538 SOS 586462 HAS SOPS 338637 HAS SOUS 52696 HAS SOUPS 29786 WITH SCORE 30372.462
AT ITER 6161 NEW BEST:: SOT 871556 SOS 586978 HAS SOPS 338865 HAS SOUS 52706 HAS SOUPS 29778 WITH SCORE 30364.978
AT ITER 6172 NEW BEST:: SOT 871106 SOS 586528 HAS SOPS 338415 HAS SOUS 52643 HAS SOUPS 29743 WITH SCORE 30329.528
AT ITER 6204 NEW BEST:: SOT 871119 SOS 586541 HAS SOPS 338220 HAS SOUS 52643 HAS SOUPS 29730 WITH SCORE 30316.541
AT ITER 6222 NEW BEST:: SOT 871130 SOS 586536 HAS SOPS 338204 HAS SOUS 52611 HAS SOUPS 29714 WITH SCORE 30300.536
AT ITER 6234 NEW BEST:: SOT 870765 SOS 585795 HAS SOPS 337638 HAS SOUS 52553 HAS SOUPS 29672 WITH SCORE 30257.795
AT ITER 6248 NEW BEST:: SOT 870645 SOS 585583 HAS SOPS 337442 HAS SOUS 52550 HAS SOUPS 29657 WITH SCORE 30242.583
AT ITER 6258 NEW BEST:: SOT 870645 SOS 585583 HAS SOPS 337442 HAS SOUS 52532 HAS SOUPS 29647 WITH SCORE 30232.583
AT ITER 6263 NEW BEST:: SOT 870624 SOS 585548 HAS SOPS 337407 HAS SOUS 52516 HAS SOUPS 29631 WITH SCORE 30216.548
AT ITER 6338 NEW BEST:: SOT 870463 SOS 585387 HAS SOPS 337407 HAS SOUS 52516 HAS SOUPS 29631 WITH SCORE 30216.387
AT ITER 6377 NEW BEST:: SOT 870447 SOS 585371 HAS SOPS 337391 HAS SOUS 52511 HAS SOUPS 29622 WITH SCORE 30207.371
AT ITER 6385 NEW BEST:: SOT 870430 SOS 585354 HAS SOPS 337391 HAS SOUS 52511 HAS SOUPS 29622 WITH SCORE 30207.354
AT ITER 6441 NEW BEST:: SOT 870334 SOS 583727 HAS SOPS 336035 HAS SOUS 52516 HAS SOUPS 29610 WITH SCORE 30193.727
AT ITER 6476 NEW BEST:: SOT 870338 SOS 583799 HAS SOPS 336043 HAS SOUS 52512 HAS SOUPS 29602 WITH SCORE 30185.799
AT ITER 6485 NEW BEST:: SOT 870318 SOS 583779 HAS SOPS 336043 HAS SOUS 52512 HAS SOUPS 29602 WITH SCORE 30185.779
AT ITER 6571 NEW BEST:: SOT 870272 SOS 583733 HAS SOPS 336043 HAS SOUS 52512 HAS SOUPS 29602 WITH SCORE 30185.733
AT ITER 6623 NEW BEST:: SOT 870272 SOS 583733 HAS SOPS 336043 HAS SOUS 52494 HAS SOUPS 29592 WITH SCORE 30175.733
AT ITER 6644 NEW BEST:: SOT 870285 SOS 584595 HAS SOPS 336905 HAS SOUS 52471 HAS SOUPS 29569 WITH SCORE 30153.595
AT ITER 6688 NEW BEST:: SOT 870284 SOS 584583 HAS SOPS 336905 HAS SOUS 52471 HAS SOUPS 29569 WITH SCORE 30153.583
AT ITER 6695 NEW BEST:: SOT 870272 SOS 584492 HAS SOPS 336930 HAS SOUS 52456 HAS SOUPS 29561 WITH SCORE 30145.492
AT ITER 6709 NEW BEST:: SOT 870301 SOS 584086 HAS SOPS 336988 HAS SOUS 52427 HAS SOUPS 29561 WITH SCORE 30145.086
AT ITER 6748 NEW BEST:: SOT 870493 SOS 584486 HAS SOPS 337084 HAS SOUS 52431 HAS SOUPS 29549 WITH SCORE 30133.486
AT ITER 6749 NEW BEST:: SOT 870475 SOS 584562 HAS SOPS 336920 HAS SOUS 52435 HAS SOUPS 29538 WITH SCORE 30122.562
AT ITER 6752 NEW BEST:: SOT 870144 SOS 583704 HAS SOPS 336692 HAS SOUS 52382 HAS SOUPS 29515 WITH SCORE 30098.704
AT ITER 6767 NEW BEST:: SOT 870144 SOS 583432 HAS SOPS 336416 HAS SOUS 52382 HAS SOUPS 29511 WITH SCORE 30094.432
AT ITER 6776 NEW BEST:: SOT 870186 SOS 583348 HAS SOPS 336430 HAS SOUS 52398 HAS SOUPS 29511 WITH SCORE 30094.347999999998
AT ITER 6812 NEW BEST:: SOT 870211 SOS 583298 HAS SOPS 336400 HAS SOUS 52385 HAS SOUPS 29499 WITH SCORE 30082.298
AT ITER 6827 NEW BEST:: SOT 870202 SOS 583289 HAS SOPS 336400 HAS SOUS 52385 HAS SOUPS 29499 WITH SCORE 30082.289
AT ITER 6839 NEW BEST:: SOT 870283 SOS 583370 HAS SOPS 336400 HAS SOUS 52366 HAS SOUPS 29492 WITH SCORE 30075.37
AT ITER 6871 NEW BEST:: SOT 870107 SOS 583221 HAS SOPS 336210 HAS SOUS 52345 HAS SOUPS 29473 WITH SCORE 30056.221
AT ITER 6886 NEW BEST:: SOT 870045 SOS 582553 HAS SOPS 335542 HAS SOUS 52305 HAS SOUPS 29433 WITH SCORE 30015.553
AT ITER 6919 NEW BEST:: SOT 870042 SOS 582544 HAS SOPS 335536 HAS SOUS 52299 HAS SOUPS 29427 WITH SCORE 30009.544
AT ITER 6921 NEW BEST:: SOT 870079 SOS 582735 HAS SOPS 335727 HAS SOUS 52281 HAS SOUPS 29409 WITH SCORE 29991.735
AT ITER 7051 NEW BEST:: SOT 869947 SOS 582591 HAS SOPS 335643 HAS SOUS 52277 HAS SOUPS 29405 WITH SCORE 29987.591
AT ITER 7145 NEW BEST:: SOT 869935 SOS 582579 HAS SOPS 335631 HAS SOUS 52277 HAS SOUPS 29405 WITH SCORE 29987.579
AT ITER 7161 NEW BEST:: SOT 870076 SOS 583044 HAS SOPS 335743 HAS SOUS 52269 HAS SOUPS 29397 WITH SCORE 29980.044
AT ITER 7205 NEW BEST:: SOT 869894 SOS 582386 HAS SOPS 335393 HAS SOUS 52227 HAS SOUPS 29369 WITH SCORE 29951.386
AT ITER 7241 NEW BEST:: SOT 869488 SOS 581187 HAS SOPS 334324 HAS SOUS 52158 HAS SOUPS 29300 WITH SCORE 29881.187
AT ITER 7261 NEW BEST:: SOT 869602 SOS 581301 HAS SOPS 334438 HAS SOUS 52143 HAS SOUPS 29290 WITH SCORE 29871.301
AT ITER 7262 NEW BEST:: SOT 869589 SOS 581288 HAS SOPS 334425 HAS SOUS 52130 HAS SOUPS 29277 WITH SCORE 29858.288
AT ITER 7315 NEW BEST:: SOT 869586 SOS 581579 HAS SOPS 334348 HAS SOUS 52149 HAS SOUPS 29273 WITH SCORE 29854.579
AT ITER 7322 NEW BEST:: SOT 869526 SOS 581474 HAS SOPS 334318 HAS SOUS 52134 HAS SOUPS 29273 WITH SCORE 29854.474
AT ITER 7352 NEW BEST:: SOT 869526 SOS 581474 HAS SOPS 334318 HAS SOUS 52125 HAS SOUPS 29268 WITH SCORE 29849.474
AT ITER 7412 NEW BEST:: SOT 869525 SOS 581473 HAS SOPS 334317 HAS SOUS 52124 HAS SOUPS 29267 WITH SCORE 29848.472999999998
AT ITER 7449 NEW BEST:: SOT 869509 SOS 581457 HAS SOPS 334317 HAS SOUS 52124 HAS SOUPS 29267 WITH SCORE 29848.457
AT ITER 7456 NEW BEST:: SOT 869496 SOS 581444 HAS SOPS 334317 HAS SOUS 52124 HAS SOUPS 29267 WITH SCORE 29848.444
AT ITER 7459 NEW BEST:: SOT 869380 SOS 580608 HAS SOPS 333829 HAS SOUS 52115 HAS SOUPS 29258 WITH SCORE 29838.608
AT ITER 7464 NEW BEST:: SOT 869398 SOS 580626 HAS SOPS 333847 HAS SOUS 52109 HAS SOUPS 29252 WITH SCORE 29832.626
AT ITER 7475 NEW BEST:: SOT 869390 SOS 580610 HAS SOPS 333843 HAS SOUS 52105 HAS SOUPS 29252 WITH SCORE 29832.61
AT ITER 7485 NEW BEST:: SOT 869396 SOS 580734 HAS SOPS 334079 HAS SOUS 52097 HAS SOUPS 29251 WITH SCORE 29831.734
AT ITER 7528 NEW BEST:: SOT 869391 SOS 580724 HAS SOPS 334069 HAS SOUS 52094 HAS SOUPS 29248 WITH SCORE 29828.724
AT ITER 7533 NEW BEST:: SOT 869391 SOS 580724 HAS SOPS 334069 HAS SOUS 52061 HAS SOUPS 29226 WITH SCORE 29806.724
AT ITER 7541 NEW BEST:: SOT 869342 SOS 580431 HAS SOPS 333785 HAS SOUS 52056 HAS SOUPS 29206 WITH SCORE 29786.431
AT ITER 7557 NEW BEST:: SOT 869872 SOS 581399 HAS SOPS 334122 HAS SOUS 52132 HAS SOUPS 29205 WITH SCORE 29786.399
AT ITER 7626 NEW BEST:: SOT 869872 SOS 581399 HAS SOPS 334122 HAS SOUS 52087 HAS SOUPS 29180 WITH SCORE 29761.399
AT ITER 7640 NEW BEST:: SOT 869853 SOS 581380 HAS SOPS 334122 HAS SOUS 52087 HAS SOUPS 29180 WITH SCORE 29761.38
AT ITER 7643 NEW BEST:: SOT 870065 SOS 581624 HAS SOPS 334266 HAS SOUS 52083 HAS SOUPS 29176 WITH SCORE 29757.624
AT ITER 7695 NEW BEST:: SOT 870069 SOS 581594 HAS SOPS 334268 HAS SOUS 52081 HAS SOUPS 29176 WITH SCORE 29757.594
AT ITER 7706 NEW BEST:: SOT 870069 SOS 581578 HAS SOPS 334204 HAS SOUS 52085 HAS SOUPS 29176 WITH SCORE 29757.578
AT ITER 7721 NEW BEST:: SOT 870069 SOS 581578 HAS SOPS 334204 HAS SOUS 52004 HAS SOUPS 29131 WITH SCORE 29712.578
AT ITER 7752 NEW BEST:: SOT 870081 SOS 581306 HAS SOPS 334124 HAS SOUS 51987 HAS SOUPS 29126 WITH SCORE 29707.306
AT ITER 7791 NEW BEST:: SOT 870103 SOS 580999 HAS SOPS 334100 HAS SOUS 51948 HAS SOUPS 29126 WITH SCORE 29706.999
AT ITER 7797 NEW BEST:: SOT 870042 SOS 580864 HAS SOPS 333965 HAS SOUS 51946 HAS SOUPS 29124 WITH SCORE 29704.864
AT ITER 7924 NEW BEST:: SOT 870042 SOS 580864 HAS SOPS 333965 HAS SOUS 51928 HAS SOUPS 29114 WITH SCORE 29694.864
AT ITER 7937 NEW BEST:: SOT 870039 SOS 580861 HAS SOPS 333962 HAS SOUS 51925 HAS SOUPS 29111 WITH SCORE 29691.861
AT ITER 7977 NEW BEST:: SOT 870032 SOS 580854 HAS SOPS 333962 HAS SOUS 51925 HAS SOUPS 29111 WITH SCORE 29691.854
AT ITER 8022 NEW BEST:: SOT 870650 SOS 581479 HAS SOPS 334305 HAS SOUS 51892 HAS SOUPS 29078 WITH SCORE 29659.479
AT ITER 8132 NEW BEST:: SOT 870564 SOS 581357 HAS SOPS 334222 HAS SOUS 51874 HAS SOUPS 29060 WITH SCORE 29641.357
AT ITER 8174 NEW BEST:: SOT 870562 SOS 581355 HAS SOPS 334222 HAS SOUS 51874 HAS SOUPS 29060 WITH SCORE 29641.355
AT ITER 8192 NEW BEST:: SOT 870556 SOS 581349 HAS SOPS 334222 HAS SOUS 51874 HAS SOUPS 29060 WITH SCORE 29641.349
AT ITER 8226 NEW BEST:: SOT 870625 SOS 581427 HAS SOPS 334255 HAS SOUS 51859 HAS SOUPS 29045 WITH SCORE 29626.427
AT ITER 8265 NEW BEST:: SOT 870575 SOS 581730 HAS SOPS 334217 HAS SOUS 51837 HAS SOUPS 29015 WITH SCORE 29596.73
AT ITER 8271 NEW BEST:: SOT 870567 SOS 581490 HAS SOPS 333945 HAS SOUS 51837 HAS SOUPS 29007 WITH SCORE 29588.49
AT ITER 8322 NEW BEST:: SOT 870833 SOS 582217 HAS SOPS 334117 HAS SOUS 51841 HAS SOUPS 28990 WITH SCORE 29572.217
AT ITER 8336 NEW BEST:: SOT 870993 SOS 582383 HAS SOPS 334211 HAS SOUS 51839 HAS SOUPS 28988 WITH SCORE 29570.383
AT ITER 8408 NEW BEST:: SOT 871464 SOS 583357 HAS SOPS 334517 HAS SOUS 51972 HAS SOUPS 28956 WITH SCORE 29539.357
AT ITER 8411 NEW BEST:: SOT 871536 SOS 583507 HAS SOPS 334553 HAS SOUS 51970 HAS SOUPS 28948 WITH SCORE 29531.507
AT ITER 8430 NEW BEST:: SOT 871492 SOS 583308 HAS SOPS 334354 HAS SOUS 51962 HAS SOUPS 28940 WITH SCORE 29523.308
AT ITER 8448 NEW BEST:: SOT 871588 SOS 583572 HAS SOPS 334414 HAS SOUS 51959 HAS SOUPS 28933 WITH SCORE 29516.572
AT ITER 8452 NEW BEST:: SOT 871594 SOS 583515 HAS SOPS 334390 HAS SOUS 51957 HAS SOUPS 28932 WITH SCORE 29515.515
AT ITER 8467 NEW BEST:: SOT 871540 SOS 583405 HAS SOPS 334300 HAS SOUS 51947 HAS SOUPS 28922 WITH SCORE 29505.405
AT ITER 8490 NEW BEST:: SOT 871532 SOS 583104 HAS SOPS 333999 HAS SOUS 51939 HAS SOUPS 28914 WITH SCORE 29497.104
AT ITER 8498 NEW BEST:: SOT 871988 SOS 583560 HAS SOPS 334455 HAS SOUS 51939 HAS SOUPS 28910 WITH SCORE 29493.56
AT ITER 8564 NEW BEST:: SOT 871982 SOS 583548 HAS SOPS 334452 HAS SOUS 51936 HAS SOUPS 28910 WITH SCORE 29493.548
AT ITER 8574 NEW BEST:: SOT 871946 SOS 583512 HAS SOPS 334416 HAS SOUS 51936 HAS SOUPS 28910 WITH SCORE 29493.512
AT ITER 8620 NEW BEST:: SOT 871943 SOS 583525 HAS SOPS 334429 HAS SOUS 51934 HAS SOUPS 28908 WITH SCORE 29491.525
AT ITER 8714 NEW BEST:: SOT 871829 SOS 583411 HAS SOPS 334315 HAS SOUS 51934 HAS SOUPS 28908 WITH SCORE 29491.411
AT ITER 8718 NEW BEST:: SOT 871685 SOS 583000 HAS SOPS 334186 HAS SOUS 51918 HAS SOUPS 28897 WITH SCORE 29480.0
AT ITER 8748 NEW BEST:: SOT 871680 SOS 582995 HAS SOPS 334186 HAS SOUS 51918 HAS SOUPS 28897 WITH SCORE 29479.995
AT ITER 8770 NEW BEST:: SOT 871680 SOS 582995 HAS SOPS 334186 HAS SOUS 51783 HAS SOUPS 28822 WITH SCORE 29404.995
AT ITER 8812 NEW BEST:: SOT 871681 SOS 582531 HAS SOPS 333722 HAS SOUS 51774 HAS SOUPS 28813 WITH SCORE 29395.531
AT ITER 8861 NEW BEST:: SOT 871681 SOS 582531 HAS SOPS 333722 HAS SOUS 51771 HAS SOUPS 28811 WITH SCORE 29393.531
AT ITER 8864 NEW BEST:: SOT 871555 SOS 582218 HAS SOPS 333651 HAS SOUS 51754 HAS SOUPS 28805 WITH SCORE 29387.218
AT ITER 8922 NEW BEST:: SOT 871485 SOS 582148 HAS SOPS 333616 HAS SOUS 51747 HAS SOUPS 28798 WITH SCORE 29380.148
AT ITER 9051 NEW BEST:: SOT 871647 SOS 582310 HAS SOPS 333778 HAS SOUS 51744 HAS SOUPS 28796 WITH SCORE 29378.31
AT ITER 9113 NEW BEST:: SOT 871648 SOS 582279 HAS SOPS 333830 HAS SOUS 51731 HAS SOUPS 28789 WITH SCORE 29371.279
AT ITER 9158 NEW BEST:: SOT 871642 SOS 582273 HAS SOPS 333824 HAS SOUS 51731 HAS SOUPS 28789 WITH SCORE 29371.273
AT ITER 9179 NEW BEST:: SOT 871490 SOS 582095 HAS SOPS 333716 HAS SOUS 51723 HAS SOUPS 28781 WITH SCORE 29363.095
AT ITER 9184 NEW BEST:: SOT 871488 SOS 582093 HAS SOPS 333716 HAS SOUS 51719 HAS SOUPS 28777 WITH SCORE 29359.093
AT ITER 9298 NEW BEST:: SOT 871410 SOS 582015 HAS SOPS 333638 HAS SOUS 51719 HAS SOUPS 28777 WITH SCORE 29359.015
AT ITER 9349 NEW BEST:: SOT 871394 SOS 581999 HAS SOPS 333638 HAS SOUS 51719 HAS SOUPS 28777 WITH SCORE 29358.999
AT ITER 9431 NEW BEST:: SOT 871376 SOS 581993 HAS SOPS 333626 HAS SOUS 51713 HAS SOUPS 28771 WITH SCORE 29352.993
AT ITER 9459 NEW BEST:: SOT 871449 SOS 581115 HAS SOPS 333164 HAS SOUS 51655 HAS SOUPS 28745 WITH SCORE 29326.115
AT ITER 9477 NEW BEST:: SOT 871284 SOS 580701 HAS SOPS 333058 HAS SOUS 51636 HAS SOUPS 28740 WITH SCORE 29320.701
AT ITER 9478 NEW BEST:: SOT 871257 SOS 580674 HAS SOPS 333058 HAS SOUS 51636 HAS SOUPS 28740 WITH SCORE 29320.674
AT ITER 9549 NEW BEST:: SOT 871257 SOS 580674 HAS SOPS 333058 HAS SOUS 51627 HAS SOUPS 28735 WITH SCORE 29315.674
AT ITER 9569 NEW BEST:: SOT 871256 SOS 580660 HAS SOPS 333008 HAS SOUS 51625 HAS SOUPS 28733 WITH SCORE 29313.66
AT ITER 9587 NEW BEST:: SOT 871247 SOS 580633 HAS SOPS 332837 HAS SOUS 51623 HAS SOUPS 28722 WITH SCORE 29302.633
AT ITER 9593 NEW BEST:: SOT 871229 SOS 580615 HAS SOPS 332837 HAS SOUS 51595 HAS SOUPS 28694 WITH SCORE 29274.615
AT ITER 9605 NEW BEST:: SOT 871222 SOS 580384 HAS SOPS 332592 HAS SOUS 51574 HAS SOUPS 28673 WITH SCORE 29253.384
AT ITER 9621 NEW BEST:: SOT 871283 SOS 578903 HAS SOPS 331410 HAS SOUS 51569 HAS SOUPS 28670 WITH SCORE 29248.903
AT ITER 9627 NEW BEST:: SOT 871256 SOS 578876 HAS SOPS 331410 HAS SOUS 51569 HAS SOUPS 28670 WITH SCORE 29248.876
AT ITER 9650 NEW BEST:: SOT 871376 SOS 579166 HAS SOPS 331480 HAS SOUS 51569 HAS SOUPS 28660 WITH SCORE 29239.166
AT ITER 9718 NEW BEST:: SOT 871374 SOS 579164 HAS SOPS 331478 HAS SOUS 51567 HAS SOUPS 28658 WITH SCORE 29237.164
AT ITER 9858 NEW BEST:: SOT 871302 SOS 578964 HAS SOPS 331430 HAS SOUS 51559 HAS SOUPS 28658 WITH SCORE 29236.964
AT ITER 9869 NEW BEST:: SOT 871284 SOS 578946 HAS SOPS 331412 HAS SOUS 51559 HAS SOUPS 28658 WITH SCORE 29236.946
AT ITER 9883 NEW BEST:: SOT 870884 SOS 578162 HAS SOPS 331129 HAS SOUS 51496 HAS SOUPS 28644 WITH SCORE 29222.162
AT ITER 9921 NEW BEST:: SOT 870788 SOS 577794 HAS SOPS 330929 HAS SOUS 51472 HAS SOUPS 28628 WITH SCORE 29205.794
AT ITER 9924 NEW BEST:: SOT 870691 SOS 578396 HAS SOPS 331566 HAS SOUS 51448 HAS SOUPS 28604 WITH SCORE 29182.396
AT ITER 9946 NEW BEST:: SOT 870565 SOS 578270 HAS SOPS 331440 HAS SOUS 51448 HAS SOUPS 28604 WITH SCORE 29182.27
AT ITER 9990 NEW BEST:: SOT 870565 SOS 578270 HAS SOPS 331440 HAS SOUS 51439 HAS SOUPS 28599 WITH SCORE 29177.27

BK_STOP 1678426633130

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 482 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-12a"
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 DLCround-PT-12a, 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 r107-tall-167814484600768"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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