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.r171-tall-167838858600416.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 FamilyReunion-PT-L00050M0005C002P002G001, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858600416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.6M
-rw-r--r-- 1 mcc users 113K Feb 26 12:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 682K Feb 26 12:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 198K Feb 26 12:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 726K Feb 26 12:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 32K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 81K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 238K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 197K Feb 26 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Feb 26 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 297K Feb 26 12:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 994K Feb 26 12:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 35K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.7M 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 1679465538998

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=FamilyReunion-PT-L00050M0005C002P002G001
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 06:12:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 06:12:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 06:12:20] [INFO ] Load time of PNML (sax parser for PT used): 306 ms
[2023-03-22 06:12:20] [INFO ] Transformed 12194 places.
[2023-03-22 06:12:20] [INFO ] Transformed 10560 transitions.
[2023-03-22 06:12:21] [INFO ] Parsed PT model containing 12194 places and 10560 transitions and 32238 arcs in 541 ms.
[2023-03-22 06:12:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 12194 places, 10560 transitions and 32238 arcs took 78 ms.
Total runtime 649 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (PT), instance L00050M0005C002P002G001
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: 12194 places, 10560 transitions, 32238 arcs.
AT ITER 0 NEW BEST:: SOT 73420986 SOS 11176261 HAS SOPS 10898260 HAS SOUS 9805664 HAS SOUPS 9799841 WITH SCORE 9811017.261
AT ITER 4 NEW BEST:: SOT 73420497 SOS 11174977 HAS SOPS 10896976 HAS SOUS 9804380 HAS SOUPS 9798557 WITH SCORE 9809731.977
AT ITER 32 NEW BEST:: SOT 73420063 SOS 11174642 HAS SOPS 10896641 HAS SOUS 9803994 HAS SOUPS 9798171 WITH SCORE 9809345.642
AT ITER 109 NEW BEST:: SOT 73419943 SOS 11173256 HAS SOPS 10895255 HAS SOUS 9803883 HAS SOUPS 9798060 WITH SCORE 9809233.256
AT ITER 112 NEW BEST:: SOT 73419631 SOS 11172644 HAS SOPS 10894643 HAS SOUS 9802959 HAS SOUPS 9797136 WITH SCORE 9808308.644
AT ITER 123 NEW BEST:: SOT 73418878 SOS 11171114 HAS SOPS 10893113 HAS SOUS 9801429 HAS SOUPS 9795606 WITH SCORE 9806777.114
AT ITER 144 NEW BEST:: SOT 73417716 SOS 11170228 HAS SOPS 10892227 HAS SOUS 9800543 HAS SOUPS 9794720 WITH SCORE 9805890.228
AT ITER 160 NEW BEST:: SOT 73417662 SOS 11170066 HAS SOPS 10892065 HAS SOUS 9800381 HAS SOUPS 9794558 WITH SCORE 9805728.066
AT ITER 191 NEW BEST:: SOT 73417277 SOS 11169859 HAS SOPS 10891702 HAS SOUS 9800132 HAS SOUPS 9794195 WITH SCORE 9805364.859
AT ITER 196 NEW BEST:: SOT 73417277 SOS 11168941 HAS SOPS 10890784 HAS SOUS 9799214 HAS SOUPS 9793277 WITH SCORE 9804445.941
AT ITER 205 NEW BEST:: SOT 73418904 SOS 11170956 HAS SOPS 10890048 HAS SOUS 9801680 HAS SOUPS 9793076 WITH SCORE 9804246.956
AT ITER 273 NEW BEST:: SOT 73418241 SOS 11170209 HAS SOPS 10889301 HAS SOUS 9800933 HAS SOUPS 9792329 WITH SCORE 9803499.209
AT ITER 279 NEW BEST:: SOT 73417809 SOS 11169903 HAS SOPS 10888995 HAS SOUS 9800576 HAS SOUPS 9791972 WITH SCORE 9803141.903
AT ITER 283 NEW BEST:: SOT 73417035 SOS 11168985 HAS SOPS 10888077 HAS SOUS 9799658 HAS SOUPS 9791054 WITH SCORE 9802222.985
AT ITER 288 NEW BEST:: SOT 73416452 SOS 11167513 HAS SOPS 10886605 HAS SOUS 9798186 HAS SOUPS 9789582 WITH SCORE 9800749.513
AT ITER 338 NEW BEST:: SOT 73416057 SOS 11166901 HAS SOPS 10885993 HAS SOUS 9797179 HAS SOUPS 9788575 WITH SCORE 9799741.901
AT ITER 362 NEW BEST:: SOT 73415662 SOS 11166673 HAS SOPS 10885765 HAS SOUS 9796900 HAS SOUPS 9788296 WITH SCORE 9799462.673
AT ITER 366 NEW BEST:: SOT 73414999 SOS 11165873 HAS SOPS 10884965 HAS SOUS 9796100 HAS SOUPS 9787496 WITH SCORE 9798661.873
AT ITER 379 NEW BEST:: SOT 73414450 SOS 11165603 HAS SOPS 10884695 HAS SOUS 9795830 HAS SOUPS 9787226 WITH SCORE 9798391.603
AT ITER 380 NEW BEST:: SOT 73414039 SOS 11164500 HAS SOPS 10883592 HAS SOUS 9795436 HAS SOUPS 9786832 WITH SCORE 9797996.5
AT ITER 418 NEW BEST:: SOT 73413010 SOS 11163674 HAS SOPS 10882766 HAS SOUS 9794610 HAS SOUPS 9786006 WITH SCORE 9797169.674
AT ITER 423 NEW BEST:: SOT 73412041 SOS 11162999 HAS SOPS 10882091 HAS SOUS 9793935 HAS SOUPS 9785331 WITH SCORE 9796493.999
AT ITER 427 NEW BEST:: SOT 73412041 SOS 11161975 HAS SOPS 10881067 HAS SOUS 9793935 HAS SOUPS 9785331 WITH SCORE 9796492.975
AT ITER 434 NEW BEST:: SOT 73411419 SOS 11160445 HAS SOPS 10879537 HAS SOUS 9792405 HAS SOUPS 9783801 WITH SCORE 9794961.445
AT ITER 453 NEW BEST:: SOT 73411174 SOS 11159710 HAS SOPS 10878802 HAS SOUS 9791670 HAS SOUPS 9783066 WITH SCORE 9794225.71
AT ITER 465 NEW BEST:: SOT 73411174 SOS 11197195 HAS SOPS 10916287 HAS SOUS 9791505 HAS SOUPS 9782901 WITH SCORE 9794098.195
AT ITER 484 NEW BEST:: SOT 73410876 SOS 11196301 HAS SOPS 10915393 HAS SOUS 9790611 HAS SOUPS 9782007 WITH SCORE 9793203.301
AT ITER 544 NEW BEST:: SOT 73410274 SOS 11194791 HAS SOPS 10913883 HAS SOUS 9789101 HAS SOUPS 9780497 WITH SCORE 9791691.791
AT ITER 558 NEW BEST:: SOT 73410148 SOS 11194607 HAS SOPS 10913699 HAS SOUS 9788928 HAS SOUPS 9780324 WITH SCORE 9791518.607
AT ITER 564 NEW BEST:: SOT 73409676 SOS 11193778 HAS SOPS 10912870 HAS SOUS 9788456 HAS SOUPS 9779852 WITH SCORE 9791045.778
AT ITER 616 NEW BEST:: SOT 73409376 SOS 11192878 HAS SOPS 10911970 HAS SOUS 9787556 HAS SOUPS 9778952 WITH SCORE 9790144.878
AT ITER 690 NEW BEST:: SOT 73408783 SOS 11192707 HAS SOPS 10911799 HAS SOUS 9786441 HAS SOUPS 9777837 WITH SCORE 9789029.707
AT ITER 696 NEW BEST:: SOT 73408528 SOS 11192693 HAS SOPS 10911785 HAS SOUS 9786427 HAS SOUPS 9777823 WITH SCORE 9789015.693
AT ITER 755 NEW BEST:: SOT 73408097 SOS 11192310 HAS SOPS 10911402 HAS SOUS 9786044 HAS SOUPS 9777440 WITH SCORE 9788632.31
AT ITER 761 NEW BEST:: SOT 73407698 SOS 11191231 HAS SOPS 10910323 HAS SOUS 9785675 HAS SOUPS 9777071 WITH SCORE 9788262.231
AT ITER 776 NEW BEST:: SOT 73406729 SOS 11190617 HAS SOPS 10909709 HAS SOUS 9785061 HAS SOUPS 9776457 WITH SCORE 9787647.617
AT ITER 805 NEW BEST:: SOT 73406146 SOS 11189145 HAS SOPS 10908237 HAS SOUS 9783589 HAS SOUPS 9774985 WITH SCORE 9786174.145
AT ITER 849 NEW BEST:: SOT 73404768 SOS 11187827 HAS SOPS 10906919 HAS SOUS 9782271 HAS SOUPS 9773667 WITH SCORE 9784854.827
AT ITER 853 NEW BEST:: SOT 73404768 SOS 11186318 HAS SOPS 10905410 HAS SOUS 9781659 HAS SOUPS 9773055 WITH SCORE 9784241.318
AT ITER 859 NEW BEST:: SOT 73404215 SOS 11184906 HAS SOPS 10903998 HAS SOUS 9780247 HAS SOUPS 9771643 WITH SCORE 9782827.906
AT ITER 909 NEW BEST:: SOT 73404109 SOS 11184863 HAS SOPS 10903955 HAS SOUS 9780204 HAS SOUPS 9771600 WITH SCORE 9782784.863
AT ITER 918 NEW BEST:: SOT 73403270 SOS 11184205 HAS SOPS 10903297 HAS SOUS 9779546 HAS SOUPS 9770942 WITH SCORE 9782126.205
AT ITER 919 NEW BEST:: SOT 73402484 SOS 11184071 HAS SOPS 10903163 HAS SOUS 9779412 HAS SOUPS 9770808 WITH SCORE 9781992.071
AT ITER 995 NEW BEST:: SOT 73401371 SOS 11183077 HAS SOPS 10902169 HAS SOUS 9778418 HAS SOUPS 9769814 WITH SCORE 9780997.077
AT ITER 998 NEW BEST:: SOT 73401104 SOS 11181947 HAS SOPS 10901039 HAS SOUS 9777288 HAS SOUPS 9768684 WITH SCORE 9779865.947
AT ITER 1007 NEW BEST:: SOT 73401104 SOS 11180617 HAS SOPS 10899709 HAS SOUS 9776676 HAS SOUPS 9768072 WITH SCORE 9779252.617
AT ITER 1021 NEW BEST:: SOT 73401104 SOS 11180370 HAS SOPS 10899462 HAS SOUS 9776645 HAS SOUPS 9768041 WITH SCORE 9779221.37
AT ITER 1023 NEW BEST:: SOT 73399877 SOS 11179552 HAS SOPS 10898644 HAS SOUS 9775827 HAS SOUPS 9767223 WITH SCORE 9778402.552
AT ITER 1028 NEW BEST:: SOT 73398975 SOS 11178022 HAS SOPS 10897114 HAS SOUS 9774297 HAS SOUPS 9765693 WITH SCORE 9776871.022
AT ITER 1030 NEW BEST:: SOT 73398491 SOS 11176748 HAS SOPS 10895840 HAS SOUS 9773023 HAS SOUPS 9764419 WITH SCORE 9775595.748
AT ITER 1074 NEW BEST:: SOT 73398100 SOS 11175745 HAS SOPS 10894837 HAS SOUS 9772020 HAS SOUPS 9763416 WITH SCORE 9774591.745
AT ITER 1085 NEW BEST:: SOT 73397989 SOS 11175376 HAS SOPS 10894468 HAS SOUS 9771904 HAS SOUPS 9763300 WITH SCORE 9774475.376
AT ITER 1092 NEW BEST:: SOT 73397782 SOS 11174755 HAS SOPS 10893847 HAS SOUS 9771283 HAS SOUPS 9762679 WITH SCORE 9773853.755
AT ITER 1104 NEW BEST:: SOT 73396811 SOS 11174122 HAS SOPS 10893214 HAS SOUS 9770650 HAS SOUPS 9762046 WITH SCORE 9773220.122
AT ITER 1115 NEW BEST:: SOT 73396108 SOS 11174017 HAS SOPS 10893109 HAS SOUS 9770545 HAS SOUPS 9761941 WITH SCORE 9773115.017
AT ITER 1141 NEW BEST:: SOT 73396043 SOS 11174470 HAS SOPS 10893562 HAS SOUS 9770436 HAS SOUPS 9761832 WITH SCORE 9773006.47
AT ITER 1151 NEW BEST:: SOT 73378283 SOS 11814051 HAS SOPS 11533143 HAS SOUS 9765564 HAS SOUPS 9756960 WITH SCORE 9768774.051
AT ITER 1183 NEW BEST:: SOT 73377914 SOS 11812886 HAS SOPS 11531978 HAS SOUS 9764399 HAS SOUPS 9755795 WITH SCORE 9767607.886
AT ITER 1191 NEW BEST:: SOT 73377466 SOS 11811965 HAS SOPS 11531057 HAS SOUS 9763881 HAS SOUPS 9755277 WITH SCORE 9767088.965
AT ITER 1194 NEW BEST:: SOT 73376847 SOS 11810435 HAS SOPS 11529527 HAS SOUS 9762351 HAS SOUPS 9753747 WITH SCORE 9765557.435
AT ITER 1195 NEW BEST:: SOT 73372405 SOS 11868111 HAS SOPS 11587203 HAS SOUS 9759079 HAS SOUPS 9750475 WITH SCORE 9762343.111
AT ITER 1204 NEW BEST:: SOT 73371291 SOS 11866903 HAS SOPS 11585995 HAS SOUS 9757871 HAS SOUPS 9749267 WITH SCORE 9761133.903
AT ITER 1207 NEW BEST:: SOT 73370846 SOS 11866546 HAS SOPS 11585638 HAS SOUS 9757514 HAS SOUPS 9748910 WITH SCORE 9760776.546
AT ITER 1213 NEW BEST:: SOT 73370188 SOS 11865016 HAS SOPS 11584108 HAS SOUS 9755984 HAS SOUPS 9747380 WITH SCORE 9759245.016
AT ITER 1234 NEW BEST:: SOT 73369247 SOS 11864154 HAS SOPS 11583246 HAS SOUS 9755122 HAS SOUPS 9746518 WITH SCORE 9758382.154
AT ITER 1241 NEW BEST:: SOT 73368297 SOS 11863236 HAS SOPS 11582328 HAS SOUS 9754204 HAS SOUPS 9745600 WITH SCORE 9757463.236
AT ITER 1244 NEW BEST:: SOT 73368297 SOS 11862367 HAS SOPS 11581459 HAS SOUS 9754204 HAS SOUPS 9745600 WITH SCORE 9757462.367
AT ITER 1248 NEW BEST:: SOT 73367528 SOS 11861565 HAS SOPS 11580657 HAS SOUS 9753402 HAS SOUPS 9744798 WITH SCORE 9756659.565
AT ITER 1265 NEW BEST:: SOT 73367528 SOS 11861501 HAS SOPS 11580593 HAS SOUS 9753338 HAS SOUPS 9744734 WITH SCORE 9756595.501
AT ITER 1286 NEW BEST:: SOT 73367556 SOS 11861251 HAS SOPS 11580343 HAS SOUS 9753088 HAS SOUPS 9744484 WITH SCORE 9756345.251
AT ITER 1292 NEW BEST:: SOT 73366352 SOS 11860281 HAS SOPS 11579373 HAS SOUS 9752118 HAS SOUPS 9743514 WITH SCORE 9755374.281
AT ITER 1302 NEW BEST:: SOT 73365592 SOS 11859549 HAS SOPS 11578641 HAS SOUS 9751386 HAS SOUPS 9742782 WITH SCORE 9754641.549
AT ITER 1320 NEW BEST:: SOT 73364929 SOS 11858672 HAS SOPS 11577764 HAS SOUS 9750509 HAS SOUPS 9741905 WITH SCORE 9753763.672
AT ITER 1322 NEW BEST:: SOT 73364119 SOS 11858226 HAS SOPS 11577318 HAS SOUS 9749172 HAS SOUPS 9740568 WITH SCORE 9752426.226
AT ITER 1360 NEW BEST:: SOT 73363905 SOS 11857584 HAS SOPS 11576676 HAS SOUS 9748530 HAS SOUPS 9739926 WITH SCORE 9751783.584
AT ITER 1361 NEW BEST:: SOT 73363505 SOS 11856572 HAS SOPS 11575664 HAS SOUS 9747518 HAS SOUPS 9738914 WITH SCORE 9750770.572
AT ITER 1363 NEW BEST:: SOT 73363228 SOS 11855741 HAS SOPS 11574833 HAS SOUS 9746687 HAS SOUPS 9738083 WITH SCORE 9749938.741
AT ITER 1372 NEW BEST:: SOT 73362316 SOS 11854166 HAS SOPS 11573258 HAS SOUS 9745163 HAS SOUPS 9736559 WITH SCORE 9748413.166
AT ITER 1395 NEW BEST:: SOT 73360520 SOS 11852350 HAS SOPS 11571442 HAS SOUS 9743347 HAS SOUPS 9734743 WITH SCORE 9746595.35
AT ITER 1407 NEW BEST:: SOT 73359751 SOS 11851687 HAS SOPS 11570779 HAS SOUS 9742684 HAS SOUPS 9734080 WITH SCORE 9745931.687
AT ITER 1410 NEW BEST:: SOT 73359617 SOS 11851285 HAS SOPS 11570377 HAS SOUS 9742282 HAS SOUPS 9733678 WITH SCORE 9745529.285
AT ITER 1435 NEW BEST:: SOT 73358887 SOS 11849755 HAS SOPS 11568847 HAS SOUS 9740752 HAS SOUPS 9732148 WITH SCORE 9743997.755
AT ITER 1445 NEW BEST:: SOT 73358887 SOS 11849742 HAS SOPS 11568834 HAS SOUS 9740739 HAS SOUPS 9732135 WITH SCORE 9743984.742
AT ITER 1467 NEW BEST:: SOT 73358636 SOS 11849703 HAS SOPS 11568756 HAS SOUS 9740851 HAS SOUPS 9732057 WITH SCORE 9743906.703
AT ITER 1469 NEW BEST:: SOT 73358525 SOS 11849277 HAS SOPS 11568330 HAS SOUS 9740632 HAS SOUPS 9731838 WITH SCORE 9743687.277
AT ITER 1487 NEW BEST:: SOT 73357556 SOS 11848453 HAS SOPS 11567506 HAS SOUS 9739808 HAS SOUPS 9731014 WITH SCORE 9742862.453
AT ITER 1501 NEW BEST:: SOT 73357104 SOS 11847389 HAS SOPS 11566442 HAS SOUS 9738744 HAS SOUPS 9729950 WITH SCORE 9741797.389
AT ITER 1552 NEW BEST:: SOT 73356798 SOS 11846581 HAS SOPS 11565634 HAS SOUS 9737890 HAS SOUPS 9729096 WITH SCORE 9740942.581
AT ITER 1556 NEW BEST:: SOT 73356708 SOS 11846387 HAS SOPS 11565440 HAS SOUS 9737696 HAS SOUPS 9728902 WITH SCORE 9740748.387
AT ITER 1563 NEW BEST:: SOT 73356652 SOS 11846331 HAS SOPS 11565384 HAS SOUS 9737640 HAS SOUPS 9728846 WITH SCORE 9740692.331
AT ITER 1599 NEW BEST:: SOT 73355850 SOS 11844935 HAS SOPS 11563988 HAS SOUS 9736244 HAS SOUPS 9727450 WITH SCORE 9739294.935
AT ITER 1601 NEW BEST:: SOT 73355811 SOS 11845541 HAS SOPS 11563910 HAS SOUS 9735596 HAS SOUPS 9726802 WITH SCORE 9738647.541
AT ITER 1638 NEW BEST:: SOT 73355773 SOS 11845503 HAS SOPS 11563872 HAS SOUS 9735520 HAS SOUPS 9726726 WITH SCORE 9738571.503
AT ITER 1647 NEW BEST:: SOT 73355546 SOS 11845049 HAS SOPS 11563418 HAS SOUS 9734839 HAS SOUPS 9726045 WITH SCORE 9737890.049
AT ITER 1662 NEW BEST:: SOT 73355460 SOS 11844911 HAS SOPS 11563280 HAS SOUS 9734701 HAS SOUPS 9725907 WITH SCORE 9737751.911
AT ITER 1669 NEW BEST:: SOT 73354318 SOS 11843859 HAS SOPS 11562228 HAS SOUS 9733649 HAS SOUPS 9724855 WITH SCORE 9736698.859
AT ITER 1672 NEW BEST:: SOT 73353471 SOS 11843613 HAS SOPS 11561982 HAS SOUS 9733403 HAS SOUPS 9724609 WITH SCORE 9736452.613
AT ITER 1689 NEW BEST:: SOT 73353170 SOS 11843011 HAS SOPS 11561380 HAS SOUS 9732767 HAS SOUPS 9723973 WITH SCORE 9735816.011
AT ITER 1692 NEW BEST:: SOT 73352548 SOS 11841481 HAS SOPS 11559850 HAS SOUS 9731237 HAS SOUPS 9722443 WITH SCORE 9734284.481
AT ITER 1702 NEW BEST:: SOT 73352458 SOS 11841340 HAS SOPS 11559709 HAS SOUS 9731096 HAS SOUPS 9722302 WITH SCORE 9734143.34
AT ITER 1724 NEW BEST:: SOT 73352347 SOS 11841102 HAS SOPS 11559471 HAS SOUS 9730874 HAS SOUPS 9722080 WITH SCORE 9733921.102
AT ITER 1727 NEW BEST:: SOT 73351578 SOS 11840420 HAS SOPS 11558789 HAS SOUS 9730192 HAS SOUPS 9721398 WITH SCORE 9733238.42
AT ITER 1729 NEW BEST:: SOT 73351302 SOS 11839592 HAS SOPS 11557961 HAS SOUS 9729364 HAS SOUPS 9720570 WITH SCORE 9732409.592
AT ITER 1743 NEW BEST:: SOT 73350331 SOS 11838966 HAS SOPS 11557335 HAS SOUS 9728738 HAS SOUPS 9719944 WITH SCORE 9731782.966
AT ITER 1772 NEW BEST:: SOT 73349500 SOS 11838774 HAS SOPS 11557143 HAS SOUS 9728546 HAS SOUPS 9719752 WITH SCORE 9731590.774
AT ITER 1798 NEW BEST:: SOT 73348663 SOS 11837856 HAS SOPS 11556225 HAS SOUS 9727628 HAS SOUPS 9718834 WITH SCORE 9730671.856
AT ITER 1808 NEW BEST:: SOT 73348616 SOS 11837715 HAS SOPS 11556084 HAS SOUS 9727487 HAS SOUPS 9718693 WITH SCORE 9730530.715
AT ITER 1811 NEW BEST:: SOT 73348240 SOS 11836590 HAS SOPS 11554959 HAS SOUS 9726362 HAS SOUPS 9717568 WITH SCORE 9729404.59
AT ITER 1818 NEW BEST:: SOT 73347662 SOS 11835128 HAS SOPS 11553497 HAS SOUS 9724900 HAS SOUPS 9716106 WITH SCORE 9727941.128
AT ITER 1824 NEW BEST:: SOT 73347662 SOS 11834148 HAS SOPS 11552517 HAS SOUS 9724900 HAS SOUPS 9716106 WITH SCORE 9727940.148
AT ITER 1841 NEW BEST:: SOT 73347664 SOS 11834152 HAS SOPS 11552521 HAS SOUS 9724851 HAS SOUPS 9716057 WITH SCORE 9727891.152
AT ITER 1851 NEW BEST:: SOT 73346693 SOS 11833526 HAS SOPS 11551895 HAS SOUS 9724225 HAS SOUPS 9715431 WITH SCORE 9727264.526
AT ITER 1884 NEW BEST:: SOT 73345724 SOS 11832811 HAS SOPS 11551180 HAS SOUS 9723510 HAS SOUPS 9714716 WITH SCORE 9726548.811
AT ITER 1903 NEW BEST:: SOT 73345486 SOS 11832097 HAS SOPS 11550466 HAS SOUS 9722796 HAS SOUPS 9714002 WITH SCORE 9725834.097
AT ITER 1912 NEW BEST:: SOT 73345273 SOS 11831671 HAS SOPS 11550040 HAS SOUS 9722370 HAS SOUPS 9713576 WITH SCORE 9725407.671
AT ITER 1938 NEW BEST:: SOT 73344614 SOS 11831389 HAS SOPS 11549758 HAS SOUS 9722088 HAS SOUPS 9713294 WITH SCORE 9725125.389
AT ITER 1943 NEW BEST:: SOT 73344170 SOS 11830333 HAS SOPS 11548702 HAS SOUS 9721032 HAS SOUPS 9712238 WITH SCORE 9724068.333
AT ITER 1982 NEW BEST:: SOT 73342965 SOS 11829555 HAS SOPS 11547924 HAS SOUS 9720254 HAS SOUPS 9711460 WITH SCORE 9723289.555
AT ITER 1989 NEW BEST:: SOT 73342528 SOS 11828375 HAS SOPS 11546744 HAS SOUS 9719074 HAS SOUPS 9710280 WITH SCORE 9722108.375
AT ITER 2039 NEW BEST:: SOT 73342259 SOS 11827568 HAS SOPS 11545937 HAS SOUS 9718267 HAS SOUPS 9709473 WITH SCORE 9721300.568
AT ITER 2042 NEW BEST:: SOT 73342245 SOS 11827554 HAS SOPS 11545923 HAS SOUS 9718253 HAS SOUPS 9709459 WITH SCORE 9721286.554
AT ITER 2043 NEW BEST:: SOT 73342007 SOS 11826840 HAS SOPS 11545209 HAS SOUS 9717539 HAS SOUPS 9708745 WITH SCORE 9720571.84
AT ITER 2065 NEW BEST:: SOT 73341551 SOS 11826582 HAS SOPS 11544744 HAS SOUS 9717087 HAS SOUPS 9708280 WITH SCORE 9720106.582
AT ITER 2121 NEW BEST:: SOT 73341736 SOS 11826528 HAS SOPS 11544690 HAS SOUS 9717033 HAS SOUPS 9708226 WITH SCORE 9720052.528
AT ITER 2150 NEW BEST:: SOT 73341736 SOS 11826594 HAS SOPS 11544756 HAS SOUS 9716421 HAS SOUPS 9707614 WITH SCORE 9719440.594
AT ITER 2160 NEW BEST:: SOT 73341794 SOS 11826958 HAS SOPS 11543138 HAS SOUS 9714811 HAS SOUPS 9705996 WITH SCORE 9717822.958
AT ITER 2195 NEW BEST:: SOT 73340304 SOS 11826040 HAS SOPS 11542220 HAS SOUS 9713893 HAS SOUPS 9705078 WITH SCORE 9716904.04
AT ITER 2228 NEW BEST:: SOT 73339339 SOS 11825431 HAS SOPS 11541611 HAS SOUS 9713284 HAS SOUPS 9704469 WITH SCORE 9716294.431
AT ITER 2308 NEW BEST:: SOT 73339339 SOS 11823916 HAS SOPS 11540096 HAS SOUS 9713284 HAS SOUPS 9704469 WITH SCORE 9716292.916
AT ITER 2310 NEW BEST:: SOT 73338453 SOS 11823559 HAS SOPS 11539739 HAS SOUS 9712927 HAS SOUPS 9704112 WITH SCORE 9715935.559
AT ITER 2343 NEW BEST:: SOT 73338143 SOS 11822637 HAS SOPS 11538817 HAS SOUS 9712005 HAS SOUPS 9703190 WITH SCORE 9715012.637
AT ITER 2359 NEW BEST:: SOT 73338143 SOS 11822586 HAS SOPS 11538766 HAS SOUS 9711954 HAS SOUPS 9703139 WITH SCORE 9714961.586
AT ITER 2395 NEW BEST:: SOT 73336860 SOS 11821252 HAS SOPS 11537432 HAS SOUS 9710620 HAS SOUPS 9701805 WITH SCORE 9713626.252
AT ITER 2414 NEW BEST:: SOT 73336700 SOS 11820932 HAS SOPS 11537112 HAS SOUS 9710300 HAS SOUPS 9701485 WITH SCORE 9713305.932
AT ITER 2431 NEW BEST:: SOT 73335679 SOS 11820522 HAS SOPS 11536702 HAS SOUS 9709890 HAS SOUPS 9701075 WITH SCORE 9712895.522
AT ITER 2448 NEW BEST:: SOT 73335323 SOS 11819554 HAS SOPS 11535734 HAS SOUS 9708922 HAS SOUPS 9700107 WITH SCORE 9711926.554
AT ITER 2459 NEW BEST:: SOT 73333631 SOS 11818515 HAS SOPS 11534695 HAS SOUS 9707883 HAS SOUPS 9699068 WITH SCORE 9710886.515
AT ITER 2474 NEW BEST:: SOT 73332980 SOS 11817597 HAS SOPS 11533777 HAS SOUS 9706965 HAS SOUPS 9698150 WITH SCORE 9709967.597
AT ITER 2479 NEW BEST:: SOT 73331591 SOS 11816451 HAS SOPS 11532631 HAS SOUS 9705819 HAS SOUPS 9697004 WITH SCORE 9708820.451
AT ITER 2492 NEW BEST:: SOT 73330517 SOS 11814459 HAS SOPS 11530639 HAS SOUS 9704901 HAS SOUPS 9696086 WITH SCORE 9707900.459
AT ITER 2494 NEW BEST:: SOT 73329964 SOS 11813213 HAS SOPS 11529393 HAS SOUS 9703655 HAS SOUPS 9694840 WITH SCORE 9706653.213
AT ITER 2515 NEW BEST:: SOT 73329964 SOS 11812935 HAS SOPS 11529115 HAS SOUS 9703377 HAS SOUPS 9694562 WITH SCORE 9706374.935
AT ITER 2517 NEW BEST:: SOT 73329373 SOS 11811447 HAS SOPS 11527627 HAS SOUS 9701889 HAS SOUPS 9693074 WITH SCORE 9704885.447
AT ITER 2534 NEW BEST:: SOT 73329373 SOS 11811094 HAS SOPS 11527274 HAS SOUS 9701536 HAS SOUPS 9692721 WITH SCORE 9704532.094
AT ITER 2540 NEW BEST:: SOT 73328732 SOS 11810176 HAS SOPS 11526356 HAS SOUS 9700618 HAS SOUPS 9691803 WITH SCORE 9703613.176
AT ITER 2581 NEW BEST:: SOT 73328384 SOS 11809216 HAS SOPS 11525396 HAS SOUS 9699658 HAS SOUPS 9690843 WITH SCORE 9702652.216
AT ITER 2657 NEW BEST:: SOT 73327783 SOS 11807708 HAS SOPS 11523888 HAS SOUS 9698150 HAS SOUPS 9689335 WITH SCORE 9701142.708
AT ITER 2658 NEW BEST:: SOT 73327406 SOS 11806719 HAS SOPS 11522899 HAS SOUS 9697161 HAS SOUPS 9688346 WITH SCORE 9700152.719
AT ITER 2676 NEW BEST:: SOT 73327413 SOS 11806634 HAS SOPS 11522637 HAS SOUS 9697120 HAS SOUPS 9688176 WITH SCORE 9699982.634
AT ITER 2679 NEW BEST:: SOT 73327109 SOS 11805722 HAS SOPS 11521725 HAS SOUS 9696208 HAS SOUPS 9687264 WITH SCORE 9699069.722
AT ITER 2689 NEW BEST:: SOT 73326498 SOS 11804194 HAS SOPS 11520197 HAS SOUS 9694680 HAS SOUPS 9685736 WITH SCORE 9697540.194
AT ITER 2705 NEW BEST:: SOT 73326498 SOS 11804092 HAS SOPS 11520095 HAS SOUS 9694578 HAS SOUPS 9685634 WITH SCORE 9697438.092
AT ITER 2711 NEW BEST:: SOT 73326120 SOS 11803030 HAS SOPS 11519033 HAS SOUS 9693516 HAS SOUPS 9684572 WITH SCORE 9696375.03
AT ITER 2752 NEW BEST:: SOT 73325627 SOS 11801925 HAS SOPS 11517928 HAS SOUS 9692411 HAS SOUPS 9683467 WITH SCORE 9695268.925
AT ITER 2807 NEW BEST:: SOT 73324759 SOS 11800394 HAS SOPS 11516397 HAS SOUS 9690931 HAS SOUPS 9681987 WITH SCORE 9693787.394
AT ITER 2877 NEW BEST:: SOT 73323944 SOS 11799476 HAS SOPS 11515479 HAS SOUS 9690013 HAS SOUPS 9681069 WITH SCORE 9692868.476
AT ITER 2897 NEW BEST:: SOT 73323881 SOS 11799413 HAS SOPS 11515416 HAS SOUS 9689950 HAS SOUPS 9681006 WITH SCORE 9692805.413
AT ITER 2921 NEW BEST:: SOT 73323724 SOS 11798942 HAS SOPS 11514945 HAS SOUS 9689479 HAS SOUPS 9680535 WITH SCORE 9692333.942
AT ITER 2923 NEW BEST:: SOT 73322698 SOS 11798370 HAS SOPS 11514373 HAS SOUS 9688034 HAS SOUPS 9679090 WITH SCORE 9690888.37
AT ITER 2927 NEW BEST:: SOT 73322443 SOS 11798283 HAS SOPS 11514286 HAS SOUS 9687947 HAS SOUPS 9679003 WITH SCORE 9690801.283
AT ITER 2966 NEW BEST:: SOT 73322353 SOS 11798091 HAS SOPS 11514094 HAS SOUS 9687755 HAS SOUPS 9678811 WITH SCORE 9690609.091
AT ITER 2998 NEW BEST:: SOT 73321605 SOS 11796561 HAS SOPS 11512564 HAS SOUS 9686225 HAS SOUPS 9677281 WITH SCORE 9689077.561
AT ITER 3046 NEW BEST:: SOT 73320756 SOS 11795031 HAS SOPS 11511034 HAS SOUS 9684695 HAS SOUPS 9675751 WITH SCORE 9687546.031
AT ITER 3048 NEW BEST:: SOT 73320365 SOS 11793927 HAS SOPS 11509930 HAS SOUS 9684393 HAS SOUPS 9675449 WITH SCORE 9687242.927
AT ITER 3068 NEW BEST:: SOT 73320063 SOS 11793021 HAS SOPS 11509024 HAS SOUS 9683487 HAS SOUPS 9674543 WITH SCORE 9686336.021
AT ITER 3070 NEW BEST:: SOT 73319449 SOS 11792103 HAS SOPS 11508106 HAS SOUS 9682569 HAS SOUPS 9673625 WITH SCORE 9685417.103
AT ITER 3072 NEW BEST:: SOT 73319143 SOS 11790919 HAS SOPS 11506922 HAS SOUS 9681922 HAS SOUPS 9672978 WITH SCORE 9684768.919
AT ITER 3081 NEW BEST:: SOT 73319199 SOS 11791164 HAS SOPS 11506219 HAS SOUS 9681295 HAS SOUPS 9672351 WITH SCORE 9684142.164
AT ITER 3110 NEW BEST:: SOT 73318548 SOS 11790819 HAS SOPS 11505874 HAS SOUS 9680758 HAS SOUPS 9671814 WITH SCORE 9683604.819
AT ITER 3126 NEW BEST:: SOT 73318059 SOS 11789718 HAS SOPS 11504773 HAS SOUS 9679657 HAS SOUPS 9670713 WITH SCORE 9682502.718
AT ITER 3154 NEW BEST:: SOT 73317969 SOS 11789200 HAS SOPS 11504255 HAS SOUS 9679567 HAS SOUPS 9670623 WITH SCORE 9682412.2
AT ITER 3187 NEW BEST:: SOT 73316791 SOS 11788065 HAS SOPS 11503120 HAS SOUS 9678432 HAS SOUPS 9669488 WITH SCORE 9681276.065
AT ITER 3241 NEW BEST:: SOT 73315236 SOS 11786897 HAS SOPS 11501952 HAS SOUS 9677264 HAS SOUPS 9668320 WITH SCORE 9680106.897
AT ITER 3270 NEW BEST:: SOT 73314979 SOS 11786654 HAS SOPS 11501709 HAS SOUS 9677021 HAS SOUPS 9668077 WITH SCORE 9679863.654
AT ITER 3281 NEW BEST:: SOT 73314560 SOS 11785510 HAS SOPS 11500565 HAS SOUS 9675877 HAS SOUPS 9666933 WITH SCORE 9678718.51
AT ITER 3284 NEW BEST:: SOT 73314222 SOS 11785233 HAS SOPS 11500288 HAS SOUS 9675743 HAS SOUPS 9666799 WITH SCORE 9678584.233
AT ITER 3337 NEW BEST:: SOT 73314222 SOS 11785075 HAS SOPS 11500130 HAS SOUS 9675692 HAS SOUPS 9666748 WITH SCORE 9678533.075
AT ITER 3346 NEW BEST:: SOT 73314222 SOS 11785061 HAS SOPS 11500116 HAS SOUS 9675678 HAS SOUPS 9666734 WITH SCORE 9678519.061
AT ITER 3392 NEW BEST:: SOT 73314322 SOS 11785161 HAS SOPS 11500012 HAS SOUS 9675604 HAS SOUPS 9666630 WITH SCORE 9678415.161
AT ITER 3395 NEW BEST:: SOT 73313806 SOS 11784033 HAS SOPS 11498884 HAS SOUS 9674476 HAS SOUPS 9665502 WITH SCORE 9677286.033
AT ITER 3407 NEW BEST:: SOT 73313748 SOS 11784609 HAS SOPS 11499460 HAS SOUS 9674369 HAS SOUPS 9665395 WITH SCORE 9677179.609
AT ITER 3463 NEW BEST:: SOT 73313692 SOS 11784441 HAS SOPS 11499292 HAS SOUS 9674201 HAS SOUPS 9665227 WITH SCORE 9677011.441
AT ITER 3483 NEW BEST:: SOT 73313011 SOS 11783149 HAS SOPS 11498000 HAS SOUS 9672909 HAS SOUPS 9663935 WITH SCORE 9675718.149
AT ITER 3519 NEW BEST:: SOT 73312118 SOS 11781593 HAS SOPS 11496444 HAS SOUS 9671404 HAS SOUPS 9662430 WITH SCORE 9674211.593
AT ITER 3559 NEW BEST:: SOT 73311677 SOS 11781175 HAS SOPS 11496026 HAS SOUS 9670986 HAS SOUPS 9662012 WITH SCORE 9673793.175
AT ITER 3565 NEW BEST:: SOT 73311677 SOS 11781037 HAS SOPS 11495888 HAS SOUS 9670812 HAS SOUPS 9661838 WITH SCORE 9673619.037
AT ITER 3578 NEW BEST:: SOT 73310544 SOS 11780407 HAS SOPS 11495258 HAS SOUS 9670182 HAS SOUPS 9661208 WITH SCORE 9672988.407
AT ITER 3611 NEW BEST:: SOT 73309932 SOS 11779873 HAS SOPS 11494724 HAS SOUS 9669648 HAS SOUPS 9660674 WITH SCORE 9672453.873
AT ITER 3612 NEW BEST:: SOT 73309779 SOS 11779456 HAS SOPS 11494307 HAS SOUS 9669342 HAS SOUPS 9660368 WITH SCORE 9672147.456
AT ITER 3633 NEW BEST:: SOT 73308810 SOS 11778785 HAS SOPS 11493636 HAS SOUS 9668671 HAS SOUPS 9659697 WITH SCORE 9671475.785
AT ITER 3636 NEW BEST:: SOT 73308424 SOS 11778551 HAS SOPS 11493402 HAS SOUS 9668335 HAS SOUPS 9659361 WITH SCORE 9671139.551
AT ITER 3641 NEW BEST:: SOT 73308167 SOS 11778209 HAS SOPS 11493060 HAS SOUS 9667993 HAS SOUPS 9659019 WITH SCORE 9670797.209
AT ITER 3642 NEW BEST:: SOT 73307640 SOS 11777965 HAS SOPS 11492816 HAS SOUS 9667749 HAS SOUPS 9658775 WITH SCORE 9670552.965
AT ITER 3649 NEW BEST:: SOT 73307640 SOS 11776481 HAS SOPS 11491332 HAS SOUS 9667137 HAS SOUPS 9658163 WITH SCORE 9669939.481
AT ITER 3660 NEW BEST:: SOT 73306669 SOS 11475721 HAS SOPS 11190572 HAS SOUS 9664277 HAS SOUPS 9655303 WITH SCORE 9666778.721
AT ITER 3663 NEW BEST:: SOT 73306123 SOS 11474323 HAS SOPS 11189174 HAS SOUS 9662879 HAS SOUPS 9653905 WITH SCORE 9665379.323
AT ITER 3680 NEW BEST:: SOT 73305566 SOS 11473154 HAS SOPS 11188005 HAS SOUS 9661710 HAS SOUPS 9652736 WITH SCORE 9664209.154
AT ITER 3687 NEW BEST:: SOT 73305523 SOS 11472822 HAS SOPS 11187673 HAS SOUS 9661360 HAS SOUPS 9652386 WITH SCORE 9663858.822
AT ITER 3706 NEW BEST:: SOT 73305523 SOS 11472006 HAS SOPS 11186857 HAS SOUS 9661054 HAS SOUPS 9652080 WITH SCORE 9663552.006
AT ITER 3718 NEW BEST:: SOT 73304879 SOS 11470476 HAS SOPS 11185327 HAS SOUS 9659524 HAS SOUPS 9650550 WITH SCORE 9662020.476
AT ITER 3720 NEW BEST:: SOT 73304471 SOS 11469456 HAS SOPS 11184307 HAS SOUS 9658504 HAS SOUPS 9649530 WITH SCORE 9660999.456
AT ITER 3751 NEW BEST:: SOT 73304309 SOS 11468970 HAS SOPS 11183821 HAS SOUS 9658018 HAS SOUPS 9649044 WITH SCORE 9660512.97
AT ITER 3783 NEW BEST:: SOT 73303521 SOS 11468052 HAS SOPS 11182903 HAS SOUS 9657100 HAS SOUPS 9648126 WITH SCORE 9659594.052
AT ITER 3796 NEW BEST:: SOT 73303521 SOS 11467941 HAS SOPS 11182792 HAS SOUS 9656989 HAS SOUPS 9648015 WITH SCORE 9659482.941
AT ITER 3880 NEW BEST:: SOT 73302250 SOS 11467035 HAS SOPS 11181886 HAS SOUS 9656083 HAS SOUPS 9647109 WITH SCORE 9658576.035
AT ITER 3896 NEW BEST:: SOT 73302133 SOS 11466815 HAS SOPS 11181666 HAS SOUS 9655863 HAS SOUPS 9646889 WITH SCORE 9658355.815
AT ITER 3909 NEW BEST:: SOT 73301285 SOS 11465897 HAS SOPS 11180748 HAS SOUS 9654945 HAS SOUPS 9645971 WITH SCORE 9657436.897
AT ITER 3917 NEW BEST:: SOT 73301285 SOS 11465585 HAS SOPS 11180436 HAS SOUS 9654633 HAS SOUPS 9645659 WITH SCORE 9657124.585
AT ITER 3933 NEW BEST:: SOT 73301040 SOS 11464850 HAS SOPS 11179701 HAS SOUS 9653898 HAS SOUPS 9644924 WITH SCORE 9656388.85
AT ITER 3936 NEW BEST:: SOT 73299753 SOS 11463912 HAS SOPS 11178763 HAS SOUS 9652960 HAS SOUPS 9643986 WITH SCORE 9655449.912
AT ITER 3948 NEW BEST:: SOT 73299496 SOS 11463782 HAS SOPS 11178633 HAS SOUS 9652830 HAS SOUPS 9643856 WITH SCORE 9655319.782
AT ITER 3963 NEW BEST:: SOT 73298685 SOS 11463392 HAS SOPS 11178243 HAS SOUS 9652440 HAS SOUPS 9643466 WITH SCORE 9654929.392
AT ITER 3971 NEW BEST:: SOT 73298146 SOS 11462008 HAS SOPS 11176859 HAS SOUS 9651056 HAS SOUPS 9642082 WITH SCORE 9653544.008
AT ITER 3985 NEW BEST:: SOT 73298122 SOS 11461948 HAS SOPS 11176799 HAS SOUS 9650996 HAS SOUPS 9642022 WITH SCORE 9653483.948
AT ITER 4004 NEW BEST:: SOT 73298122 SOS 11460541 HAS SOPS 11175392 HAS SOUS 9650996 HAS SOUPS 9642022 WITH SCORE 9653482.541
AT ITER 4013 NEW BEST:: SOT 73298122 SOS 11460251 HAS SOPS 11175102 HAS SOUS 9650706 HAS SOUPS 9641732 WITH SCORE 9653192.251
AT ITER 4032 NEW BEST:: SOT 73297456 SOS 11460096 HAS SOPS 11174947 HAS SOUS 9650551 HAS SOUPS 9641577 WITH SCORE 9653037.096
AT ITER 4034 NEW BEST:: SOT 73297456 SOS 11460096 HAS SOPS 11174947 HAS SOUS 9650535 HAS SOUPS 9641561 WITH SCORE 9653021.096
AT ITER 4062 NEW BEST:: SOT 73297463 SOS 11460103 HAS SOPS 11174954 HAS SOUS 9650357 HAS SOUPS 9641383 WITH SCORE 9652843.103
AT ITER 4084 NEW BEST:: SOT 73296875 SOS 11458447 HAS SOPS 11173298 HAS SOUS 9648701 HAS SOUPS 9639727 WITH SCORE 9651185.447
AT ITER 4142 NEW BEST:: SOT 73296533 SOS 11457493 HAS SOPS 11172344 HAS SOUS 9647747 HAS SOUPS 9638773 WITH SCORE 9650230.493
AT ITER 4145 NEW BEST:: SOT 73296413 SOS 11457049 HAS SOPS 11171900 HAS SOUS 9647513 HAS SOUPS 9638539 WITH SCORE 9649996.049
AT ITER 4155 NEW BEST:: SOT 73295792 SOS 11456131 HAS SOPS 11170982 HAS SOUS 9646595 HAS SOUPS 9637621 WITH SCORE 9649077.131
AT ITER 4185 NEW BEST:: SOT 73294915 SOS 11456163 HAS SOPS 11171014 HAS SOUS 9646168 HAS SOUPS 9637194 WITH SCORE 9648650.163
AT ITER 4195 NEW BEST:: SOT 73294036 SOS 11456041 HAS SOPS 11170892 HAS SOUS 9646046 HAS SOUPS 9637072 WITH SCORE 9648528.041
AT ITER 4198 NEW BEST:: SOT 73293730 SOS 11455136 HAS SOPS 11169987 HAS SOUS 9645141 HAS SOUPS 9636167 WITH SCORE 9647622.136
AT ITER 4206 NEW BEST:: SOT 73293067 SOS 11454290 HAS SOPS 11169141 HAS SOUS 9644295 HAS SOUPS 9635321 WITH SCORE 9646775.29
AT ITER 4211 NEW BEST:: SOT 73293080 SOS 11454303 HAS SOPS 11168767 HAS SOUS 9644089 HAS SOUPS 9634947 WITH SCORE 9646401.303
AT ITER 4224 NEW BEST:: SOT 73292471 SOS 11452779 HAS SOPS 11167243 HAS SOUS 9642565 HAS SOUPS 9633423 WITH SCORE 9644875.779
AT ITER 4265 NEW BEST:: SOT 73291864 SOS 11451259 HAS SOPS 11165723 HAS SOUS 9641045 HAS SOUPS 9631903 WITH SCORE 9643354.259
AT ITER 4270 NEW BEST:: SOT 73291095 SOS 11450590 HAS SOPS 11165054 HAS SOUS 9640376 HAS SOUPS 9631234 WITH SCORE 9642684.59
AT ITER 4286 NEW BEST:: SOT 73291095 SOS 11450400 HAS SOPS 11164864 HAS SOUS 9640186 HAS SOUPS 9631044 WITH SCORE 9642494.4
AT ITER 4298 NEW BEST:: SOT 73291095 SOS 11449566 HAS SOPS 11164030 HAS SOUS 9639880 HAS SOUPS 9630738 WITH SCORE 9642187.566
AT ITER 4359 NEW BEST:: SOT 73290831 SOS 11449052 HAS SOPS 11163516 HAS SOUS 9639401 HAS SOUPS 9630259 WITH SCORE 9641708.052
AT ITER 4407 NEW BEST:: SOT 73290234 SOS 11447552 HAS SOPS 11162016 HAS SOUS 9637901 HAS SOUPS 9628759 WITH SCORE 9640206.552
AT ITER 4422 NEW BEST:: SOT 73290099 SOS 11447417 HAS SOPS 11161881 HAS SOUS 9637769 HAS SOUPS 9628627 WITH SCORE 9640074.417
AT ITER 4430 NEW BEST:: SOT 73289128 SOS 11446790 HAS SOPS 11161254 HAS SOUS 9637142 HAS SOUPS 9628000 WITH SCORE 9639446.79
AT ITER 4440 NEW BEST:: SOT 73289262 SOS 11446552 HAS SOPS 11161016 HAS SOUS 9636904 HAS SOUPS 9627762 WITH SCORE 9639208.552
AT ITER 4453 NEW BEST:: SOT 73288593 SOS 11446153 HAS SOPS 11160617 HAS SOUS 9636097 HAS SOUPS 9626955 WITH SCORE 9638401.153
AT ITER 4474 NEW BEST:: SOT 73288480 SOS 11446040 HAS SOPS 11160504 HAS SOUS 9636025 HAS SOUPS 9626883 WITH SCORE 9638329.04
AT ITER 4515 NEW BEST:: SOT 73287552 SOS 11445362 HAS SOPS 11159826 HAS SOUS 9634954 HAS SOUPS 9625812 WITH SCORE 9637257.362
AT ITER 4517 NEW BEST:: SOT 73286671 SOS 11444699 HAS SOPS 11159163 HAS SOUS 9634291 HAS SOUPS 9625149 WITH SCORE 9636593.699
AT ITER 4520 NEW BEST:: SOT 73285801 SOS 11444397 HAS SOPS 11158861 HAS SOUS 9633989 HAS SOUPS 9624847 WITH SCORE 9636291.397
AT ITER 4551 NEW BEST:: SOT 73284865 SOS 11443785 HAS SOPS 11158249 HAS SOUS 9632918 HAS SOUPS 9623776 WITH SCORE 9635219.785
AT ITER 4572 NEW BEST:: SOT 73284813 SOS 11443733 HAS SOPS 11158197 HAS SOUS 9632918 HAS SOUPS 9623776 WITH SCORE 9635219.733
AT ITER 4577 NEW BEST:: SOT 73284813 SOS 11443691 HAS SOPS 11158155 HAS SOUS 9632876 HAS SOUPS 9623734 WITH SCORE 9635177.691
AT ITER 4579 NEW BEST:: SOT 73283775 SOS 11442635 HAS SOPS 11157099 HAS SOUS 9631820 HAS SOUPS 9622678 WITH SCORE 9634120.635
AT ITER 4591 NEW BEST:: SOT 73282975 SOS 11442239 HAS SOPS 11156703 HAS SOUS 9631424 HAS SOUPS 9622282 WITH SCORE 9633724.239
AT ITER 4597 NEW BEST:: SOT 73281955 SOS 11441931 HAS SOPS 11156395 HAS SOUS 9631116 HAS SOUPS 9621974 WITH SCORE 9633415.931
AT ITER 4598 NEW BEST:: SOT 73281955 SOS 11440472 HAS SOPS 11154936 HAS SOUS 9631116 HAS SOUPS 9621974 WITH SCORE 9633414.472
AT ITER 4627 NEW BEST:: SOT 73281955 SOS 11440446 HAS SOPS 11154910 HAS SOUS 9631090 HAS SOUPS 9621948 WITH SCORE 9633388.446
AT ITER 4689 NEW BEST:: SOT 73281955 SOS 11439985 HAS SOPS 11154449 HAS SOUS 9630629 HAS SOUPS 9621487 WITH SCORE 9632926.985
AT ITER 4696 NEW BEST:: SOT 73280715 SOS 11438943 HAS SOPS 11153407 HAS SOUS 9629587 HAS SOUPS 9620445 WITH SCORE 9631883.943
AT ITER 4721 NEW BEST:: SOT 73280782 SOS 11438771 HAS SOPS 11153235 HAS SOUS 9629415 HAS SOUPS 9620273 WITH SCORE 9631711.771
AT ITER 4723 NEW BEST:: SOT 73280782 SOS 11438682 HAS SOPS 11153146 HAS SOUS 9629326 HAS SOUPS 9620184 WITH SCORE 9631622.682
AT ITER 4726 NEW BEST:: SOT 73280183 SOS 11437178 HAS SOPS 11151642 HAS SOUS 9627822 HAS SOUPS 9618680 WITH SCORE 9630117.178
AT ITER 4742 NEW BEST:: SOT 73279978 SOS 11437355 HAS SOPS 11151819 HAS SOUS 9627591 HAS SOUPS 9618449 WITH SCORE 9629886.355
AT ITER 4771 NEW BEST:: SOT 73279580 SOS 11437103 HAS SOPS 11151567 HAS SOUS 9627339 HAS SOUPS 9618197 WITH SCORE 9629634.103
AT ITER 4793 NEW BEST:: SOT 73278585 SOS 11436694 HAS SOPS 11151158 HAS SOUS 9626930 HAS SOUPS 9617788 WITH SCORE 9629224.694
AT ITER 4802 NEW BEST:: SOT 73278698 SOS 11437059 HAS SOPS 11150233 HAS SOUS 9626132 HAS SOUPS 9616990 WITH SCORE 9628427.059
AT ITER 4805 NEW BEST:: SOT 73278267 SOS 11436016 HAS SOPS 11149190 HAS SOUS 9625089 HAS SOUPS 9615947 WITH SCORE 9627383.016
AT ITER 4838 NEW BEST:: SOT 73277090 SOS 11434894 HAS SOPS 11148068 HAS SOUS 9623967 HAS SOUPS 9614825 WITH SCORE 9626259.894
AT ITER 4839 NEW BEST:: SOT 73276739 SOS 11434568 HAS SOPS 11147742 HAS SOUS 9623641 HAS SOUPS 9614499 WITH SCORE 9625933.568
AT ITER 4848 NEW BEST:: SOT 73276263 SOS 11433387 HAS SOPS 11146561 HAS SOUS 9623169 HAS SOUPS 9614027 WITH SCORE 9625460.387
AT ITER 4869 NEW BEST:: SOT 73275934 SOS 11433058 HAS SOPS 11146232 HAS SOUS 9622840 HAS SOUPS 9613698 WITH SCORE 9625131.058
AT ITER 4872 NEW BEST:: SOT 73274588 SOS 11432002 HAS SOPS 11145176 HAS SOUS 9621784 HAS SOUPS 9612642 WITH SCORE 9624074.002
AT ITER 4941 NEW BEST:: SOT 73274588 SOS 11431984 HAS SOPS 11145158 HAS SOUS 9621766 HAS SOUPS 9612624 WITH SCORE 9624055.984
AT ITER 4949 NEW BEST:: SOT 73273771 SOS 11431370 HAS SOPS 11144544 HAS SOUS 9621152 HAS SOUPS 9612010 WITH SCORE 9623441.37
AT ITER 4957 NEW BEST:: SOT 73273252 SOS 11431190 HAS SOPS 11144364 HAS SOUS 9620972 HAS SOUPS 9611830 WITH SCORE 9623261.19
AT ITER 4973 NEW BEST:: SOT 73273064 SOS 11430626 HAS SOPS 11143800 HAS SOUS 9620408 HAS SOUPS 9611266 WITH SCORE 9622696.626
AT ITER 4983 NEW BEST:: SOT 73273278 SOS 11430320 HAS SOPS 11143494 HAS SOUS 9620316 HAS SOUPS 9611174 WITH SCORE 9622604.32
AT ITER 5011 NEW BEST:: SOT 73273083 SOS 11429981 HAS SOPS 11143155 HAS SOUS 9619977 HAS SOUPS 9610835 WITH SCORE 9622264.981
AT ITER 5023 NEW BEST:: SOT 73272114 SOS 11429362 HAS SOPS 11142536 HAS SOUS 9619358 HAS SOUPS 9610216 WITH SCORE 9621645.362
AT ITER 5026 NEW BEST:: SOT 73272114 SOS 11429304 HAS SOPS 11142478 HAS SOUS 9619300 HAS SOUPS 9610158 WITH SCORE 9621587.304
AT ITER 5032 NEW BEST:: SOT 73271810 SOS 11429000 HAS SOPS 11142174 HAS SOUS 9618996 HAS SOUPS 9609854 WITH SCORE 9621283.0
AT ITER 5036 NEW BEST:: SOT 73270673 SOS 11427958 HAS SOPS 11141132 HAS SOUS 9617954 HAS SOUPS 9608812 WITH SCORE 9620239.958
AT ITER 5045 NEW BEST:: SOT 73270673 SOS 11427400 HAS SOPS 11140574 HAS SOUS 9617396 HAS SOUPS 9608254 WITH SCORE 9619681.4
AT ITER 5047 NEW BEST:: SOT 73270673 SOS 11426880 HAS SOPS 11140054 HAS SOUS 9617396 HAS SOUPS 9608254 WITH SCORE 9619680.88
AT ITER 5051 NEW BEST:: SOT 73270063 SOS 11425660 HAS SOPS 11138834 HAS SOUS 9616176 HAS SOUPS 9607034 WITH SCORE 9618459.66
AT ITER 5115 NEW BEST:: SOT 73269987 SOS 11425495 HAS SOPS 11138669 HAS SOUS 9616011 HAS SOUPS 9606869 WITH SCORE 9618294.495
AT ITER 5129 NEW BEST:: SOT 73269405 SOS 11424913 HAS SOPS 11138087 HAS SOUS 9615429 HAS SOUPS 9606287 WITH SCORE 9617711.913
AT ITER 5135 NEW BEST:: SOT 73268702 SOS 11424698 HAS SOPS 11137872 HAS SOUS 9614511 HAS SOUPS 9605369 WITH SCORE 9616793.698
AT ITER 5162 NEW BEST:: SOT 73268702 SOS 11424738 HAS SOPS 11137912 HAS SOUS 9614380 HAS SOUPS 9605238 WITH SCORE 9616662.738
AT ITER 5165 NEW BEST:: SOT 73268702 SOS 11424976 HAS SOPS 11138150 HAS SOUS 9614278 HAS SOUPS 9605136 WITH SCORE 9616560.976
AT ITER 5180 NEW BEST:: SOT 73268287 SOS 11424670 HAS SOPS 11137844 HAS SOUS 9613557 HAS SOUPS 9604415 WITH SCORE 9615839.67
AT ITER 5196 NEW BEST:: SOT 73234093 SOS 11448598 HAS SOPS 11161772 HAS SOUS 9579890 HAS SOUPS 9570748 WITH SCORE 9582196.598
AT ITER 5219 NEW BEST:: SOT 73233787 SOS 11447986 HAS SOPS 11161160 HAS SOUS 9578972 HAS SOUPS 9569830 WITH SCORE 9581277.986
AT ITER 5220 NEW BEST:: SOT 73233530 SOS 11447788 HAS SOPS 11160962 HAS SOUS 9578774 HAS SOUPS 9569632 WITH SCORE 9581079.788
AT ITER 5249 NEW BEST:: SOT 73232559 SOS 11447129 HAS SOPS 11160303 HAS SOUS 9578115 HAS SOUPS 9568973 WITH SCORE 9580420.129
AT ITER 5275 NEW BEST:: SOT 73231395 SOS 11446645 HAS SOPS 11159819 HAS SOUS 9577631 HAS SOUPS 9568489 WITH SCORE 9579935.645
AT ITER 5360 NEW BEST:: SOT 73231395 SOS 11446615 HAS SOPS 11159789 HAS SOUS 9577631 HAS SOUPS 9568489 WITH SCORE 9579935.615
AT ITER 5377 NEW BEST:: SOT 73230691 SOS 11445085 HAS SOPS 11158259 HAS SOUS 9576101 HAS SOUPS 9566959 WITH SCORE 9578404.085
AT ITER 5381 NEW BEST:: SOT 73230654 SOS 11444866 HAS SOPS 11158040 HAS SOUS 9576033 HAS SOUPS 9566891 WITH SCORE 9578335.866
AT ITER 5388 NEW BEST:: SOT 73229368 SOS 11443732 HAS SOPS 11156906 HAS SOUS 9574899 HAS SOUPS 9565757 WITH SCORE 9577200.732
AT ITER 5408 NEW BEST:: SOT 73228927 SOS 11442679 HAS SOPS 11155853 HAS SOUS 9573846 HAS SOUPS 9564704 WITH SCORE 9576146.679
AT ITER 5415 NEW BEST:: SOT 73228302 SOS 11442458 HAS SOPS 11155632 HAS SOUS 9573625 HAS SOUPS 9564483 WITH SCORE 9575925.458
AT ITER 5435 NEW BEST:: SOT 73227697 SOS 11441853 HAS SOPS 11155027 HAS SOUS 9573020 HAS SOUPS 9563878 WITH SCORE 9575319.853
AT ITER 5443 NEW BEST:: SOT 73228005 SOS 11442767 HAS SOPS 11155941 HAS SOUS 9573016 HAS SOUPS 9563874 WITH SCORE 9575316.767
AT ITER 5458 NEW BEST:: SOT 73228005 SOS 11442716 HAS SOPS 11155890 HAS SOUS 9572965 HAS SOUPS 9563823 WITH SCORE 9575265.716
AT ITER 5459 NEW BEST:: SOT 73226551 SOS 11441440 HAS SOPS 11154614 HAS SOUS 9571689 HAS SOUPS 9562547 WITH SCORE 9573988.44
AT ITER 5461 NEW BEST:: SOT 73225988 SOS 11440314 HAS SOPS 11153488 HAS SOUS 9570563 HAS SOUPS 9561421 WITH SCORE 9572861.314
AT ITER 5478 NEW BEST:: SOT 73225739 SOS 11440233 HAS SOPS 11153326 HAS SOUS 9570401 HAS SOUPS 9561259 WITH SCORE 9572699.233
AT ITER 5538 NEW BEST:: SOT 73225431 SOS 11439173 HAS SOPS 11152266 HAS SOUS 9569341 HAS SOUPS 9560199 WITH SCORE 9571638.173
AT ITER 5540 NEW BEST:: SOT 73224997 SOS 11438969 HAS SOPS 11152062 HAS SOUS 9569086 HAS SOUPS 9559944 WITH SCORE 9571382.969
AT ITER 5556 NEW BEST:: SOT 73224997 SOS 11439253 HAS SOPS 11152346 HAS SOUS 9568780 HAS SOUPS 9559638 WITH SCORE 9571077.253
AT ITER 5573 NEW BEST:: SOT 73224997 SOS 11439125 HAS SOPS 11152218 HAS SOUS 9568652 HAS SOUPS 9559510 WITH SCORE 9570949.125
AT ITER 5592 NEW BEST:: SOT 73223722 SOS 11438330 HAS SOPS 11151423 HAS SOUS 9567929 HAS SOUPS 9558787 WITH SCORE 9570225.33
AT ITER 5596 NEW BEST:: SOT 73223875 SOS 11438483 HAS SOPS 11151576 HAS SOUS 9567876 HAS SOUPS 9558734 WITH SCORE 9570172.483
AT ITER 5602 NEW BEST:: SOT 73223087 SOS 11438081 HAS SOPS 11151174 HAS SOUS 9566964 HAS SOUPS 9557822 WITH SCORE 9569260.081
AT ITER 5614 NEW BEST:: SOT 73222096 SOS 11436172 HAS SOPS 11149265 HAS SOUS 9565995 HAS SOUPS 9556853 WITH SCORE 9568289.172
AT ITER 5636 NEW BEST:: SOT 73222096 SOS 11435254 HAS SOPS 11148347 HAS SOUS 9565077 HAS SOUPS 9555935 WITH SCORE 9567370.254
AT ITER 5640 NEW BEST:: SOT 73221515 SOS 11435194 HAS SOPS 11148287 HAS SOUS 9565017 HAS SOUPS 9555875 WITH SCORE 9567310.194
AT ITER 5668 NEW BEST:: SOT 73220920 SOS 11434786 HAS SOPS 11147879 HAS SOUS 9564609 HAS SOUPS 9555467 WITH SCORE 9566901.786
AT ITER 5689 NEW BEST:: SOT 73220656 SOS 11434388 HAS SOPS 11147481 HAS SOUS 9564081 HAS SOUPS 9554939 WITH SCORE 9566373.388
AT ITER 5691 NEW BEST:: SOT 73220263 SOS 11433383 HAS SOPS 11146476 HAS SOUS 9563076 HAS SOUPS 9553934 WITH SCORE 9565367.383
AT ITER 5712 NEW BEST:: SOT 73218875 SOS 11432657 HAS SOPS 11145750 HAS SOUS 9562350 HAS SOUPS 9553208 WITH SCORE 9564640.657
AT ITER 5731 NEW BEST:: SOT 73218443 SOS 11432354 HAS SOPS 11145447 HAS SOUS 9561613 HAS SOUPS 9552471 WITH SCORE 9563903.354
AT ITER 5765 NEW BEST:: SOT 73217447 SOS 11431844 HAS SOPS 11144937 HAS SOUS 9561103 HAS SOUPS 9551961 WITH SCORE 9563392.844
AT ITER 5768 NEW BEST:: SOT 73216470 SOS 11430706 HAS SOPS 11143799 HAS SOUS 9561087 HAS SOUPS 9551945 WITH SCORE 9563375.706
AT ITER 5770 NEW BEST:: SOT 73216403 SOS 11429873 HAS SOPS 11142966 HAS SOUS 9560254 HAS SOUPS 9551112 WITH SCORE 9562541.873
AT ITER 5775 NEW BEST:: SOT 73215883 SOS 11428833 HAS SOPS 11141926 HAS SOUS 9559214 HAS SOUPS 9550072 WITH SCORE 9561500.833
AT ITER 5798 NEW BEST:: SOT 73215215 SOS 11427303 HAS SOPS 11140396 HAS SOUS 9557684 HAS SOUPS 9548542 WITH SCORE 9559969.303
AT ITER 5817 NEW BEST:: SOT 73214440 SOS 11426400 HAS SOPS 11139493 HAS SOUS 9556781 HAS SOUPS 9547639 WITH SCORE 9559065.4
AT ITER 5832 NEW BEST:: SOT 73214362 SOS 11426322 HAS SOPS 11139415 HAS SOUS 9556703 HAS SOUPS 9547561 WITH SCORE 9558987.322
AT ITER 5852 NEW BEST:: SOT 73213593 SOS 11425542 HAS SOPS 11138635 HAS SOUS 9555923 HAS SOUPS 9546781 WITH SCORE 9558206.542
AT ITER 5853 NEW BEST:: SOT 73213593 SOS 11425236 HAS SOPS 11138329 HAS SOUS 9555617 HAS SOUPS 9546475 WITH SCORE 9557900.236
AT ITER 5861 NEW BEST:: SOT 73213480 SOS 11423587 HAS SOPS 11136680 HAS SOUS 9555085 HAS SOUPS 9545943 WITH SCORE 9557366.587
AT ITER 5901 NEW BEST:: SOT 73211897 SOS 11422360 HAS SOPS 11135453 HAS SOUS 9553858 HAS SOUPS 9544716 WITH SCORE 9556138.36
AT ITER 5903 NEW BEST:: SOT 73211633 SOS 11421865 HAS SOPS 11134958 HAS SOUS 9553330 HAS SOUPS 9544188 WITH SCORE 9555609.865
AT ITER 5932 NEW BEST:: SOT 73209896 SOS 11419219 HAS SOPS 11132312 HAS SOUS 9552109 HAS SOUPS 9542967 WITH SCORE 9554386.219
AT ITER 5947 NEW BEST:: SOT 73209876 SOS 11419199 HAS SOPS 11132292 HAS SOUS 9552089 HAS SOUPS 9542947 WITH SCORE 9554366.199
AT ITER 5963 NEW BEST:: SOT 73209470 SOS 11418587 HAS SOPS 11131680 HAS SOUS 9551477 HAS SOUPS 9542335 WITH SCORE 9553753.587
AT ITER 5983 NEW BEST:: SOT 73209010 SOS 11417521 HAS SOPS 11130614 HAS SOUS 9550411 HAS SOUPS 9541269 WITH SCORE 9552686.521
AT ITER 5993 NEW BEST:: SOT 73209211 SOS 11417315 HAS SOPS 11130408 HAS SOUS 9550205 HAS SOUPS 9541063 WITH SCORE 9552480.315
AT ITER 6022 NEW BEST:: SOT 73208803 SOS 11416193 HAS SOPS 11129286 HAS SOUS 9549083 HAS SOUPS 9539941 WITH SCORE 9551357.193
AT ITER 6024 NEW BEST:: SOT 73208369 SOS 11416067 HAS SOPS 11129160 HAS SOUS 9548906 HAS SOUPS 9539764 WITH SCORE 9551180.067
AT ITER 6033 NEW BEST:: SOT 73208638 SOS 11416007 HAS SOPS 11129100 HAS SOUS 9548846 HAS SOUPS 9539704 WITH SCORE 9551120.007
AT ITER 6044 NEW BEST:: SOT 73208381 SOS 11415957 HAS SOPS 11129050 HAS SOUS 9548796 HAS SOUPS 9539654 WITH SCORE 9551069.957
AT ITER 6061 NEW BEST:: SOT 73208211 SOS 11416179 HAS SOPS 11129272 HAS SOUS 9548584 HAS SOUPS 9539442 WITH SCORE 9550858.179
AT ITER 6071 NEW BEST:: SOT 73207339 SOS 11415505 HAS SOPS 11128598 HAS SOUS 9547910 HAS SOUPS 9538768 WITH SCORE 9550183.505
AT ITER 6090 NEW BEST:: SOT 73206905 SOS 11415046 HAS SOPS 11128292 HAS SOUS 9547602 HAS SOUPS 9538462 WITH SCORE 9549877.046
AT ITER 6106 NEW BEST:: SOT 73205970 SOS 11414542 HAS SOPS 11127788 HAS SOUS 9547098 HAS SOUPS 9537958 WITH SCORE 9549372.542
AT ITER 6108 NEW BEST:: SOT 73205970 SOS 11414494 HAS SOPS 11127740 HAS SOUS 9547050 HAS SOUPS 9537910 WITH SCORE 9549324.494
AT ITER 6148 NEW BEST:: SOT 73204642 SOS 11413474 HAS SOPS 11126720 HAS SOUS 9546030 HAS SOUPS 9536890 WITH SCORE 9548303.474
AT ITER 6160 NEW BEST:: SOT 73203683 SOS 11411597 HAS SOPS 11124843 HAS SOUS 9545112 HAS SOUPS 9535972 WITH SCORE 9547383.597
AT ITER 6193 NEW BEST:: SOT 73203683 SOS 11411346 HAS SOPS 11124592 HAS SOUS 9544861 HAS SOUPS 9535721 WITH SCORE 9547132.346
AT ITER 6250 NEW BEST:: SOT 73203675 SOS 11411338 HAS SOPS 11124584 HAS SOUS 9544473 HAS SOUPS 9535333 WITH SCORE 9546744.338
AT ITER 6265 NEW BEST:: SOT 73203436 SOS 11410921 HAS SOPS 11124167 HAS SOUS 9544056 HAS SOUPS 9534916 WITH SCORE 9546326.921
AT ITER 6273 NEW BEST:: SOT 73202467 SOS 11410223 HAS SOPS 11123469 HAS SOUS 9543358 HAS SOUPS 9534218 WITH SCORE 9545628.223
AT ITER 6284 NEW BEST:: SOT 73201819 SOS 11409112 HAS SOPS 11122358 HAS SOUS 9542247 HAS SOUPS 9533107 WITH SCORE 9544516.112
AT ITER 6285 NEW BEST:: SOT 73201788 SOS 11409060 HAS SOPS 11122306 HAS SOUS 9542195 HAS SOUPS 9533055 WITH SCORE 9544464.06
AT ITER 6306 NEW BEST:: SOT 73201431 SOS 11408723 HAS SOPS 11121969 HAS SOUS 9541858 HAS SOUPS 9532718 WITH SCORE 9544126.723
AT ITER 6326 NEW BEST:: SOT 73201194 SOS 11408190 HAS SOPS 11121436 HAS SOUS 9541325 HAS SOUPS 9532185 WITH SCORE 9543593.19
AT ITER 6372 NEW BEST:: SOT 73200591 SOS 11407222 HAS SOPS 11120468 HAS SOUS 9540357 HAS SOUPS 9531217 WITH SCORE 9542624.222
AT ITER 6406 NEW BEST:: SOT 73200368 SOS 11406553 HAS SOPS 11119799 HAS SOUS 9539688 HAS SOUPS 9530548 WITH SCORE 9541954.553
AT ITER 6409 NEW BEST:: SOT 73200263 SOS 11406452 HAS SOPS 11119698 HAS SOUS 9539587 HAS SOUPS 9530447 WITH SCORE 9541853.452
AT ITER 6416 NEW BEST:: SOT 73199537 SOS 11405534 HAS SOPS 11118780 HAS SOUS 9538669 HAS SOUPS 9529529 WITH SCORE 9540934.534
AT ITER 6422 NEW BEST:: SOT 73198963 SOS 11405117 HAS SOPS 11118363 HAS SOUS 9538252 HAS SOUPS 9529112 WITH SCORE 9540517.117
AT ITER 6461 NEW BEST:: SOT 73198091 SOS 11404441 HAS SOPS 11117687 HAS SOUS 9537576 HAS SOUPS 9528436 WITH SCORE 9539840.441
AT ITER 6463 NEW BEST:: SOT 73197856 SOS 11403736 HAS SOPS 11116982 HAS SOUS 9536871 HAS SOUPS 9527731 WITH SCORE 9539134.736
AT ITER 6485 NEW BEST:: SOT 73196840 SOS 11403693 HAS SOPS 11116939 HAS SOUS 9536828 HAS SOUPS 9527688 WITH SCORE 9539091.693
AT ITER 6501 NEW BEST:: SOT 73196575 SOS 11403409 HAS SOPS 11116655 HAS SOUS 9536544 HAS SOUPS 9527404 WITH SCORE 9538807.409
AT ITER 6505 NEW BEST:: SOT 73196575 SOS 11402343 HAS SOPS 11115589 HAS SOUS 9535575 HAS SOUPS 9526435 WITH SCORE 9537837.343
AT ITER 6514 NEW BEST:: SOT 73195703 SOS 11401759 HAS SOPS 11115005 HAS SOUS 9534991 HAS SOUPS 9525851 WITH SCORE 9537252.759
AT ITER 6516 NEW BEST:: SOT 73195148 SOS 11400649 HAS SOPS 11113895 HAS SOUS 9533881 HAS SOUPS 9524741 WITH SCORE 9536141.649
AT ITER 6579 NEW BEST:: SOT 73194177 SOS 11399897 HAS SOPS 11113143 HAS SOUS 9533129 HAS SOUPS 9523989 WITH SCORE 9535388.897
AT ITER 6587 NEW BEST:: SOT 73193871 SOS 11399099 HAS SOPS 11112345 HAS SOUS 9532039 HAS SOUPS 9522899 WITH SCORE 9534298.099
AT ITER 6616 NEW BEST:: SOT 73193846 SOS 11399049 HAS SOPS 11112295 HAS SOUS 9531963 HAS SOUPS 9522823 WITH SCORE 9534222.049
AT ITER 6652 NEW BEST:: SOT 73193625 SOS 11398607 HAS SOPS 11111853 HAS SOUS 9531521 HAS SOUPS 9522381 WITH SCORE 9533779.607
AT ITER 6664 NEW BEST:: SOT 73193433 SOS 11397497 HAS SOPS 11110743 HAS SOUS 9530411 HAS SOUPS 9521271 WITH SCORE 9532668.497
AT ITER 6731 NEW BEST:: SOT 73192832 SOS 11395989 HAS SOPS 11109235 HAS SOUS 9528903 HAS SOUPS 9519763 WITH SCORE 9531158.989
AT ITER 6741 NEW BEST:: SOT 73191725 SOS 11393964 HAS SOPS 11107210 HAS SOUS 9527934 HAS SOUPS 9518794 WITH SCORE 9530187.964
AT ITER 6750 NEW BEST:: SOT 73190936 SOS 11393898 HAS SOPS 11107144 HAS SOUS 9527868 HAS SOUPS 9518728 WITH SCORE 9530121.898
AT ITER 6752 NEW BEST:: SOT 73190564 SOS 11393529 HAS SOPS 11106775 HAS SOUS 9527499 HAS SOUPS 9518359 WITH SCORE 9529752.529
AT ITER 6758 NEW BEST:: SOT 73190564 SOS 11393426 HAS SOPS 11106775 HAS SOUS 9527499 HAS SOUPS 9518359 WITH SCORE 9529752.426
AT ITER 6781 NEW BEST:: SOT 73189828 SOS 11392698 HAS SOPS 11106047 HAS SOUS 9526771 HAS SOUPS 9517631 WITH SCORE 9529023.698
AT ITER 6825 NEW BEST:: SOT 73189750 SOS 11392464 HAS SOPS 11105813 HAS SOUS 9526537 HAS SOUPS 9517397 WITH SCORE 9528789.464
AT ITER 6829 NEW BEST:: SOT 73189503 SOS 11391970 HAS SOPS 11105319 HAS SOUS 9525796 HAS SOUPS 9516656 WITH SCORE 9528047.97
AT ITER 6833 NEW BEST:: SOT 73188989 SOS 11392116 HAS SOPS 11105465 HAS SOUS 9525151 HAS SOUPS 9516011 WITH SCORE 9527403.116
AT ITER 6847 NEW BEST:: SOT 73188622 SOS 11391137 HAS SOPS 11104486 HAS SOUS 9524172 HAS SOUPS 9515032 WITH SCORE 9526423.137
AT ITER 6860 NEW BEST:: SOT 73188541 SOS 11391056 HAS SOPS 11104486 HAS SOUS 9524112 HAS SOUPS 9514972 WITH SCORE 9526363.056
AT ITER 6862 NEW BEST:: SOT 73188541 SOS 11391053 HAS SOPS 11104483 HAS SOUS 9524109 HAS SOUPS 9514969 WITH SCORE 9526360.053
AT ITER 6894 NEW BEST:: SOT 73187665 SOS 11390739 HAS SOPS 11104169 HAS SOUS 9523795 HAS SOUPS 9514655 WITH SCORE 9526045.739
AT ITER 6936 NEW BEST:: SOT 73186939 SOS 11390256 HAS SOPS 11103686 HAS SOUS 9523312 HAS SOUPS 9514172 WITH SCORE 9525562.256
AT ITER 6947 NEW BEST:: SOT 73186680 SOS 11389738 HAS SOPS 11103168 HAS SOUS 9522794 HAS SOUPS 9513654 WITH SCORE 9525043.738
AT ITER 6985 NEW BEST:: SOT 73185577 SOS 11389164 HAS SOPS 11102594 HAS SOUS 9522220 HAS SOUPS 9513080 WITH SCORE 9524469.164
AT ITER 6991 NEW BEST:: SOT 73185583 SOS 11389125 HAS SOPS 11102555 HAS SOUS 9522181 HAS SOUPS 9513041 WITH SCORE 9524430.125
AT ITER 6993 NEW BEST:: SOT 73185390 SOS 11389406 HAS SOPS 11102836 HAS SOUS 9522156 HAS SOUPS 9513016 WITH SCORE 9524405.406
AT ITER 6997 NEW BEST:: SOT 73185390 SOS 11389303 HAS SOPS 11102733 HAS SOUS 9522053 HAS SOUPS 9512913 WITH SCORE 9524302.303
AT ITER 7002 NEW BEST:: SOT 73185142 SOS 11388807 HAS SOPS 11102237 HAS SOUS 9521309 HAS SOUPS 9512169 WITH SCORE 9523557.807
AT ITER 7028 NEW BEST:: SOT 73184903 SOS 11388090 HAS SOPS 11101520 HAS SOUS 9520592 HAS SOUPS 9511452 WITH SCORE 9522840.09
AT ITER 7048 NEW BEST:: SOT 73184523 SOS 11387098 HAS SOPS 11100528 HAS SOUS 9519600 HAS SOUPS 9510460 WITH SCORE 9521847.098
AT ITER 7067 NEW BEST:: SOT 73183860 SOS 11386260 HAS SOPS 11099690 HAS SOUS 9518762 HAS SOUPS 9509622 WITH SCORE 9521008.26
AT ITER 7111 NEW BEST:: SOT 73182835 SOS 11385842 HAS SOPS 11099272 HAS SOUS 9518344 HAS SOUPS 9509204 WITH SCORE 9520589.842
AT ITER 7133 NEW BEST:: SOT 73182412 SOS 11384807 HAS SOPS 11098237 HAS SOUS 9517309 HAS SOUPS 9508169 WITH SCORE 9519553.807
AT ITER 7160 NEW BEST:: SOT 73182079 SOS 11384703 HAS SOPS 11098133 HAS SOUS 9516821 HAS SOUPS 9507681 WITH SCORE 9519065.703
AT ITER 7173 NEW BEST:: SOT 73182079 SOS 11384703 HAS SOPS 11098133 HAS SOUS 9516793 HAS SOUPS 9507653 WITH SCORE 9519037.703
AT ITER 7186 NEW BEST:: SOT 73181449 SOS 11383443 HAS SOPS 11096873 HAS SOUS 9515551 HAS SOUPS 9506411 WITH SCORE 9517794.443
AT ITER 7190 NEW BEST:: SOT 73180963 SOS 11382165 HAS SOPS 11095595 HAS SOUS 9514273 HAS SOUPS 9505133 WITH SCORE 9516515.165
AT ITER 7211 NEW BEST:: SOT 73180686 SOS 11381014 HAS SOPS 11094444 HAS SOUS 9513413 HAS SOUPS 9504273 WITH SCORE 9515654.014
AT ITER 7244 NEW BEST:: SOT 73179641 SOS 11380404 HAS SOPS 11093834 HAS SOUS 9512345 HAS SOUPS 9503205 WITH SCORE 9514585.404
AT ITER 7282 NEW BEST:: SOT 73179337 SOS 11379989 HAS SOPS 11093419 HAS SOUS 9511821 HAS SOUPS 9502681 WITH SCORE 9514060.989
AT ITER 7296 NEW BEST:: SOT 73177731 SOS 11378661 HAS SOPS 11092091 HAS SOUS 9510493 HAS SOUPS 9501353 WITH SCORE 9512731.661
AT ITER 7344 NEW BEST:: SOT 73177324 SOS 11378153 HAS SOPS 11091583 HAS SOUS 9509985 HAS SOUPS 9500845 WITH SCORE 9512223.153
AT ITER 7351 NEW BEST:: SOT 73176853 SOS 11377782 HAS SOPS 11091212 HAS SOUS 9509614 HAS SOUPS 9500474 WITH SCORE 9511851.782
AT ITER 7438 NEW BEST:: SOT 73175549 SOS 11376810 HAS SOPS 11090240 HAS SOUS 9508642 HAS SOUPS 9499502 WITH SCORE 9510878.81
AT ITER 7440 NEW BEST:: SOT 73175513 SOS 11375993 HAS SOPS 11089423 HAS SOUS 9507825 HAS SOUPS 9498685 WITH SCORE 9510060.993
AT ITER 7466 NEW BEST:: SOT 73175513 SOS 11375965 HAS SOPS 11088951 HAS SOUS 9507353 HAS SOUPS 9498213 WITH SCORE 9509588.965
AT ITER 7495 NEW BEST:: SOT 73175382 SOS 11375572 HAS SOPS 11088558 HAS SOUS 9506960 HAS SOUPS 9497820 WITH SCORE 9509195.572
AT ITER 7541 NEW BEST:: SOT 73175326 SOS 11375363 HAS SOPS 11088349 HAS SOUS 9506751 HAS SOUPS 9497611 WITH SCORE 9508986.363
AT ITER 7564 NEW BEST:: SOT 73175020 SOS 11375444 HAS SOPS 11088430 HAS SOUS 9506526 HAS SOUPS 9497386 WITH SCORE 9508761.444
AT ITER 7617 NEW BEST:: SOT 73174946 SOS 11375333 HAS SOPS 11088319 HAS SOUS 9506415 HAS SOUPS 9497275 WITH SCORE 9508650.333
AT ITER 7629 NEW BEST:: SOT 73174637 SOS 11374409 HAS SOPS 11087395 HAS SOUS 9505491 HAS SOUPS 9496351 WITH SCORE 9507725.409
AT ITER 7644 NEW BEST:: SOT 73174606 SOS 11374347 HAS SOPS 11087333 HAS SOUS 9505429 HAS SOUPS 9496289 WITH SCORE 9507663.347
AT ITER 7714 NEW BEST:: SOT 73173914 SOS 11372817 HAS SOPS 11085803 HAS SOUS 9503899 HAS SOUPS 9494759 WITH SCORE 9506131.817
AT ITER 7749 NEW BEST:: SOT 73173969 SOS 11372621 HAS SOPS 11085607 HAS SOUS 9503703 HAS SOUPS 9494563 WITH SCORE 9505935.621
AT ITER 7763 NEW BEST:: SOT 73173841 SOS 11372317 HAS SOPS 11085303 HAS SOUS 9503447 HAS SOUPS 9494307 WITH SCORE 9505679.317
AT ITER 7795 NEW BEST:: SOT 73173840 SOS 11372316 HAS SOPS 11085302 HAS SOUS 9503446 HAS SOUPS 9494306 WITH SCORE 9505678.316
AT ITER 7806 NEW BEST:: SOT 73172016 SOS 11370728 HAS SOPS 11083714 HAS SOUS 9501916 HAS SOUPS 9492776 WITH SCORE 9504146.728
AT ITER 7813 NEW BEST:: SOT 73172016 SOS 11370625 HAS SOPS 11083611 HAS SOUS 9501813 HAS SOUPS 9492673 WITH SCORE 9504043.625
AT ITER 7814 NEW BEST:: SOT 73171161 SOS 11368852 HAS SOPS 11081838 HAS SOUS 9500844 HAS SOUPS 9491704 WITH SCORE 9503072.852
AT ITER 7816 NEW BEST:: SOT 73170174 SOS 11368816 HAS SOPS 11081802 HAS SOUS 9500808 HAS SOUPS 9491668 WITH SCORE 9503036.816
AT ITER 7847 NEW BEST:: SOT 73169868 SOS 11368204 HAS SOPS 11081190 HAS SOUS 9499890 HAS SOUPS 9490750 WITH SCORE 9502118.204
AT ITER 7863 NEW BEST:: SOT 73169377 SOS 11368066 HAS SOPS 11081052 HAS SOUS 9498910 HAS SOUPS 9489770 WITH SCORE 9501138.066
AT ITER 7943 NEW BEST:: SOT 73169113 SOS 11367604 HAS SOPS 11080590 HAS SOUS 9498382 HAS SOUPS 9489242 WITH SCORE 9500609.604
AT ITER 7966 NEW BEST:: SOT 73168546 SOS 11366470 HAS SOPS 11079456 HAS SOUS 9497248 HAS SOUPS 9488108 WITH SCORE 9499474.47
AT ITER 7993 NEW BEST:: SOT 73168067 SOS 11366272 HAS SOPS 11079258 HAS SOUS 9497050 HAS SOUPS 9487910 WITH SCORE 9499276.272
AT ITER 7996 NEW BEST:: SOT 73168067 SOS 11366181 HAS SOPS 11079167 HAS SOUS 9496959 HAS SOUPS 9487819 WITH SCORE 9499185.181
AT ITER 7997 NEW BEST:: SOT 73166938 SOS 11365559 HAS SOPS 11078545 HAS SOUS 9496337 HAS SOUPS 9487197 WITH SCORE 9498562.559
AT ITER 8062 NEW BEST:: SOT 73166936 SOS 11365406 HAS SOPS 11078392 HAS SOUS 9496134 HAS SOUPS 9486994 WITH SCORE 9498359.406
AT ITER 8085 NEW BEST:: SOT 73166936 SOS 11365366 HAS SOPS 11078352 HAS SOUS 9496094 HAS SOUPS 9486954 WITH SCORE 9498319.366
AT ITER 8088 NEW BEST:: SOT 73166705 SOS 11364904 HAS SOPS 11077890 HAS SOUS 9495620 HAS SOUPS 9486480 WITH SCORE 9497844.904
AT ITER 8105 NEW BEST:: SOT 73166203 SOS 11363594 HAS SOPS 11076580 HAS SOUS 9494310 HAS SOUPS 9485170 WITH SCORE 9496533.594
AT ITER 8110 NEW BEST:: SOT 73166050 SOS 11362862 HAS SOPS 11075848 HAS SOUS 9494150 HAS SOUPS 9485010 WITH SCORE 9496372.862
AT ITER 8128 NEW BEST:: SOT 73165961 SOS 11362773 HAS SOPS 11075759 HAS SOUS 9494061 HAS SOUPS 9484921 WITH SCORE 9496283.773
AT ITER 8144 NEW BEST:: SOT 73165697 SOS 11362301 HAS SOPS 11075287 HAS SOUS 9493532 HAS SOUPS 9484392 WITH SCORE 9495754.301
AT ITER 8175 NEW BEST:: SOT 73165697 SOS 11362195 HAS SOPS 11075181 HAS SOUS 9493426 HAS SOUPS 9484286 WITH SCORE 9495648.195
AT ITER 8205 NEW BEST:: SOT 73164586 SOS 11361205 HAS SOPS 11074191 HAS SOUS 9492436 HAS SOUPS 9483296 WITH SCORE 9494657.205
AT ITER 8222 NEW BEST:: SOT 73164276 SOS 11360283 HAS SOPS 11073269 HAS SOUS 9491514 HAS SOUPS 9482374 WITH SCORE 9493734.283
AT ITER 8257 NEW BEST:: SOT 73164069 SOS 11359869 HAS SOPS 11072855 HAS SOUS 9491100 HAS SOUPS 9481960 WITH SCORE 9493319.869
AT ITER 8335 NEW BEST:: SOT 73164138 SOS 11359810 HAS SOPS 11072609 HAS SOUS 9490973 HAS SOUPS 9481842 WITH SCORE 9493201.81
AT ITER 8377 NEW BEST:: SOT 73164138 SOS 11359845 HAS SOPS 11072128 HAS SOUS 9490492 HAS SOUPS 9481361 WITH SCORE 9492720.845
AT ITER 8400 NEW BEST:: SOT 73163984 SOS 11359696 HAS SOPS 11071979 HAS SOUS 9490343 HAS SOUPS 9481212 WITH SCORE 9492571.696
AT ITER 8419 NEW BEST:: SOT 73163088 SOS 11359309 HAS SOPS 11071592 HAS SOUS 9489956 HAS SOUPS 9480825 WITH SCORE 9492184.309
AT ITER 8470 NEW BEST:: SOT 73163088 SOS 11359072 HAS SOPS 11071355 HAS SOUS 9489719 HAS SOUPS 9480588 WITH SCORE 9491947.072
AT ITER 8473 NEW BEST:: SOT 73163004 SOS 11359030 HAS SOPS 11071313 HAS SOUS 9489677 HAS SOUPS 9480546 WITH SCORE 9491905.03
AT ITER 8484 NEW BEST:: SOT 73162035 SOS 11358257 HAS SOPS 11070540 HAS SOUS 9488904 HAS SOUPS 9479773 WITH SCORE 9491131.257
AT ITER 8504 NEW BEST:: SOT 73161969 SOS 11358125 HAS SOPS 11070408 HAS SOUS 9488772 HAS SOUPS 9479641 WITH SCORE 9490999.125
AT ITER 8522 NEW BEST:: SOT 73161969 SOS 11358016 HAS SOPS 11070299 HAS SOUS 9488721 HAS SOUPS 9479590 WITH SCORE 9490948.016
AT ITER 8532 NEW BEST:: SOT 73161535 SOS 11357709 HAS SOPS 11069992 HAS SOUS 9488414 HAS SOUPS 9479283 WITH SCORE 9490640.709
AT ITER 8558 NEW BEST:: SOT 73160434 SOS 11357445 HAS SOPS 11069728 HAS SOUS 9488150 HAS SOUPS 9479019 WITH SCORE 9490376.445
AT ITER 8598 NEW BEST:: SOT 73159656 SOS 11357063 HAS SOPS 11069346 HAS SOUS 9487258 HAS SOUPS 9478127 WITH SCORE 9489484.063
AT ITER 8618 NEW BEST:: SOT 73159618 SOS 11357025 HAS SOPS 11069308 HAS SOUS 9487220 HAS SOUPS 9478089 WITH SCORE 9489446.025
AT ITER 8624 NEW BEST:: SOT 73158115 SOS 11355923 HAS SOPS 11068206 HAS SOUS 9486118 HAS SOUPS 9476987 WITH SCORE 9488342.923
AT ITER 8655 NEW BEST:: SOT 73157550 SOS 11355659 HAS SOPS 11067942 HAS SOUS 9485854 HAS SOUPS 9476723 WITH SCORE 9488078.659
AT ITER 8656 NEW BEST:: SOT 73157540 SOS 11354769 HAS SOPS 11067052 HAS SOUS 9484964 HAS SOUPS 9475833 WITH SCORE 9487187.769
AT ITER 8696 NEW BEST:: SOT 73156904 SOS 11355081 HAS SOPS 11067364 HAS SOUS 9484230 HAS SOUPS 9475099 WITH SCORE 9486454.081
AT ITER 8699 NEW BEST:: SOT 73156904 SOS 11354841 HAS SOPS 11067124 HAS SOUS 9483990 HAS SOUPS 9474859 WITH SCORE 9486213.841
AT ITER 8710 NEW BEST:: SOT 73156240 SOS 11353923 HAS SOPS 11066206 HAS SOUS 9483072 HAS SOUPS 9473941 WITH SCORE 9485294.923
AT ITER 8712 NEW BEST:: SOT 73156011 SOS 11353752 HAS SOPS 11066035 HAS SOUS 9483003 HAS SOUPS 9473872 WITH SCORE 9485225.752
AT ITER 8719 NEW BEST:: SOT 73155216 SOS 11353182 HAS SOPS 11065465 HAS SOUS 9482433 HAS SOUPS 9473302 WITH SCORE 9484655.182
AT ITER 8763 NEW BEST:: SOT 73154801 SOS 11352876 HAS SOPS 11065159 HAS SOUS 9482076 HAS SOUPS 9472945 WITH SCORE 9484297.876
AT ITER 8779 NEW BEST:: SOT 73154801 SOS 11352603 HAS SOPS 11064886 HAS SOUS 9482076 HAS SOUPS 9472945 WITH SCORE 9484297.603
AT ITER 8785 NEW BEST:: SOT 73154801 SOS 11350473 HAS SOPS 11062756 HAS SOUS 9481464 HAS SOUPS 9472333 WITH SCORE 9483683.473
AT ITER 8789 NEW BEST:: SOT 73153670 SOS 11349231 HAS SOPS 11061514 HAS SOUS 9480222 HAS SOUPS 9471091 WITH SCORE 9482440.231
AT ITER 8817 NEW BEST:: SOT 73153937 SOS 11349740 HAS SOPS 11060838 HAS SOUS 9479546 HAS SOUPS 9470415 WITH SCORE 9481764.74
AT ITER 8819 NEW BEST:: SOT 73153330 SOS 11349276 HAS SOPS 11060374 HAS SOUS 9479082 HAS SOUPS 9469951 WITH SCORE 9481300.276
AT ITER 8821 NEW BEST:: SOT 73152750 SOS 11348675 HAS SOPS 11059773 HAS SOUS 9478481 HAS SOUPS 9469350 WITH SCORE 9480698.675
AT ITER 8828 NEW BEST:: SOT 73152143 SOS 11347155 HAS SOPS 11058253 HAS SOUS 9476961 HAS SOUPS 9467830 WITH SCORE 9479177.155
AT ITER 8871 NEW BEST:: SOT 73151937 SOS 11346949 HAS SOPS 11058047 HAS SOUS 9476910 HAS SOUPS 9467779 WITH SCORE 9479125.949
AT ITER 8904 NEW BEST:: SOT 73151796 SOS 11346808 HAS SOPS 11058047 HAS SOUS 9476891 HAS SOUPS 9467760 WITH SCORE 9479106.808
AT ITER 8909 NEW BEST:: SOT 73150553 SOS 11345993 HAS SOPS 11057232 HAS SOUS 9476076 HAS SOUPS 9466945 WITH SCORE 9478290.993
AT ITER 8919 NEW BEST:: SOT 73149414 SOS 11344947 HAS SOPS 11056186 HAS SOUS 9475030 HAS SOUPS 9465899 WITH SCORE 9477243.947
AT ITER 8942 NEW BEST:: SOT 73149138 SOS 11344607 HAS SOPS 11055846 HAS SOUS 9474690 HAS SOUPS 9465559 WITH SCORE 9476903.607
AT ITER 8949 NEW BEST:: SOT 73149138 SOS 11343997 HAS SOPS 11055236 HAS SOUS 9474080 HAS SOUPS 9464949 WITH SCORE 9476292.997
AT ITER 8970 NEW BEST:: SOT 73148757 SOS 11343004 HAS SOPS 11054243 HAS SOUS 9473087 HAS SOUPS 9463956 WITH SCORE 9475299.004
AT ITER 8971 NEW BEST:: SOT 73147708 SOS 11341955 HAS SOPS 11053194 HAS SOUS 9471960 HAS SOUPS 9462829 WITH SCORE 9474170.955
AT ITER 8996 NEW BEST:: SOT 73146955 SOS 11341487 HAS SOPS 11052726 HAS SOUS 9471288 HAS SOUPS 9462157 WITH SCORE 9473498.487
AT ITER 9045 NEW BEST:: SOT 73146781 SOS 11341313 HAS SOPS 11052552 HAS SOUS 9471114 HAS SOUPS 9461983 WITH SCORE 9473324.313
AT ITER 9080 NEW BEST:: SOT 73146781 SOS 11341189 HAS SOPS 11052428 HAS SOUS 9471063 HAS SOUPS 9461932 WITH SCORE 9473273.189
AT ITER 9148 NEW BEST:: SOT 73146717 SOS 11341125 HAS SOPS 11052364 HAS SOUS 9471063 HAS SOUPS 9461932 WITH SCORE 9473273.125
AT ITER 9155 NEW BEST:: SOT 73145746 SOS 11340512 HAS SOPS 11051751 HAS SOUS 9470450 HAS SOUPS 9461319 WITH SCORE 9472659.512
AT ITER 9159 NEW BEST:: SOT 73145440 SOS 11340467 HAS SOPS 11051706 HAS SOUS 9470099 HAS SOUPS 9460968 WITH SCORE 9472308.467
AT ITER 9172 NEW BEST:: SOT 73145267 SOS 11340121 HAS SOPS 11051360 HAS SOUS 9469926 HAS SOUPS 9460795 WITH SCORE 9472135.121
AT ITER 9173 NEW BEST:: SOT 73144857 SOS 11339099 HAS SOPS 11050338 HAS SOUS 9468904 HAS SOUPS 9459773 WITH SCORE 9471112.099
AT ITER 9270 NEW BEST:: SOT 73143753 SOS 11338523 HAS SOPS 11049762 HAS SOUS 9468328 HAS SOUPS 9459197 WITH SCORE 9470535.523
AT ITER 9274 NEW BEST:: SOT 73143277 SOS 11338472 HAS SOPS 11049711 HAS SOUS 9468277 HAS SOUPS 9459146 WITH SCORE 9470484.472
AT ITER 9333 NEW BEST:: SOT 73143277 SOS 11338290 HAS SOPS 11049529 HAS SOUS 9468277 HAS SOUPS 9459146 WITH SCORE 9470484.29
AT ITER 9348 NEW BEST:: SOT 73142694 SOS 11336818 HAS SOPS 11048057 HAS SOUS 9466805 HAS SOUPS 9457674 WITH SCORE 9469010.818
AT ITER 9355 NEW BEST:: SOT 73142694 SOS 11336711 HAS SOPS 11047950 HAS SOUS 9466698 HAS SOUPS 9457567 WITH SCORE 9468903.711
AT ITER 9379 NEW BEST:: SOT 73141771 SOS 11336191 HAS SOPS 11047430 HAS SOUS 9466178 HAS SOUPS 9457047 WITH SCORE 9468383.191
AT ITER 9397 NEW BEST:: SOT 73140841 SOS 11336203 HAS SOPS 11047442 HAS SOUS 9465260 HAS SOUPS 9456129 WITH SCORE 9467465.203
AT ITER 9413 NEW BEST:: SOT 73139930 SOS 11335771 HAS SOPS 11047010 HAS SOUS 9464828 HAS SOUPS 9455697 WITH SCORE 9467032.771
AT ITER 9422 NEW BEST:: SOT 73139510 SOS 11334931 HAS SOPS 11046170 HAS SOUS 9464408 HAS SOUPS 9455277 WITH SCORE 9466611.931
AT ITER 9501 NEW BEST:: SOT 73138529 SOS 11333989 HAS SOPS 11045228 HAS SOUS 9463466 HAS SOUPS 9454335 WITH SCORE 9465668.989
AT ITER 9509 NEW BEST:: SOT 73138529 SOS 11333989 HAS SOPS 11045228 HAS SOUS 9463458 HAS SOUPS 9454327 WITH SCORE 9465660.989
AT ITER 9533 NEW BEST:: SOT 73138529 SOS 11333797 HAS SOPS 11045036 HAS SOUS 9463407 HAS SOUPS 9454276 WITH SCORE 9465609.797
AT ITER 9537 NEW BEST:: SOT 73136948 SOS 11332408 HAS SOPS 11043647 HAS SOUS 9462018 HAS SOUPS 9452887 WITH SCORE 9464219.408
AT ITER 9557 NEW BEST:: SOT 73116378 SOS 11612161 HAS SOPS 11323400 HAS SOUS 9447648 HAS SOUPS 9438517 WITH SCORE 9450129.161
AT ITER 9567 NEW BEST:: SOT 73116378 SOS 11611855 HAS SOPS 11323094 HAS SOUS 9447342 HAS SOUPS 9438211 WITH SCORE 9449822.855
AT ITER 9625 NEW BEST:: SOT 73115863 SOS 11610519 HAS SOPS 11321758 HAS SOUS 9446006 HAS SOUPS 9436875 WITH SCORE 9448485.519
AT ITER 9655 NEW BEST:: SOT 73115300 SOS 11609087 HAS SOPS 11320326 HAS SOUS 9444574 HAS SOUPS 9435443 WITH SCORE 9447052.087
AT ITER 9680 NEW BEST:: SOT 73114911 SOS 11608028 HAS SOPS 11319267 HAS SOUS 9444224 HAS SOUPS 9435093 WITH SCORE 9446701.028
AT ITER 9691 NEW BEST:: SOT 73114477 SOS 11607864 HAS SOPS 11319103 HAS SOUS 9443641 HAS SOUPS 9434510 WITH SCORE 9446117.864
AT ITER 9693 NEW BEST:: SOT 73114262 SOS 11607692 HAS SOPS 11318931 HAS SOUS 9443469 HAS SOUPS 9434338 WITH SCORE 9445945.692
AT ITER 9708 NEW BEST:: SOT 73114112 SOS 11607864 HAS SOPS 11319103 HAS SOUS 9443310 HAS SOUPS 9434179 WITH SCORE 9445786.864
AT ITER 9724 NEW BEST:: SOT 73113281 SOS 11607375 HAS SOPS 11318614 HAS SOUS 9442821 HAS SOUPS 9433690 WITH SCORE 9445297.375
AT ITER 9732 NEW BEST:: SOT 73113179 SOS 11607338 HAS SOPS 11318577 HAS SOUS 9442784 HAS SOUPS 9433653 WITH SCORE 9445260.338
AT ITER 9735 NEW BEST:: SOT 73112598 SOS 11607032 HAS SOPS 11318271 HAS SOUS 9442478 HAS SOUPS 9433347 WITH SCORE 9444954.032
AT ITER 9780 NEW BEST:: SOT 73112357 SOS 11606309 HAS SOPS 11317548 HAS SOUS 9441755 HAS SOUPS 9432624 WITH SCORE 9444230.309
AT ITER 9781 NEW BEST:: SOT 73111386 SOS 11606305 HAS SOPS 11317544 HAS SOUS 9441751 HAS SOUPS 9432620 WITH SCORE 9444226.305
AT ITER 9817 NEW BEST:: SOT 73110847 SOS 11605707 HAS SOPS 11316946 HAS SOUS 9441153 HAS SOUPS 9432022 WITH SCORE 9443627.707
AT ITER 9861 NEW BEST:: SOT 73108879 SOS 11604111 HAS SOPS 11315350 HAS SOUS 9439557 HAS SOUPS 9430426 WITH SCORE 9442030.111
AT ITER 9867 NEW BEST:: SOT 73108292 SOS 11602631 HAS SOPS 11313870 HAS SOUS 9438077 HAS SOUPS 9428946 WITH SCORE 9440548.631
AT ITER 9886 NEW BEST:: SOT 73107765 SOS 11601798 HAS SOPS 11313037 HAS SOUS 9437244 HAS SOUPS 9428113 WITH SCORE 9439714.798
AT ITER 9904 NEW BEST:: SOT 73106770 SOS 11601457 HAS SOPS 11312696 HAS SOUS 9436903 HAS SOUPS 9427772 WITH SCORE 9439373.457
AT ITER 9911 NEW BEST:: SOT 73106170 SOS 11600688 HAS SOPS 11311927 HAS SOUS 9436134 HAS SOUPS 9427003 WITH SCORE 9438603.688
AT ITER 9920 NEW BEST:: SOT 73106012 SOS 11599983 HAS SOPS 11311222 HAS SOUS 9435429 HAS SOUPS 9426298 WITH SCORE 9437897.983
AT ITER 9954 NEW BEST:: SOT 73105775 SOS 11598828 HAS SOPS 11310067 HAS SOUS 9434274 HAS SOUPS 9425143 WITH SCORE 9436741.828
AT ITER 9961 NEW BEST:: SOT 73105486 SOS 11598539 HAS SOPS 11309778 HAS SOUS 9433985 HAS SOUPS 9424854 WITH SCORE 9436452.539
AT ITER 9982 NEW BEST:: SOT 73105437 SOS 11598297 HAS SOPS 11309536 HAS SOUS 9433479 HAS SOUPS 9424348 WITH SCORE 9435946.297
AT ITER 9992 NEW BEST:: SOT 73105170 SOS 11597496 HAS SOPS 11308735 HAS SOUS 9432678 HAS SOUPS 9423547 WITH SCORE 9435144.496
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9952276 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16102860 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.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
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="FamilyReunion-PT-L00050M0005C002P002G001"
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 FamilyReunion-PT-L00050M0005C002P002G001, 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 r171-tall-167838858600416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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